Causal Deliveries in Unreliable Networks With Real-Time Delivery Constraints

(1)

HAL Id: inria-00074248

https://hal.inria.fr/inria-00074248

Submitted on 24 May 2006

HAL is a multi-disciplinary open access archive for the deposit and dissemination of sci- entific research documents, whether they are pub- lished or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers.

L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignement et de recherche français ou étrangers, des laboratoires publics ou privés.

Causal Deliveries in Unreliable Networks With Real-Time Delivery Constraints

Roberto Baldoni, Achour Mostefaoui, Michel Raynal

To cite this version:

Roberto Baldoni, Achour Mostefaoui, Michel Raynal. Causal Deliveries in Unreliable Networks With Real-Time Delivery Constraints. [Research Report] RR-2427, INRIA. 1994. �inria-00074248�

(2)

a p p o r t

d e r e c h e r c h e

INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE

Causal Deliveries in Unreliable Networks With Real-Time Delivery Constraints

R. Baldoni, A. Mostefaoui and M. Raynal

N˚ 2427

De´cembre 1994

PROGRAMME 1

(3)

(4)

( !)+*,-/.0123 345+$467!8!

9;:<4=?>A@7B/CDFEFGHI:JKBMLONQPFRS=?B/TUDV=?C@WJX:9Y=[Z7C=?>

\^]O_a`a]b[cdc;efgih8]jOk/lnmeFjQmo#]eFpq7b[]bsrtrvueQrweFpyx7z7bap{eFp|/e|/_a}#}~eeFpx/]#~eFp{eFb[o/

em8p{MpmFuec;eFp|?lpm]lnz#o~eFp

\^]_?Semh4|/q

b[q#q7_a]Om8|/e4]eFjOk#e]jk#e}'/4g~eFjQecz#]Oe;fFa[Yg fF6q7b`aeFp

F7[aVa?? 7¡a¢£a¤¢¥p{mb[meFp¦mk7b[m§A_a]Vb[}/'q#]_#jQeFpp¨mk#e_a]|/e]ln}I©k/ljkªlwm¨lpV|/eQr«ln¬ae]eF|

c;eFpOpb[`aeFpjb[}#}#_am¬?ln_[rb[me4mk#e6®a®M¤¯7¤Q£[°{±O¤A²¡a¢¤]eQrb[mln_a}I_[§³mk#e'jQ_?]]eFpq´_a}7|?ln}#`µpe}7|?ln}#`p¶

·k#e6blnc¸_§¥mk/lpjQ_ac;c6o#}/ljb[mln_a}¹b[z7pm]b?jQmln_a}Ilpm_IjQ_aq7e6©lnmkmk#eI[ºs¯´»¢¡a¯´º_[§¨jQ_?c;¼

c6o#}/ljb[mln_a}WjOk7b[}#}#eQrpln}W|?lpmO]lnz#o#meF|Wp{MpmOecµp¶4·k/lp'b[z7p{m]bajQmln_a}k7bapz7ee}K|/eQ½7}#eF|¹§A_a]

|?lpm]{lwz#o#mOeF|¾p{MpmOecµp©lnmk#_ao#m]eFbsrw¼Am{lwcde|/eQr«ln¬ae]¾jQ_?}7pm]bln}/mp¶¿v}mk/lpq7b[q´e]8©eeQMme}7|

mk/lpbz7pm]bajQm{lw_?}µm_6jQ_aq7e4©ÀlwmOkµo#}#]eQr«lb[z/rne;jQ_ac;c6o#}/ljb[mln_a}}#em©_a]Á#p^©lnmkI]eFbrn¼Amlnc;e'|/e¼

r«ln¬ae]ÂjQ_a}7pm]Qbln}mpyÃ'c;eFpOpb[`aeFpÄk7bF¬?eµbK tÅ²¤FÆAÅÈÇ¤x³Éx^b§Ame]Y©k/ljkKmk#eQln];jQ_a}mOe}mpYjb[}K}#_

rn_a}#àe]6zéµo7peF|x¨c;_a]e_[¬ae]'p_?c;e;_[§mk#ecÊjb[}Ëzé;rn_p{mF¶Ì·k/lpY}#e©b[z7pm]b?jQmln_a}x³jbr«rneF|

É6¼»Qa?? 7¡a¢£a¤¢x[]eFÍ?o/ln]eFpm_4|/eQrtln¬ae]bapc6o7jOk6c;eFppb[`?eFp^bapq7_pOpÎlnz/rwe©lnmk/ln};mk#eQln]¨rtl«§Aemlnc;e

ln}Âpo7jkÂb©bÌmOk7b[m4mk#eFpe|/eQr«lw¬?e]lneFp6]eFpq´eFjQmjb[o7pbsrÏ_a]|/e]¶µhpÎlnc;q/rneIeQÐjOlne}mYlnc;q/rne¼

c;e}/mb[m{lw_?}lpq#]_aq´_peF|¶8Ñ¥Òbc;q/rneFp_[§Ï|?lpmO]lnz#o#meF|co/rnmlnc;eF|?lbÓ]eFbrn¼Amlnc;e;b[q#q/r«ljb[mln_a}7px

ln}Ì©k/lÔjOkËpjOk#eF|/o/rtln}#`c;eFpOpb[`aeFp|/eQr«ln¬ae]lneFp]eFp{q7eFjQmln}#`É6¼vjb[o7pbr_a]|/e]lpb;jQ]o7jOlbr³q´_[ln}m

§A_a]mk#e'Í?o7br«lnm_[§¥mOk#e'pe]¬?lÔjQeaxb[]e4`lw¬?e}¶

ÕÓÖ×ØÙ6ÚU[ÛaÝÜÏb[o7pbr_a]Q|/e]Fx7|?lpm]lnz#o#meF|¹p#pmecIpx/co/rnmlnc;eF|?lb#x´]eFbrn¼Amlnc;ea¶

Þàß6á

âãäFå

á

â^æ^çwãSèÈéFê

ëYìíAîYïsðOíAñÈòtðóôóöõ;÷AøïFï[ìQíAñAùSúdûõ'ñAüFùýnìOóôóöìþòöÿðO÷Èòù÷AùðíÎü ñÈòöìQÿ#íAìívð÷VìOý³ñAüFù#øíAìï[ùðOÿ

ìVøÿòöñÈõsñAüùÂïíAìAùñUøÿFúùSíSìQÿñAívðSñ! "$#%& '()+*,Vðÿú8ñAüù.-.'/0*ïíAìAùñUøÿFúùSí

ìQÿñAívðñ21!1! 3,4'65 27' 2-4*,8

9 5ÿóöùð:Qòöÿ;4ýníAì!XñAüù<7 òöïsðOíAñÈòùÿñAì'úò'/ÿyýnìíðOñÈò{ðù-Qòö÷AñAùòö÷AñÈòð4=6>¦ÿò:QùíA÷Èòöñõ6ìOý&ìð#%?/ð@-FðBA

ïyòöùSÿ;Cð,;=D/ñvð{óöõ8E*üyòö÷VðøñAüFìQí^òö÷Vð{óö÷Aì8÷AøïFï[ìíAñAùú;ûõ'ð<ívðOÿñ^ìýñAüFùGFDH4I

ãKJMLNJ HO2PQ

J

H4IP

Nöâ2RâNSNöâ

ß

JSTvâU0T%V[â

øÿFúFùíìÿñAívðñ)¦ì8MW!X8 ""!WY8M'*2Z"48

(5)

$4!8!0!1;´-Ï

ÖMÖ ôeQMmOe}7pÎln_a}%b[o/Âr«ln¬]Qblp_a}7pÌ|/e¹c;eFpOpb[`aeFp|/erbK]eQrb[mln_a}|/e¹q#]#~eFj´~eF|/e}7jQe

eQ/lpmb[}/m;e}/m]eIrneo#]pÂ~ec6lppÎln_a}7pIpöbq#q7eQr«rne¾_?]|/]eÌjb[o7pbsr ¶ÀÜVec;_#|/e¾|/eÌjQ_ac;c6o#}/ljb[mln_a}

q´e]c;emµ|/e]M~eF|/o/ln]eIröbap{}7jOk#]_a}/lpc;eÌ|/eIrbËjQ_?c;c6o#}/lÔjbmln_a} |#b[}7prweFpdpMp{myuec;eFp6|?lpm]{lw¼

z#o~eFp¶´ÜVemme4b[z7pm]QbajQmln_a}bË~em#~e|~eQ½7}/lweaxub4rô_?]ln`[ln}#eax#q7_ao#]rneFpp#pmFuec;eFpV|?lpmO]lnz#oÏ~eFp½Ub[z/rneFp

em;pb[}7p6jQ_a}/m]bslw}/meFpYmec;q7p{¼A]M~eeQrpo#]YrweFpÄr«ln¬]Qblp_a}7p¶V4b}7pjQem;b[]OmljOrweaxeQr«rneÌeFpmK~eme}7|/o#e

b½7}K|/e;q#]e}7|/]e;e}KjQ_ac;q#me6rneFpÄq7e]meFpY|/e;c;eFppOb[`aeFpemrneFp'jQ_a}/m]bslw}/meFpÄmec;q7p¼A]#~eeQr¨p{o#]

