轨道信号系统软件开发与安全标准要求一致性评估的研究
| 致谢 | 第5-6页 |
| 摘要 | 第6-7页 |
| ABSTRACT | 第7页 |
| 1 绪论 | 第10-17页 |
| 1.1 研究背景及意义 | 第10-12页 |
| 1.1.1 轨道交通信号系统概述 | 第10页 |
| 1.1.2 信号系统发展趋势 | 第10-12页 |
| 1.2 国内外研究现状 | 第12-15页 |
| 1.2.1 概述 | 第12页 |
| 1.2.2 国外研究现状 | 第12-13页 |
| 1.2.3 国内研究现状 | 第13-15页 |
| 1.3 本文主要内容和安排 | 第15-17页 |
| 1.3.1 主要研究内容 | 第15页 |
| 1.3.2 论文各章安排 | 第15-17页 |
| 2 安全评估方法对比 | 第17-21页 |
| 2.1 预先危险性分析法 | 第17页 |
| 2.2 专家评估法 | 第17-18页 |
| 2.3 故障模式与影响分析法 | 第18页 |
| 2.4 事件树分析法 | 第18页 |
| 2.5 故障树分析法 | 第18-19页 |
| 2.6 其他分析方法 | 第19页 |
| 2.7 存在的问题 | 第19-20页 |
| 2.8 本章小结 | 第20-21页 |
| 3 加权因素分析法研究 | 第21-37页 |
| 3.1 概念 | 第21-23页 |
| 3.2 语法形式化 | 第23-31页 |
| 3.3 框架问题 | 第31-35页 |
| 3.3.1 分解选项 | 第32-33页 |
| 3.3.2 连接选项 | 第33-34页 |
| 3.3.3 推理选项 | 第34-35页 |
| 3.4 应用程序问题 | 第35-36页 |
| 3.4.1 知识启发策略 | 第35-36页 |
| 3.4.2 情景分析策略 | 第36页 |
| 3.5 本章小结 | 第36-37页 |
| 4 二进制加权因素分析法应用 | 第37-53页 |
| 4.1 项目介绍 | 第37-39页 |
| 4.2 安全评估文件梳理 | 第39-40页 |
| 4.3 系统接口文件梳理 | 第40-43页 |
| 4.4 二进制加权因素分析法框架图 | 第43-50页 |
| 4.5 生命周期文件要求 | 第50-52页 |
| 4.6 本章小结 | 第52-53页 |
| 5 软件搭建与结果分析 | 第53-67页 |
| 5.1 项目权重梳理 | 第53-58页 |
| 5.2 计算工具设计 | 第58-61页 |
| 5.2.1 系统框图构建 | 第59页 |
| 5.2.2 节点值的计算 | 第59-60页 |
| 5.2.3 接口关系更新 | 第60页 |
| 5.2.4 结果遍历展示 | 第60-61页 |
| 5.3 计算结果分析 | 第61-66页 |
| 5.4 本章小结 | 第66-67页 |
| 6 总结及展望 | 第67-69页 |
| 6.1 工作总结 | 第67-68页 |
| 6.2 展望 | 第68-69页 |
| 参考文献 | 第69-72页 |
| 图索引 | 第72-74页 |
| 表索引 | 第74-75页 |
| 作者简历及攻读硕士/博士学位期间取得的研究成果 | 第75-77页 |
| 学位论文数据集 | 第77页 |
