离散事件动态系统的一种新仿真方法

本文针对离散事件动态系统,提出了一种新的仿真方法,它由异步仿真运行、仿真死锁检测、解除仿真死锁三部分组成。文中详细讨论了这种方法的原理及特性,并应用此方法对—FMS进行了仿真研究。     

分布式离散事件系统的安全可诊断性算法

采用有限状态自动机对分布式离散事件系统建模, 提出一种分布式离散事件系统的安全可诊断性算法. 首先, 获得系统的全局模型, 剪枝并确定系统是否可诊断. 若系统可诊断, 则构建该系统的安全诊断器, 在全局模型中添加安全标签, 判断系统是否安全可诊断. 实验结果表明: 该算法可判断分布式离散事件系统是否安全可诊断, 缩小了求解空间; 最好情况下实例状态数约缩减至7倍, 平均情况下实例状态数约缩减5.45倍.     

离散事件系统仿真建模与仿真策略

离散事件系统仿真是现代仿真技术的主要研究热点之一．离散事件系统是一类在工程技术、经济、军事等领域常见的系统，它们的状态在一些不均匀的离散时刻发生变换且状态变换的内部机制比较复杂，往往无法用常规的数学方法来描述．离散事件系统仿真是当前研究这一类系统的最有用处的方法之一．要对系统进行仿真研究，首先需要建立系统的仿真模型．笔者比较详细地探讨了离散事件系统仿真建模的核心一仿真流程管理、离散事件系统的三种仿真建模策略，即：事件调度法、活动扫描法、进程交互法．     

约束离散事件动态系统的仿真优化方法

本文针对决策变量取整型值的约束离散事件动态系统仿真优化问题，发展了一种基于模拟退火方法的仿真优化方法。文中对仿真优化算法中约束的处理方法进行了探讨。最后，给出了一个仿真实例。     

离散事件系统仿真技术

本文阐述了离散系统计算机仿真技术原理以及通过离散系统仿真语言GPSS实现编程的过程。     

VHDL仿真中离散事件仿真核的设计和应用

首先用面向对象的方法设计了一个离散事件仿真核，然后将该仿真核应用于VHDL仿真中．由于对离散事件系统进行了合理的抽象以及仿真核提供了简便的编程接口，所以降低了VHDL仿真系统建模的复杂性，并使得VHDL仿真系统具有良好的可维护性和可扩展性．该仿真核还可以应用到其它的离散事件系统仿真场合．     

离散事件仿真的CPU缓存加速算法

针对大规模离散事件仿真的应用需求,提出了CPU(中央处理器)缓存加速算法。采用空间局域化的环型链表存储事件摘要,兼具离散事件仿真(DES)事件分类和缓存加速作用。算法性能分析显示,入队时间复杂度为O(sqrt(n)),出队复杂度为O(1),优于目前主流的日历调度算法及改进算法。100节点9 900并发业务的网络仿真实验结果证实,相比于线性链表算法,文中提出的算法可使DES计算加速21倍。     

基于模型组件技术的通用离散事件动态系统仿真模型

针对传统离散事件动态仿真软件可重用性差的缺陷，提出了基于组件技术的设计方法，给出了基于组件技术的离散事件动态系统通用的模型接口及原型实现，开发了类似Matlab的离散事件动态系统仿真环境，该仿真工具通过拖放创建模型，联线建立模型间逻辑联系，并在炼钢连铸车间物流仿真中得到了运用。该设计方法还可以推广到其他柔性制造系统的仿真应用中。     

用面向对象的框架语言实现离散事件仿真

利用面向对象的框架语言实现了知识基离散仿真模型的表达、推理和实施。首先用面向对象框架语言构造仿真模型类库，然后用活动循环图将仿真类库连接成仿真的概念模型，最后通过推理产生仿真模型的行为。这种基于知识的仿真建模方法能快速有效地实现复杂系统和病态结构系统的仿真。     

具有强迫事件的DES的事件反馈控制

在系统与监控器的优先同步运行下,讨论了具有强迫事件的ＤＥＳ的事件反馈控制;在预先给定的闭环系统的行为规范条件下,不仅得到了监控器存在的充分条件条件,而且通过构造监控器这一结论进行了证明。     

离散事件动态系统的排队网络分析

离散事件动态系统是一类新型人造系统。这类系统不能用传统的微分方程描述和分 析，本文综述了这类系统的一种分析方法，即排队网络分析法。首先介绍经典排队网络 理论的主要成果，进而讨论基于排队网络模型的几种实用计算方法：如运行分析法、平 均值分析法和摄动分析法，最后对排队网络在柔性制造系统的建模、分析、规划和控制 中的应用作了详细的介绍。     

线性离散事件动态系统控制的一些新结果

应用极大代数理论，将柔性加工生产线等一类离散事件动态系统看作这种代数意义 下的线性系统，讨论了这种系统的运行性质，找到了人为控制初始输入，使闭环系统不 经过渡过程直接进入以λ为周期稳态运行的方法。利用上述方法，提出了对有交连的大 型离散事件动态系统进行协调控制的方法，使其能够直接进入稳态并以同一周期协调运 行。各种方法均给出了实例。     

并发矢量离散事件系统的状态反馈控制

以自动机为模型 ,利用形式语言讨论了并发事件存在的情况下 ,矢量离散事件系统的非确定状态反馈控制 ,对所得结论给出了证明     

线性DEDS的反馈镇定与极点配置

讨论了线性离散事件动态系统(线性DEDS)的反馈镇定与极点配置问题,并得到了合理的结果。研究的方法是以极大代数意义下线性 DEDS 的Z域理论为基础,通过分析Z 域模型与时序标识图(TMG)的关系,求得合适的反馈矩阵。     

DES的代数算子与行为框架

介绍了离散事件系统的几种常用代数算子，以及运用不同的代数算子对一些简单的子系统进行进行综合时，描述子系统逻辑行为的行为框架。     

具有强迫事件的VDES的状态反馈控制

对具有强迫事件的ＶＤＥＳ的状态反馈控制理论进行了探讨，在给定闭环系统行为规范的条件下，得到并证明了控制器存在的充分必要条件。