|
(12) 对这些恒等式的直观解释是,以最新变化点的时间为条件,严格在s之前的数据与以下内容无关:根据(11)预测下一个数据点,以及根据(12)预测uN(t)、αN(t)、σN(t),即与最新变化点相关的参数。为了得到p(yt+1 |τt+1=s,ys:t)的闭合表达式,我们在每个参数三元组上设置了一个零均值正态逆伽玛先验分布:p(un,αn,σn)=2π| V | 1/2baΓ(a)σna+2经验-2b+βTnV-1βn2σn, (13) 式中,βn:=[unαn]T,V:=diag(δ,δ),a,b,δ,δ是超参数,这些参数是跨s n的常见参数。以下命题给出了所需的p(yt+1 |τt+1=s,ys:t)表达式,以及参数βN(t)和σN(t)的边缘后验密度,条件是最近变化点的时间。提案1。p(yt+1 |τt+1=s,ys:t)=St2as、t、ht+1ws、t、bs、TA、t(1+ht+1Vs、thTt+1), (14) p(βN(t)|τt=s,ys:t)=St2as、t、ws、t、bs、TA、TV、t, (15) p(σN(t)|τt=s,ys:t)=IG(as,t,bs,t),(16)式中,ws,t:=Vs,tHTs,tys+1:t,(17)Vs,t:=(V-1+HTs、tHs、t)-1,(18)as,t:=a+t- s、 (19)bs,t:=b+(kys+1:tk- wTs,电视-1s,tws,t),(20)Hs,t:=[hTt···hTs+1]t,ht:=[1 yt-1] ,和ys+1:t≡ [年初至今-1···ys+1]T.校对草图。(10)中的注释,yτt+1:t=年初至今。。。yτt+1= Hτt,tβN(t)+σN(t)t、 。。。τt+1.因此,(14)-(16)中的表达式可以通过调节τt+1=s或τt=s获得,然后在正态逆伽马先验下应用贝叶斯线性回归的标准结果,参见示例【Murphy,2012,第7.6.3节】。除第2.3节中的考虑事项外,重要的是要注意,(ws,t)t>s,(Vs,t)t>s,(as,t)t>s,(bs,t)t>可以递归方式计算,以便计算公式p(yt+1 |τt+1,y0:t),p(yt+2 |τt+2,y0:t+1)中每个项的成本不会随t的增加而增加。下面的引理给出了详细信息。引理2。
|