集成化企业模型并行仿真系统中的仿真时钟

深入探讨了集成化企业模型并行仿真系统中的仿真时钟管理机制，解决了多个子过程共同使用一个独占型资源时的时钟同步问题和多事件仿真中活动数量限制造成的时钟同步问题以及多个线程之间的时钟同步问题。     

离散事件系统分布式仿真任务分配的启发式算法

本文首先介绍了离散事件系统的异步分布式仿真方法,然后,针对任务分配问题,发展了一种启发式算法,它由过程聚类和过程重新分配两部分组成。     

过程控制训练仿真评估方法研究

评估系统是过程控制型仿真系统的重要组成部分,随着过程控制型仿真系统复杂性增大,其评估系统构建也日趋复杂.该文从一般性的角度对过程控制型仿真系统评估方法进行了探讨,对训练仿真系统中的过程事件进行了分类.针对训练目的,提出了过程控制训练仿真系统的评估标准.结合训练仿真系统的特点,提出了评估的假设前提和事件类型判定方法.以此基础改进了分步评估法并构建了训练仿真系统的评估模型.最后,以海上补给训练仿真系统实际项目为背景,实现了海上补给训练仿真系统评估系统.     

分布离散事件仿真的集中同步算法

分布离散事件仿真和一般的离散事件仿真不同,它没有公共的时钟和事件表,通过分布在多台主机上的仿真模型进行消息传递来实现世界中的事件的并发执行。同步算法是分离散事件离散事件仿真中确保模型之间发生的因果关系正确性的机制。文中提出了一种集中同步算法,它采用建立模型之间的关联关系和仿真控制节点的方法,来对仿真模型之间的交互事件和仿真模型内部事件进行调度。其实现机制简单,避免了死锁的产生,并能实现事件的并发执行。文中最后对在WindowsNT环境下实现该算法进行了探讨。     

化工过程仿真培训系统的单元过程多模型集成

该文提出经工过程仿真训练系统的单元过程多模型集成方法，用有限状态自动机控制的集成多模型描述方法，描述了经工过程仿真系统的单元过程模型，进而讨论了对集成的多模型进行仿真的方法，提出了状态转换的监测与协调算法。把引发状态转换的事件分析为四类：数据通讯，教师台操作高等系统事件，外部操作，发生时间可预先确定的显式事件；由工艺参数和／或控制信号的变化引发的，发生时间不能预先定的隐式事件，分别讨论了多各事件在     

基于线上-线下超网络模型的舆论演化仿真分析

目前在舆论演化模型及其动力学规则的研究中大多数都没有考虑线下网络,导致其无法真实反映舆论传播过程。为解决上述问题,首先利用线上-线下社交网络映射方法得到线上-线下社交网络拓扑结构;然后构建线上-线下超网络模型,集成舆论事件态势信息形成舆论演化仿真环境;最后,利用传播学原理制定线上-线下超网络模型动力学交互规则,进行舆论动力学仿真。将提出的模型用于事件实例分析,仿真结果与舆论事件实际发展情况之间的余弦相似度达到0.99,平均差值为1%。实验结果表明,所提出的模型取得了比其他方法更好的仿真效果,验证了线上-线下超网络模型和舆论动力学交互规则的正确性和有效性。     

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

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

敏捷后勤仿真系统设计与实现

敏捷后勤系统一个由若干个制造商、若干个军用仓库和若干个作战部队存货点组成的网状物流链。本文介绍了作者新近开发的敏捷后勤仿真系统，它能够在给定需求计划和初始库存的情况下，模拟敏捷后勤系统的运行过程。文章给出了敏捷后勤系统的结构；提出了基于时间步进的事件调度法仿真策略；介绍了如何用实体流图法设计敏捷后勤系统的仿真模型，包括总控程序和各实体的事件例程；阐述了敏捷后勤系统仿真程序设计与实现过程，包括仿真时钟设置、仿真参数设置、仿真运行和仿真结果显示。     

基于信息融合思想的水电仿真建模方法的研究

针对水电仿真建模中的复杂性、时变性等问题，将信息融合思想引入到水电仿真系统的建模过程中，利用融合系统的传感施动模型的系统化设计方法，提出了一种基于信息融合思想的水电仿真系统建模方法，为仿真系统建模提供了一种新的思路与方法。将该方法应用于丰满水电仿真系统调速系统的建模过程中，经实际应用表明，该模型在性能上优于传统的调速器仿真模型。     

基于时间Petri网的离散事件仿真方法研究

本文总结了现有离散事件仿真的实现方法,探讨了并行处理对仿真系统的要求,提出并建立了一种基于时间Petri网的面向对象模型。在该模型中引入仿真对象并将其作为仿真处理的基本单元;引入事件发生的时间属性并将其作为时序的依据,使并行执行的事件能被正确有效地处理。此外,该方法很好地解决了仿真过程中出现的异常等问题。     

Workflow simulation for operational decision support using event graph through process mining

