| 摘要 | 第4-6页 |
| Abstract | 第6-8页 |
| 第1章 绪论 | 第13-19页 |
| 1.1 研究背景和意义 | 第13-15页 |
| 1.2 研究现状 | 第15-17页 |
| 1.3 主要研究内容 | 第17-18页 |
| 1.4 论文的组织结构 | 第18-19页 |
| 第2章 核电设计类软件异常 | 第19-27页 |
| 2.1 核电设计类软件 | 第19-21页 |
| 2.1.1 核电设计类软件介绍 | 第19-20页 |
| 2.1.2 软件设计类软件特点 | 第20-21页 |
| 2.2 异常与缺陷 | 第21-27页 |
| 2.2.1 术语和定义 | 第21-22页 |
| 2.2.2 相互关系 | 第22-24页 |
| 2.2.3 特殊说明 | 第24-27页 |
| 第3章 一种核电设计软件异常分类方法NPODC | 第27-45页 |
| 3.1 ODC简介 | 第27-28页 |
| 3.2 NPODC定义 | 第28-30页 |
| 3.3 Opened状态部分 | 第30-38页 |
| 3.3.1 活动 | 第31页 |
| 3.3.2 触发因素 | 第31-36页 |
| 3.3.3 影响 | 第36-38页 |
| 3.4 Closed状态部分 | 第38-42页 |
| 3.4.1 问题根源对象 | 第38-39页 |
| 3.4.2 缺陷类型 | 第39-41页 |
| 3.4.3 缺陷界定 | 第41页 |
| 3.4.4 缺陷来源 | 第41-42页 |
| 3.4.5 引入 | 第42页 |
| 3.5 用法指引 | 第42-45页 |
| 第4章 一种基于NHPP的软件异常分类增长模型SACGM | 第45-53页 |
| 4.1 非齐次泊松过程 | 第45-48页 |
| 4.2 基于NHPP的异常分类增长模型 | 第48-53页 |
| 4.2.1 SACGM增长模型假设 | 第48-49页 |
| 4.2.2 同项目不同分类的SACGM应用 | 第49-50页 |
| 4.2.3 同分类不同项目的SACGM应用 | 第50-51页 |
| 4.2.4 小结 | 第51-53页 |
| 第5章 基于NPODC的软件异常预防策略及方法 | 第53-75页 |
| 5.1 基于NPODC的异常预防策略 | 第54-57页 |
| 5.1.1 预防策略 | 第54-56页 |
| 5.1.2 预防策略应对方法 | 第56-57页 |
| 5.2 核电设计软件异常知识库系统NPAKD | 第57-61页 |
| 5.2.1 NPAKD的目标 | 第57页 |
| 5.2.2 NPAKD的基本内容 | 第57-59页 |
| 5.2.3 NPAKD的功能结构 | 第59-61页 |
| 5.3 原因分析及预防措施 | 第61-67页 |
| 5.3.1 基于NPODC的定量分析方法 | 第61-64页 |
| 5.3.2 基于RCA的定性分析 | 第64-66页 |
| 5.3.3 预防措施 | 第66-67页 |
| 5.4 SACGM评估 | 第67-68页 |
| 5.5 在核电设计类软件中的应用 | 第68-75页 |
| 5.5.1 异常密度 | 第70-71页 |
| 5.5.2 发布前的异常消除率 | 第71-72页 |
| 5.5.3 异常纠正效率 | 第72页 |
| 5.5.4 异常探测效率 | 第72-73页 |
| 5.5.5 小结 | 第73-75页 |
| 第6章 总结与展望 | 第75-77页 |
| 参考文献 | 第77-83页 |
| 攻读学位期间研究成果 | 第83-85页 |
| 致谢 | 第85页 |