📄 rs.ps
字号:
0 -4 rm.68(k)A0 4 rmf93 sf2.082 .208(\), o\235 k est le nombre de bits par symbole. Soit )J47 162 :M1.781 .178(i\(x\) = c)Jf148 sf0 2 rm.675(m-1)A0 -2 rm.297 .03( )Jf93 sf1.337 .134(. x)Jf148 sf0 -3 rm.675(m-1)A0 3 rmf93 sf1.19 .119( + ... + c)Jf148 sf0 2 rm.654(1)A0 -2 rm.297 .03( )Jf93 sf1.337 .134(. x)Jf148 sf0 -3 rm.654(1)A0 3 rmf93 sf1.125 .113( + c)Jf148 sf0 2 rm(0)S0 -2 rm47 202 :Mf93 sf4.827 .483(le polyn\231me d\325information, et soit)J47 240 :M2.185 .219(p\(x\) = c)Jf148 sf0 2 rm.56(2t-1)A0 -2 rm.328 .033( )Jf93 sf1.478 .148(. x)Jf148 sf0 -3 rm.56(2t-1)A0 3 rmf93 sf1.315 .132( + ... + c)Jf148 sf0 2 rm.723(1)A0 -2 rm.328 .033( )Jf93 sf1.478 .148(. x)Jf148 sf0 -3 rm.723(1)A0 3 rmf93 sf1.244 .124( + c)Jf148 sf0 2 rm(0)S0 -2 rm47 280 :Mf93 sf3.173 .317(le polyn\231me de contr\231le, le code de Reed-Solomon sous sa forme )J47 299 :M4.973 .497(polyn\231miale sera alors)J47 337 :M1.809 .181(c\(x\) = i\(x\) . x)Jf148 sf0 -3 rm.536(2t)A0 3 rmf93 sf1.589 .159( + p\(x\) = c)Jf148 sf0 2 rm.619(n-1)A0 -2 rm.325 .032( )Jf93 sf1.462 .146(. x)Jf148 sf0 -3 rm.619(n-1)A0 3 rmf93 sf1.301 .13( + ... + c)Jf148 sf0 2 rm.715(1)A0 -2 rm.325 .032( )Jf93 sf1.462 .146(. x)Jf148 sf0 -3 rm.715(1)A0 3 rmf93 sf1.23 .123( + c)Jf148 sf0 2 rm(0)S0 -2 rm47 379 :Mf93 sf2.43 .243(avec c)Jf148 sf0 2 rm.213(i)A0 -2 rmf93 sf2.471 .247( appartenant \210 GF\(2)Jf187 sf0 -4 rm.577(k)A0 4 rmf93 sf1.742 .174(\) pour i = 0,..,n-1.)J47 419 :M4.028 .403(Un vecteur \210 n symboles, \(c)Jf148 sf0 2 rm.861(n-1)A0 -2 rmf93 sf2.186 .219(, ..., c)Jf148 sf0 2 rm.994(1)A0 -2 rmf93 sf1.265 .126(, )J335 419 :M1.395(c)Af148 sf0 2 rm1.108(0)A0 -2 rmf93 sf3.996 .4(\) est un code de Reed-)J47 440 :M3.981 .398(Solomon si et seulement si son polyn\231me correspondant c\(x\) est )J47 459 :M5.133 .513(un multiple du polyn\231me g\216n\216rateur g\(x\). La m\216thode courante )J47 478 :M4.349 .435(pour construire un tel polyn\231me, est de diviser )J405 478 :M3.061 .306(i\(x\) . x)Jf148 sf0 -3 rm1.924 .192(2t )J0 3 rmf93 sf2.695 .269(par g\(x\) )J47 497 :M3.389 .339(et d\325additionner le reste \210 c\(x\). En effet,)J47 535 :M2.26 .226(i\(x\) . x)Jf148 sf0 -3 rm.693(2t)A0 3 rmf93 sf2.342 .234( = q\(x\) . g\(x\) + r\(x\))J47 573 :M3.075 .308(o\235 r\(x\) est le reste de la division de i\(x\) par g\(x\),)J47 611 :M2.2 .22(c\(x\) = i\(x\) . x)Jf148 sf0 -3 rm.652(2t)A0 3 rmf93 sf2.236 .224( + p\(x\) = q\(x\) . g\(x\) + r\(x\) + p\(x\) = q\(x\) . g\(x\))J47 649 :M2.757 .276(pour que c\(x\) soit un multiple de g\(x\), soit c\(x\) = q\(x\) . g\(x\), il faut )J47 668 :M5.04 .504(que p\(x\) = r\(x\). Comme on travaille toujours sur des corps de )J47 687 :M4.681 .468(caract\216ristique 2, l\325op\216ration de soustraction sera toujours \216gale )J47 706 :M3.636 .364(\210 l\325op\216ration d\325addition, soit de mani\217re alg\216brique -1 = +1.)JgRgS 47 761 481 13 rCgRgS 11 725 553 49 rC261 771 :Mf135 sf.413 .041(Page )Jf148 sf(8)SgRendpshowpage%%Page: 9 9%%BeginPageSetupinitializepage(Benjamin Barras; page: 9 of 24)setjob%%EndPageSetupgS 0 0 576 820 rC47 46 481 728 rC47 46 481 714 rCgRgS 11 10 553 750 rC47 60 :Mf93 sf5.191 .519(Cela nous donne une m\216thode pour construire le polyn\231me de )J47 79 :M4.25 .425(contr\231le, il suffit de prendre le reste de la division du polyn\231me )J47 98 :M2.056 .206(i\(x\) . x)Jf148 sf0 -3 rm.63(2t)A0 3 rmf93 sf2.918 .292( par g\(x\).)J47 136 :M4.148 .415(Il nous reste encore \210 construire le polyn\231me g\216n\216rateur g\(x\). Il )J47 155 :M3.277 .328(est d\216finit de la mani\217re suivante :)J47 195 :M1.587 .159(g\(x\) = \(x + )Jf221 sf1.036(a)Af93 sf1.514 .151(\)\(x + )Jf221 sf1.036(a)Af187 sf0 -4 rm.814(2)A0 4 rmf93 sf1.848 .185(\)...\(x + )Jf221 sf1.036(a)Af187 sf0 -4 rm.61(2t)A0 4 rmf93 sf1.347 .135(\) = x)Jf148 sf0 -3 rm.509(2t)A0 3 rmf93 sf1.207 .121( + g)Jf148 sf0 2 rm1.627 .163(2t-1 )J0 -2 rmf93 sf1.387 .139(. x)Jf148 sf0 -3 rm.525(2t-1)A0 3 rmf93 sf1.253 .125( + ... + g)Jf148 sf0 2 rm.847 .085(1 )J0 -2 rmf93 sf1.387 .139(. x)Jf148 sf0 -3 rm.678(1)A0 3 rmf93 sf1.207 .121( + g)Jf148 sf0 2 rm(0)S0 -2 rm47 237 :Mf93 sf3.886 .389(o\235 les coefficients g)Jf187 sf0 3 rm.429(i)A0 -3 rmf93 sf4.329 .433( appartiennent \210 GF\(2)Jf187 sf0 -4 rm.967(k)A0 4 rmf93 sf1.736 .174(\), et )Jf221 sf1.369(a)Af93 sf2.919 .292( est un \216l\216ment )J47 261 :M4.003 .4(primitif de GF\(2)Jf187 sf0 -4 rm.897(k)A0 4 rmf93 sf1.278(\).)AgRgS 47 761 481 13 rCgRgS 11 725 553 49 rC261 771 :Mf135 sf.413 .041(Page )Jf148 sf(9)SgRendpshowpage%%Page: 10 10%%BeginPageSetupinitializepage(Benjamin Barras; page: 10 of 24)setjob%%EndPageSetupgS 0 0 576 820 rC47 46 481 728 rC47 46 481 714 rCgRgS 11 10 553 750 rC47 65 :Mf161 sf5.37 .537(3.1 )Jf174 sf24 u174 :p214.146 :m9.97 .997(Exemple de codage)J95 103 :Mf93 sf2.905 .291(Soit le code RS\(4,3\), avec n = 15, et soit un polyn\231me P\(x\) )J47 124 :M3.84 .384(irr\216ductible sur F2, avec P\(x\) = x)Jf187 sf0 -4 rm1.193(4)A0 4 rmf93 sf1.711 .171( + x)Jf187 sf0 -4 rm1.193(3)A0 4 rmf93 sf2.087 .209( + 1. Soit )Jf221 sf1.519(a)Af93 sf3.066 .307( une racine de )J47 143 :M4.704 .47(P\(x\), qui est \216galement un \216l\216ment primitif, et sera utilis\216 pour )J47 164 :M7.308 .731(construire GF\(16\). La base utilis\216e sera alors {)Jf221 sf2.538(a)Af187 sf0 -4 rm1.993(3)A0 4 rmf93 sf1.162(,)Af221 sf2.538(a)Af187 sf0 -4 rm1.993(2)A0 4 rmf93 sf1.162(,)Af221 sf2.538(a)Af93 sf3.861 .386(,1} = )J47 183 :M6.673 .667({8,4,2,1}, il y aura donc 16 symboles, qui vont de 0 \210 15. )J47 202 :M8.29 .829(Maintenant, on d\216sire coder les 9 symboles d\325informations )J47 221 :M3.427 .343(suivants :)J47 259 :M1.172 .117(i = [9, 8, 7, 6, 5, 4, 3, 2, 1] \(matrice 1 x 9\) )J47 297 :M3.752 .375(soit sous forme polyn\231miale :)J47 335 :M2.21 .221(i\(x\) = 9x)Jf148 sf0 -3 rm.71(8)A0 3 rmf93 sf1.571 .157( + 8x)Jf148 sf0 -3 rm.71(7)A0 3 rmf93 sf1.571 .157( + 7x)Jf148 sf0 -3 rm.71(6)A0 3 rmf93 sf1.571 .157( + 6x)Jf148 sf0 -3 rm.71(5)A0 3 rmf93 sf1.571 .157( + 5x)Jf148 sf0 -3 rm.71(4)A0 3 rmf93 sf1.571 .157( + 4x)Jf148 sf0 -3 rm.71(3)A0 3 rmf93 sf1.571 .157( + 3x)Jf148 sf0 -3 rm.71(2)A0 3 rmf93 sf1.45 .145( + 2x + 1)J47 373 :M1.645(g\(x\))A83 373 :M(=)S103 373 :M2.078 .208(\(x + 2\)\(x + 4\)\(x + 8\)\(x + 9\)\(x + 11\)\(x + 15\))J83 392 :M(=)S103 392 :M.802(x)Af148 sf0 -3 rm.637(6)A0 3 rmf93 sf1.408 .141( + 3x)Jf148 sf0 -3 rm.637(5)A0 3 rmf93 sf1.095 .11( + x)Jf148 sf0 -3 rm.637(4)A0 3 rmf93 sf1.408 .141( + 4x)Jf148 sf0 -3 rm.637(3)A0 3 rmf93 sf1.408 .141( + 7x)Jf148 sf0 -3 rm.637(2)A0 3 rmf93 sf1.604 .16( + 13x + 15)J47 430 :M1.583(c\(x\))A83 430 :M(=)S103 430 :M2.912 .291(q\(x\) . g\(x\))J83 449 :M(=)S103 449 :M.764(\(9x)Af148 sf0 -3 rm.655(8)A0 3 rmf93 sf1.746 .175( + 10x)Jf148 sf0 -3 rm.655(7)A0 3 rmf93 sf1.449 .145( + 9x)Jf148 sf0 -3 rm.655(6)A0 3 rmf93 sf1.127 .113( + x)Jf148 sf0 -3 rm.655(5)A0 3 rmf93 sf1.127 .113( + x)Jf148 sf0 -3 rm.655(4)A0 3 rmf93 sf1.746 .175( + 12x)Jf148 sf0 -3 rm.655(3)A0 3 rmf93 sf1.449 .145( + 3x)Jf148 sf0 -3 rm.655(2)A0 3 rmf93 sf1.572 .157( + 11x + 4\) . g\(x\))J83 468 :M(=)S103 468 :M2.379 .238(i\(x\) . x)Jf148 sf0 -3 rm.729(2t)A0 3 rmf93 sf1.929 .193( + r\(x\) )J83 487 :M(=)S103 487 :M1.651 .165(i\(x\) . x)Jf148 sf0 -3 rm.506(2t)A0 3 rmf93 sf1.492 .149( + 6x)Jf148 sf0 -3 rm.675(5)A0 3 rmf93 sf1.798 .18( + 15x)Jf148 sf0 -3 rm.675(4)A0 3 rmf93 sf1.798 .18( + 15x)Jf148 sf0 -3 rm.675(3)A0 3 rmf93 sf1.798 .18( + 15x)Jf148 sf0 -3 rm.675(2)A0 3 rmf93 sf1.7 .17( + 11x + 14)JgRgS 47 761 481 13 rCgRgS 11 725 553 49 rC257 771 :Mf135 sf.898 .09(Page )Jf148 sf.637(10)AgRendpshowpage%%Page: 11 11%%BeginPageSetupinitializepage(Benjamin Barras; page: 11 of 24)setjob%%EndPageSetupgS 0 0 576 820 rC47 46 481 728 rC47 46 481 714 rCgRgS 11 10 553 750 rC47 65 :Mf161 sf4.158 .416(4. )Jf174 sf24 u174 :p259.492 :m11.494 1.149(Technique de d\216codage)J95 103 :Mf93 sf4.005 .4(Consid\216rons un code de Reed-Solomon c\(x\) correspondant )J47 122 :M4.744 .474(au code transmis, et soit d\(x\) le code que l\325on re\215oit. Le code )J47 141 :M5.176 .518(d\325erreur est d\216finit par)J47 179 :M2.936 .294(e\(x\) = d\(x\) - c\(x\) = d\(x\) + c\(x\))J47 219 :M2.415 .241(car - et + sont \216quivalent dans GF\(2)Jf187 sf0 -4 rm.687(k)A0 4 rmf93 sf.978(\).)A47 257 :M3.871 .387(La premi\217re op\216ration a faire, est de calculer les syndromes, qui )J47 276 :M3 .3(sont d\216finis de la mani\217re suivante :)J47 316 :M1.203(S)A0 3 rm.4(i)A0 -3 rm1.463 .146( = e\()Jf221 sf1.094(a)Af187 sf0 -4 rm.343(i)A0 4 rmf93 sf1.638 .164(\) = d\()Jf221 sf1.094(a)Af187 sf0 -4 rm.343(i)A0 4 rmf93 sf1.599 .16(\) + c\()Jf221 sf1.094(a)Af187 sf0 -4 rm.343(i)A0 4 rmf93 sf1.638 .164(\) = d\()Jf221 sf1.094(a)Af187 sf0 -4 rm.343(i)A0 4 rmf93 sf1.281 .128(\) avec i = 1, ..., 2t)J47 361 :M3.835 .383(car c\()Jf221 sf1.489(a)Af187 sf0 -4 rm.467(i)A0 4 rmf93 sf2.229 .223(\) = q\()Jf221 sf1.489(a)Af187 sf0 -4 rm.467(i)A0 4 rmf93 sf1.94 .194(\) . g\()Jf221 sf1.489(a)Af187 sf0 -4 rm.467(i)A0 4 rmf93 sf3.113 .311(\) = 0 puisque g\()J325 361 :Mf221 sf1.565(a)Af187 sf0 -4 rm.491(i)A0 4 rmf93 sf2.256 .226(\) = 0 pour i = 1, ..., 2t par )J47 380 :M3.701 .37(d\216finition de g\(x\). Le syndrome sous forme polyn\231miale sera)J47 418 :M1.976 .198(s\(x\) =)Jf187 sf.271 .027( )Jf93 sf.834(S)Af148 sf0 2 rm.596 .06(2t . )J0 -2 rmf93 sf.626(x)Af148 sf0 -3 rm.385(2t-1)A0 3 rmf93 sf.832 .083( + ... + S)Jf148 sf0 2 rm.517 .052(3 . )J0 -2 rmf93 sf.626(x)Af148 sf0 -3 rm.497(2)A0 3 rmf93 sf.942 .094( + S)Jf148 sf0 2 rm.621 .062(2 )J0 -2 rmf93 sf.968 .097(. x + S)Jf148 sf0 2 rm(1)S0 -2 rm47 458 :Mf93 sf3.996 .4(Soit M l\325ensemble des positions d\325erreurs, on d\216finit le polyn\231me )J47 477 :M5.02 .502(de localisation \(locator polynomial\) par)J47 517 :M1.067 .107(l\(x\) = \(1 - )Jf221 sf.782(a)Af187 sf0 -4 rm.614(p1)A0 4 rmf93 sf1.329 .133(.x\)\(1 - )Jf221 sf.782(a)Af187 sf0 -4 rm.614(p2)A0 4 rmf93 sf1.04 .104(.x\) ... \(1 - )Jf221 sf.782(a)Af187 sf0 -4 rm.43(pj)A0 4 rmf93 sf1.217 .122(.x\) avec p1, ..., pj dans M)J47 557 :M1.516 .152(Si b = )Jf221 sf1.189(a)Af187 sf0 -4 rm.373(i)A0 4 rmf93 sf2.398 .24( est une racine de l\(x\), donc l\(b\) = 0, on aura alors un des )J47 578 :M4.407 .441(mon\231me qui s\325annule, soit \(1 - )Jf221 sf1.78(a)Af187 sf0 -4 rm1.398(p)A0 4 rmf93 sf3.538 .354(.b\) = 0. Ce qui nous donne la )J47 599 :M4.376 .438(relation suivante b = )Jf221 sf2.033(a)Af187 sf0 -4 rm1.277(-p)A0 4 rmf93 sf1.661 .166( = )Jf221 sf2.033(a)Af187 sf0 -4 rm1.384(q-1)A0 4 rmf93 sf.931(.)Af221 sf2.033(a)Af187 sf0 -4 rm1.277(-p)A0 4 rmf93 sf1.661 .166( = )Jf221 sf2.033(a)Af187 sf0 -4 rm1.341(q-p-1)A0 4 rm.726 .073( )Jf93 sf2.407 .241(= )Jf221 sf2.033(a)Af187 sf0 -4 rm.638(i)A0 4 rm1.462 .146( \()Jf221 sf2.033(a)Af187 sf0 -4 rm1.384(q-1)A0 4 rmf93 sf2.368 .237( = 1)Jf187 sf.956<29>Af93 sf2.251 .225(, la )J47 618 :M3.901 .39(position de l\325erreur sera alors donn\216 par p = q-1-i qui est positif )J47 639 :M4.109 .411(et que l\325on connait, puisque l\325on connait b = )Jf221 sf1.74(a)Af187 sf0 -4 rm.546(i)A0 4 rmf93 sf3.142 .314(, racine de l\(x\). Il )J47 658 :M2.756 .276(nous faudra donc chercher toutes les racines de l\(x\). Il ne faut pas )J47 677 :M5.143 .514(oublier que )J140 677 :Mf221 sf2.341(a)Af93 sf5.435 .543( est un \216l\216ment primitif, et que tout \216l\216ment de )J47 701 :M1.129(GF\(2)Af187 sf0 -4 rm.85(k)A0 4 rmf93 sf.66<29>A0 -4 rm.771(*)A0 4 rm3.492 .349( s\325exprime comme une puissance de l\325\216l\216ment primitif, qui )J47 725 :M2.822 .282(est un g\216n\216rateur du groupe GF\(2)Jf187 sf0 -4 rm
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -