Mécanismes de fiabilisation pro-actifs - ISAE

58 Chapitre 3. Modélisation d'un protocole de compression d'en-têtesavec la probabilité suivante :p 6 =n gen2 =kk + 1 F + 1k + 1 Ikk + 1 (1 )F + 1 (1 )Ik + 1qui est bien équivalente à celle de p g2 du calcul précédent.A ce stade du calcul, nous pouvons appliquer deux politiques. La plus simpleconsiste à considérer la perte de l'ensemble de la salve non-compressée comme rédhibitoireet de se ramener au cas générique. Nous avons jugé cette hypothèse commetrop restrictive. En eet, dans l'exemple où la perte initiale est apparue à la n dela salve SO, et où l'ensemble de la salve non-compressée successive a été perdue, ilsemble tout à fait concevable, au vu des tailles de salves non-compressés utilisées, quele contexte n'ait pas changé à la n de la salve non-compressé, ce qui rend le décodagepossible via la salve SO suivante, avec bien évidemment une probabilité réduite au vude la distance séparant cette nouvelle salve à la perte initiale. Nous avons donc retenucette hypothèse, ce qui signie que nous considérons la tentative de décodage sur lasalve SO suivante comme valide.Nous revenons alors sur un calcul classique. Soit un paquet d'un paquet de la salveSO est reçu (7), soit aucun n'est reçu (12). Traitons tout d'abord le premier cas. Soitle paquet en question permet de valider le contexte (8) et il apporte alors un nombremoyen de paquets supplémentaires : 8 =kk + 1S∑(1 ) k 1 P (k + i + F ) ¢ (k 1)k=1+ 1k + 1S∑(1 ) k 1 P (k + i + I) ¢ (k 1)k=1ou bien, celui-ci ne permet pas de valider le contexte (9) avec la probabilité associée:p 9 =kk + 1S∑(1 ) k 1 (1 P (k + i + F ))k=1+ 1k + 1S∑(1 ) k 1 (1 P (k + i + I))k=1A ce point, le contexte n'est toujours pas récupéré, et le compresseur envoie alorsune salve IR ou FO. Lorsque nous souhaitons calculer la probabilité de non-réception decette nouvelle salve IR ou FO il est judicieux de remarquer que si c'est une salve IR, lasalve non-compressée précédente (la première) était automatiquement une salve FO,