Académique Documents
Professionnel Documents
Culture Documents
Alexandra Bruasse-Bac
Codes cycliques
Un code cyclique est :
Codes cycliques
Un code cyclique est :
Reprsentation polynomiale :
m = (a0 , . . . , an1 )
reprsent par
(m) = a0 + a1 X + + an1 X n1
Codes cycliques
Un code cyclique est :
Reprsentation polynomiale :
m = (a0 , . . . , an1 )
reprsent par
(m) = a0 + a1 X + + an1 X n1
Codes cycliques
Codes cycliques
Si P0 (X) = a0 + a1 X + + at X t ,
0 0 a0 a1 a2 a t 0 a 0 a1 a2 a t 0 0 . . . .. ... ... ... ... ... ... . G= . . . 0 0 a 0 a1 a2 a t 0 0 0 a 0 a1 a2 a t
Codes cycliques
Si P0 (X) = a0 + a1 X + + at X t ,
0 0 a0 a1 a2 a t 0 a 0 a1 a2 a t 0 0 . . . .. ... ... ... ... ... ... . G= . . . 0 0 a 0 a1 a2 a t 0 0 0 a 0 a1 a2 a t
Base de (C) :
P0 , X P0 , . . . X nt1 P0
Codes cycliques
Si P0 (X) = a0 + a1 X + + at X t ,
0 0 a0 a1 a2 a t 0 a 0 a1 a2 a t 0 0 . . . .. ... ... ... ... ... ... . G= . . . 0 0 a 0 a1 a2 a t 0 0 0 a 0 a1 a2 a t
Base de (C) :
P0 , X P0 , . . . X nt1 P0
C de dimension k = n t
Codes cycliques
Codage
Kk1 [X] Kn1 [X] P P P0
Codes cycliques
Comme P0 | X n 1 :
P0 Q = X n 1
Codes cycliques
Comme P0 | X n 1 :
P0 Q = X n 1
Si Q = b0 + b1 X + + bk X k
bk bk1 bk2 b0 0 b0 0 bk bk1 bk2 0 . . .. ... ... ... ... ... H= . . 0 0 bk bk1 bk2 0 0 bk bk1 bk2 0 0 ... . . . b0 0 b0
Codes cycliques
Codes cycliques
Codes cycliques
Codes BCH
Thorme des codes BCH
C code cyclique sur Fq :
pgcd(n, q) = 1,
Codes BCH
Thorme des codes BCH
C code cyclique sur Fq :
pgcd(n, q) = 1,
Codes BCH
Codes BCH
Code BCH
Codes BCH
Code BCH
Un code de Reed-Solomon est un code BCH de longueur 2m 1 sur F2m . On a L = F2m (soit lment primitif de L) :
P0 (X) = (X i )(X i+1 ) (X i+r1 )
Un code de Reed-Solomon est un code BCH de longueur 2m 1 sur F2m . On a L = F2m (soit lment primitif de L) :
P0 (X) = (X i )(X i+1 ) (X i+r1 )
distance minimale : r + 1
d=nk+1
d=nk+1
Codes maximaux
Entrelacement simple :
mot
Entrelacement simple :
mot
[32, 28, 5]
[32, 28, 5]
Codage Minitel
Codage Minitel
Codage Minitel
Transmission dimages noire et blanc : Reed-Muller [32, 6, 16] Assez efcaces sur des mots courts Codage/Dcodages efcaces
Transmission dimages noire et blanc : Reed-Muller [32, 6, 16] Assez efcaces sur des mots courts Codage/Dcodages efcaces Images complexes : Reed-Solomon [255, 223, 33] plus compression
Le systme CDPD
Le systme CDPD
Les erreurs de transmission (base-mobile) ne sont pas acceptables Reed-Solomon sur code compress
supports assez ables mots courts ncessitant des taux bas (ajout de peu de bits)
supports assez ables mots courts ncessitant des taux bas (ajout de peu de bits)
Exemples :
mmoire DRAM (ECC : correction et dtection) disques durs bus SCSI, RAID
codes de Goppa (codes elliptiques) turbo codes (combinaison de plusieurs codes) codes de Golay (Hamming amliors)
codes de Goppa (codes elliptiques) turbo codes (combinaison de plusieurs codes) codes de Golay (Hamming amliors)
Cependant de nombreuses transmissions nutilisent pas de correction Sil est facile de retransmettre :
codes de Goppa (codes elliptiques) turbo codes (combinaison de plusieurs codes) codes de Golay (Hamming amliors)
Cependant de nombreuses transmissions nutilisent pas de correction Sil est facile de retransmettre : detection retransmission si ncessaire
Checksum et CRC
But : dtection derreurs retransmission plus simple que correction
Checksum et CRC
But : dtection derreurs retransmission plus simple que correction Checksum : somme des bits du message modulo 256
Checksum et CRC
But : dtection derreurs retransmission plus simple que correction Checksum : somme des bits du message modulo 256
augmenter la complexit
Checksum et CRC
But : dtection derreurs retransmission plus simple que correction Checksum : somme des bits du message modulo 256
augmenter la complexit
Checksum et CRC
Message mot binaire polynme F2 [X]
Checksum et CRC
Message mot binaire polynme F2 [X] 6 23
Checksum et CRC
Message mot binaire polynme F2 [X] 6 23 00000110 00010111
Checksum et CRC
Message mot binaire polynme F2 [X] 6 23 00000110 00010111
M (X) = X 10 +X 9 +X 4 +X 2 +X +1
Checksum et CRC
Message mot binaire polynme F2 [X] 6 23 00000110 00010111
M (X) = X 10 +X 9 +X 4 +X 2 +X +1
Checksum et CRC
Message mot binaire polynme F2 [X] 6 23 00000110 00010111
M (X) = X 10 +X 9 +X 4 +X 2 +X +1
Checksum et CRC
Message mot binaire polynme F2 [X] 6 23 00000110 00010111
M (X) = X 10 +X 9 +X 4 +X 2 +X +1
Message transmis
M (X) T (X)
Checksum et CRC
Polynmes standardiss :
Checksum et CRC
Polynmes standardiss :
Checksum et CRC
Polynmes standardiss :
Checksum et CRC
Polynmes standardiss :
Checksum et CRC
Polynmes standardiss :
Exemple prcdent avec CRC-12 : X 12 (X 10 + X 9 + X 4 + X 2 + X + 1) = X 22 + X 21 + X 16 + X 14 + X 13 + X 12 (X 22 + X 21 + X 16 + X 14 + X 13 + X 12 )/CRC-12 = X 10 + X 7 + X 3 Do CRC(6 23) = 10010001000 Mot envoy : (X 10 + X 9 + X 4 + X 2 + X + 1) (X 10 + X 7 + X 3 ) = X 9 + X 7 + X 4 + X 3 + X 2 + X + 1
Checksum et CRC
En gnral : transmission dans les rseaux dtection derreurs checksum ou CRC protocole inclut acquittement
PAR et RAR
PAR et RAR
Fichiers SFV (Simple File Verication) CRC des chiers RAR dtection derreurs
PAR et RAR
Fichiers SFV (Simple File Verication) CRC des chiers RAR dtection derreurs Fichiers REV (RAR Recovery Volumes) Correction interne des chiers RAR
PAR et RAR
Fichiers SFV (Simple File Verication) CRC des chiers RAR dtection derreurs Fichiers REV (RAR Recovery Volumes) Correction interne des chiers RAR Fichiers PAR (Parchive les) Code de Reed-Solomon li larchive RAR Permet ventuellement de recrer lun des morceaux de larchive