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

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

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


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




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

Автоматика и телемеханика, 2016, выпуск 3, страницы 137–151 (Mi at14407)  
Эта публикация цитируется в 4 научных статьях (всего в 4 статьях)

Логическое управление

Модифицированный муравьиный алгоритм для построения конечных автоматов по сценариям работы и темпоральным формулам

Д. С. Чивилихин, В. И. Ульянцев, А. А. Шалыто

Университет ИТМО, Санкт-Петербург
PDF полного текста (206 kB) Список цитирования (4)
Список литературы:
PDF
HTML
Аннотация: Решается задача построения управляющих конечных автоматов по сценариям работы и темпоральным формулам. Предлагается новый алгоритм pstMuACO, совмещающий процедуру прореживания сценариев, точный алгоритм построения автоматов по сценариям работы efsmSAT на основе сведения к задаче выполнимости булевой формулы, и параллельный муравьиный алгоритм pMuACO. Эксперименты показали, что построение нескольких начальных решений для муравьиного алгоритма по сокращенным наборам сценариев существенно уменьшает суммарное время, необходимое для нахождения оптимального решения. Предложенный алгоритм может быть применен для автоматизированного построения надежных систем управления.
Финансовая поддержка Номер гранта
Министерство образования и науки Российской Федерации 074-U01
Российский фонд фундаментальных исследований 14-01-0055114 а
Работа выполнена при государственной финансовой поддержке ведущих университетов Российской Федерации (субсидия 074-U01), а также при поддержке Российского фонда фундаментальных исследований в рамках научного проекта № 14-01-0055114 а.
Статья представлена к публикации членом редколлегии: О. П. Кузнецов

Поступила в редакцию: 10.12.2014
Англоязычная версия:
Automation and Remote Control, 2016, Volume 77, Issue 3, Pages 473–484
DOI: https://doi.org/10.1134/S0005117916030097
Реферативные базы данных:
Тип публикации: Статья
Образец цитирования: Д. С. Чивилихин, В. И. Ульянцев, А. А. Шалыто, “Модифицированный муравьиный алгоритм для построения конечных автоматов по сценариям работы и темпоральным формулам”, Автомат. и телемех., 2016, № 3, 137–151; Autom. Remote Control, 77:3 (2016), 473–484
Цитирование в формате AMSBIB
\RBibitem{ChiUlySha16}
\by Д.~С.~Чивилихин, В.~И.~Ульянцев, А.~А.~Шалыто
\paper Модифицированный муравьиный алгоритм для построения конечных автоматов по сценариям работы и темпоральным формулам
\jour Автомат. и телемех.
\yr 2016
\issue 3
\pages 137--151
\mathnet{http://mi.mathnet.ru/at14407}
\elib{https://elibrary.ru/item.asp?id=25996295}
\transl
\jour Autom. Remote Control
\yr 2016
\vol 77
\issue 3
\pages 473--484
\crossref{https://doi.org/10.1134/S0005117916030097}
\isi{https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=Publons&SrcAuth=Publons_CEL&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=000373345900009}
\scopus{https://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-84962418012}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/at14407
  • https://www.mathnet.ru/rus/at/y2016/i3/p137
    • Эта публикация цитируется в следующих 4 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Автоматика и телемеханика
    Статистика просмотров:
    Страница аннотации:957
    PDF полного текста:85
    Список литературы:62
    Первая страница:47
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024