• Aucun résultat trouvé

Occupation Times in Markov Processes

N/A
N/A
Protected

Academic year: 2021

Partager "Occupation Times in Markov Processes"

Copied!
45
0
0

Texte intégral

(1)

HAL Id: inria-00072852

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

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-

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,

Occupation Times in Markov Processes

Bruno Sericola

To cite this version:

Bruno Sericola. Occupation Times in Markov Processes. [Research Report] RR-3806, INRIA. 1999.

�inria-00072852�

(2)

ISRN INRIA/RR--3806--FR+ENG

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

Occupation Times in Markov Processes

Bruno Sericola

N˚3806

Novembre 1999

THÈME 1

(3)
(4)

&')(*+-,/.0'1324+6587:9

;=<?>@$ACBED FGHIA)JLKNMOAPQHIRNHIPS>@$AH

TVUSWYXIAPQZ[US@$W\U

FQJL]?]^W\UIP_?A`USAab<cAUSab<cAedgf4h\i\jLklD m WonLA@qp?UIArB)s\s\stD u?B`]vJLwLAH

xzy{|o}~v€L|4 ‚ AqaW\d?HIƒ„_?AU…%ƒ„d†J‡<?W\@$W\w\Ad?AW\KcH`ˆ‰JLUIŠLWon†]?UIW0aAHIH`‹ƒŒP<‰Ž?d?ƒPSAqHIPJPAqHI]vJLaAL…/P<cA

WNaaKc]vJPƒW\d‡PSƒ„@$AH‘PS<vJP=ƒH…’P<?AEPSƒ„@$AH‘HS]^Ad4P=p4R‡PS<?A]?USWNaAHSH=ƒdzw\ƒnLAdHIK?p?HSAPH=WL“PS<?AEHIPJPA[HS]vJLaA

_?K?UIƒ„d?w”JlŽvd?ƒŒPA•ƒ„d4PAUInJL–W“[Pƒ@rA— ‚ AŽvUIHIP$_?AUIƒnLAOPS<?A _cƒ„HIPSUSƒp?KcPƒW\d˜WL“QP<?AOWNaaKc]vJPƒW\d˜Pƒ@rA

WL“`W\dcA‰HSKcp?HSAP•JLd?_-PS<?Ad™‹‘A†w\Ad?AUSJL–„ƒšA•P<?ƒH‡UIAHSKc–P‡PSW:PS<?A$XIW\ƒd’Pr_?ƒHIPUIƒ„p?K0Pƒ„WLd›WL“EW0aaK?]vJYPƒ„WLd

Pƒ@rAH=WL“_?ƒœ6AUIAd4PQHSK?p?HIAPSH WL“P<cAtHžPbJPSA`HS]vJLaAgp4RzPS<?A`K?HSAtWL“W\US_cAUHIPJPƒHIPƒaH“ŸUIW\@PS<?A`K?d?ƒ“ŸWLUS@

_?ƒHIPUIƒ„p?K0Pƒ„WLd/— mQAMNP)…?‹‘AaW\dcHSƒ„_cAUP<cA_?ƒ„HžPUSƒp?KcPSƒ„W\dzW“‹‘Aƒw\<4PA_OHIK?@$H=WL“W0aaK?]vJYPƒ„WLdzPƒ„@$AH— ‚ A

W\pcPJLƒ„d¡PS<?AQ“ŸWLUI‹JLUS_‡JLd?_‡p?JLabŠ4‹JLUI_zA¢’KvJYPƒ„WLd?H£_?AHIaUSƒp?ƒ„dcwgP<cA p^A<vJ)nNƒ„WLU¤W“¥P<cAHSAQ‹Aƒ„w\<4PSA_‡HIK?@$H

JLd?_•‹‘AtHI<?Wo‹<?Wo‹¦PS<?AHIAgA¢’KvJPƒW\d?H–„AJL_zPW$HSƒ@r]c–„AEA§Mc]cUSAHIHSƒW\d?HQWL“PS<?ƒ„H=_cƒ„HIPSUSƒp?KcPƒW\d/—

¨ ©4ª¥«I¬q­ }Y®{L°¯ aaKc]vJPƒW\dCPƒ„@$AH…Nˆ‰JLUIŠLWon$]?USWNaAHSHSAH…0W\US_?AU£HIPbJYPƒ„HžPƒaH…NJ)nJLƒ„–„JLp?ƒ–„ƒP±RL…]^AUž“ŸW\US@rJY²

p?ƒ–„ƒP±RL—

³µ´¶±·±¸o¹=¶¤º»Œ·±¼¾½¿

À‘ÁÂ¥Ã3ÄÅYÆYÇÉÈ)ʞÃ8ËÍ̞ÆÎÐÏoѧÒËÓÃ8ËÍÔ8ÏÇÕÖÃ

Unité de recherche INRIA Rennes

IRISA, Campus universitaire de Beaulieu, 35042 RENNES Cedex (France) Téléphone : 02 99 84 71 00 - International : +33 2 99 84 71 00

(5)

{  ¯ dqaW\dcHSƒ„_c>USA…4_vJLd?HK?d¡]?UIW0aAHSHIK?HV_?Aˆ JLUSŠWn<?W\@$W\w\>d?A[AHS]vJaA_GPJPHŽvd?ƒ8…–„AH

PA@r]cH=_ÓWNaaK?]vJPSƒ„W\d•aÓAHIPI²Y²±_cƒ„USA…?–„AHPA@r]?H]vJHSHSGH ]?JLU=–„A]?UIW0aAHIHSK?HQ_vJLd?H_?AHHSW\K?H ²±Ad?HSA@qp?–„AH

_GPJPH•_?W\dcd?GHO_?K?USJLd4P•K?d ƒd4PAUžnJL–„–A†_?AlPA@r]?HzŽ?d?ƒ8— ¯ d W\pcPSƒ„Ad4P•_vJd?H•K?d ]cUSA@$ƒ„AU‡PA@r]cH

