| 摘要 | 第5-6页 |
| ABSTRACT | 第6-7页 |
| 符号对照表 | 第11-12页 |
| 缩略语对照表 | 第12-15页 |
| 第一章 绪论 | 第15-19页 |
| 1.1 研究背景及意义 | 第15-16页 |
| 1.2 国内外研究现状 | 第16-17页 |
| 1.3 论文主要内容和创新 | 第17-19页 |
| 第二章 基础知识介绍 | 第19-27页 |
| 2.1 AFDX网络及其可靠性 | 第19-20页 |
| 2.2 故障树建模理论 | 第20-22页 |
| 2.2.1 传统故障树 | 第20-21页 |
| 2.2.2 组件故障树 | 第21-22页 |
| 2.3 Petri网建模理论 | 第22-25页 |
| 2.3.1 基本Petri网 | 第22-23页 |
| 2.3.2 随机Petri网 | 第23-24页 |
| 2.3.3 有色Petri网 | 第24-25页 |
| 2.4 Petri网分析工具TimeNET | 第25-26页 |
| 2.5 本章小结 | 第26-27页 |
| 第三章 AFDX网络的状态事件故障树模型 | 第27-37页 |
| 3.1 AFDX网络的数据传输过程 | 第27-28页 |
| 3.2 状态事件故障树的可靠性分析方法 | 第28-32页 |
| 3.2.1 状态事件故障树的简介 | 第28-30页 |
| 3.2.2 状态事件故障树的分析方法 | 第30-32页 |
| 3.3 AFDX网络的数据完整可靠性建模 | 第32-36页 |
| 3.3.1 AFDX网络的丢帧情况分析 | 第32-34页 |
| 3.3.2 AFDX网络数据完整可靠性的状态事件故障树模型 | 第34-36页 |
| 3.4 本章小结 | 第36-37页 |
| 第四章 基于接口自动机的状态事件故障树化简方法 | 第37-53页 |
| 4.1 接口自动机模型形式化定义 | 第37-38页 |
| 4.2 改进的拓展卫式接口自动机模型形式化定义 | 第38-40页 |
| 4.3 状态事件故障树中组件与拓展卫式接口自动机之间的转化规则 | 第40-41页 |
| 4.4 改进的状态事件故障树简化方法 | 第41-45页 |
| 4.4.1 改进的拓展卫式接口自动机的合并算法 | 第42-44页 |
| 4.4.2 状态事件故障树的简化步骤 | 第44-45页 |
| 4.5 状态事件故障树简化方法的实例仿真及验证 | 第45-52页 |
| 4.6 本章小结 | 第52-53页 |
| 第五章 状态事件故障树的最小割集序列分析 | 第53-69页 |
| 5.1 状态事件故障树最小割集序列的定性分析 | 第53-57页 |
| 5.1.1 状态事件故障树最小割集序列的生成方法 | 第53-54页 |
| 5.1.2 状态事件故障树的最小割集序列求解实例 | 第54-57页 |
| 5.2 状态事件故障树的有色Petri网等价转换规则 | 第57-63页 |
| 5.2.1 有色Petri分析工具TimeNET | 第57-59页 |
| 5.2.2 状态事件故障树到有色Petri网的语义转换规则设计 | 第59-63页 |
| 5.3 状态事件故障树最小割集序列的定量计算 | 第63-64页 |
| 5.4 状态事件故障树最小割集序列计算的实例分析 | 第64-68页 |
| 5.5 本章小结 | 第68-69页 |
| 第六章 总结与展望 | 第69-71页 |
| 参考文献 | 第71-75页 |
| 致谢 | 第75-77页 |
| 作者简介 | 第77-78页 |
