基于事件图的并行离散事件仿真方法

为解决并行离散事件仿真技术开发难度大的问题,提出一种基于事件图的并行离散事件仿真方法。采用模型驱动体系结构,利用转换器将事件图模型自动转换为基于逻辑进程的并行离散事件仿真可执行代码。并行离散事件仿真的建模方式由以代码为中心的模式发展为以模型为中心的模式。实验结果表明,该方法能提高并行离散事件的仿真效率。     

时间偏差的并行离散事件模拟研究综述

时间偏差是并行离散事件模拟中广泛使用的一种同步机制。从事件列表管理、消息取消、乐观性控制、状态保存和恢复、内存管理以及全局虚拟时间计算等几个主要方面对时间偏差的并行离散事件模拟进行了探讨,阐述了其存在的问题,并对各种优化策略进行了分析比较和对并行离散事件模拟的应用前景作了一个展望。     

离散事件系统分布式仿真的集中并行控制

详细介绍了离散事件系统异步仿真中的一种保守的事件／时间管理策略。包括集中式并行控制机制的基本框架、一些概念、定律以及相应的并行算法,最后举例说明了集中式并行算法的控制流程。     

并行离散事件模拟测试模型研究

世界各国的研究结果表明,并行离散事件模拟在提高模拟速度上表现出较大的潜力。测试模型将为各种并行离散事件模拟算法提供一个综合的平台,方便测试工作的进行,进一步加快测试速度。对测试模型进行研究,介绍其测试内容、测试框架及其可扩展性,并对其应用前景进行展望。     

并行离散事件模拟测试模型研究

世界各国的研究结果表明,并行离散事件模拟在提高模拟速度上表现出较大的潜力。测试模型将为各种并行离散事件模拟算法提供一个综合的平台,方便测试工作的进行,进一步加快测试速度。对测试模型进行研究,介绍其测试内容、测试框架及其可扩展性,并对其应用前景进行展望。     

离散事件系统分布仿真的集中并行控制

详细介绍了离散事件系统异步仿真中的一种保守的事件／时间管理策略。包括集中式并行控制机制的基本框架、一些概念、定律以及相应的并行算法,最后举例说明了集中式并行算法的控制流程。     

适应于无记忆进程的pGVT算法和调度策略

TimeWarp并行离散事件模拟中,事件和状态信息被保留,用于可能的回滚处理,时间戳小于GVT的事件和状态不再被保存。针对无记忆进程不对中间状态产生影响的特点,在不影响其他进程执行的前提下,改进已有的pGVT算法和调度策略,减少相关的通讯量和可能出现的回滚,提高整个模拟的效率。     

基于乐观策略的并行离散事件模拟研究

并行离散事件模拟（PDES）又称分布式模拟,通过将一个离散事件模拟程序在多个处理器上并行执行来提高模拟性能。乐观策略在解决并行模拟中各模拟部分之间的同步关系时具有较好的性能。介绍了基于乐观策略的并行离散事件模拟的原理,讨论了存在的问题,并给出相应的解决方法。     

并行离散事件模拟的同步机制研究

逻辑模拟在设计新系统的过程中起着重要作用,通过计算机进行模拟可以实时反馈输出结果,及早发现潜在的问题,进而缩短设计周期,降低研发成本。并行离散事件模拟通过分散计算量到并行机或者网络的多个节点来减少模拟时间,被视为解决模拟速度问题的有效途径。在影响模拟性能的因素中,各并行子系统之间的同步问题是直接影响并行性能的关键因素之一。探讨了并行离散事件模拟的同步机制,介绍了其基本原理、特点及存在的问题,并阐述了可能的改进方法。     

并行离散事件仿真及其应用研究

并行离散事件仿真是一种非常有用的分析求解大规模复杂问题的工具,近年来成为住址界研究热点之一。本文首先指出并行离散事件仿真研究和应用中的不中足,在分析离散事件仿真机制和并行平台引入方式的基础上,结合实际应用现状阐述了并行离散事件仿真机制难以实现和应用的原因,然后针对这种不足提出了一种实现框架,并以通信系统仿真为例说明了所提框架的优越性。     

基于分布对象的离散事件仿真系统

分布对象技术将面向对象的概念揉合到分布计算中,使得基于对象的软件成员在分布异构环境中可重用、可移植和可互操作。文章把分布对象技术用于离散事件系统仿真中,通过对离散事件系统中分布对象的标识,分布对象间同步机制的讨论,提出了基于分布对象离散事件仿真系统的结构,定义了分布仿真对象的接口。     

