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

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

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

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

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

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

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

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

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

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

并行离散事件模拟系统容错功能设计

基于时间偏差的并行离散事件模拟是提高模拟速度的有效手段,其通用系统实现结构是分布式逻辑进程模拟结构。提出了在并行离散事件模拟系统中实现容错功能的基本框架,并针对系统本身特点对容错框架各个方面的实现方案给予描述。     

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

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

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

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

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

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

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

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

并行仿真多样本任务分发与调度工具的设计

并行离散事件仿真具有更高的运行效率,已在分析仿真领域得到了广泛的关注.分析仿真往往要对多组参数组合进行比较,要求仿真应用运行多次才能得到所需的结果数据.针对目前并行仿真应用进行多样本多次运行时需要进行大量手工配置、仿真运行效率低下这一问题,论文在对并行仿真应用多次连续运行控制技术进行深入研究的基础上,提出了一种多样本任务分发与调度框架,并设计了多样本任务分发与调度工具.该工具能够将样本运行信息自动部署到局域网内多个节点上,并调度各节点上的样本并行运行.应用表明工具减少了仿真试验人员仿真运行配置工作量,大大缩短了仿真任务运行所需时间.     

Parallel simulation of DEDS via event synchronization

In this paper we use the event synchronization scheme to develop a new method for parallel simulation of many discrete event dynamic systems simultaneously. Though a few parallel simulation methods have been developed during the last several years, such as the well-known Standard Clock method, most of them are largely limited to Markovian systems. The main advantage of our method is its applicability to non-Markovian systems. For Markovian systems a comparison study on efficiency between our method and the Standard Clock method is done on Connection Machine CM-5. CM-5 is a parallel machine with both SIMD (Single Instruction, Multiple Data) and MIMD (Multiple Instruction Multiple Data) architectures. The simulation results show that if event rates of Markovian systems do not differ by much then both methods are compatible but the Standard Clock method performs better in most cases. For Markovian systems with very different event rates, our method often yields better results. Most importantly, our simulation results also show that our method works as efficiently for non-Markovian systems as for Markovian systems.     

面向体系对抗仿真的模型测试方法研究

模型的有效性评估一直是建模与仿真领域研究的重要课题.针对传统校核与验证方法难以确定模型被确认为无效的原因以及传统建模过程中模型开发与实现紧耦合的特点,通过对武器装备体系对抗仿真与模型测试的需求分析,以层次化建模为基础提出了面向武器装备体系对抗仿真的模型测试方法论,从纵向和横向两个层次论述了概念模型和仿真模型的测试方法,给出了层次化模型测试环境的参考实现.该方法不仅为武器装备体系对抗的仿真模型开发提供质量控制手段,同时也为其它仿真应用的模型校核、验证与确认提供有效的方法支撑.     

面向对象建模在Web系统性能测试中的应用

该建模方法讨论Web系统性能测试中UML面向对象建模引入和应用,该方法不仅能够辅助软件开发过程建模时的性能分析,并可以在反向工程模块的帮助下,对既有的待测Web系统进行性能测试和分析。为了证明该系统建模方法在测试中的有效性,还初步探讨了讨论了如何使用离散事件模拟包工具模拟待测Web系统的指定工作负载。     

计算系统生物学中并行随机仿真方法研究进展

随机仿真是计算系统生物学中对随机离散模型进行仿真研究的一类重要方法。本文对随机仿真方法的原理及并行化研究的进展进行了论述,指出了并行化是解决随机仿真性能开销问题的重要途径,并依照细粒度并行和粗粒度并行分类,阐述了当前并行随机仿真方法的研究现状,重点针对空间并行性,介绍了反应-扩散系统随机仿真的方法和相关工具。最后,对并行随机仿真方法研究未来发展进行了展望。     

保守PDES中时间管理问题研究

并行离散事件仿真是一种非常有用的分析求解大规模复杂问题的工具,近年来成为仿真界研究热点之一.而并行仿真算法则是并行离散事件仿真中的核心问题,对于具体的应用系统,采用不同的并行仿真算法将导致其仿真性能大的差异.从保守PDES的基础出发,阐述其在时间管理中所遇到的问题,并进行分析和解决,然后给出一种简单的保守PDES系统结构.     

Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE

Studies of cells in silico can greatly reduce the need for expensive and prolonged laboratory experimentation. The use of model checking for the analysis of biological networks has attracted much attention recently. One of the practical limitations is the size of the model. In the paper we report on parallel model checking of genetic regulatory network using the model-checker DiVinE. The approach can check linear time properties on large networks.     

软件测试模型的探讨

软件测试是软件工程的一个阶段,也是保障软件质量必不可少的重要一环。软件测试模型是软件测试的工作框架,用于指导软件测试过程。本文在深入研究各种综合测试技术的基础上,通过对比分析各种主流的测试模型,提出了一种新的软件测试模型,包括静态测试、动态测试,测试评估等活动,把这些活动嵌入到软件开发的整个生命周期,能更好地规划软件开发和测试等一系列活动,提高了软件生产效率及其质量,该模型还适合于迭代开发。