Article #367

We may make changes and additions to blogs already published.
posted by sakurai on February 24, 2021 #367

再検討にあたっては計算の容易さから、図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} $$ が成立します。

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

Leave a Comment

Your email address will not be published.

You may use Markdown syntax. If you include an ad such as http://, it will be invalidated by our AI system.

Please enter the numbers as they are shown in the image above.