Программно-инструментальные средства автоматизации разработки многоролевых компьютерных тренажеров в системе переподготовки персонала промышленных предприятий тема диссертации и автореферата по ВАК РФ 05.13.06, кандидат технических наук Лукащук, Руслан Петрович

• Лукащук, Руслан Петрович
• кандидат технических наук
• 2009

Оглавление диссертации кандидат технических наук Лукащук, Руслан Петрович

ВВЕДЕНИЕ.

X. АНАЛИЗ МЕТОДОВ И МОДЕЛЕЙ КОНСТРУИРОВАНИЯ КОМПЬТЕРНЫХ ТРЕНАЖЕРОВ В СИСТЕМЕ ПЕРЕПОДГОТОВКИ

1.1. Проблемы кадрового обеспечения промышленных предприятий.

1.2. Педагогические принципы контроля и диагностики.

1.2.1. Функции и методы контроля.

1.2.2. Классификация педагогических принципов тестового контроля.

1.3. Основные принципы компьютерного тестового контроля.

1.3.1. Методические правила проектирования тестовых заданий.

1.3.2. Формы тестовых заданий.

1.4. Математическое моделирование процедур тестового контроля.

1.5. Методические основы разработки деловых игр.

1.5.1. Назначение деловых игр.

1.5.2. Методическая сущность деловой игры.

1.5.3. Разработка деловой игры.

1.5.4. Роль деловых игр в системе подготовки специалистов.

1.5.5. Характеристика основных имитационных методов активного обучения.

1.5.6. Оценка эффективности деловой игры как формы совершенствования подготовки и переподготовки специалистов.

Выводы по главе 1.

2. РАЗРАБОТКА МЕХАНИЗМОВ СОЗДАНИЯ СЦЕНАРИЯ ДЕЛОВОЙ ИГРЫ.

2.1. Принципы реализация деловой игры.

2.1.1. Формирование экземпляров игры.

2.1.2. Формирование структуры деловой игры.

2.1.3. Организация параллельных процессов в пределах одного экземпляра проигрывателя.

2.1.4. Поддержка и реализация функций администратора деловой игры.

2.2. Измерение сложности учебной информации.

2.3. Разработка энтропийной модели оценки сложности учебной информации.

2.4. Семантический граф фрагментов деловой игры.

Выводы по главе 2.

3. РАЗРАБОТКА ФОРМАЛЬНЫХ МЕТОДОВ ОПИСАНИЯ ПОЛЬЗОВАТЕЛЬСКИХ ПРОЦЕССОВ МНОГОРОЛЕВОЙ ДЕЛОВОЙ ИГРЫ.

3.1. Принципы конструирования фрагмента деловой игры.

3.2. Алгебра регулярных сетей сценария деловой игры.

3.3. Методики построения шкалы оценки знаний.

3.3.1. Принципы построения оценочной шкалы.

3.3.2. Формализованные модели классификации обученности.

3.3.3. Унифицированная дидактическая классификация участников деловой игры.

3.4. Компоненты инструментальной среды конструирования тренажеров . 123 Выводы по главе 3.

4. ПРОГРАММНАЯ РЕАЛИЗАЦИЯ МНОГОРОЛЕВЫХ ДЕЛОВЫХ ИГР.

4.1. Формирование каркаса деловой игры.

4.1.1. Фрагменты каркаса деловой игры.

4.1.2. Структуры данных каркаса деловой игры.

4.2. Редактор параметров каркаса.

4.3. Синхронизация действий пользователей.

4.4. Интерфейс взаимодействия фрагмента с проигрывателем.

Выводы по главе 4.

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

Деловая игра (ДИ), наряду с другими методами обучения, служит накоплению управленческого опыта, близкого к реальному. Игра, во-первых, достаточно реально имитирует существующую действительность; во-вторых, создает динамичные организационные модели; в-третьих, более интенсивно побуждает к решению намеченных целей. Деловые игры в области обучения управленческим навыкам направлены на получение более обширного опыта по принятию решений в учебных лабораториях.

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

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

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

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

Для достижения данной цели в работе решаются следующие задачи:

• системный анализ методов организации деловых игр в системе переподготовки персонала промышленных предприятий;

• разработка формальной схемы процессного описания пользовательского интерактива в сценарии многоролевых тренажеров;

