Search academic texts

Information × Registration Number 0411U002147, Candidate dissertation Status к.т.н. Date 21-04-2011 popup.evolution o Title Coordination in asynchronous computational networks Author Glomozda Dmytro Kostyantynovych, popup.head Glybovets Mykola Mykolaevich popup.opponent Заславський Володимир Анатолійович popup.opponent Тимашов Олександр Олександрович Description Дисертаційна робота присвячена створенню моделі програмної системи підтримки асинхронної дистанційної взаємодії в мережі Інтернет (ПСПАДВІ) та побудові на її основі діючого прототипу ПСПАДВІ. Запропоновано формальну модель ПСПАДВІ мовою мереж Петрі на основі протоколу рівневого контролю та доведено її придатність для моделювання ПСПАДВІ із довільною кількістю користувачів, сеансів та ресурсів. Сформульовано задачу верифікації координаційного механізму ПСПАДВІ та показано, що вона належить класу co-NP-повних задач. Доведено тотальність алгоритму координації дій учасників спільної роботи в разі виникнення помилок. На основі запропонованої моделі створено прототип ПСПАДВІ із використанням агентних технологій та програмну систему підтримки "Віртуального університету" з вбудованим координаційним механізмом, який реалізує принципи рівневого контролю. Registration Date 2011-04-21 popup.nrat_date 2020-04-04 Close