Search academic texts

Information × Registration Number 0419U004512, Candidate dissertation Status Кандидат технічних наук Date 04-10-2019 popup.evolution o Title Methods for building a decision support system for air traffic services for solving air traffic control problems Author Vasylenko Dmytro Yevheniiovych, popup.head Obidin Dmytro M. popup.opponent Danilov Yurii Oleksandrovych popup.opponent Trystan Andrii V. Description Дисертаційна робота присвячена вирішенню актуального наукового завдання, пов’язаного з розробкою методів формалізації, поповнення і контролю коректності знань для системи підтримки прийняття рішень, призначеної для вирішення завдань управління повітряним рухом при безпосередній підготовці і в ході функціонування в реальному масштабі часу. Наукова новизна одержаних результатів полягає в тому, що: одержав подальшого розвитку метод формалізації знань про завдання обслуговування повітряного руху, що вирішуються при безпосередній підготовці і в ході оперативного управління, в якому, на відміну від відомих, опис різних аспектів знань про ці завдання здійснюється у рамках єдиного формалізму на основі чотиризначної логіки присутності з розширеними описовими властивостями, застосовуються принципи ієрархічності, структуризації і об'єктно-орієнтованого підходу до побудови бази знань систем підтримки прийняття рішень, що дозволяє з точністю до ізоморфізму відображати структуру і зміст мережевої моделі предметної області, всебічно і повно описувати прагматичний аспект знань про обслуговування повітряного руху, спростити і прискорити пошук рішень в умовах дефіциту часу на прийняття рішення, здійснювати обслуговування повітряного руху в реальному масштабі часу; удосконалено метод поповнення ієрархічної бази знань системи підтримки прийняття рішень для оперативного управління обслуговуванням повітряного руху, який, на відміну від відомих, відрізняється використанням адресних матриць і таблиць, що дозволило скоротити їх розмірність і спростити організацію логічних взаємозв'язків між елементами ієрархічної бази знань, і застосуванням методів синтаксичного розбору для виділення відповідних знань, розміщених в бібліотеках бази знань різних рівнів; удосконалено метод контролю коректності знань бази знань системи підтримки прийняття рішень для оперативного управління обслуговуванням повітряного руху, який, на відміну від відомих, відрізняється здійсненням контролю відношень між цільовими настановами, оцінок об'єктів в описах цільових настанов і правил використання ресурсів та їх запасу дій. Registration Date 2019-10-04 popup.nrat_date 2020-04-03 Close