IFの状態確率は前記事の表、SMの状態確率は以前の表368.2に基づき、(a)~(c)まで場合分けして積分方程式を立てます。被積分関数は状態確率×遷移確率(微小確率)で表されます。遷移確率は条件付き確率です。この状態確率のうち IF関連をグリーン、SM関連項をブルーで表します。また遷移確率をレッドで表します。この色分けは表の色分けとは関係ありません。
(a)からのSPF確率の時間平均は、IFが(2)、SMが(10)+(12)の条件から、 ¯qSPF(a),IFU=1TlifetimePr{SPF via (a) at Tlifetime}=1Tlifetime∫Tlifetime0Pr{OPR¯prev at t∩IF down in (t,t+dt]}=1Tlifetime∫Tlifetime0(1−KIF,RF)RIF(t)ASM(t)λIFdt≈(1−KIF,RF)λIF−(1−KIF,RF)α,ただし、α:=12λIFλSM[(1−KSM,MPF)Tlifetime+KSM,MPFτ] (b)からのSPF確率の時間平均は、IFが(2)、SMが(9)+(11)の条件から、 ¯qSPF(b),IFU=1TlifetimePr{SPF via (b) at Tlifetime}=1Tlifetime∫Tlifetime0Pr{LAT2¯prev at t∩IF down in (t,t+dt]}=1Tlifetime∫Tlifetime0(1−KIF,RF)RIF(t)QSM(t)λIFdt≈(1−KIF,RF)α,ただし、α:=12λIFλSM[(1−KSM,MPF)Tlifetime+KSM,MPFτ] (c)からのDPF確率の時間平均は、IFが(4)+(6)+(8)、SMが(9)+(11)の条件から、 ¯qDPF(c),IFR=1TlifetimePr{DPF via (c) at Tlifetime}=1Tlifetime∫Tlifetime0Pr{LAT2prev at t∩IF down in (t,t+dt]}=1Tlifetime∫Tlifetime0KIF,RF[KIF,MPFKIF,detRIF(t)+(1−KIF,det)AIF(t)]⋅QSM(t)λIFdt≈KIF,RFKIF,detα+KIF,RF(1−KIF,det)β,ただし、α:=12λIFλSM[(1−KSM,MPF)Tlifetime+KSM,MPFτ],β:=12λIFλSM[(1−KMPF)Tlifetime+KMPFτ],KMPF:=KIF,MPF+KSM,MPF−KIF,MPFKSM,MPF (d)からのDPF確率の時間平均は、IFが(3)+(5)+(7)、SMが(10)+(12)の条件から、 ¯qDPF(d),IFR=1TlifetimePr{DPF via (d) at Tlifetime}=1Tlifetime∫Tlifetime0Pr{LAT1 at t∩SM down in (t,t+dt]}=1Tlifetime∫Tlifetime0KIF,RF[KIF,MPFKIF,detFIF(t)+(1−KIF,det)QIF(t)]⋅ASM(t)λIFdt≈KIF,RFKIF,detα+KIF,RF(1−KIF,det)β,ただし、α:=12λIFλSM[(1−KSM,MPF)Tlifetime+KSM,MPFτ],β:=12λIFλSM[(1−KMPF)Tlifetime+KMPFτ],KMPF:=KIF,MPF+KSM,MPF−KIF,MPFKSM,MPF
追記:このまとめを記事#492に記述しました。
RAMS 2022においてMPF detectedの再考に基づくPMHF式の論文発表が終了したため、秘匿部分を開示します。
Leave a Comment