Масюк А. Л. Діалогові засоби паралельного моделюючого середовища, орієнтованого на мережеві динамічні об'єкти

Дисертаційна робота присвячена розгляду проблемно-орієнтованого моделюючого середовища (ПОМС) як об'єкта діалогу користувача і розробника моделей (експерта предметної області) з багатоплановими ресурсами середовища, теоретичного обґрунтування і розробки засобів ефективної підтримки цього діалогу на всіх етапах побудови та застосування різнопланових моделей динамічних систем. У дисертаційній роботі проаналізовано наявні діалогові засоби для систем управління складними об'єктами. Основною проблемою для систем моделювання в гірничодобувній галузі є практично повна відсутність діалогових засобів управління і моделювання шахтних вентиляційних мереж (ШВМ). Наведено визначення ПД ПОМС як сукупності засобів, що вводять експерта предметної області у контур моделі та в систему керування. Розроблено структуру й функціональний набір засобів ПД у складі ПОМС. Розроблено діалогові алгоритми підтримки етапів створення, налагодження, візуалізації, підготовки до моделювання та моделювання об'єкта. Запропоновано та обґрунтовано універсальний формат опису моделі МО, що інкапсулює параметри усіх елементів, які складають можливі її підмоделі, використовуючи для цього ієрархічну атрибутну модель. Вперше запропоновано універсальний метод Diff реалізації стека скасування та повтору останніх дій користувача, заснований на автоматичному генеруванні команд-модифікаторів для зміни станів моделі даних. В даний час код, який реалізує дану функціональність, успішно використовується в декількох додатках. Запропоновано гібридну MIMD+SIMD-структуру вирішувача рівнянь для задачі динаміки розподілу повітря в ШВМ. Розроблено орієнтований на інтегровані засоби SIMD сучасних процесорів паралельний алгоритм моделювання розподілу повітря в окремих гілках ШВМ за методом прямих. Виконано розробку модуля побудови і параметризації графа ШВМ, що імплементує Diff-метод, а також модуля зв'язку з симулятором і візуалізації результатів як складової частини ПД. Працездатність діалогових алгоритмів доведено шляхом побудови, параметризації та моделювання тестової моделі ШВМ. На основі реальних моделей експериментально підтверджена ефективність Diff-методу і паралельного MIMD+SIMD-вирішувача рівнянь.