HAL Id: inria-00072579
https://hal.inria.fr/inria-00072579
Submitted on 24 May 2006
HAL is a multi-disciplinary open access archive for the deposit and dissemination of sci-
L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents
Distribution of Busy Period in Stochastic Fluid Models
Nelly Barbot, Bruno Sericola, Miklós Telek
To cite this version:
Nelly Barbot, Bruno Sericola, Miklós Telek. Distribution of Busy Period in Stochastic Fluid Models.
[Research Report] RR-4057, INRIA. 2000. �inria-00072579�
ISRN INRIA/RR--4057--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
Distribution of Busy Period in Stochastic Fluid Models
Nelly Barbot, Bruno Sericola and Miklós Telek
N˚4057
Novembre 2000
THÈME 1
1#24353768:9<;>=%?A@CBEDF8;>GH?JI2K;>L5MN?O3P9<B9<HRQTSUL5V35WYXZ[2K352KV,\
]/^`_ab!ced fhgijbkml4nobpqisrKitpu_abi
v%wjxEytbpezqwja#x{w
f[km|`|Ax{wtph}`b~wtb^`bwj^`bmN N{d qx{ba:`wjb'm m { 'd m|km{bi
CmN bx{`it}`bwpu^b`l`isr|Abwj x4}¡k¢ispuxK^kmispu£l`}¤£x¥¦a#xK}`b§¨¥h pj^©`` pjb
`lªYbw!¥h^`bwjbpu^`b|`lpkm`}«x{lpj|`lp#wuk¬pjbikmwjbx{Npuwjxm§§b},r«k®©`¯pub^`x{a#x{{b`bxml`i°kmwj±¬x
|`wtx4biji² b}bwj¯{b.k¬³bn4|`§ ¯pb´n|wjbitij x{³µ¶x{w'pj^`b}` itpuwt`l4puxm¡xmµ/pj^`b`l`isr|AbwtxK}km`}¥·b
x{pukmk¬km§ {x{wt pu^apjx!x{a#|`lpjb¯p¥h^` ^b´n^`¯puih`b¸l`abwj >km§(|wjx{|Abwspubi²
¹ºN»O¼t½:¾ E¿ÀmÂÁ puxK^kmispu ãl`}a#x4}b§ÅÄ4`l`isr|YbwjxK}(Ä<°kmwj±¬xC|`wjxKbijiÄ<l`a#bwt>k¬§kmkm§¯rKiji²
ÆÈÇÉËÊËÌÍ/ɨÎϯÊËÐ5ÑÒ
ÓÕÔ(ÖE×ÙØÚOÛÜÅÝ/Ú(ÞØ(Ø5ßEàCà¬ÛÜ5áÅâtãeä>å/áPÖEâ¨æCÜÅâsçEèéÖê7ëßEçCìÞÜP×íÞ´çhäE×ïîíÞáÅâsÜéÞ´îðñ%ò®àEÜPÛìÜéÞ´ó,ô´õõõöô´õõC÷ø
ùRúuû
âtîïîÙåøü(Þ´ÜÅä¬Ûásý
ú
üOÜPßCçEÛEøÿþ>âsÜÅ×ÙèsÛîíÞý×ïÜÅ×ÙØÅÞøÈÜ
òâsàCátø<ÛÔ4âsîÙâtè ÛóÃøCÔ4âtèéÖCçE×ÙètÞ´îçE× âsÜéØ5×ïá¶åhÛ`üOßEãCÞ´àmâtØ5áK÷ôC÷RüOßEãEÞ´àmâtØ5áCëßEçCìÞÜPå>áPâsîÙâsÝÖC×ïátøäCóâøÖ>ß
Unité de recherche INRIA Rennes
(#"%$&'( .h..h
¤x{`it}`_wjb!§k.|Agwj x4}b}ïxKl`|k¬pjx{ }kmil¤a#x4}_§bispuxK^kmispul`b£l}`b
>k¬|km¯pug¸ ©` b¸x§ bipukml4n}bNpjwjgbbp[}`b~itx{wtpjb~ijx{Np[xmpjw{§ gih|kmw/l|`wtx4bitijl`iq}`b'°kmwj±¬x
©` bp!^`x{a#x{{_`bm² k¬Yx{l4pu p¢l``bbn4|`wtbitijxm b´n|§ pjb}`b§ k}`ispuwj `lpjx{}b.§k¢|Agwj x4}b
}x4l`|`k¬pu x{.bphx{.xmpu bNp/l`okm§ {x{wj¯pu^`a#b[|Yx{lw§ k:km§l`§bw l`(|Ax{ijit_}`b~}`b~Ax{``bi/|`wjxm|`wj gpugi
l`a#gwj!l`bi²
"T¾ C ¼ $# °xK}`_§ b¸itpjx4^k¬itpu!l`b¸£l`}bmÄ`|AgwtxK}`b¸}x4l`|kEpuxm(Ä`|`wtx4bijitl`ih}`b'°kmwt±mxAÄYk¬km§&%
rKijbl`agwj!Klbm²
4 5 R#"·
Á pjx4^k¬itpu £l} a#x4}b§i76 Á8 °!9k¬wjb¥h }`b§¯r km|`|`§ b}«puxkm|pjl`wjbpj^`b l`bl`b `Ab^k>Kx{lwxmµ
|km±¬bp!is¥h pu^b}³`bpË¥ x{wt±i:¥h pu^¡§kmwt{blªObwji;:ï<P²zq Á)8 ° i'x{a|Ax{itb}³Nrko`lªYbwk¬`}³k
km±{wtx{l``}¡|`wjxKbiji'pj^k¬pa#x4}`l§k¬pjbi¸pu^`b#wukEpub#xmµ pj^`b#£`l`}¤kml`a:l`§k¬pu x{ pu^`b#`lªYbw².]/^`b
a#x4}`l§k¬pj`'|`wjxKbiji[i/xmaa#x{`§¯rkmitijl`a#b}pux!Abk!x{Npu Klx{l`i/pu ab~°kmwj±¬xC^`km6= ][°7=>9²
]/^`bpjwukm`itbp:kmkm§¯rKijixmµ Á8 °iÄRŲbm²¯Äpu^bkmk¬§ rKij i'xmµ £l`}¡}`ispuwj `lpjx{ pu^`b`lªYbwk¬p
pu ab?´ÄÕ i:kx{a|§bn¡km}x{a#|`lpuk¬pu x{km§ § rNpub`ij¯{bpukmij±<²¢]/^`b>kmwt}`k¬§ pËr x¬µ/pu^`b|`wjx{§ba
i^kmwjkmpjbwt@b}³Nr¤pj^`bl`a:Abw'xmµ/ispk¬pjbi:xmµ pu^`ba#xK}`l`§kEpu.|`wjxKbiji²]/^`bakCytx{wj¯pËr®xmµ/pj^`b
|`l`§it^`b}Jkmkm§¯rKiji#km||`wjxNk¬^`biwtb l` wjbi#pu^`boij|Abpuwjkm§q}bxma|Ax{ij¯pu x{,xmµ~k¤ak¬pjwj¯nxmµ¸it@boxmµ
pu^bispk¬pjbij|`kmbA:ÄRB<Ų]/^bkm|`|§km` § pËrxmµ·pu^` i'k¬|`|`wjx{km^i~§ a# pub}®Nr®pu^`bx{a#|`lpuk¬pu x{km§
xma|`§ bn4 pËrkm`} |YxmpjbNpukm§l`a#bwt>k¬§/`ispkm` §¯pËr¤}l`bopjx¤§x{itbbmbN¬km§l`bi²DCË itx{abit|Ybk¬§
>k¬ijbi~¯pÃie|Yx{itij `§bpjx.x{pukm km k¬km§ rpj>k¬§itx{§lpjx{bn4|`§xm pu `pj^`bij|Ab km§Yb^k>4 x{l`wÃx¬µ·pj^`b
a#x4}`l§k¬pj`¢|wjxKbiti!:Èc<P² 8 x{w{b`bwjkm§haxK}`l`§k¬pu `®|`wjxKbijitbik l`a#bwj >km§ § r¤itpukm`§bowjbl`wtij¯{b
a#bpu^x4}.¥ kmih|`wjx{|Ax{itb}oE:GF<Ų
]/^`bwtb:kmwtb~xmpu^`bwq a|Ax{wspkmNp/puwjkm`itbNp[a#b>kmitl`wjbiqxmµ Á)8 °ihpu^`k¬pÃk¬wjb~x{ij}bwjb} opj^`b'§ pjbw %
k¬pjl`wjb¬²·]/^`b~ a|Ax{wtpukm`b¸xmµpj^`b~}`ispuwt`lpjx{.x¬µpj^`b'l`itr|AbwtxK}IHF¥kmi[NpjwjxK}`l`b} E:ïJ<PÄ`¥h^`bwjb
k
Á)8
° ¥h¯pu^ pË¥ x|`wj x{wj¯pu bià iispul`}b}O²KCˤpj^`b#x{`it}`bwjb}¡a#x4}`b§Õpu^`b!^` {^`bw|wjxmwj pËritpjwjb>k¬a
xKl|`biFpj^`bhijbws{bw >k¬|km¯pËr#kmi¨§x{'k¬iFpj^`bwtb[ iML ^` {^!|`wj x{wj¯pËr£l` }Nh !pj^`b[`lªYbwFkm`}#pu^`bh§x¥
|`wtx{wt pËritpuwtb>kma {bpji[itbws4 b~x{`§¯r¥h^`bpj^`bwtb i/`x!^`m^o|wjxmwj pËr#£l` }pu^blªObw²¨]/^`b~§x¥
|`wtx{wt pËritpuwtb>kma i/ijbwtmb}¥h¯pu^ijbwt{bw[¬kmk¬pu x{(ÄK¥h^`bwtbpj^`b~ijbws{bw[¬kmk¬pu x{.ipj^`b~`l`itr|AbwtxK}
xmµÀpu^`b~^` {^|`wj x{wj¯pËrispuwtb>kmao²
CË¢pu^` ie|k¬|Ybwq¥·b|`wjxK}`bkitpukm`§ bl`a#bwj >km§Àa#bpu^x4}pjxb¬km§ lk¬pjb'pu^b}` itpuwt`l4puxmxmµ%pj^`b
`l`isr³|Abwj x4}¡
Á)8
°oi:¥h pu^³ ©`¯pub>km|k¬ pËrm²¡]/^`b.wtbakm}`bw:x¬µ[pj^`b|k¬|Ybwi:x{wtNkm`O@b},kmi
µ¶x{§ §x¥hi² Á bpjx{:|`wjxK}bi/pu^`b~|`wtx{|Ax{ijb}l`a#bwt>k¬§(|`wjxKb}`l`wtbmÄ¥h^`§ b Á bpu x{o! NpuwjxK}`l`bi[k
l`a#bwj >km§Obnkma#|`§b¬²
P
##"%$&" . #./+
QbpSRJTVU?XWXYZ?\[^]2_ÃAbekmwtwjb}l` `§bS= ][°!= x{k~©`` pjbqispk¬pjbqit|kmb`¤¥h pj^{b`bwjk¬puxmw\a^bdcegfih'j
km`}§bp,egfkbdlmegfnfé² b'}`b`x¬pubrpoqbrUsotf*W·pu^`bitpuk¬pu x{kmwsr.}` itpuwt`l4puxmox¬µuRJTVUs?XWX_² ^`b`bmbw
pu^b= ][°!=Titpk>rKi¸itpkEpubwvtÄOpu^`b'£l`}§bmb§Õx¬µ%pu^`b:lªObwÃiq`wjbkmij `.k¬pewuk¬pjb1xgfé²yxgf% iexmµ7pjb
z
Ô(ÖC×íØó âjÞØPßCÜÅâq×íØÜPâ ÈâsÜÅâtã!áPÛÞØ\{EÜéضáàEÞØPØÅÞ´ìâháP×Ùóâ¸×ïç7|}X~OäCßá/ÚOâ ÈÛîÙîïÛÚ«Þã×GmâtÜPâtçáç¬Þ´ó×ïçEì:èsÛç âtçáP×ÙÛç
ämâtèsÞßEØPâFáÅÖCâ/Þ´çEÞîïåØP×ÙØÛ<áÅÖCâu{EÜéضáÕàEÞØÅØÅÞ´ìâ¨áP×Ùó â áÅÛeÞqìâtçCâsÜéÞ´îEßC×íãîÙâ âsî`×íØRÞqóÛÜÅâ·èsÛóàCîÙ×ÙètÞáPâjã~àCÜÅÛäEîïâtó áPÖEÞç
áPÖEâ¨Þ´çEÞîïåØP×ÙØOÛáPÖEâ{EÜÅØ5áàEÞØÅØÅÞ´ìâáP×ÙóâÕáPÛâsóàá¶åqäCß%{âsÜjø
wjbµ¶bwtb}¢puxkmiepu^b:}`wj¯µ7pexmwqpu^b:bªYbpu mb:wukEpub:xmµÕitpkEpubwvt² ^`bExgf ]¯pea#b>k¬`iqpj^k¬pÃpj^`b'£l}
§b{b§Õi¸}`bwtb>kmit`¢pj^`b`lªYbw² µFx{l`wtijb¬Äpj^`b:£l` } §bmb§Õkm `xmp~}`bwtb>kmitb#Ab§ x¥ ]²Us?XW
}`b`xmpubi'pj^`b§ b{b§·x¬µ£l` }¡ pu^b`lªYbwk¬ppua#bw?´²]/^`b}rKk¬a ixmµ pj^`b£l}¡§ bmb§F|`wjxKbiji
R U?XW'Y ? [ ]_'>kmoAb}bijwj Yb}kmi/µ¶x{§ §x¥hi
x U?XW
xg?
b x ¥h^b U?XW ] 6 cB9
x U?XW
xg?
b pe U*x
Y']2W ¥h^`b U?XWb ] 6Pg9
"!$# %'&()+*",.-+,0/2143657,*98;:=<>-+/@?
]/^`b`litr¢|AbwtxK}¢i[pu^`b|AbwtxK}¢xmµ%pja#b'¥h^` §b'pj^`b:`l4ªObw¸x{Npk¬`i¸k|Yx{it pj {b:kmaxml`NpÃxmµ%£l}
6 8 {l`wtbc%9² ¯pu^`xmlpe§ x{ijiqxmµ%{b`bwjkm§¯pËr.¥ b}b{x¬pubk¬ptpubpjx{x{`§¯ropjxpu^b'©wtitpÃl`itr|YbwjxK}
pu^iF|km|Abw²R]/^`be§ b`mpj^xmµOµ¶l`wtpj^`bwF`l`isr|AbwtxK}`iF>kmYbqx{pk¬`b}kmiFpu^`b[ij|Ab km§<kmijb[¥h^`bpj^`b
pukm§<£l`}§ b{b§i]²%]/^b'wjkm`}`x{a pu abA i/}`b©`b}Nr
A bCBED.FR%?G ]HUs?XW b ]_
]/^`b}itpjwj `lpu x{xmµRpj^`bwukm`}x{a pu abATx{`}`¯puxm`b}ox{pu^`b`¯pukm§Y£l}§ bmb§Àkm`}x{pj^`b
pukm§AitpkEpub TVU] WFi/}`b©`b}kmi
I f#Us? YJ WbLKNM UOAQP ?;H)TVU*]2WMb v Y U]2WbC W
R·rpj^`b~{ mboaxK}`b§(}`b©`` pjx{SA b ] µTU*]2WMb ]!km`}AxgfUP ]Äxmpu^bwt¥h ijbVKNM UOA b ]2WMb^]²
WX º¾ º Y I f U? YJ Wm( *Z 'ys&tV'(2$ [( \Xt( - J])( *
^ I fUs? YJ W
^ ? l xgf
^ I fUs? YJ W
^
b`_
acbed egf
a I a
Us? YJ W @f ] 659
[ & t*( - $' )
I f#U? YX]2W b gK>?u[ ]q( VxgfUP ]
I f#U]YJ W b ]A@f ]
I f#U])Y'] W b ]ASxgfU ]
6¶p'9
p p
±
y
6¶p'9
] 8
{l`wtb:cR l`isr|Ybwj x4}`i/x¬µÕkitpjx4^`kmitpj¸£l` }oa#xK}`b§
¾O¾ zei'abNpuxm`b} :J<ÅÄpu^`b`km±N¥kmwt}«kmwj{labp'pu^kEp:}`bijwtAbipj^`bb{x{§ lpu x{xmµ/pj^`b
|`wtx4biji[ic
I fUs? YJ Wb U$gl egfW I fUs?Ml YJl xgfW
_
acbeda
f egf
a
9I
a
U? l YJ l xfW UW'Y
¥h^`^o{¯{bi/pj^`b¸pu^`bx{wjba r.km§{b`wuk¬Ãakm` |`l`§kEpuxm`i k¬`}§ bptpu ]4²
Qbp Hi`7HYb¸pj^`b'l`aYbwqxmµitpuk¬pubiq !` km`}o§bpCg{Ä H`7HíÄAb~pj^`bKla:YbwhxmµÕ}` itpj`p
¬km§lbiqkmaxm`k¬§§(pu^bbªYbpu¯{bwjk¬pubixgfé²/]/^bijb g}itpj`pebªObpj {b'wuk¬pjbiekmwjb}`bxmpub}¢Nr
Y
YY km`}ox{wj}`bwjb}kmi/µ¶x{§ §x¥hi
"!#
$>
%
[ ]
%&!#
'>
Y
¥h^`bwjb)(i[pu^`b'Kla:YbwÃxmµ¨`bNk¬pj {bbªYbpj mb:wuk¬pjbi²¸]/^`b:itpuk¬pubij|kmb` xmµ%pu^b:|`wjxKbiji+* km
pu^boYb¸}`¯K}`b}o Npux , g~}` i¶ytx{ pijl``itbpji.- Y&-
"!#
YY&-
¥h^bwjb/-mfÀ ix{a#|Ax{ijb}Nrpj^`b
itpuk¬pubivFxmµ\`J^k>K`pj^`bijkma#b'bªObpu¯{b:wjk¬pub
féÄ<pu^`k¬pe i0-mf bdR2143 ` H)xh,b
f_5H6-mf H`}`b`xmpjbi
pu^bkmwj}km§ pËrxmµijl``itbp.-mfé²
Céµ (Eb ]opj^`b`l4ªObw`b{bwYbx{a#bi'ba#|pËr¤k¬µ7pubwpja#b]4ÄRijx¥ b^k>{b A b
²]/^l`iÄÕ¥·b
ijl|`|Yxmijb~¥h pu^x{lph§xmiji/xmµ{bbwuk¬§ pËrpu^kEp ( [ g{²
pj^pj^`i/xmpk¬pjx{OÄ¥ b~^k>mbmÄ¥h pj^o|wjx{k¬`§ pËr g{Ä
A'3
%&!#
h l
h Y l h
µ ]
c])Y
W µ pb^]
Y
¥h^`bwjb
h b h
µ¶x{w 1wb ]YY ( lkm}
h b ]:µ¶x{w 1wb ( l'g{Äitx#pj^k¬pl
% b$
8 x{w; ]Äpj^`b}` itpjwjlpu x{¤x¬µ A^kmi (ytl`a#|`ik¬p:|Ax{NpjiKl
hµ¶x{w.1b ])Y(KlLg{²7Céµ
b ]4Ä(pu^`b}` itpjwjlpu x{¢xmµA ^k¬ixm`§ rx{`beytl`a#| k¬p~|Ax{Np ]² 8 x{w ]Ä(pj^`bqytl`a#|¤kEp~|Yx{ Np
l
h~x{wtwjbit|Yxm`}`iqpjxkitxEytx{l`wtxmµRpu^`b:°kmwj±¬x|`wtx4bitiVRJTVU?XWZ_pu^bijl`ijbp - hÃpu^kEpÃitpukmwtpji
k¬p·pua#bm]km`}.b}`i/k¬µ7pjbw pja#b l
hC²%]/^`bitb·ytl`a#|`i/kmwtbe{¯{bOÄ4µ¶x{w2 ]:k¬`} 11b^]YY (l g
Nr
KNM%U A b l
h
HTVU] WMb^vZY U] WMbC Wb
!
"!
Uv W µ v"3 - h
xmpu^`bwt¥h ijb
6¶ 9
¥h^`bwtbAa
i:pj^`bijl` %Ë4©` pjbitakm§ {b`bwjk¬puxmwxmµÃ}` ab`ij x{QH6-uh HÀx{4pkm `b}³µ¶wjxma a Nr
xm`ij }`bwt`.x{§ rpj^`b!Npubwjk¬§puwjkm`it pu x{`iÃx¬µ·pj^`bijl`ijbp - h:k¬`}
iÃpu^bx{§ l`a¢mbpux{w~xmµ
}` ab`ij x{ H6- hH¥h pj^okm§§Y pui/bNpuwj bihb lk¬§pjx g{²
b }`b`xmpjb¤Nr$#*pj^`b®puwjkm`ij¯pu x{|`wjxmkm` § pËr«ak¬puwt¯nJxmµpj^`b l``¯µ¶x{wja#@b}U°k¬wj±mxU^k¬
kmitijxKkEpub} pux RJTVU?XWZ_km`}¤Nr&%¡pj^`bl` µ¶x{wtaO@>k¬pjx{®wjk¬pub¥h^` ^¡{bwj¯©bi'% [)(+*-, Uegf#YZv/3 `\Wu²
]/^`bak¬puwt¯n.#iepj^`b®wtb§k¬pub}¢pux a Nr/#rb10 a23%ÄO¥h^`bwjb40}`bxmpubiÃpu^`b }`bNpu¯pËroak¬pjwjÈnO²
CË®pu^`bµ¶x{§ §x¥h`ÄApjxija#|`§ µ7r`xmpuk¬pu x{(ÄO¥·b¥h§ §x{`ij }`bw1RJTVUs?XWX_kmiÃpj^`b!l`` µ¶xmwja#@b}¢|`wtx4biji²
8 x{w/bmbwsrAv Y 1b ])YYJ®Ä<¥·b}`b`x¬pubr5#
768
pj^`b~ijl``ak¬pjwj¯n.xmµ9# x{Npkm `!pj^`b~puwuk¬`ij¯puxm
|`wtx{km` §¯pubi·µ¶wtx{a ispk¬pjbihxmµ -mfpux!itpuk¬pubiqxmµ - h²
]/^`b}`ispuwj `lpjx{x¬µpj^`b¸©wjisp[pja#bepu^b¸`lªYbwhYbx{a#bihba|pËrmÄA~Ä`i/{¯{bo .pu^`b¸µ¶x{§ §x¥h`
pu^bx{wtba pu^`k¬pkm|`|`§ bipj^`biukma#bk¬|`|`wjx{km^Jk¬i :F<P²J]/^`b`xmpuk¬pu x{ ] 7:
itpukm`}`i#µ¶x{w:pu^bl`§ §
xm§l`a#{bpuxmwqxmµ}` ab`ij x{ H6-<; HÙ²
WX º¾
º = + V?> v 3 ` ( Vf ][uy&)(@>
I f U? YJ Wb A_
B
!C
UD%t?XW
B
EGF
B
_
a IH
EJLKGM
a
h U gSl M h W B !
aON h
f U E Y J
WXY 6Pg9
[M&tX
M
h>b
)
hX?
U hl
h
W?
? 3 l
h Y l h
O
y 1 b ])Yeg YY (7l g &t $'% $t
N h
f U E Y J W ( X > E s&t. --[ ''$2X> 1 X'')Vq&t1$'-/ 1/> '$#X
N h 7:
U E Y J W b
H N h
f U E Y J W K fb : S] PTP ( ] P 1 P ( l g
"10 gVP P
E [ ]
N :
UE
Y'] WMb ] 7:
( N h 7:
U E Y'] WEb
N h
!#
7:
UE Y E
W "14 ]
g P J P E N h
: UE Y J
Wb
;l
h
;l
h N h
: UE Y J l gJW
h l h
;)l
h _f # :6 N h
6
U E l ggY
J l gJW'Y
S] PTP 1
E [ ]
N
%&!#
: U E Y E
Wb
7 : ( N h
: U E Y E
Wb
N h : U E
Y']2W "1 ( l g
S] P J P E
l'g N h
7:
U E Y J W b h\l
;
h l ; N h 7:
UE Y J gJW
h l h
h l ; _f # 7:6
N h 6
U E l'g Y J
W&
¾O¾ Á bb~ze|`|Ab}`¯nz'²
]/^`bij|Abkm§kmijb.¥h^`b«pj^`b. pukm§¨£l`}³§ bmb§/iw]D6¶Å²bm² U*]2Wb ]9ix{`ij }`bwtb},³pj^`b
µ¶x{§ §x¥h`x{wtx{§§kmwtrm²
¾ ¾ ##5 » + ?> v"3q`G2[u,&)(@>
I f U? Y'] WMb A_
B
!C U % ?XW B
EIF
N
fU
E Y E
WXY 6F9
[M&tXms&t $'% $ts
N
fU
E Y J
Wm( X > Aws&t --[ wX'$X> X'')yA&t $'-/ 1
> '$#'
N
:
U E Y J
WM m] PTP
( PTP
E [ ]
N
:
U E
Y']2Wb^]
:
g P J P E N : U E Y J W b ;
;)l
% !#
N : U E Y J l gJW
l % !#
;l
%&!#
_f # : 6
N
6
U E l'ggY
J l gJWXYy6Pg9
S] PTP (Vl g
E [ ]
N : UE Y E
Wb
:
m] P J P E
l'g
N : U E Y J
Wb ; l
%&!#
; N : U E Y J gJW
%&!#
; _f # :76
N
76
U E l'ggY
J
W& 69
¾O¾ ^`b b ]¥ b.^`kmb A 3 c])Y
W²®]/^i:x{wjwtbij|Ax{`}i!pjxpu^b.>kmitb 1 b (l g.
]/^`bx{wjba 4²R·rpukm±` pb^]#k¬`}11b (Vl g' .b lk¬pjx{ 6Åg9·¥·b~{bp[wtb§kEpuxm 6*F9it`b pu^` i
>k¬ijb
M h b g{²]/^`b!wtblwjwjb`b#wjb§k¬pjx{iuk¬pjit©`b} Nr¢pu^`b
N : U E Y J
W[kmwtb:pu^`b¤bkmij § rx{pukm`b}®Nr
pk¬±K `/1wb ( l'gpu^bwtbl`wjwtb`bwjb§k¬pjx{xmµR]/^bx{wtba 4²
qxmpjb¸pu^k¬p/pj^`b~wjb§k¬pjx{E6Pg9km`} 69kmwtbx{N{b´nox{a:k¬pjx{ixmµÀ{bpux{wtiqit`b¸¥ b^k>{b
] P ;
;)l
% !#
b gl
l
%&!#
;l
%&!#
P ggY/µ¶x{w (4PTP qY
km`}
] P ; l
%&!#
; b gl
%&!#
; P g¸µ¶x{w] PTP (Vl g
"! / 865.(.-+/&7() 87< /N8:=< -+:i, /1 7:Q&G5 :=<>- (2) 8<>/ :i?5< :
CË|`wjkmpj>k¬§km||`§ >k¬pjx{`ipj^`b/kmk¬§ rKij ixmµ<l`itr|YbwjxK}'¥h¯pu^: ` pj km§ § rqba#|pËr'`lªYbwÕ iRa:l`^a#x{wtb
xmaa#x{(² 8 x{wspul`kEpub§¯r{Ä`Axmpj^opj^`b~x{a#|`lpuk¬pu x{km§Yx{a#|`§b´n4 pËr.k¬`}opj^`b~abaxmwtrwtb l` wjba#bNp[xmµ
pu^b l`a#bwtkm§Ãa#bpu^x4}k¬ijb} x{^= x{wjxm§§k¬wtrJ, i ( 67pu^`b®l`a:Abwxmµ'`bNk¬pu¯{b }` itpu `p}`wj¯µ7p
¬km§lbi'9%pu abi·§ biji pj^`i·>kmitbm²¨]/^`bÃx{a#|`lpkEpuxmkm§xma|`§ bn4 pËr#xmµpj^`bÃk¬km§ rKiti |wjxKb}l`wjbÃkm
Ab~µ¶lwtpu^bwhwjb}`l`b}l`it`pj^`b~wjbitl`§ pjih|`wjxK}`b} pu^`b¸µ¶x{§ §x¥hpu^`bx{wjba²
WX º¾ º &t
N : U E Y J
W2> '$#X '$' [ %,( s &t. --[ J])( -/'
(E]
: P N : U E Y J
WP
: ] PTP qY
E [ ])Yy] P J P E
N
7:
UE Y J W2P
N
:
U E ggY
J
CgW ] PTP qY
E [ ])Y,] P J P E Y
$
N : UE Y J
W[
N : U E ggY
J W ] PTP qY
E [ ])Y] P J P E
N : UE Y J
W2P
N : U E Y J
CgJW ] PTP qY
E [ ])Y] P J E Y
N
7:
UE Y J W[
N
:
U E ggY
J
l'gJW ] P P qY
E [ ])Yg P J P E Y
B(
B
A N : U E Y E Wb
7 : ] PTP
¾O¾ Á bb~ze|`|Ab}`¯n Rq²
N !
N N !
N
N !
N N ! N !
N N
E l g
E J l g J J
Cg
N !
N
8 {l`wjb= x{a|lpk¬pjx{.x¬µpj^`b
N
f#U
E Y J W
]/^`b¢x{a|lpk¬pjx{«xmµ¸pj^`b
N
fU
E Y J
W:>kmJYb§§ l`itpjwuk¬pjb}«l`ij `¤©`{l`wjb¢4² CË pu^` i©{lwjbmÄ¥·b
wjb|`wjbijbp#pu^b
N
fU
E Y J
Wl`ij ` x{§ l`a³mbpjx{wji
N ! U E Y J
Wb U N : U E Y J WZW ;
%&!#
km`}
N U E Y J
Wb
U N : U E Y J WZW ; %
k¬`}#¥·beit^`x¥U{wuk¬|`^`km§§¯rpj^`bqwtb§k¬pu x{A6Åg9%km`}!6 9Õl`itb}µ¶xmw¨pj^`bex{a#|`lpkEpuxm
xmµ
N UE Y J
W·km`}
N ! U E Y J
W²
bkmijitl`a#b'pu^`k¬pqpj^`bispkm§¯pËr.xm`}` pjx{OÄ
h
bed
xhXo2hV ]ÄAi[iukEpuis©b}OÄYitxpu^kEpqpj^`bwjkm`}`x{a
pu ab7A i/© pub~k4²ïi² Á l`|`|Ax{ijb¬Ä`¥h pu^x{lp[kmNr§xmiji/xmµ{bbwuk¬§ pËrmÄpu^`k¬p/pu^`b~ ` pjkm§Aitpuk¬pubv¨i©n4b}(²
8 x{whk{ mbobwtwjx{wpjx{§bwukm`bKÄ¥ b}`b©`bNpub{bw (kmi
b ( BD
E
3
gSl
N f U E Y E W
! gSl
B
_
!C
UD%t?XW
F
P 69
qx¬pub'pj^k¬pÃpj^`b'¬km§ l`bx¬µ ¥h §§Yb±KxC¥h x{§ rk|Ax{itpjbwj x{wjit`b: pq}`b|Ab}`i¸x{¢pu^b
N
fU
E Y J Wu²
ze®l|`|Ybw¸Yxml``}®xmµ Äk>mk¬§k¬`§b'k|`wtx{wtÅÄ<pu^k¬pÃieAbµ¶xmwjbpj^`b:xma|`l4pk¬pjx{xmµ¨pu^`b
N
fU
E Y J WÄO i
pu^b§ kmitij >km§Opjwjl`>k¬pjx{itpjb|oxmµÀpu^`bvxmijitx{oijbwtbi[m {bNr
b ( BD E
3
g>l
B
_
!C U % ?XW
7F
P 6sc g9
8 wjx{a¦]/^`bxmwjba Ä``blkm§¯pËr.k9´Ä¥·bxmpkm P ¤²qit`!pu^b~pjwjl`>k¬pjx{.ispub| 7Ä4¥ b{bp
I fU? Y'] WMb gl
_
B
!C U % ?XW B
EIF
_
B
!C U % ?XW B
EIF
N
f#U
E Y E W l U WXY
¥h^`bwjb~pu^`b~wjbitp[xmµÀpu^`b~itbwj bi
U WFiukEpuis©bi
U Wb
A
_
B
!C U % ?XW
B
EIF
gl
N f U E Y E W ! P
gSl
N
fU Y W !
gl
_
B
!C U % ?XW
B
EIF
P K6sc{c%9
ze`x¬pu^`bwe¥k>ropuxwjb}l`bpj^`bx{a#|`lpkEpuxmkm§xma|`§ bn4 pËr iqpjxk>{x{ }pu^b>k¬§l§k¬pjx{xmµ%pj^`b
{bpjx{wji
N
7:
UE Y J
W¸¥h^`b k¬§§Fxmµhpu^`bwx{a#|Yx{bNpui!kmwtb§bijipj^km³x{w'b lkm§·pux k¢{¯{b¬km§ l`b ²
Cép#ibkmitrpjx¤^b±,kmitb}«x{ b´n4|`wjbijij x{ 6Åg9pu^`k¬p! µ[pu^`b.mbpjx{wji
N
7:
U E Y J l gJW'km`}
N
76
U E l
ggY
J l gJW^k>{bokm§ §·pu^bwbNpuwj bi!§bijipu^`km,x{wb lkm§pjx pj^`b,pu^bmbpux{w
N
7:
U E Y J
W^kmi#km§itx
km§ §R pjiÃbNpjwjbi¸§biji¸pu^k¬®x{w¸b lkm§pux ²]/^b#ijkma#b:wjbijl`§¯p~^`x{§}iõ¶x{wepu^b!km|`|`wtx{|`wjk¬pub'pubwtai¸
bn4|`wtbitijxmq6 g9²R]/^i¨|`wjxm|YbwtpËr i%}`l`b/pux¸pu^bhµ5k¬p¨pu^kEp¨Yxmpj^!bn4|`wjbijitx{`i,6Å 9¨k¬`}A69Õkmwtbhx{N{b´n
xma:``k¬pu x{`ixmµ4{bpux{wti²Õ]/^i|`wjxm|YbwtpËr~pux{mbpu^bw¥h pj^']/^`bx{wjba qitl`{{bitpÕliÀpjx[µ¶l`wspu^`bwwtb}`lb
pu^bqx{a|lpk¬pjx{!xmµ
N : U E Y J
WÀmbpjx{wji²·°x{wjb[|`wtb ijb§ r{ħ bpFl`i }b©`b¬ÄKµ¶xmw·k~{¯{b#¬km§l`bhxmµ 4pj^`b
Npjb{bwji Ä Ä `km`} kmi
b ( BED gVP
E P l g N
7:
U E
YX]2W2P :
µ¶xmw kb^])YY( l g Y
µ¶x{wA[ gmÄ
b( BD
!#
g;P
E P l g
N
: U E
YIWP
:
µ¶x{w kb ])YY (Vl'g Y
km`}OÄ
b ( BD E
3
gSl
N
f U E Y E W ! g>l
B
_
!C U % ?XW
F
P Y 6scC 9
¥h^`bwjbmÄ
c%9.µ¶x{w] PTP ®Ät] P E P
Ä<km`} ] P J P E
N
: U E Y J
WMb
N : UE Y J
WXY
9.µ¶x{w [ g{Ät] PTP km} P J P
!#
N
:
U
!#
Y J WMb
N
!#
7:
U
!#
Y J W'Y
g9.µ¶x{w [ g'k¬`}7] PTP
µ¶x{w (4PTP ®Ä
!#
Cg P E
km`} gVP
J P E
N
: U E
YIWMb ] :
N
:
U E Y J WMb
;
;)l
%&!#
N
:
UE Y J l gJW
l
%&!#
;l
%&!#
_f # :76 N
76
UE l g Y J l gJW'Y
µ¶x{w] PTP ( l g{Ä
!#
Cg P E
km`} P J P E l g
N
: U E Y E
WMb
:
N
7:
U E Y J WMb
;)l
%&!#
; N
7:
U E Y J CgJW
%&!#
; _f # 7:6
N
6
UE l'ggY
J
WXY
9.pj^`b~`}`b´nxmµÀpu^`b~{wtb>k¬pjbispqx{`it}`bwjb} i
b$(+*-, R H P l'g _5
CË¡pu^bkmAx{b#§ itp>Ä Cépuba cB9¸wjb|wjbitbNpui'pu^`b#`¯pukm§O@>k¬pjx{oitpjb|¡µ¶x{w b ]4ÄÕkm`}ECépuba*g9¸µ¶xmw
A[ g{² CépubaT9O|`wtx4 }`bipu^b¨km|`|`§ >kEpuxmÃxmµ 6Åg9km`}69(km`}~pu^`bFkm||`wjx>n4ak¬pu x{ÃxmµKpu^bFb{§ { `§b
{bpjx{wji² 8 `km§§¯r{Ä Cépjba 9(}`b©``biÀpu^`bF{wjbk¬pubitpÀ§b{b§Kx¬µ`wjb}`l`puxml`itb} pj^`bFKlabwjkm§Na#bpu^x4}(²
qx¬pubpj^k¬p kmi[¥ b§§Õk¬i A6*]SP Pq9[km`} k¬wjbxmpkm `b}}`l`wj `pj^`b:bn4blpjx{®xmµ¨pj^`b
l`a#bwj >km§Y|`wjxKb}`l`wtbK65k:|Yxmitpubwj x{wj 9² RFrpu^b}b©`¯pu x{xmµ NÄ4¥ b~^k>{b gVP P l gmÄ
ijx P l4²
ze§ §pj^`bitb a#b^k¬`itaikmwjb·§ §l`ispuwukEpub}~ '©{lwjb·Ä¬¥h^`bwjb b²MCËpu^` iÀ©ml`wjb¬Äm¥ b·wjb|`wjbijbNp
pu^b`¯puk¬§x{`}`¯puxm`ieµ¶x{wembpux{wti
N ! U E Y J
Wqk¬`}
N UE Y J
W[}`bitwj Yb} ®©{l`wtb#4²:]/^`bmbpjx{w
a#b>km`i~pu^`k¬p¥·b^k>mb N
! U E Y E Wb
!
k¬`} Ra#b>k¬`i'pj^k¬p N
! U Y WP !
Nr }`b©` pjx{ xmµ
N² b¸x{pukmOÄ|kmwtpjl`§kmwÄKµ¶wtx{a wtb§k¬pu x{q6Pg9Äpj^k¬p N
U "'ggY+'gJWP
k¬`}.ijx`Ä4pux
k>{x{ } pji x{a|lpk¬pjx{#¥ beijbp N
U ggY gJWMb ]
km`}¥·b¸km§itx:ijbp N
U E
Y00gW b ]
µ¶x{w
E [ K²%]/^`b'b§ §i/.mwuk>r{Ä ©`{l`wjbÄ`kmwjb~`xmphkm§l`§kEpub}O²
Qbpol`i`x¥ bmk¬§lk¬pjb¢pu^`b bwjwjxmwo NpuwjxK}`l`b}UNrpu^`b l`itb xmµ'pj^`b N
: U E Y J
W#`ispubkm}Uxmµpj^`b
N
7:
UE Y J
W² Cép ib>kmisr¸puxh^`b±~pj^k¬pÀ]/^`bx{wjbaT[ iitpj§§¬mk¬§}õ¶xmwkm§§mpj^`b N
: U E Y J
WÄ b ])YY g{²
]
E ] g N
:
U E Y J Wb
N : U E Y J W
N : U E Y J W
N : U E Y J W
N : U E Y J W
N :
U E Y J W
J
]]
]
]]
]]]
]]
] ]
8 ml`wjb¸. CË{wjk>r{Ä`pu^bb§ §iU
E Y J
W¨pj^k¬p[kmwtbxmphx{a#|`lpjb}