Введение
1. Анализ исследований и разработок в области моделирования динамических систем 16
1.1. Подходы к разработке динамических интеллектуальных систем 16
1.1.1. Интеллектуальные системы 16
1.1.2. Динамические интеллектуальные системы как подкласс динамических систем 18
1.1.3. Интеллектуальные системы поддержки принятия решений реального времени 20
1.2. Задача моделирования сложных динамических систем 23
1.2.1. Особенности систем, для управления и мониторинга которых используются ИСППР РВ 24
1.2.2. Анализ подходов к моделированию сложных динамических систем 25
1.2.3. Анализ подходов к представлению и моделированию времени в сложных динамических системах 28
1.3. Выбор формального аппарата для имитационного моделирования сложных динамических систем 33
1.3.1. Свойства базовой формальной модели 34
1.3.2. Конечные автоматы и сети конечных автоматов 34
1.3.3. Временные автоматы и сети временных автоматов 37
1.3.4. Сети Петри как инструмент моделирования 39
Выводы к главе 1 з
2. Методы моделирования процессов в сложных динамических системах 46
2.1. Сложная система как совокупность взаимодействующих компонентов... 46
2.2. Модификации сетей Петри для моделирования процессов в динамических системах 48
2.2.1. Темпоральные модификации раскрашенных сетей Петри 48
2.2.2. Модификация РСП РВ с поддержкой качественных темпоральных зависимостей 53
2.3. Анализ и верификация моделей процессов на основе сетей Петри с поддержкой логики Аллена 67
2.3.1. Методы анализа сетей Петри 67
2.3.2. Верификация моделей процессов, созданных на основе сетей Петри 74
2.3.3. Применение метода Model Checking для верификации модели на основе РСП РВ ТЛА 76
Выводы к главе 2 79
3. Программная реализация базовых инструментальных средств моделирования процессов в динамических системах на основе РСПРВ ТЛА 81
3.1. Разработка прототипа инструментария в среде G2 81
3.1.1. Организация функционирования модели 88
3.1.2. Пример модели, построенной с помощью разработанного прототипа инструментария 90
3.2. Разработка инструментария в среде Microsoft Visual Studio 92
3.2.1. Модель RTCPNtoolkit.Model 95
3.2.2. Представление модели RTCPNtoolkit. ViewModeI ПО
3.2.3. Графический интерфейс RTCPNtoolkit. View 114
Выводы к главе 3 120
4. Апробация и внедрение разработанных методов и программных средств 121
4.1. Тестирование разработанного инструментария 121
4.2. Внедрение разработанных методов и программных средств 124
4.2.1. Задача разработки моделей объектов электроэнергетический сети 124
4.2.2. Применение формализма РСП РВ ТЛА для моделирования объектов лектроэнергетической системы 126
4.2.3. Пример разработанной модели функционирования гидроагрегата 129
Выводы к главе 4 134
Заключение 135
Литература
