Brevet FR2799592A1 — publié le 20010413

Procédé de construction et de codage simple et systématique de codes LDPC. La présente invention concerne un procédé de construction et de codage simple et systématique de codes connus sous l'abréviation anglosaxonne LDPC de "Low Density Parity Check". Les codes de Gallager, proposés vers 1963, sont à l'origine des codes LDPC actuellement envisagés comme alternative aux turbo-codes. Un article publié dans la revue IEEE Transaction on Information Theory Vol 45 n 2 Mars 1999 de M J C MacKay ayant pour titre "Good Error Correcting Codes Based on very Sparre Matrices" présente des résultats intéressants concernant ces codes, en particulier le fait que: - ce sont asymptotiquement pour des blocs de taille élevée de "très bons codes" - le décodage pondéré ("soft decoding", ou "décodage souple") est facile à mettre en oeuvre. Mais il n'existe pas de méthode autre qu'heuristique pour les construire. Suivant cette technique de codage un code (N, K) comportant N symboles dont K libres est défini par sa matrice de contrôle de parité A, comportant M = N - K lignes et N colonnes. La matrice de contrôle A est caractérisée par sa faible "densité" : il faut entendre par là qu'elle comporte un nombre réduit d'éléments non nuls. Plus précisément, elle comporte exactement t symboles non nuls dans chaque colonne, tous les autres étant égaux à 0. Si les symboles d'un mot de code sont notés ci, i = O...N-1 et les éléments de la matrice de controle Aij, le code satisfait M = N-K relations de la forme : Les méthodes proposées par M J C MacKay consistent à bâtir une matrice A initiale à partir de matrices unité ou tridiagonales plus petites, puis à permuter leurs colonnes pour arriver au résultat souhaité. L'expérience montre cependant qu'il est difficile de satisfaire les différentes contraintes imposées pour leur construction. Le but de l'invention est de pallier les inconvénients précités. A cet effet l'invention a pour objet, un procédé de construction de codes LDPC comportant N symboles dont K libres chaque code étant défini par une matrice de contrôle A comportant M=N-K lignes N colonnes et t symboles non nuls dans chaque colonne caractérisé en ce qu'il consiste : a - à attribuer à toutes les lignes de la matrice de contrôle A un même nombre de symboles "t" non nuls, b - à prendre comme nombre de symboles "t" un nombre impair le plus petit possible, c - à définir les colonnes de façon que deux colonnes quelconques de la matrice de contrôle A n'aient au plus qu'une valeur non nulle, d - et à définir les lignes de façon que deux lignes de la matrice de contrôle A n'aient qu'une valeur commune non nulle. Le procédé selon l'invention a pour avantage qu'il permet de simplifier les algorithmes de codage et de décodage, en utilisant une matrice de contrôle A qui est la moins dense possible tout en donnant de bonnes performances pour une complexité raisonnable, la puissance de calcul nécessaire étant proportionnelle au nombre t. Dans la mesure où il y a peu d'erreurs, la contrainte "c" ci dessus permet à l'algorithme de décodage de toujours converger. D'autres caractéristiques et avantages de l'invention apparaîtront à l'aide de la description qui suit faite en regard des dessins annexés qui représentent : La figure 1 un tableau représentant une partition de la matrice de contrôle A. Les figures 2 et 3 des groupements des m2 sous matrices de gauche du tableau de la figure 1 en une sous matrice MxM et n-m sousmatrices MxP. Les figures 4 et 5 une matrice de contrôle A obtenue respectivement selon une première et une deuxième variante d'exécution du procédé selon l'invention. Les figures 6 à 9 une matrice de passage pour le calcul des symboles de redondance. Pour la mise en #uvre du procédé selon l'invention la matrice de contrôle, A, est subdivisée comme le montre la figure 1 en n sous-matrices de M lignes et P colonnes ou m x n sous-matrices carrées de P lignes et P colonnes telles que N=nP et M=mP et n et m premiers entre eux. Les m2 sous-matrices de gauche sont ensuite regroupées comme le montre la figure 2 en une sous-matrice M x M (ceci permettra de simplifier grandement l'algorithme de codage) et les autres en n - m sous-matrices M x P . Le procédé de construction est décrit ci - après selon deux variantes, selon que m est égal à 1 ou t. Les valeurs différentes de m ne sont pas à envisager ici, à cause de la condition "a" qui exige que tr soit entier. En effet, tr = t N / M, soit encore t n / m. n et m étant premiers entre eux, m doit diviser t et ne peut donc être qu'égal à 1 ou t pour t premier et petit (vrai pour les faibles valeurs de t, à savoir 3, 5, 7). Dans la première variante où m = 1 (codes de redondance r / (r - 1)),le procédé selon l'invention est valable pour les codes de taux de redondance N/K de la forme r / (r - 1), où le nombre de symboles de redondance est exactement N /r (r entier). Dans ce cas, M est égal à P et le tableau de la figure 2 se résume au tableau de la figure 3. Le procédé consiste alors à chercher n séquences de longueur M comportant t "1"et (M -t) "0". Ces séquences notées ci-après w[0..n-1]r sont obtenues par : - une autocorrélation cyclique égale à 0,1, ou t (la séquence i décalée ne coïncide avec elle-même non décalée qu'en 0 ou 1 point) telle que pour tout i = O...n-1 : #k=0 M-1 w[i][k] w [i][k] = t (par définition) #K=0 M-1 w[i][k] w[i][(k + p) modulo M] = 0 ou 1, pour p = 1..M-1 - une intercorrélation cyclique égale à 0 ou 1 (la séquence i décalée ou non ne coïncide avec la séquence j qu'en 0 ou 1 point) telle que pour toute paire {i, j} où i = O...n-1 et j = O...n-1 sont différents : L'algorithme de calcul des séquences w est très simple : il détermine successivement les positions pos[0][0...t-1], pos[1][0...t-1], pos[n-1 ][O...t- 1], où ces séquences possèdent un "1", en commen- ant par pos[x][0] = 0, pos[x][1]= 1, ..., pos[x][t-1]= t-1, et en les modifiant pour satisfaire les conditions d'autocorrélation et intercorrélation. Pour t = 3, les boucles de calcul mises en #uvre sont montrées à l'annexe 1. Cet algorithme échoue lorsque n est trop grand compte tenu de M : peu de "petits" codes sont trouvés, mais ceci est de peu d'importance car on cherche généralement des codes de grande taille (N 100). Les colonnes de la matrice A sont alors tout simplement les vecteurs w permutés circulairement : - kème sous-matrice (k = O...n-1) A[ligne][colonne] = w[k][(ligne - (colonne - k P)) modulo M] Avec : ligne = O...M-1 et colonne = kP...(k + 1) P - 1 Ainsi, chaque ligne de A comporte exactement t valeurs non nulles dans chacune des n sous-matrices, soit un total de n = tr. Un exemple de matrice A, obtenue par ce procédé pour un code LDPC(75,50, t=3, tr=9) de redondance 3 / 2 (r = n = 3) avec P = 25 est montré à la figure 4. Selon le tableau représenté on peut constater que: w[0][i] = 1 pour i = 0, 1, 3 w[1][i] = 1 pour i = 0, 4, 9 w[2][i] = 1 pour i = 0, 6,13 La construction proposée garantit que : - chaque colonne comporte exactement t valeurs non nulles (par définition des w) - chaque ligne comporte exactement tr valeurs non nulles (grâce aux propriétés d'autocorrélation et intercorrélation des w) - toute paire de colonnes distinctes a au maximum une valeur non nulle commune (idem) - toute paire de lignes distinctes a au maximum une valeur non nulle commune (idem) Selon une deuxième variante inspirée de la précédente correspondant au cas où m=t le procédé selon l'invention recherche n - m + 1 séquences de longueur M comportant t "1"et (M -t) "0", séquences notées w[O..n-m]. La première séquence, w[0] est obtenue par : - une autocorrélation cyclique égale à 0,1, ou t (la séquence 0 décalée ne coïncide avec elle-même non décalée qu'en 0 ou 1 point) telle que : En fait, c'est la même définition que pour m = 1. Les séquences suivantes, w[1...n-m] sont obtenues par - une autocorrélation cyclique égale à 0 ou t pour des décalages multiples de m (la séquence i décalée d'un multiple de m ne coïncide jamais avec elle-même non décalée) telle que : pour tout i = 1...n-m : - par une intercorrélation cyclique égale à 0 ou 1 avec la séquence w[0] (la séquence i décalée ou non ne coïncide avec la séquence 0 qu'en 0 ou 1 point) telle que : pour tout i = 1...n-m : - et par une intercorrélation cyclique avec les séquences w[1..n-m] égale à 0 ou 1 pour des décalages multiples de m (la séquence i décalée ou non d'un multiple de m ne coïncide avec la séquence j qu'en 0 ou 1 point) telle que : pour toute paire {i, j} où i = 1...n-m et j = 1...n-m sont différents : L'algorithme de calcul des séquences w est le même que précédemment. Seuls changent les critères d'autocorrélation et d'intercorrélation, celles-ci n'étant à vérifier que sur P points au lieu de M. Les colonnes de la matrice A sont alors les vecteurs w permutés circulairement avec un pas égal à 1 ou m telles que : - Sous-matrice M x M à gauche de A : A[ligne][colonne] = w[0][(ligne - colonne) modulo M] Avec : ligne = 0...M-1 colonne = O...M -1 - Sous-matrices M x P suivantes (en nombre égal à n - m) pour k = m...n-1 : A[ligne][colonne] = w[k - m + 1][(ligne - m (colonne - k P)) modulo M] Avec : ligne = O...M-1 colonne = kP...(k + 1)P - 1 Ainsi, chaque ligne de A comporte exactement m = t valeurs non nulles dans ses M premières colonnes, puis 1 valeur non nulle dans chacun des n - m paquets de P colonnes successives, soit un total de n ou tr. Un exemple de matrice A, obtenu selon la deuxième variante du procédé selon l'invention est montré à la figure 5 pour un code LDPC(75,30, t=3, tr=5) de redondance 5 / 2 (n = 5, m = 3) avec P = 15. On constate sur le tableau de la figure 5 que: w[0][i] = 1 pour i = 0, 1, 3 w[1][i] = 1 pour i = 0, 4, 8 w[2][i] = 1 pour i = 0, 5,10 Le procédé selon l'invention qui vient d'être décrit sous ses deux variantes conduit directement à un algorithme de codage de symboles de redondance Yi et de symboles d'information Xi très simple. Pour cela, il suffit de considérer que les symboles de redondance Yi sont les M premiers symboles d'un mot de code, et les symboles libres Xi (information) sont les N - M derniers. Les équations que doivent vérifier tout mot de code peuvent donc être réécrites sous la forme : ou encore : avec Le procédé consiste alors à calculer dans un premier temps les M quantités Zm de la matrice de passage, et ensuite les symboles de redondance : A titre d'exemple, pour le code LDPC(75,50) les quantités Zm sont calculés par le système d'équation défini par le tableau de la figure 6 qui, après résolution, se transforme en le tableau des symboles de redondance de la figure 7. La matrice B d'élément générique Bij est l'inverse de la partie gauche AM (de dimension M x M) de la matrice A. Elle a une forme très simple : par construction, toutes ses colonnes sont des permutations circulaires de la séquence w[0][O..M-1] : Aij = w[0][(i - j) modulo M] , i=O...M-1, j=O...M-1 La matrice B comporte alors M lignes qui sont des permutations circulaires d'une ligne unique b[O...M-1], à savoir : Bij = b[(j - i) modulo M] B étant l'inverse de Am, les coefficients b sont définis par : Par exemple, pour le code LDPC(75,50), les coefficients de redondance Ym sont calculés par le système d'équations défini par le tableau de la figure 8 qui après résolution se transforme en le tableau de la figure 9. Cependant, il existe des cas où le calcul est impossible. On peut en effet écrire les équations qui les définissent sous la forme : tAM t{b[0], b[1 ], ..., b[M-1 ]} = tll, 0, 0, ... 101 La matrice tAm est une matrice circulante, dont la première ligne est égale à a[0...M-1] ] = w[O]. Son déterminant est égal au produit de ses M valeurs propres I0...M-1. La kéme valeur propre est elle-même donnée par : où a est une racine Même de l'unité. Par exemple: - pour w[0] = a[0...M-1]= {1, 1, 0, 1, 0, 0, 0, ....} - pour des codes binaires (on se situe dans le corps de Galois CG (2) où l'addition est équivalente au OU EXCLUSIF (XOR) et la multiplication au ET logique) on a : #1 = 1 + a + a3' Si M est multiple de 7, il se trouve que l'équation 1 + a + a 3 = 0 définit un corps de Galois où a est racine 7ème de l'unité (le polynôme g(x) = 1 + x + x3 est irréductible et primitif dans CG (2) génère un corps de Galois CG(23)), ce qui signifie que #1 = 0. Parmi les codes LDPC trouvés par l'algorithme proposé, il faut donc éliminer ceux où M est multiple de 7 si l'on garde ce w[0] ci car : - l'une des valeurs propres de tAM sera nulle - donc son déterminant sera nul - dont on ne pourra pas trouver de b[i] convenables - donc on ne pourra pas effectuer le codage (calculer les Yi) D'une manière très générale, quel que soit le choix fait pour w[0], il y aura des valeurs de M ne convenant pas car ne permettant pas de faire le codage. On montre facilement (en factorisant xM- 1 et a(x) = #i M-1 a [i] xk) que ces valeurs de M sont les multiples d'une valeur MO pour laquelle a (x) divise xMO -1. Par exemple, pour des codes binaires avec t = 3 : - w[0] = {1, 1, 0, 1, ...} - w[0] = {1, 0, 1, 1, ...} interdisent M multiple de 7 (a(x) définit une racine 7ème de l'unité) - w[0] = {1, 1, 0, 0, 1, ...} - w[0] = {1, 0, 0, 1, 1, ...} interdisent M multiple de 15 (a(x) définit une racine 15ème de l'unité) - w[0] = {1, 0,1, 0,1, ...} n'est pas accepté (autocorrélation incorrecte) - w[0] = {1, 1, 0, 0, 0, 1, ...} - w[0] = {1, 0, 0, 0, 1, 1, ...} interdisent M multiple de 3 (a(x) est multiple de 1 + x + x2 qui définit une racine 3ème de l'unité) - w[0] = {1, 0, 1, 0, 0, 1, ...} - w[0] = {1,0, 0, 1, 0, 1, ...} interdisent M multiple de 31 (a(x) définit une racine 31 ème de l'unité) Le calcul des coefficients b[i] est effectué de la manière suivante: Pour une valeur de M non interdite, il existe un algorithme particulièrement simple de calcul des b [i] partir des a [i] (ouw[0][O...M-1]). Cet algorithme repose sur l'observation que la série des b [i], périodisation et filtrage par un filtre à réponse impulsionnelle finie (RIF) A (z) dont les coefficients sont les a[M-1, M-2, ..., 1, 0] doit donner la série {1, 0,0, ...} périodisée. En fait, pour un code binaire utilisant l'un des w[0] énumérés précédemment, cette série est formée de la concaténation de séquences maximales (Maximal Length Séquences) de longueur 7 (ou 15 ou 31 ou 63). On calcule donc la réponse impulsionnelle du filtre à réponse impulsionnelle infinie (RII) 1/ A (z) et on en extrait une tranche de longueur M qui, une fois périodisée, donne la série {1, 0,0, ...}après filtrage par A(z). Par exemple, pour un code binaire avec t = 3 et pour lequel seuls a[0], a[k1]et a[k2] ne sont pas nuls, un algorithme correspondant est fourni à l'annexe 2. Dans un esprit de simplification pour ne pas effectuer le calcul précédent à chaque codage, l'algorithme de codage peut encore être défini par les k2 derniers éléments b[M-K2...M-1] qui, par récurrence (filtrage par 1 / A(z)) permettent de recalculer tous les autres. Egalement comme la deuxième phase de l'algorithme de codage standard (calcul des Y à partir des Z) comporte en moyenne M2 / 2 opérations, ce qui peut devenir important pour des codes conséquents : la complexité étant une fonction quadratique de la taille, et que de plus, il est nécessaire de stocker le tableau intermédiaire Z (M éléments) et connaître le tableau b (M éléments aussi) s'il n'est pas calculé sur place, cette partie de l'algorithme peut être modifiée pour n'utiliser que deux tableaux intermédiaires de très petite taille en réécrivant ainsi les équations donnant les Y de la façon montrée par le tableau de la figure 9 (exemple pour un code LDPC(75, 50)) : Les M - k2 (pour t = 3) premières lignes sont les M - k2 dernières lignes du système d'équations donnant Y, avant résolution. Les k2 dernières lignes sont les k2 dernières lignes du système d'équations donnant Y, après résolution. Il suffit alors de calculer les Y dans l'ordre inverse, à savoir Y[M-1], Y [M-2], Y[0]. Le nombre d'opérations à effectuer est alors en moyenne de k2 M / 2 (calcul de Y[M-1] ... Y[M-k2]) suivi de t(M - k2) (calcul de tous les autres) soit approximativement (t + k2/2) M : la complexité n'est plus qu'une fonction linéaire de la taille. L'algorithme utilise X[M...N] en entrée. La partie basse de X (X[0...M-1]) est utilisée comme stockage temporaire pour les Z : X[0...M-1]stocke Z[k2...M-1, O...k2-1]pour éviter un décalage circulaire en phase finale. Les b [i] sontcalculés itérativement sur place, à partir des b[M-k2...M- 1]. Le code est défini par deux tableaux : - le tableau finB[0...k2-1] des k2 derniers éléments de b - le tableau pos[0...(n - m + 1)t] contenant les positions des éléments non nuls des séquences w[0], w[1], ..., w[n-m]. On utilise deux buffers internes de taille k2 : - reg[0...k2-1]pour calculer les b [i] - temp[0...k2-1]pour stocker les valeurs intermédiaires de Y[M- k2...M-1]. L'algorithme complet de codage rapide est alors celui montré à l'annexe 3. Ces algorithmes sont très simples à mettre en oeuvre. Ils ont entre autre la caractéristique de définir un code par très peu de paramètres, à savoir les (n - m + 1)(t - 1) positions non nulles des "1"dans les séquences w et éventuellement k2 coefficients de codage. Même s'ils ne donnent pas tous les codes possibles répondant aux conditions a-d (par exemple, pas le code (150,125) de redondance 6/5, qui nécessite n=6 séquences w de longueur P=25), ils en donnent suffisamment pour que, dans une application quelconque où N et K sont définis a priori, on puisse trouver soit - un code (NLDPC, KLDPC) avec NLDPC = N et KLDPC = K - un code voisin (NLDPC+d, KLDPC+d), avec d faible, qui sera raccourci par non transmission de d symboles utiles mis arbitrairement à zéro. Par exemple, pour obtenir un code de (N, K) redondance 5 / 3 (taux 0. 6), il suffit de partir d'un code (NLDPC+d, KLDPC+d) de redondance 8/ 5 (taux 0. 625) avec d = NLDPC/ 15. Pour des valeurs de N inférieures ou égales à 500 et t = 3, il est possible de construire très rapidement 932 codes différents dont les redondances sont les suivantes (on s'est volontairement limité aux redondances comprises entre 4 et 8/7, et aux codes où w[0] = {1, 1, 0, 1, 0,0, 0, ....} pour lesquels k2 = 3) : R=4/1 soit 4. 000 (105 codes) R = 5/2 soit 2. 500 (82 codes) R = 6/3 ou 2/1 soit 2. 000 (203 codes) R=7/4 soit 1. 750 (55 codes) R = 8/5 soit 1.600 (47 codes) R = 9/6 ou 3/2 soit 1. 500 (124 codes) R = 10/7 soit 1.428 (34 codes) R = 11/8 soit 1. 375 (28 codes) R = 12/9 ou 4/3 soit 1. 333 (84 codes) R = 13/10 soit 1. 300 (20 codes) R = 14/11 soit 1. 273 (17 codes) R = 15/12 ou 5/4 soit 1. 250 (56 codes) R = 16/13 soit 1. 231 (11 codes) R = 17/14 soit 1. 214 (7 codes) R = 18/15 ou 6/5 soit 1. 200 (34 codes) R = 19/16 soit 1. 187 (3 codes) R = 20/17 soit 1. 176 (2 codes) R = 21/18 ou 7/6 soit 1. 167 (17 codes) R = 24/21 ou 8/7 soit 1. 143 (3 codes) De plus, toujours pour une valeur donnée de N inférieure ou égale à 500, il peut y avoir jusqu'à 12 codes différents (pour N = 480). Par exemple, dès que N est multiple de 6 et supérieur ou égal à 288, il existe toujours trois codes de longueur N et de redondances 6/5, 3/2 et 2/1, par exemple LDPC(300,250) + LDPC(300,200) + LDPC(300,150). Ceci est très utile pour protéger efficacement un train binaire formé de trois trains binaires chacun de longueur N et de sensibilités différentes. Bien entendu, il est toujours possible d'envisager de nombreuses variantes de ces algorithmes, comme par exemple une permutation aléatoire des lignes et/ou colonnes de la matrice A. Il est aussi important de signaler que l'adaptation à des codes non binaires est particulièrement simple. ANNEXE 1 for(x=0; x ANNEXE 2 (langage C : l'opérateur "#" correspond au OU EXCLUSIF. /* Initialisation du passe de b, de longueur M */ for(i=M-k2; i /* Cas particulier ou M est interdit */ if(weight == 0) return(M~FORBIDDEN); /* decalage circulaire final a droite : b[i] = b[(i - shift) % M] */ for(dec=0; dec 0; i--) b [i] = b[i - 1]; b[0] = temp ; return(OK); ANNEXE 3 (langage C) : /* Phase 1 : calcul des M parites intermédiaires z. Ces parites sont calculees en lisant les colonnes successives de la matrice de codage, a savoir A[*][M], ..., A[*][N] Elles sont mises en tete de x a titre temporaire */ #define z x for(i=0; i On le decremente de k2 pour eviter le decalage du tableau z avant la phase 3 */ p = offset + pos[k*t + i]- k2 ; if(p offset = offset + m; } c0=c1; c1 = c1 + P; } /* Phase 2 : calcul des k2 derniers symboles de parite */ ixbO = M -1 - k2 ; /* 1 : initialisation des k2 derniers elements de y temp[0...k2-1] = y[M-1, M-2, ...M-k2] */ for(k=0; k /* b[i] ={100 z b[i-(k2-k1 )] ^ b[i-k2] avec b[i-k2]...b[i-1] = reg[0...t2-1] On doit vérifier : b[-k2] + b[k1-k2] + b[0] = 0 b [-2] + b[k1-2] + b [k2-2] 0 b[-1]+ b[k1-1] + b[k2-1] = 0 b[0] + b[k1]+ b [k2] = 1 b[1]+ b[1+k1] + b[1+k2] = 0 ... */ if(i == k2) input = 1; else input = 0; bi = input ^ reg[0]# reg[k1]; for(k=1; k Recopie de temp a la fin de y */ #define y x for(k=0; k Donc : x[k + k2 - k2] + x[k + k2 - k1] + x[k + k2 - 0] + x[k] = 0 Soit: x[k + k2 - k2] = -(x[k + k2 - k1 ] + x[k + k2] + x[k]) */ for(k = M - k2 - 1; k ≥ 0; k--) y [k] = y[k + k2 - k1] # y[k + k2]# z [k]; REVENDICATIONS 1. Procédé de construction de codes LDPC pour la protection de trains binaires d'information, chaque train étant composé de N symboles décomposés en N-M symboles d'informations utiles X, et M symboles d'informations de redondance Ym, chaque code étant défini par une matrice de contrôle A comportant M=N-K lignes de N colonnes et t symboles non nuls dans chaque colonne, caractérisé en ce qu'il consiste : - à attribuer à toutes les lignes de la matrice de contrôle A un même nombre de symboles non nuls, - à prendre comme nombre de symboles t un nombre impair le plus petit possible, - à définir les colonnes de façon que deux colonnes quelconques de la matrice de contrôle A n'aient au plus qu'une valeur non nulle, - et à définir les lignes de façon que deux lignes de la matrice de contrôle A n'aient qu'une valeur commune non nulle. 2. Procédé selon la revendicationlcaractérisé en ce qu'il consiste : - à subdiviser la matrice de contrôle A de M lignes et N colonnes en n sous matrice de M lignes et P colonnes pour former n sous matrices de P lignes et P colonnes et à regrouper les m2 sous matrices de gauche en une sous matrice MxM et les autres en n-m sous matrice MxP, - et à déterminer Mxn séquences de vecteurs colonne w[0....n-1]de longueur M comportant t valeurs non nulles et (M-t) valeurs nulles en effectuant une autocorrélation et une intercorrélation cyclique des vecteurs colonne w. 3. Procédé selon la revendication 1 caractérisé en ce qu'il consiste : -- à subdiviser la matrice de contrôle A de M lignes et N colonnes en n sous matrices de M lignes et P colonnes pour former nxm sous matrices de P lignes et P colonnes et à regrouper les m2 sous matrices de gauche en une sous matrice MxM et les autres en n-m sous matrice MxP, - à déterminer n-m+1 séquences de vecteurs colonnes w[0....n-m] de longueur M comportant t valeurs non nulles et (M-t) valeurs nulles, - la première séquence w[0] étant obtenue par autocorrélation cyclique égale à 0,1, ou à la valeur t de façon que la séquence w[0] décalée ne coïncide avec elle même non décalée qu'en 0 ou 1 point, - les n-m séquences suivantes w [i][k] étantobtenues : - par une autocorrélation cyclique de valeur nulle ou égale à la valeur t de façon que la valeur de la séquence w[i] décalée d'un multiple de m ne coïncide jamais avec elle-même non décalée,et par une intercorrélation cyclique - et par une intercorrélation cyclique de valeur nulle ou 1 avec les séquences w[1....n-m] pour des décalages multiples de m de façon que une séquence i décalée ou non d'un multiple de m ne coïncide avec la séquence j qu'en 0 ou 1 point. 4. Procédé selon l'une quelconque des revendications 1 à 4 caractérisé en ce qu'il consiste à déterminer pour le codage d'informations utiles X,, une matrice de passage Zm égale au produit de la matrice de contrôle A par un vecteur colonne représentant N-M symboles d'information X, et à adjoindre aux symboles d'information des symboles de redondance Ym obtenus en résultat du produit de la matrice de passage Zm par une matrice B égale à l'inverse de la partie de dimension MxM de la matrice de contrôle A.