在实际处理中,我们通常得到的数据是在有限时间范围内的有限快拍次数。这段时间内假定空间源信号的方向不发生变化,或者空间源信号的包络虽然随时间变化,但通常认为它是一个平稳随机过程,其统计特性不随时间变化。这样可以定义阵列输出信号X(t)的协方差矩阵为:
其中,,则有:
此外,还有以下几个条件必须满足。
(1) M>K,即阵元个数M要大于该阵列系统可能接受到的空间信号个数(信号源个数)
(2) 对应于不同的信号来向,信号的方向向量是线性独立的
(3) 阵列中噪声N(t)过程,具有高斯分布特性,而且
其中表示噪声功率
(4) 空间源信号向量的协方差矩阵是对角非奇异阵,这表明空间源信号是不相干的。
由以上各式,可以得出:,可以证明R是非奇异的;且,因此R为正定Hermitain方阵,若利用酉变换实现对角化,其相似对角阵是由M个不同的正实数组成,与之对应的M个特征向量是线性独立的。因此,R的特征分解可以写为:
其中,,并且可以证明其特征值服从排序。即前K个特征值与信号有关,其数值大于,这K个较大特征值所对应的特征向量可以表示为,他们构成信号子空间,记是K个较大特征值构成的对角阵;而后M-K个特征值完全取决于噪声,其数值均等于,所对应的特征向量构成噪声子空间,而是由M-K个较小特征值构成的对角阵。
因此,可以将R分解为:
式中,是较大特征值构成的对角阵,是较小特征值组成的对角阵,即
显然当空间噪声为白噪声时,有
下面给出在信号源独立条件下关于特征子空间的一些性质,这也为后续的空间谱估计算法及其理论分析做准备。
性质2.8.1 协方差矩阵的大特征值对应的特征矢量张成的空间与入射信号的导向矢量张成的空间是同一个空间,即:
性质2.8.2 信号子空间与噪声子空间正交,且有
性质2.8.3 信号子空间与噪声子空间满足:
性质2.8.4 信号子空间与噪声子空间及阵列流行满足
性质2.8.5 定义,则有下式成立
需要说明的是,在具体实现中,数据协方差矩阵用采样协方差矩阵代替,即
式中,L表示数据的快拍数。对进行特征分解可以计算得到噪声子空间,信号子空间及由特征值组成的对角矩阵
阵列信号处理中大部分算法需要知道入射信号数。但在实际应用场合中,信号源数通常是一个未知数,往往需要先估计信号源的数目或者假设信号源数目已知,然后再估计信号源的方向。根据特征空间的分析可以知道,在一定条件下数据协方差矩阵的大特征值数等于信号源数,而其他的小特征值数是相等的(等于噪声功率)。这就说明可以直接根据数据协方差矩阵的大特征值来判断信号源数。
但在实际场合中,由于快拍数据、信噪比等限制,对实际得到的数据协方差矩阵进行特征分解后,不可能得到明显的大小特征值。很多学者提出了在信号数估计方面较为有效的方法,包括信息论方法、平滑秩法、矩阵分解法、盖氏圆方法和正则相关法等。
存在观测噪声时,接收信号模型为,表示有观测噪声时混合信号的协方差矩阵,即:
其中,,为噪声功率。容易验证,若为R的M个特征值,而
为的M个特征值,则有
因此在信噪比较高的情况下,协方差矩阵的主特征值个数和信源个数都为K
将得到的协方差矩阵的特征值从大到小排列,即
设作为观测样本协方差矩阵的主特征值,则信源数目K应取值使得。该方法的优点在于运算简单且估计准确率较高。
信息论方法有一个统一的表达形式:
公式中,L(k)是对数似然函数,P(k)是惩罚函数。通过对两个函数的不同选择可以得到不同的准则。
EDC信息论准则:
其中,k为待估计的信号源数(自由度),L为采样数,为似然函数,且
另外,上式中C(L)需要满足条件:
当C(L)满足以上条件时,EDC准则具有估计一致性。