Internal language engineering system for supporting solutions of automated air traffic control system

Abstract

The paper proposes a model of the decision support system limited internal language, which is a necessary component for realizing the process of interaction between the intellectual system and the operators of the automated air traffic control system. The developed model is a necessary and indispensable tool for formalizing air traffic control processes within the functioning of the decision support system in order to increase the level of automation of the generating text messages processes in the “dispatche – dispatcher” and “dispatcher – air vessel.” The structure of terminal and nonterminal characters dictionaries is proposed according to the methodology of constructing formal grammar; the objects of categories of the subject area are described with sufficient detail; the production rules of formal grammar are developed. The correctness of the received apparatus and the possibility of the system internal language further practical use are confirmed by the knowledge of given examples of representation in the proposed language and the grammatical analysis of the objects formulas structures.

Authors and Affiliations

Michael Litvinenko, Volodymyr Mazharov, Serhii Antonenko

Keywords

Related Articles

Декомпозиція процесу вогневого ураження противника за допомогою методу побудови «дерева цілей»

Стаття присвячена декомпозиції процесу вогневого ураження противника за допомогою методу побудови «дерева цілей» з урахуванням, як складових самого процесу, так і зв’язків між ними, що дозволило здійснити поділ процесу н...

Особенности разработки модели оценки эффективности систем навигации и управления движением судна

Статья посвящена анализу существующих показателей эффективности функционирования систем навигации и управления движением судов, который позволил сделать вывод о том, что вероятность выполнения задания без аварийных событ...

Метод формалізації знань про ситуаційний аналіз обстановки для системи підтримки прийняття рішень автоматизованої системи управління повітряним рухом

В роботі запропоновано апарат формалізації знань про об’єкти, зв’язки та цілі процесу управління, який враховує особливості функціонування автоматизованої системи управління повітряним рухом на етапі оцінки обстановки, а...

Рівняння періодичних процесів, які враховують особливості динаміки їх протікання в системах управління літальних апаратів з бортовою цифровою обчислювальною машиною

У статті шляхом сумісного використання математичного апарату перетворення Лапласа та його дискретного аналогу (D – перетворення) на основі метода гармонічної лінеаризації отримані рівняння, які описують мимовільні період...

Методика оцінки пропускної спроможності як характеристики системи військового зв’язку

Представлено методику розрахунку пропускної спроможності системи військового зв’язку при плануванні та бойовому застосуванні системи військового зв’язку. Методика відрізняється від відомих урахуванням використання цифров...

Download PDF file
  • EP ID EP484779
  • DOI -
  • Views 182
  • Downloads 0

How To Cite

Michael Litvinenko, Volodymyr Mazharov, Serhii Antonenko (2018). Internal language engineering system for supporting solutions of automated air traffic control system. Сучасні інформаційні технології у сфері безпеки та оборони, 31(1), 53-60. https://europub.co.uk/articles/-A-484779