10.3969/j.issn.1672-9730.2015.09.009
一种无人化平台作战命令的形式化语法及检验算法
作战命令是我军实施指挥和部队遂行作战任务的基本依据,也是联系指控系统、仿真系统与无人作战平台的重要桥梁。为了实现系统之间对作战命令的无歧义理解,论文运用一种改进的巴科斯范式方法对作战命令进行了形式化描述。同时,论文提出了一种基于与/或树的语法检验算法,以保证作战命令形式化语法的正确性与合法性。
作战命令、形式化描述、与/或树、语法检验
E94
2011年度国家自然科学基金编号61174198资助。
2015-10-12(万方平台首次上网日期,不代表论文的发表时间)
共5页
30-34