rneFpªrtln¬/]blp_a}7pÓÃrneFp6cdeFppb[`aeFpY_a}/m6o#}#eÌ|/o#]#~ee|/e¬?lweÌÉ b[q#]FueFprbaÍao#eQr«rnerneo#]p;jQ_a}/me}/o7p

|/e¬?lne}#}#e}m6pb[}7pb[o7jQo#}#e'o#ml«r«lnm#~e6q´_ao#]rne;|/eFpmln}7b[mQbln]ea¶Üemme4}#_ao#¬aeQr«rneµb[z7p{m]bajQmln_a}x´b[q#¼

q´eQr~ee'É6¼A_a]|/]Oe8jb[o7pbrvx#jQ_a}7pÎlpmOeªubY|V~eQr«ln¬]e]rnecµb/lwc6o#c|/ec;eFppb[`?eFpVb¬sb[}/m^rôeQ#q/ln]b[mln_a}

|/erneo#]À|/o#]#~ee8|/e¬?lne8mO_ao#mVe};]OeFpq7eFjQmb}m¨r_a]|/]e4jb[o7pbrUp{o#]^rneFp¨rtln¬/]blp_a}7py¶}Iq#]_am_#jQ_[rne

pÎlnc;q/rne4eFpmq#]_aq´_p/~eem|/eFpVeQ#ec;q/rneFp|öb[q#q/r«ljb[mln_a}7pmOec;q7p¼A]#~eeQr7co/rnmlncÂ~eF|?lb'}~eFjQeFppÎlnmb[}/m

|/eFpÀr«lw¬/]blp_?}7p8|/eYc;eFppb[`?eFp]eFpq´eFjQmb[}/mrneÉ6¼A_a]Q|/]e'jb[o7pbr³p_?}mq#]#~eFpe}/m#~eFpy¶

0Ú´FØ! "Ö Kco/rnmlncÂ~eF|?lb#x#_a]|/]Oe'jb[o7pbrvx7p#pmFuec;eFp|?lpm]lnz#o~eFpyx#mec;q7p¼A]#~eeQrv¶

(6)

8!$ I ^!$Ä

¿Î}m]O_M|/o7jQeF|dz¨ln]cµb[}Ib[}7|[_p{eq#kaM vx#»Qaaa #¡a¢£a¤¢¦lÔp_a}#e_[§Umk#ec;_pmln}/me]eFpmln}#`

b[}7|Á/}#_[©}ËjQ_ac;c6o#}/ljb[mln_a}Ëc;_#|/eFp4|/eQ½7}#eF|ln}Ë_a]Q|/e]8m_ÌjQ_?q7e6©lnmk¹mk#e[ºs¯´»¢¡a¯´º4_[§

jQ_acdco#}/ljb[m{lw_?} jk7b[}#}#eQrpYln} |?lpm]{lwz#o#mOeF|ÂpMp{mecµp¶ao7jk bjQ_ac;c6o#}/ljb[mln_a}Âc;_#|/eµk7b?p

z´ee} q#]_[¬aeF|¹mO_¾z´e¬ae]¹o7peQ§Ao/rbapYp__?} bapY_a}#edlpYln}mOe]eFpmeF|ln}Âmb[Á?ln}#`Ëp}7b[q7pk#_amQp4_[§

|?lpm]{lwz#o#mOeF|b[q#q/r«lÔjbmln_a}7pôhÎx[ln}jQ_?}m]O_[r«rtln}#`;|?lpm]lnz#o#meF|bq#q/rtljb[m{lw_?}7px?lw}Icµb[}7b`[ln}#`

]eq/r«ljb[meF|Â|#bmba/ b[}7|ln}Âbr«rw_[©ln}#`¹jQ_a}7pÎlpme}/m6_az7pe]¬[b[mln_a}7p4_§À|?lpm]lnz#o#meF|ÂjQ_?c;¼

q#o#mbmln_a}7pö·#fv¶Ïb?pÎljbr«rwÝlnm6§à]OeeFp'mOk#eq#]_a`a]bc;c;e]4§A]_ac ln}7jQ_a}7pÎlpmOe}7jOlweFp|/o#em_

m]Qb[}7pc6lppÎln_a}¹|/eQrbF#p_s¬?e]ÏmOk#e'|?lÔp{m]lnz#o#meF|¹p#pmecÌ¶

ÜÏb[o7pbr_a]|/e]c;eFb[}7pmk7b[mlt§m©Ï_;pe}7|#p4b]ejb[o7pObr«rw]eQrb[meF|bcs ¥b}7|ÌjQ_a}7jQe]}

mk#epb[c;e8|/eFp{mln}7b[mln_a}Iq#]_MjQeFpOpx[mk#e};mk#ejQ_a]]eFpq´_a}7|?ln}#`6c;eFppb[`?eFpVb[]e|/eQr«ln¬ae]eF|dln};mk#eQln]

pe}7|?ln}#`6_a]|/e]¶!ao7jkµb4jQ_?c;c6o#}/lÔjbmln_a};c;_#|/ek7bapz´ee}|/eQ½7}#eF|ª§à_?]¥|?lpm]{lwz#o#mOeF|µp#pmecIp

©lnmk#_?o#m]eFbrn¼Amlnc;e'|/eQr«ln¬ae]ÌjQ_a}7p{m]bln}/mp¶/¿v}q7b[]OmljQo/rÔb]Fx/lnmk7bapz7ee}Ìb?ppo#c;eF|Imk7bmÏcdeFp¼

pb`aeFpjb[}#}#_amz7eÄrw_/pmb[}7|;mO]b[}7pc6lppSlw_?}Ì|/eQrÔb#pb[]eo#}#q#]eF|?ljQmb[z/rne6z#o#m½7}/lnmea¶7\^]O_am_#jQ_[rp

lnc;q/rnec;e}/mln}#` mk/lpjQ_acdco#}/ljb[m{lw_?} c;_#|/e¹k7bF¬?ez7ee}Xq#]_aq´_peF|Ýln}"#$#fax·ÒfvÃ

bapq´_[ln}mOeF|Ì_?o#m8z/%&^e]Q['³mk#eFp{eq#]O_am_#jQ_[rp8b[]Oe}#_?mjQ_a}7jQe]O}#eF|Ìz/Ì]OeFbrn¼Amlnc;eYlÔpOpo#eFp¶¿v}

mk/lpdq7b[q7e]d©ÏeÌb]e;ln}/me]eFpmOeF|lw}X|/eQ½7}/ln}#` b¹}#_?mln_a}Â_[§jb[o7pObr8_a]|/e]x¥jbsrtrneF| É6¼»?aa

¡a¢£a¤¢xÒ§A_a]o#}#]eQr«lÔbz/rweI|?lÔp{m]lnz#o#meF|¹p#pmecµp©ÀlwmOk]eFbrn¼Amlnc;e|/eQr«ln¬ae]¹jQ_a}7pm]Qbln}mpy¶#¿v}mk/lp

pemOmln}#`Âc;eFppb[`?eFpµjb[}Xz´eÌrn_p{mÌb[}7| k7bF¬?e¾b tÅ²¤FÆAÅÈÇ¤xÏÉÓxÏb§Ame]I©k/ljk mk#eQln]Ì|#b[mbKjb[}

}#_¹rn_a}#`?e];z7eo7peF|¶^¿v}Â_?mk#e];©_a]|#px¦c;eFppb`aeFp6©k#_p{eµm]Qb[}7pc6lppÎln_a}X|/eQrbF#p;b[]Oeµ`a]OeFb[¼

me]mOk7b[}É+b[]eËjQ_a}7pÎl|/e]eF|b?pbajQmo7br«rn rw_/pmF¶(e}7jQeaxÀ§à_a]Ìbc;eFppOb[`ae*)mk#elw}7p{mb[}/m

+ , -.0/1-32546/

)

,87'9

);:XÉ jb[}Ëz´ep{ee}Wbap'b|/eFba|?r«ln}#eÌb§àmOe]4©k/ljk<) öp'jQ_?}me}/mlpY_az#¼

p_rwemOea¶UÉ6¼»Qa?? ³¡a¢£a¤¢]eFÍ?o/lw]OeFpm_|/eQr«ln¬ae]'bapc6o7jOkÌc;eFppOb[`aeFpbapq7_/ppÎlnz/rnez´eQ§à_?]e'mk#eQln]

|/eFba|?r«ln}#eFpln}¹po7jkÌbª©Àb;mOk7b[mmk#eFpe'|/eQr«ln¬ae]lneFp]eFp{q7eFjQm4jb[o7pbr³_?]|/e]F¶

·_ jb[q#mOo#]e¹mk#eËjb[o7pbr«lnm ]eQrb[mln_a}0b[c;_a}#`Kc;eFppb`aeFpI©lnmk#_ao#m]eFbsrw¼Am{lwcdeW|/eQr«lw¬?e]

jQ_a}7p{m]bln}/mpx´¬aeFjQm_a]mlnc;eFpmbc;q7p_?]8cµbm]ljQeFp_[§ÏpeFÍ?o#e}7jQe6}o#c6z7e]Qpk7bF¬?e'z7ee}o7peF|Ólw}

q#o#]eIjb[o7pbr^_a]|/e]q#]_am_#jQ_[rp=#$#fax·Òfv¶>ao7jk¹rn_a`lÔjbsr^lw}/§A_a]cIb[mln_a}Ëjb[}#}#_am4jQ_aq7e

©lnmk¹]eFbsrw¼Am{lwcdeµp#pmecµpÀln}¾©k/lÔjOkËmk#e6}#_am{lw_?}¾_§Vq#k#pÎljbrVmlnc;eYlp]eFÍ?o/lw]OeF|ln}¾_?]|/e]4m_

jOk#eFjÁm{lwcªlw}#`IjQ_a}7pm]bslw}/mp_?}c;eFppb[`?eFpÏ|/eQr«ln¬ae]lneFp=&^e]Q['v¶/hrnmk#_ao#`?kx7o#}/§A_a]mo#}7bmeQrnax/lnm

lplnc;q´_ppÎlnz/rneIm_µk7b¬ae6bjQ_ac;c;_?}Ìq#k/MpÎljbrjOrn_MjOÁln}WbI|?lpm]lnz#o#meF|Kp#pmecÌx´mk#e]e6eQ/lÔp{m

