Posts Tagged with "PMHF"

既に発行済みのブログであっても適宜修正・追加することがあります。
We may make changes and additions to blogs already published.
posted by sakurai on March 8, 2021 #375

記事#368で、変更した方式(MPF latentに含めていたMPF detectedを分離)により場合分けをしましたが、従来の方式(MPF detected=MPF latent)でも、確認のために同様な表を作成します。

表375.1 一つめのIFのフォールトの場合分けした信頼度・不信頼度
Non preventable
$1-K_\text{IF,RF}$
Faulty
$(1-K_\text{IF,RF})F_\text{IF}(t)$
(1) IF down=RF
Faultless
$(1-K_\text{IF,RF})R_\text{IF}(t)$
(2) IF up
Preventable
$K_\text{IF,RF}$
SM1 detectable
$K_\text{IF,det}$
Faulty
$K_\text{IF,RF}K_\text{IF,det}F_\text{IF}(t)$
(3) IF down=LF
Faultless
$K_\text{IF,RF}K_\text{IF,det}R_\text{IF}(t)$
(4) IF up
SM1 undetectable
$1-K_\text{IF,det}$
SM2 detectable
$K_\text{IF,MPF}$
Faulty
$K_\text{IF,RF}(1-K_\text{IF,det})K_\text{IF,MPF}F_\text{IF}(u)$
(5) IF down=LF
Faultless
$K_\text{IF,RF}(1-K_\text{IF,det})K_\text{IF,MPF}R_\text{IF}(u)$
(6) IF up
SM2 undetectable
$1-K_\text{IF,MPF}$
Faulty
$K_\text{IF,RF}(1-K_\text{IF,det})(1-K_\text{IF,MPF})F_\text{IF}(t)$
(7) IF down=LF
Faultless
$K_\text{IF,RF}(1-K_\text{IF,det})(1-K_\text{IF,MPF})R_\text{IF}(t)$
(8) IF up

$s.t.\ \ u:=t\bmod\tau$
◆色分け:
Faultless, フォールト無し
Faulty, フォールトする
Faultyだが定期修理される

(5)及び(6)においてはSM2(2nd SM)によって検出されたフォールトは周期的に修理されるため、信頼度及び不信頼度は時刻tではなく$u(:=t \bmod \tau)$の関数で表されます。

RAMS 2022においてMPF detectedの再考に基づくPMHF式の論文発表が終了したため、秘匿部分を開示します。


左矢前のブログ 次のブログ右矢


ページ: