每日精学 207｜归一化最小和校验节点近似

2026-09-25

← 技术专题 · 每日精学目录

雷达 · 通信 · 电子战　/　基础精学 207

精确校验节点需非线性修正，而比较器与符号异或更适合高吞吐数字实现。保留主导项形成最小和算术，再乘小于一的比例可降低部分近似偏差。

01
模型与符号

输入为零比一软值，归一化因子 0<α≤1；固定比较实验采用 α=3/4，只讨论二输入子核。

m：最小输入幅度（无量纲）

s：符号乘积（符号）

α：归一化系数（比值）

fNMS：近似输出（无量纲）

δ：相对精确误差（无量纲）

02
从模型到公式

舍弃修正

精确式包含主项与两个 Jacobian 修正，忽略修正得到

f_{\mathrm{MS}}(a,b)=s m,\quad s=\operatorname{sign}(ab),\quad m=\min(|a|,|b|).

精确输出满足 |f|≤ m，所以未归一化最小和可能过度自信。


比例缩放

归一化最小和定义为

f_{\mathrm{NMS}}=\alpha s m.

误差分解为

\delta=\alpha sm-f(a,b)=(\alpha-1)sm-[g(|a+b|)-g(|a-b|)].

一个固定比例不能在所有幅度和符号组合上同时消除非线性修正。


定点实现

取 α=3/4 并对幅度向零截断，整数输出为

\widehat f=s\left\lfloor\frac{3m}{4}\right\rfloor.

截断误差满足

|\widehat f-\alpha sm|<1\ \text{整数单位}.

符号应在非负幅度缩放后重新施加，避免负数算术右移引入不同舍入方向。


固定归一化系数不能全域精确

对两路相同正输入 L，精确校验输出为

\ln\cosh L

归一化最小和输出为 α L。令两者局部相等得到所需比例

\alpha_{\mathrm{eq}}(L)=\frac{\ln\cosh L}{L}.

其低幅度与高幅度极限分别为

\alpha_{\mathrm{eq}}(L)\sim L/2\ (L\to0^+), \qquad \alpha_{\mathrm{eq}}(L)\to1\ (L\to\infty).

因此任何固定非零系数都不能在整个软值范围精确复制 boxplus。

四分之三是指定实验的近似选择，应结合输入分布评价；整数幅度截断是另一项误差来源，不能把它与模型近似误差混在一起归因。

03
物理含义

最小幅度捕捉校验可靠度的瓶颈，比例缩放则粗略补偿其余输入的联合不确定性。它降低硬件成本，但近似好坏随软值分布变化。

04
固定参数算例

扫描固定软值网格，比较精确、最小和及四分之三归一化版本的均方误差和最大误差。对整数幅度检查截断误差界，并报告该网格下结果而不外推为通用最优系数。

固定参数数值验证结果
量数值
normalization factor0.75
soft grid pairs2401
minsum mse0.0765453459757
normalized mse0.182879320407
normalized max error0.936755014043
integer max trunc error0.75
integer amplitude cases256
图 1：精确校验更新与归一化最小和误差图 1：精确校验更新与归一化最小和误差

图 1　精确校验更新与归一化最小和误差

表中数值和图中曲线由 MATLAB 实际运行得到，随机种子为 20261126；运行版本与完整结果另存为独立文件。

05
数字实现的边界

RTL 对正负255范围整数输入求符号异或与最小绝对值，计算 (3m)>>2，再施加符号；输出保持原整数单位，采用向零截断。 模块采用同步高有效复位及 valid 握手；

有效输入在一个时钟沿登记输出，空拍不改变数据寄存器而清除输出有效标志。端口采用有符号 32 位容器，实际有效范围按子核定义约束。自检覆盖多组有效输入、空拍保持及复位；

它验证指定算术或地址子核，不代表完整通信系统或完整译码器已经完成硬件验证。

独立自检程序已在 Icarus Verilog 13.0 中实际运行并通过。该结果不包含器件综合、静态时序分析或板级测试。

06
适用范围

用于低复杂度校验节点设计、可配置缩放参数评估及定点误差预算。完整码的最佳系数需要结合位宽、度分布和迭代次数标定。

07
工程上需要注意

固定比例不可能普遍等价精确更新。

极小软值的截断可能归零。

最负补码取绝对值须预留范围。

局部均方误差最小不等于整码误码率最小。

归一化最小和用简单缩放减轻最小和的过强可靠度，仍属于分布相关近似。向零幅度截断使数字误差与符号语义保持明确。

内容依据：每日精学第 207 课《归一化最小和校验节点近似》。图表沿用原课固定参数数值结果，属于数值验证，不代表设备实测。

阅读7
分享
写评论...