城市轨道交通联锁系统可靠性及安全性分析研究
| 摘要 | 第4-5页 |
| Abstract | 第5-6页 |
| 1 绪论 | 第11-14页 |
| 1.1 研究意义 | 第11页 |
| 1.2 国内外研究现状 | 第11-12页 |
| 1.3 论文研究的内容和结构 | 第12-14页 |
| 1.3.1 论文研究内容 | 第12页 |
| 1.3.2 论文组织结构 | 第12-14页 |
| 2 城轨联锁系统 | 第14-22页 |
| 2.1 城轨列车运行控制系统 | 第14-15页 |
| 2.1.1 ATP子系统 | 第14页 |
| 2.1.2 ATO子系统 | 第14-15页 |
| 2.1.3 ATS子系统 | 第15页 |
| 2.2 城轨联锁 | 第15-16页 |
| 2.2.1 联锁 | 第15-16页 |
| 2.2.2 城轨联锁系统分类 | 第16页 |
| 2.2.3 联锁的基本要求 | 第16页 |
| 2.3 城轨联锁系统的功能 | 第16-17页 |
| 2.3.1 联锁逻辑运算 | 第16页 |
| 2.3.2 轨道空闲信息处理 | 第16-17页 |
| 2.3.3 进路控制 | 第17页 |
| 2.3.4 道岔控制 | 第17页 |
| 2.3.5 信号控制 | 第17页 |
| 2.4 城轨列车运行进路控制 | 第17-19页 |
| 2.4.1 列车运行进路的分级控制 | 第17-18页 |
| 2.4.2 城轨联锁系统进路的特殊要求 | 第18-19页 |
| 2.5 城轨联锁系统的结构 | 第19-20页 |
| 2.5.1 人机会话层 | 第19-20页 |
| 2.5.2 逻辑运算层 | 第20页 |
| 2.5.3 执行控制层 | 第20页 |
| 2.6 城轨联锁系统的软件 | 第20-21页 |
| 2.6.1 城轨联锁软件的组成 | 第20-21页 |
| 2.6.2 城轨联锁软件的功能 | 第21页 |
| 2.7 本章小结 | 第21-22页 |
| 3 城轨联锁系统可靠性与安全性 | 第22-37页 |
| 3.1 可靠性及表征方式 | 第22-23页 |
| 3.1.1 可靠性 | 第22页 |
| 3.1.2 可靠性的表征方式 | 第22-23页 |
| 3.1.3 城轨联锁系统可靠性模型的失效分布 | 第23页 |
| 3.2 安全性及表征方式 | 第23-27页 |
| 3.2.1 安全性 | 第23-24页 |
| 3.2.2 安全性的表征方式 | 第24-26页 |
| 3.2.3 可靠性和安全性比较 | 第26-27页 |
| 3.3 城轨联锁系统相关标准 | 第27-29页 |
| 3.3.1 IEC61508 | 第27页 |
| 3.3.2 安全苛求系统 | 第27页 |
| 3.3.4 安全完善性 | 第27-28页 |
| 3.3.5 城轨联锁系统其他相关国际标准 | 第28-29页 |
| 3.4 城轨联锁系统的可靠性与安全性要求 | 第29页 |
| 3.4.1 城轨联锁系统的可靠性要求 | 第29页 |
| 3.4.2 城轨联锁系统的安全性要求 | 第29页 |
| 3.5 城轨联锁系统冗余结构 | 第29-31页 |
| 3.5.1 冗余结构 | 第29-30页 |
| 3.5.2 可靠性冗余结构 | 第30页 |
| 3.5.3 安全性冗余结构 | 第30-31页 |
| 3.5.4 城轨联锁系统可靠性与安全性冗余结构 | 第31页 |
| 3.6 可靠性与安全性分析方法 | 第31-32页 |
| 3.6.1 故障模式影响及危害性分析 | 第31-32页 |
| 3.6.2 故障树分析 | 第32页 |
| 3.6.3 事件树分析 | 第32页 |
| 3.7 故障树分析理论 | 第32-34页 |
| 3.7.1 事件 | 第32页 |
| 3.7.2 故障树的事件符号 | 第32-33页 |
| 3.7.3 故障树中常用的逻辑门符号 | 第33-34页 |
| 3.7.4 故障树的结构函数 | 第34页 |
| 3.8 动态故障树 | 第34-36页 |
| 3.8.1 动态故障树概念 | 第34页 |
| 3.8.2 动态逻辑门 | 第34-36页 |
| 3.9 本章小结 | 第36-37页 |
| 4 城轨联锁系统动态故障树建模 | 第37-44页 |
| 4.1 二乘二取二冗余结构 | 第37页 |
| 4.2 二取二子系统结构 | 第37-38页 |
| 4.3 故障检测率 | 第38页 |
| 4.4 共因失效 | 第38-40页 |
| 4.5 城轨联锁系统动态故障树建模 | 第40-43页 |
| 4.5.1 动态故障树建模原理 | 第40页 |
| 4.5.2 动态故障树建模的前提条件 | 第40-41页 |
| 4.5.3 动态故障树建模 | 第41-43页 |
| 4.6 本章小结 | 第43-44页 |
| 5 故障树模型求解 | 第44-58页 |
| 5.1 动态故障树求解过程 | 第44页 |
| 5.2 BDD方法 | 第44-47页 |
| 5.2.1 二元决策图 | 第44-46页 |
| 5.2.2 基于BDD的故障树定量分析 | 第46-47页 |
| 5.3 马尔科夫过程 | 第47-49页 |
| 5.4 动态逻辑门马尔科夫链的转化及求解 | 第49-53页 |
| 5.4.1 动态逻辑门马尔科夫链的转化 | 第49-52页 |
| 5.4.2 马尔科夫链求解 | 第52-53页 |
| 5.5 动态故障树求解 | 第53-57页 |
| 5.5.1 动态故障树的模块划分 | 第53-54页 |
| 5.5.2 静态故障子树分析 | 第54页 |
| 5.5.3 动态子树分析 | 第54-55页 |
| 5.5.4 故障树T2的求解 | 第55-56页 |
| 5.5.5 故障树T3的求解 | 第56-57页 |
| 5.5.6 故障树T的求解 | 第57页 |
| 5.6 城轨联锁系统可靠度和安全度 | 第57页 |
| 5.7 本章小结 | 第57-58页 |
| 6 故障树模型的仿真分析 | 第58-62页 |
| 6.1 标准参数的选取 | 第58页 |
| 6.2 系统仿真分析 | 第58-61页 |
| 6.3 本章小结 | 第61-62页 |
| 结论 | 第62-63页 |
| 致谢 | 第63-64页 |
| 参考文献 | 第64-67页 |
| 攻读学位期间的研究成果 | 第67页 |