jOrn_#jÁËp/}7jk#]O_a}/l@?Fb[mln_a}Ëq#]_?m_MjQ_rÔpmOk7b[mbsrtrn_[© br«rVmk#e6q7b[]m{lÔjOlnq7b[}/mpYbajQ]_ppbI|?lÔp{m]lnz#o#meF|

p#pmec m_µb[`a]Oee8_a}ÌbdjQ_ac;c;_a}ÌjOrn_#jÁ¬[brno#e'©k#_/pe'|/]l«§àm©lnmk]eFp{q7eFjQmm_6q#k#pÎljbr^mlnc;e

]ecIbln}7p8brn©bMpz´_ao#}7|/eF|BADCU?x$EÓl«r#f Î¶

É6¼vjb[o7pbrV_?]|/e]'jQ_ac;c6o#}/ljb[mln_a}Kc;_#|/e6lp4q7b[]m{lÔjQo/rb[]{rwo7peQ§ào/r^§A_a]IÇ/ «ÆAÅÇ6¤Q£aÅÈÌ¢¤? ö°

ÆAÅÈÇ6¤»¡a È «±O¡a¢aÆAÅ¤Q®a®U «ÅÈ»?ÆAÅ¡a¯ÒF&GVb¬#a V_a]DH?¢¡a®I^a¢¤Ì¢¤? ö°ÆAÅÇ6¤IQ®a®U «ÅÈ»?ÆAÅ¡a¯ÒBAJE¹[

po7jOkWbapÄmeQrneFjQ_a}/§Ae]e}7jOln}#`7x^pk7b[]eF|¹©Àlw}7|/_[©3pMp{mecµpx´¬al|/e_aq#k#_?}#eÌpMp{mecµp4b[}7|Ëjbmbrn_a`

z#]_[©8pSlw}#`6pe]¬?ljQeFpxa©k#e]Oeq7b[]mljOlnq7b[}/mp^}#eeF|dm_4eQ7jk7b}#`ae]eFbrn¼Amlnc;e6a/£aÅÈ¡8b[}7|Å£?¤¡Àlw}#¼

(7)

§A_a]cµbmln_a}7pvcdeFppb[`aeFp³_[¬ae]Ïb6jQ_acdco#}/ljb[m{lw_?}}#emS©_a]OÁU¶[¿Î}po7jOkÌb[q#q/r«ljb[mln_a}7pb6p_?o#]jQe

`ae}#e]Qb[meFpVb7_[© _[§c;eFppOb[`aeFp©lnmkI©k/ljkdlpbapp_#jOlb[meF|;bÄcµb/lwc6o#}Im]b[}7p{c6lppÎln_a}µ|/eQrb

mk7bmc6o7pmz7e6]eFp{q7eFjQmeF|Óm_µpb¬ae4mk#eY]eFbrn¼Amlnc;eYln}mOe]bajQmln_a}¹b[}7|mk#e6Íao7bsrtlnm_[§^mk#ep{e]¼

¬?ljQeFKb[ÁM v¶ E_a]e_[¬ae]xFpo7jOkµb[q#q/r«ljb[mln_a}7pcµb'm_rwe]Qb[meb}o#c6z´e]^_[§7rn_pm^cdeFppb[`aeFp^b?p

rn_a}#`6bapmk#eFpern_ppeFp|/_4}#_amVjb[o7pebcµbS_?]¥|/e`a]Qba|#b[mln_a}6_[§mk#eQln]Ïpe]¬?ljQeFp ([#x#e]'v¶

Ò_a]VeQ7b[c;q/rneln}µmOeQrweFjQ_?}/§àe]e}7jOln}#`p#pmecµpx?mk7b[m¨lÔp_a}#e_[§mk#ec6o/rwm{lwcdeF|?lÔbdpe]¬?lÔjQeFpÀmk7b[m

}#eeF|#pmk#e6pm]_?}#`aeFpm8|/eQr«ln¬ae]ËjQ_a}7pmO]bln}mQpx7b[}¹b[}7brn_a`[ljY¬al|/e_ÌpÎln`a}7bsr³lppb[c;q/rneF|¹b[mmk#e

p_?o#]jQepSlwmOeb[}7| q#]_M|/o7jQeFpdbÌjQ_a}/mln}o#_?o7p7_[© _[§c;eFpOpb[`aeFp¶¦¿v}K_a]|/e]Ym_Ì]eFjQ_?}7pm]o7jQm6b

k/lnàk¹Íao7br«lnmb}7brn_a`[lj4pÎlnà}7br¥bmÏmOk#e|/eFpm{lw}7bmln_a}¾pÎlnme'b}7|Im_6k7bF¬?ebYà_/_M|dln}/me]bajQm{lw¬?lnmax

c;eFpOpb[`aeFppk#_ao/r|z7e6|/eQrtln¬ae]OeF|ln}¾mOk#e'_a]|/e]mk#e©e]epe}/m4b[}7|©lnmk/ln}Ëb6©eQr«rn¼v|/eQ½7}#eF|

|/eFba|?r«ln}#evo#}7|/e]';cµp{eFj[¶´§à_a]4¬?l|/e_ÌpÎln`a}7brp!$[ Q¶ EeFppb`aeFp_ao#m_[§Ï_a]Q|/e]4_a]8_?o#m

_[§mk#eQln]r«l«§àemlnc;e4c6o7pmz7e4|?lpjb[]|/eF|pÎln}7jQe4mk#eQln]|/eQrtln¬ae]{lweFpjQ_ao/r|Ik7b[]|?rnµ|/emOe]ln_a]b[memk#e

Í?o7br«lnmSY_[§7mk#epe]¬?ljQe( [#x GVb¬Ma v¶'(e}7jQeaxlwm^k7b?pz´ee}ªb]`ao#eF|Äln} Wb[Á# /mk7b[mFxy§A]_ac

mk#eq7_lw}/m_[§¬?lne©_[§³jQ_ac;c6o#}/ljb[mln_a}}#em©_a]Á#px[_a}#e_[§³mk#ec;_a]Oe8jk7bsrtrne}#`[ln}#`Iq#]_az/rnecµp

ln} |/e¬?eQrw_?q/lw}#`Âc6o/rnmlnc;eF|?lbK]eFbrn¼Amlnc;e¹b[q#q/r«ljb[mln_a}7pªlÔpdm_WjQ_?q7e©lnmkÝrw_/pp6_[§4c;eFppb`aeFpx

_a]Q|/e]ln}#`W_[§4c;eFppOb[`aeFp;b[}7| b[]z/lnm]b]WmO]b[}7pc6lppSlw_?} |/eQrÔb#p¶É6¼vjb[o7pbr_a]|/e]6lpIb¹¬ae]

q´_s©e]§Ao/r³m_/_[rm_µjQ_?q7e4©lnmk¹po7jkÌbªq#]_az/rnecÌ¶

·k#e¹q7b[q7e]ÓlÔpp{m]o7jQmo#]eF|Ýln}X§A_ao#]Icµbln}%peFjQmln_a}7py¶aeFjQmln_a}Kq#]eFpe}/mpImk#e¹c;_#|/eQr

_[§bap/}7jk#]O_a}#_ao7p|?lÔp{m]lnz#o#meF|eQMeFjQo#mln_a}7py¶aeFjQmln_a}%d`[ln¬aeFpmk#eY§à_?]cµbrV|/eQ½7}/lnmln_a}Ë_[§É6¼

jb[o7pObr_a]|/e]F¶3aeFjQmln_a}'q#]eFp{e}mpbYq#]_amO_MjQ_[r#lnc;q/rnec;e}/mln}#`Imk/lpÏjQ_?c;c6o#}/lÔjbmln_a}c;_#|/ea¶

¿Împ§A_a]cIbrUq#]_/_[§^_[§VjQ_a]]eFjQm}#eFpOplp8pk#_[©}Iln} aeFjQmln_a}#¶

$ ;¾$ I´!IY! '!$Ä

! #" $&%('*)+%(,.-/)02143.+5767+8:9;'

