基于离散事件动态系统的故障诊断理论的研究
| 中文摘要 | 第1-5页 |
| 英文摘要 | 第5-7页 |
| 致谢 | 第7-11页 |
| 第一章 综述 | 第11-20页 |
| 1．1 研究领域简介 | 第11-17页 |
| 1．1．1 故障诊断 | 第11-12页 |
| 1．1．2 DEDS故障诊断 | 第12-17页 |
| 1．2 本文研究的意义 | 第17-18页 |
| 1．3 全文概貌 | 第18-20页 |
| 第二章 DEDS监控理论 | 第20-40页 |
| 2．1 引言 | 第20-21页 |
| 2．2 监控理论基础 | 第21-28页 |
| 2．2．1 建模方法 | 第21-23页 |
| 2．2．2 能控性和能观性 | 第23-25页 |
| 2．2．3 监控器 | 第25-28页 |
| 2．2．3．1 监控器基础 | 第25-27页 |
| 2．2．3．2 监控器综合 | 第27-28页 |
| 2．3 分散监控 | 第28-32页 |
| 2．3．1 基于局部控制目标的分散监控 | 第28-30页 |
| 2．3．2 基于全局目标的分散监控 | 第30-32页 |
| 2．4 用于分散监控的联合正态理论 | 第32-39页 |
| 2．4．1 联合正态 | 第32-35页 |
| 2．4．2 分散监控问题求解 | 第35-37页 |
| 2．4．3 例子 | 第37-39页 |
| 2．5 小结 | 第39-40页 |
| 第三章 DEDS故障诊断理论 | 第40-55页 |
| 3．1 引言 | 第40-41页 |
| 3．2 诊断器方法 | 第41-46页 |
| 3．2．1 系统模型 | 第41页 |
| 3．2．2 基本概念 | 第41-42页 |
| 3．2．3 可诊断性 | 第42页 |
| 3．2．4 诊断器 | 第42-44页 |
| 3．2．5 可诊断性的充要条件 | 第44页 |
| 3．2．6 在线诊断 | 第44-45页 |
| 3．2．7 例子 | 第45-46页 |
| 3．3 活跃诊断 | 第46-54页 |
| 3．3．1 非有效（live）系统的可诊断性 | 第46-47页 |
| 3．3．2 诊断器G_d~（live） | 第47-48页 |
| 3．3．3 活跃诊断问题 | 第48-51页 |
| 3．3．4 例子 | 第51-54页 |
| 3．4 小结 | 第54-55页 |
| 第四章 信息分散系统的故障诊断 | 第55-73页 |
| 4．1 引言 | 第55页 |
| 4．2 协调分布式故障诊断方法 | 第55-65页 |
| 4．2．1 协调分散结构 | 第55-56页 |
| 4．2．2 可诊断性定义 | 第56-57页 |
| 4．2．3 分散式诊断的实现目的 | 第57页 |
| 4．2．4 协议1描述 | 第57-62页 |
| 4．2．4．1 本地点诊断信息 | 第57-59页 |
| 4．2．4．2 通信规则 | 第59页 |
| 4．2．4．3 决策规则 | 第59-61页 |
| 4．2．4．4 诊断属性 | 第61-62页 |
| 4．2．5 讨论 | 第62页 |
| 4．2．5．1 扩展到多个站点的情况 | 第62页 |
| 4．2．5．2 发生通信时延的情况 | 第62页 |
| 4．2．6 例子 | 第62-65页 |
| 4．3 分散式活跃诊断方法 | 第65-71页 |
| 4．3．1 问题描述 | 第65页 |
| 4．3．2 离线诊断 | 第65-68页 |
| 4．3．3 在线诊断 | 第68-69页 |
| 4．3．4 例子 | 第69-71页 |
| 4．4 小结 | 第71-73页 |
| 第五章 一类分布式系统的模块化诊断方法 | 第73-80页 |
| 5．1 引言 | 第73-74页 |
| 5．2 模块化诊断 | 第74-75页 |
| 5．3 基于诊断器理论的模块化诊断 | 第75-79页 |
| 5．3．1 系统模型 | 第75页 |
| 5．3．2 模块化诊断器的构造 | 第75-77页 |
| 5．3．3 诊断条件 | 第77-78页 |
| 5．3．4 在线诊断 | 第78-79页 |
| 5．4 小结 | 第79-80页 |
| 第六章 DEDS故障诊断理论的应用 | 第80-89页 |
| 6．1 简介 | 第80页 |
| 6．2 诊断器方法进行故障诊断的常见步骤及应用 | 第80-86页 |
| 6．2．1 诊断体系结构和诊断过程 | 第80-82页 |
| 6．2．2 系统建模 | 第82-83页 |
| 6．2．3 例子与分析 | 第83-86页 |
| 6．3 活跃诊断应用举例 | 第86-88页 |
| 6．4 小结 | 第88-89页 |
| 第七章 结束语 | 第89-93页 |
| 参考文献 | 第93-102页 |
| 附录A SCPO问题 | 第102-104页 |
| 附录B 监控器理论中相关子语言的算法 | 第104-110页 |
| B．1 给定语言的能控子语言的上确界 | 第104-106页 |
| B．1．1 当给定语言不闭时 | 第104-105页 |
| B．1．2 当给定语言闭时 | 第105-106页 |
| B．2 给定语言的能控子语言的下确界 | 第106-107页 |
| B．3 完全能观时的其他语言类 | 第107-108页 |
| B．4 部分能观时的语言类 | 第108-110页 |
| 附录C 模块化监控 | 第110-112页 |
| 附录D 作者攻读硕士研究生期间完成的论文 | 第112页 |
