[论文解读] Modeling s-t Path Availability to Support Disaster Vulnerability Assessment of Network Infrastructure

Timothy C. Matisziw, Alan T. Murray|arXiv (Cornell University)|Jun 26, 2010

Software System Performance and Reliability被引用 5

一句话总结

本文提出了一种新颖的优化模型，通过在不枚举所有路径的情况下评估s-t路径可用性，显著提升了计算效率，以评估网络基础设施中的灾难脆弱性。该方法采用基于约束的公式，识别出在源-汇连接中最具破坏性的关键弧和节点，从而在预算约束下实现主动的保护与恢复规划。

ABSTRACT

The maintenance of system flow is critical for effective network operation. Any type of disruption to network facilities (arcs/nodes) potentially risks loss of service, leaving users without access to important resources. It is therefore an important goal of planners to assess infrastructures for vulnerabilities, identifying those vital nodes/arcs whose debilitation would compromise the most source-sink (s-t) interaction or system flow. Due to the budgetary limitations of disaster management agencies, protection/fortification and planning for the recovery of these vital infrastructure facilities is a logical and efficient proactive approach to reducing worst-case risk of service disruption. Given damage to a network, evaluating the potential for flow between s-t pairs requires assessing the availability of an operational s-t path. Recent models proposed for identifying infrastructure vital to system flow have relied on enumeration of all s-t paths to support this task. This paper proposes an alternative model constraint structure that does not require complete enumeration of s-t paths, providing computational benefits over existing models. To illustrate the model, an application to a practical infrastructure planning problem is presented.

研究动机与目标

• 为解决识别网络系统中导致源-汇（s-t）流量中断最严重的基础设施组件的挑战。
• 克服现有方法依赖于枚举所有s-t路径所带来的计算负担。
• 开发一种可扩展的优化模型，以支持灾难管理中的主动脆弱性评估。
• 通过识别关键弧和节点，实现成本效益的保护与恢复规划。

提出的方法

• 构建一种混合整数规划（MIP）模型，通过路径流约束而非显式枚举，隐式评估s-t路径可用性。
• 引入一组约束条件，确保在各种故障情景下，源与汇之间仍至少存在一条正常运行的路径。
• 使用二值变量表示弧/节点状态（正常或故障），并用流量变量建模路径可用性。
• 采用网络流框架，通过应用流量守恒和容量约束来建模系统连通性。
• 将模型应用于真实世界基础设施网络，评估部分或完全故障下的脆弱性。
• 利用现有网络流理论，避免与路径枚举相关的组合爆炸问题。

实验结果

研究问题

• RQ1 如何在不枚举网络中所有可能路径的情况下，高效建模s-t路径可用性？
• RQ2 在脆弱性评估中，使用隐式路径约束相较于显式路径枚举具有何种计算优势？
• RQ3 在灾难情景下，哪些弧和节点对系统流量最为关键，以及如何高效识别它们？
• RQ4 所提出的模型能否在预算约束下支持主动的基础设施保护与恢复规划？

主要发现

• 所提出的模型消除了枚举所有s-t路径的需求，与以往基于枚举的方法相比，显著降低了计算复杂度。
• 该模型在大规模网络中实现了显著的计算节省，尤其是在路径枚举变得不可行时。
• 关键弧和节点基于其对s-t连通性的影响被识别出来，从而实现对基础设施的针对性保护。
• 该方法通过支持对故障情景的快速评估，实现了实际的灾难脆弱性评估。
• 该模型具有可扩展性，适用于真实世界基础设施规划问题，如案例研究所示。
• 结果证实，基于约束的公式在保持准确性的同时提升了效率，适用于实际运行环境。