h |?lpm]{lwz#o#mOeF| q#]O_a`a]b[c lÔpIbËpem=< _§

-

p{eFÍao#e}/mlbr4q#]_MjQeFpOpeFp=>?<!@*AB<DC?AFE*EFEGAB<HJI¹mk7b[m

jQ_acdco#}/ljb[mOe¾b[}7|Âp/}7jOk#]_a}/l@?e¹_a}/rnÂzKeQÒjOk7b[}#`[ln}#`Kc;eFppb`aeFp¶^·k#eÌo#}7|/e]{rw?ln}#` p#p¼

mecx©k#e]e'|?lpm]lnz#o#meF|Óq#]_a`a]bcµp^eQ#eFjQo#meax?lpjQ_ac;q´_peF|I_[§

-

q#]_#jQeFpp_?]pKA§à_?]ÏpÎlnc;q/r«ljOln¼

möppb[Áaeax/©e'bappo#cde8_a}#e4q#]O_MjQeFppÀq7e]q#]_#jQeFpp_?]LVmk7b[mjb[}eQ7jOk7b[}#`ae4c;eFppOb[`aeFp¶MXk#e}

bIc;eFpOpb[`ae6b[]]ln¬aeFp_a}¹bjk7b}#}#eQrx´lnm'jb[}¹z´eª|/eQr«ln¬ae]eF|Kbapp_/_a}Ëbap8bI|/eQr«ln¬ae]WjQ_a}7|?lnmln_a}

z´eFjQ_ac;eFpm]o#eNMlw}¹b[}¾b?p}7jOk#]_a}#_?o7pp#pmec©lnmk}#_p{q7eFjOlbrVjQ_a}7pm]bslw}/mp_?}¾|/eQr«ln¬ae]lneFp E

mk/lpjQ_?}7|?lwm{lw_?}IlÔpbrn©bMp¨m]o#ea¶MËe4bappo#cde8mk7bmVeFbajOkµq7bslw]_[§q#]_#jQeFppeFpÏlÔpjQ_a}#}#eFjQmOeF|Iz

b[}Ìb?p}7jOk#]_a}#_?o7pÏb}7|;o#}#]eQr«lb[z/rneYrn_a`[ljbr³jk7b}#}#eQrOvc;eFppOb[`aeFpVjb}µz´erw_/pm8b[}7|dm]b[}7p{c6lp¼

pÎln_a}|/eQrbMp_[§}#_a}6rn_p{mVc;eFppOb[`aeFpVb]eo#}#q#]eF|?ljQmb[z/rne?¶#\¨]_MjQeFpOp_a]p|/_'}#_amk7bF¬?e8b'pk7b]eF|

c;ecd_a]b[}7|Imk#e]eÄlÔpÀ}#_µz´_ao#}7|I§A_a]mk#eQln]8]OeQrÔbmln¬aepq´eeF|#p¶

9

QPFðïóöù÷ìý7÷Aï[ùÎòtðó(ìQÿF÷AñAívð{òöÿñA÷òöÿ8úùÎóôò:ùíÈòöù÷ÏðOíAùDRFýnììíAúùí= ðOøF÷vð{ó(5íAúFùí¥ðOÿFúS A0ðø÷vðó#ìQíAúFùí8

(8)

! $&%('*)+%(,.-/)02140

0J- ) %#5O'

Ñ¥MeFjQo#mln_a} _[§'b¹q#]_#jQeFpp;q#]O_M|/o7jQeFpIbËpeFÍ?o#e}7jQeÌ_[§4e¬ae}/mp6©k/ljOk jb[} z7e¹jOrÔb?ppÎl«½7eF|XbapÃ

¤F¯´£8e¬?e}mpyx7£a¤ tÅF¤¢ºe¬ae}/mpb[}7|¹Å¯´ÆA¤F¢Q¯7a [e¬?e}mpy¶h}dlw}/me]}7bsr e¬?e}mcµbµjOk7b[}#`ae_a}/rn

rn_#jbr¥¬[b[]lb[z/rneFpLNpe}7|_?]À|/eQr«ln¬ae]e¬ae}/mpln}¬?_[rn¬aejQ_acdco#}/ljb[m{lw_?}¶7·k#ejbo7pbr³_a]Q|/e]ln}#`

_[§Ve¬?e}mpÏlw}Ëb;|?lpmO]lnz#o#meF|eQMeFjQo#mln_a}lpz7bapeF|_?} b[cdq7_a]m öpQ®?®M¤F¯´¤£°{±O¤A²¡a¢¤]eQrb[mln_a}

¦b[cs ^|/e}#_ameF|X¶#¿A§ b}7|'b]e4m©Ï_de¬ae}mQpmk#e}lW_?}#e'_[§Vmk#eFp{ejQ_a}7|?lnmln_a}7p

lpm]o#eaÃ

Ib[}7|4b[]eq#]_M|/o7jQeF|_a}mOk#e'pb[c;e4q#]_#jQeFpp©lnmkª½7]pmFN

+ , - . )4lp6mOk#e¾pe}7|Ke¬ae}/m;_[§'b¹c;eFpOpb[`ae)+b[}7|

.0,/!,! #"

)lpdmk#e

|/eQr«lw¬?e]Ìe¬ae}/m_[§mk#epbc;e8cdeFppb[`aeN

$

mk#e]eYeQlpmQpb[}e¬ae}/m&%4po7jOkÌmk7bm'%b[}7|%([¶

ao7jOk b¹]OeQrÔbmln_a} br«rn_[©8p6m_]eq#]eFpe}/mµbË|?lpm]{lwz#o#mOeF|ÂeQ#eFjQo#mln_a}7pµb?p;b¹q7b[]m{lÔbsrÀ_?]|/e];_[§

e¬ae}/mpx´jbr«rweF|*)+,;-+ A. V©k#e]e/+ lÔpmk#e'pem_[§¨bsrtre¬ae}mQp¶$(e]eFbs§àme]x©e'jbr«r10 2)+

mk#e'p{em_[§¥br«r³cdeFppb[`aeFpeQ7jk7b}#`aeF|Iln} +) b}7|I©Ïe'|/_6}#_amjQ_a}7pÎl|/e]ln}/me]}7bre¬ae}/mppSlw}7jQe

bajQmOo7br«rwmOk#eÌ|/_;}#_am8beFjQmmk#e'jb[o7pObr³_a]|/e]{lw}#`d_[§¥e¬?e}mpy¶

! 3 4%5 0Q) %#940 5658 9;02'?'?8:60

·k#eYr«l«§àem{lwcdeax³Éx´_[§Ïbdc;eFppb[`?e'lpmk#eYq#k#pÎljbrVmlnc;e;|/o#]bmln_a}xb§Ame]lnmp4pe}7|?ln}#`Ìm{lwcdeax

|/o#]ln}#`Â©k/ljOkpo7jkXbËcdeFppb[`aeÌjb} z7e¹o7peF|ÝzKlnmpI|/eFpmln}7b[m{lw_?} q#]O_MjQeFppy¶^h c;eFppb`ae

mk7bm8b[]]ln¬aeFpb[mlnmp|/eFp{mln}7b[mln_a}¾bs§àme]lnmpr«l«§Aemlnc;eYlÔpÀo7peQrneFpp8b}7|Ico7p{mÏz´e|?lpjb[]Q|/eF| N#§A_a]

q#]_#jQeFppeFppo7jOkÌc;eFpOpb[`aeFpb[]e'bajQmOo7br«rwIrn_p{mF¶7h0c;eFppOb[`ae'mOk7b[m8b[]]{lw¬?eFpb[mlnmp|/eFpmln}7b[mln_a}

©lnmk/ln}¹lnmpr«l«§Aemlnc;eµc6o7pmz7eI|/eQrtln¬ae]OeF|Ëb[mmk#e6mb[]`aemq#]_#jQeFpp©lnmk/ln}Ëmk#e6eQ#q/ln]b[mln_a}¹_[§

lnmp¥rtl«§Aemlnc;ea¶J#_a]VpSlwcdq/rtljOlnm ppb[Áae©ebappo#cde8bo#}/lÍao#er«lt§Aemlnc;e§A_a]Vbr«r7mk#ecdeFppb[`aeFp. lw}

jbap{eÏ_§Umq´eFp_[§7c;eFppOb[`aeFp¦©lnmkµ|?le]e}mr«l«§Aemlnc;eFp^©ejb[};bappo#cdeÏmOk#eÏcªlw}/lnc6o#cbc;_a}#`

mk#ecÊbapÄmk#e;o#}/lÍ?o#eIrtl«§Aemlnc;em_z7eI]eFpq7eFjQmOeF|Ëz/Wbr«rÏmOk#e;c;eFppb`aeFp ¶¦hplw}7|?ljb[mOeF|lw}

mk#eln}/m]_#|/o7jQmln_a}xÒ§à_a]b'cdeFppb[`aeD) mOk#elw}7p{mb[}/m

+ , - .!/-32 46/

) , 79

) :WÉlpb?jQmo7br«rnÌb

|/eFba|?r«ln}#eµb§Ame]©k/ljOkÌmk/lpc;eFppb[`?elÔpÀo7peQrneFpp§A_a]mOk#e'|/eFpmln}7b[mln_a}q#]_MjQeFpOp¶

¿v}¹c6o/rwm{lwcdeF|?lÔbp#pmecµpx´mk#eYr«l«§àemlnc;ed_[§ÏbIc;eFppb`ae4lpmk#e6cµb/lnc6o#c m]b[}7pcªlÔpOpÎln_a}

|/eQrb;mk7b[mb[}b[q#q/r«lÔjbmln_a}Ìjb[};m_rwe]Qb[mezéQ§à_a]Oe|/eQr«ln¬ae]ln}#`b4c;eFppOb[àezéQ§à_a]Oe8mk#eÍao7br«lnm

_[§lnmp6pe]¬?ljQeÌ|/e`a]ba|/eFpy¶³·k/lp6|/eQrbF lÔp6pmO]ljQmrnWjQ_a}#}#eFjQmeF|m_ÌmOk#eµm/q7e;_[§c6o/rnmlnc;eF|?lb

b[q#q/r«ljb[mln_a}7py¶!#_?]8eQ7b[c;q/rneaxÒlw}¹meQrneFjQ_a}/§Ae]e}7jOln}#`¹mk#e'cIblnc6o#c rtl«§Aemlnc;e6§A_a]4b[o7|?ln_Ìb[}7|

¬?l|/e_c;eFppb[`?eFp^lp6cIpeFj[¶@!$ /Sb[}bajjQeq#mbz/rwe6_a}#elpYfF6cIpeFj[¶ ö x/¬al|/e_a¼

q#k#_a}#eFp4p{MpmOecµpcIbFIm_[rne]bmebYr«l«§Aemlnc;e;_[§ 6cµpeFj[¶nx´}#_a}#¼Èln}/me]bajQmln¬ae6¬?l|/e_p#pmecIp

(9)

k7b¬aeËbr«l«§àemlnc;eK_[§µfËpeFj[¶b}7|jb[mbrn_a`Kz#]_[©8pÎln}#` pe]O¬aljQeFpk7b¬aeËbr«l«§àem{lwcdeË_[§ªÂp{eFj[¶

ö#Ï #x2#e]Q v¶

! (5,O8&#5

¿Î}¾_?]|/e]m_;e}7p{o#]e6mk#e']eFp{q7eFjQm_[§¥]OeFbrn¼Amlnc;e;|/eQrtln¬ae]O¾jQ_a}7pmO]bln}mQpx#q#]_#jQeFppeFpb[]e4e}7|/_a¼

©eF|©ÀlwmOk¾bd`[rn_az7br¥jOrn_#jÁ¬sbrno#e6©k#_pe'|/]{lt§Am©lnmk¹]eFpq7eFjQmm_;q#k/#pÎljbr¥m{lwcde4lpz´_ao#}7|/eF|

b[}7|K©k#_peI`a]b[}/o/rb[]lnm b}7|Ëq#]eFjOlpÎln_a} 8/ax ^e]Q[ Ïb]ep{o7jkKmk7b[m;br«rmk#ejb[o7pbr«rn

