Algebraic Methods of Model Synthesis Based on the Graphical Representation of Automata

Cover Page

Cite item

Full Text

Open Access Open Access
Restricted Access Access granted
Restricted Access Subscription Access

Abstract

Рассматриваются вопросы моделирования объектов и систем на основе графического представления автоматов с использованием алгебраических методов. Решается задача синтеза автоматов на основе построения алгебры их графоидов. С этой целью существующие операции над автоматами переносятся на их графоиды. С учетом дополнительных требований, которые могут возникать при анализе предметной области, вводятся новые операции. Тем самым определяется алгебра графоидов автоматов, позволяющая осуществлять синтез графоидов автоматных моделей с помощью предложенного авторами алгоритма. Доказываются утверждения, подтверждающие корректность этого алгоритма. Рассматривается численный пример синтеза графоида автоматной модели совместного действия функциональных групп в зоне чрезвычайной ситуации.

References

  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 с.

Supplementary files

Supplementary Files
Action
1. JATS XML

Copyright (c) 2025 The Russian Academy of Sciences

Согласие на обработку персональных данных с помощью сервиса «Яндекс.Метрика»

1. Я (далее – «Пользователь» или «Субъект персональных данных»), осуществляя использование сайта https://journals.rcsi.science/ (далее – «Сайт»), подтверждая свою полную дееспособность даю согласие на обработку персональных данных с использованием средств автоматизации Оператору - федеральному государственному бюджетному учреждению «Российский центр научной информации» (РЦНИ), далее – «Оператор», расположенному по адресу: 119991, г. Москва, Ленинский просп., д.32А, со следующими условиями.

2. Категории обрабатываемых данных: файлы «cookies» (куки-файлы). Файлы «cookie» – это небольшой текстовый файл, который веб-сервер может хранить в браузере Пользователя. Данные файлы веб-сервер загружает на устройство Пользователя при посещении им Сайта. При каждом следующем посещении Пользователем Сайта «cookie» файлы отправляются на Сайт Оператора. Данные файлы позволяют Сайту распознавать устройство Пользователя. Содержимое такого файла может как относиться, так и не относиться к персональным данным, в зависимости от того, содержит ли такой файл персональные данные или содержит обезличенные технические данные.

3. Цель обработки персональных данных: анализ пользовательской активности с помощью сервиса «Яндекс.Метрика».

4. Категории субъектов персональных данных: все Пользователи Сайта, которые дали согласие на обработку файлов «cookie».

5. Способы обработки: сбор, запись, систематизация, накопление, хранение, уточнение (обновление, изменение), извлечение, использование, передача (доступ, предоставление), блокирование, удаление, уничтожение персональных данных.

6. Срок обработки и хранения: до получения от Субъекта персональных данных требования о прекращении обработки/отзыва согласия.

7. Способ отзыва: заявление об отзыве в письменном виде путём его направления на адрес электронной почты Оператора: info@rcsi.science или путем письменного обращения по юридическому адресу: 119991, г. Москва, Ленинский просп., д.32А

8. Субъект персональных данных вправе запретить своему оборудованию прием этих данных или ограничить прием этих данных. При отказе от получения таких данных или при ограничении приема данных некоторые функции Сайта могут работать некорректно. Субъект персональных данных обязуется сам настроить свое оборудование таким способом, чтобы оно обеспечивало адекватный его желаниям режим работы и уровень защиты данных файлов «cookie», Оператор не предоставляет технологических и правовых консультаций на темы подобного характера.

9. Порядок уничтожения персональных данных при достижении цели их обработки или при наступлении иных законных оснований определяется Оператором в соответствии с законодательством Российской Федерации.

10. Я согласен/согласна квалифицировать в качестве своей простой электронной подписи под настоящим Согласием и под Политикой обработки персональных данных выполнение мною следующего действия на сайте: https://journals.rcsi.science/ нажатие мною на интерфейсе с текстом: «Сайт использует сервис «Яндекс.Метрика» (который использует файлы «cookie») на элемент с текстом «Принять и продолжить».