一种对于分布式渲染集群系统可用性分析的概率模型检查方法

摘要：

本文通过使用概率模型检查工具PRISM,研究渲染集群节点系统的可用性。针对1个集群节点和2个集群节点组成的系统,使用PRISM模型语言进行了建模,并通过相关属性的描述,从而得到系统可用性的稳态概率分布。

关键词：概率模型检查、渲染集群、PRISM、CTMC、CSL

所属期刊栏目：18

分类号：TP301.6(计算技术、计算机技术)

在线出版日期：2012-04-21（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：34-39