Синтаксически ориентированные и графические средства описания и анализа моделей гибридных систем тема диссертации и автореферата по ВАК РФ 05.13.11, кандидат технических наук Томилов, Иван Николаевич

• Томилов, Иван Николаевич
• кандидат технических наук
• 2010

Оглавление диссертации кандидат технических наук Томилов, Иван Николаевич

ВВЕДЕНИЕ.

ГЛАВА 1. КЛАСС ИССЛЕДУЕМЫХ ОБЪЕКТОВ.

1.1. Гибридные системы как обобщение классических динамических систем.

1.2. Факторы появления гибридного поведения.

1.3. Типы гибридного поведения.

1.4. Обзор современных программных комплексов компьютерного анализа ГС.

1.4.1. Программный комплекс Matlab/Simulink/Stateflow.

1.4.2. Интегрированная среда моделирования DYMOLA.

1.4.3. Интегрированная система символьной математики Maple.

1.4.4. Программный комплекс AnyLogic.

1.4.5. Пакет численного моделирования Model Vision Stadium.

1.5. Обзор формализмов спецификации ГС.

1.5.1. Объектно-ориентированное моделирование.

1.5.2. Гибридные автоматы.

1.5.3. Сети Петри.

1.5.4. Агентное моделирование.

1.6. Пример построения модели ГС в различных средах моделирования .46 ВЫВОДЫ.

ГЛАВА 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. Разработка языкового процессора на базе MS Excel.

3.8.1. Практическое применение.

3.8.2. Диагностика ошибок.

ВЫВОДЫ.

Введение диссертации (часть автореферата) на тему «Синтаксически ориентированные и графические средства описания и анализа моделей гибридных систем»

Гибридные системы (ГС) - это событийно-управляемые системы переменной структуры. ГС характеризуются как непрерывным, так и дискретным поведением. Смена непрерывных поведений управляется событиями, которые характеризуются логическими условиями.

Динамические системы (ДС) являются подклассом ГС и представляют собой однорежимные ГС. Они традиционно описываются обыкновенными дифференциальными (ОДУ) или алгебро-дифференциальными уравнениями (АДУ). Дискретное поведение ГС представляется в виде детерминированного конечного автомата. Анализ ГС требует специальных инструментов, которые совмещают в себе оба вида моделей в единый формализм, позволяющий описать смену поведений в различных областях фазового пространства.

Для детального и качественного анализа таких систем применяется метод компьютерного моделирования, который является фундаментальным научным направлением.

В настоящее время научное направление компьютерного моделирования ГС закончило этап становления. Разработан ряд отечественных (MVS, AnyLogic) и зарубежных (DYMOLA, Simulink/Stateflow, SCILAB/SCICOS) пакетов моделирования, каждый из которых реализует уникальный формализм ГС, имеющий свои достоинства и недостатки. Существование многообразия формализмов свидетельствует о недостаточной степени исследования вопросов спецификации ГС и подчеркивает актуальность.

Существующие универсальные подходы к спецификации ГС по сложности не уступают современным объектно-ориентированным языкам программирования, что ставит под вопрос целесообразность их проработки. Другие подходы предлагают единый инструментарий для работы с разными предметными областями, что может приводить к семантической неоднозначности использования предметных терминов. Поэтому любой формализм должен быть рассчитан в первую очередь на конечного пользователя с ограниченными понятиями и предметно-ориентированной направленностью. При этом подходы не должны противоречить друг другу и быть взаимно дополняющими на уровне спецификации и анализа.

Предметный пользователь при попытке применить методы компьютерного моделирования в своей практической деятельности сталкивается с серьезными трудностями при освоении и использовании современных программных средств, в частности при описании модели на языке используемой формальной схемы. Для работы с ними требуются знания, не относящиеся непосредственно к моделированию. Поэтому при создании инструментальных средств моделирования необходимо учитывать различный уровень подготовки потенциальных пользователей и специфику их практической деятельности. Язык спецификации должен использовать термины и сущности непосредственно из предметной области. Большинство современных языков моделирования используют термины объектно-ориентированного программирования, что приводит к необходимости освоения конечным пользователем новых знаний в программировании. Решение этой проблемы видится не в создании некоторого «универсального» способа описания модели, а в разработке и реализации нескольких альтернативных формализмов спецификации в рамках одного пакета для многовариантности и гибкости построения модели. Это позволяет расширить круг пользователей и снизить трудоемкость проектирования программной модели ГС.

