Гавсієвич І. Б. Розподілена система імітаційного моделювання

Дисертаційна робота присвячена розробці теоретичних і практичних основ побудови розподілених систем імітаційного моделювання на базі вдосконалення формального апарату Е-мереж за рахунок застосування додаткових механізмів синхронізації в рамках консервативного підходу. В роботі розроблений формалізований опис алгоритмів роботи Е-мережевого переходу та планувальника подій у термінах алгебри взаємодіючих послідовно-паралельних процесів. Теоретично обґрунтоване положення про неефективність використання алгоритму класичного послідовного планування подій в Е-мережах при розподіленому моделюванні. На основі консервативної схеми розроблений метод синхронізації паралельного виконання Е-мережевих переходів, що використовує NULL-повідомлення для запобігання взаємних блокувань. На базі запропонованого теоретичного методу та з урахуванням існуючих стандартів High Level Architecture, Common Object Request Broker Architecture, Message Passing Interface (MPI), Petri Net Markup Language розроблена розподілена система імітаційного моделювання, орієнтована на багатопроцесорні комп'ютери, мережі персональних комп'ютерів, MPI-кластери. Дана система включає механізми підтримки напівнатурного моделювання, технологію зберігання Е-мережевих моделей і графічний інтерфейс користувача. Експериментально досліджені властивості розподіленої системи імітаційного моделювання. Показано достовірність одержуваних результатів експериментів на прикладі моделей систем масового обслуговування, оцінена продуктивність розробленої системи в різних розподілених середовищах.