Метод формалізації знань про ситуаційний аналіз обстановки для системи підтримки прийняття рішень автоматизованої системи управління повітряним рухом
Journal Title: Сучасні інформаційні технології у сфері безпеки та оборони - Year 2018, Vol 33, Issue 3
Abstract
В роботі запропоновано апарат формалізації знань про об’єкти, зв’язки та цілі процесу управління, який враховує особливості функціонування автоматизованої системи управління повітряним рухом на етапі оцінки обстановки, а також логіко-аналітичний характер задач прийняття рішень особами, що приймають рішення, та особливості діяльності людини-оператора в процесі виконання функціональних задач. В якості основи пропонується обрати комбіновану модель формалізації знань, що дозволяє використати переваги апарату системи цільових установок та апарату обчислення предикатів першого порядку. Для переходу від розрізненого опису властивостей предметної області (ПО) на природній мові або за допомогою системи аксіом до єдиної формалізованої моделі знань про неї пропонується ітераційно використовувати багатоетапну процедуру формалізації знань. Для підвищення описових можливостей розробленого методу та врахування ізоморфності морфізмів запропоновано процедуру інтерпретації модальних знань. Запропонований апарат дозволяє подати формалізовані описи наступних складових, що входять до процесу оцінки ситуацій обстановки (СО): об’єднання різнорідних даних, що надходять від джерел інформації; виявлення типу СО, що склалася в межах зони відповідальності органу управління АС УПР; класифікація СО в повітряному просторі за ступенем небезпеки; проведення розпізнавання ступеня небезпеки СО і отримання кількісних оцінок, які характеризують їх; виявлення додаткових інформаційних ознак з наявних даних.
Authors and Affiliations
Serhii Shilo, Oleg Dmitriev, Irina Novikova
Keywords
Related Articles
- EP ID EP508208
- DOI -
- Views 140
- Downloads 0
Rational compromise searching method in one class of multiobjective optimization problem in evaluation of indeterminate objectives set by the functions of one variable
Evaluation of indeterminate forms is a current problem for a significant class of formalized system analysis tasks. Formally, the problems of indeterminate forms evaluation in the system analysis and the operations resea...
Методика оцінки ефективності системи управління телекомунікаційними мережами
В статті проведено аналіз існуючих підходів та методів оцінки ефективності телекомунікаційної мережі та її системи управління. Розглянуто поняття ефективності, класифікація та існуючі підходи по її оцінці. Наведено ряд п...
Міжлабораторні порівняльні випробування засобів колективного та індивідуального захисту для забезпечення оцінки якості продукції оборонного призначення
Розглянуто актуальні питання оцінки якості продукції, що постачається для потреб Збройних Сил України, як однієї зі складових сектору безпеки і оборони держави, та її відповідності під час реформування оборонно-промислов...
Підхід щодо оцінювання надійності функціонування автоматизованої системи управління „Ореанда-ПС”
В статті запропоновано методику оцінювання надійності функціонування автоматизованих систем управління військами (силами) на прикладі автоматизованої системи управління “Ореанда-ПС”, який ґрунтується на врахуванні незале...
Обґрунтування показників потреби ЗС України в офіцерському складі на середньострокову перспективу відповідно до реальних та постійних загроз у сфері національної безпеки
На основі опублікованих джерел, а також особистого досвіду військової служби авторів, досліджуються особливості порядку розрахунку потреби в офіцерському складі для Збройних Сил України на середньострокову перспективу. У...