欢迎光临散文网 会员登陆 & 注册

MIMO检测-基于马尔科夫随机场的置信传播算法-非LLR形式

2022-09-24 19:33 作者:乐吧的数学  | 我要投稿

MIMO 检测(MIMO detection),是根据接收天线接收到的数据,估计发射天线发送的数据。当然,这个问题的前提是信道系数已经知道。 我们假设信道是平坦衰落的,即发送的信号乘以一个复数增益,就是接收到的数据。

MIMO 检测有很多种方法,这个文档,我们想讲一下基于马尔科夫随机场(Markov Random Field, MRF) 的置信传播(Belief Propagration, BP)算法。

由于每个接收的天线都能接收到所有发射天线来的信号,因此,在接收到的每个信号,都可以给出每个发送符号的概率信息。因此,如果把每个发射信号都各看成一种需要估计的东西,那么这些估计之间是相互依赖的,这种依赖关系,是由接收天线得到的数据建立起来的。我们构造的马尔科夫随机场概率图模型中,是看不到接收到的信号的,是隐藏在后面的。例如,一个四根发射天线四根接收天线的系统如图一,对应的马尔科夫随机场如图二。

图一 MIMO 系统示意图


                                                                                          



图二  马尔科夫随机场概率图模型


                                                                              



我们来推导一下全概率公式,即全概率的后验概率
p(x%7Cy%2CH)


其中 x 是发送数据的列向量, y 是接收数据的列向量, H 是 Nr x Nt 的信道系数矩阵。若 n 是高斯白噪声信号构成的列向量,则:
y%20%3D%20Hx%20%2B%20n


那么

p(x%7Cy%2CH)%20%3D%20%5Cfrac%7Bp(x%2Cy%7CH)%7D%7Bp(y%7CH)%7D%20%3D%20%5Cfrac%7B1%7D%7Bp(y%7CH)%7Dp(x%7CH)p(y%7Cx%2CH)%20%20%5Cquad%20---%E5%85%AC%E5%BC%8F(0)


其中,因为 x 是与 H 无关的,且 x 各个元素的取值也是相互独立的,则:

p(x%7CH)%20%3D%20p(x)%20%3D%20%5Cprod_i%20p(x_i)


现在来推导一下 p(y%7Cx%2CH) :

给定 x 和 H 后,y 是一个均值为 Hx,协方差为 %5Csigma%5E2%20I_%7BN_r%7D 的 复高斯随机向量。



我们把 %20%5Cleft%20%5C%7Cy-Hx%5Cright%20%5C%7C%5E2 展开:

%5Cbegin%7Baligned%7D%0A%5Cleft%20%5C%7Cy-Hx%5Cright%20%5C%7C%5E2%20%26%20%3D%20(y-Hx)%5EH(y-Hx)%20%3D%20(y%5EH%20-%20x%5EHH%5EH)(y-Hx)%20%20%5C%5C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%26%3D%20y%5EH%20y%20-%20y%5EH%20Hx%20-%20x%5EH%20H%5EHy%20%2B%20x%5EH%20H%5EH%20Hx%20%20%20%5C%5C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%26%3D%20y%5EH%20y%20-%20(%5Ccolor%7Bred%7D%7B%20(x%5EH%20H%5EHy)%5EH%20%2B%20x%5EH%20H%5EHy%20%7D)%20%2B%20%20x%5EH%20H%5EH%20Hx%20%20%5C%5C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%26%3Dy%5EH%20y%20-%202%20%5CRe%5C%7Bx%5EH%20H%5EHy%5C%7D%20%2B%20%20x%5EH%20H%5EH%20Hx%20%20%5Cquad%20---%20%E5%85%AC%E5%BC%8F(2)%0A%5Cend%7Baligned%7D
其中 %5CRe 表示取实部的意思。

