试卷头(2015编码和信息论)答案解析.docxVIP

院、系领导审批并签名A 卷广州大学2014-2015学年第2学期考试卷课程信息论与编码理论2考试形式（闭卷，考试）学院系专业班级学号姓名_题次一二三四五六七八九十总分评卷人分数151520102020评分一：（15分）证明二元线性码的最小Hamming距离等于线性码的最小Hamming重量。证明：网上答案：根据线性分组码的封闭性可知，任意两个码字的和仍为码中的码字。根据码字之间的距离的定义，两个码字和的非零符号的个数即为它们之间的距离，而两个码字和的非零符号的个数又是新码字的重量。所以，线性分组码的最小距离必为它的非零码字的最小重量。下面这个是林鑫杰的做法，使用反证法去证明~你们觉得哪个顺眼就用哪个~二：（15分）假设二元线性码的最小Hamming距离为d，证明其纠错能力t≤(d-1)/2。下面这个也是林鑫杰的做法~对于证明题真的是hold 不住。。。建议把它理解后背下来。鑫杰别打我！偷偷拍了之后放上来的。三：（20分）设一个[7,4,3]线性码的标准形生成矩阵为求：（1）校验矩阵H;（2）1111111, 0101010, 1010101的译码。解：（1）PPT6上有一个定理6.8 ：对于一个q元[n,k]线性码C,如果生成矩阵为标准型G=(Ik|A),则其校验矩阵为H=(-AT|In-k)[7,4,3]分别代表n,k,d，即n=7，k=4，d=3。那么G=(Ik|A)就等于G=(I4|A)，I代表着单位矩阵，就是对角线(左上到右下)全是1。看到题目中G的形式应该就是左边那四列，即那么A就是右边那三列型如(Ik|A)的生成矩阵为标准型生成矩阵，如果题目给的并不是标准型的生成矩阵，那么就通过行列变换得到标准型，记得左边一定要是单位矩阵哦~那么问题来了，题目要我们求得校验矩阵是什么东西呢。再看看上面的红字定理吧！对于一个q元[n,k]线性码C,如果生成矩阵为标准型G=(Ik|A),则其校验矩阵为H=(-AT|In-k)H=(-AT|In-k)那么问题来了AT是什么鬼，就是把A倒过来，即转置过来就行啦，但是并不是整个矩阵形式化地倒过来，而是第一列变为第一行，第二列变为第二行，下面就是结果啦！再不懂的话就直接看高代书了哼╭(╯^╰)╮那么问题来了，In-k是什么，就是前面说的单位矩阵呀宝宝，n-k=7-4=3，所以就是I3三行三列的单位矩阵那个负号就不用管它了，因为q是2所以是二元的，有负号跟没有负号是一样的，如果是三元域的话就是1加上负号就变成了2，2加上负号之后就变成1，你们只需要这么记就可以了。回到正题，所以题目要我们求的校验矩阵H就是把AT和In-k结合在一起就可以啦!ATI3[负号不管]第一小问就这样轻松地解决啦！第二小问要看6PPT上面最后一张PPT根据PPT第一步，先设y1=1111111,y2= 0101010,y3= 1010101然后再求伴随式s(y)，那么问题来了，怎么求？再看一下倒数第二张PPT原来如此！那么就是说把每个yi乘上H的转置HT就可以得到s(yi)啦！而且H之前已经求出来啦HT就是把H行变成列就行啦！还是不懂就去看前面！具体步骤如下：s(y1)求法：y1=1111111 s(y2)求法：y2=0101010s(y3)求法：y3=1010101矩阵的相乘就是行与列乘乘乘加起来就是一个元素啦。乘法还是不懂的话去看看高代书的矩阵相乘或者百度一下矩阵相乘怎么乘，也可以问萌萌哒窝o(*￣︶￣*)o这里的1+1是等于0.你就这样记就行，因为是在mod2的基础上。好了，做到这里之后发现是伴随式跟标准阵结合的方法，那为什么直接用标准阵的方法呢。所以如果你记不了那么多就只写到s(yi)已经拿到80%的分数了。[其实是我不想继续写了哈哈，因为跟下面的伴随式译码解法有点重复，等下我会在下面详细说明]好吧，我又发现了一个纯伴随式译码方法，炒鸡简单，那么就继续做下去吧宝宝！上面求出s(y1)后，发现是全1，所以我们就可以把它译为全1码字。上面求出s(y2)后，再找一个码字跟HT乘起来之后会跟s(y2)相同的。这里我们找到一个码字是(1111001)，所以就把它译成(1111001)。完毕！接下来用纯标准阵译码法来再做一遍：先求出二元线性码作为标准阵的第一行V(k,q)=V(4,2) V(4,2)={0000,0001,0010,0100,1000,0011,0110,1100,1001,1010,0101,1110,1101,1011,0111,1111}C={uG|V(4,2)}也就是说把u在里面遍历一遍，每次在V(4,2)取一个值例如0000乘上G，然后把16个全部放在标准阵第一行，然后.....要每一行都去找前面没有的码字加上第一行得到下面那一行，最后得到标准阵用这个阵去译码。但是这道题对于这种方法太麻烦了。所以我