[論文レビュー] Geometric properties of reliability polynomials

Zahir Abdul Haddi Hassan, Constantin Udrişte+1 more|arXiv (Cornell University)|Jul 8, 2015

Technical Engine Diagnostics and Monitoring参考文献 13被引用数 16

ひとこと要約

本稿では、航空機電気システムの信頼性多項式をR⁵における代数的超曲面および則動曲面としてモデル化することにより、幾何学的アプローチを用いて分析する。微分幾何学および代数幾何学の道具（レベル集合、則動線、ヤコビアン階数解析など）を用い、システムの信頼性が時間に対して線形となる条件を同定し、等信頼性超曲面に埋め込まれた直線の数を特定することで、複雑なネットワーク信頼性に関する新たな解析的知見を提供する。

ABSTRACT

Geometric modeling of multivariate reliability polynomials is based on algebraic hypersurfaces, constant level sets, rulings etc. The solved basic problems are: (i) find the reliability polynomial using the Maple and Matlab software environment; (ii) find restrictions of reliability polynomial via equi-reliable components; (iii) how should the reliability components linearly depend on time, so that the reliability of the system be linear in time? The main goal of the paper is to find geometric methods for analysing the reliability of electric systems used inside aircrafts.

研究の動機と目的

• 複雑な電気システム、特に航空機応用を想定して、多次元信頼性多項式を分析する幾何学的手法を開発すること。
• 等信頼性超曲面に埋め込まれた直線（則動線）の数を特定すること。
• 部品の信頼性が時間に対して線形に依存する条件を同定し、その結果としてシステム全体の信頼性が時間に対して線形に保たれる条件を特定すること。
• 古典的確率論的手法から幾何的解釈へと移行するため、代数幾何学および微分幾何学の技術を信頼性モデリングに応用すること。
• MapleおよびMATLABなどのソフトウェアツールを用いて信頼性多項式およびその幾何的構造を計算・分析すること。

提案手法

• 最小カットセット法を用いて導出された5つの信頼性変数 $ R_1(t), R_2(t), R_3(t), R_4(t), R_5(t) $ における多項式として、複雑なネットワーク（例：ブリッジシステム）の信頼性をモデル化する。
• 信頼性値を $[0,1]^5$ 内の変数とみなすことにより、信頼性多項式を $\mathbb{R}^5$ 内の代数的超曲面として幾何的対象に変換する。
• 則動曲面、定数レベル集合（等信頼性超曲面）、ヤコビアン行列を用いた幾何的構造の分析により、超曲面上の直線（則動線）の数を特定する。
• 信頼性係数の部分集合を0に設定することで次元を低減し、ヤコビアン行列の階数を用いて有効パラメータ数を計算するケース分析を実施する。
• アフィン関数 $ a_i t + b_i $ が時間経過で $[0,1]$ の範囲内に保たれるよう確率的制約を課し、有効な確率区間への定義域制限を実施する。
• 信頼性多項式から導出された多項方程式系を解くことにより、等信頼性超曲面上の線形部分（則動線）の存在を調査する。

実験結果

リサーチクエスチョン

• RQ1 信頼性多項式によって定義される各等信頼性超曲面に、いくつの直線（則動線）が含まれるか？
• RQ2 部品信頼性 $ R_i(t) $ にどのような条件下で、システム信頼性 $ R_{Mc}(t) $ が時間に対して線形に変化するか？
• RQ3 信頼性多項式を $\mathbb{R}^5$ 内の超曲面として解釈した場合、則動曲面や代数的概形などのどのような幾何的構造が出現するか？
• RQ4 最小カットセット法を代数幾何学と組み合わせることで、直列並列分解を超える複雑な信頼性システムをどのように分析できるか？
• RQ5 ヤコビアン行列の階数によって決定される、信頼性超曲面に埋め込まれる独立パラメータ（自由度）の最大数は何か？

主な発見

• ブリッジネットワークの信頼性多項式は明示的に $ R_{Mc}(t) = R_1R_4 + R_2R_5 + R_2R_3R_4 - R_1R_2R_3R_4 - R_1R_2R_4R_5 - R_2R_3R_4R_5 + R_1R_2R_3R_4R_5 $ として導出され、システムの成功確率を表す。
• 定数レベル0超曲面には3つの線形多様体が含まれる：$ R_1=0, R_2=0 $；$ R_2=0, R_4=0 $；$ R_1=0, R_4=0, R_5=0 $。これは、これらの部品のペアがすべて機能停止している場合にシステムが故障することを示している。
• 等信頼性超曲面上の直線（則動線）の数は、ケース別分析およびヤコビアン階数計算により特定され、すべての $ a_i \neq 0 $ の場合に最大の有効パラメータ数が達成され、最大自由度が得られる。
• すべての部品信頼性が時間の線形関数（$ R_i(t) = a_i t + b_i $）である場合、信頼性多項式の構造から導かれる特定の係数制約を満たす場合に限り、システム信頼性は時間に対して線形に保たれる。
• 幾何的フレームワークにより、すべての $ R_i(t) \in [0,1] $ を満たす有効な時間区間を特定可能であり、$ a_i > 0 $ の場合の不等式 $ -b_i/a_i \leq t \leq (1-b_i)/a_i $ を解くことで実現する。$ a_i < 0 $ の場合は逆転する。これにより確率的妥当性が保証される。
• 本手法により、信頼性超曲面に埋め込まれた線形部分（直線）が存在することが判明し、その数はアフィンパrameterizationにおける0係数の配置に依存する。自由度が最大になるのは、$ a_i $ がすべてゼロでない場合に観察される。