[論文レビュー] A Polynomial Algorithm for Computing the Optimal Repair Strategy in a System with Independent Component Failures

Sampath Srinivas|arXiv (Cornell University)|Feb 20, 2013

AI-based Problem Solving and Planning参考文献 7被引用数 21

ひとこと要約

本稿では、1つ以上の部品が故障した場合にのみ故障動作を示す、部品の故障が独立しているシステムにおける最適な修復戦略を計算する多項式時間アルゴリズムを提示する。部品の故障を独立事象としてモデル化し、事前に修復の点検を行う階層的システム構造を組み込むことで、意思決定理論的枠組みの下で期待修復コストを最小化する線形時間アルゴリズムを構築した。

ABSTRACT

The goal of diagnosis is to compute good repair strategies in response to anomalous system behavior. In a decision theoretic framework, a good repair strategy has low expected cost. In a general formulation of the problem, the computation of the optimal (lowest expected cost) repair strategy for a system with multiple faults is intractable. In this paper, we consider an interesting and natural restriction on the behavior of the system being diagnosed: (a) the system exhibits faulty behavior if and only if one or more components is malfunctioning. (b) The failures of the system components are independent. Given this restriction on system behavior, we develop a polynomial time algorithm for computing the optimal repair strategy. We then go on to introduce a system hierarchy and the notion of inspecting (testing) components before repair. We develop a linear time algorithm for computing an optimal repair strategy for the hierarchical system which includes both repair and inspection.

研究の動機と目的

• 複数の潜在的故障を伴うシステムにおける最適な修復戦略の計算の非決定的性（非 tractability）に対処すること。
• 故障が発生するのは1つ以上の部品が故障した場合に限られ、かつ部品の故障が独立しているという自然で現実的な制約の下で、問題が tractable になることを同定すること。
• システムの階層構造と事前に修復の点検を行うことをモデルに組み込み、より効率的で費用効果の高い診断戦略を可能にすること。
• 独立性仮定の下で、階層的システムにおける最適な修復および点検意思決定を線形時間で計算するアルゴリズムを開発すること。
• 期待修復コストを最小化することが重要な現実世界の診断システムに対して、実用的でスケーラブルな解決策を提供すること。

提案手法

• 部品の故障が独立しており、故障動作は少なくとも1つの部品が故障した場合にのみ発生するという条件のもとで、システムをベイジアンネットワークとして形式化する。
• 点検および修復にコストが割り当てられる不確実性下での意思決定問題として修復プロセスをモデル化する。
• 部品の故障の独立性を活用することで、動的計画法の原則を用いて期待コストを効率的に計算する。
• 部品がサブシステムにグループ化された階層的システム構造を導入し、個々の修復の前に複数のレベルでの点検を可能にする。
• 下位から上位への計算戦略を適用し、合計期待コストを最小化する点検および修復の最適な順序を特定する。
• 独立性仮定のもとで、最適戦略は部品数に対して線形時間で計算可能であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 複数の独立した部品の故障を伴うシステムにおける最適な修復戦略は、多項式時間で計算可能か？
• RQ2 部品の故障の独立性は、最小期待コスト修復戦略を求める際の計算複雑性にどのように影響するか？
• RQ3 階層的システム構造と事前修復点検を導入することで、修復戦略計算の tractability および効率性にどのような影響を与えるか？
• RQ4 独立故障を伴う階層的システムにおいて、最適な修復および点検戦略を線形時間で計算するアルゴリズムは存在するか？
• RQ5 独立性仮定は、診断意思決定における計算複雑性を著しく低減する条件として、どのような条件下で成立するか？

主な発見

• 本稿では、部品の故障が独立しているという仮定のもとで、最適な修復戦略を多項式時間で計算可能であることを確立した。
• 提案されたアルゴリズムは、点検および修復意思決定を含む階層的システムにおいて線形時間の計算量を達成する。
• 独立性仮定により、動的計画法を用いて全探索を避けて期待コストを効率的に計算できる。
• 特に大規模システムでは、部品数に対してNP困難となる一般的手法と比較して、本アルゴリズムは優れた性能を示す。
• 階層的点検の導入により、単純な修復戦略と比較して期待修復コストが著しく低減される。
• 本手法は意思決定理論的枠組みのもとで最適であることが形式的に証明されており、すべての可能な故障シナリオにおいて期待コストを最小化する。