摘要：并行仿真是提高分析仿真运行效率的有效途径.当前国内外并行仿真由于缺乏高效统一的可视化组件建模范式的指导,往往需要采用从上到下的集中式开发模式,开发门槛高、效率低、二次建模困难,且模型间的耦合度大、协调难,模型与仿真平台紧密绑定,难以实现模型的分步开发、封装、快速组装及平台间模型的重用.作者结合组件建模及MDA技术的优势,针对当前广受关注的PDEVS规范所存在的不支持原子模型可视化建模及事件处理逻辑过于集中、无法挖掘处理逻辑内部并行性的缺点,提出了基于MDA的并行仿真可视化组件建模范式——EDEVS,并证明了该范式的描述能力不弱于PDEVS;在此基础上,设计实现了基于EDEVS的可视化建模框架及EDEVS模型到YHSUPE并行仿真平台模型的代码转换插件,将组件化引入YHSUPE,使其能够适应大规模并行仿真模型分步开发及快速组装的应用需求,验证了EDEVS范式的可行性.

摘要：为提高大规模分析评估推演类仿真的运行速度,基于高性能计算环境(HPC)的并行分布仿真正成为当前仿真研究的一个重要方向。论文在深入分析研究SPEEDES仿真引擎的基础上,阐述了基于HPC的并行仿真建模框架的组成及功能,分析了其设计思想,并给出了建模框架相应的实现。

摘要：并行离散事件仿真(Parallel Discrete Event Simulation,PDES)模型的正确性和可信度对PDES应用的发展起着决定性作用。然而,现有的并行离散事件仿真开发环境都没有提供仿真模型检验功能。并行模型检验(Parallel Model Checking,PMC)方法以其完备性、高效性已经在工业界中得到了成功的应用,但是PDES和PMC是基于不同的建模语言实现的,现阶段要对PDES模型进行验证需要专门设计基于PMC建模语言的模型,不仅耗费资源、时间,而且容易出错。为了实现PDES和PMC的有机结合,提出了一种支持PDES和PMC的统一的建模语言——扩展事件图(Extended Event Graph,EEG),它对事件图在模型同步方面进行了扩展,然后通过转换机制,该建模语言使得用户只需建立一个模型,就能够既进行PDES又利用并行模型检验方法对PDES模型进行形式化验证。最后通过实验验证了基于EEG建立的模型既可以进行PDES又能够进行PMC。

摘要：提出了基于互操作协议的层次式RTI服务器的设计思想 ,给出了层次式RTI服务器YH mRTI的体系结构 ,在此基础上介绍了YH mRTI各管理服务的实现技术 .由于YH mRTI中多个RTI可以并行执行 。

摘要：针对传统的指挥决策系统自动化程度不高等问题,提出了基于工作流的指挥决策系统模型。该模型由工作流元模型演化而来,将指挥决策的共性流程划分为若干个关键业务活动,通过一定规则前后进行关联,每个活动又可以根据实际特点划分为子活动,有效地利用了工作流思想提高了系统的自动化程度。基于该模型开发了一个指挥决策原型系统,该原型系统参照工作流管理系统设计方法,采用C/S体系架构,通过调度服务器任务指令自动控制客户端的活动。经定性分析,该模型相对于传统的设计方法具有通用性、可靠性、智能性等优点。

摘要：在现代战争理论中,如何对综合火力打击计划方案实现有效评估成为一个重要研究方向。在深入调查和研究的基础上,提出系统需求,然后结合当前仿真趋势和技术,设计了综合火力打击仿真系统的体系结构、逻辑框架和信息流程图,详细分析了综合火力计划中的基于标准体系的评估模型和毁伤模型。对于建设同类仿真系统具有重要的参考意义。

摘要：当在多台计算机上调度很多样本并行运行时,采用手工操作效率低且极易出错。设计一个自动化的任务分发与调度工具可以有效地提高仿真运行效率。蒙特卡罗仿真和粒子群优化算法仿真是两类典型的分析仿真,介绍了面向这两类仿真的多样本任务调度工具的实现原理和关键技术,这些方法具有很好的通用性和可扩展性,可以广泛应用于解决各类仿真任务的自动分发与调度问题。

摘要：研究高层体系结构中的死锁问题对于正确理解HLA标准中的时间推进机制、设计运行支撑平台RTI软件中的时间推进服务、以及开发基于逻辑时间的HLA/RTI仿真应用等都具有重要的意义.论文从零前瞻值、时间推进服务、时间管理算法以及死锁的解除等方面对分布式仿真中的死锁问题进行了多方面的研究,探讨了死锁发生时系统所具有的一系列现象,论证了发生死锁和不可能发生死锁时的各类情形.论文揭示了一个带有相当普遍性的原理,即“水平面原理”.该原理表明:当死锁发生时,所有程序都无法向前推进而处于相对静止状态,犹如平静的水面一样.在HLA/RTI仿真中表现为处于死锁状态的所有程序具有相同最大可用逻辑时间,此时所有程序均无法继续向前推进.

摘要：分析了多核环境下传统的离散事件时间弯曲并行系统的性能,针对其事件调度开销小和负载均衡能力强难以兼得的问题,提出了一种基于分布式队列的全局调度机制,设计了相应的数据结构和调度算法,大大减少了锁开销。通过大量实验对多核环境下几种典型离散事件系统并行策略的性能分析表明,本文提出的全局调度策略不仅事件调度开销小,而且回滚率大大降低,有效克服了传统策略回滚量较大或难以实现动态负载平衡的情况,并具备良好的可扩展性。

摘要：并行仿真技术在大规模社会网络研究中扮演着越来越重要的角色,而仿真时间同步机制是决定并行仿真性能的重要因素,如何发掘社会学研究领域的应用特征以设计高效的时间管理算法是当前时间同步机制研究的重要课题。社会网络仿真中个体间行为模式差异较大,难以提取合适的Lookahead以保证保守时间管理策略的高效运行;同时,社会网络仿真中个体交互情况复杂,采用乐观时间管理策略时,容易引起系统内大量级联回滚。本文针对上述问题提出一种基于社区发现的混合时间管理机制,在逻辑进程的粒度上根据网络结构优化选择保守和乐观时间管理策略,从而最大限度地发掘系统的性能。实验结果表明了该算法的有效性。