Robustesse des applications temps-réel multicoeurs : techniques de construction d'un ordonnacement équitable tolérant aux pannes matérielles
204
0
0
Texte intégral
(2) 01232. 5678 6
(3) 6 7 8 . ! "#! $ !% & !%'. ()*+,-./012*341,5677829:;<=.1*<>?@A BC3,/)3C2371,/D EFFG HI8 J678 HK68L 6MN12O9.12*P;/Q R/C2/;7:/7/CO/7CO/ST4U37.12*P;//26++,*C12*34 V79Q/429/+17S. WXYZ[\]^_Y``ab[\cdefc[ghijkle[ . mmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmn. opqrZsYZZY[tYZ[euu`a_]sapbZ[gYvuZwoxY`[\r`sayz{|}[~[ y{} }|{y { |ys[ ras]q`Y[gp`x^]bs[]r[]bbYZ[^p_YZZYr^Z[. mmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmn )*7/C27*C/:/OQ/S' ¡¢'' £3¤/4C1:7142/S' ¥¦§§'¨© ª«¬¢¡ R3;2/4;/,/?<3C237/<>?® )/¯142,1°6LLGG6 ±²L n. µ·¸¸¹º»¼½º¾. ³´µ¶ . ¿ÀÁÂÃÄÅÆÇÈÉÊËËÌÇ ÈÃÀÄÁÆÇÍÙÚÊËËÛÇÇ. ÍÁÎÏÆÐÐÆÑÁÆÒÇÓÅÄÔÆÁÐÄÕÖÇ×ÆÇÇØÀÅÕÆÐÇ ÛÅÜÖÅÄÆÑÁÆÇ×ÆÇÁÆÝÞÆÁÝÞÆÒÇÌØÊßÙàáËÛ¿ÇËÎÑÃÎÑÐÆÇ. ÊååÀÅÑÆÃÇÚßÌææÊÙÓÇ ÙÅÅÄÆÇÈÉÌéÓÊËèÚÊØÛÊËÇ êÑÃÄÆÅÇëÌßÚÊËÇ ÚÀîÃÃÆÇæÙßÚÊËÊÙÓèçïÙÍÛØÇ. ÍÁÎÏÆÐÐÆÑÁÒÇæÛÙçàÛçÙÊèÊØç¿ÙÇ ÍÁÎÏÆÐÐÆÑÁÆÒÇæÛÙçàÓÅÄÔÆÁÐÄÕÖÇÍÎÄÕÄÆÁÐÇ ¿ÀìÕÁÆÇ×ÆÇÈÎÅÏÖÁÆÅÝÆÐÒÇÛßÈÛÈÙàÍÎÃÂÕÆÝÞíæÄÃÃÆÇÇ ¿ÀìÕÁÆÇ×ÆÇÈÎÅÏÖÁÆÅÝÆÐÒÇðæÛ¿àÓÅÄÔÆÁÐÄÕÖÇÍÎÄÕÄÆÁÐÇ. â¼ã亼¾.
(4)
(5) 123456789 895 645 6
(6) 4 86 3
(7)
(8) 968.
(9)
(10) 012415267829 126541
(11) 66526 1
(12) 6 1
(13) 441 5
(14) 51 15 4
(15) 2 2 4 7 66
(16) 74 87
(17) 665
(18) 5462 62141
(19) 862 6
(20) 786286
(21) 76 1
(22) 62665469 6 1 2867 62 65 65 756466!2668 5
(23) "1568 7
(24) 61
(25) 6
(26) 61556
(27) 6217
(28) 6 1
(29) 7
(30) 651 688626
(31) 2647 62
(32) 2651#
(33) 6 262
(34) 6 622
(35) 1562 $6676466!2696546165
(36) 74 876
(37) 1%& 5 68'( )*+62,
(38) 2765 68 -
(39) 5466& 5 68.)*//&(0157
(40) 646
(41) 6/ #1
(42) 17
(43) 6 , 722621
(44) 1 6
(45) 5286
(46) 2
(47) 23453674895:96;9:366<;=954684>6;845?3@645A '@?3868 24!6
(48) 62 66 65 869 22628 4155 722 5466 =BCCDEFBG4H3;I;7:695=45458455;769J974:36=K3;9<4:36 769 ;L;8457:=M44N=39;J9H39=6 76 521 6262 65
(49) 6
(50) 7262 O. O. O.
(51) 123456789584
(52) 3 565639 8663 6 644637.
(53) 0134567891 7839459
(54) 7 4 11 81 13 !"#$% &#'(#$&)**+ ,&#$# "%-. /('370315819 727830
(55) 75 7897 4598456 6 *7 87696:9 3
(56) 79918091 134 ;198<3= >8? 76@A9AB* #$$ * / &#$$(*9C@: C@76@7D:68@969@ 66 E@8 F = 79G698* 6 6? H76@9 9? A 8F*9GH@* I ,&#$#99@*&, ++# "158
(57) 409<789 3
(58) 640015
(59) 71J91 1J7 988J1 K4005 L4 H9 : @* 9945931J1 340013 13
(60) MNOPQ1994533131 13 5 +( -:6@*@@ **@ :6 E * 86@*969:F8? A G+,8F 6+'6@7** C@ :6@*= 99? P13 11 8110933
(61) 7 133109RS731109T UV A )*W , '158
(62) 774J7S0R 1J58340397S1X0SR0815 19
(63) 7 6@F8G:6@*:6@Y UV A9-B*7 &' , & "+#$6*6@ = 96*: @* 7R9R
(64) 50S 70 7JJ4 9 7034061801109Y UV 9= ::6*B$866,9B-F/ Z ** 9G @=193[5 3158
(65) 4099R48S0R94591315 7<<19840Y UV A9#7*B- AW(-- '* #,\A?(9)*+(W(] '& A Y UV 5*8B$#&"( .&8@I . "&6F.#A \ ,6@*$( A:6@ *@9 8*@6* 875[5 13RJ 15213Y UV 9=193[5 3 13
(66) MS3831^ 491397091M270SR38151 1^48981 3:6@*@ 6@ 9@* =69Y UVQ3
(67) Q334879840 13O97S878 1319M95 87093_71 450783 1^48981 3Y UV +@ & *E& "+ `7803815
(68) KP1_L 8331PaXQG+ E7 **Y UVQ3
(69) b404 7 31OR07915 OcNdXNM981001 89ec
(70) cdfQgQY UV A** @B/ ('$:6@6:8 @>69:F9G6@*=9 ** / ('$:6@6@ *Y UV hF6E $ '. " :6@*@6@ 8= E*Y UV 9+@ Z "AW#999,*'* $ ('h ? 6@@>C@ :*@F*@ 6*@: 6@*@:8688 J i345 13480
(71) 501409 8 59840`7533880<813489%**G*8@ j76@ : 9 4521 88`3
(72) 1kJ 133840 17J 4<40 1S 79895 14 . l.
(73)
(74) 012345467189 46
(75)
(76) !" "# $%& ' ((((((((((((((((((((((((((((((( ) (* +&,-../- 01%10&%. .23 (((((((((((((((((((((((( ) (4 5/6!' "#/% '((((((((((((((((((((((((((((((( 7 () 5/6!' 68 9&03./-(((((((((((((((((((((((((((((( : 81%0;. 03% "3'.0/ 3%((((((((((((((((((((((((((((((( < (* =- 1%0;. 03% -#' .- /% ((((((((((((((((((((((( < (4 +.>&% -0 1? 0'81%0;. 03% "3'.#%/0 3%((((((((((((((( *@ () A%303% #; .23 (((((((((((((((((((((((((((((( ** (7 B%0;. 03% #3. 1- C"1. D1.''.E' F(((((((((((((((((((( *4 G%/E'&"1.23 ((((((((((((((((((((((((((((((((((((( *4 H I/-%.E3./- G3E'.01./- (((((((((((((((((((((((((((( *7 H J%K1-. 1./-636/03" - (((((((((((((((((((((((((((((( *L. MNOPQRS TPNPURVWNOP. *X. Y Z[\]^
(77) _ #/'..23 68/%6/--1-0 " - "3'.0/ 3%(((((((((((((((((((( 4* (* 1#/'..23 #1%../--& ((((((((((((((((((((((((((( 44 (4 1#/'..23 K'/E1' (((((((((((((((((((((((((((((( 47 () 1#/'..23 ".$#1%../--& (((((((((((((((((((((((( 47 1'K/%.;" &23.1E' (((((((((((((((((((((((((((((( 4L (* +. 0%&. 1./-63 "# ((((((((((((((((((((((((((( 4L (4 I/-6../-J#."1'.&((((((((((((((((((((((((((((( 4: () +&0/3#1K 6 `0; - /3 $`0; ((((((((((((((((((((( 4X (7 I1 6 `0; a&0;&1-0 0/-%1.- ((((((((((((((((((( 4b 81'K/%.;" G+4((((((((((((((((((((((((((((((((((( 4b (* G%.-0.# (((((((((((((((((((((((((((((((((((( 4< ..
(78) 0123454671089 46 888
(79) 5 888 4 !"#$%"&'("##%)*%))+),-.%),%.()/!% 0 8 122324 3 5 8 6 527 89 : 3 5 8
(80) 023 343 ;6 8 523: <24: ;
(81) 8 ; =3: 3 ::3 ; 88 43: <34323 343 ;> 88 6 ?3 32 3 ;> 88
(82) ?3 32 3 ;@ 888 138 : 3A 3 > 888 6 B4: : :C2 AD4 > 888
(83) ?3432: AD4 >
(84) E F+),-.%)G$!H,H$H,).& ,H( %)%,IJ"#K%.%#,)*%. *% 0 8 LA39 : : :< 24: 8M >> 8 6 527 >N 8
(85) O: : >N 8 O: :4 >N 8 ; O: A39 : : >@ 8 > 4 >@ 8 N 08 : PA D42 :34A39 : : >Q 8 @ ? : A39 : : N 88 68M R24 N 88 6 527 :23 N; 88
(86) S:3 NN 88 1334A39 : : N@. TUVWXYZZ [\]WVX^_WX\]`. @6. 0 a!* ##"#$%.%#,)"#)!%(!H)% bc 8 0 AD4 : 3 ::3 32 2 5; 8 6 19A :<:3 5; 8
(87) 4 5> 8 42 3 5@ 88 ? 4d : 3d3:2: 3 AD4 5Q .
(88) 0123454671089 46 88
(89) 88 3 88 !
(90) " #$%&''(')*+*',(-*)$*.$/0* 12 8 303 4656367 8 8
(91) 19 3 : 8 4;< : 8 4;< ! 88 303 4= < 63
(92) >> 88
(93) ?9 @ 4AB;
(94) >> 88 = 3
(95) > 88 C ? 3 4
(96) >8 88 D 19 3
(97) >: 88 E 4;<
(98) >: 88 8 7F ! <
(99)
(100)
(101) 88 : 4 !
(102)
(103) : 888 303 4G;1< 4
(104) : 888
(105) < <;
(106) 888 H < ;
(107) 888 19 3
(108)
(109) 888 D 4;<
(110)
(111) 888 E 4;< !
(112) 8I =< 3 4
(113) 8 8I
(114) J;<
(115) 8 8I = 4 K 3 4
(116) : 8I L M 3 4
(117) N O&00/P/Q/,R0%STU,*'0/&' VW2 8 1<<3 4 5<
(118) D8 8
(119) 1<<3<39
(120) D8 8 1<<3<7 !
(121) D8 88 7 ; 3 45<
(122) D 88
(123) J3 45<
(124) D 88 4; <39
(125) D 88 X7 <
(126) E Y Z&')Q[0/&'*,O*$0.*),/-*0 V"V 8 = H
(127) 8 88 < !
(128) 8D .
(129) 0123454671089 46.
(130).
(131) 01234567. 8. 9
(132)
(133) . . !!"!#$% !#%&!'()*+++++++++++++++++++++++++++++ , +- .)/01#120 #34(43#)(1!#156! ++++++++++++++++++++++ 7 +8 92:$*#%&2(* +++++++++++++++++++++++++++++ ; +7 92:$*:<=)36#120++++++++++++++++++++++++++++ > <4(3?1#3#6( %6*#1326(++++++++++++++++++++++++++++ @ +- A0 4(3?1#3#6( 0&*10 !!2(++++++++++++++++++++++ B +8 .1C)(03!4D3*<4(3?1#3#6( %6*#1&(23!!6(+++++++++++++ -E +7 F#(63#6( &?"!156 ++++++++++++++++++++++++++++ - +; G(3?1#3#6( &61!!40#H%41!I41**1J*K++++++++++++++++++ -8 L(2J*)%4#156 ++++++++++++++++++++++++++++++++++ MN O P20#(1J6#120! #L6J*134#120!++++++++++++++++++++++++++ MQ O R(S401!4#120:6:236% 0# +++++++++++++++++++++++++++ MT. UVWXYV Z[\]^_`ab[_bcd[ea[f[\gea[ha[icecb^fj[egab[cakj[lmd^ng`bf[ddodapq[da[q_dr bc[f[af[d^b\]`a[\akb[dqkfa`\g[kbdsZ[aa[_bcd[ea^a`gejctgk\][dkbf^_bgtfcq^a`uk[ uk[egkdab^`aged[af[dbcdkfa^adgta[ekddgea^eege\cdsv[\]^_`ab[d[a[bq`e[_^bf^ _bcd[ea^a`gej[fwgbi^e`d^a`geifgt^f[jkjg\kq[eas. x.
(134) 01234567894 56
(135) 054 627. .
(136) 012344546783463894
(137) 32 2 ! . " ! #$%1& '() ! * + ! , 1- ! ! ) . ./ ! #0%11! ) ! , 2 " ! 1- ! 3 ! 2 " , ( 4 #5%136) ") !! 7 "2 8 ! 9 ! 2 9 :4 ))1;11 . ) :08<; ! / ! ! 4 4 6 ) !! !1- " ! = . ! ) > 3 . ! :-?64+- ?6 6 4; ! #@%1 A , " 3 ! !! 3 , ) !" " ! ! 6 ! " ! , ! #B%1- ! 2 3( 4 ! 1- ! ! 2 3 ! ! 3 3! 12 ! ! ! ! 2 ! ! "1 1 ) C ! ! 3 3! ! + 2 ! , 1 3 ) ! " ! " ! ! 1D ! " 1. EF GHIIJIKLMHIKHMNIOPQHR. STUT VWXYZ[Z\Y][^_`_^[W`Za[Zbc]a. ? /defghijek 2 4 4 ! ! #l%#m%12 2 !! * ) ! 114 ) * ) ! ! ! ) " "( 12 ! ! !4 2 ! 2 4 12 5.
(138) 01234567894 56
(139) 054 627 !"#" !$ %&! " "!'(" " ! % ! '9
(140) !! " ! !) !* +, ! -!* ". " " -("92 /) !!. . -("& ! ! ! " 0" ! "90 !(" 1$!" !" &)! )$ " "!) " ("!*" .& , " !2 !" " !! !#93".)#!(" " + ) (" ("!.!!* ! #%!) )$') " % "! ! ") ' *9" ! !! (" 4567!. $ 0)! ", ) ! !8 $ 93" !" ! !! (") "" 9 ("! )! .# )! " . ! ! !"& !9 :;<=>?@;AB?A?@?CC?CDE=?F<GH=<GH=I<CJB?==G<=K>;CG>JB;<@?;HLM;<<?=N 7$ ".!" &* !"("!!" ! ) " ! , "&*! ! *7 O , PQR%SQTUVWXYZU[PWS\SUWP')]$!" !#)!" " !0" ! ! *! , $! ! !90 !^"&. )! !" !) ! -#) 9 O , _RVS%`XV_VWXYZU[PWS\SUWP')]$!" ! !#90 !! !(" ".! "! !"(") !"#" !9 4&"&.!!7 , TWVPWS]"# $!", ! [abVcPWaUXRd]!("! " "! " ! !. 9 & "" "$!" " !$! " " 9"" !"" " % !, "'" "" "!! -! """ !% !", "'92", ^" -")!! !"& "9 "" "% !" "'9. " !$! ! ! - "* " 9. efgf hijklmnmopiqml. " "#Urb`WS9 s - +t & " " *! " / 9" & " $ (" ! "UVXuX[Y%vQw'92)"s - " "#2!.!"&9 ! !" !.!"&)[aSUXabWS!s -9 "" !" x.
(141) 012344546783463894
(142) 32. 18 !"# $%& '()*(+,(+-(+.(/1 0$% !"#11" 2 3 $ 04 $ 5%& 00 0$67893: ;%04 2 26 7<91= 04 "0$ $%79 7>912 ;% %: % 0"#? 5 " %$% % @ 7A912B $%; $% "$0 % "7C9 "0$ $%7D9 7E91 4 0 4% %; ? " ;3 F $% "$0 % % !"#G H 2 !"#IJKLMNLOPQR " ;%F 4%0 :$% B? S H 2 !"#RIMKTNLOPQR " ; 0 4% %%F 4% 0;" 5 0 $%$% % % % %%; ? %; ?" " 5S H 2 !"#TIJKLMNLOPQR " ; 0 4% %%F 4%1 U !"# '(3$%& $%& 3 "%" % $% %$ V,(3-(3.(W& %$%. G H NPKJQNXQYJZP[LM\,( $% "V]=36W "#& %; !"# S H IJKLMNQNXTZ[L^T[LM\.(1_ " !"#$%& 3" % 0 0 % " ; "";S H JZ`JT\ZQKQaT[L^Q NJaTLZKL[LOPQ-(1= % % %%; %; "# " V %;& %%; : b %0 %; bc-(W1 U !"# ZKL[LOPQ %$" "# " $ %d %" . & "" %$#& %6 40 1 1" %; %$ ; %e %3$ % !"#$%& 3 $%04% " ;. VfKR[KQaQTRQNT[QW*(1g % !"# '()*(+,(+-(+.(/1 2hF % 1 % 0 !"# $%& 1 ijklmnoonpoqrnsktqlktqlukopvnlltkljqwoxmynlzpvutru{qnl| D.
(143) 01234567894 56
(144) 054 627 ! 90" #$"! %& ' ()*(+,-.! #$"! ! /%%" 0 ! % 0$190" 1 % !% #$! #$"! ! /%% 0 ! 2 ' %34567+-889:;<-7*58 % $= > 9?@A BCDEF9G ! A! %34567+-849H5+582 ' %35(I57*(.89:6<9(9-.8);J5(I57*(.88;++.K;L-.8 ?@AMCDNC% 35(I57*(.8()*-+79*-.8 ?@AMCONC9
(145) ! A! % 35(I57*(.87+P9-+79+.89 7 Q A%$1! % 456.*47*-.8 "$ R! %$ $%"1 $ ! %"$ !$ !$0! = 1 $ 3! !$ >! % % F!$ S %"$ !$ #$#$ !$ 9
(146) ! A" " ! #$A ! % % A! % 9*456.*47*-.89 ! S %S %$ $%% S!R & ' "IT6.+U65+9)4.%"$ %V !% #$A ! WA S$ $ $ !$ % !%%#$ ! ! >W DXXYZ[NC\]@D^__VF9 7 !%%$S!RA"`3`% A" 0% #$"1 $ ! %$ !%$ 3" % #$A 3% ` $ 9
(147) %3% % a A $ %! Sb8cd9 ' e7(-j.;k+4f;-9<987-9)*%"$ gC S$#$! %! h075 !% >iCD lkF94 $1%" 0 %$ !$ !$ "1 $ ! % $ 0%9(I7+m.%$o S3!%n$ %"$ ` ! %#$ ! $ >iD pCqriCF90"$1%" 0 %$ !$ !$ "1 $ ! %$s!%" %%" ! 9"$ ! %$ !` $ $ 3 ! $ ! 0 ! ! 9 " e7(-.;+4.(I7+m.#$ #$! %! h075 ! % #$ j k >tWCD ukF9n p$ % S%$!%n$ % S% o >tWD CqrtWCF9 vwxyz{||{|}~y{xyzxyxy{yy y|~{yzyy{|z}{yz|{y x{xwx|{y{|{yw|yy|wxy{|z}wxz{yy{|{. . ¡w ¢£xxwxz{{x|{y|z}{y "1 $ ! %"$ ` $ n! $ % ! n !S .¤5(;-9e-.:68+5.<93 1 $ n $ % ¥.
(148) 012344546783463894
(149) 32 !"#$% 62 !"&$%'(6 )!*+$%, - ./ !*"$ 9,400!**$12 ( )( (1) 1 2 ) (( 3 14 5 (26 ( () )78 ) 12 65( 3 ( !9$()2( :( ) 1 22;<=>??@?ABCB?D ( 5)( )2 5E )2 ( . ( F7 3 ) ) 14( DBCGHI<JBK( 3E. ) ( )) 1. %( )2( L@KM=B12 )()2( (1)2( () ) ) F7 N (N ( 19) )15 3 ( O A>?HB<L@DMPQ?>?A>?HB<L@DMP )2( 35)2)5 ( R () ) ( ) %) 2)6( F7 S1.) ) 351 O T?IKMU?BQV><HIKMU?B )2( 7 )E ) (2( ) 3) ) ( )2)W X)21Y)2(. ( )( ) 10) )E ) (2 (68 Y)2( ( )(2)E7 1 O Z<JBCGDMPQ?>?IG<JBCGDMP )2( 52) ) ( )2 (2 F7 1(2 F7 ) 1. ) %) 51 O [D@DM\]BQ=^?@CM\]B_)2( R(5S)( F7 7E ( )2 1`)23 %( (6 R5S) ) F7 3 ( )2 Y O a>?>G<>ABHHB]<QC]KDMG<>ABHHB]< ( 2) (2( 68 7 14( ) (2( 68 7 ) ) 1. %(E )G>KMDM\]BUK>b@KB() )) )6 ) 1) (2 ( F7 )( ) K@G>KMDM\]B G@<DMDM>??JBc7 :( ( 1) ( F7 ( ( 1d ) () 7 31 9 ) ( )) % )6 (2( (W N 13)) 5) ) ( )8 O efghijklmfnfopqrpjqkqst () F7 %) ) ( (( )27 %) ( ( 2) (. 5 ) 7 %2 X ( ( 3)( Y O efghijklmfnuihnivvpvwpjqkqst () F7 %) %) ( (( )27 2)E7 (2(. x.
(150) 01234567894 56
(151) 054 627 ! "!! # $ %! ! 9 4 & '( )% # $ * + & '(+ % * )% # $ 9 ' !%+ " %% !$, 89-./0012345/6/789:;<5& ! = > % ! ?! % @!$'( = ?% ' &% A " ! ! &'(90?% %%! ) B+ 9C % ( @!$ % # % ! D ! ! D ) EFGH9 F9-/I:J<7/9:26& ! = ! % '(= + A &% = ?! "! ! > % 9 + %"K % ! ?!A '( " ! ! % '(9 % ! %? ! " & %K % EFLH97M ! D! ?$ " ! % % & '( % )N ! )O %% " & '( )NK ! O9
(152) ? % & %! 0$ EFPH9 G9-5Q2R57S3453T:6U& $ % ?% ?$ " A %! '(90$ % %" > % % '( & !EFVH9+ "! '( % , ? 3 90% ? ? %! >& ?'(%A ! ?3 = !EFWH (# &E8WH !$ X Y "EFZH9 ! " * & %! &$ A!$Y # "% ! % ?% [% ! & ! ( '9 \/6I3599594]I5^7./6/78I5R.21R266/635J56962<I051J59R5_`1:a51I:75IJ`S 942R5IR5927`1/63501202I`5I051J599569R./II<1517515I0539R5I32691/:695I95JS 0215775I56R`0:9R57/R`b/:77/635R.<62<R507<I:5<1I3c<1IR<01235II5<1de2<1 357/^62<I<9:7:I26I7/I:J<7/9:2602<1<65_/7:R/9:265f0`1:J569/75R5IJ`942R5I 01202I`5I59<65/0012345/6/789:;<502<175I012<_51d Z.
(153) 00123456708968 59 2806
(154) 9 5 !"#$%"&'&()*"&+%",#-.)/'&+03#-0#((%(1&'&()+3%223.&()+3-"3%4&1)%).#(0&2-.#-.)5+%36 )71/&+8#(2%-"&03#-0#((%(1&'&()0.-.,52%-"&+2-.#-.)5+19(9#(1).#(0&"%'%(.:-&0#()."+ %))-.$3&()"&+2-.#-.)5+*#(2&3)1"%++&-"&+%",#-.)/'&+&()-#.+1%)5,#-.&+8 ; 2&+<=>?@ABCDEFGH@A?@ABIFJKEF<LMANE<LOEFBPQCEF*%++.,(&()0&+2-.#-.)5+R6&+S 1/%T3&)71/&"#-+0&"%1#(1&2).#(03+U+):'&V2&(0%()"3&6513).#(03+U+):'&*1/%T3& )-%W%."/5-.)&0&"%2-.#-.)50&+%)71/&1X:+"#-+*)#3+"&+)-%W%36.++3+033(&'Y'&)71/& #()"%'Y'&2-.#-.)51 (&6&'2"&03%",#-.)/'&S2-.#-.)5R6&%3(.W&%30&+)71/&+*2#30&+)71/&+25-.#0.T3&+*&+)5 Z5%)& #(#)#(.1[\]^_1 ; 2&+<=>?@ABCDEFGH@A?@ABIFJKEF<LMANE<LOEFB@<N<LK*%++.,(&()2&(0%()"3&6513).#(03 +U+):'&*0&+2-.#-.)5+R6&+%36)-%W%36163&+)`S`0.-&T3&"&+)-%W%36033(&'Y'&)71/& 2&3W&()%W#.-0&+2-.#-.)5+0.45-&()&+'%.+"%2-.#-.)5033()-%W%."(&W%-.&2%+%31#3-+ 03)&'2+19XaZ9%-".&+)X&%0".(&a.-+)[\]^_&+)3()&"%",#-.)/'&1 ; 2&+<=>?@ABCDEFGH@A?@ABIFObM<DAcLEF<LMANE<LOEFB@<N<LK*05R(.++&()S1/%T3&.(+` )%()3(&2-.#-.)52#3-1/%T3&)-%W%."Z%1).9[163&+)"&1%+"&2"3+,5(5-%"*."(3U%%313(& -&+)-.1).#(&)"%2-.#-.)5033()-%W%."2&3)*2%-&6&'2"&*W%-.&-%31#3-+03)&'2+122a Z2&%+)2%6.)Ua.-+)[\]]_&)dXe\ef_+#()0&+&6&'2"&+1 2&+1-.):-&+0&1#'2%-%.+#(0&+%",#-.)/'&++#()"&++3.W%()+8 ; gh i83(%",#-.)/'&j&+)#2).'%"+3."2-#03.)3(#-0#((%(1&'&()W%".0&2#3)#3)&(+&'$"&9%.+%$"&0&)71/&+Z.1&2#3-"&T3&"."&6.+)&%3'#.(+3(#-0#((%(1&'&() W%".0&[1 ; k 8j0#'.(&l+.)#3+"&+m&360&)71/&#-0#((%(n%$"&+2%-l"&+#()%3++. 2%-j&)+3."&6.+)&0&+m&360&)71/&+#-0#((%(n%$"&+2%-jT3.(&"&+#()2%+2%-l1 ; opqr 8j&)l+#()5T3.W%"&()++.)#3+"&+m&360&)71/&+#-0#((%(n%$"&+2%-j"& +#()%3++.2%-l*&).(W&-+&'&()1 ; h8j&)l+#().(1#'2%-%$"&++3."&6.+)&0&+m&360&)71/&+#-0#((%(n%$"&+ 2%-jT3.(&+#()2%+#-0#((%(n%$"&+2%-l&).(W&-+&'&()1. sst uvwxyz{|}y|~x}~|{y}~x. . X&23.+"&+05$3)+0&"3:-&.(9#-'%).T3&*"3%11-#.++&'&()0&"%23.++%(1&0&1%"13"0&+2-#1&+` +&3-+&+)"%2-5#1132%).#('%m&3-&0&+1#(+)-31)&3-+19(&4&)*m%0.+#(0.+2#+%.)0&+2-#1&++&3-+ S3(&3(.)50&)-%.)&'&()%22&"5+2-#1&++&3-+'#(#1#&3-+18-:+W.)&*"&3-+1%2%1.)5+0&)-%.)&` '&()+#()0&W&(3&+.(+3+%()&+S'&+3-&T3&"&+$&+#.(+0&+3).".+%)&3-+1-#.++%.&()&)T3&"&+ 9#(1).#((%".)5+0&+#-0.(%)&3-+%3,'&()%.&()163&+)%.(+.T3&"3%3,'&()%).#(0&"%9-5T3&(1&* 1#32"5&S0&+1/%(,&'&()+%-1/.)&1)3-%36%3+&.(0&1&+2-#1&++&3-+%2&-'.+03#$)&(.-3(,%.( 0&23.++%(1&1X%(+3(2-&'.&-)&'2+*"&,%.(0&2"%1&%2&-'.+%361#(+)-31)&3-+03%m#3)&-0&+ f.
(155) 01234567894 56
(156) 054 627 !! "##$ %! " #& #' !( # # # %%) "9 3 "* ) ! # ) '+" "# #' ") ! ) #"###" !% # #," 97 !'" #-# * # " . ) $97 #'"! "# #) ) # ! /0111 + 2123#'4 57 8040(! ## */!5 # %&766&7 /1819 0#!% % +) # 9
(157) ' #8 ") ) ##'" # #" #% ! %# # #% ) 951:93 #! # #" %92! #+- 7 #' ! #"# $ #7 #' 90 # # $#' ! #; " "' #8 ") #% ) 9 # * # 7 < = # 7 92 #'"" >#'+" # ! 7 "#' >#'+" .958:9 7 ? # % 92 @ #'% ! *# ##* ") ) 95/:= %!8 $ ) ") 6 ?3 /<# 8 47) 9. AABCB DEFGHIJKILMNIKOPMHKQERIKRSHITSOREUHVKILLISH. 7 "# 7 < ! & # #% # W9X $ *#" ) ' 7 <") ' &7 !#'< +97 ,!?. XY3( "# #" "# -) 94'#<"-") &7 0Y3(! * #." 9 7 "$ #) ' # & * #" "9 #," # +?#' % ) 7 " #'8 8 * # Z 0Y3=0% *Y (#) ?. !8 * # Z ?. [ X#Z (9 7 # * <" %/ 9 ' #' ?.") "#' $""-#) ) * 81.
(158) 00123456708968 59 2806
(159) 9 5 12 ! " 3 # 3$ % & ' ( )1*+ ', 3! -$"3 " . + $ /0 #16 . /! # " 3 1 163 " . # 163 . "3 # 3$ $3 1. 22343 56789687:;<=>?@8:. 2$ ./ 3 " 19$ 3 + $ % 4A $ 4 ) $ %B 4AB! $ ! 4 )CDDE12 F . . 1* 4+ $.' 1 6 3 $ '163 "$' B 4123 ' ' + . ' + ' 3 16#"' & B 416#"& B 4 & 12& B 4 ". ! 1 '#" + ! G / $H # 1 2I J1K%LMNOPQRSST) . 3'3 # 306 K ! & B 412 & 3/& / #2K1 9$ " + $ UMVMWXYQL ! $ UZOZ[MWXYQLCD\E12$ # " 3!! / "% #')12$ # . / A $ 12 & $ A #3 ] ^_+3 `_abc] ^b1`_ab$ 3 " " ^_ ^b12 . F 3 3 . "3 . 3 3 1*+$ 3 0 # 1 dCDeE$ $ #163 "fghijklmnjmoinponqrosinmnqrqsthqsjnmmnmkusnnsmjrvwrsxntnjrnois krvryuqnsz JJ.
(160) 01234567894 56
(161) 054 627. 896 !" #$% &'! & %(%) !&"%*+()#)$4 )0"9. ,,-.- /01234514605763889:45;<938=93>>3?>5@. A$!) ! # !B)C%) "& % (%) !&"% " % D! (#&&! #&)&%)*#&"E *#"!# #$ &*)%F!B) !## )% %& %'G !C%* &" ! % !))( # ! " 97 H *)IB!)! # #! " ! !F J (!K&" #%& % ) C%) ! " # ##)% ! & %+&" ! C%!%L $+& %) ) ( C%!) &" ! % 92& H *" % &! MNOP) &" ! ! Q )& !C% * '(!C% *( & !C% * &R ) &" ! + Q ( % (B! *! & !" )& "( D !C%99R9A!% !#$% )#! " ! !F % %& % !&%)!S( F!B)* & !F!B)% S ( ) D!J) &" ! )!C% *&C%!% "L"C%# # F!)) & DL 9 4) J " C%)$%D( !" & &"! #% "(B# ! " ) #%& !" #)% !)) %) %& (%) !&"% "%&" C% &)$ ) L !" # ( % *)$K ! !" #$H )& "( D !C% # L! !" #) !" )& !C%MNTP90 F& % DDL ) ! C% ## F!)) &# ! " %D( ) "BB!)! ## F!)) & #$% "%)% !% &"% #%"& %9UVWXYZW[\]^_`aWbWbcdef__egZWbWZhi\jif g]iXfgYc\WXXWfZfk. lllm nopqrstuvwxyz. $&'! & %(%) !&"% # "( ! )) F"(( !))#B &'"! !)% !% &" %& % # G S( (BC% ( K )&! !C% MN{P926||30" 4}|0)) " # +() #"& % (%) !&"% (BC% # # G S( ( K )MN~P9A!#% 8.
(162) 000123456789 0
(163) !" # $" #!$ %1 &" " " 1 & " '())*+,$-".! / $ %1& ' ,0!1' ,16 /! !! $".!! !2"3 "-"!16 ./ ! %4"# 5%! / 1 6789:;<78=>9?@AB78C7DE<F;G9:=7>HF77;E;FH7HF:9B?>7H7<97F>8I=>EJ9G>K LF7:9F8<9:8GHE>9:8M N / #!$".42 %4 "!!/ / 1 $ / 0 12 $ "5%! / 3 193# .!! !-! !!!2 OPQR 0 - %"!OPSR12 " $"5%! / 0!1 1N$! !!2 ".! / 1& $3! 3 # !1 $16 3!!%!' T, " !19 ! . 4%$ " .1N$ . 4 .$ 4 ! %$ 31 .1 1$4 "4" !U"5%!2-!116"4 ! %2NV " 1 6%! /W XYZ[Y\][[^_[`a`YbcdYdce`fg^dhc_hYij]d_gk]c]lb[dj][`YiY_^\dYmjkd`i[f \^ed[\Z[Yd`dYe^gi]\in_d`op\^eZgY``ic_hYZ[^`dYp^jk^Z[jd``_ggdn_qYd`]gf \][[Z[j^eZg_[Zhl]giYkcd^n_iYZrhdoj]ccd[YlZgZ[YighZsZhi\iY^\dhZ`^n_d[jd \t]g\][[Z[jdcd[Yd[\^eiY\dhZ\^uZihhZ[jd\t_[]_\deh_`id_g`jv_g`\_eg]jd`f `d_gw x%32 - / ".! ! !y $ 0 z %16!% ST.
(164) 01234567894 56
(165) 054 627 9. !"# $%&'()*+')%&,-'.+*/)01')%&,. 22 34 4 5 5 6 7 3 27 8 9 35 : ; < = 4 > ? 9 => @ ?9A 5 3 : 93 5 6 6 5 B < 9
(166) 6 5 C 6 5 65 :3 DE A@ C < 5 67 DE9
(167) C 6 A5 9E : 7 F075 G A 2 C3 90C A5 H; ::< 90 6 @ 7 A7 DE9 3E A5 A5 G A 7 5 5 C3 95 6 A7 DE C : 27 90 A5 I34 5 E C 795 ;6 C@ 5 : 7 DE J4 9 E A5 67 I34 6C 5 : DE J4 97 I 3 5 C3 3 2 C 90C A5 DE9 4 C A 9726 A5 =3 5 G A 9
(168) 6 5 C: 6 D < @ ; 9 3 A 8 E4 A7 3E G A 3 DE9 3 AE : 4 ; 8 K L M 2N 6201 O 75@7 4756P 267572 964 @ @ 62 C7 C75@6 QRSTUVWX67 8YZ@8Y[6\]8^_ K L M 2N 6201 O 75@7 4756P 267572 9N 5 ;M 6 @5`D ` A 4D3
(169) \9abcdeefghijcklmenlmophgcb SejeqbdmebrcbsjmctchSequvRgwexcwtplghiyoSrSRxTUVWX678@Y6\]8^_ 8Y.
(170) 01234567859726. 2
(171) 69 2 525
(172) 2 946794 53495 15 ! " # $%&'3!&()*+#&,&+* #9& +#-+8!.%* )1/0123345678 19:;3<=:;>6:306?:516?@A16930362316B305C2?:516?64DE?@F?:51619A1GHF:30?64 A1GGF652?:5168IJ8:3G8BDAKILM=<NO)PQRS1 2 525
(173) 2 946794 53495 1 * #!&+8!. %* )&,3 # 8 # 8*"T!##&-+ # *+&,2
(174) &+'#. #!#&. 1>6:306?:516?@U1F06?@19A05:52?@A1GHF:30VW?834IJ8:3G8X!&*+%O*" ! #&Y1. Z[ \]^_`ab_cad`efedgfhi`c. *#%!%&!* #j&+)%*kO+#1 O+ l+m*O+n# jn##% j+# !& O&+##+&!.O#+1
(175) .O#+P*O+n##&)nn+ %O& #m*%j&+%& ! # * #O+&!*+#"&+%n1 %n"&*!.*+ O+n##&% j )&+#. - P +#*O&*+&#+n#*%1
(176) .O#+om*#p *O+n#*n##% j+#%#!.m*% #& n+!*kO#+&+# O+#!* +#n%#!.m*O+&O&n%!###.l1
(177) .O#+q#+&%*# &#&%!.) #% &%#% #l p!+#!#n * #O m*&#*# n%&#!.m*%#& n+!1 %*kl O+#%!%&!* ##!&!+np&!&#+"*#&1 !& O+%#+& !.O#+1
(178) .O#+r#!&!+np #& n+!% !%j*&+%&! # +O+1
(179) .O#+S&*O+n#& #+&#!.m*%#& n+!p %n, !%j* !s*+% !%j*&+%&! #!+O+1 %++!.O#+%!%&!* # X
(180) .O#+tY&*&*#n+&p %n, !%O **+!s*+1 *!+##+ O+*!&! *& ###O+#!* l+ ## O+O!# %#+*k,*#*+,#*#p!*k n% !%+%!###.l1. Rr.
(181) 01234567894 56
(182) 054 627. 8.
(183) 01234512671842 9878 2
(184) 718.
(185)
(186) 01234567. 8 9
(187) . . ! "#$%&'()(*+#$,-&.,&//0/1#2#/)2+')(1&#+. 33333333333333333 45 !36 "0%&'()(*+#%0.)()(&//7#3333333333333333333333333 88 !38 "0%&'()(*+#9'&:0'#3333333333333333333333333333 8; !3< "0%&'()(*+#$#2(=%0.)()(&//7#3333333333333333333333 8; !! "#$0'9&.()>2#$7*+()0:'#$ 333333333333333333333333333 4? !!36 @($1.7)($0)(&/,+)#2%$33333333333333333333333333 8A !!38 B&/,()(&/C%)(20'()7333333333333333333333333333 8D !!3< @71&+%09#,#)E1>#$#/$&+$=)E1>#$3333333333333333333 8F !!3; B0$,#$)E1>#$G71>70/1#$1&/).0(/)#$ 33333333333333333 8H !!! "-0'9&.()>2#I@8 33333333333333333333333333333333 4J !!!36 I.(/1(%#3333333333333333333333333333333333 8K !!!38 @#$1.(%)(&/L&.2#''#3333333333333333333333333333 <M !!!3< NO#2%'#3333333333333333333333333333333333 <M. PQRSTQ UVWXYZ[\]VZ]^_V`\VabYacd][\XeVfbd]fd``Y`WVeV`\gh[_V]\fV_hZZd]\iab^\hfVfVaY \da^]Y`WVYhjZY``V_fV__k_\leV_\VeZ_m]^Vanoa_bYc[\fVabYacd][\XeVpqrgh[YZZY]\[V`\ iaYsYe[aaVfV_Yacd][\XeV_^gh[\YtaV_nuV_Yacd][\XeV_fVWV\\VsYe[aaV_d`\dZ\[eYhj Zdh]abd]fd``Y`WVeV`\fV__k_\leV_eha\[WdVh]_WdeZd_^_fV\vWXV_[`f^ZV`fY`\V_V\ Z^][df[ghV_wif^ZY]\__[eha\Y`^_V\i^WX^Y`WV__h]]Vghx\Vn. yz.
(188) 0123456789
(189) 6
(190) 20775452 7. 8.
(191) . 012345620708934 6
(192) 6 33 79270639
(193). 3 ! " !#"$ % & !''!" ( & '% %$!'%&$ )"!'%! #! ! * & + '! $ , -" &*!'. !'"/% & !''!" '0$%&$ )"!% &1!($%&$ )"!+$&-$!! $%&$ )"! '!# ,% &1!1!'%&$ )"!'' %%$ )"! 1+$!#! ! ! " !#"$ &!" ( $!% &, -$2#!* 3! &*!'. !'"/% & !''!" '4! ! " !#"$ % & !''!" 5!''' # $-$! "% &-$2#!* 3! &*!' . !'"/ &!" '4! ! " !#"$ &!" 51 !' %&" )"& ( &" "$&+*! ! % !(&"'% $! &' * 31 !##! * & *& !#! #"$ % & !''!" &"* & *& !#! #"$ &!" 1. '$% !# 2 !'! &*! ! % !(&"'% 1'!&'$!'% "$ 1'*! )"!%&$ )"!1 5!"*! 6"/'" $ &$1 !"/%!''!-'! '" $ & *& !#! +$&-$(& $!/ '! *!'$+& #!'&% #"/*' ! &!/!1 !'%&" )"& &"'6&' & ' * /! &' 6"/ '" ! !%&$ )"!1 !' ' )"!&"' & ' ''&'$ $+& #!1)" -$!5 7)" !'&% #$! * '%&'!* "! &* &1 !'' !! '"8'!* & *&9- $ 1: $!;16$"! 12*!"/ 2#! '! &*! ! % !% 1'!!$ & *& !#! 1)" -$!! $ & ' 2#!'! &$ $+& #! 5 71. < =>?@AB>?CD>E>EA>. 2% "$ 1* "'F'2#! !#%' 1!$*" !' * #%&'! )"!$!' . !'' !/1 "! *' *!'$ # !' !#%& !$$!'% 1 '!'13 ! " !#&&% & !''!" ($!% &-$2#!* & *& !, #! &' '!' #%$!#! ;*1! # ! ; )"! ' $ . !)" *& ' !/1 "! 12! ' #"$ % & !''!" !' %$"' &#%$ )"1*": *!$&% $$1$ ' &*!' . !'$& '*!$ !/1 ", &4"!#G#! . !!%!" %'G !!/1 "1!;" ' *&1% %$"' !" '% & !''!" ' ;$:& '51! %&" &'1)"! !$!: )"!$!'$+& #!'&% #"/*'$! '#&&% &, !''!" %!"6! %! * ! ! !% &% 11*'$! '#"$ % & !''!" (* &H$!*16!$&%%!#! *! &"6!$$!'%&$ )"!'1 ! !3!(%$"' !" '%% & !'& 111"* 1!'12%$"'' #%$! &' '!; ':& #! $!% &-$2#!* & *& !#! #"$ % & !''!" '" I% & !''!" '!I% &-$2#!' * & *& !#! #&&,% & !''!" 4% &!#!5 &"%$1';"% &-$2#!*! 1% &*!' . !'19!'! &*!%% & !(* !+$&-$!( &' '!; 6& )" "'!"$& *& !" %&" $ !'!#-$!*!'% & !''!" '12!'% !# 2 !'%&$ )"!'+$&-$!'% &%&'1!'1 ! *!'+11 $ ', &'* $+& #!'#&&% & !''!" '(%" '!JKKL(MNOPNQRSNTUVW7X& &*" $& & * 1)" 14YNZO[R\\5)" %! #! * ! * !$ &% #$ 11!%!*( ! !&% #$ 1'!: ; $:6!" * "+ *&#- !*!% 1!#% &'! *!# + &'1! &' !' ;$-'!*!' $+& #!''!# ,% &1'1]*!$ # ! $!&#- !*!# + &'($ *1!!'$& '*!% * "$+& #!% &1! *!%! #! !;"&#- !$ # 1*! . !'*!# + ! 1 7J.
(194) 0123456789
(195) 6
(196) 20775452 7 5 !"" ## #! !$%&9 3! ! ' "! !( ! " ! 9 4) *+ ! (+" !! ,-# .# 9 ! ' #! *## ! /! -0-+ ! - "!# "# 12 3 9 4 * # # $56&9. 7898 :;<=>?@?ABC<;D@?@?=EEFC. !"! ! " )( / "( ,- 0G +") ! #!!! G"( 0! '-! ,- #!!.#) 97 ',-! #) G !# ! " 1/ 4 * 89H39. IJKLMN89HOP-#"! ! !"! # Q## !"'! ".#- G *' (!! G !R!( #! !# ,-' ! S! ! 94 T TS!R !( 9 !! " + ' "( ,- 0G +" -! # " "( " "" #! / ! "0+"9 !!' !* (+" " " G ! 9 ! T +"!' "( UT# -! V / ! " 0+" !R!(W (+" ! S! ! 9 ! "S! /! "#- T! - 9. "#- T!! " (+" ! "! (+" ( G!X * 1" !3$55&' + - -# ! " ! "( ! ' ) !* ! ! "( " "" !93 !"! G #',-'! !# #! S! ! ' #! '! !# #! !! #' #!9 !/!T$5Y&$5Z& 88.
(197) 012345620708934 6
(198) 6 33 79270639
(199) !"!! #$% #&!'() !)& *% ! %1!) *% % ! ! %"!' + %# ,'* -$%.!#1 $+ %# ,'* !-$% / ) ! 0 # % * "!'1310%# ! 2 %3 &%#+ % # / ! %%#0 #$% #&!'() ! ' 5& 4'1 5 ' 6 * + 1 9* + % * '!' + . ! %7%-%!8 !!#0! '! %%!0 #$% %! 5& 4'1 2* + '!+ !'!#! ! %9: &:0;&:0 "&: < &:13 ' /'%% 9 = >?@ABC>?B92 '!0'%%% + 0 !1' '*!+ ,'*! % ' / + !' '! !' !/','* D6!1' 15 '*!+ ,'*0 ! '* '* # ! ' 1 = EFGBC>?B92 !) *%%! ! : &:6! 1 ' $+ ! ! '* '* # 6'*!+ ,'*12 + ,'*!1' 6 ' 0! '* '* ' !,'* /! # ! ' + ' ! + / !1' ,'*1 = HFABC>?B92 !) *%'* ' ! ! '!!' & #'!!# !'' !,'* ! !I!#13 !+ 0' + /!! : &:%! ! ' ! '!!' 1 = JK@ABC>?B90 + ! ;&:%! ! ' ! ' ! '!!' #1 + " /! ! '* + 5 ,'* !# ! ' ! .!' !0 %% ' !): & L0 ' !) "&L ' !);&L14MN0 '* + ) ! ! O' '1 2 !'%! ! !/!!) P .!'6% Q / 7 & !I % ' !8 / % & * !!- !I!# % ' 1 0 -!! 'R-& $% 6 !%) ! ,'*1 '*! )% ! ' '' 13 /!'*0'+ % 0'! ! ! + %! " 'L) !!+ 0 ! + ,'* 6 ' 1 0! % ' 5& 4'1 ST.
(200) 0123456789
(201) 6
(202) 20775452 7. !". #$%#&&'&()*)&+,-#.'-& )*/-#0)12 2&3)2-#$%#&&'&()2$)+2&)3)2-)4-)%)+5(6)378#0$ 90,2$)898:92(6'(2&)%)3)30&8#('+0#&3;- #$%#&&'&()2$%<(0%)%)- '=)(+'+0#&)+%)- )><(2+0#& % '2/-23?+5(6)37#@?%<30,&)-)&#*.$)%)/$#()33)2$3:9. ABCDEF898GH(6<*'+03'+0#&% 2&#$%#&&'&()*)&+,-#.'0#&+$'0$)*)&+I-'3+$'+<,0)/'$/'$+0+0#&&)*)&+;-)3+5(6)3&)3#&+/'3%)3+0&<)3I2&/$#()3J 3)2$)&/'$+0(2-0)$90 )3+()++)%0=<$)&()*'K)2$)120/)$*)+% '2+#$03)$-)3*0,$'+0#&39320312) - #$%#&&'&()*)&+,-#.'-/)$*)+%)32//$0*)$-'(#&+$'0&+)%)&#&J*0,$'+0#&;0-3)*.-)-#,012) 12)-'(-'33)%)/$#.-L*)3#$%#&&'&M'.-)33#0+/-23,$'&%)90)/)&%'&+;0-'<+<*#&+$<NOPQ 12 '//-012)$6#27 9%)*'&0L$),-#.'-);&)/)$*)+/'3% #.+)&0$%)3(#&%0+0#&332R3'&+)3 /-23'8'&+',)23)312 2&#$%#&&'&()*)&+/'$/'$+0+0#&&)*)&+90 )3+/#2$()++)$'03#&12)%) )'2>'-,#$0+6*)3%<%0<3I- #$%#&&'&()*)&+*2-+0/$#()33)2$#&+82-)K#2$;I3'8#0$-)3'-J ,#$0+6*)3<120+'.-)31203#&+#/+0*'2>/#2$-)33S3+L*)3%)+5(6)30&%</)&%'&+)3;/<$0#%012)3; I<(6<'&()332$$)12T+)90)++)U'*0--)% '-,#$0+6*)3)3+/$<3)&+<)%'&3-'3)(+0#&3208'&+)9. '/#-0+012),-#.'-)'- '8'&+',)% T+$)'%'/+<)'2>(#&4,2$'+0#&3%S&'*012)3)+%)%03/#3)$ % '-,#$0+6*)3#/+0*'2>93'$(#&+$);-)3)=)+3%)32$(6'$,)&)(#&()$&)&+/'32&3)2-/$#()33)2$9 )/-23;)--))&,)&%$)%)3(#V+33S3+L*)3-0<3'2>*0,$'+0#&3%)3+5(6)3)+'2>*'&0/2-'+0#&3 %)-'4-)2&012)%)+5(6)3/$T+)39. W XY Z[ \\]. #23'8#&38212)-'U'0.-)33)%)- #$%#&&'&()*)&+/'$+0+0#&&<)3+- '.3)&()%)*0,$'+0#& %)3+5(6)3% 2&/$#()33)2$I2&'2+$)97&)=)+;()$+'0&33S3+L*)3&#&J#$%#&&'&M'.-)3-)%)J 80)&%$'0)&+30-)3*0,$'+0#&3<+'0)&+'2+#$03<)392- #//#3<;- #$%#&&'&()*)&+,-#.'-#=$)2&) +#+'-)-0.)$+<%'&3-'*0,$'+0#&%)3+5(6)3;)+( )3+()-'120-20/)$*)+% '++)0&%$)- #/+0*'-0+<9 0)/)&%'&+;()++)^)>0.0-0+</)2+'8#0$2&(#V+I- )><(2+0#&%VI%)&#*.$)23)3/$<)*/+0#&39 4-)3+%#&(3#26'0+'.-)%)-0*0+)$-)&#*.$)%)*0,$'+0#&3)+%#&(%)/$<)*/+0#&3NO_Q9. )3'-,#$0+6*)33)*0J/'$+0+0#&&<33)30+2)&+)&+$)()3%)2>)>+$T*)3)+/$#/#3)&+% '2+#$03)$ 8`.
(203) 0012345267809 34
(204) 095234 ! 10 "# $# % ! " &" '() * " " + ) ,#-.1/01. 123456.1/74! * %" 2 ""( ! %" 8# 209 4899:.; ++ " + %" < # !( 9:/;,"(" = " ) " " * >) 01? " " + = " " @ 1. AAB CDEFGHIJKLMNDEOPQKLFRGDE. 2 ! S TU,T"U09V.; ! )(1 W ! ="" ! +) = < ! % + * +* " (" *( ! X( 12*)&S ""! * 1 = +) = +!+!YZ>([Z\] " " *# " ^_`]a1+* " ) = !TU# " *""!1TS= " X " X ) # ! 1. bbcdc efghijkfglkfmnopkqrsg. 2*)&S * TU * " (! @ t ' t ="" " X S * 12" " # S "" uvwxu " 12*# ^]`]yza .:.
(205) 0123456789
(206) 6
(207) 20775452 7 ! "#93! $%"& ! %'! $ #(! ) #& *& & +,-./0 12 34567 # %8 &97"" &6" '! ! #9:-. # % " "##4 & 9; 9<##) #& ( & # !&#" #& %"= #$ '!& $ ! " % # # " >%!#& &%"#" %'! # !	 %"= ! #9:-.< " & # # #? GHI N89OP @ABC-.5DEF./1J +C-.5@D KLM "= &#:$ #RQ & " '! <#!#& # #" %"= # " >%!#& &%"NF./P# G HI " >%!#& %""N +C-.5@DP #& )% &! <6 "! * "!90'!& # !&# $ &S ) $"" ? KLM T5T-.-5U@ABC-.5DUV69 2!# $ # &#($$"$ # "Q&=! 89WNXYZ[\]^_`aP(<:'!& # #(" ! >%b !#& "! * "! # # &#$ #& )% &! <! '! #!$ #$ 9 (" >%!#& %"" >&$" >%!#& &%" &# #& #&S & )% &! ( &# #& #&S ! % &! 9. cdefgh89Wi7>$ " >%!#& 3)& . jjklk mnopqrqnostrquvwqrx. #&$"&#% ! $ #3Q& !#y# *# ! ! ! z #S$ {#9: & %b # # % &&'! (< % # &$!"# % #<%:% ! '!y# ! | ! 8}.
(208) 0012345267809 34
(209) 095234 12 !"# $%&'1! ()* !!*+ ,- * # #!1 /. 3 45 6&1&7 0 012 + ! *#*!8!9 ! # 13:8! ; <!!# =+*8 !* # *##!*, 8<#!*## *#1> *#8!-,* !?@3913"8!# 9 A # -*(+ <# # !# * <B+ 6 9<9=# >C # *## !)*(+ $D%'71 9-8 9 =! !( !!!, 9<1. EEFGF HIJKLMNOPQPRSJTPUPVUKLUWRSJTPU. 2 *>C ## !9+B+X B+ Z < 1B+Y09" XB+Y[\] ^1@+XB+#)_`abcdecfgachfigjkfgjdl 9! m0Z 0_`abcdenionflZiapZ012 9!!qrY0ZstZum0Z[pZ0s #Z !valwgxa Z chaynibgjdl!XB+Y014!, "# z{qrY0s{tp0|m012#X 9!!#X+#9A !!# !- *!9z }\~ Z \ Z m0t 30 p0t 30 6&17 2", &1D6`dbxia 7* !-A <XB+ B+Y0 # *) 0t# 0t0t1 0!*# !, 9!B+XB+ #= !,-!!8**# !!13 *8XB+ ## =# <!!B+Z8*=< Z *# Z !!X158 !XB+Y0 <Z!-A um0[p0s 9= !B+Y0#Z9=! # A=! m0 < # *#9! p01 #9#,B+XB+! # ! -+XB+()* <-A 10!9!! ) XB++B+ <9! +!B+10!!! !9!1 &.
(210) 0123456789
(211) 6
(212) 20775452 7. 897 ! " #$%& '! ()*%+,# -*+./#% / &,)0 3"/+&1*# ',*'2%3)0 465 '% &+,&+%/+& /&&/ ,&%7*# ',*'2%3)0 498 '+ /*# ' *!,2()0(/#) '%&+)% #%+#:(&+ *& 7) ! ) %% ! &#+;& <) '%272!+& '+ =56>=89?9. @@ABA CDEFGEHIJKGELMJKMDNJGEJONHPDQNHGE. &,R; ! ,&!,##/#) #%! '%3)0 '7()0(/#) '),#%&/+#% ' /&*#/S,&+%0 (T*+2 %/R /(%(/R,&!( /&6/ / *&%0U!/#'VW ,*&! '!( /&%''+ *%/#('90 '%&/./* ,#% (%((% #!*' /&/,VXW ,*&! '%3)0 '7!( /&%'!+Y(&('94& '',&%! ) '%&/./* T* ' /S,&+%0 '(T*+%/R '# ',#% /', %+ /* ,*&) %U ! %3)0 90 #!/#%1 '%&/./* ! /,!,## #%*# ),#!+%+,#'*Z'/#% ! ,&!,##/#[/R++%(92+#'+1 /*% *&/ ,#%&(T* %,*%' U'%; ! %3)0 ' (&+,!+T* '+#!( #!/#% '7()0(/#) '),#%&/+#% '.(&+\/#%/),#!+2 %+,#]^6_`ab6cd/! %*#,&!,##/#) #%(T*+%/R '*&*# /&)0+% )%*k& )l, ,'( ! d )e*&'96/ ,#'T* ab6f ighh '% :/)% *&! )0/&S ! /%3)0 469jf g5h '% #* (&, ! +#'%/#) ! /',*'2%3)0 4659 /: #$%& ! ()*%+,#! *# ',*'2%3)0 465/ ,*& /&/ ;%& 'm stujpa6v o5 wtrxujpa6y o5 n6 fjpq6r ab6 %=6 fjpq6r ab6 <89z?. {{{| }~ . 4 +'% *'+ *&'/S,&+%0 '!/#'/:/ + 3"/+&9
(213) # *%)+% &3"13 Vz8W %3 8V8W9 4'!+Y;& #% *#! /*%& /&/ /#+;& !,#%+'!(% & +# #%/ &+,&+%( #%& '',*'2%3)0 ' ,&'T* *&' ' *!,2()0(/#) '',#%(S/ '9 /#' )/!& ! #,'%&/./* #,*'/.,#')0,+'+ /S,&+%0 3 8T*+ '%& ),##*), (%/#% *' Z)/) #&/+',#! '/:/+R ), +%( ,*& ' &+' '! !()+'+,#9 8.
(214) 00012342567089
(215) . . 2 !"#$%#&'$ '(#)& * 3& )+(%,
Documents relatifs
Dans le chapitre suivant, nous présenterons la synthèse de lois de commande ainsi que les résultats expérimentaux associés où nous mettrons l’accent sur l’efficacité
Nous proposons ici une heuristique qui construit une solution tolérant au moins une panne de serveur (si chaque copie peut être exécutée par deux serveurs ou plus),
2 cures supplémentaires après négativation des marqueurs avec un minimum de 3 cures et un maximum de 5 cures, si les marqueurs ne sont pas négativés après 3 cures- non
La variation de réactivité (cœur ∆ρ). Par rapport au cœur de référence, ce concept améliore de 329 pcm le critère sur la variation de réactivité sur un cycle et de 32°C
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
Résumé : e hapitre présente les moyens usuellement disponibles pour vérier qu'un système temps réel respete-. les propriétés qui lui
Les boucles ou les collisions survenant sur le côté éloigné d'un traducteur ou mixeur ne peuvent pas être détectés en utilisant l'adresse de transport de source si
Pour pallier cette insuf- fisance, nous définissons de nouvelles métriques pour mesurer la réutilisabilité des éléments du diagramme de classes (classes, attributs et opérations)