将公式 (2) 代入 公式 (1):
p(y%7Cx%2CH)%20%3D%20%5Cfrac%7B1%7D%7B%5Csqrt%7B2%20%5Cpi%7D%20%5Csigma%7D%0A%20%20%20%20%20%20%20%20e%5E%7B-%5Cfrac%7By%5EH%20y%7D%7B2%20%5Csigma%5E2%7D%7D%0A%20%20%20%20%20%20e%5E%7B%5Cfrac%7B%5CRe%5C%7Bx%5EH%20H%5EHy%5C%7D%20%7D%7B%20%5Csigma%5E2%7D%7D%0A%20%20%20%20%20%20e%5E%7B-%5Cfrac%7B%20x%5EH%20H%5EH%20Hx%7D%7B2%20%5Csigma%5E2%7D%7D%20%20%5Cquad%20%20---%20%E5%85%AC%E5%BC%8F(3)


因为接收信号 y 和噪声 都是已知的,因此,可以令:

%5Cbeta%20%3D%20%5Cfrac%7B1%7D%7B%5Csqrt%7B2%20%5Cpi%7D%20%5Csigma%7D%0A%20%20%20%20%20%20%20%20e%5E%7B-%5Cfrac%7By%5EH%20y%7D%7B2%20%5Csigma%5E2%7D%7D
则可以把公式 (3) 简写为:

p(y%7Cx%2CH)%20%3D%20%5Cbeta%20%20%20e%5E%7B%5Cfrac%7B%5CRe%5C%7Bx%5EH%20H%5EHy%5C%7D%20%7D%7B%20%5Csigma%5E2%7D%7D%0A%20%20%20%20%20%20e%5E%7B-%5Cfrac%7B%20x%5EH%20H%5EH%20Hx%7D%7B2%20%5Csigma%5E2%7D%7D%20%20%5Cquad%20%20---%20%E5%85%AC%E5%BC%8F(4)


根据矩阵乘法的一般推导公式(见附件),公式 (4) 可以展开为:

p(y%7Cx%2CH)%20%3D%20%5Cbeta'%20%20%20(%5Cprod_%7Bi%3Cj%7D%20e%5E%7B-x_i%20%5CRe(R_%7Bij%7D)x_j%7D)%20%20%20(%20%5Cprod_i%20e%5E%7Bx_i%20%5CRe(z_i)%7D)%20%20%5Cquad%20---%20%E5%85%AC%E5%BC%8F(5)
其中

R%20%3D%20%5Cfrac%7B1%7D%7B%5Csigma%5E2%7D%20H%5EH%20H%20%20%5C%5C%0Az%20%3D%20%5Cfrac%7B1%7D%7B%5Csigma%5E2%7D%20H%5EH%20y


另外需要注意,在矩阵展开时,又引入了一些常数,因此公式 (5) 中的常数与公式(4) 中的常数是不同的,因此,我加了一个撇号做标记,以示不同。

综合上面的推导,公式 (0) 可以写成:

%5Cbegin%7Baligned%7D%0Ap(x%7Cy%2CH)%20%26%3D%20%20%5Cfrac%7B1%7D%7Bp(y%7CH)%7Dp(x)%20%20%5Cbeta'%20%20%20(%5Cprod_%7Bi%3Cj%7D%20e%5E%7B-x_i%20%5CRe(R_%7Bij%7D)x_j%7D)%20%20%20(%20%5Cprod_i%20e%5E%7Bx_i%20%5CRe(z_i)%7D)%20%20%5C%5C%0A%20%26%3D%5Cbeta''%20%20%20(%5Cprod_%7Bi%3Cj%7D%20e%5E%7B-x_i%20%5CRe(R_%7Bij%7D)x_j%7D)%20%20%20(%20%5Cprod_i%20e%5E%7Bx_i%20%5CRe(z_i)%7D)%20%5Cprod_i%20p(x_i)%20%20%5Cquad%20---%E5%85%AC%E5%BC%8F(6)%0A%5Cend%7Baligned%7D
令:

%5Cbegin%7Baligned%7D%0A%5Cpsi_%7Bi%2Cj%7D(x_i%2Cx_j)%20%20%26%3D%20e%5E%7B-x_i%20%5CRe(R_%7Bij%7D)%20x_j%7D%20%20%5C%5C%0A%5Cphi_i(x_i)%20%26%20%3D%20e%5E%7Bx_i%20%5CRe(z_i)%20%7Dp(x_i)%0A%5Cend%7Baligned%7D


