Введение
ГЛАВА 1. Класс систем 16
1.1 Пространственно-временные гибридные системы 16
1.2 Классификация гибридного поведения 24
1.3 Обзор инструментальных средств 28
1.4 Задачи исследования 38
1.5 Выводы 39
ГЛАВА 2. Математическое и программное обеспечение 40
2.1 Архитектура 41
2.1.1 Обобщенная архитектура сред моделирования 41
2.1.2 Архитектура среды моделирования ИСМА 2015 43
2.2 Унифицированное внутреннее представление 49
2.2.1 Компоненты непрерывного поведения 52
2.2.2 Компоненты дискретного поведения 56
2.2.3 Компоненты модели 57
2.2.4 Сопровождающие инструменты 57
2.3 Программные инструменты моделирования 61
2.3.1 Эквивалентные преобразования модели 61
2.3.2 Расширение библиотеки численных методов 62
2.3.3 Контроллеры методов численного анализа 64
2.4 Выводы 66
ГЛАВА 3. Символьная спецификация 68
3.1 Язык символьной спецификации 68
3.1.1 Грамматика языка 69
3.1.2 Классификация грамматики 79
3.2 Автоматизация построения синтаксического анализатора 82
3.2.1 Универсальный языковой процессор 83
3.2.2 Генератор нисходящих анализаторов «ANTLR4» 89
3.2.3 Сравнительный анализ подходов автоматизации
3.3 Семантический анализ и интерпретация 94
3.4 Выводы 96
ГЛАВА 4. Инструментально-ориентированный анализ гибридных систем 98
4.1 Анализ традиционных ГС 98
4.1.1 Модель двух осциллирующих на пружинах масс 98
4.1.2 Модель двух баков 101
4.1.3 Модель ЭЭС 106
4.2 Анализ пространственно-временных гибридных систем 112
4.2.1 Модель суточной концентрации озона 113
4.2.2 Модель нестационарной теплопроводности 115
4.2.3 Модель диффузии
4.3 Анализ деформации твёрдого тела 120
4.4 Выводы 122
Заключение 124
Основные обозначения и сокращения 126
Список использованных источников
