一种无人化平台作战命令的形式化语法及检验算法
鲍广宇
吴亚宁
1.中国人民解放军理工大学 南京 2100072.中国人民解放军理工大学 南京 210007
摘要：作战命令是我军实施指挥和部队遂行作战任务的基本依据，也是联系指控系统、仿真系统与无人作战平台的重要桥梁。为了实现系统之间对作战命令的无歧义理解，论文运用一种改进的巴科斯范式方法对作战命令进行了形式化描述。同时，论文提出了一种基于与／或树的语法检验算法，以保证作战命令形式化语法的正确性与合法性。
关键词：作战命令形式化描述与/或树语法检验
分类号：E94(军事指挥信息系统)
资助基金：国家自然科学基金(61174198)
论文发表日期：2015-01-01
在线出版日期：2025-08-15（本平台首次上网日期，不代表文献的发表时间）
页数：5( 30-34 )
英文信息