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

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

基于动态观测的分布式随机离散事件系统故障预测

针对目前随机离散系统的事件可观测性事先固定不变且无法随系统的运行而动态变化的问题,提出一种基于动态观测的分布式故障预测方法。首先对动态观测下分布式随机离散事件系统D−协同可预测性进行形式化;然后为了实现动态观测下分布式故障预测,使用局部随机预测器构造D−协同预测器,给出一个基于D−协同预测器的分布式随机离散事件系统D−协同可预测性的充分必要条件,并提出一种D−协同可预测性的验证算法,该验证算法不仅可用于在线故障预测,还可用于线下可预测性验证;最后分析动态观测下分布式故障预测验证算法在实际应用上的适用性。

分布式随机离散事件系统的模式故障安全诊断

现有分布式随机离散事件系统的研究都集中在单个事件导致的故障上,然而许多实际应用系统所发生的故障往往是由一系列事件相继发生而导致的。针对此类故障的检测问题,本文提出了一种随机离散事件系统的模式故障安全协同诊断方法。首先,对分布式随机离散事件系统的模式故障安全协同可诊断性进行了形式化。然后,通过构造模式故障安全协同诊断器,提出了一个基于安全协同诊断器的分布式随机离散事件系统的模式故障安全协同可诊断性的充要条件,实现了分布式随机离散事件系统的模式故障安全诊断。

随机拓扑下离散多智能体事件触发一致性

针对离散时间多智能体跟踪不稳定的问题,本文研究离散多智能体系统的事件触发一致性控制问题,通过马尔可夫跳变拓扑结构实现各智能体间的信息交互,设计了一种基于动态响应的事件触发条件,给出了马尔可夫跳变控制协议,构造带有转移概率的离散Lyapunov函数,得到所有智能体是均方一致性的充分条件。数值算例验证了所提方法的有效性,证明了本结论可用于解决随机拓扑下离散多智能体的跟踪不一致问题。

基于双向观测器的随机离散事件系统的不透明性

本文针对随机系统模型,研究随机离散事件系统的不透明性。首先对随机无穷步不透明性和随机K步不透明性进行形式化。通过构造一个基于双向观测器的验证器,得到一个运用双向观测器验证系统随机无穷步不透明性和随机K步不透明性的充分必要条件。最后提出一个基于双向观测器的随机无穷步不透明性和随机K步不透明性验证算法。

基于离散事件动态系统的染缸资源配置优化方法研究

在印染企业中,染缸资源的人工配置存在效率低、利用率低等问题。文章从离散事件动态系统的角度研究订单的染缸资源配置过程。根据染缸资源配置自动机模型的行为演变过程,将订单的染缸资源配置过程划分阶段,设定阶段指标函数、最优目标函数,建立各阶段性能指标函数间的递推关系式,运用动态规划原理,提出基于系数ρ和g的染缸资源优化配置算法,得到订单的染缸资源最优配置方式。研究表明,与人工配置结果相比,文章提出的算法能有效缩短订单组加工时间,提高染机资源利用率。

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

离散事件动态系统的结构

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

观测永久丢失下随机离散事件系统故障预测的验证算法

针对随机离散事件系统在故障预测时可能出现系统观测永久丢失,导致预测不准确的问题,提出一种观测永久丢失下故障预测验证的算法。首先对观测永久丢失的随机离散事件系统的U-可预测性进行了形式化。其次使用随机预测器构造了一个随机离散事件系统的U-预测器,实现了系统的故障预测。基于U-预测器,提出了随机离散事件系统U-可预测性的充分必要条件及验证算法,并且引入成对的方式,明显地改进了该验证算法的复杂度。仿真结果表明,该验证算法使得观测永久丢失下系统故障预测准确。最后,实例说明观测永久丢失下故障预测验证算法的应用。结果表明,该验证算法相比现有同类验证算法应用范围更广,验证结果更精确。

线性离散事件动态系统的可达性

可达性是动态系统的重要性质之一。本文讨论离散事件动态系统的可达性,给出了系统完全可达的充要条件,得到了利用系统的特征矩阵判断系统可达性的判据,证明了系统可按可达性进行分解、状态反馈不影响系统可达性等结论,还进一步讨论了一类流水线生产加工系统的可达性,本文的结果对于这类系统的分析和控制是有意义的。