第三章现代谱估计清华大学自动化系张贤达zxd-dau@tsinghua.edu.cn电话:62794875经典谱估计样本直接法间接法10()()NjnTNnXxne(0),(1),,(-1)xxxN假设已零均值化,2kN周期函数21()()xNPXN101()()()NxnRkxnxnkN10()()NjkTxxnPRke周期图法有偏估计,平滑性差加窗函数功率谱曲线平滑,但分辨率下降2101()()()NjnTxnPxncneN数据窗10()()()NjkTxxkPRkwke谱窗要提高分辨率,使用参数化的谱估计!经典谱估计:使用FFT的谱估计现代谱估计:参数化谱估计3.1ARMA谱估计与系统辨识平稳ARMA过程离散随机过程服从线性差分方程:为离散白噪声,则称为ARMA过程。自回归(autoregressive)—滑动平均(movingaverage)过程{()}en{()}xn{()}xn11()(1)()()(1)()pqxnaxnaxnpenbenbenq11()()()()pqijijxnaxnienbenjAR阶数AR参数MA阶数MA参数2()~(0,)enN()()jzxnxnj后向移位算子:11()1ppAzazaz其中:00()()pqijijaxnibenj()()()()AzxnBzen11()1qqBzbzbz()()()nknkxnekhenhARMA模型描述的线性时不变(LTI)系统传递函数:()()ienxnh()()()iiiBzHzhzAz满足ARMA模型的条件:(1)冲激响应系数必须绝对可求和:(系统稳定)(2)A(z)和B(z)无公共因子(p,q唯一)(3)系统是物理可实现的(因果系统)极点的作用:决定系统的稳定性和因果性即极点不在单位圆上因果性:称x(n)是e(n)的因果函数,若即因果系统要求极点在单位圆以内,A(z)的根|z|1kkh()()()BzHzAz()0Az零点部分极点部分0()()iiiihxnheni⑴⑵零点的作用:决定系统的可逆性,即是否存在。可逆性:称e(n)是x(n)的可逆函数,若(1)存在序列,并满足——可逆系统的稳定性(2)——可逆性条件11()()()()AzHzHzBz0()()iienxniiii1*11*1()1()()1()ppqqAzazazAzBzbzbzBz21221()()()()()()()xjwjwzezeBzBzBzPAzAzAzARMA过程的功率谱密度则功率谱其中()()()()AzxnBzen2()(0,)enN~ARMA功率谱估计的两种线性方法Cadzow谱估计子又其中11211()()()()()()()()()xBzBzNzNzPzAzAzAzAz1121()()()()()()NzAzNzAzBzBz12(),0()(),xxCkkkCk其他00()()()()kkkxxkkkPzCkzkzkz则两边同乘,比较系数得所以,Cadzow谱估计子的关键:估计AR阶数p和AR参数000()()()piikipikiinzNzkzAzaz0()0,1,,pkiinakikpia0piiiaz1211()()()()()()()qjjjqxczBzBzPzAzAzAzAz21()()qjjjqBzBzczKaveh谱估计子jjcc22220102011120qqqqqbbbcbbbbcbbc非线性方程,MA参数辨识(Newton-Raphson迭代)1()()()()qjjjqkxxkczPzCkzAzAz*00()0,1,,ppkijxijcaaCkijkq21()1qkkkqxpiiijwzeczPaz协方差函数的Fourier变换Kaveh谱估计子:()1Az11()()1()iqiqiBzHzhzbzbzAzARMA功率谱密度的特例()()()()AzxnBzen特例一:MA过程()()()xnBzen1,,ihiq抽头有限冲激响应(FIR)系统1()()HzAz2()1,()WN(0,)eBzen()()()Azsnen特例二:AR过程中含有的无数多项1z无限冲激响应(IIR)系统白噪声中的AR过程:2()()()()~WN(0,)vxnsnvnvn222221()()()()()()()exsvvwjjzezeBzPPPAzAzAzARMA(p,p)过程1()()0,()(1)()0pAzsnsnasnasnp若即1(1),(2),(1),(2),,()()()piispspssspsnasni可由递归出来,即特例三:完全可预测过程加性白噪声中的可预测过程:()()()xnsnvn11()()()()ppijijxnaxnivnavnj线谱特殊的ARMA所以:白噪声中的AR过程=ARMA过程白噪声中的可预测过程=特殊的ARMA过程00()()pqijijaxnibenj()()enn令()()xnhn令00()()pqijnijahnibnjb()()iixnheni等价高斯白噪2(0,)N修正Yule-Walker方程**00*00200(){()()}()()()()()xiijiijijijijRkExnxnkEhenjhenkihhEenjenkihhkij20()xiikiRkhhBBR公式:220000()ppixijjlijjliijjaRliahhhb修正Yule-Walker方程(MYW方程)20BBR()xiikiRkhh公式00()()pqijnijahnibnjb0()0pixiaRlilq,定理(AR参数的可辨识性):1()()1,,pixxiaRliRllqqp,若A(z)和B(z)无可对消公共因子,且,则AR参数可由p个修正Yule-Walker方程唯一确定或辨识。0pa1,,paa11(1)()(1)0(2)(1)(2)0()(1)()0xxxxxxpxxxRqRqRqpaRqRqRqpaRqpRqpRq若构造:11(1)()(1)0(2)(1)(2)0()(1)()0exexexeexexexeepxexexeeRqRqRqpaRqRqRqpaRqMRqMRqMp使得,则,,,eeeeeqqppqpqpMprank()peReReaAR阶数确定的奇异值分解方法奇异值分解(SVD):mnAA为矩阵,可分解为HA=UΣVmmnnUV其中为酉矩阵,为酉矩阵。酉矩阵:-1HU=U主奇异值:p个大的奇异值(p个信号分量的能量)2221122diag(,,,)nnΣ次奇异值:其它小奇异值(扰动或误差的能量)准则一:归一化比值信号与噪声的分离:1/222111/22211()1kknnvk若阈值=0.995,v(k)阈值的最小整数k定为矩阵A的“有效秩”。准则二:使用归一化奇异值11111kkkk,且某个很小的阈值(0.05)的最小整数k定为有效秩。kk最终预报误差方法(FPE,FinitePredictionError):FPE准则选择使FPE(p,q)最小,作为AR模型的阶数。21ˆ(,)1wpNpqFPEpqNpq20ˆ垐()pwpixiaRqiAIC(Akaike’sInformationCriterion)2ˆ(,)ln2()wpAICpqpqN2lnˆ(,)ln()wpNBICpqpqN“信息量准则”遵循“吝啬原则”AR阶数确定的信息量准则法11(1)()(1)0(2)(1)(2)0()(1)()0exexexeexexexeepxexexeeRqRqRqpaRqRqRqpaRqMRqMRqMp若,则,,,eeeeeqqppqpqpMprank()peR扩展阶MYW方程0eeRa选,eeeqppMpAR参数估计的总体最小二乘法Axb总体最小二乘TLS:TotalLeastSquares1bA0x-bA+-eEz=0B+Dz=0或扰动矩阵思想:寻求一个解z,使得1/21211minmnijijd1||||2,1()||||21TTTTTTJJ22BzzBBzBBz0z0zzBzzBBzzz1=,2由只有平凡的零解。求解约束优化1min=2约束条件定义代价函数Lagrange1((1)2()RayleighTTTTTTTTJJzzBBzzzzBBzz0zzzBBzzz使用乘子法,定义目标函数)=则左乘后,得=这是个典型的商问题min121111=[]/,1,,TTniivvvxvvinnpnzBBxBvxB因此,是矩阵的与最小特征值对应的特征向量,即矩阵的与最小奇异值对应的右奇异向量,,,。从而,得解向量的元素为这种解包含个参数,与矩阵的秩相矛盾。方法2:只包含p个参数(主要因素)TB=UΣVˆBz=0ˆ(1:1)0ˆ(2:2)0ˆ(1:1)0ppnpnBaBaBa:用秩为p的矩阵对B的最佳逼近()ˆpBˆTpB=UΣV2211diag,,,0,,0pppΣ111,,,,,,eTpppxxxxz令,则11,,,Tpxxa构造代价函数1^11^1()ˆ()(:)(:)ˆ[(:)](:)TnpinpTTiTpfipiipiipiipiaBaBaaBBaaSa1()211()pnppiiTjjjjjiSvv(,),(1,),,(,)Tijvijvijvipjv()0faa()1100pSae0,,0,1,0,,0Tie标准向量由于存在误差()()ˆ(1,1)(1,1)ppixiSSAR定阶与AR参数估计的SVD-TLS算法:()pS步骤1:构造扩展阶相关函数,求SVD,存储和eR2iiV(1)()(1)(2)(1)(2)R()(1)()eeeeeeeRpRpRRpRpRRpMRpMRM步骤2:确定的有效秩p,给出AR阶数估计值eR步骤3:计算步骤4:计算()()ˆ(1,1)(1,1)ppixiSS讲义下载地址