雷达 · 通信 · 电子战 / 基础精学 153
GCC-PHAT把互谱的幅度信息消除,保留与时延相关的相位结构,使不同频带对相关峰的贡献更加均衡。
实际记录只包含有限个采样值。由记录计算得到的数值与总体参数并不相同:前者受记录长度、噪声、边界约定及运算精度影响,后者属于给定模型的属性。建立可复核结论需要先固定输入含义、统计假设和归一化方式,再比较可计算量与理论量。
两路由共同宽带序列及一个整数循环延迟生成;实验采用循环模型以隔离边界效应;线性应用必须补零并限制有效滞后。
Gyx[m]:互谱(幅度平方)
W[m]:PHAT权重(倒幅度平方)
d:相对延迟(样本)
M:变换长度(点)
循环延迟在每一频点产生线性相位。
相乘后保留非负能量谱和延迟相位。
非零频点的互谱除以自身模长。
离散复指数正交性把纯相位序列变成单位冲激。
幅度很小的频点不能安全求逆,使用门限而不是无限增益。
循环索引超过半记录长度时按负滞后解释。
理想 PHAT 单位冲激需要全体频点都包含正确相位。变换长度仍为 M,频率掩码为 A[m]∈{0,1},则无噪声输出为
因此相关峰是掩码逆变换的平移,而不是必然的单样本冲激。
峰位处幅度等于有效频点所占比例:
连续窄带掩码会形成宽主瓣和旁瓣,稀疏周期掩码还可能形成多个等高峰。
幅度白化不能创造缺失的带宽;低能量门限的调整同时改变噪声权重与峰形,比较不同门限时应把有效频点数和归一化一起记录。
普通互相关让大功率频带主导峰形,PHAT让可靠非零频点的相位更均匀地参与求和。在理想全带非零模型中峰为冲激;频带缺失、相位噪声和正则化会使该结论失效。幅度较弱不等于相位可信,低信噪比频点可能应当被抑制而非提高权重。
用512点有色序列及23样本循环延迟比较普通相关和PHAT相关,检查无噪声单位峰及噪声条件下估计偏差,同时量化PHAT峰外残差。数值脚本使用固定随机种子;
随机实验的判据采用有限容差,代数关系的判据采用浮点残差。图中同时展示参数变化趋势与对应误差,关键数值写入独立结果文件。
| 量 | 数值 |
|---|---|
| FFT 长度 | 512 |
| 真实时延 | 23 |
| ideal delay estimate | 23 |
| noisy delay estimate | 23 |
| ideal peak | 1 |
| largest ideal sidelobe | 9.89845018417e-17 |
| regularization floor | 1e-12 |
图 1 GCC-PHAT时延估计的固定参数数值验证
表中数值和图中曲线由 MATLAB 实际运行得到,随机种子为 20261072;运行版本与完整结果另存为独立文件。
SystemVerilog实现复互谱实虚部和谱能量累加;归一化权重、FFT和峰值搜索不包含在子核内。端口为16位有符号码,内部64位,同步复位,valid空拍保持状态;
按外部首尾标志进行块累加并在块尾输出。自检覆盖多组数据、空拍、边界和复位,仅验证所述整数子核,不代表完整算法的硬件验证。
独立自检程序已在 Icarus Verilog 13.0 中实际运行并通过。该结果不包含器件综合、静态时序分析或板级测试。
用于公共双通道时延测量、采样链路校准和声电测试数据分析。工程处理应把频带可靠性掩码、最大允许时延和幅度正则量一起固定。
PHAT并非对所有噪声模型最优,严重低信噪比频带会引入不稳定相位。
循环实验不证明线性记录边界已正确处理。
有限精度实现必须区分输入量化、内部舍入和最终结果格式,不能仅依据浮点曲线估计硬件误差。
PHAT的核心是互谱模长归一化,其理想尖峰来自所有有效频点的线性相位相干叠加。
内容依据:每日精学第 153 课《GCC-PHAT时延估计》。图表沿用原课固定参数数值结果,属于数值验证,不代表设备实测。