[论文解读] 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

一句话总结

本文提出了一种多项式时间算法，用于计算在组件独立失效的系统中，故障行为仅在至少一个组件失效时发生的最优维修策略。通过将组件失效建模为独立事件，并结合预维修检查的分层系统结构，作者开发了一种线性时间算法，在决策理论框架下最小化预期维修成本。

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.

研究动机与目标

• 解决在存在多个潜在故障的系统中计算最优维修策略的不可解性问题。
• 识别系统行为的一个自然且现实的限制——组件失效是独立的，并且仅在失效时导致可观察的故障——在此条件下问题变得可解。
• 将模型扩展至包含系统分层结构和预维修检查，以实现更高效且成本更低的诊断策略。
• 在独立性假设下，为分层系统开发一种线性时间算法，用于计算最优维修与检查决策。
• 为现实世界诊断系统提供一种实用且可扩展的解决方案，其中最小化预期维修成本至关重要。

提出的方法

• 将系统形式化为贝叶斯网络，其中组件失效是独立的，且仅在至少一个组件失效时触发故障行为。
• 将维修过程建模为不确定条件下的决策问题，为检查和维修分配成本。
• 利用动态规划原理，通过利用组件失效的独立性，高效计算预期成本。
• 引入一种分层系统结构，其中组件被分组为子系统，允许在个体维修前于多个层级进行检查。
• 应用自底向上的计算策略，确定最小化总预期成本的最优检查与维修序列。
• 证明在独立性假设下，最优策略的计算时间复杂度相对于组件数量为线性时间。

实验结果

研究问题

• RQ1 在具有多个独立组件失效的系统中，能否以多项式时间计算最优维修策略？
• RQ2 组件失效的独立性如何影响寻找最小预期成本维修策略的计算复杂度？
• RQ3 引入分层系统结构和预维修检查对维修策略计算的可解性与效率有何影响？
• RQ4 在具有独立失效的分层系统中，是否存在一种线性时间算法用于计算最优维修与检查策略？
• RQ5 在何种条件下，独立性假设能显著降低诊断决策的计算复杂度？

主要发现

• 本文确立了在组件失效独立的假设下，最优维修策略可被多项式时间计算。
• 所提出的算法在包含检查与维修决策的分层系统中实现了线性时间复杂度。
• 独立性假设使得能够使用动态规划高效计算预期成本，而无需穷举搜索。
• 该算法在大规模系统中优于一般方法（在组件数量上为NP难），表现更优。
• 引入分层检查显著降低了预期维修成本，相较于朴素维修策略。
• 该方法在决策理论框架下被正式证明为最优，可在所有可能的故障场景中最小化预期成本。