– JC_?ƒHIPUIƒ„p?K0Pƒ„WLd _?K PA@$]?H _ÓWNaaK?]vJPSƒ„W\d _K?d†HSWLK?Hž² Ad?HIA@qp?–AAPEW\d†wLGd?GUJL–ƒ„HSAtaAgUSGHSK?–ŒPbJP‡–J

_?ƒHIPUIƒ„p?K0Pƒ„WLd¤XIW\ƒ„d4PSA _?AVPA@r]?H%_ÓWNaaK?]vJPSƒ„W\d`_?AV_?ƒŒœ¥GUSAd’PSHHSW\K?H ²±Ad?HSA@qp?–„AH_cAV–AHS]?JLaA£_GPJPH]vJLU

–KcPSƒ„–„ƒHJPSƒ„W\dr_?AtHIPbJYPƒ„HžPƒ¢NKcAH_W\US_?UIAg_cAg–„JC–W\ƒ/K?dcƒ“ŸW\UI@rA—

¯

d aW\d?HIƒ„_?>USA`AdcHSK?ƒŒPAt–J¡_?ƒ„HžPUIƒ„p?KcPSƒ„W\d

_?A•HSWL@r@$AHC]^W\d?_?GUSGAHr_cA•PSA@$]?HC_W0aaK?]vJYPƒ„WLd/— ¯ d W\pcPSƒ„Ad’PC–AHCG¢’KvJYPƒ„WLd?H$JonJLd4P$APrJLUIUSƒ>USA

_?GaUSƒŒnJLd4P[–AaW\@$]6WLUIPA@rAd4P _cAgaAH[HIW\@$@rAHQ]^W\d?_cGUSGAH APQW\d‰@$W\d4PUIA`aW\@$@rAd4P aAHQG¢’KvJPSƒ„W\dcH

aWLd?_?K?ƒHSAd4PC_?AHAM0]?UIAHIHSƒ„WLd?H HIƒ„@$]?–„AH=_?A`aAPSPA`_?ƒHIPSUSƒ„pcKcPƒW\d/—

­

|{

«

€



;A@r]cH_W0aaK?]vJYPƒ„WLd/…c]?UIW0aAHIHSK?H=_?Aˆ‰JLUSŠWon6…cHIPbJYPƒ„HžPƒ¢NKcAH_W\UI_?USA…c_?ƒHS]^W\d?ƒ„pcƒ„–„ƒŒPG…

]^AUI“ŸWLUS@rJLp?ƒ„–ƒPSGL—

(6)

& '

¡%# ••‘

(%AP*),+.-/)1032 46587:9Cp6AJ‡<?W\@$W\w\Ad?AWLK?Hˆ‰JUSŠLWon ]?USWNaAHSHE‹ƒŒP<†J$Žvd?ƒPSAHžPbJPSAHS]?JLaA<;—Q;=<?A

WNaaKc]vJPƒW\dCPƒ„@$AWL“JtHSK?p?HIAP*=?>@; WonLAU‘PS<?A[ƒd4PAUžnJL–BAC7 2ED F#ƒH‘_cAŽvd?A_p4R$PS<?A[USJLd?_?WL@ nLJUSƒ Jp?–„A

GIH JLH

GIH+@J

H

KILMNPORQSUT V 42

‹<?AUSA

L MWT

+ L

ƒŒ“QaW\d?_cƒPƒW\dYX‡ƒ„HqPSUSK?AOJLdc_Z7 WLPS<?AUž‹ƒ„HSA— ;=<?ƒ„H¡USJLd?_?W\@ nLJUSƒJp?–„AzUIAaAƒnLA_-J

aWLd?HSƒ_?AUSJLp?–„ArJPIPAd4PSƒ„W\d:HSƒ„dcaA‡ƒŒPtƒ„HgJL–„HIW‰Š’d?Wo‹d JLH`P<?Arƒ„d4PAUInJL–¤J)nLJƒ„–Jp?ƒ„–ƒP±R ƒ„d”USA–ƒJLpcƒ„–„ƒŒP±R†Jd?_

_?A]6Ad?_vJLp?ƒ–„ƒŒP±RgPS<?AW\UžR\— Z dCAM0]?USAHSHIƒ„W\d$WL“ P<?A=_cƒ„HIPSUSƒp?KcPƒW\dqWL“[GIH^<vJLH£p6AAdCW\pcPJLƒ„dcA_¡ƒ„d]\_^`vKcHSƒ„dcw

W\UI_?AU‘HIPbJYPƒ„HžPƒaH£“ŸUSW\@ P<cA[K?d?ƒŒ“ŸW\US@ _cƒ„HIPSUSƒp?KcPƒW\dCWon\AUaAC7 2ED Fb— ;=<?ƒHA§Mc]cUSAHIHSƒW\dƒ„H¤n\AUžR‡ƒd4PAUIAHžPƒ„dcw

“ŸUSWL@ J¡aW\@$]?KcPJPƒW\dvJL–6]6WLƒ„d4P=WL“nNƒ„A‹¦JLd?_•nJLUSƒW\K?H@$APS<?WN_?H<vJ)n\A`p6AAdO_?AnLA–W\]6A_OPSWCaW\@$]?KcPSA

ƒPCAn\Ad™ƒ„d P<?AOa)JHSAOWL“E_?Ad’K?@rAUJLpc–„A•HIPJPAOHS]vJaAHIb¾HIAAc\_^`3…d\ÖBoj`3…\ie`3…d\se`QJLd?_ P<?A•USA“ŸAUIAd?aAH

P<cAUSAƒ„dgf§—

h±d PS<?ƒ„H]vJL]^AU…V‹‘AŽvUSHžPrWLpcPbJLƒd P<cAqXIWLƒ„d4P¡_?ƒHIPUIƒ„p?K0Pƒ„WLd WL“QP<?AUSJLd?_?WL@ nJLUSƒ„JLp?–AHjiGkHl2m)nHF