Цель работы и задачи исследования. Цель работы заключается в разработке синтаксически ориентированных и графических средств описания и анализа моделей ГС.

В рамках диссертационной работы поставлены и решены следующие задачи.

• Экспериментальный анализ современных формализмов спецификации ГС и инструментальных средств их реализации.

• Разработка новых альтернативных формализмов спецификации ГС.

• Разработка предметно-ориентированного языка спецификации, использующего текстовое представление модели ГС с применением однозначных методов анализа с содержательной диагностикой синтаксиса и семантики.

• Разработка программных средств, реализующих новые формализмы спецификации ГС, обеспечивающих эффективное человеко-машинное взаимодействие, расширяющих возможности ПК ИСМА.

• Разработка предметно-ориентированных средств спецификации и анализа прямых задач химической кинетики.

• Унификация спецификации моделей ГС из различных предметных областей исследования динамики процессов.

Методы исследования. В диссертационной работе использовались теория систем, методы и понятия теории графов, теория множеств, теории языков и формальных грамматик. В экспериментальной части применялись методы синтаксического анализа и компиляции, методы структурного и объектно-ориентированного программирования, методы компьютерного моделирования.

Научная новизна диссертационной работы заключается в следующем.

• Выполнено расширение предметно-ориентированного языка спецификации ГС LISMA [69] введением событийного управления. Разработаны средства реализации нового языка в виде многопроходного языкового процессора.

• Разработаны формализмы текстовой и графической спецификации ГС, функционально дополняющие существующие формализмы. Показана семантическая эквивалентность текстового и графического представления ГС, что позволяет переходить от одной формы представления к другой.

• Разработаны методологические и лингвистические основы способов спецификации ГС, допускающих алгоритмическое формирование правых частей системы АДУ для задач повышенной размерности.

• Разработано лингвистическое обеспечение для решения прямых задач химической кинетики в виде языка спецификации LISMA+ и программных средств его реализации.

• Спроектирована архитектура интегрированного препроцессора ПК ИСМА-10.

Практическая ценность работы и реализация результатов.

Разработанные методы и алгоритмы реализованы в рамках новой версии пакета моделирования ИСМА-10 (Свидетельство официальной регистрации программы для ЭВМ № 2005610126. - М: Роспатент, 2005; Свидетельство об официальной регистрации программы для ЭВМ №2007611024. - М.: Роспатент, 2007).

Методика спецификации динамических систем средствами ИСМА использована в опытно-конструкторском бюро Сибирского научно-исследовательского института авиации им. С.А. Чаплыгина при расчете аэродинамических показателей летательных аппаратов. Кроме того, ПК ИСМА-10 используется в учебном процессе в Новосибирском государственном техническом университете автоматики и вычислительной техники и на электромеханическом факультете.

Результаты научных исследований использованы при выполнении проекта № РНП 2.1.2/4751 в рамках АВЦП «Развитие научного потенциала высшей школы (2009-2010 годы)»; НИР в рамках государственного контракта № П-297 по ФЦП «Научные и научно-педагогические кадры инновационной России» на 2009-2011 гг.

Достоверность научных положений и результатов подтверждается анализом существующих языковых и инструментальных средств решения поставленных задач, сравнением результатов решения ряда тестовых задач в

ПК ИСМА-10 и ведущих отечественных и мировых аналогах (MVS, AnyLogic, DYMOLA, Simulink/Stateflow). Кроме того, достоверность и эффективность обоснована на предметно ориентированном описании прямых задач химической кинетики.

Личный вклад. Все изложенные в диссертации алгоритмы и методики были разработаны, реализованы и экспериментально проанализированы автором лично. Программная реализация пакета моделирования ИСМА-10 проводилась коллективом исследователей при непосредственном участии автора. Автором модифицировано, дополнено и доведено до программной реализации лингвистическое обеспечение ПК ИСМА-10.

Апробация работы. Основные положения диссертации докладывались и обсуждались на следующих международных, всероссийских и региональных конференциях:

• всероссийской научной конференции молодых ученых «Наука Технологии Инновации» (Новосибирск, 2004);

• научной студенческой конференции «Дни науки НГТУ» (Новосибирск, 2004, 2006);

• втором международном форуме по стратегическим технологиям «IFOST-2007», (Ulaanbaatar, Mongolia, 2007);