• разработка моделей описания процессов конструирования многоролевых тренажеров;

• разработка механизмов синхронизации действий пользователей в процессе выполнения деловых игр;

• разработка программно-инструментальной среды конструирования многоролевых тренажеров.

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

Структура работы соответствует списку перечисленных задач, содержит описание разработанных методов, методик и алгоритмов.

В первой главе диссертации проводится системный анализ педагогических принципов, используемых в системе подготовки персонала промышленных предприятий. Рассмотрены проблемы кадрового обеспечения и общие тенденции развития системы непрерывного образования. Рассмотрены математические модели и методы моделирования процессов компьютерного тестового контроля. Показано, что для организации и проведения компьютерных деловых игр необходимо:

• подготовить руководство игры и группы обеспечения;

• подготовить методическое и техническое обеспечение;

• провести адаптацию деловой игры к соответствующему контингенту участников и условиям ее проведения;

• подготовить будущих участников игры, оценить уровень их готовности к игре;

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

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

Во второй главе диссертации разрабатываются формализованные методы описания пользовательских процессов ДИ. На основе сетей Петри строится модель описания интерактивного поведения пользователей при формировании ответа на фрагмент ДИ.

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

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

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

В четвертой главе диссертации приведено описание программно-инструментальной среды конструирования многоролевых компьютерных тренажеров. Разработанный механизм позволяет организовать упрощенное взаимодействие фрагмента с Проигрывателем и фрагментов между собой. Взаимодействие реализовано на основе технологии COM (Automation).

В заключении представлены основные результаты работы.

В приложении приводятся акты внедрения результатов диссертационной работы.

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

На защиту выносятся:

• механизмы обмена данными и синхронизации действий пользователя в едином сценарии деловой игры;

• обобщенные модели описания процессов конструирования и реализации сценария;

• описания интерактивного поведения пользователя на основе сетей Петри;

• программно-инструментальная среда конструирования многоролевых тренажеров.

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

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

Апробация работы

Содержание отдельных разделов и диссертации в целом было доложено и получило одобрение:

• на Российских, межрегиональных и международных научно-технических конференциях, симпозиумах и семинарах (2005-2009г.г.);

• на заседании кафедры АСУ МАДИ(ГТУ).

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

По результатам выполненных исследований опубликовано 10 печатных работ.

Диссертационная работа состоит из введения, четырех глав и заключения, опубликованных на 149 страницах машинописного текста, содержит 26 рисунков, 14 таблиц, список литературы из 113 наименований и приложения.

Заключение диссертации по теме «Автоматизация и управление технологическими процессами и производствами (по отраслям)», Лукащук, Руслан Петрович

Основные выводы и результаты работы

1. Проведен системный анализ методов и форм организации обучения и тестового контроля персонала промышленных предприятий и определен круг методов и моделей формализованного представления компонент системы конструирования многоролевых деловых игр.

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

3. Разработаны модели описания процессов конструирования типовых фрагментов деловой игры, а также их расширений на комбинированные формы интерактивного взаимодействия.

4. На основе теории конечных автоматов и сетей Петри построена формализованная модель реализации сценария деловой игры.

5. Разработаны механизмы конструирования и проигрывания сценария, а также требования к инструментальной среде формирования деловой игры.

6. Разработана программно-инструментальная среда конструирования интерактивных многоролевых компьютерных тренажеров.

7. Разработанный программный комплекс, методы и алгоритмы прошли апробацию и внедрены для практического применения в ряде промышленных предприятий, а также используются в учебном процессе МАДИ(ГТУ).

Список литературы диссертационного исследования кандидат технических наук Лукащук, Руслан Петрович, 2009 год

1. Аванесов B.C. Композиция тестовых заданий: учебн. пособие. - М.: Ассоциация инженеров-педагогов, 1996.

2. Аванесов B.C. Основы научной организации педагогического контроля высшей школы. М.: Исслед. центр, 1989 г.

3. Аванесов B.C. Тесты в социологическом исследовании. М.: Наука, 1982.

4. Астанин C.B. Мониторинг процесса обучения в системе открытого образования // Интеллектуальные САПР. Таганрог, 2001. №4.

