|
|
2020, том 27, номер 4
|
 |
|
 |
|
Editorials
|
|
От редакторов выпуска
В. А. Захаров, Н. В. Шилов
|
372–374 |
|
|
Theory of computing
|
|
|
Синтез установочных последовательностей для автоматов с временными ограничениями
А. С. Твардовский, Н. В. Евтушенко
|
376–395 |
|
|
О моделировании последовательных реагирующих систем при помощи автоматов, работающих в реальном времени
Е. М. Винарский, В. А. Захаров
|
396–411 |
|
|
Темпоральная логика для программируемых логических контроллеров
Н. О. Гаранина, И. С. Ануреев, В. Е. Зюбин, С. М. Старолетов, Т. В. Лях, А. С. Розов, С. П. Горлач
|
412–427 |
|
|
О задаче верификации моделей программ для одного расширения логики CTL*
А. Р. Гнатенко, В. А. Захаров
|
428–441 |
|
|
Алгоритмы для BDI-агентов, основанные на знаниях
Н. В. Шилов, Н. О. Гаранина
|
442–453 |
|
|
InnoChain: распределенный реестр для индустриального применения с формальной верификацией на всех уровнях реализации
В. А. Кухаренко, К. В. Зиборов, Р. Ф. Садыков, А. В. Наумчев, Р. М. Резин, Л. А. Меркин
|
454–471 |
|
|
Архитектура формально-верифицированной системы распределенного реестра InnoChain
Л. А. Меркин, Р. М. Резин, Н. К. Васильев
|
472–487 |
|
|
Правило «одной пятой» с возвратами для настройки размера популяции в генетическом алгоритме $(1 + (\lambda,\lambda))$
А. О. Басин, М. В. Буздалов, А. А. Шалыто
|
488–508 |
|
|
Erratum
|
|
|
Исправление к статье: В. А. Соколов, “О проблеме существования конечных базисов тождеств в алгебрах рекурсивных функций”, Моделирование и анализ информационных систем, Том. 27, №3, с. 304–315, 2020. DOI: https://doi.org/10.18255/1818-1015-2020-3-304-315
В. А. Соколов
|
510–511 |
|
|
Обратная связь: