• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>IEEE Transactions on Parallel and Distributed Systems >CAREL: computer aided reliability evaluator for distributed computing networks
【24h】

CAREL: computer aided reliability evaluator for distributed computing networks

机译：CAREL：分布式计算网络的计算机辅助可靠性评估器

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

An efficient method to compute the terminal reliability (the probability of communication between a pair of nodes) of a distributed computing system (DCS) is presented. It is assumed that the graph model G(V,E) for DCS is given and that the path and/or cut information for the network G(V,E) is available. Boolean algebraic concepts are used to define four operators: compare, reduce, combine, and generate. The proposed method, called CAREL, uses the four operators to generate exclusive and mutually disjoint events. CAREL has been implemented using bit vector representation on an Encore MULTIMAX 320 system. It is shown that CAREL solves large DCS networks (having a pathset on the order of 780 and a cutset on the order of 7300 or more) with a reasonable memory requirement. A comparison with other algorithms reveals the computational efficiency of the method. The proof of correctness of CAREL is included.
机译：提出了一种计算分布式计算系统（DCS）的终端可靠性（一对节点之间通信的概率）的有效方法。假定已给出DCS的图形模型G（V，E），并且网络G（V，E）的路径和/或切割信息可用。布尔代数概念用于定义四个运算符：比较，归约，组合和生成。所提出的称为CAREL的方法使用四个运算符来生成互斥和互不相交的事件。 CAREL已在Encore MULTIMAX 320系统上使用位向量表示来实现。结果表明，CAREL解决了具有合理内存需求的大型DCS网络（路径集约为780，剪切集约为7300或更多）。与其他算法的比较揭示了该方法的计算效率。包含CAREL正确性的证明。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号