离散事件动态系统理论的发展动向

离散事件动态系统(DEDS)是这样一类人造系统,它在每一时间点上的变化发展依赖于许多不同事件的复杂交互作用,其状态仅在离散的时间点上发生变化。这样的系统很多,如制造系统、计算机系统、城市交通系统、排队服务系统、复杂的多模式过程控制系统等。离散事件动态系统理论自1980年由美国哈佛大学著名教授何毓琦(Y.C.Ho)倡导研究以来,已取得了不小进展。十多年后的今天,问题和成果并存,我们对建立这一理论的困难也有了进一步的认识。本文从探索的角度向读者简介一下此理论的发展情况,与计算机科学的联系,潜在的应用问题,及讨论一下此理论目前存在的问题和未来发展方向。

离散事件动态系统理论及应用

文章从系统分析、模型设计、性能分析、控制与优化等几个方面对离散事件动态系统（Ｄｉｓｃｒｅｔｅ Ｅｖｅｎｔ Ｄｙｎａｍｉｃ Ｓｙｓｔｅｍ，ＤＥＤＳ）的研究与发展状况进行了较为系统的综述，对 ＤＥＤＳ与连续变量动态系统进行了简要的对比分析，并指出了 ＤＥＤＳ理论在柔性制造、网络通讯、生产调度等方面的应用。

离散事件动态系统理论在航空工业生产系统中的应用前景

在市场经济条件下,航空工业企业生产系统既要优先保证军品任务,又要适应市场波动带来的各种离散事件的冲击,要改变生产管理“救火”的被动局面。DEDS理论的兴起给航空工业生产管理提供了有力的工具。本文从DEDS理论出发,结合航空工业生产管理的特点,说明了DEDS理论对解决生产管理中问题的针对性。为航空企业在生产中应用先进的理论和方法,摆脱被动局面提供参考。

随机离散事件系统基于动态观测的安全诊断研究

现有随机离散事件系统研究大都是假设事件的可观测性是固定不变的,而许多实际应用系统中事件的可观测性往往与系统所处的状态有关。为此,本文提出一种动态观测下随机离散事件系统安全可诊断方法。引入一种动态观测,使每一个状态都有各自独立的可观事件;对动态观测下随机离散事件系统安全可诊断性进行形式化;推导出一个基于安全诊断器的动态观测下随机离散事件系统安全可诊断性的充分必要条件,实现动态观测下随机离散事件系统的故障安全诊断。

离散事件动态系统的状态反馈控制理论进展

综述了离散事件动态系统 (DEDS)的状态反馈控制理论方面所取得的进展 ,讨论了几个主要研究方向 。

离散事件动态系统多模型集成控制理论

本文讨论现有各种DEDS模型和理论之间的关系以及建立统一的DEDS理论的可能性问题,主要内容包括:DEDS的复杂性以及对它采用多重模型描述和递阶控制结构的必要性;对现有理论模型和控制问题进行综述以揭示它们作为“知识块”看待时其间的相互联系;集成的方法论和为此目的运用人工智能技术的重要性。

基于ExSpect的复杂离散事件动态系统建模

随着petri理论与应用研究的不断发展,petri网已经成为离散事件动态系统建模和分析的有力工具。采用petri网对复杂离散事件动态系统进行建模和分析,没有一套科学的建模方法指导和有力的软件支持是不可能实现的。介绍了基于Petri网的可执行的规格说明语言Exspect及其软件,提出了基于Exspect的复杂离散事件动态系统建模的方法,并进行了实例研究。

离散事件动态系统的理论与应用

离散事件动态系统是指由离散事件按照一定的运行规则相互作用而导致系 统状态演化的一类动态系统。本文针对逻辑、时间、统计层次,简要介绍了DEDS的层次模型及理论进展,分析了DEDS理论的应用及发展趋势。

离散事件动态系统仿真优化方法综述

仿真优化方法是离散事件动态系统研究的一种有效工具.对离散事件动态系统研究的仿真优化方法的最新进展进行了综述.根据仿真输入参数,分为连续参数方法和离散参数方法两种进行讨论.

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

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

逻辑控制器设计与离散事件系统监控理论

