【摘 要】
：
该文首行介绍了Sampath等提出了的逻辑DES的故障诊断方法,这是一种基于事件(event-based)模型的方法.该文采用了另一种更压缩的,由Alur等提出的TFSMA框加实现了赋时DES的基于
论文部分内容阅读
该文首行介绍了Sampath等提出了的逻辑DES的故障诊断方法,这是一种基于事件(event-based)模型的方法.该文采用了另一种更压缩的,由Alur等提出的TFSMA框加实现了赋时DES的基于事件的故障诊断,为研究赋时系统的计动诊断问题作了准备.该文基于逻辑DES的有关结论及以赋时DES部分可观下的监控结论,研究了赋时DES的主动诊断问题,提出了一种组合框架来建模赋时DES的暂态和逻辑行为,这种框架不仅保持了事件原有的顺序和时序,而且更方便于诊断特性和能控性能的分析.接着给出了赋时DES主动诊断问题求解的算法,并利用示例阐述了详细的求解过程.最后,该文将HashtrudiZad等提出了另一种故障诊断方法,即基于状态(state-based)的诊断方法推广至无界Petri网对象,与基于事件的诊断方法相比,它具有更简单的诊断器结构和更宽松的初始约束条件.为避免由于模型近拟而产生的诊断信息丢失,提出了一种改进的诊断器来细化诊断器变迁信息,并给出了可诊断的充要条件.
其他文献
该文通过总结在开发"政府政务公开网络系统"中遇到的实际问题,比较系统地讲述了如何通过ASP技术实现Web与数据库的连接,希望能够对大家有所启迪.该文的后续章节将比较详细地
大型火力发电厂的协调控制系统是一个相对复杂的多变量控制系统。随着现代控制理论的发展，众多高级控制算法都在尝试解决多变量在协调控制系统中的实现问题。本文的研究方向集
该课题综述了啤酒糖化过程自动化控制的发展、现状,分析了糖化过程控制的间歇批次生产、含大纯滞后控制、含难于直接测量的变量、管道易堵塞、清洁度要求非常高等控制难点,结
该文主要研究新一代歼击机超机动攻击的火力控制以及综合火力/飞行智能控制系统的理论与三维动画仿真问题.为此,该文展开了一系列细致而深入的研究工作.该文首先回顾了航空火
该文第一章概括叙述了酚醛树脂在国防工业、航空航天工业等方面的应用及发展前景,指出高质量酚醛树脂的合成是生产军用高性能复合材料的关键技术,总结了当前中国树脂生产线存
该课题结合实际生产需要,对现有的手工控制浸焊炉进行改造.浸焊炉是用于浸焊电路板的设备,针对浸焊炉对象所具有的大滞后,大惯性的特点,设计一个基于模糊控制的外置式智能温
该文在对国际上具有影响的代表研究机构和教授的研究成果进行大量的资料收集和整理的基础之上,通过对代表性研究成果、技术报告等剖析,基本弄清了增强现实系统的结构、实现的
该文针对银行业务中的网络计算环境,以用户指纹验证取代传统的身份验证方式,采用当前最为流行的三层C/S体系结构,设计并实现了指纹自动识别管理信息系统,对系统各部分的功能
该文以在我国钢铁企业较为普遍的五机架四辊冷连轧机为背景,通过对宝钢2030mm冷连轧机系统轧机系统轧制过程与设备的分析,建立五机架冷连轧动态模型,并对该模型进行了辨识与