АЛГОРИТМІЧНЕ ЗАБЕЗПЕЧЕННЯ ВЕРИФІКАЦІЇ ТА ВИКОНАННЯ КООПЕРАТИВНИХ СЦЕНАРІЇВ У РОЗПОДІЛЕНИХ ТРЕНАЖЕРНИХ СИСТЕМАХ

Анотація

Анотація. У статті розв’язується актуальна науково-прикладна задача програмної реалізації та автоматизованої верифікації сценаріїв для багатокористувацьких 3D-тренажерів в енергетиці. В умовах зростання складності технологічних процесів та вимог до резильєнтності критичної інфраструктури, ефективність навчання персоналу залежить не лише від індивідуальних навичок, але й від здатності до скоординованої командної взаємодії. Існуючі підходи до створення контенту часто покладаються на ненадійну ручну перевірку або використовують великовагові формальні методи, складні для інтеграції у веб-середовища. На основі формальної моделі ролевої взаємодії (МРВ) запропоновано комплексне алгоритмічне забезпечення, що включає структуру даних на базі JSON, алгоритм статичного аналізу та ядро динамічного виконання. Розроблений метод статичної верифікації, що базується на модифікованому пошуку в глибину (DFS), дозволяє виявляти специфічні логічні колізії («синхронізаційні тупики» (Sync Deadlocks) та недосяжні стани) безпосередньо на етапі проектування. Для забезпечення коректного виконання сценаріїв розроблено алгоритм роботи серверного ядра (Runtime Engine), що реалізує архітектуру «авторитетного сервера», гарантуючи узгодженість станів учасників навіть при стохастичних системних подіях. Ефективність підходів підтверджено експериментально. Навантажувальне тестування на синтетичних графах продемонструвало лінійну залежність часу верифікації від розмірності сценарію, що підтверджує можливість перевірки складних структур у реальному часі. Порівняльний аналіз показав значну перевагу автоматизованого методу над експертним за швидкістю та точністю виявлення помилок. Також розглянуто використання верифікатора як «фільтра безпеки» при генерації сценаріїв за допомогою великих мовних моделей (LLM), що дозволяє нівелювати ризики логічних галюцинацій штучного інтелекту.