МОДЕЛЬ ВНУТРІШНЬОЇ МОВИ СИСТЕМИ ПІДТРИМКИ ПРИЙНЯТТЯ РІШЕНЬ АВТОМАТИЗОВАНОЇ СИСТЕМИ УПРАВЛІННЯ ПОВІТРЯНИМ РУХОМ
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##
Опубліковано
Номер
Розділ
Ліцензія
Автори, які публікуються у цьому журналі, погоджуються з наступними умовами:
1. Автори залишають за собою право на авторство своєї роботи та передають журналу право першої публікації цієї роботи на умовах ліцензії Creative Commons Attribution License, котра дозволяє іншим особам вільно розповсюджувати опубліковану роботу з обов'язковим посиланням на авторів оригінальної роботи та першу публікацію роботи у цьому журналі.
2. Автори мають право укладати самостійні додаткові угоди щодо неексклюзивного розповсюдження роботи у тому вигляді, в якому вона була опублікована цим журналом (наприклад, розміщувати роботу в електронному сховищі установи або публікувати як монографію), за умови збереження посилання на першу публікацію роботи у цьому журналі.
3. Політика журналу дозволяє і заохочує розміщення авторами в мережі Інтернет (наприклад, у сховищах установ або на особистих веб-сайтах) рукопису роботи, як до подання цього рукопису до редакції, так і під час його редакційного опрацювання, оскільки це сприяє виникненню продуктивної наукової дискусії та позитивно позначається на оперативності та динаміці цитування опублікованої роботи (див. The Effect of Open Access).
4. Персональні дані і метадані, які наводяться у статтях, надаються для їх зберігання і оброблення в різноманітних базах даних і інформаційних системах, включення їх в аналітичні і статистичні звітності, створення обгрунтованих взаємозв'язків об'єктів творів науки, літератури і мистецтва з персональними даними і т.п. на території, яка не обмежена.
