Василенко Д. Є. Методи побудови системи підтримки прийняття рішень органів обслуговування повітряного руху для вирішення завдань управління повітряним рухом

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