【摘 要】
：
针对异构计算节点组成的大规模多状态计算系统的容错性能分析问题,提出了一种计算系统容错性能的评估方法。该方法采用自定义的两级容错性能形式化描述框架进行系统描述,通过
【机 构】
：
华侨大学数学科学学院计算科学福建省高校重点实验室
【基金项目】
：
国家自然科学基金项目(61572442),泉州市高层次人才团队项目(2017ZT012)
论文部分内容阅读
针对异构计算节点组成的大规模多状态计算系统的容错性能分析问题,提出了一种计算系统容错性能的评估方法。该方法采用自定义的两级容错性能形式化描述框架进行系统描述,通过构造多值决策图(Multi-value Decision Diagram,MDD)模型对系统进行容错性能建模,并基于构造的模型高效地计算出部件故障的条件下计算系统在特定性能水平上运行的概率,减少了计算的冗余性。实验结果表明,该方法在模型的大小和构建时间上均优于传统方法。该方法的提出将对系统操作员或程序设计者具有重要意义,使其确保系统适合预期应用。
其他文献
本文简要介绍了同层排水系统的概念、种类，及其与传统排水系统相比的优势和进行同层排水设计时应注意的问题，为广大设计人员及业主了解同层排水提供一些资料。
尊敬的各位领导以及组织“坐便洁身器”行业标准编制工作的住房和城乡建设部政策研究中心厨房卫生问研究所的各位专家，尊敬的媒体朋友，尊敬的行业内企业同行朋友，大家好!
随着我国海外利益延伸,海军走向海外势在必然,如何高效开展海外后勤保障成了海军面临的重要问题。文章介绍了美军海外预置储备发展现状及做法,并结合我军现状及特点,提出了加
2005年，我进入了教师队伍，并走进了大山，成了一名山区教师。我不知道朋友们对“山区教师”是个什么概念，是电影《一个都不能少》中的魏敏芝呢，还是诸如山区全国模范“留守教师”仰
文章以Zara和H&M为例,研究快时尚服装品牌供应链模式及运营战略。通过对Zara和H&M供应链模式的分析、归纳,总结出快时尚服装品牌所特有的双供应链结构。这种“量身定制”的供
今年以来,全国农机深松整地工作取得良好开局。截至7月5日,全国共投入深松机具8.3万台（套）,已完成深松整地作业面积3068万亩,占计划任务的20.5%。今年中央财政已下拨首批209亿
一、财务业务一体化的内涵财务业务一体化的基本思想是:在包括网络、数据库、管理软件平台等要素的IT环境下,将企业经营中的三大主要流程,即业务流程、财务会计流程、管理流
一、上市公司亏损的因素分析1.上市公司亏损的制度因素分析.(1)国有股东缺位.我国国有资产的委托经营链为:政府→资产管理公司→上市公司,上市公司实际上处于国有股权代理人
今年1月至9月，江西房地产市场保持了稳定发展的良好态势，商品房开发结构继续调整，经济适用房、廉租房建设取得显著成效。
目前有关共享单车的研究很少涉及中小城市,为未来更好地制定中小城市共享单车的发展政策,文章基于SPSS来研究中小城市共享单车的使用特性。首先,建立RP调查,采集包括个体信息