| 摘要 | 第4-5页 |
| abstract | 第5-6页 |
| 第一章 绪论 | 第13-19页 |
| 1.1 课题研究背景及意义 | 第13-14页 |
| 1.2 可靠性评估方法的国内外研究现状 | 第14-17页 |
| 1.3 主要研究内容和论文结构安排 | 第17-19页 |
| 第二章 作战系统一体化可靠性评估综述 | 第19-28页 |
| 2.1 系统可靠性的概念 | 第19页 |
| 2.2 作战系统一体化概述 | 第19-22页 |
| 2.2.1 作战系统一体化的主要特征与技术要求 | 第20页 |
| 2.2.2 作战系统一体化的主要能力描述 | 第20-22页 |
| 2.2.3 作战系统一体化的主要功能描述 | 第22页 |
| 2.3 状态事件故障树在可靠性评估方法中的应用 | 第22-24页 |
| 2.4 状态事件故障树基本理论 | 第24-25页 |
| 2.5 Markov基本理论 | 第25-27页 |
| 2.6 本章小结 | 第27-28页 |
| 第三章 面向Markov的SEFT定性分析研究 | 第28-39页 |
| 3.1 基于状态事件的最小扩展割序集 | 第28-30页 |
| 3.2 一种面向Markov的SEFT定性分析方法 | 第30-35页 |
| 3.2.1 Markov问题描述 | 第30-31页 |
| 3.2.2 基于构件和逻辑门的端口映射表 | 第31-32页 |
| 3.2.3 逻辑门转换规则 | 第32-33页 |
| 3.2.4 顺序逻辑推理规则 | 第33-35页 |
| 3.3 实验：鱼雷防御系统算例分析 | 第35-38页 |
| 3.3.1 最小扩展割序集的确定 | 第35-38页 |
| 3.3.2 实验结果分析 | 第38页 |
| 3.4 本章小结 | 第38-39页 |
| 第四章 基于Markov的作战系统一体化可靠性评估研究 | 第39-62页 |
| 4.1 基于时序关系的Markov状态转移图 | 第39-49页 |
| 4.1.1 Markov状态转移图生成与状态空间爆炸问题描述 | 第39-40页 |
| 4.1.2 时序规则 | 第40-41页 |
| 4.1.3 基于时序关系的Markov状态转移图生成算法 | 第41-43页 |
| 4.1.4 实验：鱼攻系统Markov状态转移图 | 第43-49页 |
| 4.2 基于Markov的作战系统一体化可靠性评估模型 | 第49-61页 |
| 4.2.1 系统活动图到Markov状态转移图的转换算法 | 第49-52页 |
| 4.2.2 基于Markov的作战系统一体化可靠性评估流程 | 第52-54页 |
| 4.2.3 实验：作战系统可靠性评估 | 第54-61页 |
| 4.3 本章小结 | 第61-62页 |
| 第五章 作战系统一体化可靠性评估系统及其应用 | 第62-72页 |
| 5.1 作战系统一体化可靠性评估软件概述 | 第62-63页 |
| 5.2 作战系统一体化可靠性评估软件设计 | 第63-68页 |
| 5.2.1 作战系统一体化可靠性评估软件功能模块设计 | 第63-67页 |
| 5.2.2 作战系统一体化可靠性评估软件界面设计 | 第67-68页 |
| 5.3 作战系统一体化可靠性评估软件实现 | 第68-71页 |
| 5.3.1 作战系统一体化可靠性评估软件运行环境 | 第68页 |
| 5.3.2 作战系统一体化可靠性评估软件 | 第68-71页 |
| 5.4 本章小结 | 第71-72页 |
| 第六章 总结与展望 | 第72-74页 |
| 6.1 论文总结 | 第72-73页 |
| 6.2 研究工作展望 | 第73-74页 |
| 参考文献 | 第74-78页 |
| 致谢 | 第78-79页 |
| 在学期间的研究成果及发表的论文 | 第79页 |
