Имитационное моделирование с использованием бинарной автоматной модели

Abstract

Предложена БА-модель, предназначенная для применения в имитационном моделирования поведения систем с большим количеством взаимодействующих объектов. Введены понятия систем и подсистем конечных автоматов. Рассмотрены теоретические аспекты поведения систем конечных автоматов. Предложена алгоритмизация решения проблемы синхронизатора с применением RB-деревьев. Описан событийный подход к моделированию при помощи систем конечных автоматов. Рассмотрены ограничения подхода. Приведено несколько базовых доказательств. Описано применение БА-модели для метода твердых сфер. Приведены иллюстрации к модельному примеру.

Запропоновано БА-модель, призначену для застосування в імітаційному моделюванні поведінки систем з великою кількістю взаємодіючих об'єктів. Введено поняття систем та підсистем кінцевих автоматів. Розглянуто теоретичні аспекти поведінки систем кінцевих автоматів. Запропоновано алгоритмізацію вирішення проблеми синхронізатора із застосуванням RB-дерев. Описано подійний підхід до моделювання за допомогою систем кінцевих автоматів. Розглянуто обмеження підходу. Наведено кілька базових доказів. Описано застосування БА-моделі для твердих сфер. Наведено ілюстрації до модельного прикладу.