面向PLC的离散事件控制系统设计方法研究

对于采用可编程逻辑控制器(PLC)实现的复杂离散事件控制系统(DECS),现有设计方法在效率和易用性等方面存在不足。文章提出基于Petri网的建模准则和方法,实现DECS规范化模型的建立;在定义结构化的元素逻辑关系表基础上,设计面向梯形逻辑图(LLD)的转换算法,实现系统模型向PLC程序的自动转换,为构建面向PLC的DECS一体化设计平台奠定技术基础。     

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

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

基于C/E系统监控器的CPLD实现

文章给出了用复杂可编程逻辑器件 (CPLD)实现离散事件动态系统 (DEDS)监控器的方法 首先用Petri网中的条件 /事件系统 (C/E系统 )对DEDS建模 ,然后使用Petri网工具对模型进行分析 ,并根据控制要求设计出Petri监控器 ,最后用CPLD实现之 这不仅使Petri网有了硬件支持 ,而且也为逻辑控制器的设计提供了一种新的方法 文中给出了猫和老鼠迷宫问题基于C/E系统监控器实现的例子     

基于滚动优化的离散事件系统控制

将预测控制的广义原理应用到离散事件系统（Discrete Event System,DES)的控制理论中，得出了DES基于滚动窗口监控的一般方法。根据系统行动 描述定义了受控DES的行为模型，并提出了DES的预测模型集、子预测模型集和基于滚动窗口的监控算法。     

WITNESS环境下基于改进型IDEF3方法的离散事件仿真建模

针对WITNESS仿真环境下，复杂离散事件仿真建模过程中出现的大量顺序、并行、同步、冲突及因果依赖等关系，提出采用改进型IDEF3方法进行仿真建模．采用仿真规则与交汇点集成、行为单元与仿真信息数据集成的原则进行建模；同时在IDEF3方法的基础上，建立新的行为单元，达到了仿真单元的可重用和可重构性，大大提高了仿真建模的速度，减少了建模难度．最后，给出了在改进型IDEF3方法下进行离散事件仿真的框架，并在仿真软件WITNESS的基础上，通过实例详细描述了建模过程．     

离散事件模型的代数方法及其监控理论

有限状态机（ＦＳＭ）、Ｐｅｔｒｉ网、通信顺序进程（ＣＳＰ）和有限递归进程（ＦＲＰ）都是用来描述离散事件动态系统逻辑行为的，都可以化为一种代数形式。本文首先描述了构造离散事件模型的一般方法，然后讨论了在其上发展的监控理论。     

具有并发事件的离散事件系统的动态监控

本文用受控Ｐｅｔｒｉ网为具有并发事件的离散事件系统建模，研究了该模型了的离散事件系统的禁止并发事件串的控制问题，利用合法语言及合法语言的最大可控子语言来规范监控器，并提出了一种动态监控的方法。．     

基于C／E系统监控器的CPLD实现

文章给出了用复杂可编程逻辑器件（CPLD）实现离散事件动态系统（DEDS）监控器的方法。首先用Petri网中的条件／事件系统（C／E系统）对DEDS建模,然后用Petri网工具对模型进行分析,并根据控制要求设计出Petri监控器,最后用CPLD实现之。这不仅使Petri网有了硬件支持,而且也为逻辑控制器的设计提供了一种新的方法。文中给出了猫和老鼠迷宫问题基于C／E系统监控器实现的例子。     

基于SystemC的罩式炉退火车间离散事件仿真模型

罩式炉退火车间的调度过程是一个典型的多机、多阶段、多约束、有重入的流水车间并行作业调度问题,难于解析建模.考虑SystemC解决大规模集成电路硬件建模问题的优势,分析退火工艺流程,采用平台映射的思想将罩式炉退火车间生产过程映射到SystemC上进行描述,结合离散事件仿真技术建立了基于SystemC的罩式炉退火车间离散事件仿真模型.该模型能快速有效地对退火过程任意初始状态进行模拟,实现方法容易、程序简洁、运行速度快、可读性强,为生产作业调度提供了决策支持.通过实例验证了基于SystemC的建模方法解决离散事件仿真问题的正确性和有效性.     

应用微分Petri网分析汽车再生制动模式的切换

针对混合动力汽车再生制动模式切换过程中引起的混杂系统的动态变化难以控制的问题,利用混杂系统理论,分析了混合动力汽车制动过程中的离散事件和连续状态变量对再生制动模式切换的影响.基于给定的再生制动控制策略,建立了再生制动混杂系统的微分Petri网模型,在以往建模方法的基础上增加了对离散事件的单独刻画,实现了对再生制动过程中的离散事件和连续状态变量的综合建模.通过Matlab/Simulink/Stateflow建立再生制动数学模型,实现了对再生制动过程中离散事件和连续状态变量的综合仿真,完成了再生制动模式判断和模式切换过程,结果表明微分Petri网用于再生制动混杂系统建模是合理和可行的.     

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

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

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

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

混合动态系统的离散事件受控对象模型

混合动态起因于离散事件系统用于监控连续状态系统的行为。用抽象语言方法描述连续状态系统，通过对连续状态系统空间的一致性分划，抽象出离散事件对象模型。基于输入／输出观点简要地讨论了离散控制器综合。     

生物医学循环系统的Petri网分析与实时控制

用Petri网方法对一个生物医学循环系统进行分析,详细描述了循环系统的各个状态及转移关系,并给出了Petri网分析离散事件系统的步骤与方法,最后通过微机对系统进行实时控制。     

基于广义离散事件动态系统的多路口智能交通流量控制

在传统意义上的离散事件动态系统中事件定义的基础上,提出了广义离散事件动态系统的思想.通过对事件属性划分的动态调节,使事件的辨识条理化.对公路交通中的多路口流量建模,并进行了分析.基于广义离散事件动态系统的调度思想,利用人工代谢算法对交通流量进行了控制分析.分析结果表明:广义离散事件动态系统能对系统的状态进行进一步的细化.人工代谢算法与该系统相配合,通过代谢算子的调节能较快地实现整个系统负荷均衡,能对流量的变化进行自适应调节.     

离散事件系统故障的极小观测序列

为了提高可诊断离散事件系统故障的在线诊断效率,本文从判定故障发生的可观测事件的角度,提出了故障极小观测序列方法.文中选取有限状态自动机对离散事件系统进行建模.首先,在离线状态下,建立系统的故障模型,以排除对于判定系统故障无关的路径.然后,根据故障模型进一步建立判定系统故障的极小观测序列模型.当离散事件系统在线诊断时,仅需将逐步增加的在线观测事件序列与故障的极小观测序列模型进行比对.若能找到满足该模型的任何一条路径,则说明路径终止状态上故障标签对应的系统故障发生;否则,说明系统无故障发生.文中对可诊断离散事件系统进行实验对比,通过故障的极小观测序列模型能尽快判定有无故障发生,以及发生了哪些故障.该模型能有效地缩小系统在线诊断的时间,提高系统在线诊断的效率.     

基于Petri网模型的顺序离散事件机电系统在线Bayes故障诊断方法

提出了顺序离散事件机电系统的概念,并基于Petri网理论,研究了赋时简单串联顺序事件Petri网对该类系统建模.将变迁过程的时间度量看成统计量,提出一种Bayes试验鉴定方法,用于对统计量方差差异进行显著性检验,并通过结合Bayes方法与先验知识对系统进行故障诊断.实验结果表明,该故障诊断算法能够充分将经验知识和实时监测数据相结合,可以较准确地检测某物料自动输送系统的故障.