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

摘要：

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

关键词：作战命令、形式化描述、与/或树、语法检验

分类号：E94

资助基金：2011年度国家自然科学基金编号61174198资助。

在线出版日期：2015-10-12（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：30-34