装备指挥仿真构件形式化描述方法研究

摘要

仿真构件形式化描述就是充分利用自然语言和形式化的方法将仿真构件的刻面与术语有效结合起来,确定其描述结构,为仿真构件库涉众提供构件规格描述规范.为了满足不同涉众的需求,仿真构件描述信息分为三类:面向构件检索的信息、面向构件学习的信息、面向构件组装和演化的信息.文中采用BNF范式对仿真构件描述信息结构进行了定义,并利用XML良好展现性完成了形式化描述框架的构建.