根据马尔科夫随机场概率模型的相关定理(此处需要补充细节),从 i 到 j 的消息为:

m%5Et_%7Bi-%3Ej%7D(x_j)%20%3C----%20%5Csum_%7Bx_i%7D%20%5Cphi_i(x_i)%20%5Cpsi_%7Bi%2Cj%7D(x_i%2Cx_j)%20%20%5Cprod_%7Bk%5Cin%20N(i)%20%5Csetminus%20j%7D%20m%5E%7Bt-1%7D_%7Bk-%3Ei%7D(x_i)%20%20%5Cquad%20---%E5%85%AC%E5%BC%8F(7)


公式(7) 中需要注意的是上标 t,这个表示迭代的轮次。第 t 轮的所有消息的计算,都是基于 t-1 轮的消息,要把所有消息都计算完毕之后, t-1 轮的消息才没有用了,t 轮的消息才变成 t+1 轮的输入。



则 最终关于变量 x_i 的概率信息(置信度)正比于:

b_i(x_i)%20%5Cpropto%20%5Cphi_i(x_i)%20%5Cprod_%7Bk%5Cin%20N(i)%20%7D%20m_%7Bk-%3Ei%7D(x_i)%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%5Cquad%20---%E5%85%AC%E5%BC%8F(8)


通过比较  b_i(x_i%3D1) 与 b_i(x_i%3D-1) 的大小 ,可以对 x_i 做判决。




代码(Matlab)


仿真的结果:


附录一:矩阵公式的推导

在文中从公式(4) 到公式(5),这里面有点跳跃,现在在这里详细证明一下。

x%5EH%20H%5EH%20Hx


首先,令 R%20%3D%20H%5EH%20H, 则我们需要分析的矩阵乘法是: x%5EH%20R%20x
我们先计算后两个相乘的部分:

%0ARx%20%3D%0A%5Cbegin%7Bbmatrix%7D%0A%20%5Csum_%7Bj%3D1%7D%5E%7BNt%7D%20R_%7B1j%7D%20x_j%5C%5C%0A%20%5Csum_%7Bj%3D1%7D%5E%7BNt%7D%20R_%7B2j%7D%20x_j%5C%5C%0A%20...%5C%5C%0A%20%5Csum_%7Bj%3D1%7D%5E%7BNt%7D%20R_%7BN_tj%7D%20x_j%0A%0A%5Cend%7Bbmatrix%7D



%0Ax%5EH%20Rx%20%3D%20x%5EH%20%5Cbegin%7Bbmatrix%7D%0A%20%5Csum_%7Bj%3D1%7D%5E%7BN_t%7D%20R_%7B1j%7D%20x_j%5C%5C%0A%20%5Csum_%7Bj%3D1%7D%5E%7BN_t%7D%20R_%7B2j%7D%20x_j%5C%5C%0A%20...%5C%5C%0A%20%5Csum_%7Bj%3D1%7D%5E%7BN_t%7D%20R_%7BN_tj%7D%20x_j%0A%0A%5Cend%7Bbmatrix%7D%20%3D%0A%5Bx_1%5E*%2C%20x_2%5E*%2C...%2Cx_%7BN_t%7D%5E*%5D%0A%5Cbegin%7Bbmatrix%7D%0A%20%5Csum_%7Bj%3D1%7D%5E%7BN_t%7D%20R_%7B1j%7D%20x_j%5C%5C%0A%20%5Csum_%7Bj%3D1%7D%5E%7BN_t%7D%20R_%7B2j%7D%20x_j%5C%5C%0A%20...%5C%5C%0A%20%5Csum_%7Bj%3D1%7D%5E%7BN_t%7D%20R_%7BN_tj%7D%20x_j%0A%0A%5Cend%7Bbmatrix%7D%0A%3D%0A%5Csum_%7Bi%3D1%7D%5E%7BN_t%7D%20x_i%5E*%20(%5Csum_%7Bj%3D1%7D%5E%7BN_t%7D%20R_%7Bij%7Dx_j)%20%3D%20%5Csum_%7Bi%3D1%2Cj%3D1%7D%5E%7BN_t%2CN_t%7D%20x_i%5E*%20R_%7Bij%7D%20x_j