物联网等通信技术将越来越多的控制元件集成起来,导致系统规模快速增长,逻辑控制规范也日益复杂,任何逻辑错误都可能造成重大事故和人身灾难,再加上"维数灾"问题,安全可靠的逻辑控制程序的设计和调试面临巨大的计算复杂性难题.而离散事件系统监控理论旨在研究复杂控制规范的设计和实现问题,将连锁、互斥、字符串语言等复杂控制逻辑描述为自动机或Petri网,然后转换为可编程逻辑控制器或现场可编程门阵列上执行的程序代码.本文综述了现有的逻辑控制器的形式化设计方法,主要涉及如何利用监控理论(自动机或Petri网)来缩短程序开发周期、提高程序可重用性和确保程序可靠性和安全性等问题.

基于抑制弧Petri网的离散事件系统的监控理论综述

利用Petri网的抑制弧实现离散事件系统的监控是离散事件系统监控理论的一个新进展.对抑制弧Petri网作了简单的介绍,并给出了该监控理论的基本原理.详细地回顾和总结了该理论的四种方法,即:结合自动机的字符串避免方法、抑制弧方法、基于抑制弧的状态避免控制器方法以及加权抑制弧方法,分别分析了这几种方法各自的利弊.最后对其可能的发展作了展望.

离散事件动态系统事件时序的鲁棒性

指出了离散事件动态系统事件时序同离散事件动态系统的若干重要性质的联系．对于极大代数描述的ＤＥＤＳ模型，较系统地研究了事件时序在参数发生区间摄动情形下的鲁棒性的有限检验问题．对于事件发生时刻是摄动参数的仿射线性函数的情形，得到事件时序鲁棒性的Ｋｈａｒｉｔｏｎｏｖ－ｌｉｋｅ判据．对于事件发生时刻是摄动参数的多项式函数的情形，证明其通常不存在事件时序鲁棒性的顶点有限检验判据．给出了这种情形下事件时序在参数发生摄动时能够保持的一个充分条件．

离散事件系统仿真在冷连轧动态系统中的应用

离散事件仿真技术是仿真领域中应用比较广泛的一种技术。本文以冷连轧生产过程为例，分析了带钢轧制过程中离散事件仿真的特点，结合生产过程中的实际问题，提出了冷连轧机过程仿真中各种事件的处理方式，并根据事件的特点和作用对象的类别，将事件进行分类组合优化处理，大大提高了仿真系统的效率。

参数摄动时一类离散事件动态系统的渐近性能估计和鲁棒性条件

本文针对一类在极大代数上可表示为线性模型的离散事件动态系统,讨论了参数摄动对系统周期稳态性能的影响,给出了定量估计参数摄动下性能改变量的一个关系式,建立了性能对参数摄动不敏感的鲁棒性条件。本文的结果,对确定系统参数的允许摄动范围,使之不破坏离散生产过程的有序和协调运行,是有指导意义的。

离散事件动态系统仿真工具DEDS Sim及其应用研究

该文叙述了离散事件动态系统仿真工具DEDSSim的设计方法和设计结构。DEDSSim基于面向对象方法 ,运用COM(ComponentObjectModel)组件技术 ,采用图形窗口环境 ,通过拖放方式组态系统 ,联线方式建立模型间逻辑联系 ,并具备系统扩展功能。该仿真工具已经在某一炼钢连铸物流系统得到了成功地运用。

离散事件动态系统稳定性分析方法

本文提出一种受控时序PETRI网络方法以建立离散事件动态系统状态空间模型,并以此为基础给出一类离散事件系统的稳定性定义及一种新的稳定性分析方法。

模糊离散事件动态系统相关问题的研究

以全面表述离散事件动态系统中不确定问题以及用不确定性方法简化系统为目的 ,首次给出了模糊离散事件动态系统 (FDEDS)的定义。以铁路系统的行车指挥问题中的不确定性问题的处理为背景 ,全面论述了研究FDEDS的原因。文章说明了基于列车群运行的FDEDS实验平台的研究情况 ,并叙述了其在铁路系统的建模、分布式行车指挥、不确定问题的处理等方面的应用。在研究面向FDEDS的建模工具和算法时 ,采用Petri网和OO技术相结合的方法 ,既有非常好的系统描述能力又有好的模型分析和验证手段 ,也为相关算法的研究奠定了良好的基础。同时也对FDEDS中的模糊化等问题进行了讨论。

离散事件动态系统的结构

提出对离散事件动态系统的结构及组合规律进行研究的问题 ,提出离散事件动态系统结构的定义 ,提出子系统的两种组合方式并论证了相关的性能保持条件 .利用系统的结构及组合规律 ,可以在建模过程中同时考虑控制需求 ,避免常规方法的分析困难和综合复杂性 ,大幅度减少系统分析和设计过程的开销 ,从而为离散事件动态系统监控理论的应用开拓新的途径 .