?
On the Modeling of Sequential Reactive Systems by Means of Real Time Automata
Automatic Control and Computer Sciences. 2021. Vol. 55. No. 7. P. 751–762.
Винарский Е. М., Захаров В. А.
Переводчик: Захаров В. А.
Ключевые слова: simulationtransition systemsreactive systemреагирующая системаformal verificationконечный автомат реального времениформальная верификация моделиFinite State Machine (FSM)размеченная система переходовотношение симуляции
ПУБЛИКАЦИЯ ПОДГОТОВЛЕНА ПО РЕЗУЛЬТАТАМ ПРОЕКТА:
Maddalena L., Yildiz B., Del Vecchio Blanco F. и др., Risk Analysis 2026 Vol. 46 No. 4 P. 1–26
Добавлено: 22 сентября 2026 г.
Aleksei Samarin, Alexander Savelev, Aleksei Toropov и др., Pattern Recognition and Image Analysis 2024 Vol. 34 No. 3 P. 855–862
Добавлено: 21 сентября 2026 г.
Aleksei Samarin, Назаренко А. А., Alexander Savelev и др., Pattern Recognition and Image Analysis 2024 Vol. 34 No. 3 P. 844–854
Добавлено: 21 сентября 2026 г.
Aleksei Samarin, Alexander Savelev, Aleksei Toropov и др., Optical Memory and Neural Networks (Information Optics) 2024 Vol. 33 P. 424–434
Добавлено: 21 сентября 2026 г.
Aleksei Samarin, Aleksei Toropov, Alexander Savelev и др., Pattern Recognition and Image Analysis 2024 Vol. 34 No. 4 P. 1053–1060
Добавлено: 21 сентября 2026 г.
Самарин А. В., Торопов А. Г., Савельев А. Г. и др., Pattern Recognition and Image Analysis 2024 Vol. 34 No. 4 P. 1044–1052
Добавлено: 21 сентября 2026 г.
Singapore: Springer Singapore, 2025.
Добавлено: 21 сентября 2026 г.
Томат А., Sergei O. Kuznetsov, International Journal of Approximate Reasoning 2026 Vol. 197 Article 109754
Добавлено: 21 сентября 2026 г.
Добавлено: 21 сентября 2026 г.
Aleksei Samarin, Alexander Savelev, Aleksei Toropov и др., Pattern Recognition and Image Analysis 2025 Vol. 35 No. 2 P. 169–178
Добавлено: 21 сентября 2026 г.
Aleksei Samarin, Alexander Savelev, Aleksei Toropov и др., Journal of Imaging 2025 Vol. 11 No. 10 Article 359
Добавлено: 21 сентября 2026 г.
Springer, Cham, 2025.
Добавлено: 21 сентября 2026 г.
Aleksei Samarin, Alexander Savelev, Aleksei Toropov и др., Journal of Imaging 2025 Vol. 11 No. 6 P. 1–20
Добавлено: 21 сентября 2026 г.
Aleksei Samarin, Alexander Savelev, Aleksei Toropov и др., Pattern Recognition and Image Analysis 2026 Vol. 36 No. 2 P. 323–334
Добавлено: 19 сентября 2026 г.
Aleksei Samarin, Назаренко А. А., Kotenko E. и др., Proceedings of the ACM on Management of Data, USA 2026 Vol. 4 No. 1 P. 1–28
Добавлено: 19 сентября 2026 г.
Aleksei Samarin, Alexander Savelev, Aleksei Toropov и др., Pattern Recognition and Image Analysis 2025 Vol. 35 No. 2 P. 148–158
Добавлено: 19 сентября 2026 г.
Aleksei Samarin, Alexander Savelev, Aleksei Toropov и др., Pattern Recognition and Image Analysis 2026 Vol. 36 No. 2 P. 302–312
Добавлено: 19 сентября 2026 г.
Springer, Cham, 2026.
Добавлено: 19 сентября 2026 г.
Омаров М. Т., Маликов М. А., Американов А. А., , in: 2026 International Conference on Industrial Engineering, Applications and Manufacturing (ICIEAM).: IEEE, 2026. P. 791–796.
Добавлено: 22 августа 2026 г.
Комиссаров А. И., Вестник Московского государственного технического университета им. Н.Э. Баумана. Серия: Машиностроение 2025 Т. 155 № 4 С. 72–89
Основное требование к имитационным моделям гусеничных машин для компьютерных тренажеров по обучению управлению машинами и роботами заключается в возможности их работы в режиме реального и близкого к реальному времени, что обеспечивается существенным упрощением кинематики и динамики модели взаимодействия гусеничного движителя с опорным основанием. Приведено описание оригинальной экономичной модели гусеничного движителя с учетом групп траков, расположенных ...
Добавлено: 6 августа 2026 г.
Букина Т. В., В кн.: Кафедра социально-экономической географии: семь десятилетий развития.: Пермь: Пермский государственный национальный исследовательский университет, 2025. Гл. 5 С. 57–79.
Каждый регион характеризуется уникальными особенностями развития, которые формируют будущее его экономики. Уровень экономического развития региона определяется различными условиями, такими как обеспеченность природными ресурсами, наличие производственных мощностей, развитие институтов и социальной сферы, инфраструктурная обеспеченность и многими другими. Следовательно, при оценке уровня регионального развития необходимо учитывать совокупность факторов, которые в разной степени оказывают на него влияние.
Необходимо отметить, ...
Добавлено: 3 августа 2026 г.
Раменская А. В., Бектемиров Р. Р., Корнейченко Е. Н., В кн.: Имитационное моделирование. Теория и практика (ИММОД 2025).: СПб.: АО "ЦТСС", 2025. С. 463–470.
Для стабильного функционирования банкам необходимо анализировать предпочтения и поведение своих клиентов. Высокое значение ключевой ставки отразилось на депозитной политике банков. Цель исследования - разработка имитационной модели поведения клиентов на региональном рынке банковских вкладов. Предложена агентная имитационная модель, описывающая рынок банковских вкладов в регионе с тремя банками и ограниченным количеством потенциальных вкладчиков. Рассмотрены два сценария внедрения ...
Добавлено: 20 апреля 2026 г.
Sultanov R., Safin R., Martinez-Garcia E. и др., , in: Proceedings of the 21st International Conference on Informatics in Control, Automation and Robotics - (Volume 1) ICINCO 2024.: SciTePress, 2024. P. 519–526.
Добавлено: 17 марта 2026 г.