信道系数矩阵 H 的自相关矩阵 R 中,主对角线上的元素都是实数,没有虚部。

又由于我们假定是 BPSK,只有 +1 和 -1 两种取值,所以在上面的求和公式中,i=j 的部分可以单独拿出来   (-1)*(-1) =1,    1*1 =1 :

%5Csum_%7Bi%3D1%2Cj%3D1%7D%5E%7BN_t%2CN_t%7D%20x_i%5E*%20R_%7Bij%7D%20x_j%20%3D%20%5Csum_%7Bi%3D1%7D%5E%7BN_t%7D%20x_i%5E*%20R_%7Bii%7D%20x_i%20%3D%20%5Csum_%7Bi%3D1%7D%5E%7BN_t%7D%20R_%7Bii%7D



这是与 x_i 无关的常量。



另外,当 i%20%5Cneq%20j 时,因为 R 矩阵有共轭转置就是其自身的特性,所以:

%5Cbegin%7Baligned%7D%0A%5Csum_%7Bi%3D1%2Cj%3D1%7D%5E%7BN_t%2CN_t%7D%20x_i%5E*%20R_%7Bij%7D%20x_j%20%26%3D%20%5Csum_%7Bi%3D1%7D%5E%7BN_t%7D%20R_%7Bii%7D%20%2B%20%5Csum_%7Bi%3D1%2Cj%3D1%2C%20i%5Cneq%20j%7D%5E%7BN_t%2CN_t%7D%20x_i%5E*%20R_%7Bij%7D%20x_j%20%20%5C%5C%0A%26%3D%20%5Csum_%7Bi%3D1%7D%5E%7BN_t%7D%20R_%7Bii%7D%20%2B%20%5Csum_%7Bi%3D1%2Cj%3D1%2C%20i%3Cj%7D%5E%7BN_t%2CN_t%7D%20(x_i%5E*%20R_%7Bij%7D%20x_j%20%2B%20x_j%5E*%20R_%7Bji%7D%20x_i)%20%5C%5C%0A%26%3D%20%5Csum_%7Bi%3D1%7D%5E%7BN_t%7D%20R_%7Bii%7D%20%2B%20%5Csum_%7Bi%3D1%2Cj%3D1%2C%20i%3Cj%7D%5E%7BN_t%2CN_t%7D%20(x_i%5E*%20R_%7Bij%7D%20x_j%20%2B%20(x_i%5E*%20R_%7Bji%7D%5E%7B%5Ccolor%7Bred%7D%7B*%7D%7D%20x_j)%5E*)%20%5C%5C%0A%26%3D%20%5Csum_%7Bi%3D1%7D%5E%7BN_t%7D%20R_%7Bii%7D%20%2B%20%5Csum_%7Bi%3D1%2Cj%3D1%2C%20i%3Cj%7D%5E%7BN_t%2CN_t%7D%20(x_i%5E*%20R_%7Bij%7D%20x_j%20%2B%20(x_i%5E*%20R_%7Bij%7D%20x_j)%5E*)%20%5C%5C%0A%0A%26%3D%5Csum_%7Bi%3D1%7D%5E%7BN_t%7D%20R_%7Bii%7D%20%2B%20%5Csum_%7Bi%3D1%2Cj%3D1%2C%20i%3Cj%7D%5E%7BN_t%2CN_t%7D%202%5CRe(x_i%5E*%20R_%7Bij%7D%20x_j)%20%5C%5C%0A%26%3D%5Csum_%7Bi%3D1%7D%5E%7BN_t%7D%20R_%7Bii%7D%20%2B%20%5Csum_%7Bi%3D1%2Cj%3D1%2C%20i%3Cj%7D%5E%7BN_t%2CN_t%7D%202%5CRe(x_i%20R_%7Bij%7D%20x_j)%20%5C%5C%0A%0A%5Cend%7Baligned%7D



珍惜环境,减少塑料垃圾进入河流海洋,谢谢了


MIMO检测-基于马尔科夫随机场的置信传播算法-非LLR形式的评论 (共 条)

分享到微博请遵守国家法律