基于Agent的离散事件仿真系统的控制功能框架研究

在研究基于Agent的离散事件仿真技术的基础上,提出了一个基于Agent的离散事件仿真系统的控制功能框架(ADESCF)。该框架包括了输入接口控制、输出接口控制、模型结构控制、仿真时钟控制、实验数据控制、仿真实验控制、仿真逻辑控制七个功能元素。分析了各种控制功能的工作原理与机制,并从输入输出连接关系角度分析了多Agent仿真系统层次化与分布式建模的本质,为该类仿真系统的开发提供了可参考的依据。     

基于混杂系统理论的制造系统仿真

根据制造系统连续事件与离散事件并存的特点,提出一种制造系统半实物仿真方法,设计连续事件和离散事件并存时仿真系统的时间推进机制。在Arena环境中实现对离散事件系统的建模,在Labview环境中实现特定连续变量事件的半实物仿真。设计并实现离散事件系统与连续事件的接口连接。仿真实验结果表明,该系统能较好地反映出整个制造系统的混杂特性,为混杂制造系统的仿真提供一种新的思路。     

基于Java的多线程离散事件仿真机制

本文分析了以事件为中心的离散事件仿真机制中存在的固有缺陷,讨论了Java多线程编程,提出了以活动为中心的多线程仿真机制,并论述了该机制中仿真时钟推进、运行控制的实现途径.     

逆仿真在不可控到达排队系统中的应用

针对传统的离散事件系统仿真技术在排队系统进行设计方面存在的不足和困难，本文提出采用一种亲的仿真技术－离散事件系统逆向仿真来解决，并以单急救站系统为例，介绍了 向仿真应用于该系统进行结构设计的具体方法和过程，最后通过正向仿真对设计结果进行检验，说明了利用逆向仿真求解该类问题的可行性和有效性。     

MATRIXx软件在离散事件仿真中的应用研究

MATRIXx是现今控制领域中一个比较实用的工程软件，尤其在结构复杂的大系统仿真中的应用前景更为可观。本文讨论了MATRIXx仿真软件在离散事件系统仿真中的应用方法，并以冷连轧生产过程中的离散事件系统仿真实例，应用MATRIXx软件中的层次化设计思想以及触发机制建立了仿真模型，给出了仿真效果。     

离散事件系统并发仿真环境

本文提出了并发仿真思想。并介绍了针对柔性制造系统仿真研制的离散事件系统并发仿真环境:将制造系统作为仿真对象部分,将控制、调度等管理方法作为决策部分,仿真对象部分和决策部分作为两个独立的作业并发执行,它们交互作用完成整个仿真过程。介绍了一个将上述两部分连接成一个完整仿真系统的接口(软件)。     

离散事件系统规范DEVS研究

离散事件系统是一类常见的系统，如何对这类系统进行描述与建模是离散事件系统仿真研究的核心内容。离散事件系统规范DEVS是一种离散事件系统形式化描述方法，它具有层次化和模块化的特点，利用该方法可对复杂的离散事件系统进行建模、设计、分析和仿真。该文详细介绍了DEVS基本模型和耦合模型，给出了DEVS在耦合运算下的封闭性构造证明，并提出了一种具有嵌套层次结构的DEVS耦合模型实现算法，该算法对基于DEVS描述的离散事件系统的仿真实现具有一定参考价值。     

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

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

基于Vega的特殊效果三维可视化仿真

在OpenGL、Perfonner等主流开发平台上作特殊效果编程，常显得繁冗复杂。应用Vega工具，通过预定的扩展接口，可方便实现多种特殊效果，在体现视景仿真高逼真度的同时提高编程效率。采用Multigen公司的Lynx工具构建了虚拟场景应用定义文件，分析了特殊效果的主要涉及参数，结合C＋＋语言编程实现了一个小型三维作战仿真环境，用实例表现出在可视化仿真系统中基于Vega平台的特殊效果的实现方法。     

分级调度的分布离散事件系统仿真策略

分布离散事件系统仿真中的仿真策略,是离散事件系统仿真领域研究的一个关键问题。文章提出了基于事件分级调度的仿真调度算法,并详细介绍了算法的基本思想,给出了算法的步骤和流程图,最后对算法进行了简要的分析。     

基于消息的离散事件仿真方法

本文提出了一种基于沙息的离散事件仿真方法,它将面向对象的程序设计方法,分布式仿真和并行算法的概念结合在一起,与传统的离散事件仿真方法相比,是一种更加灵活而直观的模型仿真方法。     

