Mécanismes de fiabilisation pro-actifs - ISAE

18 Chapitre 2. Etat de l'art et principales notionsces travaux, nous travaillerons avec une matrice de parité binaire. Les symboles deredondance seront alors appelés symboles de parité. La partie gauche correspondantaux symboles sources sera appelée A et celle des symboles de redondance U.Si S représente un ensemble de symboles sources et P un ensemble de symbolesde parité correspondant, la produit matriciel (AjU)(SjR) T est alors nul. La matrice deparité peut être vue comme un ensemble de combinaisons linéaires (par ligne) dont lerésultat est nul pour un mot de code donné (sources et parités).A titre d'exemple, la matrice de parité du code correspondant au graphe de Tannerde la Figure 2.3 est la suivante (k = 6,n = 12) :⎛⎞0 1 1 0 1 0 1 0 0 0 1 11 0 0 1 0 1 0 1 0 1 0 10 1 0 1 1 1 1 0 1 0 0 0H =1 0 1 0 0 0 0 1 0 1 1 1⎜⎟⎝ 0 0 1 0 1 1 0 1 1 1 0 0 ⎠1 1 0 1 0 0 1 0 1 0 1 0ce qui donne six combinaisons linéaires entre les six premiers symboles sources etles six symboles de redondance.La version matricielle permet de dénir la notion de degré (ligne ou colonne),correspondant au nombre d'entrées non-nulles. Un code LDPC sera dès lors considérécomme régulier ou irrégulier selon que la distribution de ses degrés lignes et colonnesest constante.Encodage des codes LDPC L'encodage classique par la matrice génératrice n'a pasforcément de sens ici pour deux raisons majeures : cette matrice n'est pas initialementdéterminée, et, pour une matrice génératrice non-creuse, le produit matrice-vecteurs'accompagne nécessairement d'une complexité quadratique.L'encodage des codes LDPC peut être directement eectué sur la matrice deparité. L'idée est alors de construire celle-ci (par des combinaisons linéaires) an defaire apparaître une structure quasi-triangulaire inférieure sur la partie des symbolesde redondance U [27].Dans la suite de nos travaux, la matrice U sera toujours considérée comme triangulaireinférieure. La conséquence est qu'il est alors possible de calculer chaque symbolede parité directement par une combinaison de symboles sources et de symboles deparité déjà calculés. La matrice de parité étant creuse, l'encodage eectué est alorsproche d'une complexité linéaire.Décodage des codes LDPC En plus d'un décodage à maximum de vraisemblance(ML) optimal mais complexe, les codes LDPC sont adaptés pour un décodage dititératif sur le canal à eacements.Comme nous l'avons précédemment évoqué, le décodage itératif est sous-optimalen terme de capacité de correction, mais possède l'intérêt d'avoir une complexitélinéaire en la longueur du code.