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

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

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



Труды ИСП РАН:
Год:
Том:
Выпуск:
Страница:
Найти






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


Труды ИСП РАН, 2016, том 28, выпуск 1, страницы 131–150 (Mi tisp8)  

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

Система автоматов: композиция по графу связей

И. Б. Бурдонов, А. С. Косачев

Институт системного программирования РАН, 109004, Россия, г. Москва, ул. А. Солженицына, д. 25

Аннотация: Статья посвящена проблеме моделирования и композиции составных систем. Компоненты системы моделируются конечными автоматами с несколькими входами и выходами, а взаимодействие между ними - обменом сообщениями по симплексным каналам связи. Система описывается ориентированным графом связей, вершина которого соответствует автомату компонента, а дуга - каналу связи, соединяющему выход одного автомата со входом другого автомата. Автомат в вершине графа в каждом состоянии может принимать несколько сообщений по своим входам (не более одного по каждому входу) и посылать несколько сообщений по своим выходам (не более одного по каждому выходу). Входы (выходы) автоматов, которые не соединяются с выходами (входами) автоматов, являются внешними, через них осуществляется связь системы с её окружением. Автоматы системы работают синхронно: на каждом такте каждый автомат выполняет один переход. Переход автомата, предъявляя требования к состоянию всех входов и выходов автомата (указываются сообщения на них), отдельно указывает ту часть входов и выходов, по которым сообщения соответственно принимаются и посылаются, соответственно. Синхронность взаимодействия автоматов означает, что для каждого соединения требования автоматов, связанных этим соединением, должны быть согласованы. Это даёт возможность описывать более широкий спектр поведений автомата. Например, приоритетный приём сообщений: если на входах автомата имеется несколько сообщений, автомат может принять сообщения с наивысшим приоритетом, не принимая остальные сообщения. Также это позволяет автомату выполнять приём сообщений независимо от того, удаётся или не удаётся одновременно послать некоторое сообщение на некоторый выход. Определяется композиция автоматов системы по графу связей и доказывается её ассоциативность. В заключение определяются направления дальнейших исследований.

Ключевые слова: ориентированные графы, взаимодействующие автоматы, композиция автоматов, распределенные системы, сети.

DOI: https://doi.org/10.15514/ISPRAS-2016-28(1)-8

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

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

Тип публикации: Статья

Образец цитирования: И. Б. Бурдонов, А. С. Косачев, “Система автоматов: композиция по графу связей”, Труды ИСП РАН, 28:1 (2016), 131–150

Цитирование в формате AMSBIB
\RBibitem{BurKos16}
\by И.~Б.~Бурдонов, А.~С.~Косачев
\paper Система автоматов: композиция по графу связей
\jour Труды ИСП РАН
\yr 2016
\vol 28
\issue 1
\pages 131--150
\mathnet{http://mi.mathnet.ru/tisp8}
\crossref{https://doi.org/10.15514/ISPRAS-2016-28(1)-8}
\elib{http://elibrary.ru/item.asp?id=26166319}


Образцы ссылок на эту страницу:
  • http://mi.mathnet.ru/tisp8
  • http://mi.mathnet.ru/rus/tisp/v28/i1/p131

    ОТПРАВИТЬ: 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. I. B. Burdonov, A. S. Kossatchev, V. V. Kuliamin, A. N. Tomilin, V. Z. Shnitman, “Asynchronous distributed algorithms for static and dynamic directed rooted graphs”, Труды ИСП РАН, 30:1 (2018), 69–88  mathnet  crossref  elib
  • Труды института системного программирования РАН
    Просмотров:
    Эта страница:123
    Полный текст:48
    Литература:20
     
    Обратная связь:
     Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2020