5. Астанин C.B., Захаревич В.Г., Попов Д.И. Интеллектуальные средства обучения в Интернет // Сборник докладов Всероссийской научной конференции «Управление и информационные технологии». СПб., 2003. Т. 2. С. 278-282.

6. Астанин C.B., Калашникова Т.Г. Разработка индивидуальной модели поведения обучаемого в системе дистанционного образования // Перспективные информационные технологии и интеллектуальные системы. Таганрог, 2001. №5.

7. Астанин C.B., Курейчик В.М., Попов Д.И., Кузьмицкий A.A. Интеллектуальная образовательная среда дистанционного обучения // Новости искусственного интеллекта. М., 2003. № 1.03 (55). С.7-14.

8. Безкоровайный М.М., Костогрызов А.И., Львов В.М. Инструментально-моделирующий комплекс для оценки качества функционирования информационных систем «КОК». Руководство системного аналитика. М.: Синтег, 2000. — 116с.

9. Бенькович Е.С., Колесов Ю.Б., Сениченков Ю.Б. Практическое моделирование сложных динамических систем. С. Петербург, БХВ, 2001.-441с.

10. Бершадский A.M., Кревский И.Г. Дистанционное обучение форма или метод // Дистанционное образование. М., 1998. № 4.

11. Беспалько В.П. Теория учебника: Дидактический аспект. М.: Педагогика, 1988.

12. Бизли Д. Язык программирования PYTHON, Киев, ДиаСофт, 2000. -336 с.

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

14. Болотник JI.B., Соколова М.А. Тематическая модель структуры учебного материала // Проблемы педагогических измерений: Межвуз. сб. тр. / Под ред. В. И. Левина. М., 1984.

15. Буравлев А.И., Переверзев В.Ю. Выбор оптимальной длины педагогического теста и оценка надежности его результатов // Дистанционное образование. М., 1999. № 2. С. 27.

16. Буч Г. Объектно-ориентированный анализ и проектирование с примерами на С++, 3-е изд. / Пер. с англ. М.: «Издательство Бином», СПб.: «Невский диалект», 2001 - 560с.

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

18. Васильев А.Е., Леонтьев А.Г. Применение пакета Model Vision Studium для исследования мехатронных систем. // Гибридные системы. Model Vision Studium: Труды междунар. науч.-технич. конф. СПб.: Изд-во СПбГТУ , 2001. с.51-52.

19. Васильев В.И., Демидов А.Н., Малышев Н.Г., Тягунова Т.Н. Методологические правила конструирования компьютерных педагогических тестов. М.: Изд-во ВТУ, 2000.

20. Васильев В.И., Тягунова Т.Н. Основы культуры адаптивного тестирования. М.: Издательство ИКАР, 2003. 584 с.

21. Вендров A.M. CASE-технологии: Современные методы и средства проектирования информационных систем. М.: Финансы и статистика, 1998. -176с.

22. Вишняков Ю.М., Кодачигов В.И., Родзин С.И. Учебно-методическое пособие по курсам «Системы искусственного интеллекта», «Методы распознавания образов». Таганрог: Из-во ТРТУ, 1999.

23. Гаврилова Т.А. Червинская K.P. Извлечение и структурирование знаний для экспертных систем. М.: Радио и связь, 1992. 200 с.

24. Георгиев В.О. Модели представления знаний предметных областей диалоговых систем // Изв. АН СССР. Техн. киберн. 1993. №5.

25. Голец И.Н., Попов Д.И. Модель представления знаний в интеллектуальной системе дистанционного образования // Известия ТРТУ. Тематический выпуск. Интеллектуальные САПР. Таганрог, 2001. С. 332 -336.

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

27. Гуленко В.В. Формы мышления. // Соционика, ментология и психология личности, N 4, 2002 (http://socionicsl6.narod.ru/t/gul-402.html).

28. Гультяев А.К. MATLAB 5.3. Имитационное моделирование в среде Windows, М.: Корона принт, 2001. -400с.

29. Дмитриев А.К., Мальцев П.А. Основы теории построения и контроля сложных систем. JL: Энергоатомиздат, 1988.- 192 с.

30. Дьяконов В. Mathematica 4: учебный курс. СПб: Питер, 2002. - 656с

31. Емельянов С.В, Коровин С.К. Новые типы обратной связи. М.: Наука, 1997. 352 с.

