RUS  ENG ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ЛИЧНЫЙ КАБИНЕТ
Общая информация
Последний выпуск
Архив
Импакт-фактор

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS



Модел. и анализ информ. систем:
Год:
Том:
Выпуск:
Страница:
Найти






Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация


Модел. и анализ информ. систем, 2017, том 24, номер 4, страницы 391–409 (Mi mais572)  

Эта публикация цитируется в 1 научной статье (всего в 1 статье)

О пространственной ограниченности клеточных Р-сетей

В. А. Башкин

Ярославский государственный университет им. П.Г. Демидова, ул. Советская, 14, г. Ярославль, 150003 Россия

Аннотация: Клеточные Р-сети — обобщение концепции двухуровневых ресурсных сетей (сетей Петри) на случай бесконечной регулярной системной решетки. Этот формализм представляет собой гибрид сетей Петри и асинхронных клеточных автоматов и предназначен для моделирования мультиагентных систем с динамической пространственной структурой. Пространственная ограниченность — свойство, гарантирующее сохранение конечности “геометрических размеров” (например, площади) активной части системы на протяжении всей её жизни. Определяются три варианта пространственной ограниченности для клеточных Р-сетей: локализованность, ограниченность диаметра и ограниченность площади. Исследуются свойства соответствующих алгоритмических проблем, доказывается их неразрешимость в общем случае. Предлагается нетривиальный критерий локализованности одномерной клеточной сети, основанный на новой концепции графа распространения Р-автоматов. Описывается алгоритм построения графа распространения, использующий метод насыщения генерирующих путей. Предлагается способ оценки сверху диаметра одномерной клеточной сети с ограниченным графом распространения.

Ключевые слова: мультиагентные системы, верификация, сети Петри, клеточные автоматы, Р-сети, пространственная ограниченность.

Финансовая поддержка Номер гранта
Российский фонд фундаментальных исследований 17-07-00823_а
Работа выполнена при финансовой поддержке РФФИ (проект 17-07-00823).


DOI: https://doi.org/10.18255/1818-1015-2017-4-391-409

Полный текст: PDF файл (743 kB)
Список литературы: PDF файл   HTML файл

Реферативные базы данных:

Тип публикации: Статья
УДК: 519.7
Поступила в редакцию: 21.07.2017

Образец цитирования: В. А. Башкин, “О пространственной ограниченности клеточных Р-сетей”, Модел. и анализ информ. систем, 24:4 (2017), 391–409

Цитирование в формате AMSBIB
\RBibitem{Bas17}
\by В.~А.~Башкин
\paper О пространственной ограниченности клеточных Р-сетей
\jour Модел. и анализ информ. систем
\yr 2017
\vol 24
\issue 4
\pages 391--409
\mathnet{http://mi.mathnet.ru/mais572}
\crossref{https://doi.org/10.18255/1818-1015-2017-4-391-409}
\elib{http://elibrary.ru/item.asp?id=29864493}


Образцы ссылок на эту страницу:
  • http://mi.mathnet.ru/mais572
  • http://mi.mathnet.ru/rus/mais/v24/i4/p391

    ОТПРАВИТЬ: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru


    Citing articles on Google Scholar: Russian citations, English citations
    Related articles on Google Scholar: Russian articles, English articles

    Эта публикация цитируется в следующих статьяx:
    1. И. В. Матюшкин, М. А. Заплетина, “Обзор по тематике клеточных автоматов на базе современных отечественных публикаций”, Компьютерные исследования и моделирование, 11:1 (2019), 9–57  mathnet  crossref
  • Моделирование и анализ информационных систем
    Просмотров:
    Эта страница:61
    Полный текст:12
    Литература:12

     
    Обратная связь:
     Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2019