论文部分内容阅读
本文通过使用概率模型检查工具PRISM,研究渲染集群节点系统的可用性。针对1个集群节点和2个集群节点组成的系统,使用PRISM模型语言进行了建模,并通过相关属性的描述,从而得到系统可用性的稳态概率分布。
一种对于分布式渲染集群系统可用性分析的概率模型检查方法
【摘 要】
：
本文通过使用概率模型检查工具PRISM,研究渲染集群节点系统的可用性。针对1个集群节点和2个集群节点组成的系统,使用PRISM模型语言进行了建模,并通过相关属性的描述,从而得到
【机 构】
：
中国传媒大学计算机学院
【出 处】
：
中国传媒大学学报：自然科学版
【发表日期】
：
2011年3期
其他文献
在点集拓扑学、离散数学图论以及复杂网络理论关于连通性研究的基础上，本文借助系统经济学的“资源位”概念，以空间资源位为点权，以时间资源位为边权，为航空网络的连通性研究提供
中国与印度两国边界全长约1700千米，分西、中、东3段。西段约600千米．中段约450千米．东段约650千米。1962年两国因边界争端爆发了一场边界战争。30余年来．虽然中印政府一直在寻找
民国十六年版《简阳县志》中收录了比较丰富的方言资料,共有湖广话、广东话、江西话、福建话、湖南话五种语料,还用湖广话对其他方言进行译注。根据其语音、词汇、语法特点分