Documentos de Académico
Documentos de Profesional
Documentos de Cultura
2 Contexte
3 PARAMTRES DU CODE
F est muni d'une distance qui drive du poids de Hamming. La distance entre deux points de F correspond au
nombre de coordonnes non nulles de la dirence entre
les deux points, dans la base canonique. Un code se dcrit
par trois paramtres, not [n, k, ], n est la longueur du
code, k la dimension du code et la distance minimale
entre deux mots du code. Enn, l'application d'encodage
est choisie linaire, le code est donc un sous-espace vectoriel.
des paramtres possibles pour un code de Hamming. Notons m la valeur de n - k. On dispose alors des galits :
Un code de Hamming est un code linaire, dont la distance minimale est gale trois. Ces notations sont utilises dans le reste de l'article.
Pour tout code de Hamming sur un corps ni de cardinal d, il existe un entier m suprieur ou gal deux,
tel que les paramtres du code soient :
1 + n.(d 1) = dm
n=
dm 1
d1
2.3
donc
Code parfait
dm 1 dm 1
d1 , d1
]
m, 3
La proprit correspond une condition ncessaire. Cependant, pour toute valeur de d et de m, la suite de l'article
dmontre qu'il existe un unique code de Hamming, une
Usuellement, on considre que le mot de code mis est
quivalence prs. La condition est donc aussi susante.
celui se trouvant le plus prs du mot reu, ce qui revient
supposer que le minimum de lettres a t modi. Ce
procd conduit une erreur de dcodage chaque fois que 3.2 Polynme numrateur des poids
l'erreur est suprieure la capacit corrective du code. La
question naturelle est celle de la valeur de t correspondant Article dtaill : Identit de Mac Williams.
au nombre maximum d'erreurs corrigibles.
Article dtaill : Code parfait.
Une interprtation gomtrique donne un lment de rponse. les boules fermes de rayon t centres sur les mots
de code doivent tre disjointes. La capacit de correction
d'un code correspond au plus grand entier t vriant cette
proprit, c'est aussi le plus grand entier strictement plus
petit que /2, ce qui donne une valeur gale un dans le
cas d'un code de Hamming. Elle permet de dnir une
premire majoration, appele borne de Hamming :
1 + n.(d 1) dnk
Il existe une conguration idale, correspondant au cas o
les boules fermes de rayon un et de centre les mots du
code forment une partition de l'espace F. Si la transmission ne produit jamais plus d'une altration, alors l'erreur
est corrigible. Il n'existe aucune redondance inutile, le
code est le plus compact possible pour garantir la correction certaine d'une erreur. Pour de tels codes, la majoration de la borne de Hamming est une galit. Ils sont
dits parfaits. Ce qui donne lieu la dnition suivante :
P [X] =
1
dm
(
(
1 + (d 1)X
)ndm1
1)X
)n
(
+ (dm 1) 1 + (d
)
m1
(1 X)d
3.1
Dtermination
4.1
Matrice de parit
3.4
Exemple : le cas binaire de longueur espace de dimension n - k ayant pour noyau exactement
quatre
le code :
p1
d1
d2
d4
p2
d3
p3
Approche linaire
4 APPROCHE LINAIRE
n'existe donc qu'une unique matrice de contrle possible 4.3 Cas binaire
pour ce cas, correspondant la suite des nombres de un
quinze en binaire. Si H est choisi de telle manire re- 4.3.1 Thorme d'existence
prsenter un code systmatique alors on obtient :
La mthode prcdente se gnralise pour tous les codes
H=
de Hamming binaires. Les paramtres du code recher0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 chs sont maintenant [2m - 1, 2m - m - 1, 3]. On peut citer
0 1 1 1 0 0 0 1 1 1 1 0 1 0 0comme exemple d'utilisation de code de cette nature, ce
Matrice gnratrice
(Idk )
H = (C Idnk ) H.G =
( k)
= 0nkk
(C Idnk ) Id
C
Ces deux raisons amnent en gnral ajouter une dernire somme de contrle validant la parit des 2m - 1 premires lettres du code. Une deuxime erreur est alors dEn remarquant que dans un corps binaire les oprations tecte, mme si elle ne peut tre corrige sans nouvelle
+ et - sont les mmes, on obtient :
transmission. 010 & 001 &
0
0
1
1
0
1
0
1
(
)
G = IdC11
0 0 1
1 1 0
1 1 0
0 1 1
1
0
1
0
avec
1
0
1
1
1
1
0
0
C=
1
1
0
1
1
1
1
0
1
1
1
1
Corps ni quelconque
5
4.4.1
Corps ni
( 7)
G = Id
avec C =
C
001 110 001 100 001 010
011 001 100 001 010 001
)
001
L'utilisation d'autres corps que binaires n'est pas une pr001
occupation uniquement thorique. Ils sont utiliss pour
corriger des eacements qui peuvent tre importants.
Ils sont utiliss par exemple pour la lecture des disques Le code est donc compos du message et deux contrles
compacts pouvant corriger jusqu' 4096 eacements de redondance cyclique permettant de corriger exacteconscutifs[7] .
ment une erreur.
Tous les corps nis possdent un cardinal de la forme pq
o p est un nombre premier. L'industrie utilise souvent la
valeur p gale deux. Le code est encore transmis sous
forme de bits, la table d'addition reste inchange, en revanche la multiplication n'est plus la mme. On obtient,
par exemple pour le corps F 8 huit lments la table suivante :
Une matrice de dimension 2x9 est associe une distance minimale gale trois si et seulement si chaque
vecteur colonne est choisi dans une classe de l'espace projectif de F 8 2 dirente. Chaque classe d'quivalence de
l'espace projectif contient sept lments (le cardinal du
corps moins un), et l'espace projectif est une partition de
l'espace des syndromes sans le vecteur nul, cest--dire
un ensemble de cardinal soixante trois. Il existe exactement neuf lments dans l'espace projectif, exactement
le nombre de colonnes dans la matrice de contrle. La
matrice de contrle est donc encore unique, l'ordre prs
et une homothtie prs pour chaque vecteur colonne.
On peut choisir par exemple :
001 100
100 001
H=
001
010
010
001
001
001
(
001 110
011 001
dm 1 dm 1
d1 , d1
]
m, 3
5 Code cyclique
Article dtaill : Code cyclique.
d R[X] < n
VOIR AUSSI
7 Voir aussi
(xn1 , xn2 , , x1 , x0 )
(xn2 , xn3 , , x0 , xn1 ) C
Soit [X] un polynme cyclotomique d'ordre n la dimension du code, et coecient dans F 2 . C'est un po7.2 Liens externes
lynme de degr m (cf l'article Polynme cyclotomique),
de plus :
Code Linaire par G. Zemor, universit Bordeaux I
L'idal C engendr par n[X] est un code cyclique
de longueur k = n - m.
Il possde la bonne distance minimale :
L'idal C engendr par n[X] possde une distance
minimale gale trois.
Ce code cyclique est donc un code binaire de Hamming et
tout code binaire de Hamming admet une reprsentation
cyclique.
Les dmonstrations se trouvent dans l'article associ.
Notes et rfrences
8.1
Texte
8.2
Images
8.3
Licence du contenu