基于改进BNF的作战管理语言语法形式化方法

• 作者: 刘晓明 罗晨 袁黎苗 鲍广宇
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 作战管理语言 巴科斯范式 形式化
• 年，卷（期）: 2012,（4）
• 所属期刊栏目: 人工智能
• 页码范围: 189-192,209
• 分类号: TP391.9
• 字数: 6623字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-137X.2012.04.043

摘要

作战管理语言是一种旨在实现指控与仿真系统间无歧义通信的关键技术,有助于解决指控与仿真系统之间的互操作问题.首先阐述了作战管理语言的体系结构；然后通过比较分析形式化语法方法,并结合作战命令语言结构特点,提出了一种基于改进BNF的BML语法形式化描述方法；最后利用该方法对典型作战命令进行了语法形式化描述,并给出了具体实例.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	鲍广宇	解放军理工大学指挥自动化学院	22	121	7.0	10.0
2	刘晓明	解放军理工大学指挥自动化学院	61	475	12.0	18.0
3	罗晨	解放军理工大学指挥自动化学院	14	56	5.0	7.0
4	袁黎苗		1	9	1.0	1.0