VHDL事件驱动模拟核心库

论述了一个为构造编译型VHDL模拟系统而设计的模拟核心库，它采用事件驱动的模拟算法进行元件调度，使其适用于同步电路和异步电路的模拟，采用多值延迟模型，可同时完成功能验证和时序验证工作；采用多数据类型表示形式，适用于从系统行为级，寄存器传输级到逻辑门级的设计模拟验证工作，模拟核心库使用标准C＋＋语言设计，采用面向对象编程思想构造核心库的结构，并使用C＋＋虚接口为被模拟供简单的建模接口，通过实验证明此模拟核心库具有简单，正确，高效，可扩充和平台通用等优点，适合于编译型模拟系统的构造。     

PL/I as a discrete event simulation tool

The programming language PL/I is considered as a most useful and portable discrete event simulation tool. This paper discusses design facilities required in simulation languages, making use of a model described in PL/I. The problem of queues, parallelism and synchronization in a simulator is solved. The structure of the simulator is considered.     

Job-Shop调度问题的仿真研究

Job-Shop是离散事件系统中典型的调度问题，通过计算机仿真能够动态地展现Job-Shop车间的状态，分析在不同调度方法下的系统性能，并运用知识和经验去选择合适的调度方法，从而改善调度性能。本文构造了Job-Shop的离散事件仿真模型，设计了基于事件驱动的仿真策略，并讨论了优先调度准则，为解决这一问题提供了一种现实可行的思路与方法。     

Ptolemy离散事件模型形式化验证方法

Ptolemy是一个广泛应用于信息物理融合系统的建模和仿真工具包,主要通过仿真的方式保证所建模型的正确性.形式化方法是保证系统正确性的重要方法之一.本文提出了一种基于形式模型转换的方法来验证离散事件模型的正确性.离散事件模型根据不同事件的时间戳触发组件,时间自动机模型能够表达这个特征,因此选用Uppaal作为验证工具.首先定义了离散事件模型的形式语义,其次设计了一组从离散事件模型到时间自动机的映射规则.然后在Ptolemy环境中实现了一个插件,可以自动将离散事件模型转换为时间自动机模型,并通过调用Uppaal验证内核完成验证.最后以一个交通信号灯控制系统为例进行了成功的转换和验证,实验结果证实了该方法能够验证Ptolemy离散事件模型的正确性.     

混合系统改进的仿真时钟等步长同步方法及性能评价研究

通过对一类混合系统仿真中的连续系统、离散事件系统及推理决策系统各自仿真时钟的分析,得出了推理决策系统仿真依赖于其两个系统的结果,继而提出了用其中的离散事件 系统仿真时钟云同步具有等步长策略的连续系统仿真时钟改进的等步长方法,并给出了相应的软件实现方法与性能评价准则,解决了该类混合记真时钟的同步问题,减少了仿真误差,从而为该类混合系统的仿真提供理论依据。     

国民经济动员仿真演练混合仿真策略研究

国民经济动员仿真演练是一个复杂的基于HLA的分布式离散事件仿真过程,包括人在回路与无人在回路的混合仿真环节,且一次演练中参演单位数量非常多,需要解决高效的实时与超实时混合仿真控制问题.在分析仿真演练特点的基础上,将并行离散事件仿真(PDES)技术应用于联邦成员仿真控制过程,提出联邦成员离散事件仿真与成员内部PDES混合仿真策略.在分析时间推进过程的基础上,设计全局仿真时间控制机制.混合仿真策略可以支持实时与超实时混合仿真模式,并能充分地提高仿真并行能力,而全局时间控制则保证了系统时间的有效推进.     

Rollback overhead reduction methods for time warp distributed simulation

Parallel discrete event simulation is a useful technique to improve performance of sequential discrete event simulation. We consider the time warp algorithm for asynchronous distributed discrete event simulation. Time warp is an optimistic synchronization mechanism for asynchronous distributed systems that allows a system to violate the synchronization constraint and, in this case, make the system rollback to a correct state. We focus on the kernel of the time warp algorithm, that is the rollback operation, and we propose some techniques to reduce the overhead due to this operation. In particular, we propose a method to reduce the overhead involved in state saving operation, two methods to reduce the overhead of a single rollback operation and a method to reduce the overall number of rollbacks. These methods have been implemented in a distributed simulation environment on a distributed memory system. Some experimental results show the effectiveness of the proposed techniques.