Preview

Моделирование и анализ информационных систем

Расширенный поиск

Информация о разделе


Theory of Computing

 
Выпуск Название
 
Том 28, № 1 (2021) LTL-спецификация счётчиковых машин Аннотация   PDF (Rus)
Егор Владимирович Кузьмин
 
Том 27, № 4 (2020) Темпоральная логика для программируемых логических контроллеров Аннотация   PDF (Rus)
Наталья Олеговна Гаранина, Игорь Сергеевич Ануреев, Владимир Евгеньевич Зюбин, Сергей Михайлович Старолетов, Татьяна Викторовна Лях, Андрей Сергеевич Розов, Сергей Петрович Горлач
 
Том 27, № 4 (2020) О задаче верификации моделей программ для одного расширения логики CTL* Аннотация   PDF (Rus)
Антон Романович Гнатенко, Владимир Анатольевич Захаров
 
Том 27, № 4 (2020) Алгоритмы для BDI-агентов, основанные на знаниях Аннотация   PDF (Rus)
Николай Вячеславович Шилов, Наталья Олеговна Гаранина
 
Том 27, № 4 (2020) InnoChain: распределенный реестр для индустриального применения с формальной верификацией на всех уровнях реализации Аннотация   PDF (Rus)
Владимир Александрович Кухаренко, Кирилл Викторович Зиборов, Рафаэль Фаритович Садыков, Александр Владимирович Наумчев, Руслан Маратович Резин, Леонид Альбертович Меркин
 
Том 27, № 4 (2020) Архитектура формально-верифицированной системы распределенного реестра InnoChain Аннотация   PDF (Rus)
Леонид Альбертович Меркин, Руслан Маратович Резин, Николай Константинович Васильев
 
Том 27, № 4 (2020) Правило «одной пятой» с возвратами для настройки размера популяции в генетическом алгоритме (1 + (λ,λ)) Аннотация   PDF (Rus)
Антон Олегович Басин, Максим Викторович Буздалов, Анатолий Абрамович Шалыто
 
Том 27, № 4 (2020) О моделировании последовательных реагирующих систем при помощи автоматов, работающих в реальном времени Аннотация   PDF (Rus)
Евгений Максимович Винарский, Владимир Анатольевич Захаров
 
Том 27, № 4 (2020) Синтез установочных последовательностей для автоматов с временными ограничениями Аннотация   PDF (Rus)
Александр Сергеевич Твардовский, Нина Владимировна Евтушенко
 
Том 27, № 3 (2020) Эффективные алгоритмы проверки эквивалентности для некоторых классов автоматов Аннотация   PDF (Rus)
Владимир Анатольевич Захаров
 
Том 27, № 3 (2020) О проблеме существования конечных базисов тождеств в алгебрах рекурсивных функций Аннотация   PDF (Rus)
Валерий Анатольевич Соколов
 
Том 27, № 2 (2020) Динамически изменяющийся параллелизм с асинхронно-последовательными потоками данных Аннотация   PDF (Rus)
Александр Иванович Легалов, Иван Васильевич Матковский, Мария Сергеевна Ушакова, Дарья Сергеевна Романова
 
Том 27, № 1 (2020) Об одном разбиении отрезка, применяемом для оценки энтропии Аннотация   PDF (Rus)
Евгений Александрович Тимофеев
 
Том 26, № 2 (2019) К вопросу использования «полезных» задач для обеспечения работой блокчейн систем Аннотация   PDF (Rus)
Дмитрий Михайлович Мурин, Владимир Николаевич Князев
 
Том 26, № 2 (2019) Анализ возможностей практического использования моделей решеточных газов Аннотация   PDF (Rus)
Сергей Петрович Бобков, Анастасия Сергеевна Чернявская, Владимир Владимирович Шергин
 
Том 26, № 2 (2019) Существование несмещенной состоятельной оценки энтропии для специальной меры Бернулли Аннотация   PDF (Rus)
Евгений Александрович Тимофеев
 
1 - 16 из 16 результатов