每日精学 215|打孔位置的零软信息初始化

2026-09-25

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

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

发送资源受限时,编码器可以省略部分码字符号。接收机仍需把观测映射回母码坐标,正确区分缺少观测与已经知道某个比特,是率匹配接口的基础。

01
模型与符号

打孔位置选择与当前比特取值无关,未发送符号不产生任何接收观测;信道LLR不包含译码先验,母码长为N、信息位数K。

\mathcal P:打孔位置(集合)

M:实际发送符号数(个)

Lj:母码信道软值(无量纲)

Reff:有效发送码率(比值)

mj:观测存在标志(标志)

02
从模型到公式

无观测的似然

记缺少观测为事件

\varnothing

它与该比特值无关,因此

P(\varnothing\mid b=0)=P(\varnothing\mid b=1).

信道似然为

L_{\mathrm{puncture}}=\ln\frac{P(\varnothing\mid0)}{P(\varnothing\mid1)}=0.

若比特另有先验,它应在后续明确加入。


母码回填

接收软值按位置回填:

L_j=\begin{cases}L_j^{\mathrm{obs}}&m_j=1,\\0&m_j=0.\end{cases}

若打孔数为P,则

M=N-P,\qquad R_{\mathrm{eff}}=K/(N-P).

有效码率升高不代表可在任意信道保持原可靠性。


与缩短的区别

若某位已知固定为零,其先验满足

P(b=0)=1,\quad L_a\to+\infty.

而零软值对应

P(b=0\mid\varnothing)=P(b=1\mid\varnothing)=1/2

在等先验下成立。

将两者混用会把未知值错误变成确定值,或丢掉已知约束。

无观测与确定先验的区别

打孔表示没有获得该位置的信道观测,因此该观测对两种比特给出相同似然,信道对数比为

L_c=\ln\frac{p(\text{无观测}\mid0)}{p(\text{无观测}\mid1)}=0.

若另有非均匀先验,后验仍可能非零,因为 Lp=La+Lc=La。

这与已知冻结零位的确定先验不同,后者形式上对应

L_a\to+\infty.

用一个很大正软值替代打孔零值,会凭空加入支持零的证据。回填应保留母码坐标和原图连接,不能简单删除该位置;

零初始化只说明当前没有信道证据,不意味着后续校验消息也必须为零。

03
物理含义

零软值表示“没有新增证据”,并不表示发送比特一定为零。译码器可利用其他位置和码约束恢复打孔位,但恢复能力受具体模式影响。

04
固定参数算例

固定八位母码坐标与两处打孔掩码,检查回填只在缺失位置为零、其他软值逐值保持。比较打孔零似然与强零先验的概率,展示二者的语义差异。

固定参数数值验证结果
量数值
母码长度8
信息比特数4
punctured positions2
transmitted positions6
母码码率0.5
有效码率0.666666666667
puncture posterior zero0.5
known zero approx probability1
图 1:打孔位置回填与零软值概率解释图 1:打孔位置回填与零软值概率解释

图 1 打孔位置回填与零软值概率解释

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

05
数字实现的边界

RTL a 为接收软值,b[0]=1表示该母码位置被打孔,输出零;否则透传 a。仅实现单位置初始化选择,不包括打孔图样优化或母码译码。 模块采用同步高有效复位及 valid 握手;

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

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

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

06
适用范围

用于软缓冲初始化、码率匹配接口和缺失观测处理。打孔模式应与码结构一同评估,避免破坏关键约束或使信息位不可辨识。

07
工程上需要注意

打孔模式可能导致极低距离或不可恢复。

依赖比特值的选择过程不满足零似然前提。

零软值不能替代已知缩短位。

提高有效码率通常伴随冗余和能量条件变化。

打孔初始化严格对应无观测的等似然比,因此信道软值应置零。母码回填、先验约束与有效码率必须分别处理。

内容依据:每日精学第 215 课《打孔位置的零软信息初始化》。图表沿用原课固定参数数值结果,属于数值验证,不代表设备实测。

阅读7
分享
写评论...