Метод формалізації знань про ситуаційний аналіз обстановки для системи підтримки прийняття рішень автоматизованої системи управління повітряним рухом
DOI:
https://doi.org/10.33099/2311-7249/2018-33-3-93-98Ключові слова:
Особа, що приймає рішення, Функціональні завдання, Подання знань, Апарат формалізації, Експертні знання, Обчислення предикатів, Морфізми, МодальностіАнотація
В роботі запропоновано апарат формалізації знань про об’єкти, зв’язки та цілі процесу управління, який враховує особливості функціонування автоматизованої системи управління повітряним рухом на етапі оцінки обстановки, а також логіко-аналітичний характер задач прийняття рішень особами, що приймають рішення, та особливості діяльності людини-оператора в процесі виконання функціональних задач.
В якості основи пропонується обрати комбіновану модель формалізації знань, що дозволяє використати переваги апарату системи цільових установок та апарату обчислення предикатів першого порядку. Для переходу від розрізненого опису властивостей предметної області (ПО) на природній мові або за допомогою системи аксіом до єдиної формалізованої моделі знань про неї пропонується ітераційно використовувати багатоетапну процедуру формалізації знань. Для підвищення описових можливостей розробленого методу та врахування ізоморфності морфізмів запропоновано процедуру інтерпретації модальних знань.
Запропонований апарат дозволяє подати формалізовані описи наступних складових, що входять до процесу оцінки ситуацій обстановки (СО): об’єднання різнорідних даних, що надходять від джерел інформації; виявлення типу СО, що склалася в межах зони відповідальності органу управління АС УПР; класифікація СО в повітряному просторі за ступенем небезпеки; проведення розпізнавання ступеня небезпеки СО і отримання кількісних оцінок, які характеризують їх; виявлення додаткових інформаційних ознак з наявних даних.Посилання
Regulations on Air Traffic Services Personnel Training in the State Air Traffic Service ofUkraine/ Training andCertificationCenterof the State Air Traffic Service ofUkraine. – 2009. – 64 p.
Dnipropetrovsk RSP of Zaporizhya OSP service. Working instructions of the airfield control tower of Zaporizhye, – 2013. – 91 p.
Operating instruction of the air traffic control manager at the TOWER workplace ofDonetsk. – 2009. – 44 p.
Formalized description of the process of selection of information signs for forming the model of the air environment / Y.Polonsky, I.Borosenets, S.Shilo, M. Litvinenko // Collection of scientific works of Kharkiv National University of Air Forces – 2016. – № 2. – p. 115-117.
Distribution of the time of airspace assessment by the decision maker in the control service of the unified air traffic control system / M.Pavlenko, S.Shilo, I.Borosezen, Y.Polonsky // Information processing systems. – 2016. – № 8. – p. 37–39.
Formalization of the activity of the human operator-operator of the aviation argotic system in non-emergency situations / T.Shmelev, Y.Sikirda // Radioelectronic and computer systems. – 2010. – №. 5. – p. 296–300.
Mathematical foundations of ergonomic research: monograph / P.Berdnik, G.Kuchuk, N.Kuchuk, D.Obidin, M.Pavlenko, A.Petrov, V.Rudenko, O.Timochko, - Kropivnitsky: NAU, 2016. – 248 p.
Dubois, D. and Prade, H. (2012), Possibility theory: an approach to computerized processing of uncertainty, Springer Science & Business Media, 216 p.
Kharchenko V., Shmelyova T., Sikirda Y. Decision making by the operator of the air navigation system: monograph / V.Kharchenko, T.Shmelev, Y.Sikirda, –Kirovograd: NAU, 2012. - 292 p.
Bondarenko M. Theory of Intellect / M.Bondarenko, Y.Shabanov-Kushnarenko. – Kharkiv: SMIT Company, 2006. – 576 p.
Totsenko V. Methods and systems for decision support / Algorithmic aspect. -K .: Scientific thought, 2002. – 382 p.
Yarushek V., Prokhorov V., Sudakov B., Mishin A. Theoretical bases of automation of processes of development of decisions in control systems. – Kharkiv: KhVU, 1993. – 446 p.
Dzharratano D., Riley G. Expert Systems: Principles of Development and Programming, 4th Edition. Williams Publishing House, 2007.
Shilo S. Model for assessing the operational situation of an emergency situation by the operational dispatch service of the Ministry of Emergencies / S.Shilo, A.Feshchenko and others // Collection of scientific works of the UZHS of Ukraine. – 2009. – #9. – p. 170-176.
##submission.downloads##
Опубліковано
Номер
Розділ
Ліцензія
Автори, які публікуються у цьому журналі, погоджуються з наступними умовами:
1. Автори залишають за собою право на авторство своєї роботи та передають журналу право першої публікації цієї роботи на умовах ліцензії Creative Commons Attribution License, котра дозволяє іншим особам вільно розповсюджувати опубліковану роботу з обов'язковим посиланням на авторів оригінальної роботи та першу публікацію роботи у цьому журналі.
2. Автори мають право укладати самостійні додаткові угоди щодо неексклюзивного розповсюдження роботи у тому вигляді, в якому вона була опублікована цим журналом (наприклад, розміщувати роботу в електронному сховищі установи або публікувати як монографію), за умови збереження посилання на першу публікацію роботи у цьому журналі.
3. Політика журналу дозволяє і заохочує розміщення авторами в мережі Інтернет (наприклад, у сховищах установ або на особистих веб-сайтах) рукопису роботи, як до подання цього рукопису до редакції, так і під час його редакційного опрацювання, оскільки це сприяє виникненню продуктивної наукової дискусії та позитивно позначається на оперативності та динаміці цитування опублікованої роботи (див. The Effect of Open Access).
4. Персональні дані і метадані, які наводяться у статтях, надаються для їх зберігання і оброблення в різноманітних базах даних і інформаційних системах, включення їх в аналітичні і статистичні звітності, створення обгрунтованих взаємозв'язків об'єктів творів науки, літератури і мистецтва з персональними даними і т.п. на території, яка не обмежена.
