| 摘要 | 第1-6页 |
| Abstract | 第6-14页 |
| 第1章 绪论 | 第14-21页 |
| ·研究问题及目标概述 | 第14-17页 |
| ·主要工作及贡献 | 第17-19页 |
| ·论文结构安排 | 第19-21页 |
| 第2章 研究背景及相关工作 | 第21-44页 |
| ·过程改进技术概述 | 第21-24页 |
| ·工业过程改进 | 第21-23页 |
| ·软件过程改进 | 第23-24页 |
| ·过程建模语言 | 第24-33页 |
| ·Little-JIL过程建模语言 | 第24-27页 |
| ·其他过程建模语言 | 第27-33页 |
| ·有穷状态验证技术及工具 | 第33-36页 |
| ·SPIN工具 | 第33-34页 |
| ·SMV工具 | 第34-35页 |
| ·FLAVERS工具 | 第35页 |
| ·LTSA工具 | 第35-36页 |
| ·故障模式及影响分析技术 | 第36-40页 |
| ·故障模式及影响分析技术概述 | 第36-39页 |
| ·故障模式及影响分析技术相关工作 | 第39-40页 |
| ·故障树分析技术 | 第40-43页 |
| ·故障树分析技术概述 | 第40-41页 |
| ·故障树分析技术相关工作 | 第41-43页 |
| ·本章小结 | 第43-44页 |
| 第3章 基于过程模型的安全性分析及改进技术框架 | 第44-63页 |
| ·框架体系结构总述 | 第44-55页 |
| ·整体架构概述 | 第44-46页 |
| ·框架主要组成模块 | 第46-55页 |
| ·有穷状态验证技术框架 | 第55-60页 |
| ·有穷状态验证技术框架概述 | 第55-56页 |
| ·关键技术 | 第56-60页 |
| ·FMEA技术与FTA技术结合框架 | 第60-61页 |
| ·FMEA技术与FTA技术结合框架概述 | 第60页 |
| ·关键技术 | 第60-61页 |
| ·本章小结 | 第61-63页 |
| 第4章 故障模式及影响分析技术的自动化方法研究 | 第63-78页 |
| ·故障模式及影响分析技术的自动化方法概述 | 第63-64页 |
| ·基于Little-JIL语言的过程建模方法 | 第64-66页 |
| ·故障模式及影响分析技术的自动化方法 | 第66-71页 |
| ·基于Little-JIL过程模型抽取工件流图的方法 | 第66-68页 |
| ·基于Little-JIL过程模型构建影响树的自动化方法 | 第68-71页 |
| ·实例研究及结果分析 | 第71-77页 |
| ·输血过程实例研究及分析 | 第72-75页 |
| ·化疗过程实例研究及分析 | 第75-77页 |
| ·本章小结 | 第77-78页 |
| 第5章 故障树分析技术的自动化方法研究 | 第78-109页 |
| ·故障树分析技术的自动化方法概述 | 第79-81页 |
| ·基于Little-JIL过程模型构建故障树的自动化方法 | 第81-96页 |
| ·基于Little-JIL语义规则的事件预定义方法 | 第81-83页 |
| ·基于Little-JIL语义规则的模板预定义方法 | 第83-95页 |
| ·基于Little-JIL过程模型构建故障树的自动化算法 | 第95-96页 |
| ·结合FMEA技术与FTA技术辅助过程改进的方法 | 第96-102页 |
| ·FMEA技术与FTA技术的结合方法概述 | 第96-98页 |
| ·结合FMEA技术与FTA技术的分析结果辅助过程改进的方法 | 第98-101页 |
| ·FMEA技术与FTA技术的结合方法的推广应用 | 第101-102页 |
| ·实例研究及结果分析 | 第102-107页 |
| ·输血过程实例研究及分析 | 第102-104页 |
| ·化疗过程实例研究及分析 | 第104-106页 |
| ·实验结果及分析 | 第106-107页 |
| ·本章小结 | 第107-109页 |
| 第6章 针对故障树分析技术的优化策略研究 | 第109-124页 |
| ·针对故障树分析技术的优化策略概述 | 第109-110页 |
| ·针对故障树分析技术的优化策略 | 第110-122页 |
| ·针对故障树规模问题的优化策略 | 第110-118页 |
| ·针对故障树循环缺陷的优化策略 | 第118-120页 |
| ·故障树"引入非门"的优化策略 | 第120-122页 |
| ·实例研究及结果分析 | 第122-123页 |
| ·本章小结 | 第123-124页 |
| 第7章 总结与展望 | 第124-128页 |
| ·工作总结 | 第124-126页 |
| ·研究展望 | 第126-128页 |
| 参考文献 | 第128-137页 |
| 附录A 输血过程模型的实例研究结果 | 第137-155页 |
| 附录B 化疗过程模型的实例研究结果 | 第155-177页 |
| 在学期间发表的学术论文及参与项目 | 第177-179页 |
| 致谢 | 第179-180页 |
