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

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

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



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






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


Автомат. и телемех., 1991, выпуск 3, страницы 174–184 (Mi at4147)  

Автоматизация проектирования и программирования

Синтез алгоритмов распределенного завершения

Ю. Г. Карпов

Ленинградский политехнический институт

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

Полный текст: PDF файл (1689 kB)
Тип публикации: Статья
УДК: 519.712

Поступила в редакцию: 19.04.1989

Образец цитирования: Ю. Г. Карпов, “Синтез алгоритмов распределенного завершения”, Автомат. и телемех., 1991, № 3, 174–184

Цитирование в формате AMSBIB
\RBibitem{Kar91}
\by Ю.~Г.~Карпов
\paper Синтез алгоритмов распределенного завершения
\jour Автомат. и телемех.
\yr 1991
\issue 3
\pages 174--184
\mathnet{http://mi.mathnet.ru/at4147}


Образцы ссылок на эту страницу:
  • http://mi.mathnet.ru/at4147
  • http://mi.mathnet.ru/rus/at/y1991/i3/p174

    ОТПРАВИТЬ: 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
  • Автоматика и телемеханика
    Просмотров:
    Эта страница:105
    Полный текст:46
    Первая стр.:1
     
    Обратная связь:
     Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2020