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