32. Зегжда Д.П., Ивашко A.M. Основы безопасности информационных систем М.: Горячая линия Телеком, 2000. 452 с.

33. Калашникова Т.Г. Исследование и разработка методов и моделей правдоподобных рассуждений в интеллектуальных системах поддержки принятия решений. Диссертация на соискание ученой степени кандидата технических наук. Таганрог, 2001.

34. Ким Дж.-О., Мьюллер Ч.У., Клекка У.Р., Олдендерфор М.С., Блэшфилд Р. К. Факторный, дискриминантный и кластерный анализ. М.: Финансы и статистика, 1989.

35. Козлов О.С., Медведев B.C. Цифровое моделирование следящих приводов. // В кн.: Следящие приводы. В 3-х т. /Под ред. Б.К. Чемоданова. М.: Изд. МГТУ им. Н.Э. Баумана, 1999. Т. 1. С. 711-806.

36. Красильников В.В. Статистика объектов нечисловой природы. — Наб. Челны: Изд-во Камского политехнического института, 2001. 144 с.

37. Курочкин Е.П., Ко лесов Ю.Б. Технология программирования сложных систем управления / ВМНУЦ ВТИ ГКВТИ СССР. М.: 1990. -112с.

38. Липаев В.В. Надежность программных средств, М.: Синтег, 1998. -232с.

39. Липаев В.В. Системное проектирование сложных программных средств для информационных систем. М.: Синтег, 1999. — 224с.

40. Лукащук, Р.П. Алгоритм привязки участков протяженных объектов к предприятиям / Р.П. Лукащук, А.Б. Николаев, А.Г. Прядко // Методы прикладной информатики в автомобильно-дорожном комплексе: сб. науч. тр. МАДИ(ГТУ). -2007. -С. 155-159.

41. Лукащук, Р.П. Адаптивный алгоритм формирования тестовых заданий / Р.П. Лукащук, А.Б. Николаев, Л.Ф. Макаренко, П.С. Рожин // Вопросы теории и практики автоматизации в промышленности. Сб. научн. тр. МАДИ(ГТУ), 2007. С. 155-159.

42. Лукащук, Р.П. Переходные режимы в системах массового обслуживания / Р.П. Лукащук, A.M. Ивахненко, A.A. Шарков // Вопросы теории и практики автоматизации в промышленности: сб. науч. тр. МАДИ(ГТУ). -М., 2008. С.35-39.

43. Лукащук, Р.П. Система автоматизации оценивания показателей качества технологических процессов / Р.П. Лукащук, А.Б.Чубуков, С.С.Гоголин, A.B. Яшуков // Вестник МАДИ(ГТУ), ). М., вып. 4 (15), 2008. -С.108-112.

44. Лукащук, Р.П. Анализ методов формирования адаптивного контента / Р.П. Лукащук, Л.Ф. Макаренко, A.B. Николаев, П.С. Рожин // Инновационные методы автоматизации технологических процессов и производств: сб. науч. тр. МАДИ(ГТУ). -М., 2008. С. 40-46.

45. Лукащук, Р.П. Параметры и технологии адаптации в системах гипермедиа / Р.П. Лукащук, Л.Ф. Макаренко, A.B. Николаев, П.С. Рожин, // Инновационные методы автоматизации технологических процессов и производств: сб. науч. тр. МАДИ(ГТУ). -М., 2008. С. 47-54.

46. Лукащук, Р.П. Принципы построения инструментальной среды конструирования тестовых заданий / Р.П. Лукащук, В.В. Белоус // Методы и модели прикладной информатики: межвуз сб. науч. тр. МАДИ(ГТУ). -М., 2009.-С.17-19.

47. Майо Д. С#: Искусство программирования. Энциклопедия программиста: Пер. с англ. СПб.: «ДиаСофтЮП», 2002. 656 с.

48. Назаров А.И., Сергеев A.B. Система дистанционного контроля знаний в сетях Интернет и Интранет // Дистанционное образование. М. 1999. № 1. С. И.

49. Никифорова A.M., Попов Д.И., Калашникова Т.Г. Дистанционное образование: тестирование и оценка знаний // VI Междунар. науч.техн. конф. студентов и аспирантов «Радиоэлектроника, электротехника и энергетика»: Тез. докл. В 3-х т. М., 2000. С. 341^42.

