机群系统可信性评价的研究
| 声明 | 第1页 |
| 关于论文使用授权的说明 | 第3-4页 |
| 摘要 | 第4-5页 |
| ABSTRACT | 第5-9页 |
| 第一章 引言 | 第9-15页 |
| ·可信性评价的概念 | 第9-10页 |
| ·提高机群可信性的方法 | 第10-11页 |
| ·相关研究 | 第11-13页 |
| ·ＨＡＲＰ和ＳＨＡＲＰＥ | 第11-12页 |
| ·ＤＥＰＥＮＤ | 第12页 |
| ·ＲＥＡＣＴ | 第12-13页 |
| ·ＮＦＴＡＰＥ | 第13页 |
| ·论文的主要贡献和组织 | 第13-15页 |
| 第二章 机群可信性评价指标 | 第15-23页 |
| ·可信性指标的类型 | 第15页 |
| ·引例 | 第15-17页 |
| ·系统可用性指标 | 第17-19页 |
| ·基本可用性 | 第17-18页 |
| ·容错可用性 | 第18页 |
| ·面向性能的可用性 | 第18-19页 |
| ·面向性能的容错可用性 | 第19页 |
| ·系统可靠性指标 | 第19-21页 |
| ·可靠性函数 | 第19-20页 |
| ·故障发生频率 | 第20页 |
| ·可靠性指标实例 | 第20-21页 |
| ·任务完成指标 | 第21-23页 |
| ·任何故障造成的任务中断概率 | 第21-22页 |
| ·超过系统或任务的容错能力造成的任务中断概率 | 第22页 |
| ·超过系统的容错能力造成的任务中断概率 | 第22-23页 |
| 第三章 机群可信性建模方法 | 第23-31页 |
| ·可信性模型的参数 | 第23-25页 |
| ·故障速率 | 第23-24页 |
| ·覆盖率 | 第24-25页 |
| ·恢复速率 | 第25页 |
| ·可信性建模方法 | 第25-29页 |
| ·模型验证 | 第29-31页 |
| 第四章 机群系统基本可信性评价 | 第31-37页 |
| ·应用可靠性框图方法 | 第31-33页 |
| ·串联模型 | 第31页 |
| ·并联模型 | 第31-32页 |
| ·ｋ／ｎ模型 | 第32-33页 |
| ·复杂系统 | 第33页 |
| ·曙光４０００Ａ实例 | 第33-34页 |
| ·评价结果 | 第34-37页 |
| ·部件可信性参数 | 第34-35页 |
| ·系统基本可信性指标 | 第35页 |
| ·讨论 | 第35-37页 |
| 第五章 高可用机群可信性建模方法 | 第37-51页 |
| ·高可用机群 | 第37-40页 |
| ·概念 | 第37-38页 |
| ·基本特征 | 第38-40页 |
| ·着色Ｐｅｔｒｉ网理论 | 第40-41页 |
| ·高可用机群的着色Ｐｅｔｒｉ网模型 | 第41-51页 |
| ·动态建模 | 第41-42页 |
| ·面向对象的设计 | 第42页 |
| ·机群系统行为子模型库 | 第42-51页 |
| 第六章 高可用机群可信性评价工具的实现 | 第51-61页 |
| ·现有的Ｐｅｔｒｉ网工具 | 第51页 |
| ·ＮＣＰＮ的设计思想 | 第51-53页 |
| ·使用面向对象的建模方法 | 第51-52页 |
| ·事件驱动的模拟求解 | 第52-53页 |
| ·ＮＣＰＮ的实现 | 第53-57页 |
| ·ＮＣＰＮ基本类库 | 第53-54页 |
| ·ＮＣＰＮ模拟引擎 | 第54-55页 |
| ·ＮＣＰＮ关键算法 | 第55-57页 |
| ·ＮＣＰＮ实现特点 | 第57-58页 |
| ·层次化建模 | 第57页 |
| ·ＣＰＮ的结构扩展 | 第57-58页 |
| ·ＮＣＰＮ测试 | 第58页 |
| ·高可用机群可信性评价工具ＡＣＵＴＥ | 第58-61页 |
| 第七章 高可用机群可信性评价实例 | 第61-69页 |
| ·参数说明 | 第61-62页 |
| ·评价结果 | 第62-65页 |
| ·计算型任务的可信性 | 第62-63页 |
| ·Ｏｒａｃｌｅ数据库服务的可信性 | 第63-65页 |
| ·可信性参数的影响 | 第65-69页 |
| ·故障速率对恢复策略选取的影响 | 第65页 |
| ·覆盖率对恢复策略选取的影响 | 第65-66页 |
| ·恢复时间对恢复策略选取的影响 | 第66页 |
| ·最优恢复策略选取的定性讨论 | 第66-69页 |
| 第八章 结束语 | 第69-71页 |
| 附录ＡＣＵＴＥ输入参数文件 | 第71-75页 |
| 运行计算型任务输入参数 | 第71-72页 |
| 运行Ｏｒａｃｌｅ数据库服务输入参数 | 第72-75页 |
| 参考文献 | 第75-77页 |
| 致谢 | 第77-78页 |
| 作者简历 | 第78页 |