K?HIƒ„d?w‡PS<?Ag“ŸWLUI‹JLUS_ JLdc_†pvJLabŠ4‹JLUS_ A¢’KvJYPƒ„WLd?HEJLHIHSWNaƒ„JPA_‰PW‡PS<?AKcd?ƒ“ŸW\UI@rƒšA_†ˆ‰JUSŠLWon‰ab<vJLƒ„d‰WL“

P<cAt]cUSWNaAHIH*) — ‚ AtPS<?Ad w\AdcAUJ–„ƒ„šAEP<?ƒH=USAHSK?–ŒPQPSW$PS<?AXIW\ƒ„d4P_?ƒHIPUIƒ„p?K0Pƒ„WLdWL“oGqp

H

2RrsrsrR2G8t

H

2 )1H±…

‹<?AUSAuG@v

H

ƒH¤PS<?A[WNaaK?]vJPSƒ„W\d$Pƒ@rAQWL“JtHSK?p?HIAPxw

v

Won\AU‘P<?A ƒ„d4PAUInJL–BAC7:2mD Fb—zy#ƒdvJL––R\…‹AEaW\d?HIƒ„_?AU

Jq‹Aƒ„w\<4PSA_‰HIK?@ WL“WNaaKc]vJPƒW\dPƒ@rAH…cPS<vJPƒ„HPS<?A`UJLdc_?W\@ nJLUIƒJLp?–Ad{UH#_cAŽvd?A_‰p4R

{UH|+@J

H

K}

i)10~F

V

42

‹<?AUSA¡“ŸW\UEAJLab<*€Z;…

}

ilFQƒ„HJzd?WLd”dcAw4JPSƒnLAqaW\dcHIPbJd’P—;=<?ACHžPK?_cR‰WL“¤P<?ƒHEUJLdc_?W\@ nLJUSƒ Jp?–„A

{UH£ƒ„HEJ–„HSW‡ŠNdcW‹d”JLH P<?Aq]^AUž“ŸW\US@rJLp?ƒ–„ƒŒP±R•JLdvJL–ŒRNHSƒ„H ƒ„d‰PS<?AqUIA–„ƒ„JLp?ƒ–„ƒP±RzJLd?_l_?A]6Ad?_vJLpcƒ„–„ƒŒP±R•P<?AW\UIR

b¾HIAA\Óh/`8…‚\„ƒ`Jd?_:PS<?ArUIA“ŸAUSAdcaAHtP<?AUSAƒ„dgf§— ‚ Ar_?AUSƒŒn\A‡<cAUSACP<cArpvJabŠ’‹JLUI_˜JLd?_”“ŸW\UI‹JLUS_”A¢’KvJ²

PƒW\d?HE_cAHSaUSƒp?ƒ„d?wzPS<?A¡p^A<vJ)nNƒ„W\U[WL“£P<?A XIW\ƒd4PE_?ƒHIPUIƒ„p?K0Pƒ„WLd†WL“xi{UHl2 )1HF—g;=<?AHSACA¢’KvJYPƒ„WLd?H…/‹<?ƒab<

JLUIAO]?JLUIPSƒJL–‘_?ƒœ6AUIAd4Pƒ„JL–A¢NK?JPƒW\d?H…JLUSAzPS<?Ad HSWL–n\A_-Jd?_ ‹‘AOHS<?Wo‹ PS<vJP¡PS<?AR –A)JL_˜PW HIƒ„@$]?–„A

AM0]?UIAHIHSƒ„WLd?H W“PS<?AXIW\ƒ„d4P_?ƒHIPUIƒ„p?K0Pƒ„WLdzWL“‚i{UHl2 )1HFb—

;=<?A•USAHIP$WL“ ]vJL]^AU¡ƒ„H¡WLUSw4JLdcƒ„šA_ JLH¡“ŸW\–„–Wo‹H—…h±d PS<?Ad?AMNP$HSAaPSƒ„W\d/…£‹‘AOaW\d?HIƒ„_?AUCPS<?AgXIW\ƒd’P

_?ƒHIPUIƒ„p?K0Pƒ„WLdWL“ W\UI_?AUHžPbJPSƒ„HIPSƒ„aH“ŸUIW\@ PS<?AgKcd?ƒ“ŸW\UI@ _?ƒHIPSUSƒ„pcKcPƒW\d•JLd?_OP<?AXIW\ƒd’PQaW\d?_?ƒŒPƒ„WLdvJL–¥_cƒ„Hž²

PUIƒ„p?K0Pƒ„WLd$W“¥P<cAVXIK?@$]?H¤ƒ„d$JTW\ƒ„HIHSW\dr]?USWNaAHSHJLd?_C‹A HS<?Wo‹ <?Wo‹™PS<?ARrJLUIAQUIA–„JPA_/—Bh±d‡HIAaPƒ„WLdzhc…

‹‘A¡aW\d?HIƒ„_?AU[P<cAqa)JLHIA‡†ˆ+

L — ‚ AW\pcPbJƒ„d‰PS<?Aq_?ƒHIPUIƒ„p?K0Pƒ„WLd‰WL“£WNaaK?]vJPSƒ„W\d‰PSƒ„@$At“ŸWLUEJz_?ƒHSaUIAPSA

Pƒ@rA[ˆ‰JLUIŠLWonzab<?JLƒ„d/—V;=<cƒ„H_cƒ„HIPSUSƒp?KcPƒW\d‡aW\@qp?ƒd?A_r‹ƒP<rP<?AEUIAHIK?–PSHWL“HSAaPSƒ„W\d‰^g–A)JL_rPWqHIƒ„@$]?–„A

AM0]?UIAHIHSƒ„WLd?HCWL“P<?AgXIW\ƒd4Pq_?ƒHIPUIƒ„p?K0Pƒ„WLd WL“P<cAaW\K?]c–„AkiGkHl2 )1HF—:;=<cAUSAHIK?–PSH¡WL“QHSAaPƒW\d hlJLUIA

P<cAd w\Ad?AUSJL–„ƒšA_:ƒd:HIAaPSƒ„W\d:u PSW P<cAraJLHSA$‹<?AUIA† Š L

—]y#ƒ„dvJ–„–RL…%HSAaPƒW\d‹ƒ•_?A)J–„H‹ƒPS<:P<cA

_?ƒHIPUIƒ„p?K0Pƒ„WLdWL“PS<?A`aW\Kc]?–„Ani{gHŒ2m)nHFb—

