13.07.2015 Views

Mécanismes de fiabilisation pro-actifs - ISAE

Mécanismes de fiabilisation pro-actifs - ISAE

Mécanismes de fiabilisation pro-actifs - ISAE

SHOW MORE
SHOW LESS
  • No tags were found...

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

3.3. Modélisation du mo<strong>de</strong> Unidirectionnel 59car <strong>de</strong>ux salves IR ne peuvent être transmises successivement. <strong>de</strong> manière similaire,si c'est une salve FO, la salve non-compressée précé<strong>de</strong>nte était alors soit une salveIR, avec la nouvelle <strong>pro</strong>babilité 1 k 1kou une salve FO avec la <strong>pro</strong>babiliték. Ceci nouspermet donc <strong>de</strong> calculer cette <strong>pro</strong>babilité <strong>de</strong> non réception, en tenant compte plusprécisément <strong>de</strong> la salve précé<strong>de</strong>nte. Cette <strong>pro</strong>babilité, notée z X 1où X est soit I, soitF , vaut alors :z X 1∑ S =j=1 (1 P (i + j + X)) ¢ (1 )j 1 ¢ p S+1 j (NG=init = OK)∑ S 1j=1(1 P (i + j + X)) ¢ (1 )jL'état initial <strong>de</strong> la chaîne <strong>de</strong> Markov étant la réception d'un <strong>de</strong>s paquets <strong>de</strong> la salveSO précé<strong>de</strong>nte, un <strong>de</strong>s paquets <strong>de</strong> la salve IR/FO reçu (10)ajoute donc : 10 =k ( k 1z F 1k + 1 k+ 1 )k z I 1¢(1 (1 ) F+ 1k + 1 z F 1F (1 ) F 1 )(1 (1 ) II(1 ) I 1 )Soit tout le burst IR/FO est perdu (11), avec la <strong>pro</strong>babilité :p 11 =k ( k 1z F 1k + 1 k+ 1 )k z I 1(1 ) F 1 + 1k + 1 z F 11(1 )Iet on retombe alors dans le cas générique où n gen + paquets seront perdus enmoyenne.Il reste alors à revenir sur le cas où toute la salve SO précé<strong>de</strong>nte a été perdue(12), qui a une <strong>pro</strong>babilité <strong>de</strong> (1 ) S . Dans ce cas, nous considérons alors que laperte est alors susamment longue pour avoir vu le contexte changé <strong>de</strong>puis la perteinitiale. Nous nous ramenons, alors, là aussi, au cas générique.Nous avons donc, en résumé :( )) SO (i) = rcvd (i) + (1 ) i (i + 1) + 5 + p 6(n gen2 + 8 + (1 ) S + p 9 avecet = S + 5 + p 6 (n gen + ) = S + 10 + p 11 (n gen + )Nous avons donc conclu le calcul <strong>de</strong> pour le mo<strong>de</strong> unidirectionnel.

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!