Рассмотрена задача построения формальной модели координационной системы сети для коллаборативной среды обучения. Предложена автоматная модель, описанная с помощью сетей Петри. На основе сетевой модели исследована система на ограниченность, сохранение и активность.

Індекс рубрикатора НБУВ: З970.31-018.4

Рубрики:

Комп'ютерні мережі

Шифр НБУВ: Ж29144 Пошук видання у каталогах НБУВ 

Побудовано модель системи програмної підтримки мережної співпраці та використано програмний агент для її ефективної реалізації. Доведено, що запропонована модель координаційного механізму для часткових випадків таких систем зберігає свої властивості та залишається працездатною для довільної конфігурації системи. Запропоновано схему багатоагентної системи, яка б моделювала роботу координаційного механізму.

Мета дослідження створення моделі програмної системи підтримки асинхронної дистанційної взаємодії в мережі Інтернет (ПСПАДВІ) та побудова на її основі діючого прототипу ПСПАДВІ. Модель ПСПАДВІ призначена для дослідження таких систем і формулювання рекомендацій щодо принципів їх створення та відлагодження. Запропоновано формальну модель ПСПАДВІ мовою мереж Петрі на основі протоколу рівневого контролю та доведено її придатність для моделювання ПСПАДВІ із довільною кількістю користувачів, сеансів і ресурсів. Сформульовано задачу верифікації координаційного механізму ПСПАДВІ та показано, що вона належить класу co-NP-повних задач. Доведено тотальність алгоритму координації дій учасників спільної роботи у разі виникнення помилок. На основі даної моделі створено прототип ПСПАДВІ із використанням агентних технологій та програмну систему підтримки "Віртуального університету" з вбудованим координаційним механізмом, який реалізує принципи рівневого контролю.

Описано прототип системи, яка пов'язує автоматизовану систему управління навчальним закладом з системою керування навчанням. Продемонстровано принципи практичного застосування технології рівневого контролю (fl oor control) для координації дій користувачів двох систем.

Описано процес налагодження взаємодії між АСУНЗ MAMS і СКН Moodle. Наведено приклади застосування каркасів Spring та Tapestry сумісно з ORM-бібліотекою Hibernate для створення корпоративних веб-застосувань і організації їх зв'язку із декількома зовнішніми базами даних.

Розглянуто теоретичні й практичні аспекти захисту від комп'ютерних вірусів та іншого шкідливого програмного забезпечення, зокрема, на рівні аналізу вихідного коду прикладних програм, щоб мати змогу виявити й усунути потенційно небезпечні вразливості, якими можуть скористатися автори вірусів, троянів та інших шкідливих програм.

Висвітлено питання проектування, системного аналізу та розробки корпоративних інформаційних систем (КІС). Описано засоби проектування та моделювання КІС. Розглянуто скінченні автомати та мережі Петрі, а також запропоновану Г. П. Доммелем і Х. Х. Гарсіа-Луна-Ачевесом модель середовища підтримки дистанційної взаємодії користувачів у мережі Інтернет. Описано процес побудови агентного прототипу колаборативної системи.

Описано застосування методу інваріантів, що використовує алгоритм пошуку зрізаної множини розв'язків рівняння стану мережі Петрі, яке записується у вигляді систем лінійних однорідних діофантових рівнянь, до аналізу кольорових мереж Петрі, які містять дедлоки, на прикладі моделі функціонування багатопоточності в мові програмування Java за шаблоном "виробники/споживачі" з використанням комбінації методів wait()/notify().

Описан алгоритм преобразования цветной сети Петри с качественными фишками в раскрашенную сеть Петри с количественными фишками с сохранением ограниченности, взаимоисключаемости и живучести. Такое преобразование позволяет применить к раскрашенной сети Петри метод инвариантов, использующий алгоритм поиска усеченного множества решений уравнения состояния сети Петри, которое записывается в виде систем линейных однородных диофантовых уравнений. Работоспособность алгоритма продемонстрирована на примере цветной сети Петри, моделирующей работу грид-системы. Эквивалентность сетевых моделей проверена путем построения и анализа эквивалентных им конечных автоматов.