论文部分内容阅读
军事概念模型是仿真模型开发的基础和验证校核的依据。目前的军事概念模型建模工具大都只从大的方面提供建模指导,没有在更细的层面对模型描述的详细成分提出具体要求,导致军事概念模型描述可能出现不规范、元素缺损等问题,使得开发人员难以根据其进行准确的仿真模型开发;同时现有的军事概念模型开发工具中没有对仿真模型的验证要求加以描述和规范,使得仿真模型验证没有规范和需求指导。因此,开展基于模板的军事概念模型建模技术研究,对于提高军事概念模型的质量、规范军事概念模型的描述和仿真模型的验证测试,进而提高仿真应用的可信度等具有十分重要的理论意义和实用价值。论文针对当前军事概念模型建模存在的问题,在深入分析相关研究成果的基础上,对军事概念模型的建模范式、仿真模型的验证要求描述范式和仿真模型验证接口范式进行了深入研究,主要工作和创新点如下:1)现有的军事概念模型建模工具由于没有提供详细的描述模板,容易导致军事概念模型描述不规范、内容缺失。为此,提出了基于正规文法的军事概念模型建模范式,从模型概述和功能两个层面设计了相应的范式和模板,模型概述层描述了实体的静态特征,模型功能层描述了实体的详细功能,从而从更细的层面规范了军事概念模型的描述,为军事概念模型的完整性提供了保障。2)目前的军事概念模型中大都没有仿真模型的验证需求描述,仿真模型的验证缺乏规范和需求指导,容易导致仿真模型验证不充分。为此,设计了基于正规文法的仿真模型验证要求描述范式,包括模型概述、模型初始化和模型功能验证要求描述范式及其模板,从而为在军事概念模型建模阶段对仿真模型验证要求描述提供了规范化指导。3)目前的军事概念模型没有提供自动化验证仿真模型的支持,导致仿真模型的验证必须人工手动完成。为此,提出了基于XML的仿真模型验证接口范式,通过抽取军事概念模型的相关属性,进行格式化转化生成结构层次清晰的XML文档,从而为仿真模型自动化验证提供一定的基础支持。基于上述研究成果,设计并实现了基于模板的军事概念模型建模开发工具。综合测试表明,该工具能够较好地支持军事概念模型和仿真模型验证要求的规范化描述,满足军事概念模型建模和模型有效验证的需求。