The Steam Boiler Controller Problem in ESTEREL and its Verification by Means of Symbolic Analysis
Texte intégral
(2) INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE. The steam boiler controller problem in. and its verification by means of symbolic analysis Michel Bourdellès. N˚ 3285 Octobre 1997. THÈME 1. ISSN 0249-6399. apport de recherche.
(3)
(4)
(5) !"
(6) $#%&'#( #) *+, - .'/ 0 1321
(7) 4 5 67829
(8) :;< 2= @> ?BADCFEHGJI3KMLFNOFEHGBGBPHQ RTSVUWYXYZ\[^] _`aXbdcfeXgh`aif`jgkUWYX` lnmaodpjXghq!Xr pjX ]"bdstsuodmag vtXwmaXyx,StXm,x,StX{z |~}~H;[\x gkodtmkX3Zd\[d}3sVb~X` Dtdd X'vtX`kxmkruX9gkStX c`X o"gkStX ~XmkruxbDgkro~zgaood`3 8¡¢¡£bdzVv¥¤H¦M§t¨ © ªh«uªh¬®¯o~z£gaStX°¡V¨±¡t²¡t³ XzVxofvfr´ztYoFb9µHgaXybW·¶/o~r´Xm"xodzHgamkod´XmsVmao~soH`Xyvi ¸V¹ ]¹Vº"trb»¹ 8¡f¢¡ r´` b3dXmarxbDgar´odzgaood¼`aXg"vfXyvfrxbDgkXvgao3gaSVXbzVbdif`ar´`on`izVx,SVmao~ztodcV`mkXbdxgar´dX\`if`gaXW=` r´zgaSVX=½odmkW¾odTuood´XbdzXy¿HcVbDgkro~zV`À cV`arzV!gaStX`aiW uod´r´xYmkXsVmaXy`Xz~g,bDgkro~zod ¶TÁ\ÁJ`½odmr´WYst´r´xrg `gkbgaX0mkXstmkX`aXzHgkbgar´odz¼¹ ¤H¦u§V¨ ©ªJ«ªJ¬®£r`0bbDgagaXmwb~vtvfrgar´odzÂgkogkStr`hgkood`XgÀ¼bzvÂb´oDÃ"`JdXmarxbDgar´odzbD®gaXmJmkXvtcVx gkro~z bdzVv3bV`gam,bdxgar´odzà rgaSYmkX`asXyx gFgao0tr`r´W cV´bgar´odz odXesVrxrgnVztrgaX `gkbDgkXTWYb~x,Str´ztX` à rgaS=b0`iW uod´rx gkmaXybDgkW3XzHgĽcV`ar´ztJ¶TÁ\ÁJ` bHbr´zÅMofr´ztstcfgFX~XzHg8stmkXvtr´xbDgaXy`¹RTStr´` `asXyxrxÆmkXstmkX`aXzHg,bDgar´odz\gkmar´d~Xm,` zVXÃ@bd~odmkrgkStWYr´x\r`a`actXy`Trz gaStXxodWYstcfg,bDgkro~z'odtr`arWct´bgar´odz!xbd`k`Xy`¹ X=vfXWYodz`jgkmkbgaXgkStX3soDÃ/Xm\o/¤H¦M§t¨ © ªh«uªh¬®£r´zÂgkXmkW=`JodÇmkXvfcVxgar´odzo`gkbgaX`ÀMtcfgb`aor´z gkXmkW=`ToFmaXyvfcVx gkro~z od8gkmkbdzV`rgar´odz`/½odm à Strx,SgkStXw~bdrz'r` o®gkXz!vfmkbdW=bDgarx¹ È°ÉHÊMËkÌ Í DÎ d µizVx,StmkodzVodcV`8maXybdx gkr~XÇ`ai`gaXW=`ÀD`aiHWo~rxÆVr´`arWctbDgar´odz8ÀDdXmkrxbgar´odzwi0odV`aXmkdXm ÏмÑÒÔÓÕ ÑTÖ ×´ÒÔØ»ÙÚ. Unité de recherche INRIA Sophia Antipolis 2004 route des Lucioles, BP 93, 06902 SOPHIA ANTIPOLIS Cedex (France) Téléphone : 04 93 65 77 77 – international : +33 4 93 65 77 77 – Fax : 04 93 65 77 65 – international : +33 4 93 65 77 65.
(9) 8/ 9 " # %&'#3(#3) *1/ ·*'¾ ! . - ; ·/ 8 -
(10) F .! w · 2= 82=
(11) ; hodcV`vf_xmar´do~zV`M cfgkr´r´`kbDgkro~zwvfX`8odcfgkr`¼ 8¡¢ ¡\Xg ¤H¦u§V¨ ©ªJ«ªJ¬®Y`cVm¼´bhvfX`kxmkrstgar´odz0Xz¡V¨±¡t²¡t³ vtc!xodzHgam d´XcVm/v ctztX0gkctmktrzVX DbdsXctm"stmkodsuo~`a_Jsbmh¸V¹ ]w¹tºhtmkr´bd ¹ 8¡f¢¡¯X`g cVz XzV`aXWtXv odcfgkr`vfX;d_mkrxbgar´odz¯Vbd`a_;`actm bzVbdif`aXÂvfX`aif`jgkUWYX`ma_ybdx gkrB` `aizVx,StmkodztXy` JsVbdmgkrmnv _¿HcVbgar´odzV` uoHo~_XztzVX`Àcfgar´´r´`kbzHgFctztXTmaXstmk_`aXzHgkbgar´odzr´WYstrxrgaX"vtX/ X`asVbdxX v _gkbDg,`TsVbm"vtX` ¶TÁJÁ\`¹ ¤H¦u§V¨ ©ªJ«ªJ¬® ` bpjodcfgk!X xXg0Xz`XW t´Xv odctgar´´`ÀMXg0sXmaWYXg0b9d_marxbDgar´odzÂbdstmkU`"mk_vtcVx gkro~z XghbV`gam,bdxgar´odz!`cVrDbzHg"ctzVXwtr´`ar´W ctbDgkro~z 3sVbdmgkrm"vtX´b3mkXstmk_`aXzHg,bDgar´odz'Xefst´rxrgaXvfXy` W=bdx,Str´ztX` v _gkbDg,`JVztr`\vVbzV`\bd¿HctX´´X ´X`\stmk_vfrxbgk`\v _d_ztXWYXzHg,`\v Xz~gkma_X3`aodzHgJgam,brga_`\`aiHWo~r¿HctXWYXz~g ÄBXzcfgar´r`kbzHgwXzVxodmkXvfXy`\¶TÁ\ÁJ`,Å #¹ "XggkXYmaXstma_y`XzHgkbDgkro~zÂbWYUzV$X WYovtrVXm0 b´do~margaStWYr¿HctXvfX xbxct¼vtX` xbd`k`aX` v _¿Hctr´Db´XzVxXd¹ hodcV`3vf_WYo~z~gkmao~zV`b°stcVr´`k`abdzVxX vfX'¤H¦u§V¨ ©ªJ«ªJ¬®¯Xz gaXmkWYX vfX ma_yvfcVxgar´odz vfc ztodWtmaX vfX` _gkbgk`TW=br` bcV`k`arXgh`actmgkodcfg"vfX0gkmkbdzV`argkro~zV`¹ %Í y Ë ' & µif`gaUW3Xy`Tma_ybdxgarB` `izVx,StmkodzVX`À~tr`arWct´bgar´odz!`iWo~r¿HctXdÀd_marxbDgar´odz sVbmTo~V`Xm ( DbgaXcVm.
(12)
(13)
(14)
(15) "!#$%&
(16) ' !"!#$. }. =* ÆF µfiHzx,Stmao~ztodc`bzV~b~X`/`cx,S'b~`"¡V¨±¡t²¡V³*) + ,ÔÀ³.-8¨±²¡/) 0,bzv!¨¬218438³5) }6,bmkXwxo~zH~Xztr´XzHg/gaoYXe ( sVmaXy`a`gaSVX XSVb ro~modM`aif`jgkXWxodzHgamkod´Xmk`ÀDb´oDà r´zt0`jgkmacx gacVmaXyvstmkod~mkbdW3WYr´zthr´zVxcVvtrztwsbm,b´X ( ´r`WuXgjÃ/XXz`cVuxodWYso~ztXzHg,`¹nRTStXi9bmkXhVb~`Xyv=odz!q!Xbdi3VztrgaX0`gkbDgkXJW=b~x,StrzVXhr´z~gkXmkstmkXgkbgar´odz¼¹ RTSVX\¡V¨±¡t²¡t³3xo~W3sVr´XmTxbdz=dXzVXm,bDgaXhoDà ´X~XMxofvfXhbd`aXv=o~z=gjÃobgaXmkzVbgar´dX"mkXstmkX`aXzHg,bDgar´odz` ½o~mTgaStXwcVzVvfXmk´iHr´zt=`gkbDgkXw`sVb~xX~¹ RTStX/Vm,`g o~ztXr`FbzrWYst´r´xrgÆmkXsVmaXy`Xz~g,bDgkro~zwà Str´x,ScV`aX` maXdr`jgkXm,`¼gko\`gao~maXT`gkbDgkXDbdmarbt´X` bzv uood´XbdzXy¿~cbDgar´odz=`aif`jgkXW=`FgaoxodWYstcfgkXTgaStXhodcfgkstcfgbdzVv3ztXegÇ`gkbDgkXT½ctzVxgar´odz¼¹nRTStXh`aXxodzVvodzVX r´` bdz Xefstrxrg"mkXstmkX`aXzHgkbgar´odz9à SVr´x,S'XzctWYXm,bDgkX`/gkStXw`jg,bDgaX`asVb~xX\o gaStXq!Xyb´i9W=bdx,Str´ztXd¹Jz gaSVr´` XefstrxrgFmaXstmaXy`XzHgkbDgkro~z¼ÀDxbd´Xv maXybdx gkr~X/bdcfgao~W=bDgao~z¼ÀDb"gkmkbdzV`argkro~z W=bDg,x,StX`F`aXdXmkbddgkmkbdzV`argkro~zV`8od gkStXhxodmkmaXy`suodzVvtrzt7 $!# 8 8 !q!XbdiW=bdx,Str´ztX"iYb´oDà r´ztbd`ÆrztsVcfgsVbdmgoMgaStXJ´bdXbwsVmaXyvfr´xbDgkX à SVr´x,S9mkXsVmaXy`Xz~g,`Æ`aiHWo~rxbdiYb `aXg/o¼suo~`k`r´t´Xhr´ztstcfgTX~XzHgk`JĽà rgaS'`r´WYrbmXSVb ro~mkbdtX 9MXxgk`,Å ¹ ÁJctX/gao0sVbdmkbd´X´r´`aW!ÀygaStXTmkXbdx,Sbt´X`gkbgaX `sbdxXW=b iwdmkoDãdXmki0´bdma~Xd¹ RTStX"¡V¨±¡t²¡V³\dXmkrxb ( gkro~zXzHr´mao~ztWYXzHgsVmaoDrvfX`ÆgjÃo3bststmko~b~x,StX`ÆgaoY`o~~X"gkStX\`gkbgaX0`sbdxXJXefst´o~`aro~z¼ÀxodmkmkX`aso~zVvfr´zt gko3gaStXbdgkXmkzVbDgkr~XJmkXstmkX`aXzHg,bDgar´odz`/bdoD~Xd¹ RTStX/Vm,`gFo~ztX xo~W tr´ztX`gkStX maXybdx,SVbdt´X`gkbDgkX `sVb~xXwÄB`aiW uod´r´xyÅ xodWYstctgkbDgkro~zbdzVv ~XmkruxbDgkro~z i9o~V`aXmkdX0m :HrghxodmkmaXy`suodzVvV`/xoH`Xià rgkS gkStX0Vm,`jgT½o~maW odn¡¨±¡t²¡t³9xodWYstr´´Xv'xofvfXd¹ RTStX\`Xyxo~zVvYodztXJxodz`r`jg,`Æod8bxo~zDpjctzVxgar´odz9odxodWYsuo~`argkro~zVbmaXyvfcVx gkro~zV`ÇbdzVv=b`jgkmkb~x gar´odzYi `ar´dzVbdtStrvfrzVVÀbzVvYr`Çbdstst´rXyv3gaowgkStXh`aXxo~zVvYmkXstmkX`aXzHgkbgar´odz¼¹XJbstst´igaStX\`jgkmao~zt0tr´`ar´W ctbDgkro~z o~z Xefstrxrg maXybdxgar´dX0bcfgkodW=bDg,b Ä b~bdr<z ;nq°Xb´i9W=bdx,SVrztXy`/à rgkS!`aiW uod´r´xJr´ztstcfg"stmkXvtr´xbDgaXy`kŹnX Sb dX9vfXVztXv£bÂztXÃb´do~margaSVW3rxYodz xodWYstcfg,bDgkro~z xbd`k`Xy`0gao;b~vtbstggaStr`Vr´`arWctbDgar´odz£o~zgaStX mkXb~x gkr~X\bdcfgao~WYbgao~z mkXstmkX`aXzHg,bDgar´odz8¹ RTSVX`aXhdXmarxbDgar´odzYgkXx,StzVr´¿HctXy`bdmaXJrWYst´XWYXzHgkXv9r´z9gkStX0`od®gjÃ/bdmaXTgkoHo~´`/ 8¡¢ ¡bdzVv¤~¦M§t¨©ªJ«ªJ¬® vtXdodgaXyv!maXy`suXxgar´dX´i gao9gkStX3rWYst´r´xrgwbzv!Xefst´r´xrg\VztrgaX3`jg,bDgaXW=bdx,Str´ztX mkXsVmaXy`Xz~g,bDgkro~z¼¹" 8¡¢¡ bdzVv¤~¦M§t¨©ªJ«ªJ¬®Xo~ztYgao=gkStX3¤H¦M§4± =>=³H¨0dXmkrxbgar´odz!sVbdx ?Dbdd@X ) ,»¹ 8¡f¢¡!cV`aXB` A>CDCDE/gao9mkX ( sVmaXy`Xz~g0gkStXYrWYst´r´xrg3`jg,bDgaX=`asVbdxXdÀ8bdzVvb`o¤~¦M§t¨©ªJ«ªJ¬®£gko°maXstmaXy`XzHg0bdzVv;o~sXmkbgaXYodzr´ztstcfg gkmkbdzV`argkro~z buXstmkXvtr´xbDgaXy`¹ X"stmkX`aXzHgÇbdz=¡¨±¡t²¡t³XzVxofvfrzVwoMgaStXJxX´XVmkbgaXv=µHgkXbd!W ( ¶/odr´Xmnstmkodt´XF W )Z ,Mbd`Æb0zVodzYgamkr´Hrb mkctztzVrzt;XetbWYst´XdH¹ G z µXyx gkro~z ZdÀFÃX vfX`kxmkruX=gkStX~XmkrxbDgkro~zgkXx,StzVr´¿HctXy`H¹ G z µXyx gkro~z¥fÀ ÃX r´zHgamkofvfcVxXgaSVXµHgaXybW¾¶/odr´´XmµsuXxrxbDgar´odz8I¹ G z£µXxgar´odz}'ÃX=vfXy`axmar´XgaSVX¡V¨±¡t²¡V³'XzVxovtrzt bdzVv!r´z;µXxgar´odHz +VÀÃXx,StXx ? stmao~sXmgkrXy` à rgaS°gkStXStXsÂodnodctm gkood`¹TX xo~zVx´cVvfXr´z;µXyx gar´odz; à rgaS!suo~`k`r´t´X\½cfgactmkXwÃ/od m ?u¹ (. J>JLKNMPOQRS.
(17) +. H! $!"!8 . . F .!/ 0 n ' ·*' 8/ 9F .
(18) . !"#%$&
(19) ')(* +, "(-$+.'/102$!02(-23 +,. 54. 67809:'/+,
(20) <;>=? ;(-80 @380. zÂgaStr`hWYofvfX Àb9`gkbgaX odngaStX VztrgaX3`jg,bDgaXW=bdx,Str´ztXr`JvtXVztXyvÂbd`Jb9Db´cVbgar´odz°oÆuood´XbdzÂ`jg,bDgaX Dbdmarbt´X`=Ä xbd´Xvb`ao°maXdr`jgkXm,`0odmwbDgkx,SVX`,Å ¹!R8Ã/o°dXyx gao~mk`0od/uood´Xbdz½cVzVx gkro~zV` xodWYstcfgkX=gaStX zVXegJ`gkbDgkXDbmkr´bdt´X` Db´cVbgar´odz°bzVv'gkStX o~cfgasVcfgJuood´Xbz!Dbmkrbt´X` DbdcVbgar´odz!½mkodW·gaStX3xctmkmaXzHg `gkbgaXJ bdmarbVXy`ÆDb´cVbDgkro~z9bzVvbz9r´ztstcfgTDbmkr´bdt´X`ÆDbdcVbgar´odz¼¹FRTStr`/W3ofvfXzVXXv9ztog/X0b Ã/bdmaX od gkStXwmkXbdx,Sbt´X\`gkbgaXw`asVbdxX\od8gkStXwctzVvfXma´irzV=q°Xb´i=VzVrgkX`jg,bDgaXwW=b~x,StrzVXd¹ G. RTSVX3bd`ar´xr´vtXb'XStr´zVBv Aod`Xma~Xm,`Cr`\gao!cV`aXgkStXYmaXybdxgar´dX sbm,bdvfr´dW<rgk`aXǽo~mwdXmkrxbgar´odzÂi Vctrvfr´zt;bÂxodWYsuo~`aXv`if`gaXW¾½mkodW gaStXstmao~dm,bW¾bdzVv£bz bdcfefr´rbmkiÂodztX br´W3Xyv£bDgx,SVXx?rzV!b ~r~Xz stmao~sXmgji~¹. Reactive Program. Observer. Fail Success. r~ctmaXYZ ;FEnXmkrxbDgkro~zio~V`Xma~Xm JV`aXmkdXmk`wbdmaX=mkXb~x gkr~X=stmao~dm,bW=`w`aXg r´z sVbdmkbd´XÆà rgaS gaStX9sVmao~dm,bW gkoÂuXbzVbdif`aXvÀFbzv r´zHgaXmkb~x gar´zt'à rgkSrg¹=RTStXiÂW=b i°XWYrgwb~vtvfrgar´odzVbdÆ`cxxXy`aH` GyBbdr´ctmkX`ar~zVb`h½odmvfrb~zto~`garx`¹YJ ( `aXmkdXmk`JW=b i°gaXy`jg`ar~zVb`\½mkodW<gkStXYstmao~dm,bW<tctg b`o!`r´W cV´bgaX3gaStX=sVmao~dm,bW XzrmkodzVW3XzHg\i ½XXvfr´zt!`r´dzb` gao gaSVXstmkod~mkbdW!À~ctr´vtrzt rg0gko vfXy`r´maXyvÂxo~zfV~ctmkbgar´odzV`¹wµogkStX3odV`aXmkdXmhsVbdmkb ( vtr~W5xbdz=XJ`XXz=bd`ÆbdXzVXm,b´r´`aX:v A`aiW uod´r´x/gkX`gar´ztI C stmkofxXvtctmaXy`Àdà StXmkX"b´Vsuo~`k`r´t´XTgaXy`jg,`Æà r´ uXhxodzVvfcx gaXyv=`r´W cVg,bztXodcV`airz9b0mkXb~x,SVbVX `gkbDgkXh`asVbdxX"`Xybm,x,S¼¹¹FµX~Xm,bto~V`aXmkdXm,`Fxbdz=Xh`aXg r´zsVbm,b´Xà rgaSgkStX=`abdW3X3W=br´zWYofvfct´X°Ä½rgkStXivfodz gwrzHgkXma½XmkXyÅ I¹ G ztstcfgbdzVv;o~cfgasVcfg`r´dzVbd´` ½mkodW gkStX3xodzHgamkod´´XmJxbzX3W=bdvfXrzHgaXmazbgao gaStX3d´odVbdsVmao~dm,bW gko'b ~odrv!rzHgkXma½XmkXzVxX½mkodW gkStXwsuogaXzHgarb´i9mkXW=bdrztr´ztYXzr´mao~ztWYXzHg¹ J`Xma~Xm,`wVbd`aXv dXmkrxbgar´odz£mkXvfcVxX``ab½Xgjistmkodt´XW=` gao;mkXb~x,SVbVr´rgjiohbxo~zfVdcVmkbgar´odz£r´z gkStXwstmkofvfcVx g W=bdx,SVrztX~ÀtbzVvgaScV`"Xybdvt`/rgk`aXF¿HctrgaXwztrxXi9gao=r´W3sVrxrg"maXstmkX`aXzHgkbgar´odz=gkmaXybDgaWYXz~g bd`aXv3odz9¶TÁ\Á `aiHWo~rx WYXgkStofvt`¹Fµo~WYX"r´dXztX`k`nstmkodsuXmagar´X`Çxbz=bd´`aowXhdXmkrVXv3i3vtXgaXyx gkro~z od r´zfVzVrgkX`Xy¿~cVXzVxXwoFXSVb ro~ctmk`ÀÄBbdzVv gaScV` r´zÂbVztrgaX `gkbgaX`ai`gaXW!Àfoods`kÅTvfcVmar´ztYà Strx,S!b `ar´dzVbdur` ztodg XdXzHgacVbd´i9XWYrggkXv¹ D. JLK J8JNM.
(21) .
(22)
(23)
(24) "!#$%&
(25) ' !"!#$. r´dcVmaX;nRTStX ¡¢¡ dm,bstSVr´xbMrzHgkXmaBbdxX lÆmao~sXmgkrXy`8bmkXÆXesVmaXy`a`aXv0bd`8WYovtctXy`8r´z bhstmao~dm,bWYWYrzV/o~sXmkbgar´odzVbdd`gjiH´XdÀDbdzVv`aoVÀygaStr`dXmkrxb ( gkro~z3gaXx,SVztr´¿HctXhr´`nSVodWYod~XztXodcV`ÀodsVsoH`rgaXTgkoWYovtXVx,StXyx ?rztwà SVr´x,SYr´z~gkmaofvfcxX`ÆXegam,b\gaXW3suodm,b ´od~r´xh`izHgkbeM¹nlnmkod~mkbdW=`Æxbdzb`oX\`izHgaSVXgar Xyv=½mkodW`asXyxrx"gkXWYsuodm,bV´od~r´x`JÄBVbd`aXv9odz9sVb~`jg o~sXmkbgao~mk`,Å ¹ D. . . 08+F' @. + #%+ +. º@q!XbdiWYb~x,Str´ztX r´`vfXztXv3½mkodW b\VztrgaX\`jg,bDgaX"`aXg Àbz=r´ztrgarb`gkbgaX bzVv3gjÃ/ob´stSVbdXgk` JÀ¼bdzVv {ĽgaStXYr´ztstcfgbzvÂodctgastcfgbdstSbuXgk`,Å À¼bdzVv;xodWYstcfgkX`JgjÃ/o sVbdmgkr´bd8½cVzVx gkro~zV`À¼gaStXYztXeHg `gkbgaX½ctzVx gkro~z ÀÆbzv£gaSVX o~cfgastctg½ctzx gar´odz ¹)DVodm3WYodmkX r´zf½o~maW=bDgkro~z¼ÀfmkX½Xm/gkHo ) 6,Ô¹ µfiHzx,Stmao~ztodc`0maXybdx gkr~X9`if`gaXWY`bmkX=Vbd`aXvo~z£vfXgkXmkW3r´ztr`jgkr´x bzVv£xodWYst´XgkX=VztrgaX'`jg,bDgaX'q!Xbdi W=b~x,StrzVX`Ær´zHgaXmastmkXg,bDgkro~z¼¹RTSVbgr`Ægko `kb i À~½odm/b´ aÀrg/Xefr`jg,`ÆodzVi3odztX kÀV`cx,SgkSVbDg ¼bdzVv G z odctmmaXstmaXy`XzHgkbDgkro~zo gaSVX'q!Xyb´iW=bdx,SVrztX~Ànxb´´Xv£mkXb~x gar´dX9bdcfgao~W=bDgao~z¼Ànb°gkmkbdzV`rgar´odz£W=b i `gkbdzVv½odm"`aXdXmkbdugam,bzV`argkro~zV`/½mkodWgkSt7X ! 688 !Vq!XbdiWYb~x,Str´ztX0maXstmaXy`XzHgkbDgkro~z¼¹ .
(26). . . .
(27) .
(28) . . !"$#%&(')#%*+*#,&.-0/1/324567
(29) 8/. 9";:<#,=>')#?**#1=$@A/3245BC D8/. J>JLKNMPOQRS. 3E9"$#,&0')#?**#,&F-G/IHJ";:. K9"$#,&0')#?**#,&F-G/IHL=>';#?**+#,=M@N/.
(30) H! $!"!8 . 'É BÍ É td uÉ 8 Í f
(31) º
(32) I
(33) @
(34) =r´` b= (Ôctst´X@; . SVXmkX. . #5". #
(35). #1. #. /. 5r´` bVztrgaX`aXg"od `gkbgaX`¹ r`TgaSVXwrztrgarb¼`gkbgaX~¹ r` b3VztrgaX`aXg od r´ztstcfgh`ar´dzVbdzVbWYX`¹ £r´` bVzVrgkX `Xg oFodcfgkstcfgh`ar~zVbMzVbdW3Xy`¹ 0r´` gaStX0gkmkbdzV`rgar´odz'mkXbDgar´odz8À "!#$% &!#'% &à rgkS 0r´`gaSVX `aXgYo"stmkXvfrxbgaXy`odz X´XWYXzHgk` ½mkodW gaStX!`aXg J¹ DVodmxodzdXztr´XzVxX !#$% Ã/X `aSVbd/odzt´i£vfXbdTà rgkS stmkodsuo~`argkro~zVboo~Xybz£½o~maWct´b~`mkXstmkX`aXzHgkXv b~``actW=` od sVmaofvfcVxgk`ohsuo~`argar´dX bdzVv£ztX~bgar´dX9´rgkXm,b`¹ "X~bgar´dX´rgaXm,b`3bmkX9r´vtXzHgarVXv ib ( stmkXVe7r´zV`gaXb~v7gaStXxbd`k`rxbd"Vbdmodz¯gkods¼¹ µiW3WYXgamkr´xb´i7soH`rgar´dX;rgaXmkbd´` bmkX rvfXz~gkrXv=i=*b )'stmkXteF¹ Dto~mÇr´zV`gkbzxX V~ctmkXh}mkXstmkX`aXzHg,`Fgam,bzV`argar´odzV`ƽmao~W b3q!Xbdi W=b~x,StrzVX0bdzVvgaStXwmkX`asXyx gkr~XJgkmkbdzV`argkro~z½mkodW·bYxodmkmaXy`suodzVvtrzt3mkXbdxgar´dX0bcfgkodW=bDgkodz¼¹ Çr´`/gkStX`aXg o gaStXw`actV`aXg,`To Ç+¹ !#'% xodWYstmkr´`aX`gaSVXwXWYsfgji `aXg ztodgarxXyv !#'% , - ÄBztoYHr`art´Xbdxgar´odzŹ `kbDgkr´`VXy`"gkStX½o~´oDà rzVxo~zVvfrgar´od4 z ; /. 103032525894766 :*;=<>$%@?BA 8DC0D29896FE ':G. . ". .
(36). . . .
(37) /. .
(38) /. .< 3/. H JIKF$. . F. /. . 7
(39). . ". F. 0. /. ";:2. H. ºmaXybdxgar´dXbctgaodW=bgaodz°r`hxodWYst´XgkX rÇbzVv!o~zti'rn½odmJbdF`gkbDgkX`ÀtgkStXvfr`BpjodzVxgar´odzÂodFr´ztstctg\stmkX( vtr´xbDgaXy`To odz!odcfgkdo~rztgam,bz`rgar´odzV`/r` X¿HcVbdMgaLo -M$~¹ º·maXybdxgar´dXbdcfgao~WYbgao~z£r´`vfXgkXmkW3r´ztr`jgkr´xrh½odmbd/sVbdrmo gam,bz`rgar´odzV` Xyb rztÂgaStX'`abdW3X `jg,bDgaX à r´iS'vtr 9MXmkXzHg"odctgastcfg"sbmagÀgaSVXwrztsVcfg"sVbmag"ogaStX0gkmkbdzV`argkro~zV` bmkX\vtr´`Bpjodr´zHg¹ ]"Xbdxgar´dXwbctgaodW=bgkbdXzVXm,bDgaXyv=½mkodW ¡V¨±¡t²¡V³YXzVxofvfrzV~` bmkX0vfXgkXmkW3r´ztr`jgkr´xwbdzVv'xodWYst´XgkXd¹ ON. P Q ! ' 3. º/g Dr´m,`jgyÀVX bd`k`cVW3XxodWYsuo~`argkro~z'odÆbcfgkodW=bDg,bYmaXyvfcVxXyv!bzVv GDodm à rgaS;`ar´dzVbd´`TStrvtvfXz;`gkb i bd ( ÃTb if`b~xifx´rx¹nRTStr` xbz'uX\Hbm,bzHgaXXhr´z'bYxbcV`kb´rgji=bdzVb´if`r`/o8gkStXwxo~mamkX`aso~zVvfr´zt WYofvfct´X` `aXg r´z!sVbm,b´´X»À~½mkodWbz'rzHgaXmaWYXyvfr´bgaXwXy¿~cbDgar´odzbu½odmkW=bDg oÆ¡V¨±M¡V²¡t³t¹ RTSVr´`dXmarxbgar´odz3gaXyx,Stztr¿HctX"g, b ?dXy`Çb~vfDbzHgkbddX ogkStXhWYofvfctbm/`jgkmacx gacVmaX"od¡V¨±M¡V²¡t³XzVxovtrztH`¹ GÔgwxo~zV`ar´`gk`JongkStXYmaXyvfcVx gkro~zÂoÇgaStX3maXybdxgar´dX bdcfgao~WYbgao~z;bd`k`ofxr´bgaXv'gko Xybdx,S¡¨±¡t²¡t³ sVbdmkbd´X JLK J8JNM.
(40) .
(41)
(42)
(43) "!#$%&
(44) ' !"!#$. #I0.#I1.?I2 +#I0.?I1.?I2 +?I0.#I1.?I2 +?I0.?I1.?I2/O. ?I0.?I1.?I2/O #I0.?I1.?I2/O ?I0.#I1.?I2/O. #I0.#I1.?I2/O. ?I2/O. r´dctmkXÇ} ;Mgam,bzV`argkro~zV`M½mkodW@gjÃoJ`jg,bDgaXy`¼odfbJq!Xbdi\W=bdx,Str´ztXÇbdzVv\½mao~W gkStXxodmkmaXy`suodzvfrzV/mkXb~x gkr~X bdcfgao~W=bDgao~z `gkbgaX` `acttWYofvfct´X\à rgkS9gaSVXJStXs ob sVbmagarxcV´bdmÇmkXvfcVxgar´odz¼ÀH½o~´oDÃXyvYi9xodWYstctgkbDgkro~z9o8gaStX0`izVx,SVmao'( zVodcV`JstmkovtcVx g\oÆWYrzVrWYr`XyvÂbcfgkodW=bDg,bt¹JXYxbdz°Str´vtX3`ar~zVb`"zVogJmkX´XDbdz~ghgao gaStXstmao~sXmgji gao x,SVXx ?M¹ º ®gkXmkÃ/bdmkvt`ÀÆÃ/X'xbz¥XrgaStXm3r`cb´r´`aX9gkStX!maXy`ctgar´ztbcfgkodW=bDgkodz à rgaS¥gaSVX'SVX´s oJgaStX 3 -4 ± = 18² 3!gkoHo~ Ào~mTbdstst´irzt½ctmagaStXmTdXmkrxbgar´odz=gkXx,Stztr¿HctX`To~mXdXzod`XmaDbDgkro~z9odz!bd`/vfXy` ( xmar´uXv stmaXro~cV`´id¹ RTSVXÆX¿Hctr´Db´XzVxXÇmkXbDgar´odz0Ã/XÇ`aSVb´HxodzV`arvfXm¼Ã r´´~uXÆgkStX`gamkodzt Vr´`arWctbDgar´odzwo~zq!Xyb´iJW=bdx,SVrztXy`¹ ÁJctX gko0gaStX"`aiW uod´r´xTr´ztstctgÇsVbmagk`ÆodzYrzVstcfg`ar~zVb`ÀDgaStXJvfXVzVrgkro~z3uXxodWYX`Çb0trgW3o~maXTr´zdod´dXyv à SVXzÂbsVstr´Xv°gao9mkXb~x gar´dXbdcfgao~W=bDgkb ;/b=gam,bzV`argkro~z°maXyxoD~Xm,`zVoDà b`XgJonsuo~`k`r´t´XuXSVb r´odctm,`À bdzVvgaStXwuXSVb r´odctm,bMW=bDg,x,Str´ztYWYb istmaXy`Xma~XJ`aXg,` ogam,bzV`argkro~zV`¹ 'É ½Í Í É Ê Â Í & ° &½t ½MÍ É &½f BÍ ) , 8X. g 5 nXb3mkXb~x gar´dX0bctgaodW=bgaodz8¹ RTSVX0`aiW uod´r´x\tr`arWct´bgar´odz'maX´bgar´od
(45) z r`"vfXVztXv'o~&z B ´#r ?~XwXoDÃ ; < rnbzVv odzt´ir < $% &!#$% < '% "!#'% < `cVx,S!bd+ ` <. 0D0D2525478 66 < & B <>$% &!#$% <>$% &!#$% `cVx,Swb~` . 0D0D2525478 66 º8~Xx < Xg !#$% ; <>$% bdzVv < G z X`k`XzVxX < r bzv odzt´i¯r gaStXi7uogkS stmkofvfcVxXr´vtXzHgarxbdJo~cfgastctgk` Xybdvfr´zt gko Xy¿~cVrDb ( ´XzHgT`jg,bDgaXy`ÇcVzVvfXmgaSVXJ`kbWYXhr´ztstcfgTstmkXvfrxbgaXy`À~soH`a`arVi=vfr´r´vfXyv9vf#r 9uXmaXzHga´i9b´odzt`actMxbd`aX`¹FX W=b ?dXJgaStr`T½odmkW=br´z'gaStX0½o~´oDÃ rzV´XWYW=bt¹ D. HB
(46). #, 3#. #," )#. /. . J". 72. ";' :. 2. F
(47) /. #%*+**#,";- :. # F:. ". ". J>JLKNMPOQRS. 2. ";:. 72. :. .< 3/. A2. 2. .
(48) /,#%*+**#. #. .. 42. F
(49) /,#. :. G" 0. ".
(50) . H! $!"!8. Í f ½Í 8Xg. G 'D <K#<>'%.# <F:</H < $% . É . `acVx,SgkSVbDg < #. <.010325476 < 0325896. %< <F:. µgkbDgkX`+<°bdzVv 3bmkX\tr´`ar´W3r´bm rFbdzVv'odzt´i9rjÀ C". a¹. <>'%72&!#'%.< 3/,# # G 'D <K#<>'%.#M/H#G 'D"$#<>'%.#M/. Í¼Í RTSVX9XWYWYb;xbz£uX vtXvfcVxXv½mkodW gaStX'vfXztrgkro~z à rgaSgaSVX9Bbdxg gkSVbDg`aiWYW3Xgamkr´x9rWYst´r´xbDgkro~z xXmagarVX`ÆgaSVbgÀbd`k`cVW3X < ÀodztXhstmaofvfcx gÇ~r~Xz¼ÀHb´tgaSVXhstmkXvfrxbgaXy`ÆoMgkmkbdzV`rgar´odz`n½mkodW sÂĽmkX`as ¿fÅFxbzYXhWYbgkx,StXyvYà rgkSYctztr´odz=oMstmkXvfrxbgaXy`nougam,bzV`argar´odzV`F½mkodW ¿ÄBmaXy`sYsÅ gko `gkbDgkX`nVr´`arWYr´´bdm¹ G zt½odmkWYbd´idÀFgjÃ/o`gkbgaXy`bdmaX'xodz`rvfXmkXv bd`X¿Hctr´ bdXzHg ½odm3gkStr´`3tr`arWct´bgar´odz rhgkStXi b~xxX`k`wgao Xy¿HctrDbdXz~g=`gkbDgkX`3r´z¥XW3rggkrzVgkStX°`abdWYX o~cfgastctg=`ar´dzVbd´`½odm3gkStX°`abdW3X!xo~W tr´zVbgar´odz odhr´ztstcfg `ar´dzVbd´`¹ G z7gkStX°XetbWYst´X'o Dr´dcVma5X +VÀ/`jg,bDgkX` bdzVv °bmkX!tr`r´WYrbmY#r 9 bzv bmkX Vr´`arWYr´´bdmÀtbdzVv'b`o bzv ¹ G WYsuodmagkbdz~gwgko°ztogkXdÀtr´`ar´W ctbDgkro~zzVoDÃ5ztXXvt`wgao°W=bDg,x,S`aX~Xm,bFgkmkbdzV`rgar´odz`\gaoÂ`aXdXmkbdnogkStXm,`À r´zV`gaXybdv oFWYbgkx,Str´zt3gam,bz`rgar´odzV`/sVbdrmkà r`X~¹ . 6". 7" '. 7";' : :. q1 q1. ?I1.!O1 ?I1.!O1. q’1 q’1. ". ";' : #,";': : :. ";:. C";: :. q2 q2. #I1.!O1 #I1.!O1 !O1 !O1. ?I2.!O2 ?I2.!O2. q’’1 q’’1. q’’’1 q’’’1. q’2 q’2. ?I2.!O2 ?I2.!O2. q’’2 q’’2. r~ctmkX +&;Æ`jg,bDgkX`TX¿Hctr´Db´XzHgT½odm"bY`asXyxrbtr`r´W cV´bgar´odz'maX´bgar´odz D. JLK J8JNM.
(51) .
(52)
(53)
(54) "!#$%&
(55) ' !"!#$ +.0
(56) !. +F& 09!#. X9XesVo~rggkStX9´XWYW=b `wmkX`actg gao°stmkodsuo~`aX9bz£b´do~margaSVW3rx=bdvVbsfgkXv½mao~W¾gkStXwbdztztXb ?r` µfW3o~# ?DbYsVbdmgkrgkro~z°maXVztXW3XzHghb´dodmkrgaStW ) 6 ,»¹ "odz`rvfXm Vofx ?f`"¶ bzVv°¶ ÄBÃXxb´¼t´ofx ? b9x´b~`a` odÇ`jg,bDgkX` ½o~m\bdz°rzHgkXmkW3XyvfrbDgaXmaXVztXW3XzHghX¿Hctr´Db´XzVxXyÅ"bdzVvÂb9`aXg\oÆo~cfgastctg0`ar~zVb` < '%V¹\X `ast´rgT¶7Hi=¶ rz xodWYstctgar´zt½o~mXybdx,S9`gkbDgkXhodgaStX0xbd`k`Ƕ¥gaSVXJctzVro~z9o8bdgaStX\r´ztstcfgTstmkXvfrxbgaX` ½mkodW b´tgkStX gam,bz`rgar´odzV`ÆXWYrgagar´zt < '%à StoH`XTg,bmkdXgÇ`gkbgaXy`nXo~zt0gaogaStXhx´b~`a`Ƕ ´¹HµgkbDgkX`nà rgaS rvfXz~gkr´xbctzVro~zV` `jg,b i9sVbdrmkXv¹ ¶xbz;gaScV`0uX9vfr´HrvfXyv;r´zWYo~maX3gaSbzgjÃo!`cV (Ôx´b~`a`aX`¹ hogaX3gkSVbDgwgkStr´`wxo~bdmk`aX`gJsVbdmgkrgkro~zmkX ( ztXWYXzHghsVmaofxXy`a`hvfoX`"zVoghmkX¿Hctr´maXbx,StodrxXbdW3o~zt=suo~`k`r´t´XW=bDgkx,SVrzt9`actV`aXg,`"od gkmkbdzV`argkro~zV`À cVztr ?dX\½o~maÃTbm,v9o~z ( gkStX ( Vi;ÄBodm ´ofxb®ÅWYXgaSVovV` Ão~ctvÀfXybdvfr´zt3gao=xodW VrzVbgao~marbMXefst´o~`ar´odz¼¹ XSVb dXÂr´WYst´XWYXzHgaXyv gkStX`aiW uod´r´x;tr`r´W ctbDgkro~z b´do~margaSVW r´z@b gaood0xbd´Xv¯Bxy`aiW tWYr´z G z'bdvtvtrgkro~z¼Àt¤~¦M§t¨©ªh«uªh¬®°xodWYstcfgkX`Tb`aogaSVXJstmkofvfcVxgo bcfgkodW=bDg,btÀHStr´vtrzt3o `r´dzVbd´`bzVv9gaStX ~XmkruxbDgkro~ziodV`aXmkdXm¹'RTStX9stmkofvfcVxg o"bctgaodW=bgkb!r´W3sVXW3XzHgk` gaStX ¡¨±¡t²¡t³`aiHzx,Stmao~ztodc` sbm,b´XnodsuXm,bDgao~m¹=RTStX=SVr´vfr´ztÂodT`ar´dzVbd´`\mkXvfcVxX`0gkStX9`ar X=oTXSVb ro~mw´bdX ¹Ro°StrvfX=r´ztstcfg `ar´dzVbd´`\xbdzxmkXbgaX3ztodz (ÔvfXgaXmaWYr´ztr´`aW!À¼bzVvr`Jc`XyvÂgko'bdV`jgkmkb~x gwbzbcfgkodW=bDg,bo~z`ar~zVb`\rzHgaXm ( b~x gkrztYgkobYstmkodsuXmagjir´zÂb=dXmarxbDgar´odz'i o~V`aXmkdXmy¹ "o~W3suo~`argar´odzVbd¼r´*z ?r´zt9r` ctzVvfXmhÃTb id¹/X `aSVbdFXetbdW<dXmkrxbgar´odz;o~zÂgkStX9µHgaXybW¾¶/odr´´Xm0rz`aXx gkro~z +¹RTStX -¼¼¬ 7xo~WYWYbdzVv;bgg,bdx,StXyv°gao gkStX ¤~¦M§t¨©ªJ«ªJ¬®ÂstmkofxXy`a`aodmTr` vfXg,br´Xyv r´z°º"ztzVXe;Z~¹ +.
(57) . $ 209
(58) #%23 +F& 02($&(. X/stmaXy`XzHgmkX`actg,`8o~fgkbdrzVXvwcV`ar´zt\`aiW uod´r´xÇtr`r´W ctbDgkro~zWYrzVrWYr`abgar´odz à rgaS gaStX ¤~¦M§t¨©ªJ«ªJ¬® sVmaofxXy`a`aodm/odz'bY`XXyx gar´odz oFbcfgkodW=bDg,b stmkofvfcVxXv=½mkodW ¡V¨±¡t²¡V³Ystmkoddm,bW=`Ægaod~XgkStXmTà rgaS°xo~!W ( sVcfgar´ztYgar´WYXwodz!bz "gam,b=µsVbm,xÀt}H =q!iHgaXy`TW3XWYodmki9`r X~¹ R bVX!ZYstmkoDHrvfXy`hdctmkX`0uX½o~maXYmkXvfcVxgar´odz¼À bzVv;gkbdt´X9gkStX9xo~mamkX`asuodzVvfr´zt zHcVW uXm b®gaXmwmkX( vtcVx gkro~z¼¹Çq!XWYo~mai9`ar Xwr´`Tr´z!i~gkX`¹ . +. J>JLKNMPOQRS.
(59) Z. H! $!"!8
(60) '!"!#$
(61) B"!#$ >
(62) >
(63) 68
(64) !
(65) 8H@ " 8H@ " . "
(66) $ . . 8. Zy~ Z}d Z ~ Z ZdZ 6 + $Z + %. %. "&"
(67) !
(68) @
(69)
(70) ' *8"
(71) *8 80. Zyd~tZy d dH~d }~tZy yZ d} ++ +H + Z HH d $Z + dD H} DH d yZ ~ Z }Hd }H ZH dd ZD tZ ~} R bt´X=Z ;Ƶr Xwod8½Xà mkXbdxgar´d0X bcfgkodW=bDg,b . M. . ). ). ). %. .
(72) '!"!#$
(73) B"!#$ >
(74) >
(75) 68
(76) !
(77) 8H@ " 8H@ " . "
(78) $ . . 8. . ' I 7
(79) @
(80)
(81) ' *8"
(82) *8 80 + + .
(83) "@. Z }d } d d} d} 3`Xyx ~ dd Z HD~} }Y`Xyx ZdZ + ~ 3`Xyx ZP+~} Z~ZdZdZy} f¹ 3`Xyx Z} }H ZdH t¹ }Y`Xyx Zy Z VZ t¹ d`Xyx ZdZ ~+ d}tZ$+H} +=`Xyx + } tZdZ$+ }Y`Xyx Z} Zy} d t¹ +=`Xyx R bVX;Æ]"X`actg,` buodcfg gkStXwWYrzVrWYr`abgar´odz'oÆ¡V¨±¡t²¡V³=xo~z~gkmao~´Xm/Xzxofvfr´zt~` RTStX\mkXvfcVxgar´odz9r´z=gkStXJzctWXmod`gkbDgkX`bzVvXdXz9WYodmkX"r´z9gaSVXJzctWXmodgaStXJgam,bzV`argar´odzV`Çr´` `asuXx g,bdxct´bdm¹ / ¼ *2 * F RTSVr´`xbd`aX9`gacVvfimkXsuodmagk`0gkStX9uXSVb r´odctmod"bµHgaXybW¶o~r´Xm`suXxrxbDgkro~z bd`vfXy`axmar´uXvr´z )$Z ,»¹ GÔgr` xodWYsuo~`aXvo `XdXm,bnXXWYXzHgkP` ;wgaSVX`jgkXbd! W (Ôuodr´XmÀ8b°vtXr´xXYgao°WYXb~`cVmaXYgkStX9¿HcVbzHgargji;od ÃTbDgkXmyÀ½o~ctmÆstctWYsV`ÀH½odctm/vfXrxXy`Fgao `actsuXmkr´`aX gaSVX"stctWYsV`/bzVv=b vfXrxX gko xo~z~gkmao~fgaSVXJ¿HcVbzHgkrgji od `gaXybW!¹ D r´dX0WYofvfX` bdmaXwb Dbr´´bdt´I X ;NG ztrgarb»À hodmkWYbd Àt]"X`kxctX~ÀtÁhXdm,bdvfXyv bdzVv ÆW3Xma~XzVxid¹ . . M. . %. %. . . JLK J8JNM.
(84)
(85)
(86)
(87) "!#$%&
(88) ' !"!#$. Z~Z. r´dctmkX;nRTStXT~mkbdstStrxbdur´zHgaXmBb~xX0r´z*?~Xv à rgkS gkStXxo~zHgamkod´Xm # %&'#3(#3) " =*! 6¯.
(89) 5
(90) =; T .! 0F RTSVXw¡¨±¡t²¡t³9WYovtct´bdm"bm,x,StrgaXx,SHgkctmaXh½od´oDÃ"`/½mkodW gaStX`asXyxrxbgar´odz¼¹ GÔghxodWYstmkr´`aX` ; Z~¹Tº W=bdrz É Â Í & É WYovtctXwvfXy`axmar´uXv'XoDÃw¹ t¹ q°ovtctXy` °Í & À & f ½Í ÇÀ É y É'bdzVv 'É DtÎ É Î :8Xbdx,S;rWYst´XWYXzHgkrzt gkStXxo~mamkX`asuodzVvfr´ztW3ofvfX~¹ X & f ½MÍ o~sXzV`9bdzVv¥xoH`Xy`YstctWYsV`9bdzVv7Db´dX!ctzHgar´ gaSVX°Ã/bgaXm ´q°X~oXvtctu XxodWYX` xodmkmaXyx g/gaStXz°ÃXwbdxxXy`a`gaSVXwztodmkW=bModm"vfXdm,bdvfXyv9WYofvfXd¹ q °ovtctXy` °Í & MÀ É VÎ É Î À É ÉodsuXzÂo~mhx´o~`aXstctWYsV`hrz;maXy`suodzV`aX0gao gkStXwÃTbDgaXm XdX ¹ }V ¹ G z¥gaSVX°W3ofvfcVX Í É Í Î ÉuÀÇstcVW3s7Bbdr´ctmkXdÀÇsVctWYs¯xodzHgamkod´´XmBbr´ctm=o~mYÃ/bgaXm ´X~XMBbdr´ctmkX0vtXgaXyx gkro~z!x,Sbzt~X`gaStXwWYofvfX~¹ +¹TRTSVX\WYofvfct´X ÇÉ É & uÉ É xodzHgkmao~´`ÇgaStXwÃTbDgkXmT´XdX ¹ GÔg gkX`gk`TrgkStX0Ã/bgaXm ´X~XDb´ctXwb~maXX`/à rgaS'gaStXwXefsXyx gaXyv' bdcVXd¹ t¹/WYofvfct´X uÉ xo~z~gkmao~´`gkStXwstctWYsV`N¹ GÔg"maXyxXr~X`T`r´dzb`TodsuXz Gx´o~`aX~ĽzuÅ sVctWYsV`0½mkodW gkStX=WYofvfX=WYovtctXy`bzv`aXzvo~sXz GDxoH`XHĽW9ÅJstctWYsV`gao!gaSVX=stSi`arxb `aif`jgkXW=`¹Wxbdz=XJvfr 9MXmkXzHg½mao~W5z=uXxbcV`aX"stctWYsV`/xbdz9b´maXybdvfiXhodsuXztXyv9x´o~`aXv¹ GÔg vfXgaXxgk`/stctWYs Bbr´cVmaX\bzVvstctWYs xodzHgamkod´XmÆBbdr´ctmkXdÀf`o3bd`ztog/gao3cV`aXhgkStX\stSi`arxb cVztrg,` ctzHgar´¼rg"r´`TmkXsbmkXv¹ RTSVX\W=bdrz!WYofvfct´Xwr´`TstmkX`aXzHgkXv XoDÃ@à Str´XwogkStXm,` xbdz uX0½odcVzVv'rz°º"zVztXe't¹ D. J>JLKNMPOQRS.
(91) Z. H! $!"!8. r´dctmkX Ç; q!ofvfctbm"bdmkx,StrgaXyx gkctmaX0vfXyxodWYsuo~`argkro~zÄBrXÃXyvr´z° 8¡V¨ÀVbY`r´W ctbDgkro~zgkood®Å D. . #%+F
(92) ?#% Q!&
(93) .
(94) %! '
(95) *
(96). !"#$% #&'( )# *!" +# "&)%-, /.0+""1#2, ! 3#45 6# ! 7 !# 8 45 *9 !# 3 ! 3 !0 75 *: !0 ! ;$ "!" #3 ! # 3 ! #8 ! <, &0*)"=<, $>5# 0 #$ ?? ??. #&@!"A, ;* !"#. JLK J8JNM.
(97)
(98)
(99)
(100) "!#$%&
(101) ' !"!#$. Zy}. . ??. 0 <, ;* !"#. . 0 #"!. ; 8 - F .! w N!
(102) 0 $ 80
(103) 2()+F( ;(-80@809( XY`SVbd stmkX`aXzHgJb `Xg\odÆstmao~sXmgkrXy`¹ Æb~x,SÂstmkodsuXmagji r`\rzHgamkofvfcVxXvÂb~`hr´zf½odmkW=b `suXxrxbDgkro~z r´z!Xzt~r`aSgkStXz!mkXb´r Xv bd` bdz°¡¨±¡t²¡t³Y½mkbddWYXzHg¹nlnmkodsuXmagar´X` bdmaX\o gaSVX0½od´oDà r´zt%?Hr´zVvt`P; lnmkodsuXmagar´X`Tà Strx,S°xXmagar½ixodStXmaXzVxX0ogaStXwWYofvfXy` `Xggar´ztH`Ä Í É BÉ
(104) Ź lnmkodsuXmagar´X`à Str´x,S¥xXmagar½i£xo~StXmkXzVxX9uXgjÃ/XXz Bbr´ctmkX`3bzv£WYovtX`3`Xggar´zt7Ä Í É ½É Ź lnmkodsuXmagji9à Strx,S!xXmagarVX` bYxodmkmaXyx gTXSVb ro~ctmTo gaStXwDb´dXYÄ Í É Ê uŹ z gTuX0XWYrggaXyv!bDgTgaStX lnmkodsuXmagji=à Str´x,S!xXmgkrX` `ar~zVb`Ço~sXz stctWYs!bzVv'x´o~`aX sVctWYs xbd `abdWYXJgkrWYX9Ä Í É y ÊŹ &('*)#+ ,.-#/1!#02+4"%3156$ 087/10+ 9:087;'<-=315(02)>3@?2?A'*):+2B+25C5(31)*DE/@?F31)HGI'4J1)K/LGL'=GM31):)='*B*-ON;'<DE3PGI'*QR'*+087'*)H+0S+2BB#02+?2?+256315'T3>9 087;'*BO'UDE3PGI'U31)V087;'WB#0X'K/1DY=31+?A'*).B*043#Z(BW+25E315F'U3>9.087;' Z3[B#B=+4YO+2? +02\T/[D]315IJ^'*D]'*)4JI'*5(-O\<D]3PGI'*Q_31)W02)K/15B#D`+2B=B=+4315 9a/1+? Nb)='c31)^/EB#043*ZdD]'*B=BO/aJI'^)='K-#'*+2e1'KG fbgLh[i%hjk1lLm h1fbhbn[mpo1qXrk1lPs;hItuk1lwvLg@xLlIh@vLg@v%k1lwlIgIyLzP{g|a} ~ h1fbhbn[mpork1mq4rk1ls;hLtuk1lwvIg@x@lIh@vIg@v%k[lwlIgbyLza{g|P} ~ gPsn[mwLhbn@t~ f@g[rn*sLs;g@vn[h@mIgo>y[mIk k1lugas;g@lLxIgr;z[%k1lwm@lIh[r;yOs(nLyLyLn@kPr1Ihbn1t{blIg@} 7;'cB=\[B* 0X'*bDp[!#DE"u/1 \Y#'c+25315'`/15(G3[5(? \315'cD]3PGL' g@Ig@l@o1qXrk[ls;hItwh[rIvqvIg@x@lIh@vIg@v%k[lwlIgbyLza{g|L| k[lqvIg@x@lIh@vIg@vhrbvwlIgby@zP{g|P}uvIk gPsn[mIhbn@tL g[rbv 7;'cB=\[B* 0X'*bD[!#-="u/15F 0VY*'<+25653[)*DE/@?DE3PGI'c+5-#/[Ba'`3>9<?A'*e1'O? W9a/1+? Nb)K'<B=+AJ15(/@? '*D`+2B=B#+315 . J>JLKNMPOQRS.
(105) ZP+. H! $!"!8. g@Ig@l@ rk1lshItvbk blLgby1g[rbmut@g@IgIt@1Ihbn@tP{blIgum1g[rgasn[mwIhIn@t g[rIv blIgby[g[rbm g[rbv 7;'cB=\[B* 0X'*bD[!#-=" /15F 0VY*'<+25653[)*DE/@? Q.GI'4J1)K/LGI'KG 3[)T)='*B*-ON;'`D]3PGI'+087C087;'^e[/@? e1'^3*Z'*5F'KG fbgLhi%h[jk1l@m tLk@k h[fbhbn[mwLhIt1IgS~ Lk{bIg@l@mIg hjk1lLm h1fbhbnmork1lshItwk1lwvLg@xLlIh@vLg@v%k1lwlIgIyLzP{g@}S~ gPsn[mIhbn@ t _~ f1g[rIhLt1I g @Lg@l
(106) s Lg g[rIvtLkLk f@gr ork1lPs;hItuk1lwvLg@xLlIh@vLg@v%k1llLgbyLzP{gk[lugPs;g@l@xIg[r;z[@} " 'O? W9a/[+? Nb)='c/15GE5310 4B#0X'=/[DcW9a/[+? Nb)='`3[)VZ(NbDHZ.9a/1+? Nb)='c31)c-a0? .9a/1+? Nb)='S7;'*5087;'cB=\[B*0X'*Dp+2B #5 -=/1BO'` 3>9<b[?A'*!#e1 +256531)#D]/1?DE3PGI'*QW087'cB=\1B#0X'*D JL3'*B<+256)='*B*-ON;'^DE3PGI' fbgLh[i%hjk1lLm tLk@k h1fIhbn[m rk[ls;hIt~ h1fIhbn[mwmn@zPiR~ blLgby1g[rbmpoCt@g@IgLtL1Ihbn1t{blIg h[rbv rk1mq=y[mLgLhPs(1Lhbn@t{blLgk[l L{1sb 1Ihbn@tP{blIg%k1lzmbtL1IhIn@t{blIg|P}m1g[r blLgby1g[rbmlIgbyLzP{bgwm1g[r%gasn[m%yP{zLz1gbyLygLtIy1gwgPs(n[mwIhbn1t{blIg g[rIv g[rIv g[rIv f@g[r oy[mbk k[lugPs;g@l@xIg[r;z[@} DM'*B=B*/PJI'* B^b3*[Z!#'*"5b Z(NbDHZd/15G-a? 31BO'K Z(NbDHZd-=/15F 0UY#'<Ba'*5(G043M087;' Z7b\1B=+4-=/@?Nb5;+0+25087;'cB*/1D]'c+25B#04/15(0 g@Ig@l@k g[r L{1sb %vIk blLgby1g[rbmz@tLkIy1gL L{1sb m1bg[r%gPsnmwIhbn@t g[rIv g[rbv N! 54. 67809:'/+,
(107) < 03#. +F.
(108) #%$&
(109) ' 08$02(-23 +
(110) .
(111) E E ! "$#%!'&(*)+ E )(!#-,-.0/21 #3)4*)52526578/9.!.!-;:<.!=)(+?>8@'/2520#-!&*)(+?ACBD1E.!GFH)I E /2&'13)(5 E I'1-1
(112) =I".!/21-&0.!-6+J)(!LK-=I5M)4!=KN) E 52<I6)(5OAQPRLI*-=I*S'=K$.!
(113) #-!#@G.!/2 E 78/9.!;)UTV#-,
(114) +V# E +V<K%65WFX!'+Y)(1 /M+V#-52/XI"/2.Z!#-! E 61E.*)4.!/M1WA JLK J8JNM.
(115) Z.
(116)
(117)
(118) "!#$%&
(119) ' !"!#$ N! . Q!. 67809:'/+,
(120) <;>=?0Q' +FQ.
(121) '!/ I6)4.!/M1 .!=I!
(122) 1-/ <,- E FX!'+ )(1 %#-5M/MI/9.!6#%! E 61E.*)(.!/21 F .!
(123) 0613I"<K-/21
(124) &U/ E 5M6)'K-/21-& .!
(125) ,
(126) /25MK F !+ .!- &'52'
(127) )5 )(,-.!'+0)4.!'1N)(1N) E .G*)I".!/2'1;'1?78-/XI!/21-F !+0)(.!/21 )(@',%..!-#%!'#@G. ?/ E S 6#-.=A
(128) 8) E .G*)'I".!6KV),-.!+0)(.!1 / E -.*)/21-=K 78/9.!0)#
(129) #-52/XI)(.!/2'1V(FW+V/21-/M+V/ E )4.!/M1 '1L.!
(130) Z&'523)5-!=)'I".!/2 )(,-.! +0)(.!'1$)1
(131) K$/21 -/MK-/21
(132) & E /M&13)(5 E 78
(133) /MI!?K%'1 .8/21E.!GF "! .!L.!
(134) Q !/ I6)4.!/2'1 (F .!
(135) Q#-!'#@"G. EA W7 +V.!-<K E I6)1U.!
(136) 61U@)#-#
(137) 52/2=KU.! I*-=I!S .!
(138) #%!'#@G. EA
(139) E .8'1- / E .! )#-#
(140) 5 V.!
(141) '!/ I6)4.!/M1 0' E ! 81 .!
(142) / E ) E .G*)'I".!6K ),%.!'+0)4.!'1WA
(143) E =I13K 1
(144) VI"'1 E / E . E .! I*-=I*S?.!- #%!'#@G. /21 </ E ,3)52/ E )(.!/21RF .!
(145) ) E .G*)I".!=K?)(,-.!+0)(.!'1U78/9.! .!
(146) N.!E'5HA
(147) E / #%!'#@G.!/2 E K% E I"!/2@=K /M1 :<,
(148) E 6I".!/2'1 -A ?
(149) )4'$@61 "!/ =KR78/9.!);'1
(150) $#
(151) ,-+V#R+V<K-65FX!'+ )1 %#
(152) 52/MI/9.Q!#-! E 61E.*)4.!/M1?78
(153) !/9G!6526)1E. E /2&13)5 E 7 !
(154) /MK
(155) K%61)67Z) EA
(156) =)I*#%!'#@G. 7!=I"*K /M1U.*)-5M L.!
(157) E / 6F .!
(158) ) E .G*)'I".!6K?),%.!'+0)(.!1WA 6+V( E / / E /21? <.! E A . . .
(159) . . . . . . . . . . . .
(160)
(161) . "!#. . . %$ '&. . )(. $. '*. ,+. .
(162) @
(163) "&"
(164) !
(165) @
(166) 7 I
(167)
(168) . . 8. -. *. . . @$ 80.
(169) ' *8"
(170) *8. Z ~ Z~~fZ d~~~d Zy}d } + +d~} R bt´Xw}*;n] Xyxb´´rzt&;n`r Xwod8gaSVXbcfgkodW=bDgkodz!bzVv oFrg,`TWYrztr´WYr´`kbDgkro~z . . /M&,-! E
(171) =7 E .!
(172) ),%.!'+0)4.!'1'%.*)/21
(173) 6K$F !+ .!- 0:E.!=)+ A /25M"613I"<K-/21
(174) & @)(FX.!Q!6K-,3I*.!/M1 ) 13K;
(175) /MK-/21-& F )(525 E /2&'1
(176) )5 E E )(F ( ( )(13K [ AVP =)SN-/ E /2+L,
(177) 5M)(.!/2'1 T
(178) ) E @661?)(#
(179) #-5M/2=K$'1$.!- ),%.!'+0)(.!1 (F .*)-5M H#-!'#@"G. %.! !=K%,3IE04/[N .G*)1 E /9.!/M1 E A 1
(180) <K-8/ E /21UK-&*)'K%=K 1
(181) !+0)(53 ! E I,-+V<K%Z/2FW/9. / E .!-Z.*)(!&'".FW) .G*)1 E /9.!/M10/M1
(182) I52,3K%/M1-& 6+V/ E E /M10F E /M&13)(5 K%6&*)K-=K
(183) 1-!+0)5 (Z! E I,
(184) A P , E . S 6#%.Z</ E /2-5M E .*)(.! E .!3)4. I6)1 )'I6I" E E .! E .*)(.! E FX!'+ 78
(185) /MI! E /M&13)(5 E ( ; _ )(!6+V/9.G.!=K A mIh[{ %#%! E E E 1
(186) V)I".!/2'1 A PRI!
(187) =I!S .!
(188) E /2&13)5')(52 ?/ E +V/2.G.!6K )(1 6 61 1<,
(189) + @" F.!/2+V E @"F !N@6/M1-&R/211-!+0)5 ! E I,
(190) K-6&(*)'K%=K$+V<K%'A B13K%6=K 7I6)10 E ! 8.!3)4.Z)(1U 61V1<,
(191) +L@ F 6+V/ E E /2'1UF .!
(192) ')(52 8/ E 1
(193) =I E E )( .!L)'I E E .! G.!/MI )(13K -)1
(194) K$)(1$<K-KU1<,-+ @ F 6+V/ E E /M1$(F .!-)52 / E 1-=I E E )4 V.! )I E E .! G.!/MI )1
(195) K A (. /.. 0
(196) . 324562. 1. 7. 98. 47. 7,1;:. $FE. J. <. 1. 4=5. %B DC. >@?A. G$HI1. "1.
(197) 1. 7. 47. 98. ,K. 7L1:. M<. 45. . >@?A. N1.
(198) 1. -. O@P 1 ODQ 1 OSR 1 O@T 1 O@U OSW. OSV 1. -. O@X. Y. Z. / .
(199) )1
(200) K UK-=K%/MI6)(.!=K .! !/ I6)(.!/2'10I)10@ E ,3I6I E F ,
(201) 525 V, E =K .! !/9F #-!'#@"G.!/M E F !+ .!- :E.!=)+ A /25M" I'1E.G!5 E E .!6+ I) E E .!,3K OA
(202) /M+V#@"*)(.!/2 E .G!,
(203) I".!,-!6K )13KR+V<K%,
(204) 5M)( )(*I!
(205) /9.!=I*.!,-!UF ?61
(206) I<K-/21-& E / E #%*)'I".!/MI6)(5.!?7Z!/9.!$.!
(207) E #@=I"/ I6)(.!/21WA P 03)= E /2+L,
(208) 5M)(.!/2'1 .!E'5HA /M1E.!GF )'I6K .!
(209) $#-!&*)+ 78/2.! .!
(210) / E
(211) 652#%F ,
(212) 5Z/21 #
(213) 5M) -/21-& )I".!/2'1 #3)(.!- E !=I(*K-=KU78/2.! U/9F ) E #@=I"/X)(5 E ! "8',-.!#-,-. E /2&'1
(214) )5W3) E @61 6+V/9.G.!=K A PR )(! 7(!S</M1-&V'1N) E %13I
(215) )(G. E K- E I*!/M#%.!/2'1F .!-LI) E E .!,3K EA PR <.!61
(216) K$.!
(217) )(13)5 E / E .!=I!
(218) 1-/ <,- E .!.!- E .!,3K 0F #-!'&(*)+ E 78/9.! K
(219) )(.*) OI,
(220) 1E.! E %')(52,
(221) =K0/21
(222) #
(223) ,%. E )1
(224) KU)(!/M)(
(225) 52 E <F (!6+V E .Z.!-!=)I*
(226) )
(227) 52 E .*)(.! E #3)I I+V#
(228) ,-.*)4.!/2'1$FX!'+ )(1?/2+V#
(229) 52/MI/9. !#-! E 61E.*)4.!/M1?F .!
(230) 1
(231) /9.! E .*)(.!+0)I*-/M1-'A )[M\
(232) ]9
(233) . . M_^`. 3[M\
(234) ] a. bdcbde6f. . 0
(235) . 6. . . gB'& C. M1. . h
(236) . F^i
(237) . j^. . i^` . 9. @k. 9. 3E. . 1. . J>JLKNMPOQRS. . HI1. .
(238) Z. H! $!"!8 . ' *$
(239). .
(240) $ !48 ! 88$
(241). . . . 0 8 ! . 8. 8
(242) ' $
(243) I
(244)
(245)
(246) *8"
(247) 8 $. 8P. sVmao~sXmgji°Z Í &Î É DtÎ É Î Z d }d} + + É y ÉÂÉ É uÉJ Ê Í D y BÍ & 8 É sVmao~sXmgji Í &Î É DtÎ É Î Z D} ~tZ É y ÉÂÉ É uJÉ Ê sVmao~sXmgji9} Í & Z + ++ & É uÉ & & 8 É sVmao~sXmgji + Í &Î É DtÎ É Î } Zyd } +Z} É y BÉ & uÉ sVmao~sXmgji Í &Ç É É ZdZy} Zy~fZ }~d +~ & É uÉ & & 8 É É &¼ É & 8 É d & &¼ É Í É É JÉ Ê sVmao~sXmgji Í JÉ Z d} ~}tZ & Í É R bt´X + ;Æ] Xy`ctgk` bdo~cfg gaSVXbV`gam,bdxgar´odzodF¡V¨±¡t²¡t³9XzVxovtrztH` 6D "/ A %!/X)(5 ;0X'=/[D Y#3[+?A'*)`-#3[5(02)K31?B4Z'=-O+ ,W-=/@02+4315Z()>3LYa?A'*D ,
(248) &, E . _31)*DE/@? d'O0873PG1BR9a3[)Q#5G1NbB#02)*+/@? WZLZ? +4-=/@02+315;B Z: T A A ',3)(52/ A E E ,3I!
(249) LA $)1
(250) K A3K%:%/2+V'1-67;' BO'*) /15N;/1? &;'*)*B=+4315 " ('=-#7I5;+4-=/@? ' Z31)*0 5 Q VZ()#+? %. . . . B'&C D. N1
(251) . J. . . . 1. J. . M1. . 1
(252) k. @1
(253) &91. J. 1. . J. B SC. ). @. &$. &M&. "!. [\
(254) . #. "$&%('. :<6)(5 E .!- #3)(&' )4. E.G.!# 47Z7Z7A /21-!/M)%A FX (+V6/ ( !/ I6)(.!/2'1 A A 61< 1
(255) / E .! )(13K A W Q,-!1
(256) /MI H\LYO)#+4G6G1\[5/1D`+4-=/@? B=\1B#0X'*D B 087;'K31)#\ /15G 087' ? /155bJL/PJI' )K/[5;B*/L-a02+4315B^3>9 N043[D]/@02+4- R315(02)>3@? Q - [Q /[\ LA A G LA Q'1E.!
(257) /2 7;' ;\[5-#7b)>3153[NB W)K3=J1)K/[D D +5bJ /15IJL/PJI' ^' B=+AJ15Q F'*DE/15(02+-OB#QM# DHZ?A'*D]'*5(04/@02+43[5 (-O+X'*5-#'M3>9 R31D:Z(N0X'*) V)>3=J1)K/1D`D +25IJ6e[31? 1Q5 QRZ@Z Q :<6)(5 E .!- 7?#3)(&' )(. E.G.!# 47Z7Z7A /21-!/M)%A F 4+V6/ 4 E .!!65 E A Q)52E7Z)'I! A ) E #
(258) / A ) %+V'13K 3)(13K C A /25M),
(259) % K 7'^B=\15(-#7b)K315(31NbBEG@/@04/ U3 Z()K3=J1)>/1D D`+25bJ ? /[5bJL/PJI' V)>3P-#'#'KG1+5bJ1Bc3>9<087;' WQ - [Q F' Z0X'*DEY#'*) -O+X'*5(-*'c3>9 R31D Z;N0X'*) W)K3=J1)>/1D D`+25bJ]e[3@? 1Q5 QFZLZ Q U:@A /25261<@!& N043[D]/@04/1QW? /15bJL/aJI'*B^/15G /L-#7b+5F'*B 3 52,
(260) +V K-/9.! E ;D +2087 /15(G W+?A'*5 Y#'*)J '5252=I".!/21 WNb)='^/15G VZ@Z? +X'KG /@087;'*DE/@02+4-OB C B :-: -A A A )1-6525X)(S</ E )(13KR:@A AW:%+V52S') ' *Z()K'*B#B=+43[5;B=Q,R5+0X' B#04/@0X'cZ()>3P-#'*B#BO'*B/15(G 7b)='='cZ;)K3LYa?A'*D`B 39`' ONb+2e[/@?A'*5(-#' # 5P9O31)*DE/@02+4315 /15(G R31DHZ(N04/@02+315 ?) %A *). ,+.-0/1+.231 &3. [M\
(261) ]9
(262) . B D = C. '&$45$ 6 8. . ?> 9 A@. J. EDFDFD. 98 :;:. -
(263) 1Q@. <:. :. . 0@e . G. R@. :. K. 1CB. #. B $CP@. 6$4&457. IH5J J ;KLJH5J; MJN7 F.
(264) S. @1. (. %,. UT. G. %. f". O$4&45'. WV. ZT. %[$4. K. 3]\. X. Y. _^a`b M$J \. $;4&4 \. 8.
(265) . B S Cd. e. 1*>. N19>.
(266) k. . . B D C. l. B .SC >. k. 3. J. 0. I1. c:. gf. 0. nT. 9q. A:. Z$4&45$&%. G. 0. j^a`b M$J \ k$4&4 \. \. 1. Et. K. EDFDID h`;4 4 ;K($;H5'J M$;H \ ' I. %,$4. 1
(267) k. <:. *>.
(268) 1.
(269)
(270)
(271) %T. iT.
(272) 8 :;:. "GkGr. ]G. J. 1. Z. 1. J. k. l,+. J. 1l. T%6m. -ko>, pl.
(273) 1
(274) &M.D$. P *%
(275) D. . Es. =1u; E &@H. +. g&;. JLK J8JNM.
(276) ZD.
(277)
(278)
(279) "!#$%&
(280) ' !"!#$. q2 q2. tau tau. tau tau tau tau tau tau. !valve !valve. q3 q3. !valve !valve tau tau tau tau. tau tau tau tau. q1 q1. tau tau. tau tau. tau tau. !valve !valve. tau tau tau tau. !valve !valve. q4 q4. !valve !valve. !valve !valve. tau tau !valve !valve tau tau tau tau. q6 q6. tau tau. q5 q5. !valve !valve. !valve !valve tau tau. tau tau. q0 q0. tau tau. tau tau. !valve tau !valve tau. !rescue !rescue. !rescue !rescue !rescue !rescue. !normal !normal +!degraded +!degraded. q7 q7. !normal !normal +!degraded +!degraded !normal !normal +!degraded +!degraded. tau tau tau tau. !rescue !rescue !rescue !rescue. tau tau. r´dcVmaX ;.EJrXÃ ½mkodWgkStX 3 -±4=>1² 3 ;dm,bsVStr´xbMXvtrgkodm A )/2& )13K A ZA- )( )1WA 7b)K'=' Z/1)*02+02+4315 )='2,5;+2D]'*5(0./@? JL31)#+087bD < P3[N)#5/1?3>9<-=31D:Z(N04/@02+4315 <A AEK% :</2+V'1
(281) )(13K A E E ,3I!
(282) R3[DHZ31B=+02+43[5/@? F'*DE/15(02+-OBT3>9 VB#0X'*)K'O?/15(G &;'*)*+ ,W-=/@02+43156YO\ R31D Z3[B#+202+4315/1? 'KG1N-a02+4315B R3[DHZ(N0X'*) +GI'KG &;'*)*+ ,.-=/@02+4315 =I".!,-! Q(.! E BD1 '+V#-,-.! :-I/261
(283) I D. B D u Cd. a>. P. M.;=SM;u91 & ;u. l. B D Cd. J. #-#. -A.
(284) ). F$$ & $&D$ 1&;$. J>JLKNMPOQRS. /1
(285) . NK. Ep. 1. .. 5. 1. M1CG. G. 1. *. [D. *%9. 1. G. gk. 0. Zu&u91.
(286) Zy. H! $!"!8. ' z1Iy[sbj[snPr af
(287) .
(288)
(289) 4 * £ Z. F 6
(290) %. F I=T E %+L
(291) +V/21 )(13)5 E E =)5 : ,-13K% .!
(292) ZF (!+ (F@FHI=T),%.!'+0)4.*) #-!<K-,
(293) I=KLFX!'+ <A . %#
(294) /MI6)5 )(13)5 E / E +V.!
(295) <K E I+V#-!/ E E +V/21
(296) /2+V/ E )(.!/21 E !)(.!/21 /MK-$#-! &*)+ E -#-!<K%,3I". %-/XK%/21
(297) &V)(13K$ <,-/2')(5M13II!
(298) 6I*S</21
(299) &%A
(300) V+V/21
(301) /2+V/ E )(.!/2'1 / E !65M)(.!/2 .!-/ E /M+L,
(302) 5M)(.!/21RFZ!=)I".!/2 U),%.!'+0)(.*)$'-.*)(/21
(303) =K FX!'+ E %1 I*%!'1
(304) , E 5M)1
(305) &,3)(&' %A B1 .!-/ E
(306) / E /2+ ,-5M)(.!/2'1V.!
(307) Z/21-#
(308) ,-. 6 1<. (F .!-Z.G*)1 E /9.!/2'105M)@5 / E .G!=)(.!=K E %+ @5M/MI6)(525 U) E )#%!'#@ E /2.!/213)5 F (!+ ,-5X) H61
(309) I<K-=KU) E A CDCDE "A
(310) (Z/21 E .*)(13I .!
Documents relatifs
constat, unanime en Colombie, que la résolution des conflits par élimination de “l’opposant” est l’une des caractéristiques de la violence nationale. Première
Automatic test data generation, structural testing, constraint solving techniques, global constraints 1.. Structural testing techniques are widely used in unit or module testing
Trois autres échantillons du pool CHAT étaient également gardés au Center for Disease Control et ont été inclus dans cette analyse (CHAT pool 13, CHAT type 1 Wy4B-5, CHAT 1FL)..
Un habitat de La Tène moyenne et finale à Berry-au-Bac au lieu-dit “ Le Chemin de la Pêcherie ” (Aisne).. Jérôme Dubouloz, Michel Plateaux,
It is obvious that the steel showed the plastic strain memory effects at each test temperature, in other words, in spite of the hardness of the steel cyclic stress,
Les cités et leur territoire d'influence sont administrées par de puissantes familles, celles de l'aristocratie terrienne et marchande, qui tirent leur légitimité de
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
In this paper, we have defined the steady-state control problem for MDP, and shown that this question is decidable for (ergodic) MDP in polynomial time, and for labeled MDP