[論文レビュー] Exact cost minimization of a series-parallel system

F. Castro, J. Gago+3 more|arXiv (Cornell University)|Mar 15, 2012

Reliability and Maintenance Optimization参考文献 3被引用数 3

ひとこと要約

本稿では、複数の部品選択肢を有する直列並列信頼性システムにおけるコスト最小化問題を解くために、グレブナー基底を用いた正確な代数的手法を提示する。テスト集合の閉形式表現を導出することで、計算コストの高いグレブナー基底の計算を回避し、とくに部品のコストと信頼性が相関する問題において、従来手法に比べて顕著な高速化を達成している。

ABSTRACT

The redundancy allocation problem is formulated minimizing the design cost for a series-parallel system with multiple component choices whereas ensuring a given system reliability level. The obtained model is a nonlinear integer programming problem with a non linear, non separable constraint. We propose an algebraic method, based on Gröbner bases, to obtain the exact solution of the problem. In addition, we provide a closed form for the required Gröbner bases, avoiding the bottleneck associated with the computation, and promising computational results.

研究の動機と目的

• 直列並列システムにおけるNP困難な再冗長割り当て問題に取り組み、所定のシステム信頼性水準を満たす条件下で総コストを最小化すること。
• 分枝限定法やラグランジュ緩和法などの従来手法が抱える計算上のボトル neck を克服するため、代数的手法を用いること。
• テスト集合の閉形式式を導出することで、反復的なグレブナー基底計算を回避する正確な解法手法を開発すること。
• 特に高次元のケースにおいて、既存の正確アルゴリズムと比較して計算効率を向上させ、CPU時間を短縮すること。
• 実世界の設計制約を反映するように、部品のコストと信頼性が相関する現実的なテストケースを用いて、手法の有効性を検証すること。

提案手法

• 非分離可能で非線形な信頼性制約を有する非線形整数プログラミング問題として、信頼性最適化問題を定式化する。
• 貪欲アルゴリズムを用いて妥当な初期点を求める線形化手法を適用し、非線形信頼性制約を線形制約に置き換えることで緩和された線形整数計画問題を構築する。
• 線形制約に関連するトーリックイデアルのグレブナー基底を、閉形式表現を用いて計算し、時間のかかる削減アルゴリズムの必要性を排除する。
• 得られたグレブナー基底から導出されるテスト集合を用いて、各ステップで目的関数値を増加させる降下アルゴリズムを実行し、最適解に到達する。
• テスト集合の方向に従って効率的に解空間を探索するウォークバック手順を用いて、MATLABでアルゴリズムを実装する。
• システムサイズや部品選択肢の異なるベンチマークインスタンスに本手法を適用し、ラグランジュ緩和法や分枝限定法に基づく既存手法と性能を比較する。

実験結果

リサーチクエスチョン

• RQ1 グレブナー基底に基づく代数的手法は、複数の部品選択肢を有する直列並列システムにおけるコスト最小化問題に対して正確な解を提供できるか？
• RQ2 本文脈において、グレブナー基底計算の計算コストを回避するため、テスト集合の閉形式表現を導出できるか？
• RQ3 分枝限定法やラグランジュ緩和法などの既存の正確手法と比較して、提案手法の計算効率とスケーラビリティはどのように異なるか？
• RQ4 部品のコストと信頼性の相関が、アルゴリズムの性能と解の質に与える影響は何か？
• RQ5 ヒューリスティック戦略と効果的に組み合わせることで、最適性保証を維持しつつ高速かつ近似的な最適解を得られるか？

主な発見

• 提案手法は、[11]で報告されたカットアンドパーティション方式などの従来の正確アルゴリズムと比較して、顕著に短いCPU時間で正確な解を達成している。特に大規模システムにおいて顕著である。
• 20のサブシステムと2種類の部品タイプを有するシステムでは、平均して276秒で処理が完了し、294,747個のノードを処理した。これは、類似問題に対して[11]で報告された85,103回の反復を上回る性能を示している。
• 部品のコストと信頼性が相関するケースでは、すべてのテストインスタンスを正確に解釈でき、小規模システム（n=10, k≤5）では平均CPU時間が10秒未満、n=17, k=2のケースでは15分未満で処理が完了した。
• 信頼性が低い部品（r_ij ∈ [0.98, 0.99]）を含むケースでは性能が低下するが、依然として最適解を求めることが可能であり、厳しい条件下でもロバストであることが示された。
• ウォークバック手順中に最初に見つかった妥当解でアルゴリズムを停止させると、数秒で高品質な近似解が得られるため、ヒューリスティックとハイブリッド化する強力な可能性を示している。
• 閉形式によるグレブナー基底構築により、高価な削減ステップの必要性が排除され、本手法は大規模な実世界の工学的設計問題に対してもスケーラブルかつ実用的である。