• всероссийской научно-технической конференции «Научное программное обеспечение в образовании и научных исследованиях» (Санкт-Петербург, 2007, 2008);

• всероссийской научно-практической конференции «Имитационное моделирование. Теория и практика» (Санкт-Петербург, 2009).

Также промежуточные результаты работы докладывались на ежегодной отчетной научной сессии НГТУ, на научных семинарах ИВМиМГ СОР АН, ИСИ СОР АН.

Публикации. Всего по теме диссертации опубликованы 12 научных работ, в том числе: 3 статьи в ведущих рецензируемых научных журналах и изданиях, рекомендованных ВАК РФ; 5 статей в материалах международных, всероссийских конференций; 2 работы опубликованы в международных научно-технических журналах. 2 работы зарегистрированы в Роспатент.

Структура и объем диссертации. Работа состоит из введения, трех глав, заключения и приложений. Объем работы составляет 175 страниц основного текста, включая 83 рисунка и 9 таблиц. Список использованных источников содержит 95 наименований.

Заключение диссертации по теме «Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей», Томилов, Иван Николаевич

ВЫВОДЫ

Разработан язык спецификации прямых задач химической кинетики и средства его реализации в виде языкового процессора. Интеграция языкового процессора с языка химических реакций LISMA+ позволил не только моделировать взаимодействие подсистем различной природы, но и имеющие различные формы представления исходной модели. При этом никаких дополнительных требований, ограничений или доработок системы моделирования ИСМА не потребовалось.

Язык LISMA+ позволяет задавать системы химических уравнений и дополнительные данные в соответствии с представлениями предметной области. При этом среда моделирования ориентирована на конечного пользователя, предметного специалиста и не предъявляет к нему требований дополнительных знаний в области вычислительной математики, объектно-ориентированного программирования, машинной графики.

Предложенная инструментально-ориентированная методология исследования динамики процессов позволила:

- резко сократить непроизводительные затраты при переходе от модели на языке химических уравнений к системе кинетических уравнений;

- сосредоточиться на сущности исследуемых задач;

- применить существующий арсенал оригинальных эффективных численных методов библиотеки ИСМА для численного анализа системы ОДУ;

- сократить время получения результатов химической кинетики благодаря использованию инструментария интегрированной среды ИСМА;

- повысить качество интерпретации и документирования полученных результатов.

На примере прямых задач химической кинетики показана возможность расширения языка спецификации в конкретной области исследования динамики процессов без существенных изменений. Тем самым решена задача унификации программного обеспечения.

Разработанная математическая модель схемы химической реакции позволяет получать в результате работы языкового процессора внутреннее представление задачи в виде матрицы разности стехиометрических коэффициентов правой и левой части схемы реакции. Это позволяет без существенных доработок получать конкретную форму записи кинетических уравнений в соответствии с требованиями используемого процессора численного анализа.

Основное содержание главы сопровождается примерами, иллюстрирующими различные специфические аспекты спецификации и трансляции прямых задач химической кинетики.

ЗАКЛЮЧЕНИЕ

В диссертации рассмотрены важные вопросы, связанные с решением важной научно-практической задачи анализа ГС методом компьютерного моделирования в окружении инструментально-ориентированных средств ИСМА. Достижение поставленной цели и решение сформулированных задач обосновано на следующих основных результатах, которые имеют самостоятельное научно-практическое значение.

1. Выполнено расширение предметно-ориентированного языка спецификации ГС LISMA и средств его реализации в виде языкового процессора.

2. Разработаны и реализованы в рамках ПК ИСМА-10 формализмы спецификации ГС, дополняющие формализмы известных аналогов: сети Петри (Dymola), мультиагентное моделирование (AnyLogic), блочное моделирование (МВТУ, Matlab), гибридные автоматы (MVS) и имеющие свои функциональные преимущества, ориентированные на предметного пользователя. Показана семантическая эквивалентность текстового и графического формализмов.

3. Разработана и реализована методология спецификации ГС, допускающих частичное или полностью алгоритмическое задание правых частей АДУ. Решены практические задачи.

4. Разработано математическое, алгоритмическое и программное обеспечение для спецификации и трансляции для дальнейшего численного анализа прямых задач химической кинетики, как класса однорежимных ГС. Получен существенный технический эффект при решении прямых задач химической кинетики за счет использования предметно-ориентированного языка химических реакций LISMA+, позволяющего описывать задачу в соответствующей для предметного пользователя форме. На примере задач химической кинетики показана возможность обобщения языка относительно различных предметных областей исследования динамики процессов.

