МОДЕЛЬ ВНУТРІШНЬОЇ МОВИ СИСТЕМИ ПІДТРИМКИ ПРИЙНЯТТЯ РІШЕНЬ АВТОМАТИЗОВАНОЇ СИСТЕМИ УПРАВЛІННЯ ПОВІТРЯНИМ РУХОМ

Автор(и)

  • Michael I. Litvinenko Харківський національний університет Повітряних Сил ім. І. Кожедуба, Україна
  • Volodymyr S. Mazharov Кіровоградська льотна академія Національного авіаційного університету,
  • Serhii I. Antonenko Національний університет оборони України імені Івана Черняховського,

DOI:

https://doi.org/10.33099/2311-7249/2018-31-1-53-60

Ключові слова:

інформаційна модель, формальна граматика, термінальні та нетермінальні символи, семантичні ознаки, продукційні правила

Анотація

У статті запропоновано модель обмеженої внутрішньої мови системи підтримки прийняття рішень, що є необхідною складовою для реалізації процесу взаємодії між інтелектуальною системою та операторами автоматизованої системи управління повітряним рухом. Розроблена модель є необхідним та обов’язковим засобом формалізації процесів управління повітряним рухом у межах функціонування системи підтримки прийняття рішень, що підвищить рівень автоматизації процесів формування текстових повідомлень у ланках “диспетчер – диспетчер” та “диспетчер – повітряне судно”. За методологією побудови формальної граматики запропоновано структуру словників термінальних та нетермінальних ознак, досить детально описано об’єкти категорій предметної галузі, розроблено редукційні правила формальної граматики. Коректність отриманого апарату і  можливість подальшого практичного використання внутрішньої мови системи підтверджено наведеними прикладами подання знань запропонованою мовою і граматичним розбором конструкцій формул об’єктів.

Посилання

1. Polonsky Y. Formalized description of the selection process for forming informational signs model air situation [Formalizovanyy opys protsesu vidboru informatsiynykh oznak dlya formuvannya modeli povitryanoyi obstanovky] / Y. Polonsky, I. Borozenets, S. Shiloh, M. Litvinenko // Coll. Science. works.KharkovNationalUniversity of the Air Force. - 2016. - № 2. - P. 115-117.

2. Reyuord-Smith B. The theory of formal languages. Introductory course [Teoryya formalʹnykh yazykov. Vvodnyy kurs] – M .: Radio and communication, 1988. -128 p.

3. Grischuk T. Recognition of natural language grammar Markov networks [Rozpiznavannya pryrodnoyi movy na hramatychnykh markovsʹkykh merezhakh] TV Grischuk // Scientific Papers of Donetsk National Technical University. Series: "Computer science and engineering." -Donetsk: DonNTU, 2005. - P. 181-187.

4. Yarushek V. Theoretical Foundations of automated decision-making processes in the management [Teoretycheskye osnovy avtomatyzatsyy protsessov vyrabotky reshenyy v systemakh upravlenyya] / V. Yarushek, V. Prokhorov, B. Sudakov, A. Mishin - Kharkiv: HVU, 1993. - 446 p.

5. Pentus A. Theory of formal languages studies. Manual [Teoryya formalʹnykh yazykov: ucheb. posobye] / A. Pentus, M. Pentus. - M .: Izd TSPY with mechanics-mathematical faculty thatMoscowStateUniversity, 2004. - 80 p.

6. Volkova I. Formal grammars and languages. Elements of the theory of translation: Proc. allowance for students II course [Formalʹnye hrammatyky y yazyky. Élementy teoryy translyatsyy: ucheb. posobye dlya studentov II kursa] - M .: Publishing. Division of Computer Sciences and Faculty of Moscow State University named after Lomonosov (license ID from 24.09.2001 N 05899), 2009. - 115 p.

7. Melnikov B Subclasses of context - free languages [Podklassy klassa kontekstno – svobodnykh yazykov] / B. Melnykov. - M .:MoscowStateUniversity, 1995. - 174 p.

8. Bondarenko M. Theory of intelligence [Teoryya yntellekta] / M. Bondarenko, P. Shabanov-Kushnarenko. - Kharkov: SMIT Company, 2006. - 576 p.

9. Dzyuba E. Lingvokognitive categorization in Russian language consciousness: monograph [Lynhvokohnytyvnaya katehoryzatsyya v russkom yazykovom soznanyy: monohrafyya] / E. Dzyuba; Ural. state. ped. Univ. - Ekaterinburg, 2015. - 286 p.

