 |
|
|
|
|
|
Эта публикация цитируется в 1 научной статье (всего в 1 статье) Логическое управление Модифицированный муравьиный алгоритм для построения конечных автоматов по сценариям работы и темпоральным формулам Д. С. Чивилихин, В. И. Ульянцев, А. А. Шалыто Университет ИТМО, Санкт-Петербург Аннотация: Решается задача построения управляющих конечных автоматов по сценариям работы и темпоральным формулам. Предлагается новый алгоритм pstMuACO, совмещающий процедуру прореживания сценариев, точный алгоритм построения автоматов по сценариям работы efsmSAT на основе сведения к задаче выполнимости булевой формулы, и параллельный муравьиный алгоритм pMuACO. Эксперименты показали, что построение нескольких начальных решений для муравьиного алгоритма по сокращенным наборам сценариев существенно уменьшает суммарное время, необходимое для нахождения оптимального решения. Предложенный алгоритм может быть применен для автоматизированного построения надежных систем управления.
 Полный текст:
PDF файл (206 kB)
 Первая страница: PDF файл
Список литературы:
PDF файл
HTML файл
Англоязычная версия: Automation and Remote Control, 2016, 77:3,  Реферативные базы данных:    Тип публикации: Статья Статья представлена к публикации членом редколлегии: О. П. Кузнецов Поступила в редакцию: 10.12.2014 Образец цитирования: Д. С. Чивилихин, В. И. Ульянцев, А. А. Шалыто, “Модифицированный муравьиный алгоритм для построения конечных автоматов по сценариям работы и темпоральным формулам”, Автомат. и телемех., 2016, № 3, 
Цитирование в формате 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}
Образцы ссылок на эту страницу:
Citing articles on Google Scholar: Russian citations, English citations Related articles on Google Scholar: Russian articles, English articles Эта публикация цитируется в следующих статьяx:
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
Обратная связь: |
 Пользовательское соглашение
|
Регистрация |
Логотипы |
|