5 |
MPF detectedへの変更の再検討(9) |
MPF detectedへの変更の再計算した結果を表を用いてまとめます。
(a)SPF | (b)SPF | (c)DPF | (d)DPF | |
---|---|---|---|---|
LAT2分離 | $(1-K_\text{IF,RF})\lambda_\text{IF}-(1-K_\text{IF,RF})\alpha$(369.6) | $(1-K_\text{IF,RF})\alpha$ (370.5) |
$\img[-1.35em]{/images/withinseminar.png}$(371.6) | $\img[-1.35em]{/images/withinseminar.png}$ (372.5) |
SPF/DPF統合 | $(1-K_\text{IF,RF})\lambda_\text{IF}$ | $\img[-1.35em]{/images/withinseminar.png}$ | ||
規格式1$\dagger$ | $\img[-1.35em]{/images/withinseminar.png}$ | |||
規格式3$\dagger$ | $\img[-1.35em]{/images/withinseminar.png}$ |
$$ ただし、\begin{cases} \begin{eqnarray} 非冗長系の時は\color{red}{K_\text{IF,det}}&=&1\\ 冗長系の時は\color{red}{K_\text{IF,det}}&=&0, K_\text{IF,RF}=1\\ \end{eqnarray} \end{cases} $$
表374.1に対して、非冗長系、冗長系のKパラメータを上記に示すとおり代入した表を表374.2及び表374.3に示します。
(a)SPF | (b)SPF | (c)DPF | (d)DPF | |
---|---|---|---|---|
LAT2分離 | $(1-K_\text{IF,RF})\lambda_\text{IF}-(1-K_\text{IF,RF})\alpha$ | $(1-K_\text{IF,RF})\alpha$ | $K_{\text{IF,RF}}\alpha$ | $0$ |
SPF/DPF統合 | $(1-K_\text{IF,RF})\lambda_\text{IF}$ | $K_{\text{IF,RF}}\alpha$ | ||
規格式1$\dagger$ | $(1-K_\text{IF,RF})\lambda_\text{IF}+K_{\text{IF,RF}}\alpha$ | |||
規格式3$\dagger$ | $(1-K_\text{IF,RF})\lambda_\text{IF}+K_{\text{IF,RF}}\alpha$ |
(a)SPF | (b)SPF | (c)DPF | (d)DPF | |
---|---|---|---|---|
LAT2分離 | $0$ | $0$ | $\beta$ | $\beta$ |
SPF/DPF統合 | $0$ | $2\beta$ | ||
規格式1$\dagger$ | $\beta$ | |||
規格式3$\dagger$ | $2\beta$ |
$\dagger$規格式1: 規格第1版 Part 10-8.3.3の第1式の条件。ブログの図367.1)において、IFが後にフォールトする場合=(a)SPF、(b)SPF及び(c)DPF。(d)DPFはSMが後にフォールトする場合なので対象外
$\dagger$規格式3: 規格第1版 Part 10-8.3.3の第3式の条件。ブログの図367.1)において、IF, SMのフォールトの順を問わない場合=(a)SPF、(b)SPF、(c)DPF及び(d)DPF。