| 摘要 | 第4-6页 |
| Abstract | 第6-8页 |
| 1 绪论 | 第13-25页 |
| 1.1 研究背景及意义 | 第13-14页 |
| 1.2 国内外研究工作进展 | 第14-20页 |
| 1.2.1 四性技术理念与理论方法发展 | 第14-17页 |
| 1.2.2 Petri网技术及其应用发展 | 第17-20页 |
| 1.3 目前四性研究遇到的挑战 | 第20-22页 |
| 1.4 本文研究内容 | 第22-25页 |
| 2 四性一体化模型理论基础 | 第25-35页 |
| 2.1 工程系统四性综述 | 第25-28页 |
| 2.1.1 可靠性概念及指标 | 第25页 |
| 2.1.2 维修性概念及指标 | 第25-26页 |
| 2.1.3 安全性概念及指标 | 第26-27页 |
| 2.1.4 测试性概念及指标 | 第27-28页 |
| 2.2 应用于系统分析的概率方法 | 第28-33页 |
| 2.2.1 贝叶斯网络分析方法 | 第28-30页 |
| 2.2.2 马尔科夫链分析方法 | 第30-33页 |
| 2.3 小结 | 第33-35页 |
| 3 基于功能原理图的四性一体化建模框架 | 第35-57页 |
| 3.1 系统功能原理图与四性评估 | 第35-37页 |
| 3.2 三态建模方法 | 第37-48页 |
| 3.2.1 三态建模方法原理 | 第37-42页 |
| 3.2.2 三态建模方法验证 | 第42-48页 |
| 3.3 三态建模方法在四性一体化模型中应用 | 第48-54页 |
| 3.3.1 四性基础信息的有效融合 | 第48-51页 |
| 3.3.2 四性一体化建模框架 | 第51-54页 |
| 3.4 小结 | 第54-57页 |
| 4 基于Petri网的四性一体化模型构建方法 | 第57-87页 |
| 4.1 Petri网理论基础及其应用 | 第57-62页 |
| 4.1.1 Petri网理论基础 | 第57-59页 |
| 4.1.2 Petri网在系统评估中的应用 | 第59-62页 |
| 4.2 航空器系统故障传播过程分析 | 第62-70页 |
| 4.2.1 系统故障传播过程综述 | 第62页 |
| 4.2.2 航空器系统故障传播特点 | 第62-70页 |
| 4.3 用于描述故障传播的动态随机有色Petri网 | 第70-82页 |
| 4.3.1 故障模式级别分类、编号与着色 | 第70-71页 |
| 4.3.2 构建思路 | 第71页 |
| 4.3.3 LRU状态在Petri网中的表达 | 第71-73页 |
| 4.3.4 内在随机过程在Petri网中的表达 | 第73-75页 |
| 4.3.5 系统、子系统状态在Petri网中的表达 | 第75页 |
| 4.3.6 交互故障传播过程在Petri网中的表达 | 第75-79页 |
| 4.3.7 描述故障传播的动态随机有色Petri网定义 | 第79-82页 |
| 4.4 四性一体化动态随机有色Petri网构建 | 第82-84页 |
| 4.4.1 四性一体化动态随机有色Petri网定义 | 第82-83页 |
| 4.4.2 基于Petri网的四性一体化模型构建方法 | 第83-84页 |
| 4.5 小结 | 第84-87页 |
| 5 基于蒙特卡洛仿真的模型求解方法 | 第87-107页 |
| 5.1 蒙特卡洛仿真基础 | 第87-88页 |
| 5.1.1 蒙特卡洛仿真基本思想 | 第87页 |
| 5.1.2 蒙特卡洛仿真收敛性分析 | 第87-88页 |
| 5.2 伪随机数及随机变量产生方法 | 第88-89页 |
| 5.2.1 伪随机数基本概念及产生方法 | 第88页 |
| 5.2.2 常用分布随机变量的产生方法 | 第88-89页 |
| 5.3 用于四性分析的蒙特卡洛仿真算法 | 第89-96页 |
| 5.3.1 变迁处理方法 | 第89-90页 |
| 5.3.2 变迁优先级确定方法 | 第90-92页 |
| 5.3.3 用于故障传播过程模拟的蒙特卡洛仿真算法 | 第92-94页 |
| 5.3.4 用于四性分析的蒙特卡洛仿真算法 | 第94-96页 |
| 5.4 统计分析方法 | 第96-100页 |
| 5.4.1 可靠性指标求解方法 | 第97-98页 |
| 5.4.2 安全性指标求解方法 | 第98页 |
| 5.4.3 维修性指标求解方法 | 第98-100页 |
| 5.4.4 测试性指标求解方法 | 第100页 |
| 5.5 故障传播仿真算法验证 | 第100-106页 |
| 5.5.1 静态故障传播算例 | 第100-103页 |
| 5.5.2 动态故障传播算例 | 第103-106页 |
| 5.6 小结 | 第106-107页 |
| 6 四性一体化Petri网在航空器系统中的应用 | 第107-131页 |
| 6.1 简单纵向电传飞行控制系统 | 第107-120页 |
| 6.1.1 系统描述与建模 | 第107-110页 |
| 6.1.2 系统四性指标仿真结果 | 第110-115页 |
| 6.1.3 结果验证及分析 | 第115-120页 |
| 6.2 复杂纵向电传飞行控制系统 | 第120-130页 |
| 6.2.1 系统描述与建模 | 第120-124页 |
| 6.2.2 系统四性指标仿真结果与分析 | 第124-130页 |
| 6.3 小结 | 第130-131页 |
| 7 四性一体化建模及分析软件设计 | 第131-149页 |
| 7.1 设计目标 | 第131页 |
| 7.2 软件体系结构设计 | 第131-138页 |
| 7.2.1 软件整体架构 | 第131-134页 |
| 7.2.2 软件系统功能设计 | 第134-135页 |
| 7.2.3 软件界面规划 | 第135-138页 |
| 7.3 软件主要技术 | 第138-143页 |
| 7.3.1 数据库组织：规则化信息表 | 第138-142页 |
| 7.3.2 四性分析计算在软件中的实现 | 第142-143页 |
| 7.4 实例验证 | 第143-148页 |
| 7.5 小结 | 第148-149页 |
| 8 故障传播仿真算法在重要度计算中的应用 | 第149-157页 |
| 8.1 结构重要度 | 第149-152页 |
| 8.1.1 结构重要度定义 | 第149-150页 |
| 8.1.2 结构重要度精确算法 | 第150页 |
| 8.1.3 结构重要度仿真算法 | 第150-152页 |
| 8.2 概率重要度 | 第152-153页 |
| 8.2.1 概率重要度定义 | 第152页 |
| 8.2.2 概率重要度精确算法 | 第152页 |
| 8.2.3 概率重要度仿真算法 | 第152-153页 |
| 8.3 关键重要度 | 第153-154页 |
| 8.3.1 关键重要度定义 | 第153页 |
| 8.3.2 关键重要度精确算法 | 第153页 |
| 8.3.3 关键重要度仿真算法 | 第153-154页 |
| 8.4 实例验证 | 第154-156页 |
| 8.5 小结 | 第156-157页 |
| 9 总结与展望 | 第157-161页 |
| 9.1 全文工作总结 | 第157-158页 |
| 9.2 主要创新点 | 第158-159页 |
| 9.3 工作展望 | 第159-161页 |
| 参考文献 | 第161-175页 |
| 附录A 不同逻辑在动态随机有色Petri网中的图形表达 | 第175-181页 |
| 附录B 故障传播仿真算法详细流程图 | 第181-185页 |
| 附录C 复杂纵向电传飞控系统四性一体化动态随机有色Petri网 | 第185-193页 |
| 附录D 三类重要度精确计算方法推导 | 第193-197页 |
| 致谢 | 第197-199页 |
| 攻读博士学位期间发表的学术论文与参加科研情况 | 第199-200页 |
