Дипломы, курсовые, рефераты, контрольные...
Срочная помощь в учёбе

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

Диссертация: Программно-инструментальные средства автоматизации разработки многоролевых компьютерных тренажеров в системе переподготовки персонала промышленных предприятий
ДиссертацияПомощь в написанииУзнать стоимостьмоей работы

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

Содержание

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

Показать весь текст

Список литературы

  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. С. 34142.
  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. А. Введение в имитационное моделирование и язык СЛАМ И: Пер. с англ. М.: Мир, 1987. — 646с.
  56. Проблемы педагогической квалиметрии: Межвуз. сб. тр. / Под ред. В. И. Огорелкова. М., 1973, 1975. Вып. 1, 2- То же / Под ред. В. И. Левина. М., 1984.
  57. A.A., Михайлов А. П. Математическое моделирование: Идеи. Методы. Примеры. М.: Наука. Физматлит, 1997.-320 с.
  58. М. Введение в математическое моделирование -М.:Солон-Р, 2002.- 112с.
  59. В.В. Индивидуально-личностный подход в компьютерной технологии тестирования знаний // Аналитические обзоры по основным направлениям развития высшего образования. М. 1998. Вып. 3. С. 49.
  60. Состояние и развитие дистанционного образования в мире: Научно-аналитический доклад. М.: Магистр, 1997.
  61. Г. Ф., Убиенных А. Г. Сравнительный анализ методов представления знаний в базах знаний. Пенза, Пензенский государственный университет, 2002.
  62. Д. Руководство по экспертным системам: Пер. с англ. М.: Мир, 1989. 388 с.
  63. Э., Ваннер Г. Решение обыкновенных дифференциальных уравнений. Жесткие задачи и дифференциально-алгебраические задачи, М., Мир, 1999, — 685с.
  64. М.Б. Теория и практика конструирования педагогических тестов: учебное пособие. М.: Логос, 2002. 432с.
  65. C.B., Семенов И. О., Ручкин B.C. Структурный анализ систем: IDEF-технологии, М.: Финстат, 2001. 208с.
  66. Черных И.В. Simulink: среда создания инженерных приложений. М.: ДИАЛОГ-МИФИ, 2003. 496с.
  67. Ю.В., Жданов Т. С., Ландовский В. В. Компьютерное моделирование динамических систем // «Компьютерное моделирование 2003». Труды 4-й межд. научно-техн. конференции, С. Петербург, 24−28 июня 2003 г., с.373−380
  68. С.А., Покалев С. С. Логическое управление гибким интегрированным производством // Институт проблем управления. -Препринт. М., 1989. — 55с.
  69. 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.
  70. Andersson M. OmSim and Omola Tutorial and User’s Manual. Version 3.4., Department of Automatic Control, Lund Institute of Technology, 1995, pp.45.
  71. Ascher Uri M., Petzold Linda R. Computer Methods for Ordinary Differential Equations and Differential-Algebraic Equations. SIAM, Philadelphia, 1998.
  72. Avrutin V., Schutz M. Remarks to simulation and investigation of hybrid systems, // Гибридные системы. Model Vision Studium: Труды междунар. науч.-технич. конф. СПб.: Изд-во СПбГТУ, 2001. с.64−66.
  73. 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.
  74. Booch G., Jacobson I., Rumbaugh J. The Unified Modeling Language for Object-Oriented Development. Documentation Set Version 1.1. September 1997.
  75. 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.
  76. Brenan K.E., Campbell S.L., Petzold L.R. Numerical solution of initial-value problems in differential-algebraic equations. North-Holland, 1989, 195 p.
  77. Bruck D., Elmqvist H., Olsson H., Mattsson S.E. Dymola for multiengineering modeling and simulation. 2nd International Modelica Conference, March 18−19 2002, Proceedings, pp. 55−1 55−8.
  78. Bunus P., Fritzson P. Methods for Structural Analysis and Debugging of Modelica Models. 2nd International Modelica Conference, 2002, Proceeding, pp. 157−165.
  79. Darnell K., Mulpur A.K. Visual Simulation with Student VisSim, Brooks Cole Publishing, 1996.
  80. , B.A. & Priestley, H.A. Introduction to Lattice and Orders. Cambridge University Press. 1990.
  81. 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.
  82. Doignon, J-P., Falmagne J-C. (1999) Knowledge Spaces.
  83. 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.
  84. 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.
  85. 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.
  86. Harel D., Gery E. Executable Object Modeling with Statecharts / Computer, July 1997, pp. 31−42.
  87. 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.
  88. IMS Content Packaging Information Model, T. Anderson, M. McKell, A. Cooper and W. Young, C. Moffatt, Version 1.1.2, IMS, August 2001.
  89. IMS Question & Test Interoperability: Overview, C. Smythe, E. Shepherd, L. Brewer and S. Lay, Version 1.2, IMS, September 2001.
  90. Kesten Y., Pnueli A. Timed and hybrid statecharts and their textual representation. Lec. Notes in Comp. Sci. pp. 591−620, Springer-Verlag, 1992.
  91. 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.
  92. 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.
  93. Koppen, M. Extracting human expertise for constructing knowledge spaces: an algorithm. Journal of Mathematical Psychology, 37, 1993. 1−20.
  94. Ledin J. Simulation Engineering. CMP Books, Lawrence, Kansas, 2001.
  95. 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.
  96. Modelica A Unified Object-Oriented Language for Physical Systems Modeling. Language Specification. Version 2.0, July 10, 2002.
  97. Modelica A Unified Object-Oriented Language for Physical Systems Modeling. Tutorial. Version 2.0, July 10, 2002.
  98. 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.
Заполнить форму текущей работой

Заказал и сдал!