Реєстраційний номер
0517U000332, Докторська дисертація
На здобуття
д.т.н.
Дата захисту
05-05-2017
Статус
Захищена
Назва роботи
Методологічні основи та інформаційна технологія створення розподілених інтелектуальних систем
Здобувач
Прохоров Олександр Валерійович,
Керівник Федорович Олег Євгенович
Опонент Годлевський Михайло Дмитрович
Опонент Пасічник Володимир Володимирович
Опонент Томашевський Валентин Миколайович
Установа, організація, у вченій раді якої відбудеться/відбувся захист
Національний аерокосмічний університет ім. М.Є. Жуковського "Харківський авіаційний інститут"
Опис
Об'єкт дослідження - процес створення розподілених інтелектуальних систем; мета дослідження - підвищення ефективності оброблення інформації та прийняття рішень у соціотехнічних системах за умов неповної визначеності й динамічного оточення шляхом розроблення методологічних основ та інформаційної технології створення розподілених інтелектуальних систем; методи дослідження - методи системного аналізу, теорії категорій та штучного інтелекту, імітаційного моделювання та теорії мультиагентних систем, хмарні технології; результати - теоретичне узагальнення та нове вирішення актуальної науково-прикладної проблеми формування методологічних основ створення інформаційних систем, що мають необхідні інтеграційні та інтелектуальні властивості для прийняття ефективних рішень в умовах розподіленості соціотехнічних систем, а також інноваційного оновлення та розвитку інформаційного середовища; новизна - вперше одержано метод синтезу агентів розподіленої інтелектуальної системи, в якому використано композицію онтологічних моделей, що забезпечує автоматизацію процесу створення, адаптивність і швидку модифікацію мультиагентної системи; вперше одержано метод об'єднання онтологічних моделей знань на основі логіко-категорійного підходу, який забезпечує незалежність від вибору конкретної мови опису онтологій і специфіки реалізації; вперше одержано метод логічного висновку в обчисленні предикатів першого порядку, який дає можливість вирішити проблему обчислювальної розв'язності, що виключає необхідність використання дескриптивної логіки для опису онтологій; вперше одержано модель подання онтологічних знань на основі багатозначного числення присутності, в якій враховано невизначеність в онтологіях і роботу з суперечливими знаннями; удосконалено метод автоматизованої побудови онтологій, який основано на виведенні предметних знань з неструктурованої текстової інформації і перетворення в онтологічні конструкції з перевіркою і аналізом протиріч; удосконалено моделі розподіленої взаємодії агентів у мультиагентній системі, які реалізують механізми взаємодії із зовнішніми активними ресурсами Semantic Web з використанням стандартів OWL і SPARQL; удосконалено агентну імітаційну модель для дослідження процесів управління ресурсами в складних динамічних середовищах, в якій використано механізм самоорганізації і колективної адаптації поведінки її елементів, що дозволяє підвищити ефективність децентралізованого планування і управління ресурсами в умовах невизначеності й динамічного оточення; удосконалено моделі управління, за допомогою яких здійснюють динамічне формування коаліцій і груп семантично схожих об'єктів, що забезпечує раціональний розподіл навантаження і управління ресурсами в конфліктних ситуаціях; дістала подальшого розвитку методологія створення розподілених інформаційних систем шляхом розроблення комплексу моделей, методів інтелектуальної інформаційної технології, за допомогою якої формалізується уявлення і оброблення розподілених знань на основі онтологій для прийняття ефективних рішень у гетерогенному інформаційному середовищі, що змінюється; дістали подальшого розвитку методи та інформаційна технологія створення розподілених інтелектуальних систем шляхом удосконалення технології хмарних обчислень, що дозволило побудувати єдине середовище для розроблення і керування інтелектуальними системами через Інтернет; дістала подальшого розвитку теорія категорій шляхом використання в ролі універсального формалізму онтологічного опису, що дає можливість автоматизувати об'єднання онтологій; дістали подальшого розвитку методи штучного інтелекту шляхом використання розробленого методу логічного висновку в численні предикатів першого порядку, що враховує проблему обчислювального розв'язання для онтологій; ступінь упровадження - результати впроваджені в Управлінні з питань комунальної власності виконавчого апарату Харківської обласної ради, у ДП "Науково-дослідний технологічний інститут приладобудування", у ТОВ "УКР-ЕХЗ-КОМПЛЕКТ", у ТОВ "Дослідний центр цивільних проектів", у навчальному процесі Національного аерокосмічного університету ім. М. Є. Жуковського "ХАІ"; галузь використання – розподілені інтелектуальні системи.
Дата реєстрації
2017-08-22
Додано/оновлено в НРАТ
2020-04-03 / 2026-06-29
