计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2012年
4期
189-192,209
,共5页
罗晨%鲍广宇%刘晓明%袁黎苗
囉晨%鮑廣宇%劉曉明%袁黎苗
라신%포엄우%류효명%원려묘
作战管理语言%巴科斯范式%形式化
作戰管理語言%巴科斯範式%形式化
작전관리어언%파과사범식%형식화
作战管理语言是一种旨在实现指控与仿真系统间无歧义通信的关键技术,有助于解决指控与仿真系统之间的互操作问题.首先阐述了作战管理语言的体系结构;然后通过比较分析形式化语法方法,并结合作战命令语言结构特点,提出了一种基于改进BNF的BML语法形式化描述方法;最后利用该方法对典型作战命令进行了语法形式化描述,并给出了具体实例.
作戰管理語言是一種旨在實現指控與倣真繫統間無歧義通信的關鍵技術,有助于解決指控與倣真繫統之間的互操作問題.首先闡述瞭作戰管理語言的體繫結構;然後通過比較分析形式化語法方法,併結閤作戰命令語言結構特點,提齣瞭一種基于改進BNF的BML語法形式化描述方法;最後利用該方法對典型作戰命令進行瞭語法形式化描述,併給齣瞭具體實例.
작전관리어언시일충지재실현지공여방진계통간무기의통신적관건기술,유조우해결지공여방진계통지간적호조작문제.수선천술료작전관리어언적체계결구;연후통과비교분석형식화어법방법,병결합작전명령어언결구특점,제출료일충기우개진BNF적BML어법형식화묘술방법;최후이용해방법대전형작전명령진행료어법형식화묘술,병급출료구체실례.