在离散事件系统中寻找诊断路径的方法

利用简单的编码理论提出一种在离散事件系统的故障诊断中快速找到诊断路径的方法.该方法通过状态编码,降低了在离散事件系统诊断同步过程中的时间复杂度,消减了诊断路径冗余.能够在给定的观测集合上快速提取诊断路径,更适合实际观测事件较少的系统.在模型完备假设下,除首次根据观测集合进行诊断需要指数级时间外,后续观测诊断时间降低到多项式级.实验验证了方法的有效性.     

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

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

模糊离散事件系统的多故障诊断

针对诊断器不能只依赖自身就能判断诊断的缺点,基于不可区分串的概念,提出一种模糊离散事件系统的多故障诊断方法.首先,基于极小可观测事件构造模糊自动机相应的诊断器,用于寻找不可区分串的集合;其次,根据诊断器的性质,提出模糊离散事件系统的多故障可诊断的充分必要条件;最后,通过实例进行验证.结果表明:该方法为模糊离散事件系统的多故障诊断提供一种简单可行的新途径.     

通信协议离散事件系统故障的时间可诊断性分析

研究了基于离散事件系统的通信协议故障的时间可诊断性问题.时间可诊断性从系统运行角度分析系统模型的可诊断程度,为系统后续的故障诊断分析提供理论依据.通信协议离散事件系统存在数据传输过程中节点多、部分关键节点信息不能直接获取等缺点导致不可观故障分析十分困难,利用可观变迁序列和变迁触发时间重构故障事件的发生结合整数线性规划问...     

实时离散事件系统监督控制的代数分析

本文基于离散事件动态系统（DEDS）的自动机模型，用极大和极小代数对状态转移时间，在某一范围内变化时的有关问题进行了分析。     

离散事件系统的监督控制理论

本文综述了离散事件系统监督控制基本理论及成果。介绍了离散事件系统的自动机表示、监督控制、模块化监控、分散监控，以及与之有关的语言可控性、可观性和可识别性等概念。     

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

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

离散事件控制系统规则化描述方法的研究

离散事件控制系统(DECS)是离散事件系统(DES)在控制领域的一个应用类别,具有并发性、多值性、时序性和需求易变等特点。文章分析了现有的各类逻辑层DES建模方法在DECS建模和分析方面存在的缺陷,在此基础上,运用专家系统中的规则表达方法和递阶DECS简约技术,从逻辑层角度,建立了一套规范、简洁、贴近自然语言和易于理解的DECS规则化描述方法。     

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

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

Johnson 算法的极大极小代数证明

通过极大极小代数的方法对串行生产线进行建模，并给出了Ｊｏｈｎｓｏｎ算法的严格证明     

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

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

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

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

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

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

离散事件动态系统周期求解的线性规划方法

应用计时事件图中回路的线性代数特征,将线性离散事件动态系统的周期计算转化为线性规划(LP)问题,并且得到的LP问题具有较少的变量和线性约束,避免了传统方法中对回路的穷举搜索,降低了计算的复杂性·     

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

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

离散事件动态系统状态空间模型的降维与化简

DEDS的分析总需要将状态空间表达式变为输入/输出表达式,需要进行A~*的运算.这在min max<γ,δ>代数中是一项十分复杂的任务。本文引入一种模型降维的方法,可使求星运算由矩阵情况转为标量情况,为系统分析提供了方便。     

一类离散事件动态系统 (DEDS) 的状态方程

Y.C.HO等人提出了第一个建立在事件域上的DEDS的扰动分析状态方程,但是,这个方程存在着缺陷和不足。本文在较深入分析该方程的基础上,提出了适合于更为一般情况的状态方程。     

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

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