摘要：并行离散事件仿真软件系统中的事件对象及事件队列的结构、功能、及行为模型要能够支持并行环境中的包括保守、乐观及混合的各种事件处理模式。首先分析并行离散事件仿真系统的运行特点及其特殊技术要求,然后结合已研制开发的并行离散事件仿真系统软件KD-PARSE(KD-Parallel Simulation Environment),给出一种支持事件回退操作的SXO(State Exchange Object)回退框架及双队列事件队列数据结构设计,并通过在多机、乐观事件处理模式下实际运行仿真试验验证了设计的正确性。

摘要：介绍了并行仿真驱动及支持软件KD-PARSE基于状态交换对象(SXO),采用增量式状态保存法,实现透明、可扩展自动回退机制以支持并行离散事件仿真中的乐观时间管理算法的方法,并给出了该回退框架的整体结构设计。介绍了该软件实现的一种持续机制以支持仿真运行中的检查点功能。该持续机制利用持续数据库不仅实现了持续化内存管理,支持程序运行中的可回退动态内存分配和删除操作。

摘要：并行离散事件仿真(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。

摘要：计算机处理器的发展已进入多核时代,为并行离散事件仿真的推广提供了良好的契机。分析了离散事件仿真多核并行化的并行编程模型及时间同步问题,采用乐观同步协议设计实现了一个基于多核平台的并行离散事件仿真引擎。在具有8个执行核的惠普多核服务器上,使用Phold模型系统地测试了并行仿真引擎的各项开销以及事件粒度、进程数目、前瞻量、事件的本地性对仿真性能的影响。实验结果表明,对于事件粒度较大的仿真应用,基于多核平台的乐观并行离散事件仿真能获得良好的加速比。

摘要：并行离散事件仿真技术为复杂大系统的设计与研究提供了便利,该技术要求仿真程序在事件的因果约束条件下,正确、合理地推进仿真。仿真时钟管理及推进是影响并行仿真系统仿真效率的重要因素之一。通过对保守和乐观两种基本同步机制的对比性分析,研究和总结了仿真时钟的管理及推进的关键要素,研究结论对并行离散事件仿真系统具体的同步机制算法的实现具有一定的参考意义。

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

摘要：在构建演化硬件的软硬件协同设计平台中,提出了一种数字电路仿真算法。这种仿真算法根据数字电路的拓扑结构,将电路的仿真过程分为两个阶段:第一阶段主要是对数字电路结构化,并将每个宏实体(模块)置于激活或挂起状态;第二阶段则使用两种方法仿真激活的宏实体。此外,根据软硬件协同设计平台的需求,对电路进行优化度和复杂性评价。实验表明这种数字电路仿真算法能较好地满足该系统平台的要求,有效地指导下一步的演化策略。

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

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

摘要：随机仿真是描述反应-扩散系统随机特征的一种重要研究方法,但这种仿真的计算量很大,非常耗时,需要并行离散事件仿真PDES技术的支持。针对反应-扩散系统的特点,基于JAMES II离散事件仿真实验框架,设计实现了基于逻辑进程LP范型的并行分布式反应-扩散系统随机仿真平台。主要设计实现了LP范型模型接口、PDES仿真器以及分布式通信方法。利用该平台建立了经典反应-扩散Lotka-Volterra系统LP范型仿真模型,实验结果复现了Lotka-Volterra系统的震荡特性,验证了平台的有效性。