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

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

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



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






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


Автомат. и телемех., 2016, выпуск 3, страницы 137–151 (Mi at14407)  

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

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

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

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

Университет ИТМО, Санкт-Петербург

Аннотация: Решается задача построения управляющих конечных автоматов по сценариям работы и темпоральным формулам. Предлагается новый алгоритм pstMuACO, совмещающий процедуру прореживания сценариев, точный алгоритм построения автоматов по сценариям работы efsmSAT на основе сведения к задаче выполнимости булевой формулы, и параллельный муравьиный алгоритм pMuACO. Эксперименты показали, что построение нескольких начальных решений для муравьиного алгоритма по сокращенным наборам сценариев существенно уменьшает суммарное время, необходимое для нахождения оптимального решения. Предложенный алгоритм может быть применен для автоматизированного построения надежных систем управления.

Финансовая поддержка Номер гранта
Министерство образования и науки Российской Федерации 074-U01
Российский фонд фундаментальных исследований 14-01-0055114 а
Работа выполнена при государственной финансовой поддержке ведущих университетов Российской Федерации (субсидия 074-U01), а также при поддержке Российского фонда фундаментальных исследований в рамках научного проекта № 14-01-0055114 а.


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

Англоязычная версия:
Automation and Remote Control, 2016, 77:3, 473–484

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

Статья представлена к публикации членом редколлегии: О. П. Кузнецов
Поступила в редакцию: 10.12.2014

Образец цитирования: Д. С. Чивилихин, В. И. Ульянцев, А. А. Шалыто, “Модифицированный муравьиный алгоритм для построения конечных автоматов по сценариям работы и темпоральным формулам”, Автомат. и телемех., 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{http://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{http://gateway.isiknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&DestLinkType=FullRecord&DestApp=ALL_WOS&KeyUT=000373345900009}
\scopus{http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-84962418012}


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

    ОТПРАВИТЬ: 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. Lopez-Ibanez M., Dubois-Lacoste J., Caceres L.P., Birattari M., Stutzle T., “the Irace Package: Iterated Racing For Automatic Algorithm Configuration”, Oper. Res. Perspect., 3 (2016), 43–58  crossref  isi  scopus
  • Автоматика и телемеханика
    Просмотров:
    Эта страница:122
    Литература:31
    Первая стр.:37

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