|/eq´e}7|/e}m4e¬ae}/mpb[]e4q#]_#|/o7jQeF|Ìbm8|?l e]Oe}mmlnc;eFp¶ E¹b[}/jOrw_#jOÁ¾p/}7jk#]O_a}/l@?Fb[mln_a}Ìq#]O_a¼

m_#jQ_[rp^k7b¬aez´ee}µ|/eFpjQ]lnz7eF|dln};mOk#er«lwmOe]b[mo#]eb[}7|6p_ac;e_[§mk#ecb[]OeÀjQo#]O]e}m{rw6o7peF|db[}7|

q#]_[¬?l|/e'b'`rw_?z7br³jOrw_#jOÁp/}7jOk#]_a}/l@?Fb[mln_a}mk7bmVz7_?o#}7|#pmk#e4jOrw_#jOÁ|/]l«§Am¬sbsrwo#eaxx/©lnmk/ln}Ìb

§Ae©%cªltr«r«lpeFjQ_a}7|#p [¼f*6cµpeFj[¶BA CUaaxEÓl«rÔÒf v¶Q lnmk#_?o#mrn_pp_[§V`ae}#e]Qbr«lwmax´©ebapp{o#c;e

ln}ÌmOk#e4§A_[r«rw_[©ln}#`Imk7b[mÀlÔpÏlw}7jQ_?]q7_a]Qb[meF|Iln}mk#er«lt§Aemlnc;e;É3_[§^mk#e4c;eFpOpb[`aea¶

- V¹$8 dÏ3d7! ^!$4

3/ #" 8 -.' 857+1O02+

_amln_a}Ë_§jbo7pbrV_a]|/e]Yk7bapz7ee}ln}mO]_M|/o7jQeF|z/5¨ln]cµb}Wb[}7|[_peq#k¹ln} a/(Nmk/lp

}#_am{lw_?};]eQr«lneFpV_?}ªb]OeQrtlb[z/rne4jQ_ac;c6o#}/ljb[mln_a}p#pmec Sbr«r#mk#ec;eFpOpb[`aeFp©l«r«rUz´ee¬ae}/mo7br«rn

|/eQr«ln¬ae]eF| Ìb[}7|X}#_Âz´_ao#}7| lÔplnc;q7_p{eF|X_a}c;eFpOpb[`aeFpI|/eQr«lw¬?e]lneFp vm]b}7pc6lppÎln_a}|/eQrbMp

b[]OeÌo#}#q#]eF|?ljQmb[z/rneKz#o#m;½7}/lnme?Q¶'V?aa ¡a¢£a¤¢µpmQb[meFp6mk7bm6§à_?]b[}/Âq#]_#jQeFppdmk#eÌ_a]Q|/e]

ln}Ë©k/ljOklwmlp4|/eQr«lw¬?e]eF|¹c;eFppOb[`aeFpjb[}#}#_am¬aln_[rb[me6mk#edQ®a®#¤F¯´¤£[°±¤²¡?¢S¤]eQrb[m{lw_?}¾_§Vmk#e

jQ_a]O]eFpq7_?}7|?lw}#`Ìp{e}7|?lw}#`/p¶ E_a]Oe§A_a]cµbsrtrnax

IÖ

Ú' y ;sÛ¦Ö#"!Ã £aÅÔÆA¢QÅA±/ÆA¤£»¡aÇ®U/ÆAaÆAÅÈ¡a¯ +) ¢¤Î®M¤Q»FÆÈ'»Qa?? ³¡a¢£a¤¢6Å²

²¡a¢'?¯7º;ÆI^¡Ç6¤Q Ha¤y )¹fIa¯7£=)$#0 )+ I^¤'/ F¤&%

('

+ , -.

)¹f?

+ , -.

)M8Û )¹f&) ) F¤ÆÈ/¤IaÇ6¤I£a¤ÆAÅÈ¯7aÆAÅÈ¡a¯Ó®U¢¡[°

»¤y*)

&+UÖ

.!,! / 0,

)¹f?

.!,!/ 0, )M

h3½7]pmÄlwcdq/rwecde}mbmln_a}Â_[§8po7jOk b[}Wb[z7pmO]bajQmln_a}Kk7bap4z´ee}Âec6z7eF|#|/eF|ln}Âmk#eI¿ a¿

p#pmec a/³b}7|]eFjQe}/mrnax7cd_a]e4]eQ½7}#eF|q#]_amO_MjQ_[rplnc;q/rnec;e}/mln}#`¾jbo7pbr³_a]Q|/e]k7b¬ae

z´ee}¾q#]O_aq7_p{eF|*#$#fax´·#fÎ¶ao7jklnc;q/rnec;e}/mb[mln_a}7p4b?|#|Ìb6q#]_?m_MjQ_r³_[¬ae]mk#eY_a]ln¼

`[ln}7bro#}7|/e]rn?ln}#`µp#pmecp{o7jk;mOk7b[mÏjb[o7pObrU_a]Q|/e]^lp}#e¬ae]V¬?ln_[rb[meF|Ib[mVmk#eq#]_MjQeFpOp^rne¬aeQrv¶

bapÎljbr«rnax7|/eQr«ln¬ae]lneFp_[§c;eFppb[`?eFp^m_Ymk#eq#]_#jQeFpp¨rne¬aeQr³b[]e8|/_a}#ez/ª|/eQrb?lw}#`dmk#_pecdeFp¼

pb`aeFpb[]]{lw¬?eF|Im__deFb[]rnbmmk#e4o#}7|/e]rn?lw}#`Ìp{MpmOec3rne¬aeQrv¶

(10)

i j pk p p

m i

j pk p p

(b) (a)

m m

m

Message discarded Message delivery

1

2 2

1

3 3

¦ln`ao#]e;f?Ã7É6¼vjb[o7pbsrtrn_a]Q|/e]eF|ÌjQ_acdco#}/ljb[m{lw_?}7p

3/ J8 -.' 857+1.02+

h4pln}7|?ljb[meF|q#]Oe¬aln_ao7pÎrnÌjb[o7pObr_a]|/e]jb[}Ìbrn©bMp¨z7e'_ e]OeF|;m_6q#]_#jQeFppeFp¨ln}¾bY]eQr«lb[z/rne

}#_a}X]eFbsrw¼Am{lwcde p{MpmOecÌ¶VÑVb?jk c;eFppb[`?elpµb?pp_#jOlÔbmeF|Â©lnmkbK|/eQr«lw¬?e] jQ_a}7|?lnmln_a} mk7b[m

©l«r«r8z´eFjQ_ac;eÌmO]o#ep{__a}#e]6_a]Yrb[me]¶³¿Î} b¹pMp{mec ©lnmkÂ]eFbrn¼Amlnc;eÌ|/eQr«ln¬ae] jQ_a}7p{m]bln}/mpx

©e'k7b¬ae4mO_;mb[Áaeln}/m_bajjQ_ao#}/mmk7b[mcdeFppb[`aeFpjb[}Ìz´e|?lpjb[]|/eF|Ól«§Vmk#eÌb[]O]ln¬ae'b[mmk#eQln]

|/eFpm{lw}7bmln_a}7pÌb§Ame]Imk#eÌeQ#q/ln]b[mln_a} _[§'mk#eQln]Ì|/eFba|?r«ln}#eFp¶8·k/lpIc;_?mln¬sb[meFpImOk#e§A_[r«rw_[©ln}#`

|/eQ½7}/lnmln_a}¹_[§VÉ6¼vjb[o7pbsr³_a]|/e]F¶

IÖ

Ú «ÉªØ Y y ;[ÛÖ# !Ã3£aÅÔÆA¢QÅà±yÆA¤Q£;»Q¡aÇ®U/ÆAaÆAÅ¡?¯,)+ ¢¤Î®M¤Q»FÆÈÉI°S»Qa?a ¡a¢O°

£a¤¢'Å² %Å¦a È Ç6¤Q Ha¤Å¯ 0 2)+ªÆÈ/aÆa¢¢QÅF¤DI^ÅÈÆÈÅÈ¯É a¢¤6£a¤F «ÅF¤F¢¤Q£I^ÅÈÆÈÅ¯IÉ )Va È

ÆÈ¤;¡aÆÈ/¤F¢O'a¢¤¯´¤ ¤F¢4£a¤ tÅF¤¢¤£ÎÆÈ¤ºµa¢¤6 «¡[ÆV¡a¢4£aÅÔ»a¢£a¤Q£

ÅÅa È £a¤ tÅF¤¢ºd¤ F¤¯7ÆÈ4¢¤Î®M¤Q»FÆV»Qa?? U¡?¢S£?¤F¢L

_amOeVmk7b[m^É6¼vjb[o7pObr_a]|/e]c;eemp^jbo7pbr_a]Q|/e]¥|/eQ½7}/lnmln_a}I©k#e}jOk7b[}#}#eQrpVb]eV]eQr«lb[z/rne