(7)

u

C`/

!"$#% '&)(*#+,

h±d P<?ƒH$HIK?p?HIAaPSƒ„W\d¥…‹AOaWLd?HSƒ_?AUCW\UI_?AUCHIPJPƒHIPSƒ„aH¡“ŸUIW\@ P<cAOKcd?ƒ“ŸW\UI@ _?ƒHIPSUSƒ„pcKcPƒW\d˜Won\AUAC7:2mD Fb…

‹<?AUSAD¡ƒH‡J”ŽcM0A_™]^W\HSƒŒPƒŒn\AOUSA)J–Qd’K?@p6AU—¦ˆ W\USAO“ŸW\US@rJL––R\…£–AP ) p

…‚).-o…*rsrsrŒ… )0/:p^A21 ƒ8—ƒ8—_/—

UJd?_?W\@°nLJUSƒ Jp?–„AH[‹ƒPS<laW\@$@rWLdl_?ƒ„HžPUSƒp?KcPSƒ„W\d‰PS<?A¡K?d?ƒŒ“ŸW\US@°_?ƒHIPUIƒ„p?K0Pƒ„WLd†Won\AUjA7 2mD F— ‚ AqPS<’K?H

<vJ)n\A…v“ŸW\UJL–„–  + L

2srsrRr’231”JLdc_54€6…

7‡-/)

v98 4|9+

:;

<;= 7 ƒ“ 4 8 7

4?>D ƒ“ 4k€‹i7:2mD F

L

ƒ“ 4k5 D

h “=P<cA‡UJd?_?W\@ nJLUIƒ JLp?–AHa)

p … )@-o…‚rRrsr… )0/†JLUIArUIA)JLUIUJLdcw\A_ ƒd JLHIaAd?_?ƒ„dcw†W\US_cAUW“=@‡Jw\d?ƒPSK?_?A

JLd?_•P<cAd•‹USƒPIPAd JH

)BA

pDCE8 )BAF-

CE8GHGHG 8 )BAF/

C

‹‘A=a)JL––:) A

vIC

PS<?A 3PS<¡W\US_cAU HžPbJPSƒ„HIPSƒ„a…~ + L

2KJ 2srsrsr231#—MLAaJLK?HIAQW“vP<?Aƒd?A¢’KvJ–„ƒP±RtUIA–JYPƒ„WLd?H JL@$W\d?w

P<cA@ PS<?Au)NA

vIC

JLUIAd?AaAHIHJLUIƒ„–Rz_?A]^Ad?_cAd4PEUSJLd?_?W\@enJLUSƒ„JLp?–„AH—

(%APOPsiQ4PF‘p6APS<?A`_?ƒ„HžPUSƒp?KcPSƒ„W\dzW“ )BARP

C — ‚ AEP<?Ad‰<vJ)nLAL…v“ŸW\U4I€ci7 2mD F…

O9PiQ4PF + 7‡-/)BARP

CM8 4|9

+ 7‡-YJP–A)JLHžP*SqWL“P<?Au)@TtJLUSA–AHIHPS<vJLd•W\UA¢’KvJ–/PW049

+ /

U

vIV PXW

1

MY

W 4D Y v W

L*Z 4D Y

/[

v

bžB/f

;=<?At_?Ad?HIƒP±R5\HPi]4PFW“ ) ARP

C

ƒ„HPS<NKcHQwLƒn\Ad/…?“ŸW\U4€‹i7 2ED Fb…?p4R

\HPiQ4PFB+

1_^

iDS

Z L F^iD1

Z

S!F^

LD W 4D Y P W

L*Z 4D Y

/`[aP

r

h P=ƒ„H‘HS<?Wo‹dƒdk\ŒB’`6PS<vJPPS<?A¤XIW\ƒd4P_?Ad?HSƒŒP±Rr“ŸKcd?aPSƒ„W\dzW“) ARPcb

C

2m) ARPed

C

2srRrsr’2m) ARPef

C

…0“ŸW\U

L

8hgN8 1#…

L 8 S pi

Sj-

ikGHGHG i SlT

8 1 Jd?_54 p8

4m-

8nGHGHG+8 4mT<bo4

v € i7 2mD Flfƒ„H

\pPcb'qPedqsrsrsrqPefei]4

p

2t4m-2srRrsrR2t4mT/F +

1M^

W LD Y T W 4 p D Y

