![]() |
17 |
連続時間マルコフ連鎖とPMHF式の導出 改訂版 (7) |
![]() |
同じ IF-SM 潜在状態モデルを PFH 側に持ち込んだときの形
前稿では、PFH と PMHF 型の量の厳密な差が、区間内における 2 回目以降の危険事象の寄与として表されることを示しました。本稿では、1057〜1059 で用いた IF-SM 潜在状態モデルをそのまま PFH 側にも適用すると、どのような式になるかを示します。
同じ IF-SM 潜在状態モデルを用いると、時刻 $t$ における危険事象への総流入頻度は
$$ w_D(t) =\Pr\{\eta_t^\text{IF}\in\mathcal M_\text{IF}\}\lambda_\text{IF,SPF} +\Pr\{\eta_t^\text{SM}\in\mathcal P_\text{SM},\ \eta_t^\text{IF}\in\mathcal M_\text{IF}\}\lambda_\text{IF,DPF} \tag{1063.1} $$
と書けます。第1項は IF の SPF 寄与、第2項は SM の潜在故障状態における IF の危険遷移です。
ここで IF 側については、小確率近似より
$$ \Pr\{\eta_t^\text{IF}\in\mathcal M_\text{IF}\} =e^{-\lambda_\text{IF}t}\approx1 \tag{1063.2} $$
です。また、1060 の (1060.10) より、第2項の同時確率は $Q_\text{SM}(t)$ で近似できるので、
$$ w_D(t)\approx\lambda_\text{IF,SPF}+\lambda_\text{IF,DPF}Q_\text{SM}(t) \tag{1063.3} $$
となります。
評価区間を $H$ とすると、PFH は
$$ \mathrm{PFH}(0,H) =\frac{1}{H}E\{N_D(H)\} =\frac{1}{H}\int_0^H w_D(t)\,dt \tag{1063.4} $$
なので、
$$ \mathrm{PFH}(0,H)\approx\lambda_\text{IF,SPF}+\frac{\lambda_\text{IF,DPF}}{H}\int_0^H Q_\text{SM}(t)\,dt \tag{1063.5} $$
です。
ここで、$Q_\text{SM}(t)$ の式は 1057 の (1057.8)、小確率近似は 1057 の (1057.9) に与えられています。また、その寿命平均の計算は 1059 の (1059.3)〜(1059.7) と同様です。したがって、
$$ \frac{1}{H}\int_0^H Q_\text{SM}(t)\,dt \approx\frac{1}{2}\lambda_\text{SM}\bigl((1-K_\text{SM,DPF})H+K_\text{SM,DPF}\tau\bigr) \tag{1063.6} $$
となります。
これを (1063.5) に代入すると
$$ \mathrm{PFH}(0,H)\approx\lambda_\text{IF,SPF}+\frac{1}{2}\lambda_\text{IF,DPF}\lambda_\text{SM}\bigl((1-K_\text{SM,DPF})H+K_\text{SM,DPF}\tau\bigr) \tag{1063.7} $$
です。さらに、1058 の (1058.5) を代入すると、
$$ \mathrm{PFH}(0,H)\approx(1-K_\text{IF,RF})\lambda_\text{IF}+\frac{1}{2}K_\text{IF,RF}\lambda_\text{IF}\lambda_\text{SM}\bigl((1-K_\text{SM,DPF})H+K_\text{SM,DPF}\tau\bigr) \tag{1063.8} $$
を得ます。
この式は、1059 で得た PMHF の最終式と同じ形です。したがって、同じ IF-SM 潜在状態モデル、同じ近似、同じ評価区間を用いるなら、PFH と PMHF は 1 次近似では同じ式になります。
ただし、IEC 61508 の本文では PFH は各サブシステムの $\lambda$ を加える形で提示されており、その加法形がどの状態モデルの縮約であり、どの仮定の下で妥当かは明示されていません。したがって、規格を素直に読む限り、PFH は実質的に $\sum\lambda$ で与えられる量として受け取られます。少なくとも規格に表れている式では、潜在状態を経由する二重故障経路は明確化されていません。

