101–117 СОВРЕМЕННЫЕ ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ УДК 519.876.5 Спецификация и инструментальный анализ гибридных систем* Ю. <...> Е-mail: d.dostovalov@corp.nstu.ru В работе рассматриваются дискретно-непрерывные (гибридные) системы и средства инструментального моделирования. <...> Режимное поведение таких систем описывается дифференциальными уравнениями в частных производных параболического типа с ограничениями определенного вида. <...> Предложена обобщенная классификация типов гибридного поведения с учетом причин возникновения событий и результатов смены режима. <...> В связи с необходимостью инструментального моделирования расширенного класса событийно-непрерывных систем на основе стандарта CSSL разработана новая архитектура программного комплекса. <...> Каркас модели включает оригинальное внутреннее представление расчетных моделей в терминологии гибридных систем, предоставляющее возможность обобщенной спецификации, хранения и обработки вычислительной задачи. <...> Создан язык текстовой спецификации компьютерных моделей, унаследованный от языка LISMA и дополненный конструкциями для записи уравнений в частных производных и краевых условий. <...> Выполнена классификация грамматики разработанного языка, показана однозначность порождающей грамматики. <...> Предложен гибридный подход к описанию и анализу задач системной динамики Дж. <...> Проведено моделирование производственно-сбытовой системы в терминах гибридных моделей. <...> Рассмотрена гибридная задача с уравнениями в частных производных, описывающая изменение концентрации озона в стратосфере. <...> Ключевые слова: гибридная система, пространственно-временная модель, архитектура программного обеспечения, унификация, символьная спецификация, язык, классификация грамматики, вычислительный эксперимент DOI: 10.17212/1814-1196-2015-4-101-117 * Статья получена 01 июля 2015 г. Работа поддержана грантом РФФИ 14-01-00047-а. <...> Режимное или непрерывное поведение называется состоянием ГС, а переключения режимов – дискретными действиями <...>