机群系统可信性评价的研究
发布时间：2023-09-13 22:05
论文在机群系统的可信性评价的模型、方法和工具方面进行了研究。 论文首先介绍了适合机群可信性评价的若干指标,对系统可用性、系统可靠性和任务完成情况三种指标进行了形式化描述,并通过一个双节点机群的例子分析和比较了不同指标的适用条件和衡量结果。 论文接着介绍了机群可信性建模的理论和方法,阐述了机群模型中故障速率,故障覆盖率和恢复速率三种基本参数的语义,分析了它们的特征和估计方法;同时介绍了当前可信性建模中广泛使用的可靠性框图、故障树、Markov链和Petri网模型,对这些模型的描述能力和建模的复杂程度进行了分析和对比。 论文的主要工作是采用可靠性框图方法对机群的基本可信性进行评价,提出基于着色Petri网的高可用机群的可信性评价方法,开发了一个着色Petri网的模拟工具NCPN和高可用机群的可信性评价工具ACUTE,并研究了一个高可用机群系统的实例。 应用可靠性框图方法可对机群的基本可信性进行分析,论文以曙光4000A机群系统为实例,评价了其基本可信性指标,指出262个节点的机群的MTTF时间仅有一天。 论文提出了一种基于着色Petri网的高可用机群的可信性评价方法,该方法使用着色Pe...
【文章页数】：78 页
【学位级别】：硕士
【文章目录】：
声明
关于论文使用授权的说明
摘要
ABSTRACT
第一章 引言
1.1 可信性评价的概念
1.2 提高机群可信性的方法
1.3 相关研究
1.3.1 ＨＡＲＰ和ＳＨＡＲＰＥ
1.3.2 ＤＥＰＥＮＤ
1.3.3 ＲＥＡＣＴ
1.3.4 ＮＦＴＡＰＥ
1.4 论文的主要贡献和组织
第二章 机群可信性评价指标
2.1 可信性指标的类型
2.2 引例
2.3 系统可用性指标
2.3.1 基本可用性
2.3.2 容错可用性
2.3.3 面向性能的可用性
2.3.4 面向性能的容错可用性
2.4 系统可靠性指标
2.4.1 可靠性函数
2.4.2 故障发生频率
2.4.3 可靠性指标实例
2.5 任务完成指标
2.5.1 任何故障造成的任务中断概率
2.5.2 超过系统或任务的容错能力造成的任务中断概率
2.5.3 超过系统的容错能力造成的任务中断概率
第三章 机群可信性建模方法
3.1 可信性模型的参数
3.1.1 故障速率
3.1.2 覆盖率
3.1.3 恢复速率
3.2 可信性建模方法
3.3 模型验证
第四章 机群系统基本可信性评价
4.1 应用可靠性框图方法
4.2.1 串联模型
4.2.2 并联模型
4.2.3 ｋ／ｎ模型
4.2.4 复杂系统
4.2 曙光４０００Ａ实例
4.3 评价结果
4.3.1 部件可信性参数
4.3.2 系统基本可信性指标
4.3.3 讨论
第五章 高可用机群可信性建模方法
5.1 高可用机群
5.1.1 概念
5.1.2 基本特征
5.2 着色Ｐｅｔｒｉ网理论
5.3 高可用机群的着色Ｐｅｔｒｉ网模型
5.3.1 动态建模
5.3.2 面向对象的设计
5.3.3 机群系统行为子模型库
第六章 高可用机群可信性评价工具的实现
6.1 现有的Ｐｅｔｒｉ网工具
6.2 ＮＣＰＮ的设计思想
6.2.1 使用面向对象的建模方法
6.2.2 事件驱动的模拟求解
6.3 ＮＣＰＮ的实现
6.3.1 ＮＣＰＮ基本类库
6.3.2 ＮＣＰＮ模拟引擎
6.3.3 ＮＣＰＮ关键算法
6.4 ＮＣＰＮ实现特点
6.4.1 层次化建模
6.4.2 ＣＰＮ的结构扩展
6.4.3 ＮＣＰＮ测试
6.5 高可用机群可信性评价工具ＡＣＵＴＥ
第七章 高可用机群可信性评价实例
7.1 参数说明
7.2 评价结果
7.2.1 计算型任务的可信性
7.2.2 Ｏｒａｃｌｅ数据库服务的可信性
7.3 可信性参数的影响
7.3.1 故障速率对恢复策略选取的影响
7.3.2 覆盖率对恢复策略选取的影响
7.3.3 恢复时间对恢复策略选取的影响
7.3.4 最优恢复策略选取的定性讨论
第八章 结束语
附录ＡＣＵＴＥ输入参数文件
运行计算型任务输入参数
运行Ｏｒａｃｌｅ数据库服务输入参数
参考文献
致谢
作者简历
本文编号：3846001
【文章页数】：78 页
【学位级别】：硕士
【文章目录】：
声明
关于论文使用授权的说明
摘要
ABSTRACT
第一章 引言
1.1 可信性评价的概念
1.2 提高机群可信性的方法
1.3 相关研究
1.3.1 ＨＡＲＰ和ＳＨＡＲＰＥ
1.3.2 ＤＥＰＥＮＤ
1.3.3 ＲＥＡＣＴ
1.3.4 ＮＦＴＡＰＥ
1.4 论文的主要贡献和组织
第二章 机群可信性评价指标
2.1 可信性指标的类型
2.2 引例
2.3 系统可用性指标
2.3.1 基本可用性
2.3.2 容错可用性
2.3.3 面向性能的可用性
2.3.4 面向性能的容错可用性
2.4 系统可靠性指标
2.4.1 可靠性函数
2.4.2 故障发生频率
2.4.3 可靠性指标实例
2.5 任务完成指标
2.5.1 任何故障造成的任务中断概率
2.5.2 超过系统或任务的容错能力造成的任务中断概率
2.5.3 超过系统的容错能力造成的任务中断概率
第三章 机群可信性建模方法
3.1 可信性模型的参数
3.1.1 故障速率
3.1.2 覆盖率
3.1.3 恢复速率
3.2 可信性建模方法
3.3 模型验证
第四章 机群系统基本可信性评价
4.1 应用可靠性框图方法
4.2.1 串联模型
4.2.2 并联模型
4.2.3 ｋ／ｎ模型
4.2.4 复杂系统
4.2 曙光４０００Ａ实例
4.3 评价结果
4.3.1 部件可信性参数
4.3.2 系统基本可信性指标
4.3.3 讨论
第五章 高可用机群可信性建模方法
5.1 高可用机群
5.1.1 概念
5.1.2 基本特征
5.2 着色Ｐｅｔｒｉ网理论
5.3 高可用机群的着色Ｐｅｔｒｉ网模型
5.3.1 动态建模
5.3.2 面向对象的设计
5.3.3 机群系统行为子模型库
第六章 高可用机群可信性评价工具的实现
6.1 现有的Ｐｅｔｒｉ网工具
6.2 ＮＣＰＮ的设计思想
6.2.1 使用面向对象的建模方法
6.2.2 事件驱动的模拟求解
6.3 ＮＣＰＮ的实现
6.3.1 ＮＣＰＮ基本类库
6.3.2 ＮＣＰＮ模拟引擎
6.3.3 ＮＣＰＮ关键算法
6.4 ＮＣＰＮ实现特点
6.4.1 层次化建模
6.4.2 ＣＰＮ的结构扩展
6.4.3 ＮＣＰＮ测试
6.5 高可用机群可信性评价工具ＡＣＵＴＥ
第七章 高可用机群可信性评价实例
7.1 参数说明
7.2 评价结果
7.2.1 计算型任务的可信性
7.2.2 Ｏｒａｃｌｅ数据库服务的可信性
7.3 可信性参数的影响
7.3.1 故障速率对恢复策略选取的影响
7.3.2 覆盖率对恢复策略选取的影响
7.3.3 恢复时间对恢复策略选取的影响
7.3.4 最优恢复策略选取的定性讨论
第八章 结束语
附录ＡＣＵＴＥ输入参数文件
运行计算型任务输入参数
运行Ｏｒａｃｌｅ数据库服务输入参数
参考文献
致谢
作者简历
本文编号：3846001
本文链接：https://www.wllwen.com/kejilunwen/jisuanjikexuelunwen/3846001.html