b[}7|É3lp`a]eFb[mOe]mk7b[}¹b[}Ic;eFppOb[`ae4m]b}7pc6lppÎln_a}¹|/eQrÔb_s¬?e]mk#e'|?lpm]lnz#o#meF|pMp{mecÌ¶

E_a]e_[¬ae]xVÉ+jb[}Xz7e¹q#]bajQm{lÔjbsrtrnjQ_a}7pÎl|/e]eF| bapµbKmOo#}/lw}#`ÂÁ/}#_azXmk7b[mdln}M7o#e}7jQeFpmk#e

}/o#c6z7e]^_[§#c;eFppb`aeFp³|?lpjb]|/eF|Y©k/l«rwee}7po#]{lw}#`'|/eQr«ln¬ae]lneFp¨]eFpq7eFjQm^jb[o7pbsrM_a]Q|/e]F¶F¦ln`ao#]ef

pk#_[©8p¨m©Ï_4eQ7b[c;q/rneFp_[§³É6¼vjb[o7pObr«rwI_a]|/e]OeF|µjQ_acdco#}/ljb[m{lw_?}7px[ln}=¦lw`?o#]ef?¶ôz;e¬ae}/mpVb]e

É6¼vjbo7pbr«rnµ_a]Q|/e]eF|µpSlw}7jQeD)¹flp|?lpjb[]|/eF|¶J¦ln`ao#]e4Yq#]eFpe}/mpeQÒb[cdq/rweFp_[§¬aln_[rb[mln_a}I_[§

É6¼vjbo7pbr³_a]Q|/e]FÃ7jQ_a}7|?lnmln_a}

/

v]eFp{q#mF¶

/ /

lp¬aln_[rb[meF|ln}¦ln`ao#]e6#¶öb v]eFpq#m¶ ¦ln`ao#]Oe#¶ôz Q¶

(11)

i

j

pk p p

1 m3

m m2

i

j

pk p p

m

1

m m

2

3

(a) (b)

¦lw`?o#]e#Ã_a}#¼vÉ6¼vjb[o7pObr«rw_a]|/e]eF|jQ_?c;c6o#}/lÔjbmln_a}7p

d$!$ V$ÄË1 I12À8!

- V6UÓ$ ;

h} lwcdq/rwecde}mbmln_a}_[§É6¼vjbo7pbr4_a]|/e]jQ_ac;c6o#}/ljb[mln_a}Xc;_#|/e jQ_?}7pÎlpmpdln}ba|#|?ln}#` b

q#]_?m_MjQ_r _[¬ae]mk#e_a]ln`[ln}7bro#}7|/e]rnaln}#`p#pmecpo7jOkmk7b[mVe¬?e}mp_[§^|?lÔp{m]lnz#o#meF|jQ_ac;q#o#¼

mbmln_a}7p4z´eµÉ6¼vjb[o7pbsrtrnË_?]|/e]eF|Ëb[m4mOk#e;q#]_#jQeFpprne¬aeQrv¶hm4mk#e;o#}7|/e]{rw?ln}#`Wp#pmec rwe¬?eQr

mk#]Oeeµm/q7eFp4_§Àe¬?e}mpYb[]eµb?pp_#jOlÔbmeF|Ë©ÀlwmOkWeFbajOkËc;eFpOpb[`aeaÃ¨¤¯7£ax^a¢Q¢QÅa ³b[}7|Ý£a¤F «ÅF¤F¢Qº

v_?}/rw¹¤F¯´£'b[}7|¹£a¤ «Å¤F¢Qº8e¬?e}mpb[]e4¬?lÔpSlwz/rne;mO_q#]O_MjQeFpp{eFp ¶7o#eYm_µ|/eQr«ln¬ae]ÌjQ_a}7pmO]bln}mQp

lnc;q´_peF|¹z/¾É6¼vjbo7pbr^_a]|/e]Fx´©k#e}Ëb;cdeFppb[`ae6b[]]ln¬aeFpeQlnmk#e]4lnmlp4|?lpjb[]|/eF|&Al«§lwm4k7b?p

c6lpp{eF|dlwmQpV|/eFba|?r«ln}#e?V_a]¨lwmjb[}Iz7e4|/eQrbaeF|;o#}/ml«r7lnmp|/eQr«ln¬ae]jQ_a}7|?lnmln_a}Iz7eFjQ_ac;eFpm]Oo#e Al«§

mk#ec;eFppOb[`ae4b[]]ln¬aeFp©lnmk/ln}Ilnmp|/eFba|?r«ln}#e'z#o#mp_ac;eax/}#_amaemb[]]ln¬aeF|x?c;eFppb`aeFpjb[o7pbr«rn

q#]eFjQeF| lnmªb}7|Kmk#eQln]µ|/eFba|?r«ln}#eFpIk7bF¬?eµ}#_am6aem6eQ#q/ln]eF| ¶^h}ÂeQÒbc;q/rne_[§pjOk#eF|/o/r«lw}#`K_[§

c;eFpOpb[`aeFp|/eQr«ln¬ae]lneFpx|/o#eYm_;É6¼vjb[o7pbsrtlnmaxÒlÔppk#_[©}Iln}¦ln`ao#]OeD#¶öb#¶

·k#e'jQ_a]e4_[§^mk#e4q#]_?m_MjQ_r mOk#e}ÌjQ_a}7pÎlpmpÀln}¾|/eQ½7}/ln}#`µmOk#e'|/eQrtln¬ae]O¾jQ_a}7|?lnmln_a}¹YÜ )

bapOp_MjOlb[mOeF|6©lnmk;eFbajOk6c;eFppb`ae ) ln}po7jOkªb©b'mOk7b[m ) ÅÔÀ£?¤F «Å¤F¢¤Q£'[¡F¡?¯µ[®#¡[ÅA± «¤

lv¶ôea¶nxy©k#e}br«rcdeFppb[àeFp mk7b[mjb[o7pbr«rn4q#]eFjQeF|#p)0eQlnmk#e]³k7b¬ae^zée}|/eQr«ln¬ae]eF| ¦lnào#]e Ò¶öbM

_a]k7b¬aez7ee}drw_/pmV_a]^mOk#eªb]e8pml«r«r7ln}Im]b[}7pSlwm©k#e};mk#eQln]|/eFba|?r«lw}#eFpÀeQMq/ln]e ¦ln`ao#]e Ò¶ôz ¶

hm¦mk/lpe}7|x[|#b[mbp{m]o7jQmo#]eFp cµb[}7b[`aeF|ÄzeFbajOk'q#]_#jQeFppb[}7|4jQ_a}/m]_[r?lw}/§A_a]cIb[mln_a}'jb[]]{lweF|

z/eFbajOkc;eFppb[`?e'b[]e4|/eQ½7}#eF|¶

nÚ

'

Ú W#

Ú

h4p'|/eFpjQ]{lwz´eF|ln} aeFjQmln_a}Â#¶ô©eªb?ppo#c;eµbjOrn_MjOÁWp/}7jk#]O_a}/l@?Fb[mln_a}Kq#]_am_#jQ_[rVq#]_[¬?lÔ|?ln}#`

q#]_#jQeFppeFpÀ©lnmkÌbYo#}/lÔÍ?o#e'¬[brno#e4]eq#]eFpe}/mln}#`;mk#e`[rn_az7brq#k/MpSlÔjbsr³mlnc;eaÃ#p_6eFbajOkq#]_MjQeFpOp

k7bapb¬[b[]lb[z/rne %

# ', - 4 4 / ) ,

_[§mS/q7e4ÆAÅÈÇ6¤^mk7b[mlpVjQ_?}mln}/o#_ao7pÎrn6o#qU|#b[mOeF|6zYmk/lp^o#}7|/e]¼

rn?lw}#`ÌjOrn_#jÁ¹p/}7jk#]_?}/l?Fbmln_a}Ìq#]_?m_MjQ_r¶·k#e6|/_acµbln}Ì_§¥m/q7eµÆAÅÈÇ6¤lÔpmk#e6pem8_§¥}7b[mOo#]br

ln}/me`ae]p¶

(12)

Message discarded Message delivery i

j pk p p

m

1

delay

i j pk p p

delay (b)

(a)

m

m m

2

m

2

m1

3 3

¦ln`ao#]OeF#Ã#Ñ7b[c;q/rneFp_[§abapp_/_a}Ìbapq´_ppÎlnz/rne|/eQr«lw¬?e]lneFp

Ú[Ö#Û Ö )A

/

A ) !#"$%'&)(*+ -,.+('/4<0.&4<*12

Ö 3

4576.8'&:9 <;<='8$>+@? 9-='$<;A!@'&-9 !<B B/C

+ , -. 4 / ) ,ED

Ã%

', - 4 4 / )

,*FHGJI*D Ã

G

+LK

I 0 F

@M

yÖ ÛN )A

GJI D A

+ , -. 4 / ) , D

ÝÚ <*1

F

PO

G

+QK

I 0/ AR!7Ã

+ , - . 46/

) , D F

PS

Ö ÛUT WV

Ù +UÖX )A

GJI D A

+ , -. 46/

) , D Â7[

ZY

ÖM # <50

'

Ú <*15

Ö 3

'

+ , - . 46/

)

,[D

: É]\%

', - 4 4 / ) ,

P^

&+Ö 3Û

