[論文レビュー] 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経路を完全に列挙する従来の手法が抱える計算コストの高さを克服すること。
• 災害管理における予防的脆弱性評価を可能にするスケーラブルな最適化モデルの開発。
• 予算制約のもとで、重要なアークおよびノードを同定することで、費用対効果の高い保護および回復計画を可能にすること。

提案手法

• すべての経路を明示的に列挙するのではなく、経路フロー制約を通じて暗黙的にs-t経路の利用可能性を評価する混合整数プログラミング（MIP）モデルを定式化する。
• さまざまな障害シナリオ下でもソースとシンクの間に少なくとも1本の稼働経路が存在することを保証する制約群を導入する。
• 二値変数を用いてアーク／ノードの状態（正常または故障）を表現し、フロー変数を用いて経路の利用可能性をモデル化する。
• フロー保存則および容量制約を適用することで、システムの接続性をモデル化するネットワークフロー枠組みを採用する。
• 実世界のインフラストラクチャネットワークにモデルを適用し、部分的または完全な障害下での脆弱性を評価する。
• 既存のネットワークフロー理論を活用することで、経路列挙に伴う組み合わせ的爆発を回避する。

実験結果

リサーチクエスチョン

• RQ1 ネットワーク内のすべての可能な経路を列挙せずに、s-t経路の利用可能性をどのように効率的にモデリングできるか。
• RQ2 脆弱性評価において、明示的経路列挙と比較して、暗黙的経路制約を用いることで得られる計算上の利点は何か。
• RQ3 災害シナリオ下で、システムフローに対して最も重要なアークおよびノードは何か、そしてそれらをどのように効率的に同定できるか。
• RQ4 提案されたモデルは、予算制約のもとで、インフラの予防的保護および回復計画を支援できるか。

主な発見

• 提案モデルは、すべてのs-t経路を列挙する必要がなくなるため、従来の列挙ベースの手法と比較して計算複雑性が低減される。
• 特に経路列挙が非現実的になる大規模ネットワークにおいて、顕著な計算コストの削減が達成される。
• s-t接続性に与える影響に基づいて、重要なアークおよびノードが同定され、インフラの標的的保護が可能になる。
• 障害シナリオの迅速な評価を可能にするため、実用的な災害脆弱性評価が可能になる。
• ケーススタディを通じて、モデルのスケーラビリティおよび実世界のインフラ計画問題への適用可能性が実証された。
• 結果から、制約ベースの定式化が正確性を維持しながら効率性を向上させることを確認した。このため、運用用途に適している。