Mécanismes de fiabilisation pro-actifs - ISAE

More documents

Recommendations

Info

2 Chapitre 1. Introductionde correction possible. La capacité de correction d'un code est la capacité d'un codeà être décodable avec un minimum de données reçues parmi l'information initiale et laredondance. Ceci permet une première distinction entre deux grandes familles de codescorrecteurs : les codes dits à Maximum Distance Séparable (MDS) qui permettent deretrouver les données initiales à partir de n'importe quelle information reçue de tailleégale à la taille initiale, et les codes non-MDS pour lesquels le décodage nécessitegénéralement de l'information supplémentaire. Si les premiers codes sont optimaux etsemblent répondre à la problématique, leur inconvénient est d'être d'une complexitéélevée, et en pratique, ces codes sont souvent limités à une protection de quelquescentaines d'éléments. La seconde famille permet quant à elle une plus grande exibilité,et les complexités associées peuvent être bien plus faibles que celle des codesMDS. Toute la problématique de ces codes est donc de se rapprocher le plus possiblede la capacité de correction des codes optimaux tout en gardant une complexité mathématiquefaible. Selon le type d'application visé, l'intérêt pour l'une ou l'autre desfamilles de codes sera par ailleurs diérent.La gestion de la quantité de redondance et de la abilité se pose dans plusieursdomaines des transmissions réseau. Un domaine particulièrement intéressant est celuide la compression d'entête où les mécanismes déployées doivent permettre d'atteindrela meilleur compromis entre le niveau de compression et celui de la abilité. Ce problèmese pose, par exemple, dans le contexte des réseaux satellitaires où la question del'utilisation de la bande passante utilisée et du coût engendré est cruciale. Ainsi, desmécanismes de compression protocolaire peuvent être mis en place an de diminuerla proportion de trac engendrée par les en-têtes protocolaires. Un en-tête TCP/IPv4a une taille nominale de 40 octets, et la compression d'en-têtes permet une réductionde l'en-tête moyen jusqu'à 2-3 octets. On voit donc ici tout l'intérêt du déploiementde ce type de mécanismes, notamment pour les petits paquets. En contrepartie, cettecompression s'accompagne d'une baisse de la abilité de la connexion correspondante.En eet, comme tous les champs protocolaires ne sont pas répétés pour chaque paquet,lorsque une perte surgit, celle-ci peut avoir des conséquences sur la récupérationdes en-têtes suivants, si ceux-ci dépendent de l'en-tête perdu. Dans ce contexte, laabilisation de la transmission consiste en l'étude de l'impact de cette compressionau niveau protocolaire sur la transmission des données, sa modélisation et sa paramétrisation.Un point important concerne également la comparaison entre mécanismesavec et sans voie de retour et l'impact du temps de latence sur la comparaison entrechaque mécanisme.1.2 Organisation du documentDans le Chapitre 2, nous présenterons les principaux concepts de la théorie del'information, des codes à eacements, et de la compression protocolaire. Nous étudieronségalement les principales contributions à ces problématiques de abilisation.Dans le Chapitre 3, nous présenterons les mécanismes de compression d'en-têteset leur fonctionnement, et nous proposerons un modèle mathématique permettant
1.2. Organisation du document 3une étude et une paramétrisation des mécanismes de compression.Dans le Chapitre 4, nous présenterons un code correcteur qui a la particularitéd'être décodable de manière hybride, grâce à une matrice génératrice comprenant unepartie contrainte dans une bande, mais aussi une matrice de parité creuse, permettantun décodage itératif.Dans le Chapitre 5, nous présenterons un code correcteur sur les canaux à eacements,basé sur les codes de Reed-Muller, d'une complexité minime. Nous présenteronsplusieurs mécanismes visant à améliorer les performances intrinsèques du code.La simplicité de ce code lui permet d'être un candidat de choix pour des codes depetite taille et tout particulièrement à fort taux de codage.Dans le chapitre 6, nous présenterons un code correcteur à Maximum DistanceSéparable (MDS), basé sur la transformée de Fourier rapide, permettant l'utilisationde codes optimaux jusqu'à des tailles de blocs de plusieurs milliers d'éléments.Le dernier chapitre permettra de présenter l'ensemble des conclusions de ces travaux,ainsi que les perspectives futures.
Page 1 and 2: THÈSEEn vue de l'obtention duDOCTO
Page 4 and 5: iiannée de thèse : Julien, Paul,
Page 6 and 7: ivTable des matières4.3 Analyse th
Page 8 and 9: viTable des gures4.2 Matrice de par
Page 11: Chapitre 1IntroductionLes thèses l
Page 16 and 17: 6 Chapitre 2. Etat de l'art et prin
Page 18 and 19: 8 Chapitre 2. Etat de l'art et prin
Page 20 and 21: 10 Chapitre 2. Etat de l'art et pri
Page 54 and 55: 44 Chapitre 3. Modélisation d'un p
Page 62 and 63:
52 Chapitre 3. Modélisation d'un p
Page 64 and 65:
Page 66 and 67:
Page 68 and 69:
Page 70 and 71:
Page 72 and 73:
Page 74 and 75:
Page 76 and 77:
Page 78 and 79:
Page 81 and 82:
Chapitre 4Codes à eacements à dé
Page 83 and 84:
4.2. Construction des codes à matr
Page 85 and 86:
Page 87 and 88:
Page 89 and 90:
4.3. Analyse théorique 79décalage
Page 91 and 92:
4.4. Résultats obtenus 81 Les code
Page 93 and 94:
4.5. Conclusion 83véritable comple
Page 95 and 96:
Chapitre 5Codes de Reed-Muller pour
Page 97 and 98:
5.2. Présentation du code 87Une m
Page 99 and 100:
5.2. Présentation du code 89Figure
Page 101 and 102:
5.2. Présentation du code 91invers
Page 103 and 104:
5.3. Résultats de simulation 93Fig
Page 105:
5.4. Conclusion 955.4 ConclusionNou
Page 108 and 109:
98 Chapitre 6. Codes à eacements M
Page 110 and 111:
100 Chapitre 6. Codes à eacements
Page 112 and 113:
Page 114 and 115:
Page 116 and 117:
Page 118 and 119:
Page 120 and 121:
Page 122 and 123:
Page 124 and 125:
Page 126 and 127:
116 Chapitre 7. Conclusion et persp
Page 129 and 130:
Bibliographie[1] C. E. Shannon, A m
Page 131 and 132:
Bibliographie 121[32] ETSI IP Datac
Page 133 and 134:
Bibliographie 123[55] E. N. Gilbert
Page 135:
Bibliographie 125[87] S. Li and J.
show all

Mécanismes de fiabilisation pro-actifs - ISAE

Create successful ePaper yourself

Delete template?

Save as template?