作者:王克敏 王永滨概率模型检查渲染集群prismctmccsl
摘要:本文通过使用概率模型检查工具PRISM,研究渲染集群节点系统的可用性。针对1个集群节点和2个集群节点组成的系统,使用PRISM模型语言进行了建模,并通过相关属性的描述,从而得到系统可用性的稳态概率分布。
注:因版权方要求,不能公开全文,如需全文,请咨询杂志社
《中国传媒大学学报》(CN:11-5379/N)是一本有较高学术价值的大型双月刊,自创刊以来,选题新奇而不失报道广度,服务大众而不失理论高度。颇受业界和广大读者的关注和好评。 《中国传媒大学学报》主要刊登广播电视技术、多媒体技术、计算机应用、录音电声技术、通信技术、管理科学以及教学研究等方面的学术论文。
省级期刊
人气 238777 评论 36
人气 154476 评论 33
人气 152168 评论 53
人气 123515 评论 54