HI,欢迎来到学术之家,发表咨询:400-888-7501  订阅咨询:400-888-7502  股权代码  102064
0

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

作者:王克敏 王永滨概率模型检查渲染集群prismctmccsl

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

注:因版权方要求,不能公开全文,如需全文,请咨询杂志社

中国传媒大学学报

《中国传媒大学学报》(CN:11-5379/N)是一本有较高学术价值的大型双月刊,自创刊以来,选题新奇而不失报道广度,服务大众而不失理论高度。颇受业界和广大读者的关注和好评。 《中国传媒大学学报》主要刊登广播电视技术、多媒体技术、计算机应用、录音电声技术、通信技术、管理科学以及教学研究等方面的学术论文。

杂志详情