Academic Journal
INTERNAL LANGUAGE ENGINEERING SYSTEM FOR SUPPORTING SOLUTIONS OF AUTOMATED AIR TRAFFIC СONTROL SYSTEM
| Τίτλος: | INTERNAL LANGUAGE ENGINEERING SYSTEM FOR SUPPORTING SOLUTIONS OF AUTOMATED AIR TRAFFIC СONTROL SYSTEM |
|---|---|
| Συγγραφείς: | Litvinenko, Michael I., Mazharov, Volodymyr S., Antonenko, Serhii I. |
| Πηγή: | Sučasnì Informacìjnì Tehnologìï u Sferì Bezpeki ta Oboroni, Vol 0, Iss 1(31), Pp 53-60 (2018) Modern Information Technologies in the Sphere of Security and Defence; Том 31, № 1 (2018); 53-60 Современные информационные технологии в сфере безопасности и обороны; Том 31, № 1 (2018); 53-60 Сучасні інформаційні технології у сфері безпеки та оборони; Том 31, № 1 (2018); 53-60 |
| Στοιχεία εκδότη: | Національний університет оборони України, 2018. |
| Έτος έκδοσης: | 2018 |
| Θεματικοί όροι: | информационная модель, формальная граматика, терминальные и нетерминальные символы, семантические признаки, продукционные правила, informational model, production rules, інформаційна модель, формальна граматика, термінальні та нетермінальні символи, семантичні ознаки, продукційні правила, semantic signs, Industrial safety. Industrial accident prevention, T55-55.3, formal grammar, terminal and nonterminal symbols |
| Περιγραφή: | В статье предложена модель ограниченного внутреннего языка системы поддержки принятия решений, которая является необходимой составляющей для реализации процесса взаимодействия между интеллектуальной системой и операторами автоматизированной системы управления воздушным движением. Разработанная модель является необходимым и обязательным средством формализации процессов управления воздушным движением в рамках функционирования системы поддержки принятия решений с целью повышения уровня автоматизации процессов формирования текстовых сообщений в звеньях “диспетчер – диспетчер” и “диспетчер – воздушное судно”. Согласно методологии построения формальной грамматики предложена структура словарей терминальных и нетерминальных признаков, с достаточной детализацией описаны объекты категорий предметной области, разработаны продукционные правила формальной грамматики. Корректность полученного аппарата и возможность дальнейшего практического использования внутреннего языка системы подтверждены приведенными примерами представления знаний на предложенном языке и грамматическим разбором конструкций формул объектов. 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. У статті запропоновано модель обмеженої внутрішньої мови системи підтримки прийняття рішень, що є необхідною складовою для реалізації процесу взаємодії між інтелектуальною системою та операторами автоматизованої системи управління повітряним рухом. Розроблена модель є необхідним та обов’язковим засобом формалізації процесів управління повітряним рухом у межах функціонування системи підтримки прийняття рішень, що підвищить рівень автоматизації процесів формування текстових повідомлень у ланках “диспетчер – диспетчер” та “диспетчер – повітряне судно”. За методологією побудови формальної граматики запропоновано структуру словників термінальних та нетермінальних ознак, досить детально описано об’єкти категорій предметної галузі, розроблено редукційні правила формальної граматики. Коректність отриманого апарату і можливість подальшого практичного використання внутрішньої мови системи підтверджено наведеними прикладами подання знань запропонованою мовою і граматичним розбором конструкцій формул об’єктів. |
| Τύπος εγγράφου: | Article |
| Περιγραφή αρχείου: | application/pdf |
| Γλώσσα: | English |
| ISSN: | 2311-7249 |
| Σύνδεσμος πρόσβασης: | https://doaj.org/article/39b5a047046a4103947407d08b81fc94 http://sit.nuou.org.ua/article/view/158239 |
| Αριθμός Καταχώρησης: | edsair.dedup.wf.002..4d0e90813c83941a0ed9ab1aa704387b |
| Βάση Δεδομένων: | OpenAIRE |
| ISSN: | 23117249 |
|---|