5. На классе специальных задач показана эффективность инструментально-ориентированного исследования средствами ИСМА-10 ГС разной природы.

6. На основе новых информационных технологий объектно-ориентированного программирования реализована иерархия программных модулей интегрированного препроцессора ИСМА-10. Прикладное значение программных продуктов заключается в повышении эффективности процессов обработки и подготовки данных в вычислительных машинах.

Список литературы диссертационного исследования кандидат технических наук Томилов, Иван Николаевич, 2010 год

1. Андронов А.А. Качественная теория динамических систем второго порядка / А.А. Андронов, Е.А. Леонтович, И.И. Гордон, А.Г. Майер. М.: Наука, 1966. -568 с.

2. Ахо А. В. Теория синтаксического анализа, перевода и компиляции / A.B. Ахо, Д. Ульман. М.: Мир, 1978. - 612 с.

3. Ахо А.В. Компиляторы: принципы, технологии, инструменты: Пер. с англ. /

4. A.В. Ахо, С. Рави, Д. Ульман. М.: Издательский дом «Вильяме», 2001. - 768 с.

5. Ахмеров P.P. Очерки по ОДУ Электронный ресурс. / P.P. Ахмеров, Б.Н. Садовский // Режим доступа:http://www.ict.nsc.ru/rus/textbooks/akhmerov/ode unicode/index.html.

6. Бенькович Е.С. Практическое моделирование динамических систем / Е.С. Бенькович, Ю.Б. Колесов, Ю.Б. Сениченков. СПб.: БХВ-Петербург, 2002. -464 с.

7. Боггс У. UML и Rational Rose / У. Боггс, М. Боггс. М.: Лори, 2000. - 582с.

8. Борщев А.В. Практическое агентное моделирование и его место в арсенале аналитика // Exponenta Pro, № 3-4, 2004. С. 38-47.

9. Бурков В.Н. Теория графов в управлении организационными системами /

10. B.Н. Бурков, А.Ю. Заложнев, Д.А. Новиков. -М.: Синтег, 2001. 124 с.

11. Бутырин О.В. Теория языков программирования и методы трансляции: учебное пособие / О.В. Бутырин. Иркутск: ИрГУПС, 2007. - 126 с.

12. Ю.Буч Г. Язык UML. Руководство пользователя: Пер. с англ / Г. Буч, Д. Рамбо, А. Джекобсон. М.: ДМК, 2000. - 432 с.

13. П.Ваннер Г. Решение обыкновенных дифференциальных уравнений: Жесткие и дифференциально-алгебраические задачи / Г. Ваннер, Э. Хайрер. — М.: Мир, 1999.-685 с.

14. Вирт Н. Алгоритмы + структуры данных = программы / Н. Вирт. М.: Мир, 1985.-446 с.

15. Вирт Н. Алгоритмы и структуры данных / Н. Вирт. М.: Мир, 1989. - 215с.

16. М.Волченская Т.В. Компьютерная математика: Часть 2. Теория графов: Учебное пособие / Т.В. Волченская, B.C. Князьков. — Пенза: Изд-во Пенз. гос. ун-та, 2002. 101 с.

17. Гинзбург С. Математическая теория контекстно-свободных языков / С. Гинзбург. М.: Мир, 1970. - 326 с.

18. Гома X. UML. Проектирование систем реального времени, параллельных распределенных приложений: Пер. с англ. / X. Гома. М.: ДМК Пресс, 2002. -704 с.

19. Грис Д. Конструирование компиляторов для цифровых вычислительных машин / Д. Грис. М.: Мир, 1975. - 544 с.

20. Грис Д. Наука программирования / Д. Грис. М.: Мир, 1984. - 358 с.

21. Дал У. СИМУЛА-67. Универсальный язык программирования / У. Дал, Б. Мюрхауг, К. Нюгород. М.: Мир, 1969. - 99 с.

22. Денисов Е.Т. Химическая кинетика: Учебник для вузов / Е.Т. Денисов, О.М. Саркисов, Г.И. Лихтенштейн. М.: Химия, 2000. - 568 с.

23. Домнин Л.Н. Элементы теории графов: Учебное пособие / Л.Н. Домнин. -Пенза: Изд-во ПГУ, 2007. 144 с.