面向多核的并行离散事件仿真服务优化

处理器发展已进入多核时代。现有并行仿真内核常常以多进程方式使用多核资源,存在较大的同步和通信开销,无法深入发掘多核处理器潜能。基于层次化并行仿真内核(HPSK)模型,重点对时间管理服务和事件管理服务进行优化,支持多线程架构下进行高效能仿真：(1)基于混合时间推进模式,提出最小发送时戳(EETS)计算协议,可根据仿真应用特点灵活配置为异步 EETS 算法以支持高效的全局同步,并证明了计算协议的正确性;(2)基于并行仿真事件交互的特点,提出无锁创建、异步提交和指针通信的事件管理算法,最小化线程之间的锁开销并减少了内存的消耗。实验结果表明,采用上述优化服务的HPSK能够在各种条件下获得很好的加速效果。     

基于事件图的离散事件仿真模型并行检验方法

非形式化仿真模型验证方法易受主观因素的影响且具有不完备性,而传统的形式化模型检验方法由于受到状态空间爆炸问题的影响,很难处理大规模的仿真模型.并行模型检验方法以其完备性、高效性已经在工业界中得到了成功的应用,但是由于涉及到形式化规约、逻辑学以及并行计算等多项技术,应用难度较大.针对上述问题,提出了基于事件图的离散事件仿真模型并行检验方法.该方法首先对事件图在模型同步方面进行了扩展,给出了扩展事件图的形式化定义、语法及语义;然后将扩展事件图模型转换到分布并行验证环境的DVE模型,成功地将并行模型检验方法应用于仿真模型验证领域.该方法使得仿真人员无须学习新的形式化验证语言就能采用并行模型检验方法对仿真模型进行形式化验证,可降低模型并行验证的难度,从而有效提高模型验证的效率和完备性.实验结果表明了该方法的有效性,有利于扩展并行模型检验方法在仿真领域中的应用.     

基于PDES的弹性周期同步算法研究

并行分布仿真对复杂大规模动态系统的研究以及探索其长远的应用提供了便利,近年来日益成为研究的热点.然而时间同步管理是关注并确保并行分布仿真正确执行的一种机制,它不但要确保正确的执行因果逻辑关系,而且要保证仿真系统的可重复性.时间管理是影响并行分布仿真系统高效运行的重要因素之一.文章首先指出了常用乐观时间同步机制固有的缺点;其次重点描述了事件推进限这一重要概念及弹性周期同步算法的设计与实现;最后对弹性周期同步算法的性能进行了较为深入的探讨.首先对该算法进行了定性的综合评估,随后详细讨论了弹性周期同步算法的关键性能参数M的定量理论分析与推导.     

PDES中乐观时间同步的时空损耗研究

并行离散事件仿真对复杂大规模动态系统的研究以及探索其长远的应用提供了便利,近年来日益成为研究的热点。然而时间同步管理是影响并行离散事件仿真系统高效运行的重要因素之一。乐观的同步是采用检测和回退机制,允许逻辑进程积极的处理本地事件。一旦出现同步错误则利用回退机制从错误中恢复到较早状态,然后再恢复执行。这一切都是通过基于检查点状态保存重建机制来实现的,因而状态保存及状态重建必然伴随着时间和空间的损耗。该文深入研究了在乐观同步机制下,仿真执行时间和内存空间的损耗与检查点间隔之间的关系,并通过推理计算给出了检查点间隔的最优取值范围。     

分布式计算系统回卷恢复容错的仿真设计

为了解决分布式计算系统回卷恢复容错的验证评估问题,设计一种分布式计算系统的回卷恢复容错算法的仿真机制,依据分布式计算系统回卷恢复容错的总体架构,将分布式计算系统中的节点任务过程使用离散事件模拟,在网络系统仿真工具的应用层增加支持多任务回卷恢复容错仿真的模块,并设计用于回卷恢复容错仿真的结构、功能模块和系统参数设定。结果表明本文提出的仿真机制能够实现分布式计算系统的回卷恢复容错算法的模拟验证,为不同容错算法间对比、改进与优化提供参照。      

面向对象的离散事件仿真核的设计和实现

用面向对象的方法设计了一个离散事件仿真核。该仿真核独立于具体的应用,并提供编程的接口,用户只需重新定义这些编程接口即可对各种离散事件系统进行仿真,从而显著地降低了建立仿真系统的复杂性。该仿真核用C 语言实现,文中给出了一个仿真实例。