F[7[Û;) P_

Ö yÖÙ6

a`bÃM

GJI D cbA

/

*de +Lfg0 cb3*h=

GJI D cbA

/

*\%

', - 4 4 / ) ,ji

É F Pk

+l%m.& B B &n*[,."o#$!@[5-,.)!#8$>@? 9=.$<;4!#.&9 !B B/>

o! +<& &@,p! %C;:B-q@8 />9&@,;-*#&<,>'r )Hs(* 9&-5 % 8=ut$

ov@m+'r )¹f!-,;+'r ).s( 9<&-C.P.=B$!-,&@=*B/) 8=

+-,xwy-m

GJI D

@j\

GI D

C:w)¹fC;:<B$q$@8;7(*#m.&8 )+JPz$

G

+LK

I 0 A / 7Ã

+ , - . 4 / ) , D F

@M-{

e +Qf|0 !Ã

+ , -. 4 / ) , D F

@M M

`b7A

" Ã G +QK

I 0cb7A

"

Ã ) b G

+LK

I

0cb7A

"

#A

GJI D cbA

"

F

@M-O

Û¦Ö }Y

Ö#* )H

F @M-S

@MEV

Ö ÛUT

¦ln`ao#]eY7Ã/mk#e'É6¼vjb[o7pObr³_a]|/e]q#]_am_#jQ_[r

(13)

¨Ú

'

ÚU W#

Ú ;Ú '

Ú ÖMÏÑbajOk4q#]_MjQeFpOpcµb}7b[`aeFpmk#e¨§à_rtrn_[©ln}#`4m©_Ï¬[b[]lb[z/rneFpÃ

G

+LK

I

0UÃ

# "

nfEE- AFfEE-

7'94 /) , N

e +Lf|0³Ã "

ÔfEE-

7'946/

) , N

·k#e4¬[b[]lb[z/rne

G

+LK

I 0cbA

"

#]eq#]eFpe}/mpmk#eÁ/}#_s©ÀrweF|/`?e4_[§³q#]_#jQeFpp <0¥bz7_ao#mmk#e'pe}7|?ln}#`

mlnc;e¹_[§4mk#eÓrÔb?pm;c;eFppOb[`ae¾p{e}m;z/ <Ëm_ <¶V·Àk#eÌ¬sb]lb[z/rne2e +Lf|0 !]eq#]eFpe}/mpdmk#e

pe}7|?ln}#`mlnc;e4_§¥mk#erbap{mc;eFppb`ae'pe}/mz=< 1m_ <0Vb[}7||/eQr«ln¬ae]eF|m_ <0S¶´·k#eFpe'b[]]QbF#p

b[]Oelw}/lnmlbr«lpeF|m_;b6¬sbsrwo#eÄrn_s©e]mOk7b[}mk#e4ln}/lnmlbr^¬sbrno#eY_[§¥mOk#e4¬sb[]lb[z/rne %

# ', - 4 4 / ) , ¶

' Ú!K#

ÚW[7[

Ö#ÛX×ÂÖ7+ WÖ#F.3´Ö

ÑbajkcdeFppb[`aeD) q/ln`a`?z7bajOÁ#pmk#e§A_[r«rn_[©ln}#`jQ_a}/m]_rUln}/§A_a]cµbmln_a}Ã

GJI*D

lpb'jQ_aq/6_[§mk#ecµb[mO]l« 8;_[§mk#e8pe}7|?ln}#`6q#]_#jQeFppb[m ) öppe}7|?ln}#`

mlnc;eN

+ , - . 4 / ) , D

lÔpdmk#emlnc;eÌb[m;©k/ljOk ) k7bap;z´ee} pe}/mv_MjjQo#]O]e}7jQeÌ_[§4mk#e

bapp_#jOlb[meF|pe}7|Óe¬ae}/mL¶

E_a]e_[¬ae]xrnem

GI D

@b[}7|

GI D

Cz7emk#ecµb[m]ljQeFpq/ln`a`a/z7bajOÁaeF|6]eFp{q7eFjQmln¬aeQrnIzYc;eFppb[`?eFp

)¹fb[}7|)#¶ W|/eQ½7}/lnmln_a}Ã

GJI D @ \ GJI D

C `7 bA

"

BA

GI D @ cb7A

" d GJI D

C cbA

"

Vb[}7|

bA

"

BA

GI*D

@ cb7A

"

*\

GID C b7A

"

v¶

YÖ+U

Y

ÚUIÚ '

Ú[Ö#F

q7_a}Ilnmpb[]O]ln¬sbrb'cdeFppb[`ae)©l«r«rz7elnc;c;eF|?lb[meQrnÌ|?lpjb[]|/eF|dl«§lnmc6lppeFp¨lnmp|/eFba|?r«ln}#ea¶

¿ § )3lp}#_am|?lpjb[]|/eF|x?lnm©l«r«r³z7ee¬ae}/mo7br«rn|/eQr«ln¬ae]eF|I©lnmk/ln}Ilnmp|/eFba|?r«ln}#ebajjQ_?]|?ln}#`;m_

mk#e|/eQ½7}/lnmln_a};_§UÉ6¼vjb[o7pbr#_a]|/e]¶hp¦ln}7|?ljb[meF|ªq#]e¬aln_ao7pSrwÄlnmp^|/eQr«lw¬?e]YlÔp|/eme]cªlw}#eF|ªz

b£?¤F «Å¤F¢Qº;»Q¡a¯7£aÅÈÆAÅÈ¡a¯7¶$EeFppb[`?eJ) jb[}z´e|/eQr«ln¬ae]eF|bapp_/_a}Ìbapmk#e§A_[r«rn_s©Àlw}#`Iq#]eF|?ljb[me

YÜ 6)lÔpYm]Oo#eaÃ³br«rÏcdeFppb[`aeFpÄmk7b[m6jb[o7pbr«rnËq#]eFjQeF|<) eQlnmk#e]6k7b¬ae;z´ee} |/eQr«ln¬ae]eF|K_?]

mk#eQln]|/eFba|?r«ln}#eFp;k7b¬aeeQ#q/ln]eF|¶ E_a]ed§à_?]cµbr«rnax^mk#eÌ|/eQr«ln¬ae] jQ_a}7|?lnmln_a} _[§8c;eFpOpb[`ae)

pe}/mm_ <50¦lpeQ#q#]eFppeF|bapÃ

` bÌÃM

GJI D cb7A

/

*de +Lf|0 cb$ h=

GJI D cb7A

/

*\%

# ', - 4 4 / ) , i É YÜ )

·k#e;©k#_[rneIq#]_am_#jQ_[r^lp6|/eFpjQ]lnz7eF|ln} ¦ln`ao#]e;7¶Xk#e}Ëc;eFppb`ae )¹xpe}7|z < 1 x´lp

|/eQr«ln¬ae]eF|Im_<0xapmb[me¬sb[]{lÔbz/rweFpxe +Lfg0Ub}7|

G

+LK

I

0#b[]eo#qU|#bmeF|µb?jjQ_a]|?ln}#`'m_mk#eQln]Ï|/e¼

½7}/lnmln_a}7pKv]ecIb[]Á'mOk7b[m

G

+LK

I 0MA

/

b[}7|e +Lfg0 !/k7b¬aebrn©Àb#pmk#epb[c;e¬[brno#e Ar«ln}#eFpf*

b[}7|faf?BN#p_e +Lfg06!UjQ_ao/r|z7e4]eq/rbajQeF|z/

G

+LK

I 0MA

/

¶

_amOe8mk7bm^l«§¥©e4bappo#cde8]eQr«lb[z/rnejOk7b[}#}#eQrpb[}7|µÉ`a]OeFb[me]mk7b[}b[}/;c;eFppb`aem]b}7p¼

c6lppSlw_?} |/eQrbÂ_[¬ae];mk#e}#em©Ï_?]ÁUx©eÌk7b¬ae}#_rn_a}#`ae]I]eFbrn¼Amlnc;e¹|/eQrtln¬ae]O jQ_a}7pmO]bln}mQp

b[}7|mk#e}¹z/Ì]eq/rbajOln}#`mk#e6q#k#pÎljbrÏjOrn_MjOÁÌ©ÀlwmOk bªrn_a`[ljbrV_a}#e6©e'_?z#mbln}¹mk#e6q#]_am_#jQ_[r

q#]eFp{e}meF|ln}%ö·#fv¶

(14)

$¨!³6Ï;¦$'$

·¦_¹q#]_[¬aeµmOk7b[m'_ao#];brn`a_?]lnmk#c `ao7b[]b[}/meeFp6É6¼vjb[o7pObrÏ_a]Q|/e]Fx©ÏeIo7peIm©Ï_¹pmeq7p¶¿Î}Âmk#e

½7]p{m_a}#e4©e'pk#_[©Xmk7b[mbr«r³c;eFppOb[`aeFp]eFjQeQln¬aeF|©ÀlwmOk/lw}¹mk#eQln]8|/eFb?|?rtln}#eFp©l«r«r³z´e|/eQr«ln¬ae]eF|

©lnmk/ln}mOk#eQlw]|/eFba|?r«ln}#eFpÌb[}7|Ýmk#eÌ_?mk#e]pI|?lÔpOjb[]|/eF|; «Å¤F¯´¤Q4®U¢¡Q®M¤¢ÆAº*¶#aeFjQ_a}7|?rnax©e

q#]_[¬ae4mOk7b[mbr«r¨|/eQr«ln¬ae]e¬ae}/mp]OeFpq7eFjQm4jb[o7pbr_a]Q|/e]²¤ÆAº®U¢¡Q®#¤F¢QÆAºFQ¶

! #" 4%D0O0 '?'

eQ§A_a]eÌq#]O_s¬?ln}#` «Å¤F¯´¤Q'®U¢¡Q®#¤F¢QÆAº[xrnemµo7pd]ecµb[]OÁËmk7b[mFx¨z7eFjb[o7pe_[§4mk#e¾|/eQ½7}/lnmln_a}X_[§