24. Дьяконов В.П. MATLAB 6/6.1/6.5 + Simulink 4/5,Основы применения / В.П. Дьяконов. М.: СОЛОН-Пресс, 2004. - 762 с.

25. Емельянов Е.С. Системы автоматического управления с переменной структурой / Е.С. Емельянов. М.: Наука, 1967. 335 с.

26. Карпов Ю.Г. Имитационное моделирование систем. Введение в моделирование с AnyLogic 5 / Ю.Г. Карпов. СПб.: БХВ-Петербург, 2005. -400 с.

27. Карпов Ю.Г. Теория автоматов / Ю.Г. Карпов. СПб.: Питер, 2002. - 224 с.

28. Касьянов В.Н. Лекции по теории формальных языков, автоматов и сложных вычислителей: Учеб. пособ. / Новосиб. гос. ун-т / В.Н. Касьянов. — Новосибирск, 1995. — 112 с.

29. Кауфман В.Ш. Языки программирования. Концепции и принципы / В.Ш. Кауфман. М.: Радио и связь, 1993. - 432 с.

30. Киндлер Е. Языки моделирования: Пер. с чеш. / Е. Киндлер. М.: Энергоатомиздат, 1985. -389 с.

31. Коган В.Е. Физическая химия. Часть 2. Химическая кинетика: Учебное пособие / В.Е. Коган, Г.С. Зенин, Н.В. Пенкина. СПб.: СЗТУ, 2005. - 227 с.

32. Колесов Ю.Б. Моделирование систем. Объектно-ориентированный подход: Учебное пособие / Ю.Б. Колесов, Ю.Б. Сениченков. СПб.: БХВ-Петербург, 2006.- 192 с.

33. Колесов Ю.Б. Объектно-ориентированное моделирование сложных динамических систем. СПб.: Изд-во СПбГПУ, 2004. - 239 с.

34. Корнелик С.Е. Вычислительная гемодинамика: Учебное пособие / С.Е. Корнелик, A.M. Бубенчиков. Томск: Томский государственный университет, 2003.-412 с.

35. Льюис Ф. Теоретические вопросы проектирования компиляторов / Ф. Льюис, Д. Розенкранц, Р. Стирнз. М.: Мир, 1979. - 654 с.

36. Мартыненко Б.К. Языки и трансляции. СПб.: Издательство С.-Петербургского университета, 2004. 235 с.

37. Мельников В.Е. Применение сетей Петри / В.Е. Мельников, Д.И. Харитонов Электронный ресурс.: http://www.iacp.dvo.ru/lab 11/pab/pub 02.html

38. Новиков А.Е. Аппроксимация матрицы Якоби в (2,2)-методе решения жестких систем / А.Е. Новиков, Е.А. Новиков, Ю.В. Шорников // ДАН ВШ РФ. 2008. №1(10). С. 30-44.

39. Носов В.А. Комбинаторика и теория графов. Учебное пособие / В.А. Носов. М.: Изд-во МГИЭМ, 1999. - 116 с.

40. Парийская Е.Ю. Символьная верификация непрерывно-дискретных систем. Алгоритм обобщенного таймер-преобразования: автореф. дисс. канд. физ.-мат. наук / Е.Ю. Парийская, 2000. 17 с.

41. Парийская Е.Ю. Символьная верификация непрерывно-дискретных систем. Алгоритм обобщенного таймер-преобразования: дисс. канд. физ.-мат. наук / Е.Ю. Парийская, 2000. 159 с.

42. Пентус А.Е. Теория формальных языков: Учебное пособие / А.Е. Пентус, М.Р. Пентус. М.: Изд-во ЦПИ МГУ, 2004. - 80 с.

43. Пийль Е.И. Матричное представление и объединение сетей Петри. // Сб.: Управление ресурсами в интегральных сетях. -М.: Наука, 1991. -С. 72-82.

44. Питерсон Дж. Теория сетей Петри и моделирование систем: Пер с англ. -М.: Мир, 1984. 264 е., ил.

45. Прицкер А. Введение в имитационное моделирование и язык CJIAM II: Пер. с англ. М.: Мир, 1987. - 646с.

46. Рейуорд-Смит В.Дж. Теория формальных языков. Вводный курс. Пер. с англ. М.: Радио и связь, 1988. - 128с.: ил.

47. Сениченков Ю.Б. Основы теории и средства моделирования гибридных систем: дис. докт. техн. наук / Ю.Б. Сениченков. СПб., 2005. - 233 с.

