Координація в асинхронних обчислювальних мережах: автореферат дисертації на здобуття наукового ступеня кандидата технічних наук

Simple item page
dc.contributor.advisorГлибовець, Микола
dc.contributor.authorГломозда, Дмитро
dc.date.accessioned2017-01-24T12:33:05Z
dc.date.available2017-01-24T12:33:05Z
dc.date.issued2011
dc.descriptionThesis 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.en_US
dc.description.abstractАвтореферат дисертації на здобуття наукового ступеня кандидата технічних наук зі спеціальності 01.05.03 - математичне та програмне забезпечення обчислювальних машин і систем - Національний університет "Києво- Могилянська академія", Київ, 2011. Дисертаційна робота присвячена створенню моделі програмної системи підтримки асинхронної дистанційної взаємодії в мережі Інтернет (ПСПАДВІ) та побудові на її основі діючого прототипу ПСПАДВІ. Модель ПСПАДВІ призначена для дослідження таких систем та формулювання рекомендацій щодо принципів їх створення та відлагодження. Побудова такої моделі є актуальною задачею. Запропоновано формальну модель ПСПАДВІ мовою мереж Петрі на основі протоколу рівневого контролю та доведено її придатність для моделювання ПСПАДВІ із довільною кількістю користувачів, сеансів та ресурсів. Сформульовано задачу верифікації координаційного механізму ПСПАДВІ та показано, що вона належить класу co- NP-повних задач. Доведено тотальність алгоритму координації дій учасників спільної роботи в разі виникнення помилок. На основі запропонованої моделі створено прототип ПСПАДВІ із використанням агентних технологій та програмну систему підтримки "Віртуального університету" з вбудованим координаційним механізмом, який реалізує принципи рівневого контролю. Ключові слова: агентні технології, моделювання, мережі Петрі, рівневий контроль, тотальні алгоритми, координаційний механізм, система керування змістом, система керування навчанням.uk_UA
dc.description.abstractАвтореферат диссертации на соискание научной степени кандидата технических наук по специальности 01.05.03 — математическое и программное обеспечение вычислительных машин и систем — Национальный университет "Киево-Могилянская академия", Киев, 2011. Диссертационная работа посвящена созданию модели программной системы поддержки асинхронного дистанционного взаимодействия в сети Интернет (далее — ПСПАДВИ) и построению на ее основе действующего прототипа ПСПАДВИ. Модель ПСПАДВИ предназначена для исследования таких систем и формулирования рекомендаций касательно принципов их создания и отладки. Построение такой модели является актуальной задачей. В диссертации рассмотрено асинхронное дистанционное взаимодействие в сети Интернет как важное направление развития коммуникационных технологий. Рассмотрены существующие модели и инструментальные средства создания ПСПАДВИ. Проанализированы различные подходы к организации совместной работы удаленных пользователей и согласования их доступа к общим ресурсам. Отдельное внимание уделено модели коллаборативной системы, предложенной Х.-Х. Гарсиа-Луна-Ачевесом и Х.-П. Доммелем. Рассмотрены сферы, где асинхронное дистанционное взаимодействие играет значительную роль. Рассмотрена парадигма уровневого контроля, предназначенная для координирования доступа пользователей к общим мультимедийным ресурсам с учетом их ролей и прав доступа. На основании этих исследований сформулирована стратегия создания универсальной модели ПСПАДВИ. В качестве средства моделирования избраны сети Петри, давно зарекомендовавшие себя как надежный, гибкий и удобный инструмент моделирования комплексных распределенных и недетерминированных систем. В работе сделан обзор инструментальных средств поддержки асинхронного дистанционного взаимодействия в сети Интернет. Рассмотрены две популярные программные платформы организации электронного обучения Moodle и ILIAS. На примере системы обучения IDEAL рассмотрены мультиагентные системы и их использование для создания систем поддержки дистанционного взаимодействия. Также в работе приведена общая характеристика агентных технологий, рассмотрена среда разработки программных агентов JADE и обоснован его выбор в качестве платформы для создания прототипа программной системы поддержки дистанционного взаимодействия с элементами интеллектуальности на основании предложенной в диссертационной работе модели. Предложена формальная модель ПСПАДВИ на языке сетей Петри на основе протокола уровневого контроля, представляющая собой модификацию модели ПСПАДВИ для одного пользователя, одного сеанса и одного уровня, предложенной Н. Н. Глибовцом. Описаны структура и функции координационного механизма такой программной системы. Доказано, что полученная сетевая модель безопасна, активна и обратима. Методом математической индукции доказана пригодность модели для моделирования ПСПАДВИ с произвольным количеством пользователей, сеансов и ресурсов. Впервые сформулирована задача верификации координационного механизма ПСПАДВИ. Доказано ее подобие задаче верификации программных агентов. Доказана ее принадлежность классу co-NP-полных задач. Смоделирована работа координационного механизма в случае возникновения ошибки. Доказана тотальность алгоритма координации действий участников совместной работы в случае возникновения ошибки. На основе предложенной модели создан прототип ПСПАДВИ с использованием агентных технологий. Описана разработанная автором диссертационной работы многоагентная система Collabsys, агенты которой моделируют поведение элементов коллаборативной системы и координируют свои действия согласно принципам уровневого контроля. Создана программная система поддержки "Виртуального университета" со встроенным координационным механизмом, реализующим принципы уровневого контроля. Программная система объединяет в единое целое систему управления обучением, систему управления содержанием и систему обеспечения координации их работы. В качестве первой используется платформа Moodle, второй — автоматизированная система управления учебным заведением MAMS, третьей — разработанная автором диссертации EPCS (Education Process Coordination System — система координации процесса обучения), координирующая работу пользователей систем Moodle и MAMS с целью предотвращения возникновения конфликтных ситуаций. Приведено подробное описание всех элементов и процесса их интеграции в единую систему. Работоспособность системы подтверждена экспериментально. Теоретическая ценность диссертационной работы состоит в применении абстрактной модели коллаборативной среды Х.-П. Доммеля и Х. Х. Гарсиа-Луна-Ачевеса и автоматных и сетевых моделей составляющих этой системы, построенных Н. Н. Глибовцом, для создания обобщенной модели ПСПАДВИ, способной обеспечить согласование действий своих пользователей, а также надежное и предсказуемое реагирование на внештатные ситуации. Практическая значимость исследования заключается в том, что предложенная в работе модель реализована и апробирована на реально действующей системе управления учебным заведением и системе управления обучением университета "Киево-Могилянская академия". Предложенная модель, программный прототип и связка системы управления содержанием и системы управления обучением могут быть использованы как базовые для реализации государственной программы развития дистанционного образования в Украине. Ключевые слова: агентные технологии, моделирование, сети Петри, уровневый контроль, тотальные алгоритмы, координационный механизм, система управления содержанием, система управления обучением.ru_RU
dc.identifier.citationГломозда Дмитро Костянтинович. Координація в асинхронних обчислювальних мережах : автореферат дисертації на здобуття наукового ступеня кандидата технічних наук / Д. К. Гломозда ; Київ. нац. ун-т ім. Т. Шевченка. - Київ : [б. в.], 2011. - 19 с.uk_UA
dc.identifier.urihttps://ekmair.ukma.edu.ua/handle/123456789/10866
dc.language.isoukuk_UA
dc.statuspublished earlieruk_UA
dc.subjectагентні технологіїuk_UA
dc.subjectмоделюванняuk_UA
dc.subjectмережі Петріuk_UA
dc.subjectрівневий контрольuk_UA
dc.subjectтотальні алгоритмиuk_UA
dc.subjectкоординаційний механізмuk_UA
dc.subjectсистема керування змістомuk_UA
dc.subjectсистема керування навчаннямuk_UA
dc.subjectавтореферат дисертаціїuk_UA
dc.subjectagent technologiesen_US
dc.subjectmodellingen_US
dc.subjectPetri netsen_US
dc.subjectfloor controlen_US
dc.subjecttotal algorithmsen_US
dc.subjectcoordination mechanismen_US
dc.subjectcontent management systemen_US
dc.subjectlearning management systemen_US
dc.subjectthesis abstracten_US
dc.subjectагентные технологииru_RU
dc.subjectмоделированиеru_RU
dc.subjectсети Петриru_RU
dc.subjectуровневый контрольru_RU
dc.subjectтотальные алгоритмыru_RU
dc.subjectкоординационный механизмru_RU
dc.subjectсистема управления содержаниемru_RU
dc.subjectсистема управления обучениемru_RU
dc.subjectавтореферат диссертацииru_RU
dc.titleКоординація в асинхронних обчислювальних мережах: автореферат дисертації на здобуття наукового ступеня кандидата технічних наукuk_UA
dc.title.alternativeCoordination in asynchronous computational networksen_US
dc.title.alternativeКоординация в асинхронных вычислительных сетяхru_RU
dc.typeThesis abstractuk_UA
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
Hlomozda_Koordynatsiia_v_asynkhronnykh_obchysliuvalnykh_merezhakh.pdf
Size:
250.29 KB
Format:
Adobe Portable Document Format
Description:
Download
License bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
7.54 KB
Format:
Item-specific license agreed upon to submission
Description:
Download
Collections
01.05.03 - математичне та програмне забезпечення обчислювальних машин і систем