一种无人化平台作战命令的形式化语法及检验算法

• 作者: 吴亚宁 鲍广宇
• 来源期刊: 舰船电子工程
• 学科: 军事
• 关键词: 作战命令 形式化描述 与/或树 语法检验
• 年，卷（期）: 2015,（9）
• 所属期刊栏目: 信息融合技术
• 页码范围: 30-34
• 页数: 5页
• 分类号: E94
• 字数: 5218字
• 语种: 中文
• DOI: 10.3969/j.issn.1672-9730.2015.09.009

摘要

作战命令是我军实施指挥和部队遂行作战任务的基本依据，也是联系指控系统、仿真系统与无人作战平台的重要桥梁。为了实现系统之间对作战命令的无歧义理解，论文运用一种改进的巴科斯范式方法对作战命令进行了形式化描述。同时，论文提出了一种基于与／或树的语法检验算法，以保证作战命令形式化语法的正确性与合法性。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	鲍广宇		1	0	0.0	0.0
2	吴亚宁		1	0	0.0	0.0