二乘二取二系统的可靠性和安全性
摘要 | 第1-6页 |
ABSTRACT | 第6-8页 |
致谢 | 第8-14页 |
第1章 绪论 | 第14-22页 |
·论文研究背景与意义 | 第14-15页 |
·国内外研究现状 | 第15-20页 |
·国外计算机联锁系统的发展现状 | 第15-16页 |
·国内计算机联锁系统的发展现状 | 第16-20页 |
·论文研究内容 | 第20-22页 |
第2章 联锁系统概念和相关标准 | 第22-36页 |
·联锁系统层结构 | 第22-23页 |
·计算机联锁系统主要结构 | 第23-26页 |
·双机热备结构 | 第23-24页 |
·三取二结构 | 第24-25页 |
·二乘二取二结构 | 第25-26页 |
·EN50126 系列标准 | 第26-35页 |
·EN50126 系列标准的结构 | 第26-27页 |
·风险的定义 | 第27-28页 |
·人员组织架构 | 第28页 |
·安全完整性等级 | 第28-29页 |
·生命周期概念 | 第29-30页 |
·EN50129 标准简介 | 第30-33页 |
·EN50128 标准简介 | 第33页 |
·EN50159 标准简介 | 第33-34页 |
·EN50156 系列标准的优点 | 第34-35页 |
·本章小结 | 第35-36页 |
第3章 可靠性和安全性概念 | 第36-41页 |
·EN 标准对失效的划分 | 第36-37页 |
·可靠性概念 | 第37-38页 |
·可靠性的数学指标 | 第38-39页 |
·可靠度 | 第38页 |
·累积失效概率 | 第38-39页 |
·失效分布密度 | 第39页 |
·失效率 | 第39页 |
·安全性的概念 | 第39-40页 |
·本章小结 | 第40-41页 |
第4章 符合 SIL4 的计算机联锁系统 | 第41-65页 |
·系统组成 | 第41-45页 |
·控显机 | 第42页 |
·电务维修机 | 第42-43页 |
·联锁主机 | 第43页 |
·通信模块 | 第43-44页 |
·接口模块 | 第44-45页 |
·道岔模块 | 第44页 |
·信号模块 | 第44-45页 |
·轨道电路模块 | 第45页 |
·区域联锁功能 | 第45-46页 |
·冗余结构设计 | 第46-52页 |
·通讯网络冗余 | 第46-49页 |
·以太网通讯 | 第46-47页 |
·CAN 总线通讯 | 第47-49页 |
·RS-485 总线通讯 | 第49页 |
·与 CTC、区域联锁的通讯 | 第49页 |
·系统热备设计 | 第49-52页 |
·联锁主机 | 第49-52页 |
·通信模块 | 第52页 |
·接口模块的热备 | 第52页 |
·二取二安全原理 | 第52-55页 |
·二取二工作流程 | 第52-53页 |
·独立性 | 第53-54页 |
·故障检测和故障-安全特性 | 第54-55页 |
·电源 | 第54页 |
·时钟 | 第54页 |
·复位 | 第54页 |
·SPI | 第54页 |
·动静转换电路 | 第54-55页 |
·寄存器 | 第55页 |
·ROM | 第55页 |
·RAM | 第55页 |
·共因故障 | 第55页 |
·机柜布置 | 第55-56页 |
·全电子化接口模块 | 第56-57页 |
·电路的随机失效率的计算 | 第57-64页 |
·本章小结 | 第64-65页 |
第5章 可靠性和安全性分析 | 第65-85页 |
·基于 Markov 过程的可靠性和安全性分析 | 第65-76页 |
·Markov 过程的定义 | 第65-67页 |
·Markov 性 | 第65页 |
·Markov 过程 | 第65页 |
·齐次 Markov 过程和转移矩阵 | 第65-67页 |
·基本假设和运行模式 | 第67页 |
·二乘二取二计算机联锁系统运行模式 | 第67-68页 |
·二乘二取二计算机联锁系统性能分析 | 第68-73页 |
·双机热备和三取二计算机联锁系统性能分析 | 第73-76页 |
·基于动态故障树的可靠性和安全性分析 | 第76-83页 |
·动态故障树概念 | 第76-78页 |
·二乘二取二计算机联锁系统动态故障树建模 | 第78-80页 |
·动态故障树的求解 | 第80-83页 |
·本章小结 | 第83-85页 |
第6章 总结与展望 | 第85-87页 |
参考文献 | 第87-91页 |
攻读硕士期间发表的论文和参加的科研项目 | 第91-92页 |