基于EFSM切片的故障诊断方法研究
| 学位论文数据集 | 第1-4页 |
| 摘要 | 第4-6页 |
| ABSTRACT | 第6-12页 |
| 第一章 绪论 | 第12-20页 |
| ·课题的研究背景 | 第12-13页 |
| ·国内外研究现状 | 第13-16页 |
| ·EFSM切片技术的研究现状 | 第13-14页 |
| ·故障诊断方法的研究现状 | 第14-16页 |
| ·基于EFSM切片的化工过程故障诊断方法的提出 | 第16页 |
| ·本文研究内容 | 第16-17页 |
| ·论文的组织结构 | 第17-20页 |
| 第二章 EFSM切片研究基础 | 第20-26页 |
| ·EFSM | 第20-21页 |
| ·EFSM切片及切片准则 | 第21-22页 |
| ·EFSM迁移间的依赖关系 | 第22-24页 |
| ·本章小结 | 第24-26页 |
| 第三章 EFSM迁移内变量集和数据依赖关系研究 | 第26-32页 |
| ·迁移内的变量集 | 第26-27页 |
| ·迁移内的数据依赖关系 | 第27-28页 |
| ·迁移内的冗余变量定义 | 第28页 |
| ·关键源码 | 第28-31页 |
| ·本章小结 | 第31-32页 |
| 第四章 EFSM邻接依赖图切片方法研究 | 第32-66页 |
| ·问题分析及解决方案 | 第32-33页 |
| ·邻接依赖图 | 第33-40页 |
| ·邻接迁移之间的依赖关系 | 第33-35页 |
| ·邻接依赖图的构造算法 | 第35-37页 |
| ·邻接迁移依赖关系的传递性 | 第37-40页 |
| ·基于邻接依赖图的EFSM切片算法 | 第40-43页 |
| ·算法的描述 | 第40-42页 |
| ·算法的分析 | 第42-43页 |
| ·实验分析 | 第43-53页 |
| ·Cashier模型实例实验 | 第43-49页 |
| ·多模型实验对比和分析 | 第49-53页 |
| ·依赖分析工具的设计和开发 | 第53-63页 |
| ·工具的功能需求 | 第53-54页 |
| ·工具的主要接口和类图 | 第54-58页 |
| ·工具的流程图 | 第58-59页 |
| ·工具主要界面展示 | 第59-63页 |
| ·本章小结 | 第63-66页 |
| 第五章 基于EFSM切片的化工过程故障诊断方法 | 第66-76页 |
| ·问题分析及解决方案 | 第66页 |
| ·邻接依赖图的EFSM切片算法步骤 | 第66-67页 |
| ·基于EFSM切片的化工过程故障诊断方法 | 第67-73页 |
| ·双容水槽液位控制系统描述及其EFSM模型 | 第67-68页 |
| ·双容水槽液位控制系统的EFSM切片 | 第68-71页 |
| ·基于EFSM切片的故障诊断方法 | 第71-73页 |
| ·本章小结 | 第73-76页 |
| 第六章 总结与展望 | 第76-78页 |
| ·工作总结 | 第76页 |
| ·工作展望 | 第76-78页 |
| 参考文献 | 第78-80页 |
| 致谢 | 第80-82页 |
| 研究成果及发表的学术论文 | 第82-84页 |
| 作者和导师简介 | 第84-85页 |
| 附表 | 第85-86页 |
