СОДЕРЖАНИЕ

ОСНОВНЫЕ ОБОЗНАЧЕНИЯ И СОКРАЩЕНИЯ.................................... 4

ВВЕДЕНИЕ........................................................................................................

ГЛАВА 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 Аналитическое наполнение....................................................................

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