DEDS故障诊断方法在电梯中的应用

针对电梯这种复杂机电系统难以建模的特点,提出基于随机自动机的离散事件动态系统(DEDS)故障诊断方法．深入研究电梯门系统的故障机理,对各元件的典型故障进行分类,并抽象出各元件的事件集和状态集．将传感器信息和事件发生的可能性信息加入逻辑模型,得到系统的随机自动机模型．把门锁装置从门系统中分离出来,建立电梯门锁装置的随机自动机模型,构建电梯门系统和门锁装置的随机诊断器．通过随机诊断器,对门锁系统故障发生的概率进行在线估计,并对门主体系统的可诊断性进行了分析．此方法为复杂机电系统的故障诊断提供了一条有效途径．

极大代数方法在轧钢厂DEDS中的应用

本文用极大代数方法对某轧钢厂建立了离散事件动态系统（ＤＥＤＳ）模型，在周期分析与配置理论的基础上解决了最优调度与控制问题．

一类DEDS最优调度问题的解法

本文提出了带存储器生产线的一类新的最优调度问题，给出了最优调度目标函数的具体形式，指出它不是凸函数；在一个变量时给出了最优调度的公式解，在多个变量时得到了一个迭代寻优的算法。

DEDS理论在CIMS中应用研究回顾与展望

离散事件动态系统ＤＥＤＳ理论为制造系统分析设计提供了支持工具，制造技术的发展又为ＤＥＤＳ理论提供了实际应用背景．本文综述离散事件动态系统ＤＥＤＳ理论的发展及其在计算机集成制造系统ＣＩＭＳ中的应用研究．分析了各种ＤＥＤＳ方法的特点和探讨了相应ＤＥＤＳ模型的描述范围．扼要叙述了ＣＩＭＳ的发展状况．阐述了ＣＩＭＳ新阶段对未来ＤＥＤＳ理论研究的要求．

DEDS监控理论的最新发展

回顾了DEDS监控理论的模型及其基本问题,介绍了DEDS监控理论的研究现状,并对监控理论的发展方向进行了探讨。

基于通信顺序进程的并发DEDS的规范和证实

在实时通信顺序进程 ( TCSP)的基础上对离散事件动态系统 ( DEDS)进行建模、规范和证实 .介绍了 TCSP中与 DEDS相关的一些研究成果 ,根据离散事件的特点作了符号语义上的改进 ,就两个具体的例子——自动导引小车 ( AGV)和火车道口系统建立了 TCSP模型 ,给出了它们需要满足的特性 。

模拟退火与摄动分析相结合的DEDS仿真优化方法

本文对模拟退火方法进行了改进,以使其适应于离散事件动态系统(DEDS)仿真优化中优化目标值不可精确估计的特点。同时,为了减少仿真运行次数,减少仿真优化的计算机时,算法中引入了摄动分析技术。

非线性DEDS的标准结构

非线性DEDS是指由极大极小函数描述的系统,常见于计算机科学、控制论、运筹学等领域,考虑非自治非线性DEDS的结构问题,通过引入白色图和凝白色图,得到了系统能达和能观的两个充要条件以及系统的标准结构,同时还给出了它们的矩阵表示。

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

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

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

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

集装箱码头立体轨道网络传输系统的DEDS建模方法与评价

提出立体轨道式电动小车集装箱传送分配系统,通过基于离散事件动态系统(DEDS)仿真建模与评价,获得了单箱区和多箱区2种堆场方案下的船时效率和岸桥效率,以及该系统关键部分的效率和忙率指标。结果显示该系统在大部分流程的关键指标上比传统的集装箱装卸方案有较大的提高。在此基础上,通过整数规划建模获得了最佳的系统配置,为该系统的现实应用提供理论支持,也为该系统方案的改进和提升提供了参考依据。

随机DEDS建模方法的统一

本文对基于摄动分析 (Perturbation Analysis,PA)的随机 DEDS建模方法进行了系统的分析 ,指出并解决了其中存在的一些实质性问题 ,推广了基于 PA的 DEDS研究方法 ,建立了新的定义于概率空间的有限自动机模型 ,证明该模型可实现经典有限自动机模型和广义半 Markov过程 (Generalized Semi- Markov Process,GSMP)模型的统一。

随机DEDS可靠性分析和预测的统一模型体系

本文以统一的概率型有限自动机 (Probabilistic Finite Automata,PFA)模型为基础 ,通过将人工神经网络、全局分枝一约界算法和自适应重要抽样算法相结合 ,建立了随机 DEDS可靠性分析和预测的统一模型体系 ,对该体系的普适性和有效性进行了系统的论证。

一类资源分配问题的DEDS模型

本文对一类可表为确定性离散事件动态系统(DEDS—Discrete Event Dynamie Systems)的资源分配问题,建立了极大代数意义下的“线性”DEDS模型,通过对所建立的DEDS模型进行系统分析,便可得到一类资源分配问题的最佳效益及最佳分配方案。

一类DEDS最优调度算法的改进

进一步研究一类 DEDS最优调度问题 ,用极大代数方法得到了目标函数所有参数的简化公式 ,从而完善并改进了最优调度算法。该结果可用于含存储器的串行生产线。

基于矩阵模型的DEDS仿真

离散事件动态系统(DEDS)矩阵模型是一种逻辑运算与代数运算的混合系统。该矩阵模型给出了分析和仿真DEDS的严格框架，并用类似于控制理论状态方程的分析方法描述系统的动态行为。该文采用一种Petri网描述的适用于仿真的DEDS矩阵模型，用Matlab语言，对某炼钢厂炼钢连铸生产过程进行了实例研究。该方法比一般Petri网分析法简洁、完备，并有严密的数学描述和分析手段。

DEDS双子模型的等价变换及其应用

提出了DEDS双子模型的等价变换与等价系统 ,给出了其定义 ,研究了其主要特性和计算方法 ,探讨了其在DEDS双子模型的简化、规范化及性能分析方面的应用 .文中还给出了等价变换在建模、传函矩阵计算和有关定理证明方面应用的实例 .

非自治非线性DEDS的周时研究

对于一般的非自治系统 ,根据对偶定理给出一个通用的周时计算公式 ,并将其应用到几类非线性 DEDS,得到了一些结果 ,其中包括关于分离系统特征值的 Olsder定理的一个简洁证明 ,一类具有特定结构的 min- max系统在输入均匀序列情况下的周时公式 ,以及广义二分系统的周时限幅器等。这些结果对非线性 DEDS的分析。

带决策机制的DEDS的线性系统理论

按最早完工期限法则EDD(Earliest Due Date),就一类带决策机制的DEDS,给出了一种基于棱大代数的描述,使得整个系统能按一定的运算规律实现迭代,从而大大拓展了极大代数理论的应用范围。

基于结构无竞争Petri网的DEDS的状态可达性可控性及其控制

本文给出了依靠代数递推计算判断结构无竞争Ｐｅｔｒｉ网的状态可达性的一种方法；提出了动态子网的概念，提高了判断速度；研究了结构无竞争Ｐｅｔｒｉ网的可达状态控制问题。