面向对象的系统可靠性模型与仿真
| 中文摘要 | 第1-5页 |
| 英文摘要 | 第5-9页 |
| 第1章 绪论 | 第9-14页 |
| 1．1 概述 | 第9-10页 |
| 1．2 课题背景 | 第10-12页 |
| 1．3 本课题的主要任务 | 第12-14页 |
| 第2章 系统和面向对象建模 | 第14-26页 |
| 2．1 系统的概念 | 第14-18页 |
| 2．1．1 系统的定义 | 第14页 |
| 2．1．2 系统的分类 | 第14-15页 |
| 2．1．3 系统的模型 | 第15-16页 |
| 2．1．4 系统的可靠性逻辑模型 | 第16页 |
| 2．1．5 系统的可靠性属性模型 | 第16页 |
| 2．1．6 系统的寿命及有关分布 | 第16-17页 |
| 2．1．7 系统的可靠性定量指标 | 第17-18页 |
| 2．1．8 系统的可靠性仿真 | 第18页 |
| 2．2 面向对象建模 | 第18-21页 |
| 2．3 纯划分法 | 第21-23页 |
| 2．4 树 | 第23-24页 |
| 2．5 树结构的软件实现 | 第24-25页 |
| 2．6 本章小结 | 第25-26页 |
| 第3章 系统仿真的核心问题 | 第26-47页 |
| 3．1 故障 | 第26-27页 |
| 3．1．1 功能故障 | 第26页 |
| 3．1．2 潜在故障 | 第26-27页 |
| 3．1．3 寿命和先兆寿命 | 第27页 |
| 3．2 元件间的关系 | 第27-28页 |
| 3．3 结点的逻辑状态 | 第28-31页 |
| 3．3．1 元件的逻辑状态 | 第28-29页 |
| 3．3．2 模块的逻辑状态 | 第29页 |
| 3．3．3 系统的逻辑状态 | 第29-30页 |
| 3．3．4 结点逻辑状态的数据描述 | 第30-31页 |
| 3．4 用蒙特卡罗法仿真系统的运行过程 | 第31-45页 |
| 3．4．1 申明与假设 | 第31页 |
| 3．4．2 确定结点状态更替的时刻 | 第31-45页 |
| 3．5 本章小结 | 第45-47页 |
| 第4章 基于更换策略的可靠性仿真 | 第47-72页 |
| 4．1 更换策略 | 第47-52页 |
| 4．1．1 定时更换 | 第47页 |
| 4．1．2 视情更换 | 第47-50页 |
| 4．1．3 事后更换 | 第50页 |
| 4．1．4 间歇更换 | 第50-52页 |
| 4．2 策略更换的蒙特卡罗仿真 | 第52-71页 |
| 4．2．1 策略更换中的事件 | 第52-53页 |
| 4．2．2 虚拟现实场景 | 第53页 |
| 4．2．3 面向事件的仿真时钟 | 第53-55页 |
| 4．2．4 名词解释 | 第55页 |
| 4．2．5 基本数据计算 | 第55-58页 |
| 4．2．6 事件的触发 | 第58-60页 |
| 4．2．7 事件的处理 | 第60-71页 |
| 4．3 本章小结 | 第71-72页 |
| 第5章 软件简介与应用 | 第72-87页 |
| 5．1 软件简介 | 第72-78页 |
| 5．1．1 Relma的安装与启动 | 第72-73页 |
| 5．1．2 Relma的主要功能与操作 | 第73-78页 |
| 5．2 Relma的测试 | 第78-81页 |
| 5．2．1 软件测试的目标 | 第79页 |
| 5．2．2 黑盒测试和白盒测试 | 第79页 |
| 5．2．3 Relma的黑盒测试 | 第79-81页 |
| 5．3 Relma的应用 | 第81-86页 |
| 5．4 本章小结 | 第86-87页 |
| 结论 | 第87-89页 |
| 参考文献 | 第89-93页 |
| 致谢 | 第93页 |
