2.3时频分布的一般理论（对时频分布有很多严格的数学性质.docVIP

2.3 时频分布的一般理论 对时频分布有很多严格的数学性质要求。 时频表示的线性虽然是所希望具有的重要性质，但要描述时频能量分布（即“瞬时功率谱密度”）时常用二次型或称双线性的时频表示，二次型的时频表示更加直观和合理，因为能量本身就是一种二次型表示。这里所说的二次型时频表示也叫双线性时频表示，是指在时频分布的积分中，信号出现两次的时频表示，如。的对称形式的双线性变换更能表现出非平稳信号的某些重要特性。 许多二次型时频表示都可以粗略地表示能量，突出的例子如谱图（spectrogram）和 尺度图 scalogram 。谱图定义为短时Fourier变换的模值的平方： 2.3.1 而尺度图定义为小波变换（WT）的模值的平方： 2.3.2 由于存在时宽和带宽分辨率的矛盾，而且一般信号尤其是时变特性明显的信号，只能取很短的时间窗宽，所以谱图和尺度图对能量分布的描述时非常粗糙的，且它们也不满足作为能量分布的某些更严格的要求，因此它们只是二次型时频表示，还称不上是时频分布。 二次型时频分布是更严格意义下的时频表示，要求它能够描述非平稳信号的能量密度分布。为此，对时频分布有很多严格的数学性质要求。为更准确地描述信号的时频分布，我们有必要研究其他性能更好的“能量化”二次型时频分布表示。在研究具体的时频分布之前，有必要先讨论它们的基本概念和特性。 2.3.1信号的双线性变换和局部相关函数 对非平稳信号进行时频分析的主要目的是要设计时间和频率的联合函数，用它表示每单位时间和每单位频率的能量。这种时间和频率的联合函数称为信号的时频分布。时频分布有时也叫时变谱。类似于平稳信号分析Fourier变换中的定义，我们有 在时间t和频率f的能量密度 （2.3.5a） 在,时频点处，时间-频率网格内的能量 （2.3.5b） 在平稳信号里，用二次型变换表示的相关函数和功率谱为： （2.3.6） （2.3.7） 如果考虑用对称形式定义自相关函数： （2.3.8）上式对定义非平稳连续随机过程的时变自相关函数富有启发意义，将其作类似于STFT中的滑窗处理，同时沿加权，则有： （2.3.9） 式中为窗函数，而称为“局部相关函数”。对局部相关函数作Fourier变换，可得到时变功率谱，即信号能量的时频分布： （2.3.10） 这表明，时频分布也可用局部相关函数来定义。事实上，如果取不同的局部相关函数形式，就能够得到不同的时频分布。 取窗函数＝（对）不加限制，而在时域取瞬时值），则有 （2.3.11） 称为瞬时相关函数。瞬时相关函数也叫双时间信号，它与的对称形式的双线性变换具有相同的形式。它的Fourier变换就是著名的Wigner-Ville分布： （2.3.12） Wigner-Ville分布是时频分布中最基本的一种，在其基础上发展得到多种其他时频分布，后面将作详细讨论。 2.3.2 时频分布的基本性质要求 对于任何一种实际有用的非平稳信号分析，通常要求时频分布具有表示信号能量分布的特性。因此，希望时频分布满足下面的一些基本性质。 性质1：时频分布必须是实的（且希望是非负的）。 注意，作为能量密度的表示，时频分布不仅应是实数，而且应是非负的。但是，实际的时频分布却难以保证取正值，因此也就难以把时频分布解释为信号在时间和频率处的瞬时能量谱密度。为了给负值的时频分布赋以物理解释，可认为是信号在时间间隔流过谱窗口的能量的测度。 顺便提一下，时频分布一般不用实信号，而用解析信号或基带信号。 性质2：边缘特性 即时频分布关于时间和频率的积分分别给出信号在频率的谱密度和信号在时刻的瞬时功率。由推导可知，任何具有边缘特性的联合分布都服从不确定性原理。 性质3：时频分布关于时间和的积分应给出信号的总能量E，即 时频分布的不确定性原理可以只用边缘特性来描述。任何具有边缘特性的联合分布都服从不确定性原理。 性质4：时频分布的一阶矩给出信号的瞬时频率和群延迟，即 和 性质5：有限支撑特性 如果在和的总支撑区（即“取非零值的时间区间”加上“取非零值的频率区间”所形成的连续区域）以外，信号的时频分布等于零，我们就称时频分布是有限支撑的，准确的说是“弱”有限支撑（“weak” finite support）。凡在信号和它的频谱等于零的各区域，时频分布也都应该等于零，称为时频分布具有“强”支撑性质。 边缘特性连同非负性一起可以保证时频分布准确反映信号的谱能量，瞬时功率和总能量，还可保证时频分布的强有限支撑性。 表2.3.1不仅列出了上述基本性质，同时还给出了对信号作一些常见的变换时，时频分布应具有某些某些“所期望具有的”相应的数学性质。需要注意的是，并不是所有的时频分布都能满足表中的所有性质。实际中适用的时频分布并非一定要拘泥于满足所有基本性质。根据应用场合，某些性质是不可或缺的，对