系统安全性建模和交叉验证研究
摘要 | 第5-6页 |
Abstract | 第6-7页 |
第1章 绪论 | 第14-20页 |
1.1 选题的背景及意义 | 第14-15页 |
1.2 国内外研究现状及发展趋势 | 第15-17页 |
1.3 全文组织结构和研究内容 | 第17-18页 |
1.3.1 研究内容 | 第17-18页 |
1.3.2 文章组织结构 | 第18页 |
1.4 本章小结 | 第18-20页 |
第2章 系统安全性基本概念 | 第20-26页 |
2.1 安全 | 第20页 |
2.2 安全性 | 第20页 |
2.3 系统安全 | 第20-21页 |
2.4 危险 | 第21-22页 |
2.5 事故 | 第22-23页 |
2.6 风险 | 第23-24页 |
2.7 本章小结 | 第24-26页 |
第3章 FHA与PHA的交叉验证方法 | 第26-37页 |
3.1 初步危险分析(PHA) | 第26-30页 |
3.1.1 准备工作阶段 | 第27页 |
3.1.2 PHA分析实施阶段 | 第27-29页 |
3.1.3 PHA汇总阶段 | 第29页 |
3.1.4 PHA优缺点 | 第29-30页 |
3.2 功能危险分析(FHA) | 第30-33页 |
3.2.1 FHA分析步骤及内容 | 第30-32页 |
3.2.2 FHA分析表 | 第32-33页 |
3.2.3 FHA优缺点 | 第33页 |
3.3 建模和交叉验证方法 | 第33-35页 |
3.4 本章小结 | 第35-37页 |
第4章 工具原型的设计与实现 | 第37-59页 |
4.1 工具介绍 | 第37-38页 |
4.1.1 Toolkit | 第37-38页 |
4.1.2 AddFlow | 第38页 |
4.2 系统功能结构设计 | 第38-40页 |
4.3 模块设计 | 第40-54页 |
4.3.1 系统交联环境建模设计流程 | 第40-42页 |
4.3.2 系统功能结构建模设计流程 | 第42-43页 |
4.3.3 FHA设计与实现 | 第43-47页 |
4.3.4 PHA分析设计与实现 | 第47-52页 |
4.3.5 验证设计与实现 | 第52-54页 |
4.4 数据库设计 | 第54-57页 |
4.5 本章小结 | 第57-59页 |
第5章 实例应用——起落架系统 | 第59-85页 |
5.1 起落架系统概述 | 第59-61页 |
5.2 系统交联环境建模 | 第61-62页 |
5.3 初步危险列表(PHL) | 第62-63页 |
5.4 功能分解 | 第63页 |
5.5 PHA建模与分析 | 第63-71页 |
5.5.1 PHA建模 | 第63-65页 |
5.5.2 PHA独立验证 | 第65-66页 |
5.5.3 PHA分析结果 | 第66-71页 |
5.6 FHA建模与分析 | 第71-77页 |
5.6.1 FHA分析 | 第71-77页 |
5.6.2 FHA独立验证 | 第77页 |
5.7 交叉验证 | 第77-83页 |
5.7.1 验证过程 | 第77-78页 |
5.7.2 完善过程 | 第78-83页 |
5.8 本章小结 | 第83-85页 |
结论与展望 | 第85-87页 |
结论 | 第85页 |
展望 | 第85-87页 |
参考文献 | 第87-91页 |
附录1 起落架系统PHA分析建模 | 第91-95页 |
附录2 起落架系统补充PHA分析建模 | 第95-99页 |
攻读硕士学位期间发表的学术论文 | 第99-101页 |
致谢 | 第101页 |