面向服务的分布式建模仿真框架研究

HLA为分布式建模仿真提供了技术支持，但只限于局域网的仿真应用。面向服务架构SOA提供了一种新的分布式计算模式，支持跨平台、互操作性和重用性。设计了一个面向服务的分布式建模仿真框架（SoDMSF），提出资源层、建模层、服务发布层和仿真运行平台层的4层仿真体系结构，以支持面向服务的分布式仿真建模集成环境．研究了该框架的组成结构、关键技术，实现了原型系统。该框架使得分布式仿真系统具有更好的可扩展性，便于实现仿真模型／系统的重用。     

基于HLA分布式仿真系统的模型驱动设计方法

提出了一种基于HLA分布式仿真系统的模型驱动设计方法。首先提出基于MDA的分布式仿真系统开发框架，然后给出了使用UMLProfile创建HLA元模型的方法，最后分析了从领域元模型到平台元。模型的映射规则．该方法通过定义基于HLA／RTI分布式仿真平台的UMLProfile，订制了HLA元模型以扩充UML对于HLA仿真平台相关模型的描述能力，有利于分布式仿真系统的快速开发和构建，同时容易实现分布式仿真应用从底层RTI平台到其他中间件平台的迁移。     

基于HLA的鱼雷声自导系统仿真平台开发研究

针对鱼雷声自导系统及其作战环境。提出了基于高层体系结构（HLA）的鱼雷声自导系统仿真平台设计方案。以高层体系结构作为技术框架，分析仿真平台的特点和实现功能，并在此基础上介绍了仿真平台的模块组成及其相应作用，给出了仿真平台的联邦构架、联邦信息流图以及联邦对象模型产仿真对象模型（FOM/SOM），最后说明了仿真平台联邦成员的实现过程。     

一种基于双桥接器的分布仿真跨协议互连方法

基于分布交互仿真（Distributed Interactive Simulation,简称DIS）和高层体系结构（HighLevel Architecture,简称HLA）的跨协议互连技术是最近的研究难点和热点。讨论了DIS和HLA在分布交互仿真应用方面的特点,针对基于DIS和HLA的仿真系统间的互连问题,提出了一种基于双桥接器和Socket通信的分布交互仿真跨协议互连方法,其中包括DIS演练和HLA联邦间的实体协议转换、事件协议转换和时间管理策略等。应用结果表明,该方法在处理分布交互仿真系统的跨协议互连方面是可行的。     

一体化联合作战仿真通信兵模型体系研究与实践

针对一体化联合作战仿真的实际需要和通信兵作战的主要特点,提出了一种全新的面向应用的通信兵作战仿真模型体系结构,并在该模型体系结构的框架下构建了一系列通信兵作战模型。最后介绍了由这些模型构建的通信兵作战仿真系统在工程中一个具体的实践应用。结果表明,面向应用的通信兵作战模型体系完全能够满足一体化联合作战仿真的需要。     

从HLA对象到关系数据——HLA仿真中的通用数据库交互

针对传统HLA仿真数据库在设计、实现和应用方面通用性的不足,基于关系数据库,提出了一种适于HLA仿真应用的通用数据库交互方法,研究了HLA对象模型与关系数据模型之间的一一映射和相互转换问题,设计并实现了通用HLA仿真数据库的结构模型及其数据访问模式.该方法能够适用于多种平台、程序设计语言和数据库管理系统,实现了通用性.最后介绍了该通用数据库交互方法的应用情况.     

基于MDA的仿真模型开发与集成方法研究

主要介绍了一种基于MDA的仿真模型开发与集成方法。探讨了MDA在仿真模型组件重用和可组合中的应用,如实现实验、想定、分析和模型集成的一致性;提高仿真模型组件的重用性和可组合性;支持仿真模型和仿真系统需求和设计的工程化;更容易支持体系结构视图的描述;支持开发可配置强的和柔性的仿真系统等。介绍了当前基于MDA的仿真应用的发展,并提出了一个基于MDA的仿真模型集成框架和仿真模型开发与集成方法。该集成框架采用MDA的思想,将仿真模型分为仿真模型设计组件和仿真模型运行组件,通过建立面向仿真设计模型组件的仿真元模型规范、仿真组件对象规范、仿真服务规范和仿真模型组件组合规范确保仿真模型的设计、开发、集成和运行的一致性和仿真系统发展的可持续性。     

