动态故障树分析方法研究

中文摘要	第1-4页
英文摘要	第4-5页
第一章 绪论	第5-11页
§1．1 背景	第5-6页
§1．2 国内外研究概况、水平和发展趋势	第6-8页
§1．3 存在的问题	第8-9页
§1．4 论文主要内容和结构安排	第9-11页
第二章 动态故障树的基本理论	第11-21页
§2．1 故障树基本理论	第12-14页
§2．2 动态逻辑门的引入及其转化	第14-18页
§2．3 动态故障树模型的转化方法	第18-21页
第三章 动态故障树分析	第21-36页
§3．1 基于BDD的故障树分析	第21-24页
§3．2 马尔可夫链	第24-36页
第四章 动态故障树的模块化	第36-45页
§4．1 动态故障树预处理	第37-39页
§4．2 故障树模块	第39-40页
§4．3 模块搜索方法	第40-43页
§4．4 动态故障树模块化结果的合成	第43-45页
第五章 动态故障树实例分析	第45-62页
§5．1 心脏辅助系统动态故障树分析	第45-53页
§5．2 任务电子设备系统动态故障树分析	第53-62页
第六章 结束语	第62-64页
§6．1 本文的贡献	第62页
§6．2 尚待解决的问题	第62-64页
致谢	第64-65页
参考文献	第65-67页