Введение
Глава 1. Класс исследуемых объектов 14
1.1. Гибридные системы как обобщение классических динамических систем 14
1.2. Факторы появления гибридного поведения 18
1.3. Типы гибридного поведения 19
1.4. Обзор современных программных комплексов компьютерного анализа ГС 27
1.4.1. Программный комплекс Matlab/Simulink/Stateflow 28
1.4.2. Интегрированная среда моделирования DYMOLA 30
1.4.3. Интегрированная система символьной математики Maple 32
1.4.4. Программный комплекс AnyLogic 33
1.4.5. Пакет численного моделирования Model Vision Stadium 34
1.5. Обзор формализмов спецификации ГС 36
1.5.1. Объектно-ориентированное моделирование 36
1.5.2. Гибридные автоматы 39
1.5.3. Сети Петри 41
1.5.4. Агентное моделирование 44
1.6. Пример построения модели ГС в различных средах моделирования .46
Выводы 53
Глава 2. Язык спецификации моделей гибридных систем 56
2.1. Возможности языка спецификации ГС и средств его реализации 59
2.2. Спецификация непрерывного поведения 60
2.2.1. Наследование непрерывного поведения режимам ГС в ИСМА 62
2.3. Спецификация дискретного поведения ГС 63
2.3.1. Матрица переходов 64
2.3.2. Событийное управление 69
2.4. Анализ текстовой модели ГС 77
2.4.1. Лексический анализ 77
2.4.2. Синтаксический анализ 82
2.4.3. Семантический анализ 92
2.5. Карты поведения 97
2.5.1. Расширение карт поведения введением событийного управления 98
2.5.2. Семантическая эквивалентность текстовой и графической спецификации ГС 101
2.6. Алгоритмическое формирование правой части системы АДУ 102
2.6.1. Практический пример 103
2.6.2. Расширение языка спецификации 104
2.6.3. Компьютерная модель системы 106
2.7. Взаимодействие модели ГС с основной структурной схемой 109
2.8. Дополнительные возможности спецификации 113
2.9. Архитектура интегрированного препроцессора ИСМА 122
Выводы 125
Глава 3. Математическое и программное обеспечение спецификации прямых задач химической кинетики 127
3.1. Основные термины и определения 128
3.2. Дифференциальные уравнения химической кинетики 131
3.3. Алгоритм формирования дифференциальных уравнений химической кинетики 132
3.4. Язык спецификации 135
3.4.1. Синтаксис 135
3.4.2. Семантика 137
3.5. Спецификация сложных химических реакций 138
3.5.1. Обратимые реакции 139
3.5.2. Параллельные реакции 141
3.5.3. Последовательные реакции 142
3.6. Спецификация динамических химических реакций 146
3.7. Оптимизация расчетов правой части кинетических уравнений 151
3.8. Разработка языкового процессора на базе MS Excel 153
3.8.1. Практическое применение 154
3.8.2. Диагностика ошибок 161
Выводы 163
Заключение 165
Список использованных источников 167
Приложения 176