50. Оганесян А.Г. Опыт компьютерного контроля знаний// Дистанционное образование. М. 1999. № 6. С. 30.

51. Орлов А.И. Заводская лаборатория. 1995, Т. 61, № 3.

52. Основы открытого образования / A.A. Андреев, C.JI. Каплан и др.; Отв. ред. В.И. Солдаткин. Т.1. Российский государственный институт открытого образования. М.: НИИЦ РАО, 2002. 676 с.

53. Переверзев В.Ю. Критериально-ориентированное педагогическое тестирование: учебн. пособие. -М.: Логос, 2003.

54. Петров Г.Н. Использование пакета "Model Vision" для создания компьютерных лабораторных работ. // Гибридные системы. Model Vision Studium: Труды междунар. науч.-технич. конф. СПб.: Изд-во СПбГТУ , 2001. с.53-54.

55. Подчуфаров Ю.Б. Физико-математическое моделирование систем управления и комплексов / Под ред. А.Г.Шипунова. — М.: Изд-во физико-математической литературы, 2002. 168с.

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

57. Проблемы педагогической квалиметрии: Межвуз. сб. тр. / Под ред. В.И. Огорелкова. М., 1973, 1975. Вып. 1, 2; То же / Под ред. В.И. Левина. М., 1984.

58. Самарский A.A., Михайлов А.П. Математическое моделирование: Идеи. Методы. Примеры. М.: Наука. Физматлит, 1997.-320 с.

59. Семененко М. Введение в математическое моделирование -М.:Солон-Р, 2002.- 112с.

60. Семенов В.В. Индивидуально-личностный подход в компьютерной технологии тестирования знаний // Аналитические обзоры по основным направлениям развития высшего образования. М. 1998. Вып. 3. С. 49.

61. Состояние и развитие дистанционного образования в мире: Научно-аналитический доклад. М.: Магистр, 1997.

62. Убиенных Г.Ф., Убиенных А.Г. Сравнительный анализ методов представления знаний в базах знаний. Пенза, Пензенский государственный университет, 2002.

63. Уотермен Д. Руководство по экспертным системам: Пер. с англ. М.: Мир, 1989. 388 с.

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

65. Челышкова М.Б. Теория и практика конструирования педагогических тестов: учебное пособие. М.: Логос, 2002. 432с.

66. Черемных C.B., Семенов И.О., Ручкин B.C. Структурный анализ систем: IDEF-технологии, М.: Финстат, 2001. 208с.

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

68. Шорников Ю.В., Жданов Т.С., Ландовский В.В. Компьютерное моделирование динамических систем // «Компьютерное моделирование 2003». Труды 4-й межд. научно-техн. конференции, С.Петербург, 24-28 июня 2003г., с.373-380

69. Юдицкий С.А., Покалев С.С. Логическое управление гибким интегрированным производством // Институт проблем управления. -Препринт. М., 1989. - 55с.

70. Andersson M. Omola An Object-Oriented Language for Model Representation, in: 1989 IEEE Control Systems Society Workshop on Computer-Aided Control System Design (CACSD), Tampa, Florida, 1989.

71. Andersson M. OmSim and Omola Tutorial and User's Manual. Version 3.4., Department of Automatic Control, Lund Institute of Technology, 1995, pp.45.

72. Ascher Uri M., Petzold Linda R. Computer Methods for Ordinary Differential Equations and Differential-Algebraic Equations. SIAM, Philadelphia, 1998.

73. Avrutin V., Schutz M. Remarks to simulation and investigation of hybrid systems, // Гибридные системы. Model Vision Studium: Труды междунар. науч.-технич. конф. СПб.: Изд-во СПбГТУ , 2001. с.64-66.

74. Baleani М., Ferrari F., Sangiovanni-Vincentelli A.L., and Turchetti С. HW/SW Codesign of an Engine Management System. In Proc. Design Automation and Test in Europe, DATE'00, Paris, France, March 2000, pp.263-270.

75. Booch G., Jacobson I., Rumbaugh J. The Unified Modeling Language for Object-Oriented Development. Documentation Set Version 1.1. September 1997.

76. Borshchev A., Karpov Yu., Kharitonov V. Distributed Simulation of Hybrid Systems with AnyLogic and HLA // Future Generation Computer Systems v. 18 (2002), pp.829-839.

