线性分组码的编码.ppt

* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 上式表明：如果接收字 R 中错误个数 t’≤t，那么接收字 R 和发送字 V 间距离≤t ，而与其它任何码字间距离都大于 t，按最小距离译码把R译为V。此时译码正确，码字中的错误被纠正。 几何意义： 6.2.5 线性分组码的最小距离、检错和纠错能力 6.2线性分组码 * * 最小距离与检错能力：(n,k) 线性码能够发现 l 个错误的充要条件是码的最小距离为 dmin=l+1 或 l=dmin－1 (6.2.19) [证明]： 设：发送的码字为 V；接收的码字为 R；U 为任意其它码字； 则：矢量V、R、U间满足距离的三角不等式， d(R,V)+d(R,U)≥d(U,V) (6.2.20) 设：信道干扰使码字中码元发生错误的实际个数为 l’，且l’≤l d(R,V)＝l’≤l (6.2.21) 由于d(U,V)≥dmin=l+1，代入式(6.2.20)得 d(R,U)≥ d(U,V)－d(R,V)=l+1－l’0 (6.2.22) 6.2.5 线性分组码的最小距离、检错和纠错能力 6.2线性分组码 * * 上式表明：由于接收字 R 与其它任何码字 U 的距离都大于0，则说明接收字 R 不会因发生 l’ 个错误变为其它码字，因而必能发现错误。 几何意义： 6.2.5 线性分组码的最小距离、检错和纠错能力 6.2线性分组码 * * 最小距离与检、纠错能力：(n,k) 线性码能纠 t 个错误，并能发现 l 个错误 (lt) 的充要条件是码的最小距离为 dmin=t+l+1 或 t+l=dmin－1 (6.2.23) [证明]：因为dmin2t+1，根据最小距离与纠错能力定理，该码可纠 t 个错误。 因为dminl+1，根据最小距离与检错能力定理，该码有检 l 个错误的能力。 纠错和检错不会发生混淆：设发送码字为 V，接收字为 R，实际错误数为 l’，且 tl’≤l。 这时 R 与其它任何码字 U 的距离 d(R,U)≥d(U,V)－d(R,V)=t+l+1－l’t+1t (6.2.24) 因而不会把 R 误纠为 U。 6.2.5 线性分组码的最小距离、检错和纠错能力 6.2线性分组码 * * 几何意义： 6.2.5 线性分组码的最小距离、检错和纠错能力 6.2线性分组码 * * 6.2.5 线性分组码的最小距离、检错和纠错能力 6.2线性分组码 * * 当 (n,k) 线性码的最小距离 dmin 给定后，可按实际需要灵活安排纠错的数目。例如，对 dmin=8 的码，可用来纠3检4错，或纠2检5错，或纠1检6错，或者只用于检7个错误。 6.2.5 线性分组码的最小距离、检错和纠错能力 6.2线性分组码 * * (3) 线性码的最小距离与监督矩阵的关系 定理6.2.2：设 H 为 (n,k) 线性码的一致监督矩阵，若 H 中任意 S 列线性无关，而 H 中存在 (S+1) 列线性相关，则码的最小距离为 (S+1)。（矩阵 H 的秩为S） 定理6.2.3：若码的最小距离为 (S+1)，则该码的监督矩阵的任意 S 列线性无关，而必存在有相关的 (S+1)列。 定理6.2.4：在二元线性码的监督矩阵 H 中，如果任一列都不是全“0”，且任两列都不相等，则该码能纠一个错误。 6.2.5 线性分组码的最小距离、检错和纠错能力 6.2线性分组码 * * (1) 伴随式和错误检测 ① 用监督矩阵编码，也用监督矩阵译码：接收到一个接收字 R 后，校验 H?RT=0T 是否成立： 若关系成立，则认为 R 是一个码字； 否则判为码字在传输中发生了错误； H?RT的值是否为0是校验码字出错与否的依据。 ② 伴随式/监督子/校验子：S=R?HT或ST=H?RT。 ③ 如何纠错？ 设发送码矢 C=(Cn－1,Cn－2,…,C0