基于Petri网的地铁信号系统故障传播建模研究

目录

声明

致谢

1 引言

1.1 研究背景及意义

1.2 国内外研究现状

1.2.1 系统建模理论概述

1.2.2 故障传播模型研究现状

1.2.3 故障传播 Petri 网模型

1.2.4 发展趋势

1.3 论文研究方案

1.3.1 研究目标及研究内容

1.3.2 研究方案

1.4 本章小结

2 Petri 网基本原理

2.1 Petri 网的基本定义

2.2 Petri 网的结构

2.2.1 三元组 Petri网

2.2.2 四元组 Petri网

2.3 Petri 网分析技术

2.3.1 代数分析技术

2.3.2 图分析技术

2.3.3 归纳分析技术

2.4 Petri 网的表达

2.4.1 动静态逻辑表达

2.4.2 不确定性逻辑表达

2.5 Petri 网用于安全性分析

2.6 本章小结

3 基于功能失效模型的故障传播机理分析

3.1 故障传播机理分析总体框架

3.2 故障模式及影响分析

3.2.1 系统定义

3.2.2 故障模式分析

3.2.3 故障原因分析

3.2.4 故障影响分析

3.3 功能失效模型

3.3.1 功能失效模型原理

3.3.2 功能失效模型的建立

3.4 车载 ATP 故障模式及影响分析

3.4.1 系统定义

3.4.2 车载 ATP故障模式分析

3.4.3 车载 ATP故障原因分析

3.4.4 车载 ATP故障影响分析

3.4.5 车载 ATP的 FMEA分析结果

3.5 车载 ATP 功能失效模型

3.6 本章小结

4 基于关联规则的故障关系挖掘

4.1 关联规则挖掘故障关系的适用性

4.2 关联规则基本原理

4.2.1 关联规则基本原理

4.2.2 关联规则基本概念

4.2.3 关联规则典型算法

4.3 车载 ATP 故障数据预处理

4.3.1 车载 ATP故障数据的特点

4.3.2 车载 ATP故障数据预处理

4.4 车载 ATP 故障关联规则挖掘

4.5 本章小结

5 故障传播Petri 网模型分析

5.1 故障传播 Petri网的定义

5.2 故障传播逻辑的 Petri 网表达

5.2.1 托肯染色规则

5.2.2 库所染色规则

5.2.3 变迁染色规则

5.2.4 Petri 网的故障繁衍规则

5.3 故障传播 Petri网模型的推理

5.3.1 故障传播 Petri 网模型的正向推理算法

5.3.2 故障传播 Petri 网模型的反向推理算法

5.4 车载 ATP 故障传播 Petri 网的建立

5.5 案例研究

5.5.1 车载 ATP机柜故障传播 Petri 网模型的正向推理

5.5.2 车载 ATP机柜故障传播 Petri 网模型的反向推理

5.6 本章小结

6 总结与展望

参考文献

图索引

表索引

作者简历及攻读硕士学位期间取得的研究成果

独创性声明

学位论文数据集