声明
摘要
插图清单
表清单
引言
1.1 研究背景
1.2 国内外研究现状
1.2.1 业务流程模型非一致分析
1.2.2 业务流程模型一致分析
1.2.3 定位故障域的方法分析
1.3 研究动机
1.4 本文的内容安排
2.1 Petri网的相关知识
2.1.1 Petri网及相关概念
2.1.2 Petri网的性质
2.2 行为轮廓
2.2.1 行为轮廓的基本概念
2.2.2 行为轮廓的性质
3 变化域在实例中的应用研究
3.1 概述
3.2 实例分析
3.3 本章小结
4 基于行为轮廓的系统故障变化域定位方法研究
4.1 概述
4.2 基本概念
4.3 基于弱序关系的变化域分析
4.4 实例分析
4.5 本章小结
5 基于行为轮廓的系统最小故障域定位方法分析与研究
5.1 概述
5.2 问题概述
5.3 基本概念
5.4 新增最小结构故障域定位方法
5.5 实例分析
5.6 本章小结
6.1 本文的主要工作
6.2 未来工作
参考文献
作者简介及读研期间主要科研成果