• Aucun résultat trouvé

Weakening the Weak Sequential Composition in Scenarios

N/A
N/A
Protected

Academic year: 2021

Partager "Weakening the Weak Sequential Composition in Scenarios"

Copied!
32
0
0

Texte intégral

(1)

HAL Id: inria-00000370

https://hal.inria.fr/inria-00000370v2

Submitted on 2 Aug 2007

HAL is a multi-disciplinary open access archive for the deposit and dissemination of sci- entific research documents, whether they are pub-

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,

Weakening the Weak Sequential Composition in Scenarios

Loïc Hélouët

To cite this version:

Loïc Hélouët. Weakening the Weak Sequential Composition in Scenarios. [Research Report] RR-6262, INRIA. 2005, pp.28. �inria-00000370v2�

(2)

a p p o r t

d e r e c h e r c h e

Weakening the Weak Sequential Composition in Scenarios

Loïc Hélouët

N˚6262

Septembre 2005

Systèmes communicants

(3)
(4)

*,+.-#/10'2435+76984:

;=<?>A@CB$DFEG>H$IJDFDKMLONPHGQRLS@C>

TVU

IRWAE@,XZY[;?\]YA^,_`ba1a

],QJcMcdI U@eME U EfH#gME U H#gMEhLi4j4kRjSkmln;=EGc?@oEGDp U EkRqJqSrsltkJucOQRv4EG>

wyx9zG{$|~}MJ{J€ aEf>o>CQRv4E‚;=EGƒSKMEGLOHEb_„g.Q U @C>…Q U E,Qc.I4cMKM†‡Q UVˆI U DQJ†‰N‡>[D ˆI U @ogMEbe?EG>oNPvJLI ˆ eMNP>[@ U N‰pOK?@oEfe

>o<?>A@CE$D>VE$Š?EGHKM@oNPIJLO>…pOQJ>oEGeI4Lc.I4D>[E$@&HI4DFc.IS>[N‰@oNPIJLŒ‹),I~Ž&E$4E Uf @CgMNP> ˆI U DQR†PNP>oD‘N‰L’N‰@C>„pOQ4>[N‡H ˆI U D

N‡>FLMIJ@’EŠ?c U EG>C>[NPJE E$LMI4KMvJg“@oI”DFI?e?E$†,@A<ScONPHGQR†pdE$gOQ•=NPI U >>oKOH#g–QJ>>o†‰N‡e?NPLMv—ŽNPLOe?I~Ž,>FEŠ?EfHK?@CN‰I4LO>$‹

˜

>[I4†‰KM@oNPIJL—N‡>@oImE$DpdEGe™N‰Lša ;O_&>@CgME’E$Š=c U Ef>o>oN‰4Ec.I~Ž&E U I ˆ HI4DFDKMLMN‡H$QR@oNPLMvmQJK?@oI4DFQR@CQ  Q4>NPL

_&a ;O_&>1›œQJLMIR@CgME

U

E$Š=@oE$L.>[NPIJLI

ˆ

aEG>C>CQRvJE>oEGƒSKMEGLOHEH#gOQ

U

@#>Cž‹,I~Ž&E$JE

UG

DFI4>[@Fp.QJ>oNPHŸc

U

IJpO†‰EGDF>

pdEGH$IJDFE KMLOe?EfHN‡eMQRpM†PE

ˆI U

_&am;O_&>G‹™\ gMNP>cOQJc.E

U c U

I4c.IS>[Ef>QJLšEŠ=@CE$LO>oN‰I4L—@oI¡DFEG>C>oQJvJE >[Efƒ4KOE$LOH$E

H#g.Q

U

@C>ŽgMNPH#gEŠ=@CE$LOeM>9@CgME EŠ?c

U

EG>C>[NPJE„c.I~Ž&E

U I ˆ

am;O_&>)ŽgMNP†PE&c

U

Ef>[E

U

=NPLMv,@CgMEe?EGH$NPeMQJpMNP†‰N‰@A<I

ˆ

>[I4DFE

c U I4c.E

U

@CN‰Ef>$‹)\ gMN‡>…DFI?e?N‰¢.H$QR@oNPIJL’E$ŠS@CE$LOeO>„>oEGƒSKMEGL4@CNPQJ†.H$IJDFc.IS>[N‰@oNPIJL



pMKM@ >[@oNP†‰†

U

E$†P<I4LyHI4DFc.IS>[N‰@oNPIJLO>

I ˆ

H†PI4>oEGe'HI4DDKMLMN‡[email protected]~@[@CE

U

LO>ݣDFEf>o>CQRv4EG>&Q

U

EZEGDN‰@[@CEGe QRLOe

U

EGHEGN‰4EGeNPL'@ogME>CQRDFEsc.I4DF>oE@¤ž¤‹

\ gONP>„cOQRcdE U vJNPJEf>„Qe?E¢.LMN¥@CN‰I4LyI ˆ @ogMN‡>&LME$Ž ˆI UDQR†PN‡>[D¦H$QJ†‰†PEGe§[>o†‰N‡e?NPLMv~¨‚DFEf>o>CQRv4EZ;=EGƒSKMEGLOHEbH#gOQ U @C>

›œI U ;?am;O_&>#ž¤‹s;?am;O_&>ZH$QRLmp.EN‰†P†¥© ˆI U DFEGe  QRL.eŸŽ„Ec U I~=N‡e?EQ’e?EfHN‡>[NPIJLmc U I?H$EGe?K U Es@oI e?E@[email protected]

@ U QJLO> ˆI U D>oKOH#gª;?a ;O_&>yNPLS@oNsŽ&E$†P†¥©ˆI U DFEGe–IJLOEG>G‹«\ gMEGL  @ogOE E$Š=c U Ef>o>oN‰4E1cdI~Ž„E U I ˆ ;Mam;O_&>'NP>

H$IJDFcOQ U Efe@oIF@CgOQ~@I ˆ Zam;O_ ;  _&a ;O_&>  >[K U E_&am;O_&>QJLOeŸ‚am;O_c U IRWAEfH¤@oNPIJL.>$‹

¬­S®7¯C°±

|~²9zJ€ ;MHE$L.Q

U

N‰IS>



Ž&EGQR³'>[Efƒ4KOE$LOH$E

´‡µ·¶o¸º¹G» ¶¼9½P¸º¾5¿À

(5)

z € EG>aEf>o>CQRv4EF;?EGƒSKME$L.HE'_„gOQ U@#>>[I4L4@KML ˆI UDQR†PN‡>[DFEFpMNPE$L—HI4LML=K¡ƒSKMNVcdE U DFE@e?E

eGH U NU EeMEG>sHI4DcdI U @oEGDFE$LS@C>be?E>o<?>A@CB$DFEG>be?N‡>A@ UNPpMKf>sQRK1DFI~<JEGL1eI U e U Ef>‚c.Q U @oNPE$†‡>$‹_„E$cdE$LOeOQRLS@ 

eOQRLO>>CQ ˆI U DENPLMN‰@oN‡QR†PE  H$E ˆI U DQR†PNP>oDFEbLEf>A@,cOQ4>>[K>CQRDFDFE$LS@,E$Š=c U Ef>o>oNˆ c.I4K U efH U NU Es†‰Ef>,HI4D©

cdI U @oEGDFE$LS@C> @A<=cMN‡ƒSKMEG>‚e?Ec U IR@CI=H$IJ†PEG> QJH@oKMEG†P>  H$IJDFDFEcOQ U EŠ?E$DFcM†PE†‰Ef>cMgGLMIJDFBGLMEG>Ze?E ˆE$L$@ U EG>

v4†‰N‡>C>oQJL4@CEG>G‹,LMEy>oIJ†PK?@CN‰I4L—c U I4c.IS>GE’eMQRL.>†PEG>_&am;O_&>H$IJLO>oN‡>A@CENPL4@ $v U E U QRK?Š—am;O_&>†PQ1cMKMN‡>A©

>CQRL.HEeEŠ?c U EG>C>[NPIJL—e?Ef>QRK?@CIJDQ~@CEG>H$IJDFDKMLONPHGQRLS@C>G‹'H$E$cdE$LOeMQJLS@  †PQŸcM†PKMcOQ U @eMEG>c U I4c U N!@ G>e?E

p.QJ>oE,ƒ4KON"$@CQRNPE$LS@„eGHN‡eMQJpM†‰Ef>…>oK U †PEG>„am;O_&>&e?E$=NPE$LMLMEGLS@…N‰L.eGH$NPeMQJpM†PEG>…eOQRLO>…†‰Ef>&_&am;O_&>G‹V_„E@&Q U@CN¥©

H$†‰E c U IJcdI4>oE&KMLME EŠ=@oEGLO>oN‰I4Le?Ef>)am;O_&> ƒSKMN$@oE$L.e†PE$K U cOKMNP>C>CQRLOH$E&eEŠ?c U EG>C>oN‰I4L@oI4K?@ E$Lc U G>oE U •QJLS@

†‡Q eGH$NPeMQJpMNP†‰N‰@#e?EFHE U @#QRNPLMEG>bc U IJc U N!@#f>ZeMEG>sam;O_&>G‹F_„E$@[@oEDFI?e?N¥¢dH$Q~@CN‰I4L$$@oEGLOem†‡Q HIJDFcdI4>oN¥@CN‰I4L

>#GƒSKMEGLS@oNPE$†P†‰EFe?Eam;O_&>  DQRN‡>s>%QRcOcMKMNPE@CIJK~WAI4K U >b>oK U KMLOEFH$IJDFcdI4>oN¥@CN‰I4L e?EFDFIR@CNˆ>e?EH$IJDFDKMLON¥©

HGQ~@CN‰I4LO>H†PI4>›œ†‰Ef>DFEG>C>oQJvJEf>b>oIJLS@&GDN‡>E$@

U

E('KO>eMQJLO>†PED)$DFE’I

U e U

Efž‹'_„E@Q

U

@oN‡H†PE’e?I4LMLMEKMLME

e¢OLMN‰@oNPIJL—e?E’H$ELMIJKOJEGQJK

ˆI U

DQR†PN‡>[DFEQRcMcdE$†!§o>[†PNPeMN‰LMvR¨FaEf>o>CQRv4EF;?EGƒSKME$L.HE'_„gOQ

U

@#>›£IJK™;?a ;O_

c.Q

U

†PQs>oKMN‰@oEfž‹ EG>V;Ma _&>)c.EGKMJEGLS@*$@

U

E N‰LOH$IJg

U

EGLS@C>



E@VLMI4KO>

ˆ

IJK

U

LMN‡>o>oIJLO>9KMLOEc

U

I?H%Ge?K

U

E e?EeGH$N¥©

>oNPIJL’cdIJK

U @ U QRL.>

ˆI U DFE

U

e?EG> am;._&>„NPLOH$IJg

U

EGL4@#>VEGL'am;O_&> H$IJg

U

EGL4@#>$‹ QcMKMN‡>o>CQRL.HEZe+E$Š=c

U

Ef>o>oN‰I4L

eMEG>,;?a _&> Ef>A@EGLO>[KON¥@CEsH$IJDFcOQ

U

GE,HEG†‰†PEe?EG>am;._&>



eMEG>‚_&am;O_&>



E@,e?Ef> c

U

IRWAEGH@oNPIJLO> e?Eam;._&>$‹

{fz ¯ /. € ;MHE$L.Q U N‰IS>  HI4DFc.IS>[N‰@oNPIJLŸ>fƒSKME$LS@oNPE$†P†PE

(6)

99!

243 5

{G| ± ² 9R{6± 5 7

8 - ­ zfzG}9 ­,:"­<; ­ 5  ­+=?> }?|•{Gz @

ACBED

-F:G= zJ€

D

-F:G=IH | ±<Jf­ J{6± 5 z K

7 = D

-F:G=: L

@ : .6²M65 9 :  ­ 5 }?|6 ± z 2<N

K H }M|'6z ± 5 ° 6œ{ >–± { >9­ |.œ} 5 9"9}O9 ­ z 8O7

P 5  .9z6± 5 8 P

(7)

"() '%…

;?E$JE U QJ†…>CHE$L.Q U N‰I†‡QRLMv4KOQRv4EG>sgOQ•4EyQRcOc.EfQ U EGe @ogMN‡>†PQ4>A@Fe?EGHGQJe?EaEf>o>CQRv4Ey;=EGƒSKMEGLOHEŸ_„gOQ U @C>u

N‰4E';=Efƒ4KOE$LOH$EŸ_„gOQ U @#> ‚a >>oEGƒSKME$L.HE'eMNPQJv U QRD>r ‹‰‹P‹¡\ gOEG>oEy†‡QRLMv4KOQRv4EG>e?EGcMN‡H¤@FN‰LS@oE U©

Q4H¤@CN‰I4LO>bp.E$@AŽ„EGE$L”IJp?WAEfH¤@#>sI ˆ QeMNP>[@ U N‰pOK?@oEfe >o<?>A@CE$D  >oKOH#g”QJ>QŸHI4DDKMLMN‡H$QR@oNPIJL¡c U IJ@oI?HI4†‹ E U <

I ˆ@oEGL  e?N‡>A@ U NPpMK?@CEGey>o<?>A@CE$D> Q U Eb>ocdEGHN‰¢OEfe’KO>oN‰LOvc U I?HEf>o> QR†PvJEGp U QJ>VI U H$IJDFDKOLMNPHGQ~@CN‰LMvFQRKM@oIJDQR@CQM‹

gON‰†PE‚@CgMEG>oEbDI?e?EG†P> U E$c U EG>oE$LS@ >[<?>[@oE$D>&=NPQcOQ U QR†P†PE$†7HIJDFcdI4>oN¥@CN‰I4L’I ˆ HIJDFDKMLMN‡H$Q~@CN‰LOvDQJH#gON‰LMEf> 

>CHEGLOQ U NPI4>)Q U Ee?E¢OLOEGeFQJ> >oEGƒSKMEGL4@CNPQJ†MHI4DcdI4>oN‰@oNPIJLI ˆ HIJDFDKMLMN‡H$Q~@CN‰I4Lc.Q~@[@CE U LO>G‹9XZEG>ocMN‰@oE @ogOE‚>[<=L?©

@#QJH@oN‡H$QR†e?N7E U E$L.HEG>,p.E$@AŽ„EGE$L1>CHE$L.Q U N‰I†PQJLMvJK.QRvJEf>  @CgME$<ŸQ U EQR†P†ŒpMKON‰†‰@ ˆ£U IJD @CgME>CQRDFEN‡e?EGQ V@ogOE$<

c UI~=N‡e?EHI4DFc.IS>[N‰@oNPIJL1DFEfQRLO> ˆI U cdIJD>[E$@C>G‹sY L1@ogONP>bcOQJc.E UG Ž&EŽNP†‰†)DQRNPLM†P< ˆI=H$KO>ZIJL ‚N‰v4g?©º†‰EGJE$†

a1EG>C>oQJvJE;=EGƒSKMEGLOHE_„gOQ

U

@#>›œ‚a ;O_&>Cž QJLOe'@ogMEGN

U

~Q

U

N‡QRLS@C>G‹

Zam;O_&>H$QJL'pdE>[EGE$LŸQJ>&I

U

e?E

U

QJK?@oI4DQ~@CQvJEGLME

U

Q~@CN‰LOvcdIJD>[E$@

ˆ

QRDFN‰†PNPEG>G‹V\ gMEb@

U

QRLO>oN¥@CN‰I4LO>„I

ˆ Q

Zam;O_”Q

U

E&†‡QRpdE$†PEGeŽN‰@ogpOQ4>[N‡H…aEf>o>CQRv4E&;=EfƒSKME$LOH$E_„g.Q

U

@C>&›£pOam;._ ž



ŽgMN‡H#gQ

U E U

I4KMvJgO†‰<>oc.EfQR³=N‰LOv

cdIJD>oE@#>…e?Ef>oH

U

NPpMNPLMvQRLNPLS@oE

U

Q4H¤@oNPIJL’QJDFIJLMvH$IJDFcdIJLMEGL4@#>VI

ˆ

Qe?N‡>A@

U

NPpMK?@CEGe’>o<?>A@CE$DŸ‹

T

I4DF>oE@ HI4D©

cdI4>oN‰@oNPIJLN‡>„>oKMcMcdI4>oEGeH$†‰IS>[E

U

@oIgSKODFQJL’KMLOeME

U

>A@#QRLOe?NPLMvI

ˆ

e?NP>[@

U

NPpMK?@oEfepdE$gOQ•=NPI

U > 

QJ>VN‰@„E$Š?cM†‰N‡HN‰@o†P<

U E$c U Ef>[EGL4@#>HI4DDKMLMN‡H$QR@oNPIJLO>’›QDFEG>C>oQJvJEFE$DFN‡>o>oNPIJL—QRLOe U EGH$E$c?@CN‰I4L”KO>[K.QR†P†‰<¡QRcMcdEGQ U >NPL™Q1>oN‰LOvJ†PE

H$IJDFDKOLMNPHGQ~@CN‰I4Lc.Q~@[@CE U L.ž¤‹ \ gMN‡>N‡>’Žg=<“>CHEGLOQ U N‰IS>Q U EI ˆ@CE$L U EGHI4DFDEGLOe?Efe ˆI U’UEGƒSKMNU EGDEGLS@

HGQRc?@CK U E  I U @CI'e?Ef>oH U NPpdE@A<=cMN‡H$QR†EŠ?EGH$K?@oNPIJL.>‚I ˆ e?NP>[@ U NPpMK?@oEfe1>o<=>[@oEGDŸ‹Z,I~Ž&E$4E Uf Zam;O_&>bQ U ELMIR@

E$Š?c U Ef>o>oNPJEE$LOIJKMv4g@oIDI?e?EG†.pdE$g.Q•SNPI U >V>oKOH#gyQ4>…E$Š=EfHK?@CN‰I4LO>VI ˆ >[†PN‡e?N‰LOvŽNPLOe?I~Ž,>Vc U IJ@oI?HI4†P>G‹9\ gONP>

HGQRLpdEH$IJLO>oNPeME U EGeQJ>ZQ U EGQR†9e U Q•ŽpOQJH#³ ˆI U Qy†[email protected]~@ZDKO>[@ U E$c U EG>oE$LS@@A<=cMN‡H$QR†9pdE$gOQ•=NPI U >

I ˆ e?N‡>[@ U N‰pMKM@oEGeŸ>o<?>A@CE$D>$‹

\I—>[I4†‰4Ey@CgMNP>’c U I4pM†PE$D  >oE$4E U QR†&•Q U N‡QRLS@#>I ˆ am;._&>gOQ•JE pdE$E$Lc U IJcdI4>oEGe·‹_„IJDFcdI4>oN¥@CN‰I4LOQR†

;?EGƒSKME$L.HEF_„g.Q U@C>j›£I U _&am;._&> ˆI U >ogMI U @#ž‚Q U EQRLmEŠ=@oEGLO>[NPIJLI ˆ ‚am;._&>  ŽgME U EHIJDFDKMLMN‡H$Q~©

@CN‰I4LO>&Q

U

E,LMIR@QR†PŽ Q•<=>…e?E¢OLOEGe’ŽN‰@ogON‰L Q>oN‰LMv4†‰EZpOQJ>oN‡H,cOQR@[@oE

U

L"‹9]I4KMvJgO†‰<>oc.EfQR³=N‰LOv



HIJDFcdI4>oN¥@CN‰I4LOQR†

>oEGƒSKMEGLOHEH#g.Q

U

@C>Q

U

E‚a ;O_&>,E$ŠS@CE$LOeMEGeŸŽN‰@ogŸ@ogOEQJ>o<=LOH#g

U

IJLMI4KO> HIJDFDKMLMN‡H$Q~@CN‰I4LO>I

ˆ

H$IJDFDKMLON¥©

HGQ~@CN‰LMvQRK?@CIJDQ~@#QM‹ ,I~Ž&E$4E

Uf

@CgMNP>

ˆI U

DQJ†‰N‡>[D gOQ4> QpMNPvJv4E

U

EŠ?c

U

EG>C>[NPJEZc.I~Ž&E

U

@ogOQJL'H$IJDFDKMLONPHGQ~@[©

NPLMvQRKM@oIJDQR@CQ



QRLOe”>oIJDFE>[NPDFcM†‰Ec

U

I4pM†‰EGD>>[KOH#g—Q4>e?EGH$NPe?NPLMvŸŽgME$@ogME

U

Q DEf>o>CQRv4EFNP>>[email protected]

U

EGH$E$NPJEfeNPLQ~@…†PEGQ4>A@…QJLE$Š?EGHKM@oNPIJLI

ˆ

Q_&am;O_šQ

U

E KMLOe?EfHN‡eMQRpM†PEJ‹‚IR@oE @CgOQ~@&>[EGJE

U

QR†S@

U

Q4HE

U

E$†‡Q~@oEfe

c UI4pM†‰EGD>›œ†PQJLMvJK.QRvJENPLOH†PKO>oN‰I4L  NPL4@CE U >[EfH¤@CN‰I4LmE@#HR‹žšQ U EFQR†U EGQJeM< KOLOe?EGH$NPeOQRpM†PE ˆI U ‚a ;O_&>G› !£ž 

pOK?@’@og.Q~@y>oIJDFE1ƒSKMEG>[@oNPIJLO> UEGv4Q U e?NPLMv @ogME1>[@ U KOH¤@CK U EI ˆ @ogME1cdIJD>oE@ ˆQJDNP†P<“v4E$LME U QR@oEGe U E$DQRNPL

eMEGHN‡eMQJpM†‰E ˆI U Q'†‡Q U vJEF>oKMpO>oE@I ˆ ‚a ;O_&>›"#Gq…gOQJ>sN‡e?EGL4@CN¥¢.EGe”QŸH†‡QJ>C>ZI ˆ Zam;O_ ˆI U ŽgMN‡H#g¡@ogME

cdIJD>oE@ ˆQRDFNP†‰<'vJEGLME U Q~@CEGe’N‡>,am;.`he?E$¢OLOQRpO†‰E•ž¤‹

