- Код статьи
- 10.31857/S0005231025010073-1
- DOI
- 10.31857/S0005231025010073
- Тип публикации
- Статья
- Статус публикации
- Опубликовано
- Авторы
- Том/ Выпуск
- Том / Номер выпуска 1
- Страницы
- 114-130
- Аннотация
- Рассматриваются вопросы моделирования объектов и систем на основе графического представления автоматов с использованием алгебраических методов. Решается задача синтеза автоматов на основе построения алгебры их графоидов. С этой целью существующие операции над автоматами переносятся на их графоиды. С учетом дополнительных требований, которые могут возникать при анализе предметной области, вводятся новые операции. Тем самым определяется алгебра графоидов автоматов, позволяющая осуществлять синтез графоидов автоматных моделей с помощью предложенного авторами алгоритма. Доказываются утверждения, подтверждающие корректность этого алгоритма. Рассматривается численный пример синтеза графоида автоматной модели совместного действия функциональных групп в зоне чрезвычайной ситуации.
- Ключевые слова
- графоиды автоматов операции над графоидами алгебра графоидов параллельная синхронная смена состояний автоматов параллельная асинхронная смена состояний автоматов недопустимые состояния недопустимые вершины синтез графоидов
- Дата публикации
- 01.01.2025
- Год выхода
- 2025
- Всего подписок
- 0
- Всего просмотров
- 12
Библиография
- 1. Калман Р.Э., ФалбП.Л., АрбибМ.А. Очерки по математической теории систем. Пер. с англ. Наппельбаума Э.Л. Под ред. Цыпкина Я.З. М.: Едиториал УРСС, 2004. 400 с.
- 2. Сысоев В.В., Меньших В.В., Солодуха Р.А., Забияко С.В. Исследование взаимодействий в сети конечных детерминированных автоматов // Радиотехника. 2000. № 9. С. 65–67.
- 3. Меньших В.В., Никитенко В.А. Численный метод агрегирования автоматных моделей с использованием алгебраических операций над автоматами // Проблемы управления. 2023. № 6. С. 66–75.
- 4. Гапанович Д.А., Сухомлин В.А. Алгебра конечных автоматов как математическая модель цифрового двойника умного производства // Современные информационные технологии и ИТ-образование. 2022. Т. 18. № 2. С. 353–366.
- 5. Гапанович Д.А., Сухомлин В.А. Моделирование функционирования шахты средствами алгебры конечных автоматов DTA // Современные информационные технологии и ИТ-образование. 2022. Т. 18. № 3. С. 634–643.
- 6. 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.
- 7. Широкова Е.В., Евтушенко Н.В. Синтез безопасных компонентов веб-сервисов на основе решения автоматных уравнений // Современная наука: актуальные проблемы теории и практики. Сер.: Естеств. и техн. науки. 2023. № 8. С. 143–150.
- 8. Соловьев В.В. Синтез быстрых конечных автоматов на программируемых логических интегральных схемах путем расщепления внутренних состояний // Изв. РАН. Теория и системы управления. 2022. № 3. С. 69–80.
- 9. Меньших В.В., Корчагин А.В. Структурные модели взаимодействия подразделений силовых ведомств при возникновении чрезвычайных ситуаций техногенного характера // Тр. Академии управления МВД России. 2015. № 2(34). С. 54–58.
- 10. Меньших В.В., Самороковский А.Ф., Середа Е.Н., Горлов В.В. Моделирование коллективных действий сотрудников органов внутренних дел. Воронеж: Воронеж. ин-т МВД РФ, 2017. 236 с.
- 11. Меньших В.В., Горлов В.В., Никитенко В.А. Учет синергетических эффектов при композиции автоматных моделей действий подразделений силовых ведомств, участвующих в ликвидации чрезвычайных обстоятельств // Вестн. Воронеж. ин-та МВД России. 2023. № 2. С. 60–68.
- 12. Harmanis J., Stearns R. Algebraic structure theory of sequential machines. N.-Y.: Prentice-Hall Inc., 1966. 211 p.
- 13. 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.
- 14. Горбатов В.А. Фундаментальные основы дискретной математики. Информационная математика. М.: Наука. Физматлит, 2000. 544 с.
- 15. Мелихов А.Н. Ориентированные графы и конечные автоматы. М.: Наука, 1971. 416 с.
