本专栏包含信息论与编码的核心知识,按知识点组织,可作为教学或学习的参考。markdown版本已归档至【Github仓库:https://github.com/timerring/information-theory 】或者公众号【AIShareLab】回复 信息论 获取。
正交编码
正交编码的基本概念
正交性
若两个周期为 T 的模拟信号
s1(t) 和
s2(t) 互相正交, 则有
∫0Ts1(t)s2(t)dt=0
同理, 若 M 个周期为 T 的模拟信号
s1(t),
s2(t),
…,
sM(t) 构成一个正交信号集合,则有
∫0Tsi(t)sj(t)dt=0i=j;i,j=1,2,…,M
互相关系数
对于二进制数字信号, 用一数字序列表示码组。这里, 我们只讨论二进制且码长相同的编码。这时, 两个码组的正交性可用如下形式的互相 关系数来表述。
设长为
n 的编码中码元只取值 +1 和 -1 , 假设
x 和
y 是其中两个码组:
x=(x1,x2,x3,⋯,xn)y=(y1,y2,y3,⋯,yn)
其中:
xi,yi∈(+1,−1),i=1,2,⋯,n
若码组 x 和 y 正交, 则必有
ρ(x,y)=0 。
ρ(x,y)=n1i=1∑nxiyi
正交编码
例如, 右图所示 4 个数字信号可以看作是如下4 个码组:
{s1(t):(+1,+1,+1,+1)s2(t):(+1,+1,−1,−1)s3(t):(+1,−1,−1,+1)s4(t):(+1,−1,+1,−1).
按照互相关系数定义式计算容易得知, 这 4 个码组中任意两者之间的相关系数都为 0 , 即这 4 个码组两两正交。我们把这种两两正交的编码称为正交编码。
用二进制数字表示互相关系数
在二进制编码理论中, 常采用二进 制数字 “ 0 ”和 “ 1 ”表示码元的可能 取值。这时, 若规定用二进制数字 “0”代替上述码组中的 “+ 1 ”, 用 二进制数字 “ 1 ”代替 “ -1 ”, 则上 述互相关系数定义式将变为
ρ(x,y)=A+DA−D
式中, A——x 和 y 中对应码元相同的个数;
D—— x 和 y 中对应码元不同的个数。
例如, 按照左式规定, 上面例 子可以改写成
{s1(t):(0,0,0,0)s2(t):(0,0,1,1)s3(t):(0,1,1,0)s4(t):(0,1,0,1).
可以验证互相关系数
ρ=0 .
自相关系数
上式中, 若用 x 的 j 次循环移位代替 y , 就得到 x 的自相关系数
ρx(j) 。 具体地讲,令
x=(x1,x2,⋯,xn)y=(x1+j,x2+j,⋯,xn,x1,x2,⋯xj)
代入定义式
ρ(x,y)=A+DA−D
就得到自相关系数
ρx(j) :
ρx(j)=(A−D)/n
类似上述互相关系数的定义, 可以对于一个长为 n 的码组 x 定义其自相关系数为
ρx(j)=n1i=1∑nxixi+j,j=0,1,⋯,(n−1)
式中, x 的下标按模 n 运算, 即有
xn+k≡xk 。例如, 设
x=(x1,x2,x3,x4)=(+1,−1,−1,+1)
则有
ρx(0)=41∑i=14xi2=1ρx(1)=41∑i=144xixi+1=41(x1x2+x2x3+x3x4+x4x1)=41(−1+1−1+1)=0ρx(2)=41∑i=11xixi+2=41(x1x3+x2x4+x3x1+x4x2)=−1ρx(3)=41∑i=141xixi+3=41(x1x4+x2x1+x3x2+x4x3)=0
超正交码
超正交码:相关系数
ρ 的取值范围在
±1 之间, 即有 $ -1 \leq \rho \leq+1$ 。 若两个码组间的相关系数
ρ<0 , 则称这两个码组互相超正交。如果一种编码中任两码组间均超正交, 则称这种编码为超正交码。
例如, 在上例中, 若仅取后 3 个码组, 并且删去其第一位, 构成如下新的编码:
{s1′(t):(0,1,1)s2′(t):(1,1,0)s3′(t):(1,0,1).
则不难验证, 由这 3 个码组所构成的编码是超正交码。
双正交编码
由正交编码和其反码便可以构成双正交编码。
例:上例中
正交码为
{s1(t):(0,0,0,0)s2(t):(0,0,1,1)s3(t):(0,1,1,0)s4(t):(0,1,0,1)
其反码为
{(1,1,1,1)(1,1,0,0)(1,0,0,1)(1,0,1,0)
上两者的总体即构成如下双正交码:
(0,0,0,0)(1,1,1,1)(0,0,1,1)(1,1,0,0)(0,1,1,0)(1,0,0,1)(0,1,0,1)(1,0,1,0)
此码共有 8 种码组, 码长为 4 。
正交沃尔什函数
沃尔什(Walsh)函数集是完备的非正弦型的二元(取值为+1与-1)正交函数集, 其相应的离散沃尔什函数简称为沃尔什序列或沃尔什码。 沃尔什函数是定义在半开区间 [0,1) 的矩形波族, 每个矩形波有一个编号 n(
n=0,1,2,3,…) 。
矩形波幅度的取值为 +1 或 -1 , 规定起始时矩形波的取值为 +1 , 然后在 +1 与 -1 之间变化, 变化的次数 (+1 变 -1 与 -1 变 +1 的次数之和)
m=n , 在 +1 或 -1 上持续的时间可以相等, 也可以不相等 (不相等时较长的持续时间
T1 为较短的持续时间
Ts 的两倍)。 编号为 n 的沃尔什函数用
Wal(n,t) 表示, 沃尔什函数的波形如图所示。
补充(度量空间)的完备性定义:
度量空间
X=(X,d) 中的序列
(xn) , 如果对任意给定的
ε>0, 都存在一个
N=N(ε) , 使得对每个
m,
n>N 都有
d(xm,xn)<ε
则称它是一个柯西序列。如果空间 X 中的每个柯西序列都收敛, 则称 X 是完备的。
一个完备的函数集, 应该能表示出其空间上的所有函数。
离散沃尔什函数的构成
离散沃尔什函数也称沃尔什序列或沃尔什码, 用哈达马矩阵的行(或列)可以构成离散沃尔什函数
一阶哈达马矩阵为
H1= [1]
高阶哈达马矩阵的递推公式如下:
HNm=[HNm−1HNm−1HNm−1−HNm−1]
式中,
Nm=2m,
m=1,2,3,… 。
例如, m=1 时
HN1=H2=[H1H1H1−H1]=[111−1]HN2=H4=[H2H2H2−H2]=[1111111−111−1−11−1−11]
m=3 时
HN3=H8=[H4H4H4−H4]=[111111111−11−11−11−111−1−111−1−11−1−111−1−111111−1−1−1−11−11−1−11−1111−1−1−1−1111−1−11−111−1]
N_{m} 阶哈达马矩阵的通式可表示为
HNm=[h11h21⋮hNm1h12h22hNm2h13h23hNm3⋯⋯⋮⋯h1Nmh2NmhNmNm]
式中,
Nm=2m,m=1,2,3,…,hik∈(+1,−1)
用哈达马矩阵 $H_{N m} $ 的行 (或列)可以构成离散沃尔什函数
Wal[i,t] , 它们的对应关系如下:
Wal[i,t]=∑k=1Nmhikg(t−(k−1)Tc)g(t)={1,0≤t≤Tc0, others
沃尔什函数的基本性质
(1) 在半开区间 [0,1) 上正交, 即
∫01wal(i,t)wal(j,t)dt={1,0,i=ji=ji,j=0,1,2,⋯.
该性质为沃尔什函数基本性质中最重要的性质。
(2) 除
Wal(0,t) 外,其他
Wal(n,t) 在半开区间 [0,1) 上的均值为 0 .
(3) 两个沃尔什函数相乘仍为沃尔什函数,即
Wal(i,t)Wal(j,t)=Wal(kt)
这表示沃尔什函数对于乘法是自闭的。
(4) 沃尔什函数集是完备的, 即长度为
N 的离散沃尔什函数 (沃尔什序列)一共有
N 个。
(5) 沃尔什函数在同步时是完全正交的。
(6) 沃尔什函数在不同步时, 其自相关和互相关特性均不理想, 并随同步误差值的增大而快速恶化。
(7) 同长度不同编号的walsh函数的频带宽度不同。
参考文献:
- Proakis, John G., et al. Communication systems engineering. Vol. 2. New Jersey: Prentice Hall, 1994.
- Proakis, John G., et al. SOLUTIONS MANUAL Communication Systems Engineering. Vol. 2. New Jersey: Prentice Hall, 1994.
- 周炯槃. 通信原理(第3版)[M]. 北京:北京邮电大学出版社, 2008.
- 樊昌信, 曹丽娜. 通信原理(第7版) [M]. 北京:国防工业出版社, 2012.
评论(0)