˜ LMIR@CgME U e U Q•ŽpOQJH#³I ˆ _&‚a ;O_&>…N‡>…@ogOQR@&>oIJDFE‚I U e?E U >VvJE$LOE U Q~@oEfeFp=<@CgMEZ>oKMcMcdI U@&QJK?@oI4DQ~@oI4L

H$IJLS@CQJN‰LšDI U E U EGHEGc?@oNPIJL.>@CgOQRL“E$DFN‡>o>oN‰I4LO>G‹š,EGLOHE  @ogOE$<™H$QJLMLMIJ@pdEHIJL.>[N‡e?E U EGešQJ>~QR†PNPe“EŠ?E©

H$K?@oNPIJL.>ZI ˆ _&Zam;O_Z‹Œ\ gMN‡>sNP>Q U EGQR† e U Q•ŽpOQ4H#³ I ˆ @CgMEF†PQJLMvJKOQJvJE  Q4>Z@ogMEFNPLS~QJ†‰N‡emI U eME U >ZQ U ELMIR@

NPDFDFEGe?N‡Q~@CE$†P< =N‡>[NPpM†PEQ4>ZQ'>A@ U K.H¤@oK U QJ†c U IJcdE U @A< I ˆ @CgMEQJK?@oI4DQ~@oI4LŒ‹ ˜ >oKMpO>oE@bI ˆ _&am;._&>ZHGQR†P†‰Efe

§o>oK U E¨_&a ;O_&>‚g.QJ>,pdE$EGL1c U IJcdI4>oEGe·‹

˜

_&am;O_ N‡>Z>oK U EN —QJ†‰†I U e?E U >v4E$LME U QR@oEGeŸp=<'@ogME>[KOcMc.I U@

QJK?@oI4DQ~@oI4L H$IJLS@CQJN‰L @CgME>oQJDFELSKODpdE U I ˆ EGDN‡>C>[NPIJLO>QJLOe U EfHEGc?@oNPIJLO>G‹„;=EGJE U QJ†·c UI4c.E U @CN‰Ef> ŽgMN‡H#g

Ž&E U EbKMLOe?EfHN‡eMQRpM†PENPL v4E$LME U QJ† ˆI U _&‚a ;O_ pdEGH$IJDFEe?EGH$NPeOQRpM†PE ˆI U >oK U E_&Zam;O_$k  º‹

TVU

IRWAEfH¤@CN‰I4LI

ˆ

‚am;._&>%

1 ݣI

U

cO‚a ;O_&>

ˆI U

>ogMI

U

@#ž)N‡>…QJLMIR@CgME

U

QRcMc

U

I4Q4H#g

ˆI U

@CgME‚e?E$¢OLMN‰@oNPIJL’I

ˆ

>o†PNPe?NPLMvsŽNPLOe?I~Ž,>9EŠ?EGH$K?@oNPIJL.>$‹

T

‚a ;O_&>VQ

U

E&vJNPJE$Lp=<Qs‚am;._'& QRLOeQs>[E$@ I ˆ c U Ef>[E

U

4EGeEGJEGL4@#>$‹

\ gOE,c.I4D>[E$@

ˆ

QRDFNP†‰<FvJEGLME

U

Q~@CEGep=<Qc.‚am;O_“N‡> @CgME‚c

U

IJWAEGH¤@CN‰I4LFI

ˆ

@ogME

ˆ

QRDFN‰†P<FI

ˆ & IJLc

U

Ef>[E

U

4EGe

EGJEGL4@#>$‹

1

V>[gMI~Ž,>‚@og.Q~@Zc.‚am;O_ ›£KMcm@oI HE

U

@CQJN‰Lm†‰NPDFN¥@#Q~@oNPIJL.>Cž‚gOQ•JE@ogMEF>oQJDFEEŠ?c

U

EG>C>oN‰4Ec.I~Ž&E

U

(8)

Q4>s>[K

U

E’_&‚am;O_&>G‹F,I~Ž&E$JE

UG

e?E$¢OLMNPLMv>[†PN‡e?N‰LOv ŽNPLOe?I~Ž,>sQ4>bQ c

U

IRWAEfH¤@CN‰I4L1I

ˆ

Q'†‡Q

U

vJE

U

Zam;O_hNP>

LOIR@EGQ4>[<



QJ> N‰@,Ž„I4KM†Pe HI4LO>oNP>[@N‰LH

U

EGQR@oNPLMvFQgONPeMeME$LNPLO>A@#QRLOH$EsE$JE

U

<F@CN‰DFEs@AŽ&IFDEf>o>CQRv4EG> H

U

I4>C>G‹

\ gMN‡>Vc.QRcdE

U c U

I4c.IS>[Ef> QLME$Ž–E$ŠS@CE$LO>oNPIJLF@oI,NPvJg?©º†‰EGJEG†OaEG>C>CQRvJE,;=EfƒSKME$LOH$Eb_„gOQ

U

@#>



pOQJ>oEGeFI4LFQ

>o†PN‰v4g4@DFI?e?N‰¢.H$QR@oNPIJL I ˆ >oEGƒSKMEGLS@oN‡QR†ŒHI4DFc.IS>[N‰@oNPIJLŒ‹V;=I ˆQ UG >oEGƒSKMEGL4@CNPQJ†·HIJDFcdI4>oN¥@CN‰I4L'I ˆ @AŽ&IFpOam;O_&>

N‡>&QR†PŽ&Q•<?> Ž&EGQJ³>oEGƒSKME$LS@CNPQJ†dH$IJDFc.IS>[N‰@oNPIJL  QRL.eF@ogMN‡>&e?I=EG>„LMIR@ QR†P†‰I~Ž@ogOEZHI4LO>[@ U KOH¤@CN‰I4LI ˆ >CHE$L.Q U N‰IS>

ŽgOE U E’HIJDFDKMLMN‡H$Q~@CN‰I4LO>H U IS>o>G‹yY L ˆQ4H¤@  NPL—Ž„EfQR³ >oEGƒSKMEGLS@oN‡QR†…H$IJDFc.IS>[N‰@oNPIJL  >CHEGLOQ U N‰IS>Q U EcMNP†‰Efe

KOcIJLMEQ ˆ@oE U QRLOIR@ogOE U ‹ \ gONP>ZHIJDFcdI4>oN¥@CN‰I4LDFE@ogOI=eŸN‡>‚>oIJDFEGgMI~Ž @CI=I U Ef>A@ U N‡H¤@CN‰4Es@oIyQJ†‰†PI~Ž >[†PNPeMN‰LMv

ŽNPLOe?I~Ž,>e?E¢.LMN¥@CN‰I4LŒ‹ E…c U I4c.IS>[EVQ‚LME$Ž—>oEGƒSKME$L.HE ˆI U cdIJD>[E$@C>  @ogOQR@9QR†P†PI~Ž”Q,†‰NPDFN¥@CEGeI~4E U †PQJcMcMNPLMv

I ˆ H$IJDFc.IS>[EfeyI U eME U >$‹

\ gMN‡>scOQJc.E U N‡>bI U v4QJLMNGEGe1Q4> ˆI4†‰†PI~Ž,>G‹;=EGH@oNPIJL”k U EGHGQR†P†P>b>[I4DFEpOQ4>[N‡He?E¢OLON¥@CN‰I4LO>bIJLmDFEf>o>CQRv4E

>oEGƒSKMEGLOHEbH#gOQ U @C>G‹V;=EGH@oNPIJL 1UEfH$QJ†‰†‡>„@ogMEse?E¢.LMN¥@CN‰I4L'I ˆ cOZam;O_&>  ;=EGH@oNPIJL U EGH$QJ†‰†‡>…@ogMEe?E$¢OLMN‰@oNPIJLO>

QJLOec U IJpM†PE$D> I ˆ _&Zam;O_&>G‹ ;?EGH¤@CN‰I4LyrbN‰LS@ UI?e?KOH$EG> I4K U LMEGŽ ˆI U DQJ†‰N‡>[D  QRLOe;=EfH¤@oNPIJLjH$IJDFcOQ U Ef>

@CgMEbEŠ?c U EG>C>[NPJEZc.I~Ž&E U I ˆ >o†PNPe?NPLMvF>oH$E$LOQ U NPI4>„ŽN‰@og'@ogOQR@&I ˆ IR@CgME U&ˆI U DQR†PNP>oD>$‹ ;=EfH¤@oNPIJL HIJL.H†PKOe?EG>

@CgMN‡>Ž„I

U

³7‹

!"! F' %& (!

\ gONP>’>oEGH@oNPIJL U EGH$QJ†‰†‡>’>oIJDFEpOQ4>[N‡He?E¢.LMN¥@CN‰I4LO>’QJp.I4K?@'aEf>o>CQRv4E;?EGƒSKME$L.HE _„gOQ U @#>1›£I U am;O_ ˆI U

>ogMI

U

@¤ž¤‹Fam;O_ N‡>QŸ>A@#QRLOeOQ

U

e?NGEGe†‡QRLOvJKOQJvJE u „EGƒSKMNPcMc.EfemŽN‰@og—Q

ˆI U

DQR†V>oE$DQRLS@oN‡H$>#

1?

•k º‹ ˜

'&(-, && . /- -O0(

ݣI

U

pOam;._

ˆI U

>ogMI

U

@#ž·NP>Q c.I4DF>oE@9†PQJp.EG†‰EfesŽN¥@CgQJH@oNPIJLLOQJDEf>ŒQRL.e

†PI?H$QR@oNPIJLO>G‹ pOam;O_&>be?E$cONPH@b>oN‰DFcM†PEEŠMH#gOQJLMvJEf>,QRDFI4LMv’HI4DDKMLMN‡H$QR@oNPLMv’E$LS@CN¥@CN‰Ef>‚H$QJ†‰†PEGe

&(*/-(&

‹

_„I4DFDKMLMN‡H$QR@oNPIJLO>‚Q

U

E>[KOcMc.IS>[EfeQJ>o<=LOH#g

U

IJLMI4KO>



QJLOeEGJE$LS@#>,QR†PIJLMv'QRLNPLO>A@#QRLOH$EQ~Š?N‡>‚Q

U

Es@CIR@CQJ†‰†P<

I U eME

U

EGe·‹MI

U

Q1HI4DFcM†‰E$@oEyeMEG>CH

U

N‰c?@CN‰I4L”I

ˆ

@ogME HI

U

E†‡QRLMv4KOQRv4E



N‰LS@oE

U

Ef>A@CEGe

U

EGQJeME

U

>DQ•< HI4LO>oKM†¥@

#

­

5

6£{6± 5 2

pOam;O_ &% )$. "!#%$'&)(MO0 &%E&G"+* -, &/.0 &%

$0(."01 0%0 " "24305 "6 7,-.M0&7,8.G*&89#?# 0(-+:;.< &% & U"+*%- " /*# &/.

& & "+* $.0 "- &&(&/.= >0@?<AB & DC <E* /-)"*F.EG1H!I>#J?GAK && "- (&

"-L9 " --, .<$4MNPOQI&E0"O*.$0& # && #&&"*O& <10 -$/"&R

S.OE& "%* , &T -*UC $O*0()"."1 " ?& "%* &G1<,')&)V0. ?& "%* 0 -7,

, &WYX *G1 & U"+* 0(.- "&ZY[YRZ\ ]1D1" "EO - &&-*<1^ " "+*)C- M G&/.

"*/ - '&&"-E L9$ "?- &G1<"0 0-7,< -, _R`S.<&%a9$O & * /-)"*2b>]c?GA

deWfgOhiOhN(M<- '&&"- & +# && /*#j*0 "*# E^! # (&& $ODCkdeWf`.E

&G1* G1 0 -7,<&(*/-E" -+-"*#?# -*)"* ,'lR

m U

QRcMgONPHGQR†P†‰<



Q¡pOam;O_¦NP>

U

EGc

U

Ef>[EGLS@oEGešp=<™JE

U

@CNPHGQR†Q~Š?EG>F>o<=DpdIJ†PNGN‰LMv¡NPLO>A@#QRLOH$EG>G‹ _„IJDFDK?©

LONPHGQ~@oNPIJL.>Q

U E U E$c

U

EG>oE$LS@CEGe”p=<—Q

UCU I~Ž,>

ˆ£U

IJD @ogOEyE$DFN‰@[@CN‰LMv N‰L.>A@#QRLOH$E’@oIm@ogME

U

EfHEGN‰=NPLMv1NPLO>A@#QRLOH$EJ‹

9NPvJK

U E ©ºp—>[gOI~Ž,>

1

EŠMQRDFcM†PEG>I

ˆ

pOam;O_&>H$QJ†‰†PEGe—a'



a kŸQRLOe—a

1

‹'p.am;O_&>

U

E$c

U

Ef>[EGL4@H$†‰IS>[Efe

H$IJDFDKOLMNPHGQ~@CN‰I4Lc.Q~@[@CE

U

LO>



N5‹E4‹9QJ†‰†.DEf>o>CQRv4EG> >oE$LS@VNPL’QspOam;O_“Q

U E U

EGHEGN‰4EGeN‰LF@CgME‚>CQRDFE,e?N‡QRv

U

QJD ‹

›7n<op qV0/r otsup YX >[K.H#g'@CgOQ~@ o ots& p $ ž¤‹MI U QFv4N‰4E$L pOam;O_ v "!#%$'&¤ Ž„E

ŽNP†P†Œe?E$LMIJ@oEbp=<xw+y 2& @CgMEsL=KMDpdE U I ˆ E$4E$LS@C>&>[N‰@oK.Q~@oEfeyI4LyNPLO>[@CQRL.HEjzWp ›£N5‹E4‹Zw+y 2&{!0|~}z &{ž¤‹

OI U Q’v4N‰4E$LE$4E$LS@kop  Ž&EŽNP†P†9e?EGLMIR@CEp=<€‚ o & @ogME 0 *< I ˆ EGJE$LS@joI4L1NPLO>A@#QRLOH$E o N‹EJ‹

(9)

€‚

o

&Z {

p

x{

&

o

&

o

{

‹)^ QJ>oNPH‚am;O_&>…QJ†‰I4LME‚Q

U

E,LOIR@…cdI~Ž„E

U[ˆ

KO†OE$LOIJKMv4gF@oIeME¢OLME

H$IJDFcM†PEŠ”p.EGgOQ•=N‰I

U > 

QRLOe—>oE$4E

U

QR†„pOam;O_‘H$IJDFc.IS>[N‰@oNPIJL—I4c.E

U

QR@oI

U

>’›>[EfƒSKME$LOH$E'H#gMI4NPH$E



†PISI4cO>



‹P‹P‹ž

g.Q•JEbp.EGE$LŸc

U

IJcdI4>oEGe·‹

­

5

6£{6± 5 8

S. >oEGƒSKMEGLS@oN‡QR†…H$IJDFc.IS>[N‰@oNPIJL "+* a( " C- M G&

}

4L

}

}

"

}

} }

/!

}

%$

} &

*G1E 2gD]]D ‚/!]$;&&?OC- M

}

2

} D

}

‚

}

‚"

}

]"

} ]/!

}

!]$

}

$;&8.u(MO0 =

}

;%

}

o } o & p }

O= {‚!ƒo }

&W o ;& ! R

Y LS@oKON¥@CN‰4E$†P<  >oEGƒSKMEGLS@oN‡QR†VHI4DFc.IS>[N‰@oNPIJL¡vJ†PKMEG>sp.am;O_&>QJ†‰I4LMvy@CgME$NU H$IJDFDFIJL¡N‰LO>[@CQJLOHEQRŠ=Ef>$‹ ˜

H$IJDFDFIJL Ž Q•<™@CI“HI4DFc.IS>[E1p.am;O_&>’N‡>y@oIše?E$¢OLME¡Q—³=N‰LOeI ˆ cOQ U @CNPQJ†,I U e?E U QRK?@CIJDQ~@CIJL  HGQR†P†‰Efe

‚N‰v4g?©º†‰EGJE$†·aEf>o>CQRv4Es;?EGƒSKME$L.HE_„gOQ U @•›£I U Zam;O_ ˆI U >ogMI U @#ž‹

­ 5 6£{6± 5 AP ‚am;._ &? $/ & v#"'?GA%$k%&(']*) &/.(MO0 " &? & "+*E." 1(&/.+&(' &

&$- ^ -/";1 -"1 , /";1 -..$ & &%"+*EC8 M G&/.=?GAM/" O0$IO1" & & %"%*

0 *O&()"*O&/.2)S& & "+*? --$.)< ." 1(&R

˜ ‚am;._‘e?E¢OLOEG>Qm>oE@I ˆ cOQ~@CgO>  N‹EJ‹¡>[Efƒ4KOE$LOH$EG>I ˆ @ U QRLO>oN‰@oNPIJLO>I ˆ @ogOE'³=NPLOe03 4& '65(7?GA

& } 528

?GA9&:<;;;

5:=?> 8

?<A@&2AFˆ£U IJD @CgMEFN‰LMN‰@oN‡QR† LOI=eME@CIŸQJL Q4H$HEGc?@oNPLMv LMI?e?E  @CgOQ~@ŽNP†‰† pdEe?E$LOIR@oEfe1p=<

BDC ‹ Zam;O_&>VQJ†‰†PI~Ž ˆI U @ogME,eME¢OLMN‰@oNPIJLI ˆ NPL?¢OLON¥@CE,p.EGgOQ•=N‰I U >)H$IJDFc.IS>[EfeI ˆ H$†‰IS>[EfeFHIJDFDKMLMN‡H$Q~@CN‰I4L

c.Q~@[@CE U LO>G‹vMI U Q™vJNPJE$L cOQ~@CgE3 F& 'G5(7?GAH&

} 5 8?GAI& ;;;

5:=?> 8

?<A & A  Ž&EmŽNP†‰†se?E$LOIR@oE p=<KJDL

@CgMEpOam;._hI4p?@CQJN‰LMEfemp=<¡>[KOHGHEf>o>oN‰4EH$IJLOHGQ~@CE$LOQR@oNPIJL¡I ˆ †‡QRpdE$†‡>I ˆ 3 MJDL } .NNN

A

|u}

‹

\ gOEy>[E$@I ˆ c.Q U @oN‡QR†…I U eME U >vJEGLME U Q~@CEGe¡p=<”Qm‚am;O_«N‡>eME$LMIJ@oEGeEO C QRL.e—NP>e?E¢.LMEGe™Q4> ˆI4†‰†PI~Ž,>

O C

JDL {3 p B C S‹–‚I~Ž„EGJE UG Zam;O_&>’e?I”LMIJ@’QR†P†‰I~Ž ˆI U @ogME1eME¢OLMN‰@oNPIJL–I ˆ JE U<™H$†PQ4>o>oN‡H$QR†

pdE$g.Q•SNPI U >>[KOH#gQJ>F>o†‰N‡e?NPLMv ŽNPLOe?I~Ž,>E$Š=EfHK?@CN‰I4LO>G‹ 9N‰v4K U E © Q¡>[gMI~Ž,>QRLEŠMQJDcO†‰E I ˆ pdE$g.Q•SNPI U

@CgOQ~@‚HGQRLŸLMIJ@,p.EDFI?e?EG†‰Efe'p=< Q‚am;O_›ˆI U QRLQ U pMN‰@ U Q U <L=KMDpdE U I ˆ DEf>o>CQRv4EG>#ž¤‹V\ gMN‡>N‡>,Q U EGQR†

e U Q•ŽpOQ4H#³ ˆI U >CHEGLOQ U N‰IS>  QJ>‚@ogMN‡>‚³=NPLOe1I ˆ p.EGgOQ•=N‰I U N‡>‚4E U <'K.>[KOQJ†NPLme?N‡>[@ U N‰pMKM@oEGe >[<?>[@oEGDF>G‹Z\ gONP>

>o†PNPe?NPLMvŽNPLOe?I~Ž«EŠ?EGH$K?@oNPIJL—H$QJL”p.EF¢OLON¥@CE$†P< v4E$LME

U

QR@oEGe p=<1gMN‡e?NPLMvm>oIJDFEFE$†PE$DFE$LS@C>I

ˆ

@ogME’I

U

eME

U >

v4E$LME

U

QR@oEfeKO>oN‰LMvZam;O_ c U

IJWAEGH¤@CN‰I4L 1

º‹ ˜ LMIR@CgME

U

QJcMc

U

I4Q4H#g1gOQJ>bpdE$EGL c

U

IJcdI4>oEGe



QRLOe EŠ=@oEGLOeM>

a ;O_&>&@oII4p?@CQJN‰LŸHI4DDKMLMN‡H$QR@oNPLMvaEG>C>oQJvJE;=EGƒSKMEGLOHE_„gOQ

U

@#>j5‹

P QSR !T RJ ' (9VUŒ%V9 !

Zam;O_ c U

IRWAEGH@oNPIJL”Ž&E

U

ELOIR@NPLMN¥@CNPQJ†‰†P< eMEG>oN‰v4LMEGe @oIEGLMgOQJLOHEF@CgMEEŠ?c

U

EG>C>[NPJEFcdI~Ž„E

U I ˆ

‚am;._&>



pOK?@

U

Q~@CgME

U

QJ>ZQRLmQJpO>A@

U

Q4H¤@CN‰I4L

ˆI U

JE

U

N‰¢.H$QR@oNPIJLcMK

U

cdI4>oEG>

1

º‹b‚I~Ž„EGJE

UG

‚am;O_ c U

IJWAEGH@oNPIJLO>ZQ

U E

E$Š?c

U

Ef>o>oNPJEbE$LMI4KMvJg @oI’eMEG>oN‰v4L >o†‰N‡e?NPLMvŽNPLOe?I~Ž,>G‹&_„IJLO>oN‡e?E

Uf=ˆ

I U

E$Š?QJDFcM†‰Es@CgME‚a ;O_INPvJK

U E $©5pŒ‹

˜ c U

IRWAEfH¤@CN‰I4LmI

ˆ

@ogMN‡>‚a ;O_ I4LmNPLO>A@#QRLOH$EG>

QRL.e

vJEGLME

U

Q~@CEG>bQ'>oE@I

ˆ

EŠ?EfHK?@CN‰I4LO>s>[NPDFN‰†‡Q

U

@oI

@CgMEH#g

U

IJLMI4v

U

QRD>…eME$cMN‡H¤@CEGe N‰L'9NPvJK

U E © Q4ž¤‹

­

5

6£{6± 5 7

$/0"XW- " "%*C- M LQ" "!#$&" & %"%*?,')&q s MI

& .""1ZY[+\+`&/.<1 & 0(&(0(- " "+* " , &,"+*Q sR]Y s[

`&H L s _^TL s O

s&- " " `

[ \ /!+`

[ \

%$6^N s O s&%& Rba "*0 ,*7, O&(*/- z p .( i(U%"+* I1 ." iC9

c y L2& $/0"dW-" "+*) " -,)& "-/1 "*+&(*/- z . O* & c y L2&eY f

> 8?g yih

L2&RHS.O

(10)

A B

m n

m

m

m n

n

n

bMSC M1

A X

m1

m1 bMSC M2

A X Y B

n1 m2

n2

bMSC M3

A X Y B

n1 m2

n2

M1

M2 M3

NPvJK

U E VQSž ˜ >[†PNPeMN‰LMvFŽNPLOe?I~Ž H#g

U

I4LMIJv

U

QJD p.ž X‚Ef>[NPvJLŸI

ˆ

QF>[†PN‡e?N‰LOvŽN‰LOeMI~Ž ŽN‰@og

T

‚a ;O_&>

(11)

."""%* $.0 "XW-)"* -xCY1^ //1 &(#0(9W* "*0 j M G&/.M<1 -"O&(&()& $/0"XW- O "*01 0&

/0 /1" &( C & "%* -,)&-R

& "' ?GA *$q*&('‚*) &QC G WR <&21 ." C9`C O& %"+*,')& O%*0

1^ //1C9xC8 G M& "%* .!*G1 ƒcM C RQS.O $/0"dW-" "%* & "H s &E/"*/1 YV[ \& & *G1

1^ / & $0("0"1 00* #9 O

\

"DC ./1`C9 0 &()0(-" "+* "*01 0& O C " *."-- 0(0 .- &

"%* -,)& H sR

˜ e U Q•ŽpOQ4H#³I ˆ am;O_šc U IRWAEfH¤@oNPIJL.>)NP>)@CgOQ~@&Q ˆ@oE U QRp.>A@ U Q4H¤@oNPIJL  @ogME,LOIR@oNPIJLFI ˆ DFEG>C>CQRvJE  I U EGJEGL4@

@A<=cdEDQ•<1LMIR@pdE’QJ>sI4p=SNPIJK.>QJ>sNPL¡p.am;O_&>G‹'_„IJLO>oNPeME

UfŒˆ

I U

E$ŠMQRDFcM†PE@CgME’‚a ;O_I

ˆ

NPvJK

U E ©

p"‹

TVU

IJWAEGH@oNPLMv1@CgMNP>FZam;O_‘I4LšNPLO>A@#QRLOH$EG>

QRLOe

c U

I?e?KOHEf>FQm>oE@FI

ˆ

cOQ

U

@CNPQJ†„I

U

eME

U

>@og.Q~@FNP>

N‡>oIJDFI

U

cMgMN‡H@CI>oE@ I

ˆ I U eME

U

>„e?EGcMN‡H¤@oEfe 9NPvJK

U

E$©ºQO‹9‚I~Ž„EGJE

UG

@oIIJp?@#QRNPL'Q>[†PN‡e?N‰LOvŽNPLOe?I~ŽŽgOE

U E

DFEf>o>CQRv4EG>&I

ˆ

@A<=c.E

$

QJLOe

& H U

I4>C> EGQ4H#g'IJ@ogME

UG

QFe?Ef>[NPvJLOE

U

Ž&IJKM†‡eyg.Q•JEb@oI>oc.EfHN

ˆ

<yNPLŸQ4eMe?N‰@oNPIJL @oI

@CgME&N‰LMN‰@oN‡QR†?Zam;O_—QJLOe@CI,@CgME c

U

IJWAEGH@oNPIJL@CgOQ~@9@ogME&NPDFQJvJE&I

ˆ

DFEf>o>CQRv4EG>

$ QJLOe

$

SN‡Q,c

U

IJWAEGH¤@CN‰I4L

>ogMI4KM†Peyp.E U E$LOQJDFEGeyQ4> $ QJLOe >[NPDFN‰†‡Q U †‰<@CgOQ~@ &]& >ogMI4KM†Peyp.E U E$LOQJDFEGe & ‹V\ gONP>&N‡> LMIR@ JE U <

H$IJL=JEGLMNPE$LS@  E$4E$LNˆ.ˆEGQ4>[NPpM†PEJ‹‚E$LOH$E RT ‚am;O_&>…e?IZLOIR@ c U EG>oE U JE…EGJEGL4@)LOQJDEf>$‹ ˜ LMIJ@ogME U c U IJpM†PE$D

N‡> @CgOQ~@‚c.‚am;O_&>Ze?ILMIJ@‚c U EG>oE U JEsE$4E$LS@@A<=c.Ef>E$N‰@ogME U ‹&YL1QFc U IRWAEfH¤@oNPIJL  QH$QJKO>oQJ† U E$†‡Q~@oNPIJL ˆ£U IJD

QJLmEGJE$LS@Z@oIŸQRLMIJ@ogME U †PI?H$Q~@CEGemIJL Q'e?N dE UEGL4@sNPLO>A@#QRLOH$EN‡>bLMIR@QR†PŽ Q•<=>ZQyDFEf>o>CQRv4EJ‹sY ˆ Ž&E@#QR³JEFQJ>

H$IJL=JEGLS@oNPIJL¡@ogOQR@NPL™c U IRWAEfH¤@CN‰I4LO>  HGQRKO>CQR†PN¥@CN‰Ef> ˆ£U IJD E$4E$LS@C>>[N‰@oK.Q~@oEfe—IJL“QRL™NPLO>[@CQRL.HExzb@CImIR@CgME U

EGJEGL4@#>VI4L’QRLMIJ@ogME U NPLO>A@#QRLOH$E z)Q U E,DFEG>C>oQJvJEG>‚›œQJ>C>oKMDFN‰LMv RˆI U EŠMQJDcO†‰E‚@ogOQR@…@ogOE‚LMEGŽDFEf>o>CQRv4E

L.QRDFENP>@ogMEyLOQRDFEI ˆ @CgME¢ U >A@DFEf>o>CQRv4E†PEGQ•=NPLMv'z,@CgOQ~@H$QRK.>[Ef>s@ogMN‡>HGQRKO>CQR† U E$†‡Q~@CN‰I4L.ž  @ogOE U ENP>

>[@oNP†P†…QŸc U IJpM†PE$D >[I4DFEE$JEGLS@C>Q U EQ~@@CgMEy>CQRDFEF@oNPDFEE$DFN‡>o>oN‰I4LO>QJLOe U EfHE$cM@oNPIJLO>sI ˆ DFEf>o>CQRv4EG>G‹

\ gOEG>oEE$4E$LS@C>‚ŽN‰†P†pdEHGQR†P†‰Efey§[DKM†‰@oN‰@A<=c.EE$JEGLS@C>A¨#‹Z_„I4LO>[N‡e?E UG.ˆI U EŠMQRDFcM†PE  9N‰v4K UEk?‹,pOa ;O_ d

N‡>Zc U IJWAEGH@oEGeŸI4L1E$4E$LS@C>ko QRL.e.‹ZYL d‘ EGJE$LS@ NP>bQ’DFEG>C>CQRvJE U EfHE$cM@oNPIJL  pMK?@sN‰L Yad&¤

@CgME@A<=cdEI ˆ N‡>‚LMIJ@Z>oIyH†PEGQ UG Q4>,N‰@ZN‡>‚Q’HGQRKO>CQR†>[KOHGHEf>o>oI U I ˆ oQJLOeQc U EGe?EfHEf>o>oI U I ˆ O‹,‚E$LOH$E 

@CgMEI

U

e?E

U

>&vJEGLME

U

Q~@CEGeypS<yc

U

IJWAEGH@oNPIJLŸH$QRLOLMIR@pdEHIJL.>[N‡e?E

U

EGe'QJ> pOa ;O_&>,QRL=<=DFI

U

EJ‹

{e,f,j} (M) MSCΠ

Π m

n o

e

f

j

A B A B

MSC M

e

f g h

j

i

9N‰v4K U Ek …;=N‰DFcM†PEc U IRWAEfH¤@oNPIJL'I ˆ QpOam;O_

˜ LMIR@CgME U e U Q•Žp.QJH#³I ˆ7T ‚am;O_&>„N‡> @og.Q~@V@CgME‚cOQ U@CNPQJ†MI U e?E U ˆQRDFNP†‰NPEG>…vJE$LOE U Q~@oEfeFQ U ELMIR@…LOEGHEf>A©

>CQ U NP†‰<’I4p?@CQJN‰LOEGeŸp=<'H$IJLOHGQ~@oEGLOQ~@CN‰I4LŸI ˆ c U IJWAEGH@oEGe I U e?E U Yad

}

dE & /Y2Ld

} &

Y2Ld ;&ž  QRL.e

LOE$EGe1@oIŸpdEFeME¢OLMEfe Q4>Z@ogMEFQRpO>[@ U QJH@oNPIJL I ˆ @CgMEFŽgMIJ†PEc.Q U @oN‡QR†)I U e?E UZˆQRDFNP†‰<ZO C ‹2OK U @ogME U DFI U E 

@CIDFI?e?E$†7HI4DFDKMLMN‡H$QR@oNPIJLO>„H U I4>C>[NPLMvS>VQJ>…N‰L'EŠMQRDFcM†PE,I ˆ 9NPvJK U E  Qe?EG>oNPvJLME U LMEGEGeM>V@oINPLS@ U I?e?KOHE

gONPeMeME$L N‰LO>[@CQJLOHEf>  N5‹E4‹ I4p?WAEGH@C>„@og.Q~@gOQ•JEZLMIDEfQRLMNPLMvN‰L'@ogOEs>o<?>A@CE$D¦KML.e?E U e?Ef>[NPvJLŒ‹ ‚E$LOH$E  aŸ©

Références

Documents relatifs

Unité de recherche INRIA Rennes, Irisa, Campus universitaire de Beaulieu, 35042 RENNES Cedex Unité de recherche INRIA Rhône-Alpes, 655, avenue de l’Europe, 38330 MONTBONNOT ST

Unité de recherche INRIA Rennes, Irisa, Campus universitaire de Beaulieu, 35042 RENNES Cedex Unité de recherche INRIA Rhône-Alpes, 655, avenue de l’Europe, 38330 MONTBONNOT ST

Unité de recherche INRIA Rennes, Irisa, Campus universitaire de Beaulieu, 35042 RENNES Cedex Unité de recherche INRIA Rhône-Alpes, 655, avenue de l’Europe, 38330 MONTBONNOT ST

Unité de recherche INRIA Rennes, Irisa, Campus universitaire de Beaulieu, 35042 RENNES Cedex Unité de recherche INRIA Rhône-Alpes, 655, avenue de l’Europe, 38330 MONTBONNOT ST

Unité de recherche INRIA Rennes, Irisa, Campus universitaire de Beaulieu, 35042 RENNES Cedex Unité de recherche INRIA Rhône-Alpes, 655, avenue de l’Europe, 38330 MONTBONNOT ST

Unité de recherche INRIA Rennes, Irisa, Campus universitaire de Beaulieu, 35042 RENNES Cedex Unité de recherche INRIA Rhône-Alpes, 655, avenue de l’Europe, 38330 MONTBONNOT ST

Unité de recherche INRIA Rennes, Irisa, Campus universitaire de Beaulieu, 35042 RENNES Cedex Unité de recherche INRIA Rhône-Alpes, 655, avenue de l’Europe, 38330 MONTBONNOT ST

Unité de recherche INRIA Rennes, Irisa, Campus universitaire de Beaulieu, 35042 RENNES Cedex Unité de recherche INRIA Rhône-Alpes, 655, avenue de l’Europe, 38330 MONTBONNOT ST