Координація в асинхронних обчислювальних мережах: автореферат дисертації на здобуття наукового ступеня кандидата технічних наук
eKMAIR
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Координація в асинхронних обчислювальних мережах: автореферат дисертації на здобуття наукового ступеня кандидата технічних наук
Coordination in asynchronous computational networks |
|
| Creator |
Гломозда, Дмитро
|
|
| Contributor |
Глибовець, Микола
|
|
| Subject |
програмна система підтримки асинхронної дистанційної взаємодії в мережі Інтернет
комп’ютерні мережі розподілені обчислення асинхронна дистанційна взаємодія |
|
| 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. Автореферат дисертації на здобуття наукового ступеня кандидата технічних наук зі спеціальності 01.05.03 - математичне та програмне забезпечення обчислювальних машин і систем - Національний університет «Києво- Могилянська академія», Київ, 2011. Дисертаційна робота присвячена створенню моделі програмної системи підтримки асинхронної дистанційної взаємодії в мережі Інтернет (ПСПАДВІ) та побудові на її основі діючого прототипу ПСПАДВІ. Модель ПСПАДВІ призначена для дослідження таких систем та формулювання рекомендацій щодо принципів їх створення та відлагодження. Побудова такої моделі є актуальною задачею. Запропоновано формальну модель ПСПАДВІ мовою мереж Петрі на основі протоколу рівневого контролю та доведено її придатність для моделювання ПСПАДВІ із довільною кількістю користувачів, сеансів та ресурсів. Сформульовано задачу верифікації координаційного механізму ПСПАДВІ та показано, що вона належить класу co- NP-повних задач. Доведено тотальність алгоритму координації дій учасників спільної роботи в разі виникнення помилок. На основі запропонованої моделі створено прототип ПСПАДВІ із використанням агентних технологій та програмну систему підтримки «Віртуального університету» з вбудованим координаційним механізмом, який реалізує принципи рівневого контролю. Ключові слова: агентні технології, моделювання, мережі Петрі, рівневий контроль, тотальні алгоритми, координаційний механізм, система керування змістом, система керування навчанням. |
|
| Date |
2017-01-24T12:33:05Z
2017-01-24T12:33:05Z 2011 |
|
| Type |
Thesis abstract
|
|
| Identifier |
Гломозда Дмитро Костянтинович. Координація в асинхронних обчислювальних мережах : автореферат дисертації на здобуття наукового ступеня кандидата технічних наук / Д. К. Гломозда ; Київ. нац. ун-т ім. Т. Шевченка. - Київ : [б. в.], 2011. - 19 с.
http://ekmair.ukma.edu.ua/handle/123456789/10866 |
|
| Language |
ua
|
|