雷达 · 通信 · 电子战 / 基础精学 183
硬判决仅输出零或一,无法区分靠近门限与远离门限的样本。编码接收机需要一种可相加且具有概率解释的可靠度表示。对数似然比通过两个条件密度的比值消除共同归一化因子,为后续软合并提供统一量纲。
映射固定为 、
;A>0 已知,,实噪声方差为 σ2;先验暂取相等。
b:发送比特(比特)
A:符号幅度(幅度)
y:接收实样本(幅度)
σ2:实噪声方差(幅度平方)
L:零比一的对数似然比(无量纲)
接收模型为
因而
两个密度的方差相同,是线性结果成立的关键。
按零比一约定定义
展开平方得到 4Ay,所以

正值支持零,负值支持一;
L=0 表示两种解释等可能。
等先验条件下

条件均值和方差分别为
两者关系可用于检查软信息是否被错误缩放。
硬判决只使用软值的符号,概率接口却使用其完整尺度。设正确软值为 L,因噪声方差标定失配得到 ,其中 c>0。
两者硬判决相同,但零比特后验的对数几率分别为 L 与 cL,不是同一个概率模型。逻辑函数 p(L) 满足
因而定点软值的绝对误差能够给出概率误差上界,但不能据此保证后续多个软值相加后的判决不变。
在固定 A=1,σ2=1/2 的整数子核中,若输入码表示 y=aΔy,则
输出码乘四与输出量化步长缩小四倍是不同的接口选择,不能同时实施;
否则会把物理软值错误地缩放。输入范围内整数左移是精确代数运算,但接收幅度量化和噪声方差估计仍在该子核之外。
样本符号决定倾向,绝对值则刻画证据强度。提高噪声方差使同一接收幅度产生较小软值,反映观测更不可信;这并不等同于改变硬判决门限。软值必须与译码器采用同一零比一约定。
固定幅度一和实噪声方差二分之一,比较条件密度直接相除与线性闭式表达式,检查对称性和条件均值。图中同时给出接收样本至软值的映射和对应后验概率,随机统计仅用于尺度复验,闭式等式使用严格误差界。
| 量 | 数值 |
|---|---|
| amplitude | 1 |
| 噪声方差 | 0.5 |
| density formula max error | 5.3290705182e-15 |
| conditional mean theory | 4 |
| conditional mean measured | 3.98831969688 |
| conditional variance measured | 8.0402322123 |
| 样本数 | 100000 |
图 1 BPSK软值线性映射与后验概率
表中数值和图中曲线由 MATLAB 实际运行得到,随机种子为 20261102;运行版本与完整结果另存为独立文件。
RTL 实现固定参数 A=1、实噪声方差为 1/2 时的 L=4y,输入与输出同一整数幅度刻度;限制输入绝对值不超过 1024,左移运算在 32 位中无溢出。
模块采用同步高有效复位及 valid 握手;有效输入在一个时钟沿登记输出,空拍不改变数据寄存器而清除输出有效标志。端口采用有符号 32 位容器,实际有效范围按子核定义约束。
自检覆盖多组有效输入、空拍保持及复位;它验证指定算术或地址子核,不代表完整通信系统或完整译码器已经完成硬件验证。
独立自检程序已在 Icarus Verilog 13.0 中实际运行并通过。该结果不包含器件综合、静态时序分析或板级测试。
该表达式适用于相干 BPSK 解调、二进制编码器软输入构造及噪声方差标定。对实部独立的 QPSK 分量也可分别使用,但幅度与每实维噪声方差必须重新确认。
幅度估计错误造成软值整体尺度偏差。
脉冲干扰或非高斯噪声下线性似然不再精确。
未知相位须先估计或在似然中边缘化。
有限位宽可能把强证据饱和,不能把饱和值解释为确定概率。
BPSK 精确软值由高斯条件密度的平方差直接化为线性映射。符号约定及每实维噪声方差共同决定尺度,概率恢复必须保持相同定义。
内容依据:每日精学第 183 课《BPSK精确对数似然比》。图表沿用原课固定参数数值结果,属于数值验证,不代表设备实测。