再検討にあたっては計算の容易さから、図222.1を参照して、$\mathrm{IF^R}$をpreventableとnon preventableに分解して考えます。具体的には、CTMC図367.1に示すようにLAT2からの分岐をSPF方向(b)とDPF方向(c)に分離します。ただし、分解してもしなくても統合した結果は同じです。
図367.1 LAT2からの分岐をSPF方向(b)とDPF方向(c)に分離
(367.1)に、新しい記号の定義を示します。
$$
\begin{eqnarray}
\{\mathrm{IF^R_{prev}}\text{up at }t\}&:=&\{\mathrm{IF^R}\text{up at }t\ \cap\ \text{IF preventable}\}\\
\{\mathrm{IF^R_\overline{prev}}\text{up at }t\}&:=&\{\mathrm{IF^R}\text{up at }t\ \cap\ \overline{\text{IF preventable}}\}\tag{367.1}
\end{eqnarray}
$$
より、
$$
\{\mathrm{IF^R}\text{up at }t\}=\{\mathrm{IF^R_{prev}}\text{up at }t\}\cup\{\mathrm{IF^R_\overline{prev}}\text{up at }t\}\tag{367.2}
$$
が成立します。
RAMS 2022においてMPF detectedの再考に基づくPMHF式の論文発表が終了したため、秘匿部分を開示します。
前のブログ
次のブログ