77. Brenan K.E., Campbell S.L., Petzold L.R. Numerical solution of initial-value problems in differential-algebraic equations. North-Holland, 1989, 195 p.

78. Bruck D., Elmqvist H., Olsson H., Mattsson S.E. Dymola for multiengineering modeling and simulation. 2nd International Modélica Conference, March 18-19 2002, Proceedings, pp. 55-1 55-8.

79. Bunus P., Fritzson P. Methods for Structural Analysis and Debugging of Modelica Models. 2nd International Modelica Conference, 2002, Proceeding, pp. 157-165.

80. Darnell K., Mulpur A.K. Visual Simulation with Student VisSim, Brooks Cole Publishing, 1996.

81. Davey, B.A. & Priestley, H.A. Introduction to Lattice and Orders. Cambridge University Press. 1990.

82. Dmitry Popov, Alexander Khadzhinov. "Safety Subsystem of Intelligent Software Complex for Distance Learning" // Proceedings of 2002 IEEE International Conference on Artificial Intelligence Systems (ICAIS 2002), IEEE Inc. 2002. P.464 465.

83. Doignon, J-P., Falmagne J-C. (1999) Knowledge Spaces.

84. Esposit J.M., Kumar V., Pappas G.I. Accurate event detection for simulating hybrid systems. Hybrid Systems: Computation and Control, 4th International Workshop, HSCC 2001, Rome, Italy, March 28-30, 2001, Proceedings, pp.204-217.

85. Ferreira J.A., Estima de Oliveira J.P. Modelling hybrid systems using statecharts and Modelica. . In Proc. of the 7th IEEE International Conference on Emerging Technologies and Factory Automation, Barcelona, Spain, 18-21 Oct., 1999, p.1063.

86. Fritzson P., Gunnarson J., Jirstrand M. MathModelica an extensible modeling and simulation environment with integrated graphics and literate programming/ 2nd International Modelica Conference, March 18-19 2002, Proceedings, pp. 41-54.

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

88. Hyunok Oh, Soonhoi Ha. Hardware-software cosynthesis of multi-mode multi-task embedded systems with real-time constraints. In Proc. International Symposium on Hardware/Software Codesign, CODES'02, Estes Park, Colorado, May 2002, pp. 133-138.

89. IMS Content Packaging Information Model, T.Anderson, M.McKell, A.Cooper and W.Young, C.Moffatt, Version 1.1.2, IMS, August 2001.

90. IMS Question & Test Interoperability: Overview, C.Smythe, E.Shepherd, L.Brewer and S.Lay, Version 1.2, IMS, September 2001.

91. Kesten Y., Pnueli A. Timed and hybrid statecharts and their textual representation. Lec. Notes in Comp. Sci. pp. 591-620, Springer-Verlag, 1992.

92. Khartsiev V.E., Shpunt V.K., Levchenko V.F., Kolesov Yu., Senichenkov Yu., Bogotushin Yu. The modeling of synergetic interaction in Theoretical biology. / Tools for mathematical modelling. St. Petersburg, 1999, p.71-73.

93. Kolesov Y., Senichenkov Y. A composition of open hybrid automata. Proceedings of IEEE Region 8 International Conference «Computer as a tool», Ljubljana, Slovenia, Sep.22-24,. 2003, v.2, pp. 327-331.

94. Koppen, M. Extracting human expertise for constructing knowledge spaces: an algorithm. Journal of Mathematical Psychology, 37, 1993. 1-20.

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

96. Mattsson S.E., Elmqvist H., Otter M., Olsson H. Initialization of hybrid differential-algebraic equations in Modelica 2.0. 2nd International Modelica Conference, March 18-19 2002, Proceedings, pp. 9-15.

97. Modelica A Unified Object-Oriented Language for Physical Systems Modeling. Language Specification. Version 2.0, July 10, 2002.

98. Modelica A Unified Object-Oriented Language for Physical Systems Modeling. Tutorial. Version 2.0, July 10, 2002.

99. Otter M., Elmqvist H., Mattsson S.E. Hybrid modeling in Modelica based on the synchronous data flow principle. In Proceeding of the 1999 IEEE Symposium on Computer-Aided Control System Design, CACSD'99, Hawai,USA, August 1999.