论文部分内容阅读
随着建模与仿真技术在军事领域问题研究和工程实践中应用的扩大和深入,领域内积累的仿真模型的重用问题逐渐受到重视。研究人员和工程人员普遍希望能够通过灵活地组装已有仿真模型,快速构建满足不同应用需求的仿真系统,及时响应所研究系统的不断演化,保持对其结构组成、行为及过程的建模与仿真的有效性。本文以组合仿真中的模型重用与组合关键技术为研究对象,以海上作战能力分析评估中的建模与仿真为背景,在建立支持模型重用与组合的建模仿真概念框架的基础上,根据仿真模型重用与领域问题空间相关性、仿真概念模型框架对模型组合过程指导性等特征,利用军事概念模型、仿真想定描述规范、概念语义匹配度计算和扩展颜色Petri网等技术,提出了基于仿真模型和应用环境描述概念匹配度的模型可重用判断方法、基于CPN的仿真概念模型框架组合建模及正确性验证方法,并以仿真模型资源搜索框架原型设计和大型舰艇编队防空作战指挥控制过程建模仿真为例,对上述方法进行了有效性验证。具体内容包括:分析了仿真模型可重用性和可组合性的关系,提出了组合仿真的两种开发模式;构建了支持模型重用与组合的建模仿真概念框架,建立了仿真模型重用与组合的概念体系;给出了形式化的仿真模型可重用判定方法和模型组合建模及验证分析方法。从领域问题空间描述的角度分析了现有模型描述方法的不足,提出了基于军事概念模型的仿真模型描述方法;在对仿真想定描述规范表达分析的基础上,提出了基于仿真想定的模型应用环境描述方法;以模型对应用环境的兼容性为核心,提出了基于模型和应用环境描述概念匹配度的模型可重用判断方法,并给出了一种匹配度量化算法。提出了仿真概念模型框架的构成和内部关系模式,建立了仿真概念模型框架组合模型SMC_ECPN,分析了该模型的描述能力,并给出了该组合模型语法、运行控制流、数据依赖和数据映射等四个方面的正确性检测算法。论文提出的仿真模型的可重用判断方法提高了仿真模型检索和可重用判断结果的准确性;提出的仿真概念模型框架组合建模方法,独立于具体的仿真模型实现语言,可同时描述框架中模型间的控制流和数据流,支持层次化、图形化的模型组合描述,能够对模型组合过程进行正确性检测。