| 目录 | 第1-13页 |
| 摘要 | 第13-15页 |
| ABSTRACT | 第15-18页 |
| 第1章 绪论 | 第18-40页 |
| ·研究背景 | 第18-22页 |
| ·国内外研究现状 | 第22-34页 |
| ·空间信息处理系统中的软件容错模型 | 第22-25页 |
| ·空间信息处理系统的可靠性分析模型 | 第25-31页 |
| ·可靠性分析工具与相关研究项目 | 第31-34页 |
| ·论文研究内容 | 第34-36页 |
| ·论文的创新点 | 第36-37页 |
| ·论文的结构与安排 | 第37-40页 |
| 第2章 软件容错模型中的容错实时调度算法 | 第40-64页 |
| ·引言 | 第40-41页 |
| ·软件容错模型 | 第41-45页 |
| ·基本模型 | 第41-42页 |
| ·BCE算法 | 第42-44页 |
| ·PKSA算法 | 第44-45页 |
| ·软件容错模型中的反向与正向调度算法研究 | 第45-52页 |
| ·反向调度算法 | 第45-47页 |
| ·正向调度算法 | 第47页 |
| ·正向调度与反向调度的协调 | 第47-49页 |
| ·模拟结果 | 第49-52页 |
| ·基于预测表的容错实时调度算法 | 第52-63页 |
| ·预测表的结构 | 第52-53页 |
| ·PTBA算法 | 第53-59页 |
| ·PTBA算法可调度性的判定 | 第59页 |
| ·模拟结果 | 第59-63页 |
| ·本章小结 | 第63-64页 |
| 第3章 基于割序集的可靠性分析模型 | 第64-106页 |
| ·引言 | 第64-68页 |
| ·符号说明 | 第66-67页 |
| ·假设条件 | 第67-68页 |
| ·动态故障树及其分析方法 | 第68-73页 |
| ·动态门 | 第68-71页 |
| ·基于动态故障树的可靠性分析方法 | 第71-73页 |
| ·割序集的生成方法 | 第73-82页 |
| ·顺序失效符与故障树的割序集 | 第73页 |
| ·静态门和动态门的SFS转换 | 第73-78页 |
| ·标准割序集与割序集的简化形式 | 第78页 |
| ·SFS的推演规则 | 第78-81页 |
| ·最小割序集 | 第81-82页 |
| ·割序集的定量分析方法 | 第82-88页 |
| ·顺序失效逻辑的概率模型 | 第82-83页 |
| ·普通SFE的量化方法 | 第83-84页 |
| ·由CSP门生成的SFE的量化方法 | 第84-85页 |
| ·由WSP门生成的SFE的量化方法 | 第85-88页 |
| ·基于割序集的可靠性分析模型 | 第88-94页 |
| ·模型的提出 | 第88页 |
| ·计算复杂度分析 | 第88-89页 |
| ·模型的简化 | 第89-93页 |
| ·模型的总结 | 第93-94页 |
| ·典型应用 | 第94-105页 |
| ·简单动态系统 | 第94-98页 |
| ·星载计算机系统(一) | 第98-102页 |
| ·星载计算机系统(二) | 第102-105页 |
| ·本章小结 | 第105-106页 |
| 第4章 基于贝叶斯网络的动态多阶段系统可靠性分析模型 | 第106-138页 |
| ·引言 | 第106-110页 |
| ·标准贝叶斯网络 | 第110-113页 |
| ·贝叶斯网络的结构 | 第110-112页 |
| ·贝叶斯网络的类型 | 第112页 |
| ·贝叶斯网络的推理 | 第112-113页 |
| ·离散时间贝叶斯网络 | 第113-115页 |
| ·Phase-BN的生成方法 | 第115-120页 |
| ·AND门和OR门向DTBN的转换 | 第116页 |
| ·k╱n门向DTBN的转换 | 第116-117页 |
| ·FDEP门向DTBN的转换 | 第117页 |
| ·WSP门向DTBN的转换 | 第117-118页 |
| ·CSP门向DTBN的转换 | 第118页 |
| ·PAND门向DTBN的转换 | 第118-119页 |
| ·SEQ门向DTBN的转换 | 第119-120页 |
| ·PMS-BN的生成方法 | 第120-121页 |
| ·基于PMS-BN的PMS可靠性分析模型 | 第121-128页 |
| ·假设条件 | 第121-122页 |
| ·利用PMS-BN求解PMS的可靠度 | 第122-126页 |
| ·计算复杂度分析 | 第126-128页 |
| ·典型应用 | 第128-136页 |
| ·航空电子系统 | 第128-133页 |
| ·星载计算机系统 | 第133-135页 |
| ·PMS-BN模型与Markov链模型的比较 | 第135-136页 |
| ·本章小结 | 第136-138页 |
| 第5章 高可靠非Markov系统的可靠性仿真模型 | 第138-158页 |
| ·引言 | 第138-139页 |
| ·Markov系统的仿真模型 | 第139-143页 |
| ·粗仿真模型 | 第139-141页 |
| ·重要抽样仿真模型 | 第141-142页 |
| ·强制转移仿真模型 | 第142-143页 |
| ·非Markov系统中剩余分布的近似抽样方法 | 第143-147页 |
| ·特定分布的精确抽样方法 | 第144-145页 |
| ·一般分布的近似抽样方法 | 第145-146页 |
| ·ASRD的计算复杂度分析 | 第146-147页 |
| ·基于强制转移的高可靠非Markov系统可靠性仿真模型 | 第147-150页 |
| ·FT-ASRD仿真模型 | 第147-149页 |
| ·抽样方式的动态调整 | 第149-150页 |
| ·典型应用 | 第150-157页 |
| ·ASRD抽样方法正确性的验证 | 第150-151页 |
| ·FT-ASRD模型性能的判定 | 第151-153页 |
| ·星载计算机系统 | 第153-157页 |
| ·本章小结 | 第157-158页 |
| 第6章 结束语 | 第158-162页 |
| ·论文研究总结 | 第158-160页 |
| ·展望与设想 | 第160-162页 |
| 致谢 | 第162-164页 |
| 参考文献 | 第164-174页 |
| 作者在学期间取得的学术成果 | 第174-176页 |
| 附录A 例4.4的PMS-BN | 第176页 |