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

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

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

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

离散事件动态系统(DEDS)的扰动分析(上)

本文较详细地论述了研究离散事件动态系统(DEDS)的扰动分析法的基本思想,介绍了有关扰动的产生,扰动的传播以及性能指标对参数变动的敏感性等问题的研究现状.

离散事件动态系统(DEDS)的扰动分析(下)

四、扰动的传播规则 由标称样本轨迹构造扰动样本轨迹,必须研究扰动的传播规律.对几种情况下的扰动传播规则进行研究,现已得到比较明确的结果. (一)零阶扰动传播规则 零阶扰动传播规则是指无穷小扰动的传播规则.所谓无穷小扰动,是指这种扰动在传播过程中,扰动和标称样本轨迹间存在“

离散事件动态系统的GSMP模型及扰动分析

对离散事件动态系统（ＤＥＤＳ）的仿真过程建立了包含中断事件集和驱动事件集的广义半马尔可夫过程（ＧＳＭＰ）模型，对参数的无穷小扰动所引起的系统状态转移时刻进行了扰动分析．最后，讨论了扰动分析所需要的可交换条件和样本性能函数的关系。

离散事件动态系统的分析和优化——排队网络模型方法(下)

5近似分析法前面我们介绍了排队网络的三种分析方法,它们都可以求出准确解。这当然是最理想结果,遗憾的是这些方法并不适用于所有的排队网络模型。因此在这一节里我们接着介绍排队网络模型的近似分析。事实上上节已经介绍了一种近似方法:平均值近似分析法。之所以提出近似分析是因为一方面有许多排队网络用现在的理论还无法求出其准确解,因此不得不借助于近似分析;

离散事件动态系统的摄动分析

较全面地综述了基于离散事件动态系统（ＤＥＤＳ）的摄动分析（ＰＡ）方法。通过阐述ＰＡ的基本思想、特点及主要内容揭示了ＰＡ方法研究的理论意义与现实意义，同时，指出现有几种ＰＡ的优点与局限性。最后，概述了ＰＡ的主要应用领域，并对ＰＡ现存问题进行探讨。

离散事件动态系统的扰动分析

本文综述了离散事件动态系统的扰动分析理论取得的进展，给出了几个主要的研究方向和存在的问题，同时对这一理论的应用领域特别是在ＣＩＭＳ中的应用进行了讨论。

线性离散事件动态系统的有限稳定性分析

本文对G.Cohen〔1〕提出的线性DEDS的稳定性问题进行了扩展,提出并讨论了一类新的稳定性问题——有限稳定性问题。由此为分析时序事件图中的令牌无限积累现象提供了更有力的工具。

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

一类线性离散事件动态系统稳态分析

运用极大代数方法 。

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

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

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

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