Координація в асинхронних обчислювальних мережах: автореферат дисертації на здобуття наукового ступеня кандидата технічних наук
Loading...
Date
2011
Authors
Гломозда, Дмитро
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Автореферат дисертації на здобуття наукового ступеня кандидата технічних наук зі
спеціальності 01.05.03 - математичне та програмне забезпечення
обчислювальних машин і систем - Національний університет "Києво-
Могилянська академія", Київ, 2011.
Дисертаційна робота присвячена створенню моделі програмної системи
підтримки асинхронної дистанційної взаємодії в мережі Інтернет (ПСПАДВІ)
та побудові на її основі діючого прототипу ПСПАДВІ. Модель ПСПАДВІ призначена для дослідження таких систем та
формулювання рекомендацій щодо принципів їх створення та відлагодження.
Побудова такої моделі є актуальною задачею. Запропоновано формальну
модель ПСПАДВІ мовою мереж Петрі на основі протоколу рівневого контролю
та доведено її придатність для моделювання ПСПАДВІ із довільною кількістю
користувачів, сеансів та ресурсів. Сформульовано задачу верифікації
координаційного механізму ПСПАДВІ та показано, що вона належить класу co-
NP-повних задач. Доведено тотальність алгоритму координації дій учасників
спільної роботи в разі виникнення помилок. На основі запропонованої моделі
створено прототип ПСПАДВІ із використанням агентних технологій та
програмну систему підтримки "Віртуального університету" з вбудованим
координаційним механізмом, який реалізує принципи рівневого контролю.
Ключові слова: агентні технології, моделювання, мережі Петрі, рівневий
контроль, тотальні алгоритми, координаційний механізм, система керування
змістом, система керування навчанням.
Автореферат диссертации на соискание научной степени кандидата технических наук по специальности 01.05.03 — математическое и программное обеспечение вычислительных машин и систем — Национальный университет "Киево-Могилянская академия", Киев, 2011. Диссертационная работа посвящена созданию модели программной системы поддержки асинхронного дистанционного взаимодействия в сети Интернет (далее — ПСПАДВИ) и построению на ее основе действующего прототипа ПСПАДВИ. Модель ПСПАДВИ предназначена для исследования таких систем и формулирования рекомендаций касательно принципов их создания и отладки. Построение такой модели является актуальной задачей. В диссертации рассмотрено асинхронное дистанционное взаимодействие в сети Интернет как важное направление развития коммуникационных технологий. Рассмотрены существующие модели и инструментальные средства создания ПСПАДВИ. Проанализированы различные подходы к организации совместной работы удаленных пользователей и согласования их доступа к общим ресурсам. Отдельное внимание уделено модели коллаборативной системы, предложенной Х.-Х. Гарсиа-Луна-Ачевесом и Х.-П. Доммелем. Рассмотрены сферы, где асинхронное дистанционное взаимодействие играет значительную роль. Рассмотрена парадигма уровневого контроля, предназначенная для координирования доступа пользователей к общим мультимедийным ресурсам с учетом их ролей и прав доступа. На основании этих исследований сформулирована стратегия создания универсальной модели ПСПАДВИ. В качестве средства моделирования избраны сети Петри, давно зарекомендовавшие себя как надежный, гибкий и удобный инструмент моделирования комплексных распределенных и недетерминированных систем. В работе сделан обзор инструментальных средств поддержки асинхронного дистанционного взаимодействия в сети Интернет. Рассмотрены две популярные программные платформы организации электронного обучения Moodle и ILIAS. На примере системы обучения IDEAL рассмотрены мультиагентные системы и их использование для создания систем поддержки дистанционного взаимодействия. Также в работе приведена общая характеристика агентных технологий, рассмотрена среда разработки программных агентов JADE и обоснован его выбор в качестве платформы для создания прототипа программной системы поддержки дистанционного взаимодействия с элементами интеллектуальности на основании предложенной в диссертационной работе модели. Предложена формальная модель ПСПАДВИ на языке сетей Петри на основе протокола уровневого контроля, представляющая собой модификацию модели ПСПАДВИ для одного пользователя, одного сеанса и одного уровня, предложенной Н. Н. Глибовцом. Описаны структура и функции координационного механизма такой программной системы. Доказано, что полученная сетевая модель безопасна, активна и обратима. Методом математической индукции доказана пригодность модели для моделирования ПСПАДВИ с произвольным количеством пользователей, сеансов и ресурсов. Впервые сформулирована задача верификации координационного механизма ПСПАДВИ. Доказано ее подобие задаче верификации программных агентов. Доказана ее принадлежность классу co-NP-полных задач. Смоделирована работа координационного механизма в случае возникновения ошибки. Доказана тотальность алгоритма координации действий участников совместной работы в случае возникновения ошибки. На основе предложенной модели создан прототип ПСПАДВИ с использованием агентных технологий. Описана разработанная автором диссертационной работы многоагентная система Collabsys, агенты которой моделируют поведение элементов коллаборативной системы и координируют свои действия согласно принципам уровневого контроля. Создана программная система поддержки "Виртуального университета" со встроенным координационным механизмом, реализующим принципы уровневого контроля. Программная система объединяет в единое целое систему управления обучением, систему управления содержанием и систему обеспечения координации их работы. В качестве первой используется платформа Moodle, второй — автоматизированная система управления учебным заведением MAMS, третьей — разработанная автором диссертации EPCS (Education Process Coordination System — система координации процесса обучения), координирующая работу пользователей систем Moodle и MAMS с целью предотвращения возникновения конфликтных ситуаций. Приведено подробное описание всех элементов и процесса их интеграции в единую систему. Работоспособность системы подтверждена экспериментально. Теоретическая ценность диссертационной работы состоит в применении абстрактной модели коллаборативной среды Х.-П. Доммеля и Х. Х. Гарсиа-Луна-Ачевеса и автоматных и сетевых моделей составляющих этой системы, построенных Н. Н. Глибовцом, для создания обобщенной модели ПСПАДВИ, способной обеспечить согласование действий своих пользователей, а также надежное и предсказуемое реагирование на внештатные ситуации. Практическая значимость исследования заключается в том, что предложенная в работе модель реализована и апробирована на реально действующей системе управления учебным заведением и системе управления обучением университета "Киево-Могилянская академия". Предложенная модель, программный прототип и связка системы управления содержанием и системы управления обучением могут быть использованы как базовые для реализации государственной программы развития дистанционного образования в Украине. Ключевые слова: агентные технологии, моделирование, сети Петри, уровневый контроль, тотальные алгоритмы, координационный механизм, система управления содержанием, система управления обучением.
Автореферат диссертации на соискание научной степени кандидата технических наук по специальности 01.05.03 — математическое и программное обеспечение вычислительных машин и систем — Национальный университет "Киево-Могилянская академия", Киев, 2011. Диссертационная работа посвящена созданию модели программной системы поддержки асинхронного дистанционного взаимодействия в сети Интернет (далее — ПСПАДВИ) и построению на ее основе действующего прототипа ПСПАДВИ. Модель ПСПАДВИ предназначена для исследования таких систем и формулирования рекомендаций касательно принципов их создания и отладки. Построение такой модели является актуальной задачей. В диссертации рассмотрено асинхронное дистанционное взаимодействие в сети Интернет как важное направление развития коммуникационных технологий. Рассмотрены существующие модели и инструментальные средства создания ПСПАДВИ. Проанализированы различные подходы к организации совместной работы удаленных пользователей и согласования их доступа к общим ресурсам. Отдельное внимание уделено модели коллаборативной системы, предложенной Х.-Х. Гарсиа-Луна-Ачевесом и Х.-П. Доммелем. Рассмотрены сферы, где асинхронное дистанционное взаимодействие играет значительную роль. Рассмотрена парадигма уровневого контроля, предназначенная для координирования доступа пользователей к общим мультимедийным ресурсам с учетом их ролей и прав доступа. На основании этих исследований сформулирована стратегия создания универсальной модели ПСПАДВИ. В качестве средства моделирования избраны сети Петри, давно зарекомендовавшие себя как надежный, гибкий и удобный инструмент моделирования комплексных распределенных и недетерминированных систем. В работе сделан обзор инструментальных средств поддержки асинхронного дистанционного взаимодействия в сети Интернет. Рассмотрены две популярные программные платформы организации электронного обучения Moodle и ILIAS. На примере системы обучения IDEAL рассмотрены мультиагентные системы и их использование для создания систем поддержки дистанционного взаимодействия. Также в работе приведена общая характеристика агентных технологий, рассмотрена среда разработки программных агентов JADE и обоснован его выбор в качестве платформы для создания прототипа программной системы поддержки дистанционного взаимодействия с элементами интеллектуальности на основании предложенной в диссертационной работе модели. Предложена формальная модель ПСПАДВИ на языке сетей Петри на основе протокола уровневого контроля, представляющая собой модификацию модели ПСПАДВИ для одного пользователя, одного сеанса и одного уровня, предложенной Н. Н. Глибовцом. Описаны структура и функции координационного механизма такой программной системы. Доказано, что полученная сетевая модель безопасна, активна и обратима. Методом математической индукции доказана пригодность модели для моделирования ПСПАДВИ с произвольным количеством пользователей, сеансов и ресурсов. Впервые сформулирована задача верификации координационного механизма ПСПАДВИ. Доказано ее подобие задаче верификации программных агентов. Доказана ее принадлежность классу co-NP-полных задач. Смоделирована работа координационного механизма в случае возникновения ошибки. Доказана тотальность алгоритма координации действий участников совместной работы в случае возникновения ошибки. На основе предложенной модели создан прототип ПСПАДВИ с использованием агентных технологий. Описана разработанная автором диссертационной работы многоагентная система Collabsys, агенты которой моделируют поведение элементов коллаборативной системы и координируют свои действия согласно принципам уровневого контроля. Создана программная система поддержки "Виртуального университета" со встроенным координационным механизмом, реализующим принципы уровневого контроля. Программная система объединяет в единое целое систему управления обучением, систему управления содержанием и систему обеспечения координации их работы. В качестве первой используется платформа Moodle, второй — автоматизированная система управления учебным заведением MAMS, третьей — разработанная автором диссертации EPCS (Education Process Coordination System — система координации процесса обучения), координирующая работу пользователей систем Moodle и MAMS с целью предотвращения возникновения конфликтных ситуаций. Приведено подробное описание всех элементов и процесса их интеграции в единую систему. Работоспособность системы подтверждена экспериментально. Теоретическая ценность диссертационной работы состоит в применении абстрактной модели коллаборативной среды Х.-П. Доммеля и Х. Х. Гарсиа-Луна-Ачевеса и автоматных и сетевых моделей составляющих этой системы, построенных Н. Н. Глибовцом, для создания обобщенной модели ПСПАДВИ, способной обеспечить согласование действий своих пользователей, а также надежное и предсказуемое реагирование на внештатные ситуации. Практическая значимость исследования заключается в том, что предложенная в работе модель реализована и апробирована на реально действующей системе управления учебным заведением и системе управления обучением университета "Киево-Могилянская академия". Предложенная модель, программный прототип и связка системы управления содержанием и системы управления обучением могут быть использованы как базовые для реализации государственной программы развития дистанционного образования в Украине. Ключевые слова: агентные технологии, моделирование, сети Петри, уровневый контроль, тотальные алгоритмы, координационный механизм, система управления содержанием, система управления обучением.
Description
Thesis for a candidate’s degree in technical sciences. Specialty 01.05.03 -
mathematical and software support of computing machines and systems - National
university of "Kyiv-Mohyla Academy", Kyiv-2010.
The thesis is devoted to creation of model of program system to support
asynchronous distant collaboration in Internet scope (PSSADCI) and building a
working prototype of PSSADCI on its base.
The PSSADCI model is intended to help research such systems and enunciate
recommendations concerning principles of their design and debugging. The creation
of such a model is of current interest. The formal Petri net model of PSSADCI based
on the floor control protocol is offered in the thesis and her applicability to model
PSPADCIs consisting of any number of users, sessions and resources is proved. The
problem of verification of PSPADCI’s coordination mechanism is stated and its
membership in the class of co-NP-complete problems is shown. Totality of the
algorithm of coordinating joint work participants’ actions in case of error is proved.
The PSPADCI prototype is created based on the presented model using agent
technologies. "Virtual University" support software system with built-in coordination
mechanism implementing floor control principles is created.
Keywords
агентні технології, моделювання, мережі Петрі, рівневий
контроль, тотальні алгоритми, координаційний механізм, система керування
змістом, система керування навчанням, автореферат
дисертації, agent technologies, modelling, Petri nets, floor control, total algorithms, coordination mechanism, content management system, learning management system, thesis abstract, агентные технологии, моделирование, сети Петри, уровневый контроль, тотальные алгоритмы, координационный механизм, система управления содержанием, система управления обучением, автореферат диссертации
Citation
Гломозда Дмитро Костянтинович. Координація в асинхронних обчислювальних мережах : автореферат дисертації на здобуття наукового ступеня кандидата технічних наук / Д. К. Гломозда ; Київ. нац. ун-т ім. Т. Шевченка. - Київ : [б. в.], 2011. - 19 с.