It is increasingly common to see computer-based simulation being used as a vehicle to model and analyze business processes in relation to process management and improvement. While there are a number of business process management (BPM) and business process simulation (BPS) methodologies, approaches and tools available, it is more desirable to have a systemic BPS approach for operational decision support, from constructing process models based on historical data to simulating processes for typical and common problems. In this paper, we have proposed a generic approach of BPS for operational decision support which includes business processes modeling and workflow simulation with the models generated. Processes are modeled with event graphs through process mining from workflow logs that have integrated comprehensive information about the control-flow, data and resource aspects of a business process. A case study of a credit card application is presented to illustrate the steps involved in constructing an event graph. The evaluation detail is also given in terms of precision, generalization and robustness. Based on the event graph model constructed, we simulate the process under different scenarios and analyze the simulation logs for three generic problems in the case study: 1) suitable resource allocation plan for different case arrival rates; 2) teamwork performance under different case arrival rates; and 3) evaluation and prediction for personal performances. Our experimental results show that the proposed approach is able to model business processes using event graphs and simulate the processes for common operational decision support which collectively play an important role in process management and improvement.     

An algorithmic analysis of simulation strategies

Each discrete event simulation language incorporates a time control procedure to conduct timing management and next event selection. Each time control procedure embodies, and thus imposes, a strategy (approach, method) for next event selection- and thereby determines the world view of a language. The three generally recognized strategies are event scheduling, activity scanning and process interaction.This paper presents algorithmic formulations of the three strategies and their modeling routines, as well as detailed discussions and comparisons of the strategies. The algorithmic formulations serve to aid understanding by describing essential aspects of the strategies while excluding implementation details which are not strategy-dependent, and which tend to detract from the essential concepts.A significant practical application of the formulations is discussed. This consists of merging the algorithms for the event scheduling and process interaction strategies into one algorithm, which then served as a model for combining GPSS and GASP IV into a simulation system providing the individual capabilities of both language, and the capability to intermix GPSS and GASP within a single model.     

基于TLA的事件图模型形式化验证方法*

针对目前没有直接对事件图模型进行形式化验证的方法,提出了一种基于行为时态逻辑(temporal logic of action,TLA)的事件图模型形式化验证方法.该方法利用TLA语言能够同时表达模型行为与逻辑规则的特点及其与事件图的相似性,将事件图模型及性质规约用TLA语言进行形式化描述,从而使该模型能够被TLA模型...     

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

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

Extending the DEVS formalism for massively parallel simulation

The use of multiprocessors for discrete event simulation is an active research area where work has focused on strategies for model execution with little regard for the underlying formalism in which models may be expressed. However, a formalism-based approach offers several advantages including the ability to migrate models from sequential to parallel platforms and the ability to calibrate simulation architectures to model structural properties. In this article, we extend the DEVS (discrete event system specification) formalism, originally developed for sequential simulation, to accommodate the full potential of parallel processing. The extension facilitates exploitation of both internal and external event parallelism manifested in hierarchical, modular DEVS models. After developing a mapping of the extended formalism to parallel architectures, we describe an implementation of the approach on a massively parallel architecture, the Connection Machine. Execution results are discussed for a class of models exhibiting high external and internal event parallelism, the so-called broadcast models. These verify the tenets of the underlying theory and demonstrate that significant reduction in execution time is possible compared to the same model executed in serial simulation.     

无线传感器网络仿真平台WSNSim的设计

仿真平台对于无线传感器网络尤其是大规模无线传感器网络的性能评价是必不可少的。在分析现有仿真平台优缺点的基础上,从体系结构、应用场景、仿真流程等几方面,设计开发了基于．NET框架的无线传感器网络仿真平台WSNSim,采用MICA2节点实测能量模型和组件设计,实现对环境状态检测、突发事件处理和移动目标跟踪的仿。并在WSNSim平台上验证了改进协议SEMAC的有效性。     

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

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

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

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

混合动态系统的联通格式

混合动态系统是指即具有连续动力学特性又具有离散事件驱动性质的一类特殊的动力系统,并且两者之间存在着相互耦合作用.例如在"机群作战战术与防空系统效能"仿真中,有诸如飞机及导弹飞行等的连续事件系统,有探测模型、目视模型、火力击中目标、高炮发射过程等离散事件系统.混合系统有明显的外部特征,如不连续性、自治/受控切换以及自治/受控状态跳变等.为了研究这类系统的动态特性,研究人员开发了各类仿真软件,这些软件一些实现了产生系统模型的功能,一些实现了实时仿真功能,一些实现了实时监控模型运行的功能.而在一个系统仿真过程中需要用到不同软件来完成整个仿真任务,这就要求各个软件之间能够实现数据通信.而混合动态系统的联通格式实现了软件之间的数据共享.     

一种简化的NS2链路模型

基于离散事件模拟技术的NS2网络模拟器被广泛运用于计算机网络的研究中。传统的NS2链路模型复杂度高,导致了大规模网络模拟由于需要大量的计算时间而难以实现。为降低网络模拟所需要的计算开销,以提高网络模拟的规模以及性能,提出一种简化的NS2链路模型。与传统的NS2链路模型相比,该模型在不影响网络模拟真实性的前提下,不再在链路模型中维护分组缓存队列,并将部分离散事件采用直接计算来处理,以减少离散事件个数,降低模拟运行时间。实验表明,该模型在保证真实性的前提下,使模拟运行时间减少35%以上。