サブシステム（VSG吸収）と SPF/DPF 到達密度の定式化

前稿で SM エレメントの時点不稼働確率 $U_\text{SM}(t)$ を得たので、本稿ではサブシステム水準へ進み、VSG を吸収集合として到達密度 $f_\text{VSG}(t)$ を定式化します。ここでは非冗長系を仮定します。

VSG に対応するサブシステム過程を $(\eta_t^\text{sub})_{t\ge0}$ とし、吸収集合を $\mathcal P_\text{VSG}$ とします。VSG 到達確率を

$$ F_\text{VSG}(t):=\Pr\{\eta_t^\text{sub}\in\mathcal P_\text{VSG}\} \tag{1058.1} $$

と定義します。

VSG 到達密度は

$$ f_\text{VSG}(t):=\frac{d}{dt}F_\text{VSG}(t) \tag{1058.2} $$

です。

次に、IF に対応する確率過程を $(\eta_t^\text{IF})_{t\ge0}$ とし、その危険故障モード集合を SPF 寄与集合と DPF 寄与集合に

$$ \mathcal P_\text{IF} =\mathcal P_\text{IF,SPF}\cup\mathcal P_\text{IF,DPF}, \qquad \mathcal P_\text{IF,SPF}\cap\mathcal P_\text{IF,DPF}=\varnothing \tag{1058.3} $$

と分割します。

このとき、IF の SPF 側および DPF 側の条件付き遷移率を

