| 摘要 | 第6-8页 |
| Abstract | 第8-10页 |
| 第1章 绪论 | 第14-35页 |
| 1.1 研究背景及意义 | 第14-15页 |
| 1.2 系统安全风险理论 | 第15-20页 |
| 1.2.1 基本概念 | 第15-16页 |
| 1.2.2 危险-事故转化基本原理 | 第16页 |
| 1.2.3 系统全生命周期V模型 | 第16-17页 |
| 1.2.4 系统安全风险辨识、分析与控制 | 第17-19页 |
| 1.2.5 最低合理可行性原则(ALARP) | 第19-20页 |
| 1.3 国内外研究现状 | 第20-32页 |
| 1.3.1 关于安全风险辨识的研究 | 第23-27页 |
| 1.3.2 关于安全风险分析的研究 | 第27-32页 |
| 1.4 论文主要研究内容 | 第32-33页 |
| 1.5 技术路线 | 第33-35页 |
| 第2章 基于模型的列控系统安全风险辨识研究 | 第35-63页 |
| 2.1 中国高速铁路列车运行控制系统(CTCS)概述 | 第35-37页 |
| 2.1.1 系统架构 | 第35-37页 |
| 2.1.2 基本工作原理 | 第37页 |
| 2.2 列控系统安全风险辨识的特点与思路 | 第37-39页 |
| 2.3 列控系统安全风险辨识模型的构建方法 | 第39-42页 |
| 2.3.1 模型构建的层次结构 | 第39-40页 |
| 2.3.2 模型构建的视角与类型 | 第40-41页 |
| 2.3.3 模型构建的方法 | 第41页 |
| 2.3.4 模型间的约束 | 第41-42页 |
| 2.4 列控中心安全风险辨识模型 | 第42-57页 |
| 2.4.1 列控中心结构参考模型 | 第43页 |
| 2.4.2 列控中心功能分层模型 | 第43-45页 |
| 2.4.3 Petri网理论与建模技术 | 第45-48页 |
| 2.4.4 列控中心状态转移模型 | 第48-51页 |
| 2.4.5 列控中心功能执行过程模型 | 第51-57页 |
| 2.5 基于模型的安全风险辨识 | 第57-62页 |
| 2.5.1 基于模型的安全风险辨识流程 | 第57-58页 |
| 2.5.2 基于结构参考模型的安全风险辨识 | 第58-59页 |
| 2.5.3 基于功能分层模型的安全风险辨识 | 第59页 |
| 2.5.4 基于状态转移模型的安全风险辨识 | 第59-61页 |
| 2.5.5 基于功能执行过程模型的安全风险辨识 | 第61-62页 |
| 2.6 本章小结 | 第62-63页 |
| 第3章 列控系统危险源的安全风险等级分析研究 | 第63-94页 |
| 3.1 模糊不确定性基础理论 | 第64-69页 |
| 3.1.1 基本定义与定理 | 第64-67页 |
| 3.1.2 模糊数的四则运算 | 第67-68页 |
| 3.1.3 基于模糊层次分析法的风险评价指标权重计算方法 | 第68-69页 |
| 3.2 基于模糊不确定性理论的列控系统危险源的安全风险等级分析 | 第69-87页 |
| 3.2.1 基于风险矩阵的危险源安全风险等级推理规则 | 第69-71页 |
| 3.2.2 基于模糊群决策的发生频率等级分析 | 第71-78页 |
| 3.2.3 基于多级模糊综合评判的后果严重度等级分析 | 第78-87页 |
| 3.3 算例 | 第87-93页 |
| 3.3.1 发生频率等级分析 | 第87-89页 |
| 3.3.2 后果严重度等级分析 | 第89-92页 |
| 3.3.3 基于推理规则的危险源安全风险等级分析 | 第92-93页 |
| 3.4 本章小结 | 第93-94页 |
| 第4章 相同等级的列控系统危险源安全风险排序研究 | 第94-106页 |
| 4.1 危险源的风险评价指标体系及指标权重 | 第94-96页 |
| 4.1.1 危险源的风险评价指标体系 | 第94-95页 |
| 4.1.2 基于模糊层次分析法的指标权重计算 | 第95-96页 |
| 4.2 后果严重度等级的模糊数定义 | 第96-97页 |
| 4.3 基于多级模糊TOPSIS法的危险源安全风险排序模型 | 第97-101页 |
| 4.3.1 构建指标值矩阵X | 第98页 |
| 4.3.2 指标值矩阵X模糊化与规范化 | 第98页 |
| 4.3.3 构造加权规范化矩阵 | 第98-99页 |
| 4.3.4 确定理想解和负理想解 | 第99页 |
| 4.3.5 计算待排序危险源与理想解和负理想解的距离 | 第99-101页 |
| 4.3.6 确定相对接近度 | 第101页 |
| 4.3.7 综合评价 | 第101页 |
| 4.4 算例 | 第101-105页 |
| 4.4.1 专家评判 | 第102页 |
| 4.4.2 第2层次综合评价 | 第102-104页 |
| 4.4.3 第1层次综合评价 | 第104-105页 |
| 4.5 本章小结 | 第105-106页 |
| 第5章 列控系统危险源的定量安全风险分析研究 | 第106-143页 |
| 5.1 贝叶斯网络基础理论 | 第107-110页 |
| 5.1.1 概率论和图论基础 | 第108-109页 |
| 5.1.2 贝叶斯网络的定义 | 第109页 |
| 5.1.3 贝叶斯网络的构造 | 第109-110页 |
| 5.1.4 贝叶斯网络的推理 | 第110页 |
| 5.2 基于贝叶斯网络的列控系统危险源定量安全风险分析 | 第110-119页 |
| 5.2.1 基于故障树和事件树的贝叶斯网络模型构造方法研究 | 第110-113页 |
| 5.2.2 基于多专家模糊评判的根节点先验概率分析算法研究 | 第113-117页 |
| 5.2.3 贝叶斯网络模型的推理 | 第117-119页 |
| 5.3 算例 | 第119-142页 |
| 5.3.1 构建事件树模型 | 第119页 |
| 5.3.2 构建故障树模型 | 第119-124页 |
| 5.3.3 基于故障树和事件树的贝叶斯网络模型构造 | 第124-135页 |
| 5.3.4 贝叶斯网络模型的仿真与结果分析 | 第135-142页 |
| 5.4 本章小结 | 第142-143页 |
| 第6章 列控系统运营安全风险分析研究 | 第143-165页 |
| 6.1 可拓学基础理论 | 第144-147页 |
| 6.1.1 基本概念 | 第144-145页 |
| 6.1.2 关联函数 | 第145-147页 |
| 6.2 列控系统运营安全风险的指标体系及指标权重 | 第147-151页 |
| 6.2.1 运营安全风险的指标体系 | 第147-149页 |
| 6.2.2 基于模糊层次分析法的指标权重计算 | 第149-151页 |
| 6.3 列控系统运营安全风险多级可拓分析模型 | 第151-156页 |
| 6.3.1 定义安全风险等级集N和评价指标集U | 第151-152页 |
| 6.3.2 确定经典域物元和节域物元 | 第152-153页 |
| 6.3.3 确定待评物元 | 第153页 |
| 6.3.4 建立关联函数 | 第153-155页 |
| 6.3.5 计算待评物元与各安全风险等级的关联度 | 第155页 |
| 6.3.6 第2层次可拓综合评价 | 第155-156页 |
| 6.3.7 第1层次可拓综合评价 | 第156页 |
| 6.3.8 列控系统运营安全风险等级评判 | 第156页 |
| 6.4 算例 | 第156-164页 |
| 6.4.1 第2层次可拓综合评价 | 第157-159页 |
| 6.4.2 第1层次可拓综合评价 | 第159-160页 |
| 6.4.3 结果分析及建议 | 第160-164页 |
| 6.5 本章小结 | 第164-165页 |
| 结论与展望 | 第165-167页 |
| 致谢 | 第167-168页 |
| 参考文献 | 第168-182页 |
| 攻读博士学位期间发表论文及科研情况 | 第182-183页 |
