記事#368で、変更した方式(MPF latentに含めていたMPF detectedを分離)により場合分けをしましたが、従来の方式(MPF detected=MPF latent)でも、確認のために同様な表を作成します。
| 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 | |||
◆色分け：
Faultless, フォールト無し
Faulty, フォールトする
Faultyだが定期修理される
(5)及び(6)においてはSM2(2nd SM)によって検出されたフォールトは周期的に修理されるため、信頼度及び不信頼度は時刻tではなく$u(:=t \bmod \tau)$の関数で表されます。
RAMS 2022においてMPF detectedの再考に基づくPMHF式の論文発表が終了したため、秘匿部分を開示します。
前のブログ
Leave a Comment