$$ \begin{eqnarray} \left\{ \begin{array}{l} \lambda_\text{IF,SPF}:=\lim_{dt\to0}\frac{\Pr\{\eta_{t+dt}^\text{IF}\in\mathcal P_\text{IF,SPF}\mid\eta_t^\text{IF}\in\mathcal M_\text{IF}\}}{dt},\\ \lambda_\text{IF,DPF}:=\lim_{dt\to0}\frac{\Pr\{\eta_{t+dt}^\text{IF}\in\mathcal P_\text{IF,DPF}\mid\eta_t^\text{IF}\in\mathcal M_\text{IF}\}}{dt} \end{array} \right. \end{eqnarray} \tag{1058.4} $$

と定義します。

さらに、決定論的 $K$ による率分解を用いると

$$ \begin{eqnarray} \left\{ \begin{array}{l} \lambda_\text{IF,SPF}=(1-K_\text{IF,RF})\lambda_\text{IF},\\ \lambda_\text{IF,DPF}=K_\text{IF,RF}\lambda_\text{IF} \end{array} \right. \end{eqnarray} \tag{1058.5} $$

です。

まず SPF 項を求めます。条件付き確率の乗法公式より

$$ \Pr\{\eta_t^\text{IF}\in\mathcal M_\text{IF},\ \eta_{t+dt}^\text{IF}\in\mathcal P_\text{IF,SPF}\} =\Pr\{\eta_t^\text{IF}\in\mathcal M_\text{IF}\}\lambda_\text{IF,SPF}dt+o(dt) \tag{1058.6} $$

となるので、これを$dt$で割って $dt\rightarrow0$とすると

$$ f_\text{SPF}(t)=\Pr\{\eta_t^\text{IF}\in\mathcal M_\text{IF}\}\lambda_\text{IF,SPF} \tag{1058.7} $$

です。

次に DPF 項を求めます。時刻 $t$ において SM が潜在故障状態にあり、かつ IF が稼働集合にあるとき、その後の微小時間 $dt$ の間に IF の DPF 側故障により VSG に到達する確率は

$$ \Pr\{\eta_t^\text{SM}\in\mathcal P_\text{SM},\ \eta_t^\text{IF}\in\mathcal M_\text{IF},\ \eta_{t+dt}^\text{IF}\in\mathcal P_\text{IF,DPF}\}\\ =\Pr\{\eta_t^\text{SM}\in\mathcal P_\text{SM},\ \eta_t^\text{IF}\in\mathcal M_\text{IF}\}\lambda_\text{IF,DPF}dt+o(dt) \tag{1058.8} $$

です。したがってこれを$dt$で割って $dt\rightarrow0$とすると

$$ f_\text{DPF}(t)=\Pr\{\eta_t^\text{SM}\in\mathcal P_\text{SM},\ \eta_t^\text{IF}\in\mathcal M_\text{IF}\}\lambda_\text{IF,DPF} \tag{1058.9} $$

となります。ここで IF 側の故障が希少事象であることから、

$$ \Pr\{\eta_t^\text{SM}\in\mathcal P_\text{SM},\ \eta_t^\text{IF}\in\mathcal M_\text{IF}\} \approx \Pr\{\eta_t^\text{IF}\in\mathcal M_\text{IF}\}U_\text{SM}(t) \tag{1058.10} $$

と近似できるので、

$$ f_\text{DPF}(t)\approx \Pr\{\eta_t^\text{IF}\in\mathcal M_\text{IF}\}\lambda_\text{IF,DPF}U_\text{SM}(t) \tag{1058.11} $$

です。

ここで IF 側については、小確率近似 $\lambda_\text{IF}t\ll1$ の下で

$$ \Pr\{\eta_t^\text{IF}\in\mathcal M_\text{IF}\} =R(t)=e^{-\lambda_\text{IF}t}\approx1-\lambda_\text{IF}t\approx1 \tag{1058.12} $$

(1058.7)と(1058.11)を加えて(1058.12)を用いれば、

$$ f_\text{VSG}(t)=f_\text{SPF}(t)+f_\text{DPF}(t)\approx\lambda_\text{IF,SPF}+\lambda_\text{IF,DPF}U_\text{SM}(t) \tag{1058.13} $$

となります。

最後に、車両寿命を $T_\text{lifetime}$ とすると、VSG の発生確率は

$$ \mathrm{PoF}_\text{VSG}(T_\text{lifetime})=F_\text{VSG}(T_\text{lifetime}) \tag{1058.14} $$

であり、PMHF は

$$ \begin{eqnarray} \mathrm{PMHF}(T_\text{lifetime}) &=&\frac{1}{T_\text{lifetime}}\mathrm{PoF}_\text{VSG}(T_\text{lifetime}) =\frac{1}{T_\text{lifetime}}F_\text{VSG}(T_\text{lifetime})\\ &=&\frac{1}{T_\text{lifetime}}\int_0^{T_\text{lifetime}}f_\text{VSG}(t)\,dt \end{eqnarray} \tag{1058.15} $$

で与えられます。次稿では、前稿の $U_\text{SM}(t)$ を (1058.15) に代入し、PMHF の最終式を導きます。生成行列に基づく別導出は後続で与えます。

前のブログ 次のブログ

エレメント（修理系）を出発点とする導出（決定論的K、PIR周期一定）

前稿で修理系エレメントの時点可用度 $A(t)$ と Vesely 故障率 $\lambda_V(t)$ を定義したので、本稿では SM エレメントの時点不稼働確率 $U_\text{SM}(t)$ の具体式を導出します。本稿では連続時間マルコフ連鎖の一般論は最小限にとどめ、具体的な生成行列は後続のサブシステム導出で導入します。

確率空間 $(\Omega,\mathcal F,\Pr)$ 上で定義された確率過程 $(\eta_t^\text{SM})_{t\ge0}$ を考えます。任意の $t\ge0$, $s>0$ と状態 $i,j$ に対して

$$ \Pr\{\eta_{t+s}^\text{SM}=j\mid\eta_t^\text{SM}=i,\ \eta_r^\text{SM}=x_r,\ r<t\} =\Pr\{\eta_{t+s}^\text{SM}=j\mid\eta_t^\text{SM}=i\} \tag{1057.1} $$

が成り立つとき、$(\eta_t^\text{SM})_{t\ge0}$ は連続時間マルコフ連鎖です。

斉時連続時間マルコフ連鎖では、微小時間 $dt$ における遷移確率は(1056.8)より

$$ \Pr\{\eta_{t+dt}^\text{SM}=j\mid\eta_t^\text{SM}=i\} =h_{ij}dt+o(dt) \tag{1057.2} $$

で与えられます。

前稿の時点可用度 $A_\text{SM}(t)$ を用いれば、SM エレメントの時点不稼働確率は

$$ U_\text{SM}(t)=1-A_\text{SM}(t) \tag{1057.3} $$

です。

PIR 周期一定を仮定し、検査周期を $\tau$、検査時刻を $\tau_k=k\tau$ とします。区間 $[\tau_k,\tau_{k+1})$ における区間内時刻を

$$ u:=t-\tau_k \qquad \bigl(t\in[\tau_k,\tau_{k+1})\bigr) \tag{1057.4} $$

と定義します。

SM 故障時刻を $\sigma_\text{SM}$ とし、その分布関数を

$$ F_\text{SM}(t):=\Pr\{\sigma_\text{SM}\le t\} \tag{1057.5} $$

と定義します。

本稿では K パラメータを確率試行ではなく、アーキテクチャ能力に由来する母集団分割割合として扱います。SM 母集団ラベルを $C_\text{SM}$ とすると、その割合は

$$ \begin{eqnarray} \left\{ \begin{array}{l} \Pr\{C_\text{SM}=\mathcal U_\text{SM}\}=1-K_\text{SM,DPF},\\ \Pr\{C_\text{SM}=\mathcal D_\text{SM}\}=K_\text{SM,DPF} \end{array} \right. \end{eqnarray} \tag{1057.6} $$

です。

このとき、全確率の定理より

$$ \begin{eqnarray} U_\text{SM}(t) &=& \Pr\{\eta_t^\text{SM}\in\mathcal P_\text{SM}\mid C_\text{SM}=\mathcal U_\text{SM}\}\Pr\{C_\text{SM}=\mathcal U_\text{SM}\}\\ &&+ \Pr\{\eta_t^\text{SM}\in\mathcal P_\text{SM}\mid C_\text{SM}=\mathcal D_\text{SM}\}\Pr\{C_\text{SM}=\mathcal D_\text{SM}\} \end{eqnarray} \tag{1057.7} $$

となります。未検出群は寿命全体で故障確率が蓄積し、検出群は PIR ごとに年齢がリセットされるので、

$$ U_\text{SM}(t) =(1-K_\text{SM,DPF})F_\text{SM}(t)+K_\text{SM,DPF}F_\text{SM}(u) \tag{1057.8} $$

を得ます。

さらに、SM 故障時間が指数分布でかつ小確率 $\lambda_\text{SM}x\ll1$ の下では

$$ F_\text{SM}(x)=1-e^{-\lambda_\text{SM}x}\approx\lambda_\text{SM}x \tag{1057.9} $$

となるので、

$$ U_\text{SM}(t)\approx(1-K_\text{SM,DPF})\lambda_\text{SM}t+K_\text{SM,DPF}\lambda_\text{SM}u \tag{1057.10} $$

となります。

ここで得た $U_\text{SM}(t)$ は、後続のサブシステム導出において DPF 項の時間依存を担う基本量になります。

前のブログ 次のブログ

upやdownを数式で書いてみます。

非修理系

ランダムプロセス$\eta_s$において、確率変数$X$を無故障稼働時間とします。$\mathcal{M}$を稼働状態のサブセットとし、$\mathcal{P}$を不稼働状態のサブセットとすれば、$X=\inf\lbrace s:\eta_{s}\in\mathcal{P}\rbrace$と示すことができます。

non-repairable elementの瞬間故障率$\lambda(t)$の定義式は、

$$ \lambda(t)\stackrel{\mathrm{def}}{=}\lim_{dt\downarrow 0}\frac{\Pr\lbrace X\le t+dt\ |\ t\lt X\rbrace}{dt}\tag{1056.1} $$

であり、(1056.1)を一次展開すれば、

$$ \Pr\lbrace X\le t+dt\ |\ t\lt X\rbrace=\lambda(t)dt+o(dt)\tag{1056.2} $$

となります。ここで(1056.2)に条件付き確率の公式を用いれば、

$$ \Pr\lbrace X\le t+dt\ |\ t\lt X\rbrace=\frac{\Pr\lbrace t\lt X\le t+dt\rbrace}{\Pr\lbrace t\lt X\rbrace}=\frac{f(t)}{R(t)}dt+o(dt)\tag{1056.3} $$

であることから、(1056.2)、(1056.3)の右辺の比較により、

$$ \lambda(t)=\frac{f(t)}{R(t)}\tag{1056.4} $$

修理系

repairable elementのVesely故障率$\lambda_V(t)$は、Christiane Cocozza-Thivent他の論文"The Failure Rate in Reliability. Numerical Treatment"の(1.2)式によれば、

$$\lambda_V(t)\stackrel{\mathrm{def}}{=}\lim_{dt\downarrow 0}\frac{\Pr\{\eta_{t+dt}\in\mathcal{P}\mid \eta_t\in\mathcal{M}\}}{dt} \tag{1056.5}$$

であり、(1056.5)を一次展開すれば、 $$ \Pr\{\eta_{t+dt}\in\mathcal{P}\mid\eta_t\in\mathcal{M}\}=\lambda_V(t)dt+o(dt)\tag{1056.6} $$

となります。次に無条件瞬間ダウン強度$h(t)$の定義式は、

$$ h(t)\stackrel{\mathrm{def}}{=} \lim_{dt\downarrow 0} \frac{\Pr\{\eta_t\in\mathcal{M},\ \eta_{t+dt}\in\mathcal{P}\}}{dt} \tag{1056.7} $$

であり、(1056.7)を一次展開すれば、 $$ \Pr\{\eta_t\in\mathcal{M},\ \eta_{t+dt}\in\mathcal{P}\}=h(t)dt+o(dt)\tag{1056.8} $$

となります。また、point availability$A(t)$は、

$$A(t)\stackrel{\mathrm{def}}{=}\Pr\{\eta_t\in\mathcal{M}\}\tag{1056.9}$$

で表されます。ここで(1056.6)に条件付き確率の公式を用いれば、(1056.8)及び(1056.9)より、

$$ \Pr\{\eta_{t+dt}\in\mathcal{P}\mid \eta_t\in\mathcal{M}\} =\frac{\Pr\{\eta_t\in\mathcal{M},\ \eta_{t+dt}\in\mathcal{P}\}}{\Pr\{\eta_t\in\mathcal{M}\}} =\frac{h(t)}{A(t)}dt+o(dt) \tag{1056.10} $$

であることから、(1056.6)、(1056.10)の右辺の比較により、

$$ \lambda_V(t)=\frac{h(t)}{A(t)}\tag{1056.11} $$

この記事の改訂版です。

前のブログ 次のブログ