Pcbu[

p W 4m-

Z 4 p

D Y

Pudc[aPb'[

p

GHGHG

W

4mT

Z

4mTv[

p

D Y

PefK[aPefw b [ p W

L*Z 4mT

D Y /[aP f

iDS

p

F3^iQSj- S p F^

GHGHG

iDSlT SjTx[

p

F3^iQ1 SjTF3^

(8)

;=<?AXIW\ƒd4P_cAd?HIƒP±R`“ŸK?d?aPƒ„WLdWL“ ) Ab C

2m) Abd C

2RrsrsrR2m) Abd

f C

ƒ„H%PS<NKcH w\ƒnLAd/…Y“ŸW\U

L

8hgN8 1#…

L

8 p

-

hGHGHG T 8

1Zb

v 5 L

fJd?_N4

pX8 4m-

8GHGHG 8 4mT<b]4

v

€‹i7 2ED F fp4R

beqRdqsrsrsrq fei]4

p

2t4m-s2srsrRrR2t4mT/Fo+

1_^

W LD Y T W 4 p D Y

b'[

p W 4m-

Z 4 p

D Y

d[

p

GHGHG

W

4mT

Z

4mTv[

p

D Y

f[

p W

L*Z 4mT

D Y

/[ Abd

f C

i p Z L F3^i -

ZL F^

GHGHG i T Z L

F^iD1

Z i p

-

GHGHG T/FEF^

r

yvK?UIPS<?AUI@rW\UIAL…¡ƒŒ“$‹‘A ‹USƒPSAY{b + )b‰JLd?_ “ŸW\UY+ J:2srsrRr’2

g

…q‹A _?AŽ?d?A{zJLH…{‹+

)BAbd

C Z

)BAbd

w b C

P<?Ad™P<?A¡XIW\ƒ„d4Pz_cAd?HIƒP±R “ŸK?d?aPSƒ„W\d-WL“u{b2{d2srsrsr’2{f ƒ„Hrw\ƒnLAd/…

“ŸW\U

L 8 gB8

1#…

L

8 p

-

GHGHG T 8

1Zb

v 5 L

fJLd?_‰7

iep

-

GHGHG T i

Dub

Rv

€‹i7 2mD F f

p4R

b q d qsrsrsrqRfi

ep 2

-R2srsrsr’2

T/FB+

b q d qsrsrsrq fi

ep

2

ep -s2srsrRrR2

ephGHGHG T/F 2

P<?JPƒ„H…

b'qRdcqsrsrsrq f i

ep 2

-s2srsrsr’2

T/FB+

1M^

W LD Y T W ep

D Y b'[

p W -

D Y d[

p

GHGHG

W T

D Y f [ p W

LXZ

ep

-

hGHGHG

T

D Y

/`[ Abd

f C

i p Z L F3^i -

ZL F^

GHGHG i T Z L

F^iD1

Z i p

-

GHGHG T/FEF^

r

h±d ]?JLUIPSƒ„aKc–JLU…Q“ŸW\U

g + 1‹A”w\APP<?A‡XIW\ƒd’P•_cAd?HIƒP±R “ŸK?d?aPƒW\d WL“gPS<?A UJLdc_?W\@ nJLUIƒJLp?–AH

{ p + ) A

pDC

2 { -%+ ) AF-

C Z ) A pDC

2srsrsr’2{m/u+ ) AF/

C Z ) AF/[

pDC

_?Ad?WLPSA_•p4R iQ4

p

24m-s2srsrsr’2t4 /3F£p4R‡@rJLŠ’ƒ„d?w

p +

-‚+

GHGHG

+ / + L

ƒ„dPS<?A`]?USAn0ƒW\K?HAM0]?UIAHIHSƒ„WLd/…vP<vJPƒH

iQ4

p

24m-s2srsrsr’2t4 /3Fo+

:;

<;=

1M^

D /

ƒ“

/

U

vIV p 4 v_8

D

7 WLPS<?AUž‹ƒ„HSA—

L‘Rz‹UIƒPSƒ„d?wn{ /

p + D Z ) AR/

C

…?PS<?ƒ„HJL–HSWC_?APAUI@rƒd?AH=PS<?A b¾_?Aw\Ad?AUJPSAfXIW\ƒ„d4P=_cAd?HIƒP±R“ŸK?d?aPƒW\d•WL“

{ p

2{m-s2srsrsr’2{ /:2 {m/

p

ƒdP<?A`USAw\ƒ„WLd

4 v 5 7 i  + L

2srRrsrR231 231

L F /

p

U

vIV p 4 v + D r

;=<?AXIW\ƒ„d4P=_?ƒHIPSUSƒ„pcKcPƒW\dWL“ {b 2 {d 2RrsrsrR2 {f[ƒH=_?Ad?WPA_ p4R! "b q d qsrsrsrqRf/i

p 2

-R2srsrsr’2

T/F…?P<vJPƒH

buq dqsrsrsrqRfi

ep 2

-R2srsrsr’2

T/FB+ 7‡-{b

8 ep 2{d

8#

-R2srsrsr’2{f

8 T93r

;=<?ƒHQ_cƒ„HIPSUSƒp?KcPƒW\dzƒH=w\ƒnLAdOƒ„dP<?A“ŸW\––„Wo‹ƒ„dcw–„A@r@rJc—

(9)

k

£© ~

L

8hgN8 1

L

8 p - GHGHG T 8 1

v 5

L

7

iep - GHGHG T i D

Rv

€‹i7 2ED F

"

"buq dqsrsrsrq fei

ep 2

-s2srsrRrR2

TF +

U

v

b b'q

v

d dq]r]rDr]q

v

f Rfq

vb vd v fX/

1_^

W

p

D Y vb W - D Y vd

GHGHG

W T

D Y vf W L Z

p

- GHGHG

T

D Y

/`[ Avb vd

vf C

 p

^_D-H^

GHGHG

DT ^iD1

Z i  p

e-

GHGHG

eT/FmF3^

r

} ­/­ h PQHSKraAHPWCHS<cW‹¦P<vJP

T

"b q d qsrsrsrq fi

ep 2

-s2RrsrsrR2

TF

ep -

GHGHG

T + b'q dqsrsrsrq fei ep

2 -s2srsrRrR2

TFr

;WrHIƒ„@$]?–„ƒŒ“ R$‹UIƒPSƒ„d?w?…N‹A`_?AŽvd?A

H! "cb'q"ed'qsrsrsrq"ef

/#

v

b'q

v

dqsrsrsrqvf + W p

D Y vb W - D Y vd

GHGHG

W T

D Y vf W L Z

p

-

hGHGHG

T

D Y

/`[ Avb vd

vf C

 p

^_D-H^

GHGHG

DT ^iD1

Z

i

p

e-

GHGHG

eT/FmF^

r

‚ A`PS<’K?H<vJ)n\AL…v“ŸUIW\@ USA–JPSƒ„W\dkb3h!f§…

"b q d qsrsrsrq fei

ep 2

-s2srsrRrR2

TF +h1M^

U

v

b buq

v

d dqQr]r]rDq

v

f fKq

vb vd

vf */

H! "cb'q"Ddcqsrsrsrq" f

/#

v

b'q

v

dqsrsrsrqvf r

‚

AtWLpcPbJLƒd

"b'q dqsrsrsrq fei

ep 2

-s2srsrRrR2

TF

T +

1M^

D U

v

b$ b'q

v

d dqQr]rDr]q

vf f q

vb vd

v

fX/

H! "cb'q"Ddqsrsrsrq"Df

/#

v

b'q

v

dqsrsrsrqv fw

b qv f[

p

Z

1_^

D U

vb b qvd d q]rDr]r]q

v

f% fKq

vb vd vf

*/[

p

H! "'buq"edqsrsrsrq"ef

/`[

p v b'q

v

dqsrsrsrqvf

+

1M^

D U

v

b$ b'q

v

d dqQr]rDr]q

v

fw b fw b qv

f f [ p q

vb vd v f*/[

p

H! "cbuq"Ddqsrsrsrq" f

/[

p v buq

v

dqsrsrsrqvf

(10)

Z 1_^

D U

v

b buq

v

d dq]rDr]r]q

vf f q

vb vd v f*/[

p

H! " b q" d qsrsrsrq"ef

/`[

p vb qvd qsrsrsrqvf

+

1M^

D U

v

b$ b'q

v

d dqQr]rDr]q

v

fw

b fw

b q

vb vd v

fw b X/_[

p

H! "'b'q"edqsrsrsrq"ef

/`[

p v b'q

v

dqsrsrsrqv fcw b q f [ p

‹<?AUSA†P<cA‰HSAaW\dc_ A¢’KvJL–„ƒŒP±R ƒ„H‡WLpcPbJLƒd?A_-p’R›K?HIƒ„d?w PS<?A‰nJLUIƒJLp?–A ab<?JLd?w\AIDT

Z

DT

L

—L‘R

ƒPSAUSJPƒd?w¡HSK?aaAHSHSƒŒn\A–RP<cAtHSJL@$AgJUSw\K?@$Ad4P=‹ƒŒP<•USAHS]^AaPQPW¡nJLUIƒJLp?–AH

Tx[

p

2srsrsr’2

-)…c‹‘AgW\p0PbJLƒd

Tx[

p "b q d qsrsrsrq fi

ep 2

-s2srRrsr’2

T/F

T

Tx[

p 2 GHGHG

2 - +

1M^

D

Tx[

p U

v

b b'q

v

b*/[ Ad

f C

H! "'b'q"edqsrsrsrq"ef

/`[%T p v b'q d[

p

qsrsrsrq

fw b [ p q f [ p 2

JLd?_•ŽvdvJ–„–RL…

T b q d qsrsrsrqRfi

ep 2

-R2srsrsr’2

TF

T~2

GHGHG 2

-2

ep

+

1_^

D T U

v

b buq

v

bX/M[XAd Rf

C

H! " b q" d qsrsrsrq"Df

/`[%T p v be[

p qRd[

p

qsrsrsrq f [ p

Z

1M^

D T U

v

b b'q

v

b*/[*Ad

f C [ p

H! "'b'q"edcqsrsrsrq"ef

/`[%T

v

buq d[

p

qsrsrsrq f [ p

+

1_^

D T U

v

b b$[

p q

vb X/M[XAd Rf C [ p

H! "cbuq"Ddqsrsrsrq" f

/[%T

vb q d [ p qsrsrsrqRf[

p

Z

1M^

D T U

v

b b'q

v

b*/[*Ad

f C [ p

H! "'b'q"edcqsrsrsrq" f

/`[%T

v

buq d[

p

qsrsrsrq fK[

p

+

1_^

D T H! " b q" d

qsrsrsrq"ef

/`[%T be[

p qRdc[

p

qsrsrsrq f [ p

+ b'q dqsrsrsrq f i

ep 2

-s2srsrRrR2

TF

‹<?AUSA`P<?A`HSAaW\dc_‰A¢’KvJ–„ƒP±R‡ƒ„H=W\p0PbJLƒd?A_•p4RK?HIƒ„d?w¡P<cA`nJLUIƒJLpc–„AEab<vJd?w\Au

p

Z



p

L —

(11)

i

u ,c"+"%, "%"

(%AP -uHl2mD‚€ 6j9 p6AJ`TW\ƒ„HIHSW\dC]?UIW0aAHSH£‹ƒPS<¡UJPSA‡JLd?_C–AP

K

…

K p

…UrRrsr…

K p GHGHG

/[

p

p^A P<cA1 Ž?USHIPƒ„d?HžPbJLd4PH‘WL“0XIK?@$]?H‘WL“B-aHŒ9EWnLAU A7 2mD F—Bh PƒH¤‹‘A––Œ² ŠNdcW‹d¥…cHSAA1\u`6PS<vJP¤P<?A _?AdcHSƒP±R

WL“P<?A`aW\d?_?ƒŒPƒ„WLdvJL–¥_cƒ„HIPSUSƒp?KcPƒW\dzWL“

K

2

p

2srsrsr’2 /[

p

wLƒn\AdP<vJPu-uH|+ 1 9ƒH

\ iQ4

K

2t4

p

2srsrsr’2t4 /`[

p

Fo+

:;

<;=

1M^

D /

ƒ“

/`[

p

U

vIV K 4

vM8

D

7 WLPS<?AUž‹ƒ„HSA—

;=<?ƒH¤ƒH¤JL–„HIW?…NJLH£HSAAdzƒ„dCP<cAQ]cUSAnNƒW\K?H¤HSK?p?HIAaPƒ„WLd/…NPS<?A XIW\ƒ„d4P£_?Ad?HSƒŒP±RrW“¥P<cAQWLUS_?AU‘HžPbJPSƒ„HIPSƒ„aH£“ŸUIW\@

P<cAtKcd?ƒ“ŸW\UI@ _?ƒHIPSUSƒ„pcKcPƒW\dzWon\AU$i7 2mD Fb—

h “ ‹‘At‹UIƒPA m/1+ D Z i

K p GHGHG

/[

p

Fb…?P<cƒ„HQJL–„HIWr_cAPAUS@$ƒ„d?AH=P<?Ab¾_?Aw\AdcAUJYPAfXIW\ƒd’P

_?Ad?HSƒŒP±Rz“ŸK?d?aPƒ„WLdOW“

K

2

p

2srsrsr’2 m/`[

p

2 m/Cƒ„dzPS<?A`USAw\ƒ„W\d

4 v 5 7 i +@7 2srsrRrR231

Z L

231 F /

U

vIV

K 4 v + D r

;=<?AHžR0@$@$APUIƒ„a‘USW\–A‘]?–„J)R\A_¡p4RtP<?A¤nJLUSƒ„JLp?–„AH4

K

24

p

2srsrsr’2t4 /`[

p

24 /[HI<?Wo‹H#P<vJYP#“ŸW\U#JLd4RHIK?p?HSAP

-/

p

2me-s2

GHGHG

2 Q/:9‘WL“’P<?AVHIAPz-7 2

L

2srsrsr231

ZaL

231 9’…o‹A£<vJ)n\A \ i]4

vb 2t4

v

d’2srsrRrR2t4

v

FB+ \ i]4

K

2t4

p

2srRrsrR2t4 /[

p

Fb—

h P[“ŸW\––„Wo‹H=“ŸUSW\@ UIA–JYPƒ„WLdcb B/f=PS<vJPQ‹A<vJ)n\AL…^“ŸW\U

L 8 8

-/

p

2 e-R2

GHGHG

2 9 >q-7 2

L

2srRrsr 231

Z

L

231 9qJd?_

€‹i7:2mD Fb…

7‡-

vb

hGHGHG v8

aHP+ 1 9 + 7‡-

K

hGHGHG I[

p 8

aHP+ 1 9

+ 7‡-/)NA

CM8

9

+ /

UT V W 1g Y W D Y T W

L*Z D Y

/`[%T

r b^~f

ˆ W\UIA¡w\Ad?AUJL––RL…6–AP

g

p^A¡JLdlƒd4PAwLAUEHIK?ab<lP<vJP

L 8 g 8

1˜JLd?_

p 2 -s2srsrRrR2

Tgp6A

g

ƒ„d4PAw\AUIH

HSKcab< PS<vJP

L 8 p

- GHGHG

T 8 1 b v 5 L

f—*yvW\UEJLd4R HSK?pcHSAP$-/

p

2 D-s2srsrsr’2  bd

f 9CWL“VP<cA

-7 2

L

2srsrsr231

Z L

231 9’…cP<cA`nLAaPW\UIH

b

U

V p v

2 b d

U

V b p v

2RrsrsrR2

bd

f

U

V b d

fw b p

v

JLd?_

bu[

p

U

V K 2 bd[

p

U

V b

2srRrsrR2

b

d

fK[

p

U

V bd

fw

b

(12)

<vJ)n\AtP<?A`HSJL@rA`aW\d?_?ƒŒPƒ„WLdvJL–/_?ƒHIPSUSƒ„pcKcPƒW\dw\ƒnLAdOP<vJP uH+ 1#… w\ƒŒn\Ad p4RO–„A@r@rJn^0—ŒB\…?P<vJYP ƒH…?“ŸW\U

7

iep

-

GHGHG T i

Dub

Rv

€‹i7 2mD F f§…

7‡-

b

U

V p

8 ep 2 bd

U

V b p

8#

-R2srsrsr’2

bd

f

U

V bd

fw

b p

8 T

aHP+ 1 9u+

U

vb b qvd d q]r]rDr]q

v

f Rfq

vb vd vf X/

1_^

W

p

D Y vb W - D Y vd

GHGHG

W T

D Y vf W L Z

p

- GHGHG

T

D Y

/`[ Avb vd

vf C

 p

^_D-H^

GHGHG

DT ^iD1

Z i  p

e-

GHGHG

eT/FmF3^

r

b3h!f

/%Oz ¦

(%AP*),+.-/)1032 46587:9Cp6AJ‡<?W\@$W\w\Ad?AWLK?Hˆ‰JUSŠLWon ]?USWNaAHSHE‹ƒŒP<†J$Žvd?ƒPSAHžPbJPSAHS]?JLaA<;—Q;=<?A

]?UIW0aAHSH) ƒ„H£w\ƒŒn\AdCp4RCƒPSHVƒ„dcŽ?d?ƒPSAHSƒ@‡J–cw\Ad?AUSJPW\U JLdc_rp4RCƒPSHVƒ„d?ƒŒPƒ„JL–0]cUSW\pvJp?ƒ„–ƒP±Rt_?ƒ„HžPUIƒ„p?KcPSƒ„W\d

— ‚ A•_?Ad?WLPSAOp4R + -E/:2t1q5 7:9OP<?AKcd?ƒ“ŸW\UI@rƒšA_ ˆ‰JLUIŠLWon ab<vJLƒd \ `=JLHSHIW0aƒJPSA_˜PWlP<cA

ˆ‰JLUIŠLWonl]?UIW0aAHIH) …¥‹ƒPS<†P<?A¡HSJL@$Aqƒ„d?ƒŒPƒ„JL–_?ƒ„HžPUSƒp?KcPSƒ„W\d —ah PHEPUSJLd?HIƒPƒW\d†]?UIW\pvJLpcƒ„–„ƒŒP±R•@‡JYPUSƒÖM

ƒ„HQUSA–„JPA_‰PWrP<?Ag@‡JPSUSƒÖM p4R PS<?AqUIA– JYPƒ„WLd +

> …^‹<?AUIA•ƒ„HP<?Aqƒ_?Ad4PSƒP±RO@‡JYPUSƒÖM

JLd?_ lHJYPƒ„HžŽvAH P<?A¡UIA–JYPƒ„WLd 5 - Z vqv

2x € ;‚9’—;=<?AqUSJPAlƒ„HQP<?AUJPSAqWL“VP<cA¡TW\ƒHSHIW\d

]?UIW0aAHSH -a0!2 45?7 9’…^ƒd?_?A]6Ad?_?Ad4PW“g…v‹<?ƒ„ab<‰aW\K?d4PSH[P<?Agd’K?@qp^AUQWL“ PUSJLd?HIƒPƒW\d?HWL“V]cUSWNaAHIH

-

O

2m45 7:9 Won\AUA7 2mD Fb— h P¤ƒ„H ‹‘A–„–Ö²±Š’d?Wo‹dCP<vJP£PS<?A]?USWNaAHSHSAH-

O

9JLdc_<) JLUIAQHžPWNab<vJLHžPƒ„aJL–„–ŒR

A¢’K?ƒŒnJL–„Ad’P— ‚ AqaW\dcHSƒ„_cAUJz]vJUIPƒŒPƒW\dI;+.= bŒ= +"!3fQWL“£PS<?AqHIPJPAHS]vJLaAn; JLd?_‰‹‘A

aWLd?HSƒ_?AU=P<cAtWNaaK?]vJPSƒ„W\dPSƒ„@$AEWL“P<?A`HSKcp?HSAPa=g—

#* !c" ? #+ %$'&,"%

‚ AaWLd?HSƒ_?AUQP<?Aqˆ‰JLUSŠWon‰ab<vJƒ„d(?+ -/:231c587:9CJLd?_ ‹Ag_?AŽvdcAP<?AgUJLdc_?W\@ nJLUSƒ„JLp?–„A) /$p’R

P<cA`PSWLPbJ–/d’K?@qp^AUWL“HIPbJYPAHWL“z= nNƒ„HIƒPA_•_?K?USƒd?wqP<cA 1lŽvUIHIPPUSJLd?HIƒPƒW\d?HW“g…cPS<vJPƒH

) /u+

/

U

T V K L M+*

f

Q/SUT

r

;=<?ƒH=UJLd?_cW\@ nJLUSƒ„JLp?–A[USA]?USAHSAd’PSHQPS<?A`W0aaK?]?JPƒW\dzPƒ@rAEW“#HIK?p?HSAPa="_?K?UIƒ„d?w¡P<cA 1†Ž?USHIPPSUJLd?HIƒŒ²

PƒW\d?HVWL“^P<cAQ]cUSWNaAHIH,t—#;=<?A“ŸW\–„–Wo‹ƒ„d?wQP<?AW\USA@ w\ƒnLAHVP<?A=p?JLabŠ4‹JLUI_zA¢’KvJYPƒ„WLdC“ŸWLU P<?Ap^A<vJ)nNƒ„W\U

WL“P<?A`aW\K?]?–Ani+) / 2-E/3Fb—

(13)

Boj

©’­ } © 15

L

L

8hgN8

1 "

s €…= _7‡-) /

8hg

2-E/a+

K + E9+

U

Q

vq 7‡-) /`[

p 8hg

Z L 2-E/`[

p

+

K + 9

s € 7‡-) /

8hg

2-/u+

K + E9u+

U

Q

v q 7‡-) /[

p 8hg 2-E/`[

p

+

K + 9

} ­/­ ‚ A`<vJ)n\A

7‡-) / 8 g 2 /a+

K +  9

+ U

Q

vqI7‡-) / 8 g

2-/u+

p + 2 K +  9

+ U

Q

vqI7‡-

/

U

V p L M+*RQ/SUT 8hg

Z L M v QSUT

2-E/a+

p +

2-

K + E9

+ U

Q

vqI7‡-

/

U

V p L M+* Q/SUT 8hg

Z L M v QSUT

2-E/a+

p + 9

+ U

Q

vqI7‡- /`[

p

U

V K L M+*’QSUT 8hg

Z L M v Q/SUT

2-/[

p

+

K + 9

+ U

Q

vqI7‡-) /[

p8hg

Z L/M

v

Q/SUT 2 /[

p

+

K + 9

;=<?APS<?ƒ„UI_‰A¢’KvJ–„ƒP±R“ŸWL–„–„Wo‹H=“ŸUSWL@ PS<?A¡ˆ JLUSŠWnO]?UIW\]^AUIP±R WL“ JLd?_‰PS<?Ag“ŸWLK?UIPS< “ŸW\––„Wo‹HQ“ŸUIW\@

P<cAt<cW\@rWLw\Ad?AƒP±R‡WL“t—

;=<?A‘“ŸWL–„–„Wo‹ƒd?wP<?AW\USA@ w\ƒnLAHP<?A¤“ŸW\UI‹JLUS_gA¢’KvJPSƒ„W\d`“ŸW\UP<?A¤p^A<vJ)nNƒ„W\UWL“0P<?A¤aW\Kc]?–„Ai+) / 2 /!Fb—

©’­ } © 15

L

L

8hgN8

1 "

s €6= _7‡-) /

8hg

2-/ +

K +  9+

U

Q

7‡-) /`[

p 8hg

Z L 2-E/`[

p + K + E9 Iq

s

€ 7‡-) /

8hg

2-E/ +

K + E9d+

U

Q

7‡-) /[

p 8hg 2-E/`[

p + K + E9 q

} ­/­ ‚ A`<vJ)n\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