У процесі роботи були досліджені моделі процесів розподіленого імітаційного моделювання з використанням оптимістичних методів синхронізації і реалізовано на його основі програмне забезпечення аналізу розподілених імітаційних моделей. Розглянуто методи формального подання розподілених імітаційних моделей і методи аналізу розподілених імітаційних моделей, обрані найбільш підходящий для програмної реалізації. Розроблено алгоритми аналізу розподілених імітаційних моделей. Розроблено програмне забезпечення аналізу розподілених імітаційних моделей. Проведено експерименти, що реалізують консервативні і оптимістичні алгоритми синхронізації розподілених імітаційних моделей. HLA, РОЗПОДІЛЕНЕ МОДЕЛЮВАННЯ, АЛГОРИТМИ СИНХРОНІЗАЦІЇ, КОНСЕРВАТИВНИЙ АЛГОРИТМ, ОПТИМІСТИЧНИЙ АЛГОРИТМ, ІМІТАЦІЙНЕ МОДЕЛЮВАННЯ In the process, have been developed process models of distributed simulation using conservative synchronization algorithms and implemented on the basis of its analysis software distributed simulation models. The methods for the formal presentation of distributed simulation models and methods of analysis of distributed simulation models, selected the most suitable for software implementation. The algorithms of the analysis of distributed simulation models. The software analysis of distributed simulation models. Experiments that implement conservative and optimistic synchronization algorithms for distributed simulation models. HLA, DISTRIBUTED SIMULATION, SYNCHRONIZATION ALGORITHMS, CONSERVATIVE ALGORITHM AND OPTIMISTIC ALGORITHMS, SIMULATION
