RUS  ENG
Полная версия
ЖУРНАЛЫ // Моделирование и анализ информационных систем // Архив

2020, том 27, номер 4


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


© МИАН, 2025