摘要：SMP2.0(Simulation Model Portability)是欧洲航天局提出并广泛应用的仿真模型开发与集成规范。SMP2.0规范提供了定义SMP2模型的元模型规范、包含标准仿真服务的组件模型规范和模型的C++映射规范,但需要实现与之兼容的仿真引擎才能支持模型的开发和集成。根据SMP2.0规范标准,介绍了一个与SMP2.0兼容的仿真引擎的设计与实现,给出了仿真引擎的运行过程、运行状态和组件构成,最后通过仿真应用环境检验了该仿真引擎的有效性。

摘要：分布式仿真可以很好地解决大规模复杂系统仿真困难等问题,其关键技术在于分布式引擎机制的设计。首先阐述雷达系统仿真模型,然后提出基于消息服务中心和运控中心的分布式调度控制结构,将上层用户接口和底层消息传递服务解耦,灵活性和易操作性更强。接着提出消息驱动控制算法(message passing algorithm,MPA)。系统测试结果表明,引擎结构和MPA适用于集中式和分布式结构,可以实现进程间的消息传递控制。

摘要：仿真模型可移植性规范2(SMP2)是由欧洲航天局制定并得到广泛应用的仿真模型开发与集成规范。SMP2仿真引擎目前只支持串行仿真,并行化可提高其在多核平台上的运行速度。研究了并行SMP2仿真引擎的体系结构、运行过程及运行状态,采用C++和OpenMP设计并实现了基于乐观时间同步协议的并行SMP2仿真引擎。最后开发了卫星导航系统全球格网精度因子分析的实例,在双路四核计算机上获得了5.8倍-6.3倍的加速比。

摘要：仿真推演引擎是仿真推演系统的核心部件。针对同类仿真实体接收相同指令,其行动效果不同的问题,论文提出了一种基于行动规则的仿真推演引擎,分析了可被引擎识别的推演方案、任务和规则的形式化描述,给出了引擎中的关键设计和基于面向对象语言的实现,可为方案推演和评估提供技术支撑。

摘要：潜艇作战系统仿真是潜艇作战仿真最为核心和关键的内容之一。基于LVC(Live Simulation,Virtual Simulation, Constructive Simulation)仿真技术,实践"仿真即服务"的理念,提出了潜艇作战系统LVC一体化仿真方法,构建了潜艇作战系统LVC一体化仿真环境,研究了潜艇作战系统LVC仿真系统的组成与关系;设计了LVC仿真引擎的组成结构,基于Java/EJB技术框架下组件设计与开发规范,设计并实现了仿真引擎组件。潜艇作战系统LVC一体化仿真集成了3种仿真形式的优点,实现了"即插即用"的仿真环境和效费比更优的资源分配,大大拓展了潜艇作战系统仿真的应用范围。

摘要：为实现联合作战仿真实验系统的高效运行,更好地指导联合作战仿真实验应用创新,从基本思想、关键技术和方法体系等方面,对仿真实验仿真引擎运行中的仿真控制、时间管理、数据交互和模型调度等四项内容展开了深入研究,形成了一套可行的仿真实验仿真引擎运行策略,为仿真实验仿真引擎设计、开发和运行奠定了理论与方法基础,满足了仿真实验中仿真引擎可集成、可互联、可扩展的实际需求。

摘要：在组件化建模与仿真领域内,基于BOM规范的组件建模与仿真环境KD-SmartSim得到了广泛应用,它通过RTI实现了组件仿真系统的并行运算,但是其运行性能较低。讨论了KD-SmartSim系统存在的不足,在继承其基于BOM规范组件建模的基础上,提出了新的支持组件并行化计算的结构,设计了SPMD运行模式的并行组件仿真引擎,研究和开发了各种模型计算需要的仿真服务,实现了支持串行和保守时间推进机制的组件并行仿真引擎原型系统。测试结果表明该系统具备BOM组件仿真运行必须的功能,能够显著地提升组件系统的运行性能。

摘要：在组件化建模与仿真领域内,基于BOM规范的KD-XSRFrame组件建模与仿真框架得到了广泛的应用,但是以离散时间仿真为手段的设计模式使得由BOM组件构成的仿真系统性能不高。因此,如何提高运行效率成为基于BOM的组件式建模与仿真必须解决的问题。根据现有组件系统的不足,引入离散事件的概念重新设计了BOM组件模型和仿真引擎,提出了基于离散事件系统规范的BOM组件建模框架,实现了以事件为中心的仿真引擎。测试结果表明该系统能有效地减少模型调用和引擎工作的开销,显著地提升了整个仿真系统的运行性能。

摘要：针对C4ISR系统仿真作战平台工具中离散事件仿真引擎的设计问题,结合C4ISR系统功能组成和作战推演流程划分了三种基本离散事件类型;利用邮箱收发邮件的缓存机制可进行集中管理和存取便捷的特点,辅助仿真引擎支撑离散事件的运行流转过程;在此基础上比较分析了固定步长驱动法和事件驱动法两种离散事件引擎策略。试验结果表明:在时间粒度不同的离散事件仿真系统中,离散事件驱动的时钟算法比固定步长法更适用,可以大大节省仿真过程耗费的机器时间。

摘要：随着嵌入式软件规模的日益庞大,任务关键系统的可信属性,如实时性、可靠性等,逐渐成为影响嵌入式系统质量和制约系统行为可信的重要因素。如何在系统设计早期及时发现系统可信属性的不足,在模型设计阶段进行体系结构调整、优化模型中软硬构件结构及属性规约,成为嵌入式软件分析方法研究的重点。为解决以上问题,提出了一种基于模型的嵌入式系统实时性测试方法,设计并实现了面向AADL模型的仿真测试引擎(AMSE)。仿真引擎基于SystemC和POSIX技术,通过任务封装、任务调度、时钟管理、中断管理和信号控制等实现模拟内核功能,可以动态执行AADL模型实例,从而对嵌入式系统的实时性开展模型测试。同时,以汽车控制系统为应用实例,基于AADL模型测试引擎AMSE进行了应用测试分析,获得了较好的测试结果。