|
1) Разработаны и реализованы в рамках программного комплекса (ПК) ИСМА новые формализмы спецификации гибридных систем (ГС).
2) Разработана и реализована методология спецификации ГС, допускающих частичное или полностью алгоритмическое задание правых частей алгебро-дифференциальных уравнений (АДУ).
3) Разработано математическое, алгоритмическое и программное обеспечение спецификации и численного анализа прямых задач химической кинетики.
4) На основе новых информационных технологий объектно-ориентированного программирования реализована иерархия программных модулей интегрированного препроцессора ПК ИСМА.
|
|
Расписание