10. Salomaa A. Pearls of formal language theory [Zhemchuzhyny teoryy formalʹnykh yazykov]. J. Salomaa. - M .: Mir, 1986. - 159 p.

11. Shabanov Y. Comparator identification of linguistic objects: Monograph [Komparatornaya ydentyfykatsyya lynhvystycheskykh ob’ektov: Monohrafyya] / Y.Kushnarenko Shabanov, N. Sharonov. - K .: YSDO, 1993. - 116 p.

12. Bondarenko M. Concept unification of intelligent information technologies in broadcasting [Kontseptsiyi unifikatsiyi informatsiyno-intelektualʹnykh tekhnolohiy v systemakh movlennya] / M. Bondarenko, Z. Konoplyanko, G. Chetverikov // Bionics Intelligence: scientific and engineering. Zh. -Kharkov: KNURE, 2011. - Vol. 3 (77). - P. 150-156.

13. Sharonova N. The use of comparator for identifying the partition of the semantic space domain knowledge-based systems [Yspolʹzovanye metoda komparatornoy ydentyfykatsyy dlya razbyenyya semantycheskoho prostranstva predmetnoy oblasty znanye-oryentyrovannykh system] / N. Sharonova, N. Hayrova // Bulletin of Kherson. state. tehn. Univ. -WhiteChurch, 2007. - № 4 (27). - P. 39-42.

14. Sharonova N. Intellectual corporate resource of the company personalization method [Metod personyfykatsyy yntellektualʹnoho korporatyvnoho resursa kompanyy] / E. Orobynskaya, A. King,N. Sharonova // Coll. Science. pr. "Proceedings of theNationalTechnicalUniversity" Kharkiv Polytechnic Institute ". - Series: Information and Modeling. -Kharkov: NTU "KPI". - 2012. - № 62 (968). - P. 148-154.

15. Orobynskaya E. Language Competence Information Systems [Yazykovaya kompetentsyya ynformatsyonnykh system] // Coll. Science. pr. "Proceedings of theNationalTechnicalUniversity" Kharkiv Polytechnic Institute ". - Series: Information and Modeling. -Kharkov: NTU "KPI". - 2012. - № 62 (968). - P. 148-154.

16. Sharonova N. Using logical networks to form a knowledge base of logical type [Yspolʹzovanye lohycheskykh setey dlya formyrovanyya baz znanyy lohycheskoho typa] / N. Sharonova, V. Tarlovskiy N. Hayrova // Bulletin of Kherson. Nat. ..TechnicalUniv. –

Kherson: KHNTU. - 2011. - № 41. - P. 184-188.

17. Pavlenko M. A multi-stage method of knowledge formalization development for the process of tactical situations recognition [Razrabotka metoda mnohoétapnoy formalyzatsyy znanyy o protsesse raspoznavanyya operatyvno-taktycheskykh sytuatsyy] / M. Pavlenko, P. Berdnikov, S. Kukobko, V. Danyuk // Information processing systems. -Kharkov: KhUAF, 2012. - Vol. 5 (103). - P. 60-64.

18. Pavlenko M. Procedures formalization of modal knowledge developing by using fuzzy sets theory to real-time expert systems [Razrabotka protsedury formalyzatsyy modalʹnykh znanyy s yspolʹzovanyem teoryy nechetkykh mnozhestv dlya ékspertnykh system realʹnoho vremeny] / M. Pavlenko, A. Tymochko, A. Beschasnыy, V. Dokuchaev // Coll. Science. works KhUAF. -Kharkov: KhUAF, 2012. - Vol. 3 (32). - P. 122-125.

19. Pavlenko M. Formalization of knowledge about the process of situations traffic aircraft violations recognition method [Metod formalyzatsyy znanyy o protsesse raspoznavanyya sytuatsyy narushenyya pravyl dvyzhenyya vozdushnymy sudamy] / M. Pavlenko // Command and control systems, navigation and communication. - K .: CRI NiU, 2012. - Vol. 2 (22). - P. 86-92.

20. Berdnikov P. Mathematical foundations of ergonomic research: Monograph [Matematycheskye osnovy érhonomycheskykh yssledovanyy: monohrafyya] / P. Berdnik, G. Kuchuk - Kropyvnytskyi:. DV of NAU, 2016. - 248 p.

##submission.downloads##

Опубліковано

2018-03-01

Номер

Розділ

Теоретичні основи створення і використання інформаційних технологій