8¾b[]]bb[}7|mOk#eªjQ_?}mln}/o#_ao7pq#]_a`a]eFpOp_[§^mk#e6¬sb]lb[z/rne %

# , - 4 4 / ) ,

peeaeFjQmln_a}

#¶Jx?lnm§à_rtrn_[©8pmk7b[m§A_a]eFbajOkc;eFppb`aeD)¹x/©Ïe4k7b¬ae4mOk#e§à_[r«rn_[©ln}#`µ]OeQrÔbmln_a}Ã

+ , -. 46/

) , D GJI D cbA

" ` b7A

" \

+UÖ/ÚUÖ

/ 4 È ³Ç6¤Q Ha¤y'a¢¢QÅF¤Q£Ì²ÆA¤F¢6ÆÈ¤;¤ ®UÅÈ¢aÆAÅÈ¡a¯W¡{²ÆÈ¤Å¢6£a¤Qa£# «Å¯´¤=I^Å È ¥±O¤6£aÅÔ»Qa¢£a¤Q£

a¯´£ //

µa È 8Ç6¤y Ha¤y?¢¢QÅ¤£<I^ÅÈÆÈÅÈ¯ÆÈ¤Å¢£a¤?£# tÅÈ¯7¤yI^Å È 8±O¤¹£a¤F «ÅF¤F¢¤Q£%I^ÅÈÆÈÅÈ¯ÆÈ¤Å¢

£a¤Qa£# «ÅÈ¯7¤F

YFÚÚ

'

\_[ln}m

/

§à_rtrn_[©8p§A]_ac3mk#eYmeFpmAr«ln}#e M^_[§¥mOk#e4q#]_am_#jQ_[r³_[§/¦lw`?o#]e'7¶

\_[ln}m

/1/

lpq#]_[¬aeF|Iz/jQ_a}mO]ba|?ljQmln_a}¶ao#q#q´_pe'mOk7b[mmk#e]e'eQ/lpmpbªc;eFppb[`?eD) mk7b[m

b[]O]ln¬aeF|Ë©ÀlwmOk/lw}lnmp6|/eFba|?r«ln}#eÌb[}7|¹k7bapÄ}#_am'z´ee} |/eQrtln¬ae]OeF|K©lnmk/ln}ËlnmpY|/eFba|?r«lw}#ea¶ (e}7jQeax

_a}Ilnmp|/eFba|?r«lw}#eax´§A]_ac3mk#e4|/eQr«ln¬ae]¾jQ_?}7|?lwm{lw_?}¾YÜ ).Ar«ln}#e;x/mk#e§A_[r«rn_[©ln}#`jQ_a}7|?lnmln_a}

YÜÂ§A_[r«rw_[©8pyÃ

bÃM

GID cbA

/ .!,!

0 cb3=

GJI*D cbA

/

%

', - 4 4 / ) , i É YÜ

}Kmk#e|/eFba|?r«lw}#e_§ÀcdeFppb[`ae8) ©e;k7b¬aeaÃ %

', - 4 46/

) ,

+ , -. 4 / ) , D

:XÉ¶La_mk#e

peFjQ_?}7|ÌmOe]c_[§YÜ z´eFjQ_ac;eFpÃ b¹Ã

GJI D cbA

/

+ , -. 4 /) , D

Q¶ o#mmk/lp8jQ_a}/m]b?|?lÔjQmQp

q#]_?q7e]m\³¶

mln}#`4_ao#]ln}/lnmlbrbappo#c;q#m{lw_?}¶a·k#e]eQ§A_a]e^§A_a]Vb[}/4c;eFppOb[`ae )¹xsb]]ln¬aeF|Yz7eQ§A_a]elnmp^|/eFba|?r«ln}#eax

(15)

! /8 5 0Q)

¨Ö Ë ¨f

Ïa»y a¢ÅÈ±y t¤

G

+LK

I

0cb7A

" ` / Aub7A

"

6£a¡F¤y'¯7¡aÆ£a¤»¢¤[¤

¨Ö Ë ¦

V¡a¯#ÅÈ£a¤F¢®MaÅÈ¢8¡{²Ç6¤Q Ha¤y)¹fda¯7£)I¤F¯´Æ³¢¤Î®M¤Q»FÆAÅF¤ «º'±º <0a¯7£ < 1'»yµÆÈaÆ

)¹f¹/[Ó±O¤Q¤F¯¤¯7ÆÆA¡ <#¤Ó F¤&%

+ , -.

)¹f?/

+ , -.

)M

GJI*D

@ \

GJI*D C I^ÅÆÈ

GI D

@

/ A

*\

+ , -. 46/

) , D

@jd

GJI D C

/ A

YFÚÚ

'

+ , - . )¹f?b[}7|

+ , - . )M

pb`aeFpYmk7b[m'eFp{mb[z/r«lpkÂmk#eÌjb[o7pbsrÏq7b[mk§A]_ac

+ , -.

)¹f?4m_

+ , -.

)M ÎzW|/eQ½7}/lnmln_a}

%+ , - . )¹f?

+ , -.

)Ml )¹f6b[}7|);k7b¬aeYmk#e;pb[c;e6pe}7|/e]4_a]mk#e;pe}7|/e]4_[§

)Yk7bapz7ee}¹|/eQr«lw¬?e]eF|)¹f8z´eQ§à_?]e'pe}7|?ln}#` ) Sp{ee ¦lw`?o#]e #¶öb6b[}7|=¦ln`ao#]e Ò¶ôz ¶

%+ , - . )¹f?

+ , -.

) 4l )YÃ

+ , -.

6)¹f?

@

+ , -.

)b[}7|

+ , -.

)

+ , - . )MQ¶

·k#ernec;cIb Älpq#]_[¬aeF|6z/6ln}7|/o7jQmln_a}Ì_?}¶#ec;ec6z´e]mk7b[m< 0 v]eFpq#m¶ < 1 lÔpÀmk#e

pe}7|/e]_[§ )¹f v]eFp{q#mF¶$)MÏb[}7|=<

lpmOk#e'|/eFpmln}7b[mln_a}q#]_MjQeFpOp_[§ )¹fa¶

fa¶ 6)¹fb}7|)6k7b¬ae4mk#e'pb[cde'pe}7|/e]<0 < 1sx2¦ln`ao#]e #¶öbM¶

+ , - . 4 / ) , D

@[x¨r«ln}#eFpËf¹b[}7| MÃ

+ , - . 4 / ) , D @ G +LK

I 0 / A

2 %

# , - 4 4 / ) ,

¶$a_6b[mVmOk#e8pe}7|?ln}#`;_[§ )4z/ <50xb?p

G

+LK

I 0 / A

GI*D

C / A

+ , -. 4 / ) ,[D

@ ¶

GJI D

@

/ A

*\

+ , -. 4 /) , D @ d GJI D

C

/ A v¶

zdrnec;cµb^f?g` b7A

"

^Ã

GJI D

@ cb7A

"

*d

GI D C b7A

"

v¶

#¶ 6)¹fb}7|)6k7b¬ae'|?lpmln}7jQmp{e}7|/e]p <0Vb[}7|=< 1sx7b[}7|< <*1ax2¦ln`ao#]e #¶z ¶

<*1Vk7b?pz7ee}µ|/eQr«ln¬ae]eF|8)¹fVz´eQ§à_?]epe}7|?ln}#`F)JN[b[mmk#e|/eQrtln¬ae]O_§ )¹fm_< <*1?x

©e4k7bF¬?eaÃ

G

+LK

I

@

/ A + , -. 46/

)

,ED

@ Ar«ln}#eµfF ¶

(16)

j p p

1 2

pi=

l

(a) (b)

m m

pi pl=pj

1

2

m m

¦ln`ao#]Oe#Ã#\^]O__[§^_[§rnec;cIb

hmmk#e'p{e}7|?lw}#`I_[§ )6z/ < x7bap

G

+QK

I / A

k7b¬aeaÃ

G

+QK

I / A

GI D C

/ A

+ , -. 46/

) , D

mk7b[m

GI D

@

/ A

*\

+ , -. 4 / ) , D @ d GJI D

C

/ A v¶

E_a]e_[¬ae]Fx7b?px`bA

" Ã G +LK

I cb7A

"

|/_eFp}#_am4|/eFjQ]eFbap{e Arnec;cµb ¨f?Àb}7|Ìbap)¹f4lp

"

4Ã

GJI*D

@ cbA

"

d

GI*D C cb7A

"

v¶

#¶

/ E + , -.

6)¹f?

@

+ , -.

) Ã

GJI D

@

/ A

\

+ , -. 46/

) , D

@jd

GJI D / A

b[}7|

` b7A

"

^Ã

GJI D

@ cb7A

"

*d

GI D cbA

"

v¶

/ / E + , -.

)

+ , -.

) Ã

"

¥Ã

GI D cb7A

"

*d

GI D C b7A

"

v¶

#]_?c

/

b[}7|

/1/

GI

D

@

/ A x\

+ , -. 46/

) , D @ d

GJI

D / A xd

GI

D

C

/ A

b[}7|

` bA

"

¥Ã

GID

@ b7A

"

*d

GJI*D cb7A

"

*d

GJI*D C cbA

"

v¶

¨Ö Ë >

À¤Æ I^¤¤¯ÌÆI^¡Y®U¢¡»¤y¤*)¥£?¤F «Å¤F¢Qº;¤ ¤F¯´ÆÈ¢¤Î®M¤Q»FÆ´²¡I¡a¢£a¤¢

YFÚÚ

'