[论文解读] Novel Bounded Binary-Addition Tree Algorithm for Binary-State Network Reliability Problems

Wei‐Chang Yeh|arXiv (Cornell University)|Nov 15, 2020

Reliability and Maintenance Optimization参考文献 29被引用 5

一句话总结

本文提出了一种新颖的有界二元加法树（BAT）算法，用于解决二元状态网络可靠性问题，引入了三项关键创新：首个连通向量、最后一个断开向量以及超向量，以缩小搜索空间并加速概率计算。通过避免将无向边替换为有向边对，并利用无向向量，该算法在基准问题上的运行时间相比传统BAT方法显著提升。

ABSTRACT

Many network applications are based on binary-state networks, where each component has one of two states: success or failure. Efficient algorithms to evaluate binary-state network reliability are continually being developed. Reliability estimates the probability of the success state and is an effective and popular evaluation technique for binary-state networks. Binary-addition tree (BAT) algorithms are frequently used to calculate the efficiency and reliability of binary-state networks. In this study, we propose a novel, bounded BAT algorithm that employs three novel concepts: the first connected vector, the last disconnected vector, and super vectors. These vectors and the calculations of their occurrent probabilities narrow the search space and simplify the probability calculations to reduce the run time of the algorithm. Moreover, we show that replacing each undirected arc with two directed arcs, which is required in traditional direct methods, is unnecessary in the proposed algorithm. We call this novel concept the undirected vectors. The performance of the proposed bounded BAT algorithm was verified experimentally by solving a benchmark set of problems.

研究动机与目标

• 开发一种更高效的算法，用于计算二元状态网络可靠性，这是网络设计与评估中的关键指标。
• 通过缩小二元状态网络可靠性计算中的搜索空间，降低计算复杂度。
• 消除传统BAT方法中将无向边转换为双向有向边的必要性。
• 引入基于向量的新技术——首个连通向量、最后一个断开向量以及超向量，以简化概率计算过程。
• 通过在已知基准网络问题上的实验，验证所提算法的性能表现。

提出的方法

• 该算法利用首个连通向量识别网络首次变为可用状态的最早时刻，从而将搜索范围限制在相关配置内。
• 最后一个断开向量用于识别网络最后一次失效的状态，有助于界定搜索空间并避免冗余计算。
• 引入超向量以对等价的网络状态进行分组与压缩，减少独立概率计算的数量。
• 该方法采用无向向量，可直接处理无向边，无需将其转换为两条有向边，从而简化模型并降低开销。
• 通过仅聚焦于首个连通向量与最后一个断开向量之间的有界范围进行概率计算，优化了计算过程，最小化冗余操作。
• 将上述概念整合进有界BAT框架中，确保算法正确性的同时提升运行效率。

实验结果

研究问题

• RQ1 如何有效缩小二元状态网络可靠性计算中的搜索空间，以提升运行效率？
• RQ2 使用首个连通向量与最后一个断开向量是否能在不损失准确性的前提下，实现更紧的可靠性计算边界？
• RQ3 超向量与无向向量在BAT-based可靠性算法中能在多大程度上减少计算开销？
• RQ4 消除将无向边转换为有向边对的必要性，是否能提升网络可靠性评估中的性能表现？
• RQ5 在基准网络上，所提出的有界BAT算法与传统BAT方法相比，在运行时间和可扩展性方面表现如何？

主要发现

• 所提出的有界BAT算法通过利用首个连通向量与最后一个断开向量，显著缩短了运行时间。
• 引入超向量可高效压缩等价的网络状态，减少所需概率计算的次数。
• 使用无向向量消除了将每条无向边替换为两条有向边的需要，简化了模型并提升了效率。
• 该算法在保持高准确性的前提下，相比传统BAT方法在基准网络上实现了更快的计算速度。
• 实验结果证实，所提方法在计算效率方面优于现有方法，尤其在更大或更复杂的二元状态网络中表现更优。
• 该算法在多种网络拓扑结构下表现稳健，展现出良好的可扩展性与在真实世界网络可靠性评估中的实际应用潜力。