48. Сениченков Ю.Б. Численное моделирование гибридных систем. СПб.: Изд-во Политехи, ун-та, 2004. - 206 с.

49. Серебряков В.А. Теория и реализация языков программирования / В.А. Серебряков, М.П. Галочкин, Д.Р. Гончар, М.Г. Фуругян. М.: МЗ-Пресс, 2003. -345 с.

50. Томилов И.Н. Математическое и программное обеспечение для решения прямых задач химической кинетики / И.Н. Томилов // Системы управления и информационные технологии, 2009. №3.2(37). - С. 286-290.

51. Томилов И.Н. Моделирование гибридных систем в ИСМА / И.Н. Томилов // Труды науч.-техн. конф. «Научное программное обеспечение в образовании и научных исследованиях». СПб.: Изд-во СПбГПУ, 2007. - С. 65-69.

52. Томилов И.Н. Спецификация дискретной составляющей моделей гибридных систем / И.Н. Томилов, М.С. Денисов, Д.Н. Достовалов // Информационные технологии моделирования и управления. Воронеж: Изд-во Научная книга, 2009.-№4(56).-С. 534-541.

53. Уткин В.И. Скользящие режимы в задачах оптимизации и управления. М.: Наука, 1981.-368 с.

54. Филиппов А.Ф. Дифференциальные уравнения с разрывной правой частью. -М.: Наука, 1985.-223 с.

55. Хайрер Э. Решение обыкновенных дифференциальных уравнений: Нежесткие задачи / Э. Хайрер, С. Нерсетт, Г. Ваннер. М.: Мир, 1990. - 512 с.

56. Хантер Р. Проектирование и конструирование компиляторов / Пер. с англ.: -М.: Финансы и статистика, 1984. 232 с.

57. Черных И.В. Simulink: среда создания инженерных приложений. М.: ДИАЛОГ-МИФИ, 2003. 496 с.

58. Шорников Ю.В. Визуально-лингвистическое моделирование билиарной системы / Ю.В. Шорников, И.Н. Томилов // Научный вестник НГТУ, 2008. -№4(33).-С. 53-61.

59. Шорников Ю.В. Визуально-лингвистическое моделирование гибридных систем // Научный вестник НГТУ. 2006. № 2(23). С. 65-72.

60. Шорников Ю.В. Импорт данных в программной среде ИСМА / Ю.В. Шорников, B.C. Дружинин // Свидетельство об официальной регистрации программы для ЭВМ № 50200600117. М.: ВНТИЦ, 2006.

61. Шорников Ю.В. Инструментальные средства машинного анализа / Ю.В. Шорников, B.C. Дружинин, Н.А. Макаров, К.В. Омельченко, И.Н. Томилов // Свидетельство об официальной регистрации программы для ЭВМ № 2005610126. М: Роспатент. - 2005.

62. Шорников Ю.В. Компьютерный анализ многомерных ГС явными методами в ИСМА / Ю.В. Шорников, И.Н. Томилов, М.С. Денисов // Проблемы информатики, 2009. №2(3). - С.33-41.

63. Шорников Ю.В. Моделирование сложных динамических и гибридных систем в ИСМА // Научный вестник НГТУ. 2007. № 1(26). С. 79-88.

64. Шорников Ю.В. Прикладное математическое, алгоритмическое и программное обеспечение компьютерного анализа гибридных систем: Дисс. . док. техн. наук. Новосибирск, 2009. - 292 с.

65. Шорников Ю.В. Программа языкового процессора с языка LISMA (Language of ISMA) / Ю.В. Шорников, И.Н. Томилов // Свидетельство об официальной регистрации программы для ЭВМ № 2007611024. М.: Роспатент. - 2007.

66. Шорников Ю.В. Спецификация и исследование гибридных систем высокой размерности средствами ИСМА / Ю.В. Шорников, И.Н. Томилов, М.С. Денисов, Д.Н. Достовалов // Научный вестник НГТУ, 2010. №1(38). - С.85-94.

67. Шорников Ю.В. Спецификация и численный анализ гибридных систем в ИСМА / Ю.В. Шорников и др. // Труды науч.-техн. конф. «Научное программное обеспечение в образовании и научных исследованиях». СПб.: Изд-во Политехи, ун-та. 2008. С. 138-144.

