Грідель Р. М. Моделі, методи та інформаційна технологія аналізу розподілених програмних моделей GRID-систем

Дисертаційна робота присвячена вирішенню науково-практичних завдань створення на єдиній методологічній основі нових моделей, методів та інформаційної технології аналізу розподілених програмних моделей. У роботі розроблені моделі предметної області на підставі процесного подання окремих моделей як програмних елементів обчислювального середовища; розроблені модифікації моделей для випадків синхронних, консервативних, оптимістичних методів синхронізації розподілених імітаційних моделей. На основі розроблених моделей запропоновано методи аналізу розподілених програмних моделей: метод порівняння ефективності розподілених імітаційних моделей за максимальним просуванню модельного часу, метод оцінки можливості розподілу окремих моделей на основі динамічної зміни обсягів віртуальної пам'яті, метод отримання оцінок простою ресурсів для алгоритмів синхронізації розподілених імітаційних моделей. На основі розроблених методів запропонована інформаційна технологія та програмне забезпечення аналізу процесів розподіленого імітаційного моделювання.