计算机科学 ›› 2012, Vol. 39 ›› Issue (4): 189-192.
• 人工智能 • 上一篇 下一篇
罗晨,鲍广宇,刘晓明,袁黎苗
出版日期:
发布日期:
Online:
Published:
摘要： 作战管理语言是一种旨在实现指控与仿真系统间无歧义通信的关键技术，有助于解决指控与仿真系统之间 的互操作问题。首先阐述了作战管理语言的体系结构;然后通过比较分析形式化语法方法，并结合作战命令语言结构 特点，提出了一种基于改进I3NF的I3MI.语法形式化描述方法;最后利用该方法对典型作战命令进行了语法形式化描 述，并给出了具体实例。
关键词: 作战管理语言，巴科斯范式，形式化
Abstract: Battlc management languagc(13MI)is a critical technology which is used to realize unambiguous communica- lion between C2 and M& S systems, and it can help to solve the problems of the interoperation of C2 and Mc}.S sys- terns. First the architecture of I3ML was discussed, and then different methods of formalization were compared. A gram- mar formal method of BMI. based on improved backus-naur form(II3NF) was proposed,finally,the grammars of typical orders were formalized with II3NF and specific examples were given.
Key words: Battle management language(I3ML) , Backus-naur form(I3NF) , Formalization
罗晨,鲍广宇,刘晓明,袁黎苗. 基于改进BNF的作战管理语言语法形式化方法[J]. 计算机科学, 2012, 39(4): 189-192. https://doi.org/
0 / / 推荐
导出引用管理器 EndNote|Reference Manager|ProCite|BibTeX|RefWorks
链接本文: https://www.jsjkx.com/CN/
https://www.jsjkx.com/CN/Y2012/V39/I4/189
Cited
首页