基于高层体系结构的计算机生成兵力关键技术研究

为了研究基于高层体系结构（HLA，High Level Architecture）的分布交互仿真系统的开发，设计了一个基于HLA的计算机生成兵力（CGF，Computer Generated Force）系统。首先介绍了HLA的结构特点，然后介绍了CGF仿真系统结构的组成以及开发的关键技术，分析了开发基于HLA的CGF系统的关键技术。最后提出了一个基于HLA的CGF仿真系统的原型系统，该原型系统的开发对于今后的进一步研究和应用有很大意义。     

联邦式作战仿真建模方法

自80年代初开始,从仿真器联网SIMNET到基于DIS协议的平台级仿真和基于ALSP协议的聚合级仿真,再到当今人们正在研究的高层体系结构（HLA）[5],分布式作战仿真技术得到了长足的发展。然而,从国内外的研究和应用现状来看,目前的作战仿真技术的支持能力与广泛而又迫切的军事需求相比,仍然存在着较大的差距[2]。为此作者提出了联邦作战仿真（FWS）的解决方案和支持FWS的通用技术框架[1,3]。本文主要阐述了用于联邦成员设计的三级抽象建模方法,对联邦成员的概念模型、对象模型和执行模型进行了分析和探讨。     

一种基于体系结构的仿真使能方法

分析了体系结构仿真使能的需求,基于该需求研究了体系结构完备可执行的条件,扩展了体系结构描述规范,提出了满足完备性条件的一种可执行体系结构框架,给出了该框架的开发流程,并基于该框架提出了基于体系结构产品的仿真使能方法,介绍由体系结构产品直接产生仿真平台建模输入的映射理论和转换方法。该方法为提高仿真模型开发效率、保持系统设计和系统仿真之间的一致性提供了一种有效途径。以某给水系统作为案例,验证了体系结构建模到映射转换生成仿真模型的整个流程。     

基于PES的Petri网可执行模型生成方法

针对体系结构验证评估中可执行模型生成缺乏灵活性和扩展性的问题,提出了一种基于体系结构物理交换规范(physical exchange specification,PES)的Petri网可执行模型生成方法。该方法基于DoDAF 2.0提出的体系结构PES和支持对象化的扩展Petri网标记语言(Petri net markup language,PNML)规范,构建了基于PES的Petri网可执行模型生成框架,通过体系结构模型数据含义与Petri网模型元素之间的语义映射,建立了PES与扩展PNML之间的数据映射规则,并以作战活动模型为例详细说明了数据映射规则和转换算法;最后,以民间海上搜救体系结构为例,验证了所提方法的有效性。该方法实现了灵活、自动化的Petri网可执行模型生成,打破了体现结构建模语言和Petri网模型类型的限制。     

一种基于可变规则的松耦合实体建模方法

作战实体建模是当前作战仿真领域的研究热点，提出了一种基于可变规则的松耦合实体建模方法，从实体、任务、行动、交互、事件和规则角度，给出了基于可变规则的作战实体模型架构及模型内外部的交互机制。在此基础上设计了作战实体模型运行框架，规范了实体模型统一调度机制，解决了实体建模作战行动规则耦合过紧和模型可信度不高问题，大大提高了作战实体模型的重用性、扩展性和逼真性。     

基于SoSE的装备体系RMS论证方法研究

装备体系可靠性、维修性、保障性(reliability-maintainability-supportability,RMS)是装备体系作战效能发挥的基础。体系工程中需求开发过程从能力要求分析开始,然后进行体系结构建模并基于体系结构给出需求方案。装备体系RMS论证即是对装备体系RMS能力要求进行分析并提出RMS指标,也遵循这一过程。首先,基于SoSE需求开发过程和装备体系特点给出装备体系RMS论证框架。接着,基于质量功能展开方法给出装备体系RMS能力要求分析过程,从装备体系使命任务出发,建立装备体系RMS能力要求映射模型,并提出相应的RMS能力指标求解方法。然后,基于面向RMS的装备体系结构框架,将RMS能力分析得出的初步RMS能力指标作为输入,基于多智能体仿真技术提出美国国防部体系架构驱动的装备体系RMS仿真框架,从而通过仿真权衡论证出最终的装备体系RMS指标。最后,对典型使命任务下的航母装备体系舰载机保障过程进行了案例分析。     

