Введение
ГЛАВА 1. Области исследования 18
1.1 Переходные процессы 19
1.2 Спецификация, модели и методы анализа 22
1.3 Обзор инструментальных средств 27
1.4 Гибридные системы 39
1.5 Сравнительный анализ инструментальных средств и задачи исследования 43
1.6 Выводы 45
ГЛАВА 2. Архитектура инструментальной среды 46
2.1 Классические характеристики симуляторов 46
2.1.1 Структура CSSL 46
2.1.2 Инструментальная среда 49
2.2 Структура программного комплекса 51
2.3 Системное наполнение 53
2.3.1 Структурно-символьная спецификация 55
2.3.2 Текстовые программные модели 60
2.3.3 Внутреннее представление гибридной модели 64
2.4 Аналитическое наполнение 67
2.4.1 Особенности исследования гибридных систем 67
2.4.2 Библиотека решателей 72
2.5 Выводы 79
ГЛАВА 3. Спецификация и анализ программных оделей 81
3.1 Технологический процесс конструирования модели ЭЭС 81
3.2 Язык графической спецификации LISMA EPS 82
3.3 Графический редактор принципиальных схем 84
3.4 Интерпретация принципиальных схем 88
3.5 Внутреннее представление схем замещения 91
3.6 Реализация гибридного поведения ЭЭС 96
3.7 Получение уравнений режима 98
3.8 Выводы 99
ГЛАВА 4. Анализ гибридных моделей 101
4.1 Анализ непрерывных режимов 101
4.1.1 Решатель MK11F 102
4.1.2 Тестирование 104
4.2 Корректное обнаружение событий 105
4.2.1 Обнаружение событий с явными методами 106
4.2.2 Событийная функция в неявной задаче 107
4.2.3 Тестирование алгоритма обнаружения 108
4.3 Анализ режимов ЭЭС 110
4.4 Выводы 122
Заключение 123
Список использованных источников 125
Приложение а 137
Приложение Б 151
