СОВРЕМЕННЫЕ ПРОБЛЕМЫ КОМПЬЮТЕРНЫХ И ИНФОРМАЦИОННЫХ НАУК, VII Международная научная конференция «Конвергентные когнитивно-информационные технологии»

Размер шрифта: 
Моделирование функционирования шахты средствами алгебры конечных автоматов DTA
Дмитрий Антонович Гапанович, Владимир Александрович Сухомлин

Изменена: 2022-11-21

Реферат


Данная статья является продолжением предыдущей работы авторов, посвященной разработке алгебры конечных автоматов специального вида DTA (Digital Twin Algebra), предназначенной для математического моделирования поведения цифровых двойников производства. В данной работе для математического моделирования функционирования двойников используется аппарат алгебры DTA в виде систем конечных автоматов, согласованных по событиям или event matched machines - сокращенно – EMM-систем, при этом автоматы (квазиавтоматы) таких систем рассматриваются как имеющие специализированную многосортную структуру и соответствующую интерпретацию поведения. Используя наглядное графическое представление алгебры конечных автоматов в виде диаграмм Мура, рассмотрен пример описания функционирования оборудования и средств некоторой воображаемой шахты горнодобывающего предприятия, демонстрирующий наглядность и адекватность средств предложенного аппарата для моделирования поведения аналогичных объектов производства.