Запропоновано підхід щодо моделювання помилок авіадиспетчерів за результатами вирішення конфліктів між повітряними суднами з позиції забезпечення безпеки польотів, який базується на використанні математичного апарату темпоральної логіки. Часова логіка застосовується для формалізації внутрішньої структури оцінних агентів, з яких складається мультиагентна експертна система оцінки дій авіадиспетчерів. Цей модуль входить до складу системи підтримки прийняття рішень інструктора тренажеру, що надає можливість автоматизувати функції інструктора з оцінювання дій авіадиспетчерів. Запропоновано спосіб визначення значень кількісних показників ефективності дій авіадиспетчерів за критерієм забезпечення безпеки польотів під час вирішення конфліктів між повітряними суднами.

 Наукова періодика України 

---

Додаткова інформація про автора(ів) публікації:
(cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці)

• Пальоний Андрій Сергійович (технічні науки)

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"