Алгебра конечных автоматов как математическая модель цифрового двойника умного производства

Аннотация

Статья посвящена разработке алгебры конечных автоматов специального вида DTA (Digital Twin Algebra), предназначенной для математического моделирования поведения цифровых двойников производства. Основное внимание уделяется изучению операций композиции детерминированных конечных автоматов, позволяющих строить модели составных активов из более простых. В алгебру DTA включены как общеизвестные операции, например, операция прямого произведения автоматов и операция суперпозиции автоматов, так и вновь введенные операции, включая: операции группирования конечных автоматов в параллельный блок, группирования иерархической структуры, системной композиции, ассоциации между автоматами, рекурсивного вызова автомата. Предложенный математический аппарат может использоваться для разработки формальных моделей физических активов производства, их цифровых двойников, а также моделей поведения киберфизических систем, включающих как физические, так и виртуальные активы.

Сведения об авторах

Dmitry Antonovich Gapanovich, Московский государственный университет имени М.В. Ломоносова

аспирант факультета вычислительной математики и кибернетики

Vladimir Alexandrovich Sukhomlin, Московский государственный университет имени М.В. Ломоносова

заведующий лабораторией открытых информационных технологий, факультет вычислительной математики и кибернетики, доктор технических наук, профессор

Опубликована
2022-07-20
Как цитировать
GAPANOVICH, Dmitry Antonovich; SUKHOMLIN, Vladimir Alexandrovich. Алгебра конечных автоматов как математическая модель цифрового двойника умного производства. Современные информационные технологии и ИТ-образование, [S.l.], v. 18, n. 2, july 2022. ISSN 2411-1473. Доступно на: <http://sitito.cs.msu.ru/index.php/SITITO/article/view/852>. Дата доступа: 29 sep. 2022
Раздел
Исследования и разработки в области новых ИТ и их приложений

Наиболее читаемые статьи этого автора (авторов)