СОДЕРЖАНИЕ
ВВЕДЕНИЕ.
ГЛАВА 1. КЛАСС ИССЛЕДУЕМЫХ ОБЪЕКТОВ.
1.1. Гибридные системы как обобщение классических динамических систем.
1.2. Факторы появления гибридного поведения
1.3. Типы гибридного поведения.
1.4. Обзор современных программных комплексов компьютерного анализа ГС.
1.4.1. Программный комплекс ii
1.4.2. Интегрированная среда моделирования
1.4.3. Интегрированная система символьной математики
1.4.4. Программный комплекс i.
1.4.5. Пакет численного моделирования Vii i
1.5. Обзор формализмов спецификации ГС.
1.5.1. Объектноориентированное моделирование
1.5.2. Гибридные автоматы
1.5.3. Сети Петри
1.5.4. Агентное моделирование
1.6. Пример построения модели ГС в различных средах моделирования ВЫВОДЫ.
ГЛАВА 2. ЯЗЫК СПЕЦИФИКАЦИИ МОДЕЛЕЙ ГИБРИДНЫХ СИСТЕМ
2.1. Возможности языка спецификации ГС и средств его реализации
2.2. Спецификация непрерывного поведения.
2.2.1. Наследование непрерывного поведения режимам ГС в ИСМА
2.3. Спецификация дискретного поведения ГС.
2.3.1. Матрица переходов.
2.3.2. Событийное управление.
2.4. Анализ текстовой модели ГС
2.4.1. Лексический анализ.
2.4.2. Синтаксический анализ
2.4.3. Семантический анализ.
2.5. Карты поведения
2.5.1. Расширение карт поведения введением событийного управления
2.5.2. Семантическая эквивалентность текстовой и графической спецификации ГС
2.6. Алгоритмическое формирование правой части системы АДУ.
2.6.1. Практический пример.
2.6.2. Расширение языка спецификации.
2.6.3. Компьютерная модель системы.
2.7. Взаимодействие модели ГС с основной структурной схемой
2.8. Дополнительные возможности спецификации.
2.9. Архитектура интегрированного препроцессора ИСМА.
ВЫВОДЫ.
ГЛАВА 3. МАТЕМАТИЧЕСКОЕ И ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ СПЕЦИФИКАЦИИ ПРЯМЫХ ЗАДАЧ ХИМИЧЕСКОЙ КИНЕТИКИ
3.1. Основные термины и определения
3.2. Дифференциальные уравнения химической кинетики
3.3. Алгоритм формирования дифференциальных уравнений химической кинетики
3.4. Язык спецификации.
3.4.1. Синтаксис.
3.4.2. Семантика.
3.5. Спецификация сложных химических реакций.
3.5.1. Обратимые реакции.
3.5.2. Параллельные реакции
3.5.3. Последовательные реакции
3.6. Спецификация динамических химических реакций
3.7. Оптимизация расчетов правой части кинетических уравнений
3.8. Разработка языкового процессора на базе x.
3.8.1. Практическое применение.
3.8.2. Диагностика ошибок
ЗАКЛЮЧЕНИЕ
СПИСОК ИСПОЛЬЗОВАННЫХ ИСТОЧНИКОВ
- Київ+380960830922