Описано мову специфікацій (МС) імітаційного моделювання та побудовану на його основі методику моделювання. МС дозволяє в зручній і наочній формі графічних конструкцій, що легко підлягають верифікації, охопити весь процес імітаційного моделювання, у тому числі створення концептуальної, формальної та програмної моделей. Методику моделювання, засновану на візуальній побудові моделей, розглянуто на прикладі.

Висвітлено основні етапи імітаційного моделювання складних систем. Викладено різноманітні підходи до побудови моделювальних алгоритмів. Наведено приклади дискретних, неперервних і комбінованих імітаційних моделей.

Освещены современные подходы к разработке и реализации управления процессами распределённого имитационого моделирования. Рассмотрены особенности использования адаптивных стратегий управления, ориентированных на повышение эффективности методов распределённого имитационного моделирования.

Обоснована целесообразность решения актуальной задачи выбора алгоритма синхронизации (АС) для заданного приложения (или класса приложений), необходимость сравнения АС между собой, а также проблема объединения и совместного функционирования разнородных имитационных моделей. Соответственно, аргументирована необходимость ускорения имитационного эксперимента.

Рассмотрены вопросы разработки и использования современных технологических стандартов, в частности, стандартов технологии High Level Architecture, для создания системных компонент и проблемно-ориентированных приложений в области распределённого имитационного моделирования.

На підставі аналізу особливостей реалізації імітаційних моделей імовірних технологічних процесів виробництва визначено технологічні вимоги до інструментарію моделювання. Запропоновано формалізацію процесів зі змінною структурою та висвітлено технологію їх аналізу за допомогою програмно-технологічного комплексу імітації.

Изложены основные понятия сетей Петри и их некоторых модификаций - раскрашенных, временных, стохастических и нечетких сетей Петри. Показано, как используются эти понятия для отражения действий, событий в моделируемом объекте. Приведены примеры построения имитационных моделей поведения различных объектов. Изложены методы решения задач анализа сетей Петри с указанием соответствия между результатами решения этих задач и свойствами моделируемых объектов.

На підставі аналізу особливостей технологічних процесів виробництва змінної структури встановлено вимоги до засобів автоматизації їх проектного моделювання. Розглянуто склад і структуру програмно-технологічного комплексу дослідження технологічних процесів виробництва. Сформульовано базові принципи формалізації та імітаційного моделювання. Визначено особливості технології використання комплексу для розв'язання проектних задач.

Розглянуто особливості технологічних процесів зі змінною структурою технології. Наведено формалізацію ймовірнісних технологічних процесів. Запропоновано методику оцінки якості реалізації технологічних поцесів на базі імітаційного моделювання за допомогою програмно-технологічного комплексу імітації.

Определена сущность имитационного моделирования и рассмотрены статические и динамические подходы к реализации данного процесса. Приведена сравнительная характеристика непрерывных и дискретных видов динамических моделей. Представлена классификация программных средств реализации машинных имитационных экспериментов, языки и специализированные пакеты имитационного моделирования. Приведена краткая характеристика диалоговой автоматизированной системы имитационного моделирования (ДАСИМ). Описана методика имитационного моделирования с применением ДАСИМ. Разработаны модели пакетных радиосетей, параллельных вычислительных систем, локальных сетей, а также экономических, банковских и производственных моделей массового обслуживания.

Проаналізовано сучасні тенденції в галузі імітаційного моделювання стосовно методолого-технологічних аспектів послідовного, розподіленого та Virtual Riality-базованого моделювання. Розглянуто деякі перспективи розвитку вітчизняного імітаційного моделювання.

Запропоновано методики формалізації, побудови імітаційних моделей на основі комбінації сітьових графіків і процедур методу Монте-Карло, обчислювання характеристик надійності та безпеки виробництва. Розглянуто можливості використання системи моделювання з агрегатним способом імітації.

Розроблено теоретичні та практичні основи побудови розподілених систем імітаційного моделювання на базі вдосконалення формального апарату Е-мереж за рахунок застосування додаткових механізмів синхронізації. Описано алгоритми роботи Е-мережевого переходу та планувальника подій у термінах алгебри взаємодіючих послідовно-паралельних процесів. Теоретично обгрунтовано положення про неефективність використання алгоритму класичного послідовного планування подій в Е-мережах за умов розподіленого моделювання. Розглянуто метод синхронізації паралельного виконання Е-мережевих переходів, що використовує NULL-повідомлення для запобігання взаємних блокувань. Проаналізовано розподілену систему імітаційного моделювання багатопроцесорних комп'ютерів, мереж персональних комп'ютерів, MPI-кластерів на основі механізмів підтримки напівнатурного моделювання, технології зберігання Е-мережевих моделей і графічного інтерфейсу користувача. Експериментально досліджено властивості даної системи, доведено достовірність результатів за моделями систем масового обслуговування, оцінено продуктивність системи в різних розподілених середовищах.

Описано математичне забезпечення та програмну реалізацію імітаційної моделі для визначення метрологічних характеристик вбудованої аналізуючої системи.

Дано содержательное и формальное описание имитационной модели транспортной сети города. Для построения модели предложен программно-технологический комплекс имитации взаимодействия компонентов городской транспортной сети, представляющий собой предметно-ориентированное развитие системы моделирования MICIC.

Описан состав и функциональность элементов имитационной системы моделирования, предназначенной для работы в GRID-инфраструктуре.

Розглянуто основні початкові положення для імітаційного моделювання систем забезпечення експлуатації складних технічних комплексів. Сформульовано обов'язкові процедури алгоритму визначення моментів проведення періодичного контролю складних технічних комплексів. Запропоновано основні положення методики оцінки якості систем забезпечення експлуатації складних технічних комплексів по критерію достовірності контролю. Наведено приклад реалізації запропонованої методики для засобів вимірювальної техніки медичного призначення з елементами вбудованого самоконтролю.

Проанализированы методолого-технологические аспекты разработки разноплатформенных версий системы имитационного моделирования стохастических процессов. Рассмотрены особенности реализации программных средств поддержки такого рода инструментария и разработки проблемно-ориентированных предложений.

Сформулированы особенности формализации вероятностных технологических процессов производства с помощью агрегатов. Сообщено о составе и структуре системы автоматизации имитационного моделирования, основанной на агрегатном способе имитации. Перечислены задачи проектного моделирования подобных процессов с помощью разработанной системы автоматизации моделирования.

Проанализирован опыт использования метода вероятностно-автоматного моделирования, дающий широкую возможность практического применения при воспроизведении и оптимизации динамических процессов с учетом влияния вероятностных факторов. Раскрыта сущность построения автоматных моделей (АМ). Рассмотрены вопросы обеспечения адекватности АМ реальным системам. Освещены особенности процессов протекания, исследования транспортных систем с помощью АМ, использования математических методов при формировании и выборе решений.