计算机集群中负载均衡机制的形式化分析

第一章 绪论	第1-13页
第一节 引言	第8-12页
·研究背景	第8页
·研究现状	第8-10页
·相关技术简介	第10-12页
第二节 本文主要工作	第12页
第三节 本文组织结构	第12-13页
第二章 计算机集群中负载均衡机制的研究	第13-21页
第一节 负载均衡的工作原理	第14-16页
·实现的原理	第14-15页
·实现的层次	第15页
·负载均衡的基本问题	第15-16页
第二节 负载均衡的基本算法	第16-17页
第三节 计算机集群中负载均衡机制作用的例子	第17-21页
·一个科学计算集群的例子	第17-19页
·在LVS种负载均衡的应用	第19-21页
第三章 基于 Petri网的形式化相关技术的研究	第21-39页
第一节 Petri网的基本概念和术语	第21-24页
第二节 Petri网的性质	第24-26页
·行为性质	第24-25页
·结构性质	第25-26页
第三节 Petri网的分析方法	第26-39页
·随机 Petri网的模型方法	第26-29页
·可达树和可达图	第29-31页
·关联矩阵和不变量	第31-32页
·形式化验证方法	第32-33页
·马尔可夫链	第33-34页
·性能评价方法	第34-39页
第四章 负载均衡机制的形式化分析	第39-58页
第一节 负载均衡机制的形式化分析流程	第39页
第二节 计算机集群中负载均衡机制模型的抽象	第39-42页
第三节 SHLPN模型	第42-45页
·系统模型	第42-44页
·模型的精化	第44-45页
第四节 基于模型的形式化分析	第45-53页
·系统的形式化验证	第45-47页
·模型中不同负载均衡策略及其性能评价指标	第47-51页
·近似性能分析	第51-53页
第五节 形式化分析结果的评价	第53-58页
第五章 总结与展望	第58-59页
参考文献	第59-62页
致谢	第62页