Отправить статью по E-mail 
АЛГЕБРАИЧЕСКИЕ МЕТОДЫ СИНТЕЗА МОДЕЛЕЙ НА ОСНОВЕ ГРАФИЧЕСКОГО ПРЕДСТАВЛЕНИЯ АВТОМАТОВ
- Авторы: МЕНЬШИХ В.В1, НИКИТЕНКО В.А1
-
Учреждения:
- Воронежский институт МВД России
- Выпуск: № 1 (2025)
- Страницы: 114-130
- Раздел: Оптимизация, системный анализ и исследование операций
- URL: https://ogarev-online.ru/0005-2310/article/view/284568
- DOI: https://doi.org/10.31857/S0005231025010073
- EDN: https://elibrary.ru/JQFVER
- ID: 284568
Цитировать
Аннотация
Рассматриваются вопросы моделирования объектов и систем на основе графического представления автоматов с использованием алгебраических методов. Решается задача синтеза автоматов на основе построения алгебры их графоидов. С этой целью существующие операции над автоматами переносятся на их графоиды. С учетом дополнительных требований, которые могут возникать при анализе предметной области, вводятся новые операции. Тем самым определяется алгебра графоидов автоматов, позволяющая осуществлять синтез графоидов автоматных моделей с помощью предложенного авторами алгоритма. Доказываются утверждения, подтверждающие корректность этого алгоритма. Рассматривается численный пример синтеза графоида автоматной модели совместного действия функциональных групп в зоне чрезвычайной ситуации.
Об авторах
В. В МЕНЬШИХ
Воронежский институт МВД России
Email: menshikh@list.ru
д-р физ.-мат. наук
В. А НИКИТЕНКО
Воронежский институт МВД РоссииСписок литературы
- Калман Р.Э., ФалбП.Л., АрбибМ.А. Очерки по математической теории систем. Пер. с англ. Наппельбаума Э.Л. Под ред. Цыпкина Я.З. М.: Едиториал УРСС, 2004. 400 с.
- Сысоев В.В., Меньших В.В., Солодуха Р.А., Забияко С.В. Исследование взаимодействий в сети конечных детерминированных автоматов // Радиотехника. 2000. № 9. С. 65–67.
- Меньших В.В., Никитенко В.А. Численный метод агрегирования автоматных моделей с использованием алгебраических операций над автоматами // Проблемы управления. 2023. № 6. С. 66–75.
- Гапанович Д.А., Сухомлин В.А. Алгебра конечных автоматов как математическая модель цифрового двойника умного производства // Современные информационные технологии и ИТ-образование. 2022. Т. 18. № 2. С. 353–366.
- Гапанович Д.А., Сухомлин В.А. Моделирование функционирования шахты средствами алгебры конечных автоматов DTA // Современные информационные технологии и ИТ-образование. 2022. Т. 18. № 3. С. 634–643.
- Volkova K.M. Conducting a synthesis of a digital automaton for an automated firefighting system // Bulletin of the South Ural State University. Series: Computer Technologies, Automatic Control, Radio Electronics. 2021. Vol. 21. No. 1. P. 49–58.
- Широкова Е.В., Евтушенко Н.В. Синтез безопасных компонентов веб-сервисов на основе решения автоматных уравнений // Современная наука: актуальные проблемы теории и практики. Сер.: Естеств. и техн. науки. 2023. № 8. С. 143–150.
- Соловьев В.В. Синтез быстрых конечных автоматов на программируемых логических интегральных схемах путем расщепления внутренних состояний // Изв. РАН. Теория и системы управления. 2022. № 3. С. 69–80.
- Меньших В.В., Корчагин А.В. Структурные модели взаимодействия подразделений силовых ведомств при возникновении чрезвычайных ситуаций техногенного характера // Тр. Академии управления МВД России. 2015. № 2(34). С. 54–58.
- Меньших В.В., Самороковский А.Ф., Середа Е.Н., Горлов В.В. Моделирование коллективных действий сотрудников органов внутренних дел. Воронеж: Воронеж. ин-т МВД РФ, 2017. 236 с.
- Меньших В.В., Горлов В.В., Никитенко В.А. Учет синергетических эффектов при композиции автоматных моделей действий подразделений силовых ведомств, участвующих в ликвидации чрезвычайных обстоятельств // Вестн. Воронеж. ин-та МВД России. 2023. № 2. С. 60–68.
- Harmanis J., Stearns R. Algebraic structure theory of sequential machines. N.-Y.: Prentice-Hall Inc., 1966. 211 p.
- Villa T., Yevtushenko N., Brayton R.K., Mishchenko A., Petrenko A., Sangiovanni Vincentelli A.L. The unknown component problem: theory and applications. Springer, 2012. 311 p.
- Горбатов В.А. Фундаментальные основы дискретной математики. Информационная математика. М.: Наука. Физматлит, 2000. 544 с.
- Мелихов А.Н. Ориентированные графы и конечные автоматы. М.: Наука, 1971. 416 с.
Дополнительные файлы
