摘要 | 第1-5页 |
Abstract | 第5-10页 |
第一章 绪论 | 第10-14页 |
·地铁综合监控系统的发展历程 | 第10页 |
·国内外地铁综合监控系统的发展现状 | 第10-11页 |
·可靠性的发展现状 | 第11-12页 |
·课题的研究意义 | 第12-13页 |
·课题研究的内容 | 第13-14页 |
第二章 地铁综合监控系统 | 第14-21页 |
·地铁综合监控系统概况 | 第14-15页 |
·地铁综合监控系统系统构成 | 第15-16页 |
·地铁综合监控系统功能 | 第16-19页 |
·基本功能 | 第17页 |
·联动功能 | 第17-19页 |
·地铁综合监控系统特点 | 第19页 |
·地铁综合监控系统可靠性分析方法的选择 | 第19-20页 |
·本章小结 | 第20-21页 |
第三章 故障树分析法 | 第21-33页 |
·故障树的基本理论 | 第21-22页 |
·故障树的基本理论 | 第21-22页 |
·故障树基本符号及意义 | 第22页 |
·故障树的定性分析 | 第22-25页 |
·故障树的最小割集 | 第23-24页 |
·故障树的最小路集 | 第24-25页 |
·故障树的定量分析 | 第25-29页 |
·故障树的失效概率计算 | 第25-26页 |
·故障树的事件重要度计算 | 第26-29页 |
·故障树的事件结构重要度分析 | 第27-28页 |
·故障树的事件概率重要度分析 | 第28-29页 |
·故障树的模块分解算法 | 第29-32页 |
·故障树的深度优先最左遍历 | 第29-30页 |
·故障树的模块分解算法 | 第30-32页 |
·本章小节 | 第32-33页 |
第四章 基于BDD的故障树分析法 | 第33-51页 |
·Shannon分解和BDD | 第33-36页 |
·Shannon分解 | 第33-34页 |
·二元决策图BDD | 第34-36页 |
·基于递归法的故障树向BDD转化 | 第36-39页 |
·方法原理 | 第36-38页 |
·递归法的计算机实现 | 第38-39页 |
·基于BDD的故障树定性分析 | 第39-47页 |
·基于BDD求单调关联故障树的MCS | 第40-42页 |
·基于BDD求MCS的算法 | 第40-41页 |
·计算机实现 | 第41-42页 |
·基于BDD求非单调关联故障树的PIS | 第42-47页 |
·基于BDD求PIS的迭代算法的理论依据 | 第43页 |
·布尔函数逻辑化简算法 | 第43-45页 |
·基于BDD求PIS的算法及实例 | 第45-47页 |
·基于BDD的故障树定量分析 | 第47-49页 |
·基于BDD的故障树顶事件发生概率的计算 | 第47-48页 |
·基于BDD的故障树底事件重要度计算 | 第48-49页 |
·基于BDD的故障树模块分析法 | 第49-50页 |
·基于BDD和模块的故障树定性分析 | 第49-50页 |
·基于BDD和模块的故障树定量分析 | 第50页 |
·本章小节 | 第50-51页 |
第五章 地铁综合监控系统可靠性分析与数据管理软件研制 | 第51-77页 |
·概述 | 第51-54页 |
·软件特点 | 第51页 |
·软件开发环境 | 第51-52页 |
·软件使用环境 | 第52页 |
·界面设计 | 第52-54页 |
·软件设计思路 | 第54-59页 |
·软件的功能设计 | 第54-55页 |
·软件中的模块介绍 | 第55-57页 |
·软件文件资源管理及文件格式设计 | 第57-58页 |
·软件数据类设计 | 第58-59页 |
·系统可靠性建模模块实现 | 第59-63页 |
·动态建模思想 | 第60页 |
·故障树模型的绘制及可视化显示 | 第60-61页 |
·故障树图元的图形编辑 | 第61-62页 |
·故障树事件属性编辑 | 第62-63页 |
·系统可靠性分析模块实现 | 第63-67页 |
·模块功能介绍 | 第63-64页 |
·分析模块功能的计算机实现 | 第64-67页 |
·系统可靠性数据管理模块实现 | 第67-68页 |
·系统数据简介 | 第67页 |
·数据库的设计 | 第67-68页 |
·实例分析 | 第68-76页 |
·对车站综合监控系统定性分析 | 第68-72页 |
·对中央综合监控系统定量分析 | 第72-76页 |
·本章小节 | 第76-77页 |
结论与展望 | 第77-78页 |
致谢 | 第78-79页 |
参考文献 | 第79-83页 |
攻读硕士学位期间发表的论文 | 第83页 |