68. Шорников Ю.В. Теория и практика языковых процессоров: Учебное пособие. Новосибирск: Изд-во НГТУ, 2004. - 203 с.

69. Яненко Н.Н. Проблемы математической технологии / Н.Н. Яненко, В.И. Карначук, А.Н. Коновалов // Численные методы механики сплошных сред. -Новосибирск: ВЦ СО АН СССР. 1977. №3. С. 129-157. Т.8.

70. AnyLogic User's Manual. Электронный ресурс.: http://www.xitek.com.

71. Booch G. Object-Oriented Analysis and Design with Applications / G. Booch, J. Conallen, R.A. Maksimchuk. 2007. - 691 p.

72. Borshchev A Java engine for UML based hybrid state machines / A. Borshchev, Yu. Kolesov, Yu. Senichenkov / In Proceedings of Winter Simulation Conference, Orlando, California, USA, 2000. -p. 1888-1897.

73. Borshchev A. Distributed Simulation of Hybrid Systems with AnyLogic and HLA / A. Borshchev, Yu. Karpov, V. Kharitonov // Future Generation Computer Systems. 2002. P. 829-839.

74. Bruck D. Dymola for multi-engineering modeling and simulation / D. Bruck, H. Elmqvist, H. Olsson, S.E. Mattsson / 2nd International Modelica Conference, March 18-19 2002, Proceedings. pp. 551-558.

75. Cellier F. Combined discrete continuous system simulation by use of digital computers: techniques and tools // PhD thesis, ETH Zurich. Switzerland, 1979. — P. 144-156.

76. Esposito J. Accurate event detection for simulating hybrid systems. In: Hybrid Systems: Computation and Control (HSCC) / J. Esposito, V. Kumar, G.J. Pappas // Volume LNCS 2034. Springer-Verlag, 1998.

77. Esposito J.M. An Asynchronous Integration and Event Detection Algorithm for Simulating Multi-Agent Hybrid Systems / J.M. Esposito, V. Kumar //ACM

78. Transactions n on Modeling and Computer Simulation. 2004. №4. P. 336-358. -Vol.14.

79. Harel D., Gery E. Executable Object Modeling with Statecharts / D. Harel, E. Gery / Computer, July 1997. pp. 31-42.

80. Kesten Y. Timed and hybrid statecharts and their textual representation / Y. Kesten, A. Pnueli. Lec. Notes in Сотр. Sci. pp. 591-620, Springer-Verlag, 1992.

81. Kowalewski S. A Case Study in Toll-Aided Analysis of Discretely Controlled Continuous System: the Two Tank Problem / S. Kowalewski и др. // In Hybrid Systems V, Lecture Notes in Computer Science. Springer Verlag, 1998. P. 78-102.

82. Kulich D.M. Mathematical simulation of the oxygen ethane reaction / D.M. Kulich, J.E. Taylor//J. Chem. Kinet., 1975, 895p.

83. Ledin J. Simulation Engineering. CMP Books, Lawrence, Kansas, 2001.

84. Lee E.A. Operational Semantics of Hybrid Systems / E. A. Lee, H. Zhenq // Proc. of Hybrid Systems: Computational and Control (HSCC) LNCS 3414. Zurich, Switzerland, 2005.

85. Lee E.A. Overview of Ptolemy project Электронный ресурс. / Режим доступа: http://ptolemv.eecs.berkelev.edu/publications/papers/03/overview/overview03.pdf.

86. Leveson N. Safety Analysis Using Petri Nets / N. Leveson, J.L. Stolzy // IEEE Transactions on Software Engineering, SE-13 3. 1987. P. 386-397.

87. Maler O., Manna Z., Pnueli A. From timed to hybrid systems / O. Maler, Z. Manna, A. Pnueli / In Proceedings of the REX workshop "Real-Time: Theory in Practice", LNCS. Springer Verlag, New York, 1992.

88. Modelica A Unified Object-Oriented Language for Physical Systems Modeling // Language Specification. Version 2.0, 2002.

89. Modelica and the Modelica Association Электронный ресурс. / Режим доступа: http://www.modelica.org.

90. Mosterman P. An overview of hybrid simulation phenomena and their support by simulation packages // Hybrid Systems: Computation and Control, vol. 1569 of Lecture Notes in Computer Science. Springer Verlag. 1999. P. 165-177.

91. STATEFLOW for use with Simulink: User's guide. Version 1. Math Works, Inc, 1998.-477 p.