基于Web服务的协同优化平台

提出了一种基于Web服务的协同优化平台.该平台具有开放式的架构,能够方便集成现有的通用优化工具.主要特点有:优化工具集成,能够集成本地优化软件及异地优化Web服务;优化服务包装,能够方便的将现有优化工具包装为Web服务;协同优化模型自动生成,解决了通用优化软件的缺点.最后用一个工程案例说明了通过软件智能体,通用优化软件能够访问仿真Web服务完成仿真优化,验证了协同优化平台的有效性.     

基于DM2的体系结构数据一致性验证方法

为进行有效、规范的体系结构构建,现有体系结构大多采用美国国防部体系结构框架（Department of Defense Architecture Framework, DoDAF）作为指导,针对采用该框架构建的体系结构的数据一致性验证问题,提出了一种基于国防部体系结构框架元模型（DoDAF meta model, DM2）的验证方法。该方法直接从DM2中提取数据的一致性原则,而后利用查找出来的实体数据构建验证准则或者验证矩阵,进而完成体系结构数据一致性的判断。最后,通过一个案例进行一致性验证步骤说明和可行性分析,验证结果充分说明了该方法的有效性。     

基于模型转换的C4ISR体系结构可执行模型构建

为解决当前可执行模型构建效率低、重用性差所造成的体系结构验证困难,实现自动化的可执行模型构建,提出了一种基于模型转换的C4ISR体系结构可执行模型构建方法。该方法基于国际国防企业体系结构本体规范（international defense enterprise architecture specification, IDEAS）,构建了C4ISR体系结构作战视图元模型;建立了对象Petri网（object Petri-net, OPN）建模元素与体系结构元模型数据元素的映射关系,重点研究了几种通用流程模式下体系结构元模型数据与OPN之间的语义转换规则;最后,以某防空作战指挥信息系统体系结构为例,依据获取的体系结构数据,基于以上方法有效地构建了验证作战规则的OPN模型。     

基于顺次分配机制的无人装备体系架构方案空间搜索方法

当前战争愈加复杂, 如何设计和选择最优无人装备体系以完成使命是一项难题。针对该问题, 提出一种无人装备体系架构超网络模型和一种方案空间搜索算法。首先, 基于作战能力生成要素给出了无人装备体系形式化描述框架。其次, 提出了无人装备体系架构方案空间搜索问题框架, 其目标是寻找到使预期收益最大化和使累积成本最小化的最优架构。然后, 提出了一种基于顺次分配机制的最优架构方案动态搜索算法。最后, 通过仿真实验检验了该算法。实验结果表明，该算法明显优于其他几种基准算法，提出的架构框架和方案空间搜索算法具有辅助决策的价值。     

基于多主体和前景理论的应急风险决策仿真研究

针对多部门参与的突发事件应急风险决策的建模与仿真问题,提出了一种基于多主体和前景理论的仿真模型及仿真框架。通过引入Agent思想,描述了应急风险决策的多Agent体系结构模型,并对决策主体进行建模;通过引入前景理论思想,着重考虑了随着突发事件的动态演化决策者心理状态变化对决策结果产生的影响。在此基础上,设计并实现了多Agent应急风险决策仿真框架。以石油化工厂火灾应急风险决策为例,验证了仿真模型及框架的有效性和可行性。     

军事通用仿真模型及其集成框架研究

分析了仿真模型的建立与实现过程中存在冗余和模型缺乏重用性的问题，论述了通用仿真模型的分类层次和相互关系，提出了建立通用仿真模型体系结构框架的设想和方案。着重阐述了构建通用仿真模型的关键理论和技术，给出了一个通用仿真模型集成框架。     

武器装备体系结构可执行模型

探讨了可执行武器装备体系结构的总体框架,分析了建立可执行体系结构的三个阶段,提出了建立可执行模型的方法和步骤。该方法以体系总体描述、系统体系结构、作战活动图、作战顺序图以及作战规则模型等视图产品为基础,通过视图产品到仿真模型的映射机制建立可执行模型。以ExtendSim仿真工具作为可执行模型的运行环境,选取战时情报侦察监视体系作为实例研究,说明了该方法用于武器装备体系结构动态分析是可行的。