Towards Verifiable Device Drivers: An Approach based on Domain-Specific Languages
18
0
0
Texte intégral
(2) INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE. Towards Verifiable Device Drivers: An Approach based on Domain-Specific Languages Fabrice Mérillon Laurent Réveillère Charles Consel Robin Hansen Renaud Marlet Gilles Muller. N˚3809 Novembre 1999. ISSN 0249-6399. ISRN INRIA/RR--3809--FR+ENG. THÈME 2. apport de recherche.
(3)
(4)
(5) !" # $&%'$)(
(6) ( " "*+
(7) , -. ' % ,/0 % 1324( .
(8) 65 8% 7,9 7 . <: ;>="?A@CBEDGFIHE?J@LKCKLMON P;>Q"?ADEN3R8STHVUODE@LKCKLWE?JD XZY ;>?AKCDE[ X MON [JDEK S\MO="@LN^]
(9) ;>N"[ADEN STD_N`;>Q"abFb;>?AKCD_R cd@CKLKCD_[ FeQ"KLKCD_? fgihkj4l,mnporqksutvlwyx_zVt|{tvlkw l}~{kVwv{kuwEj x_wyt|Eul xVl}.rd ~u>xV}llJ{gulk{guls,_V_ V¡¢np£~x¥¤Vlkj u¦l§J¡V¡V¡n'§k¨4iVzVlJ. ©\ª"«A¬k¥®u¯¬_° ± wy}gux_uzVg²>lk¦tyigulkwulk¤tv{klA{kxVj4l\x_},¥}d³´¦Vs_}¦tv{4V{l\Vsi¦lAEutvl4³µ_},¦lkwvlA_¶lJ x³¦ty¤_lkk·Owvt¸}}wvlZix_zV¦lA¦gi_ >lklAsj4_l}x
(10) tyj4u¦x¥¤Vl}gul lA¤VlAwyx_uj4lksE}rxV³¹¦ty¤_lkkºf-xx
(11) x³»}lAs·3}¦gutv lA¤VlkwvxVijZlAsE}r{x_sitv¶}¦x³¹ulA{xtvsuz
(12) gi¼¦ltysE}¦t|{k_{tvlAA·> VlAdx_s¢j utvzVux_ix_tvsi{x_j4uwylk}l4x{½ j4lksE}¦}tvxVs·V}xlk}lk¦j4tysil.gux¥¼¾}¦xxV>lk¥}l.lA¤tv{klVº"fgulks·EV¦¶lAj, uwvE½Cwvlk¤_lkwxV>lk¥}¦tyx_si sulklJ}x >l.i¶lJ }x
(13) tvs_}¦lkV{}¼.ty}g¢}gul4lk¤t|{l_º,fgulAl,wvx¥¼½¿wylA¤Vlkw xV>lk¥}¦tyx_sij VÀVl}gul4lk¤t|{l4¦ty¤_lk³µtvwvusu¦lAVi uwvl sTu¦lk¤_lksE}³´l}\ix_lA¶}¦tylJ ³´x_jÁ lAtysiz4{gilA{ÀVlJ3º fgut| i>lku¦lAlksE}¦ wvVsuzViVzVl_·_siVj4lATÂlk¤tvwL·uulAt|{k}lAT}x4lkÃisutvsuz,}¦gulr³´usi{}tvxVsiVw>tvsE}lA¶³µ_{lrx³ lA¤Et|{l_º.dxV¦lu¦lA{t|lkwvV·iÂlk¤tvwÄtvj ~}¶>lA{kt¸³´tvsuz4}gilV{A{lJj4lA{gsut|¶j A·u}¦gul}lsiw|ÅVx_}.x³ u}¦u·uVsi
(14) lAgiŤtyx_¦Vwix_lA¶}¦tylJtys¤Vx_wy¤_lATtysxV>lk¥}¦tysizZ4lA¤Et|{l_º fgul >lksulkÃu}<x³>xVu<Vuu¦x_V{g,tv"}¦gi¥}J·xVs{l.{x_jZitywvlA3·EÂ~lA¤EtvwulJ{ktv}tvxVsZtvjZiwylAjZlAsE}¦<VstvsE}lk³µV{kl ¼.gut|{g4jZxlAwv¹s4t|lAVwytvÆklJZulk¤tv{kl~sZV i¶}V{} }gul~gi¼¦l tvsE}¦tv{AV{ktylJkº ÇsuwvtyÀ_lzVlAsulkwy½¿uu¦xE¶l w|suz_iz_lV·3Â~lA¤tywVwywvx¥¼r
(15) ulA¦{¦ty}¦tyx_sÈ}¦x
(16) >lZ}gux_x_uzVgiwy¤VlAtyÃilJ3É}¦gutv¤_lk¦t¸Ã>{k¥}¦tyx_sÈzV¦lA}wvdtyj4u¦x¥¤VlJ }gilZ¦¥³´lk}
(17) xV³`}gul4{x_j4j,usut|{k}tvxVsi¼.ty}gÈ}¦gul4lk¤t|{lVºfgul4lAtvzVsÈxV³Â~lA¤Etvw"tvr i_¶lJdxVsGÀVlkd{kxVsi{klk} ¼ lrt|lAs_}¦t¸ÃlA
(18) tysdVsiwvÆktvsuz,}¦gulx_j4Vtys
(19) x³`lA¤Et|{l¦tv¤VlkAº u`w|suz_iz_l¹gV` >lklAsZ¶lJ,}¦x¶>lA{kt¸³´ZwvVz_l¹suj lA<x³O Êlk¤t|{lJ`tys{wvitvsuz`}gilk¦sul}J·_¤t|lkx· xVusi·tysE}lA¦u}J·iÂr ± si8j4xVil{x_s_}¦x_wywvlkAº ËdÌEÍOÎÏ,Ð ¥ÑÄ«_° lA¤tv{klutv¤VlA¦A·ÂrÒÄ. Ó|Ô3ÕÖ¿×AØÕ.Ù Ú|ÖCÛCÜÝ ÞßÅàâáãLäáCä¶åãµæ¿ßàâá3áCçJèÅèéãµêLäëàâìè¥åã´êÄíkî~ÞßÅéï.áCéìðçÅñ êLàâï.äëÅàòå¹çÅìJëÅäãêLßÅä<æéìkêLãLåæê¹ó¶ôôõ3ö÷Jóø.
(20) Á
(21) . ( . Á 8 ( ( * 9
(22) . # 98% (
(23) ( " "*8¥ % 9 k. Á %
(24) 7 7 .
(25) «
(26) ° "xVuuty¤¦lw|
(27) {kVulksi{kll>¦qksuqAl8w|VEulkwvwvlZwvlAr>qk¦tyiguqk¦tvEulJ¶x_¶}¦lksE}ruwvlj {guq_· wvlAitywvx}¦lAlTqAtvuguqAt|EulTx_ty¤_lksE} }¦l\ixuty}¦,l\uwvilAs²uwviut|lAjZlAsE}Aº"xVu}¦Vs_}J·Ä>lk¾ul u¦xVz_hJÄx_sE}<q}q³µty}¦<>xVij4qkwvtvxV¦lk"wylAuqA¤VlAwyx_ulAj4lksE}Aº "xVu<qJ{¦ty¦l.us4utvwyxV}l_·_tvw³µu}<}¦xV xVu¤_lksE} {x_j4jZlAsi{lA~iV{kxVj4u¦lksi¦lwvl³´xVs{}tvxVsisulkj4lksE}È>qk¦tyugiqk¦tvEul_·ilks¢qA{gut O¦Vs_}~}¦sE}r utylAsGEulj w usul x{kuj4lksE}¦}tvxVs¢Vj, utvzV ,xV tvsi{x_jZiwyhk}lVº,<siut¸}¦lV·Äx_utysE}lA¦VzVtvŤ_lA{wylZqAtvuguqAt|EulV·3tvw"³µu} ¦lA{x_u¦ty 4usȶ}wyllix_zVj4j ¥}tvxVsTux{gululw V¦¶lAj, uwvlkiAº¹¹lJ.xV>qk¥}¦tyx_si iV¶½¿suty¤_lAVT¦lksilAsE} wvlutywvx}¦lV¦¶lAÆrtvwvwyt|¶tv uwvll}sul>lk¦j4l}¶}¦lksE}i_.l¤VqAtyÃilk.lJu¦xVu¦tyqk}qJ ul u¦l}¦qVº ¹l}V¶}¦tv{kwyl.iqJ¶lAs_}¦lus wvVsuz_VzVl suxVj4j4q~Âlk¤tvwL·ExVsE}<wvl u}lJ}ulqÃisity< w tysE}lA¶³µ_{l³´x_si{}¦tyx_susulkwvwvl usqAtvuguqAt|EulVº<wviu¦qA{ktvqkj4lksE}J·Â~lA¤Etvw<¤t|¶ l ¶>qA{kt¸ÃilAwylJrjZqJ{kVsutvj4lA V{A{hJrV! ¢x_susuqAlAA· wvlku}l
(28) l}4wylAu t|¶>x_t¸}¦tyx_s·<tvsit EullJ,u¦xVitvq}¦qAZ{xVj4>xV}lAjZlAsE}¦wvlA,lAwyt|sE}4{lAZx_susuqklJV ³´xVs{}tvxVsisulkj4lksE}~>qk¦tyiguqk¦tvEul_º "Ò Å¤¥sE}¦VzVllGsix}¦lÈiux{guldlJ}
(29) _# usild³´xVt|TEulÈw|¾lJ{ktv}¦tyx_s Âlk¤tvw us^>qk¦tvuguqk¦t|_ilÈ q}¦q{x_jZitywvqkl_·uwv {kxVj4uwvl ty}q>qk¦tyugiqk¦tvEult|¶% $|}.ulk¦tvhk¦lusultvs_}¦lk³µV{klV i¶}ty}ll}~t|qJwvtvqkl_º ¹xVsE}¦¦Vty¦lkj4lksE}ÄV! xV>qk¥}¦tyx_si- V¶½Csutv¤VlJ uswvVsuz_VzVl<z_qksuqA¦Vwyt|}¦l{x_j4jZl·JusullA¦{¦tyu}tvxVsqJ{¦t¸}¦l lksÈÂlk¤tvw->lk&} }¦l¤_qk¦t¸ÃqkluVsi.wvl,q}tvwLº~¹lk}¶}l¤VqAtyÃ{k}tvxVsu>xV}lisÈz_Vtysdl,' u¦l}¦q¶tvzVsutyÃ{A¥}ty³ uVsiwylJtysE}¦lkV{}¦tyx_si.ŤVlJ{~wvl>qk¦tyugiqk¦tvEul_º ÒlJ8{kxVsi{klk}{wvqA¶i8wvlA¦Eulkw|
(30) lA¶}8³´x_siqkl w| {kxVsi{klk}¦tyx_sIlÂ~lA¤EtvwxVsE}q}¦q¢t|lksE}¦t¸ÃiqJ
(31) zV) (V{*l usul\Vsiwv¶l ¾uxVj tvsul\lJutvwyxV}lA,l qAtvuguqAt|EulVº
(32) £x_iŤVx_sir}tvwvtvqTÂlk¤tywx_u,qJ{tyÃilk,ul sux_j, u¦lk! ¢qAtvuguqAt|EulAj4xVsl ·3}¦lkw|Eul\lA,{xVsE}¦' +_wylAu¦r`}¦gulk¦sulk}A·" ± ·-¤t|qkx·-¶x_s·Äul xVu¦tv lk}~ tvsE}lA¦u}¦tyx_sikº , Ð ¬A« Î .¯ - ° utvwyxV}lJlqAtvuguqAt|EulV·w|siz_z_lAqJtyqJ.
(33)
(34) !"# $. %!&'%)(*(+ , -. /&013243#&6587*(9 ;:<3&>=*?6=>. . % -" 9 " % ÈVsE
(35) uiwyt|si{klA¦lsux¥¼elJEutyilJd¼.t¸}¦gdu¦x{klA¦¶x_¦CB ,DE=>DF {klkwvwyiwvVugux_sulAA·j }~{kuA·{Ak·ºAºkº G s²j ssulk¼>lk¦tyigulkwlk¤t|{lJVl\ >lktvsuzlk¤_lkwvxV>lA3º¢ lA¤tv{klAZ¦l8w|xGÈut|wvlk¤Vx_wy¤tvsuz ¦lAiº\fut|{kVw`l uj4uwvlAVl4¤t|lkxÈ_u}¦xVk·3¼.gitv{g²{x_j4l xV},},T³´sE}¦tv{4i_{ l Bµlk¤VlA Hj4x_s_}¦gi G }x8j ¥}¦{gÈ}gulsulklJu~xV³<lk¤_lkulkj siutysuz8{xVj4uu}lkrz_Vj4lAAJº I sGi{gG\{kxVj4lk}ty}tv¤VlZ{xVsE}¦l }A·}tvj4l½C}x½ j ¦ÀVlk}<tv¹lA¦¶lAsE}t|Lw KÄV¶xxVs\_silk¼ lk¤t|{lt|<¦lA_V·E¦ty¤_lk`sulklJ4}x, l¦VutvuwyZŤÅVtyw| iwyl}¦xlksiV uwvl iuwyt|{k}tvxVsi }¦x4l uwvxVty}ty}Aº ± lA¤Et|{l¦tv¤Vlkt|t¸}¦i¥}¦lA8 lk}¼¹lAlks
(36) }gululk¤tv{klsi8}gilxV>lk¥}tvsuz4¶¶}lAj ÀVlAsilkMw B´x_ty¦lA{}wvTtvs }giluuwvt|{k¥}¦tyx_s,³´x_j4Vwywu}¦lkj GNº I¿}<tv<{kty}t|{kVwutylJ{l.xV³O{kxu*l K-j4t|{kxVj4j,isutv{A¥}¦tyx_s¼.ty}g4lkty}gilk<lAsi j Åd{¦lA¥}¦lj ¥x_u¦xV iwylAj4AºsÈxVsulgis3·O}gul4¦ty¤_lkr{ksGtysi{kxV¦lJ{}¦wy
(37) il,}¦gulZulk¤tv{klVsiGt|¦ uwvl ty}Aº s
(38) }gilx}gilk.giVsi3·}¦gul,lA¤Et|{l¦tv¤Vlk.j Å\j4t|¶¶l}¦gullJ¶x_u{lA j VulŤ¥Vtyw| uwvl }gul4TVsi {Vg\}¦gul¶}lAjº fgulAl\t|}¦giVsÊV{k}lTsulklJ³´xV xV}gÊixi{}tv¤t¸}siʳ´l} tysÊulk¤tv{klT¦ty¤_lkZlk¤_lkwvxVuj4lksE}Jº Ox¥¼ lk¤_lkJ·E}gut|sulklJ
(39) tvuQt P\{iw¸}.}¦x4¦¥}¦tv¶³´V·u³´xVlk¤VlA¦Vwi³´isiuj4lAs_}w¦lA_¶x_si R,K S
(40) Ì TVU ¯ Ì «® Ì ¯ Ð XW - >Ì YMZ fgulrlAtvzVs x³ulk¤tv{klt|¹u lJ{}<}¦xsuj4lk¦xViA·_xVj4l}¦tyj4lJ{x_sE}Vt|{}¦xV¦ {x_si¶}tvs_}~i{gG_~>lk³´xV¦j si{kllJEuty¦lkj4lAs_}~Vsid i_{ÀE¼d{x_j4i¥}¦ty utvwvt¸}_º ± 8lJ¶iw¸}J·i}¦gulixV½ zVj4j4tvsuztvs_}¦lk³µV{kl~x³ ,lA¤Et|{ltv xV³»}lks
(41) ż.À¥[ KÄ{kxVsE}x_¶}¦lA VilJtvsuzj4xlAA·¦VsixVj iV¶}¦t¸}¦tyx_sutvsuz x³`lA¤Et|{l¦lkz_tv¶}lA¦A·xV i¦{u¦lrtysuty}t|wvtvÆA¥}¦tyx_s
(42) lAEulAsi{lJk·3ºAºkº S
(43) Ì TVU ¯ Ì « ® \ Ì U ] ¯ Ð XW - Ì ¬ Ì - Í Ñ Ð ¯ ^Ì ] ¬ Ì Ñ Z f¹ut|{kwvwvV·~Vs^tysu³´xV¦j4VwlJ{ktv}¦tyx_s^x³}¦gul¢lA¤tv{kl B´¼.¦ty}¶}lAsGtvs Tsi¥}¦uw wvVsuzViVzV l G.t|}¦gul4xVsuwvdx{uj4lksE}¥}tvxVs Ť¥tvwvV uwyl}x8}gulZu¦xVzVj4j4lk¼.¦ty}tvsuz }gil~lk¤t|{l~utv¤VlAAº fgulwvx¥¼½Cwvlk¤_lkwus4gutyz_g½¿wylA¤Vlkw{xVs{lku}¦<Vl.z_lksulA¦Vwywvtvs_}¦lk}¼.tysilA[ K"{x_jZjusut|{k}tvxVs j4lA{giVsut|¶j A·>igEtv{Aw"uw|V{klkj4lksE}x³¹u}¦_ B´¦lkz_tv¶}lAw|ÅVx_} G·Olkj Vs_}¦tv{AkºÈxV¦lkx¥¤VlAA·i}gul x{kuj4lksE}¦½ }tvxVs j Å ¶l
(44) È}¦lk¦jZtvsux_wyx_zV¢}gi}4{giVsuzVlJ³´¦xVj x_sul8lA¤tv{kl8¤_lksix_}¦x Vsux}¦gulkJº²¹x_silAEulksE}¦wy_·< lA¤Et|{llJ{ktv}tvxVsTtv¹x³»}¦lks8Vj, utvzVixViA·_tvsi{kxVsitv¶}lAsE}A·tys{xVj4uwvl}¦lrVsi\lA¦xVsilkxVk`º I s\³µV{}A·E}gilk¦lt|six ¶}lAj ¥}t|{r¼ Å4³´x_}gulg¼ VllJ¶tvzVsulA }x ¤¥wvtvi¥}l4lJ{ktv}tvxVs-º S
(45) Ì TVU ¯ Ì «È® a Ì U ] ¬ Ì b¿®u¯ Ì Ñª Í - ÐÏZÎ - >Ì T>Ì - Ð W Ì Å®u¬ Uµ+Ð ] « Zdc gutvwyl ix_zVj4j4tysuz
(46) w|suz_iz_lArgiŤVlZu} u¦xVz_¦VjZj4lA¦ ³´u}gilksi4³´i¶}¦gulkż Å,³´x_j}¦gul³´isi{}¦tyx_siwOusuty}¦¹x³-Z¹Ç·j sutvuuw|¥}¦tysizlA¤tv{kl ¶}tvwyw¹lJ_ity¦lA}¦gulT¶l xV³~V¦¶lAj, uwvE½Cwvlk¤_lkw"xV>lk¥}¦tyx_sikºf¹Eitv{Aw¹{kxVj4u}¥}¦tyx_si{x_sitv¶},x³.l iwyt|{ty}, ui V{A{lJlAVsi uty}-j sutvuuw|¥}¦tyx_siAºÄfgulJ¶l_lkj uwv_½¿wvlk¤VlAw¥xV>lk¥}¦tyx_siV{A{x_usE}3³´xVÄwvVz_l`i}x³i.lA¤tv{kl ¦ty¤_lkJÉx_si{lZ{x_jZitywvlA3·>}¦gulkd¦lku¦lAlksE}~ >l}¼ lklAs¾,§ H^eÁVsiG_> eÁx³<ty}¦V¦lkj, iwy{x'l Bµlkl ± u>lksit ± G/º f lA{Ail4x³ }gulAtywvx¥¼½Cwvlk¤_lkw`si}u¦lV·Ä¶i{gx_lA¦}tvxVsi¦l4sux},{gilA{ÀVlJd³´x_}lk½¿{kxV¦lJ{}silA¦Vsi x}¦gulk{kxVsit|}¦lksi{k\u¦xV>lk}tvlAAº dx_lAx¥¤VlAA·_}gulA8Vlr³µtv¦wy\isulJVuV uwvlVº ± {kxVj4j4xVs¾Vuu¦x_V{g¢}x¢wytvj4t¸}¦tysizÈ}gilTl OlA{}¦x³.wvx¥¼½Cwvlk¤_lkw<x_lA¦}tvxVsi,xVs¾{xlTlJVuV utywvty}¢t|}¦x tvs_}¦x{lj V{kxEk·>VŤÅVtyw| iwyltvsd}¦gul4ew|suz_iz_lVgº I sÈi¦_{}t|{l_·ij V{kxEtvsG¦ty¤_lk¦lj4x_¶}wv
(47) i¶lJ }xGzVtv¤VlTj, >xVwvtv{ sj4lA}xGlJ{tyÃ{T{kxVsi¶}¦VsE}¦A'º h`lA¢³´lk¼xV³}gul
(48) tv¤VlA¦¼¹l\l uj4tysilAilTj V{kxE }xlAsi{kVi¶iwv}l
(49) ¼.guxVwvl ¶lk}x³¹wvx¥¼½¿wylA¤Vlkw"x_lA¦}tvxVsiAº f lJ¶t|lAA·3}¦gul j V{¦x8³µV{tvwvt¸}¢tvr³µV³´x_j lAtysiz ¶}lAj ¥}t|{kVwywv ilA8}gix_uzVgux_}}gul{kxlx³ ulk¤tv{kltv¤VlAAº ¹xVs¶t|lkVsdl u{lAu}~x³<sd_{}wÄutv¤VlA i¥·>t|¶uw|ÅVlJ
(50) ty s j tvzVu¦l\§Vº ± {kVsd l,lklAs·}gul¤¥Vwyu1l kl B»}¦gul gux_tvÆkx_s_}w`j4x}¦tyx_s¢xV³¹}¦gul j4xVi l Grt|{x_si¶}¦i{}¦lA¢i¶tvsuzdtvsE}lk¦wvlAŤVlJÈ uty}xV>lk¥}¦tyx_sis¢lA¤tv{kl V{A{lJlAAº¢fgut|Z{xl\³´z_j4lksE}t|¢{x_jZ>lkwvwvtysuz¢l uj4uwvlTxV³.}gulż.À¼ V¦ u¦xVz_¦Vj ¼.gut|{g {kVs¾ >l ¼.¦t¸}}lks\}¹w|¦zVl¦{kwvl.¼.gulAs\uu¦xVit|¥}¦luu>xV}`³´xV¹j sutvuuw|¥}¦tysuzwvx¥¼½¿wylA¤Vlkwuulk¤tv{kl.³´usi{}tvxVsiVwyty}tvlA t|sux}~Ť¥tvw| uwvlVº S
(51) Ì TVU ¯ Ì ÑÄ U TÌ ¥«Z ^Ì m U Ì W + Ð n Å® Ì ¥« oÏ U ,¬ p ,¬ pÄ ÌÌ Ñ Ð ¾® U ] « Ð b >Ì Y W Ì J¬ U « +Ì Z fgulusitvEul¶ty}¶½ i}tvxVs x³-lk¤t|{l~utv¤VlA¦lAEutvlJ<s\l lA¶}¦tvltvs }gu¦lklrt >lAlAs_} ¦lAVAº`lJ{tyÃ{g¼ Vl.l lA¶}¦tvl qsr Û Ö çÅå¦êÄáLàâå ì x ßÅì,r Eà xêLßÅ ßÅääuyÅã-åtyñâéëÅä ñâëJñâéwä¶ãLv-ñVäáCêCàâáì ßJx ãLåéìJy> ç ë~vOxä)ëÅßå¦tvñâê¿ékékå<ææ¶çÅåíÅá<ñçÅëÅáLéä¶äì{á¶A9ø àâz æ¶|wä}8á-~äÄz[áCëÅçÅéæC ßìÅéå}8ê3á-æáCyEéäèÅìÅãLàòàâáCåäàâæñ_ëJä¶éä¶á`ããÄé èÅt åØ ß¥ãCåå| ñâãµÚ ñâë äñvàâåìãµÛ êCä.ä}8ã êC t|ߥåÖ æå¦áLäêçÅáæ¿æ¶ø ßåìZåá3ëJèÅàâãLãµäàâæ ìêCêCñ äî,ãµwá æyJéêLï.ߥå¦ï êçJåìÅæ àâêLæ¶ç¥å¦åêCñâäñ î.vÄæà éêLßï.ïêCßÅçJä~ìÅõ[àâæ¶å¦êC ä éxà êCäæ¿ßríÅçÅá-ï.éçÅáCä"ëJãLà äãÄåáÄåsåàâñòåíÅñâä`àâì àâìkç Jä¶ãµáCàâéìJø Jø Jø @. A. )ìA÷öô. <.
(52) ¨. )D##3&. :D ## w. MD M3&9
(53) D "3&9 &. D JD ? #. !"#$%&$ "'(*)% +, -. / !"0(*1%)(2 "'()% +, -.& !")&!&$#"3 "*2(4 +,5+ !")&!&$#"3 "*68796 +,:+ K*L MNPO ! ")&!$# "3 "2(*4RQS !"0(*1%)(2 "'()%8TVU &,XW O NRO !"*#$&%&$ "*'()%ET YZ+,ETVU K*L MNPO ! ")&!$# "3 "68796RQ[ !"0&(1%)(*2"'()&%ETVU &,]\IW O NPO ! "#$&%&$"'()%8TXYZ+,&ET^&^`_U. ;<&=?>A@CBEDEFHGIF JD. ;a*=cbedf@. tvzVu¦l4§*K¹¹xVj4jusut|{k¥}¦tysiz¼.ty}gd lA¤Et|{ltvsd,}ut|{kVw¦ty¤_lkhg j. t|silklAulAd}¦x8isilk¶}¦s}gul4wvx¥¼½Cwvlk¤_lkwÄtysE}lA¶³µ_{lx³<}¦gul lk¤t|{l4sidty}¦rtvsE}lk¦siVw >lkgŤEtvxVJºx³»}¼¦l lksizVtvsulklAtvsuzTl lA¶}¦tvlt|rlJEuty¦lAÈ}x
(54) tyj4>x_lZ8u¦xVz_¦VjZj4tvsuzT¶}wyl_·O}x}¦i{}u¦l}gul {x0l Bw DE=>DF" lkÃisutvsuz
(55) V i¶}V{}¦tyx_si.³´x_~}¦gulZwyx¥¼½¿wylA¤VlAw-iV¶} G·}¦x
(56) _{gutvlk¤Vl,l P\{tvlksi{kV·OVlk}}¦xTj À_l}¦gulZ{kxlx_lAsÈl½ sux_uzVg }¦x,lAsi uwvl³´u}u¦ll }lks¶tvxVsiAMº j tysiVwywvV·u l lA¶}¦tvl~t|¹VwvxsulAlAlJ }¦x,tvjZiwylAjZlAsE}¹}¦gul¦lAEutv¦lA ¦ty¤_lk
(57) ± I'B ± uuwvt|{k¥}¦tyx_s <x_zVj4j4tysiz I sE}lA¶³µ_{ l G·¹Vsi²}¦x j VÀVld¢{A¦l³´uw.¶l
(58) x³¾¦lAxVu{lJ Bw DE=>DFÄj4lkj4xV¦V·>¶si{gix_sutyÆJ¥}¦tyx_s·utvs_}¦lk¦i}¦ Gº ± j }¶}lA~xV³ ³µ_{}J·i³´lA¼ tv¤VlAu¦xVz_¦VjZj4lA¦.{Asd >l {x_sitvlAlJ\l >lk}tvs8}¦gulAlr}gu¦lkluxVj tvsiAº ± lJ¶iw¸}x³Ä}gul >x¥¤Vlu¦xV uwvlkj A·_}¦gul{xlrx³Äulk¤tv{kltv¤VlA¦¹t|¹xV³»}lAs8usilJVuV uwylrsi8{xE}¦wy4}¦x lA¤VlkwvxV-·j tvs_}tvs Vsi lk¤_xVwv¤VlVº4£xV},¶iu¦t|¶tvsuzVwvV·}gut|t¸}¦i¥}¦tyx_s¢j ÅÈgiŤ_lZdutv¦V¶}¦xVirtvj4iV{}x_s }gillAwyt| utvwvt¸}\xV³ {kxVj4j4lk{t|w3xV>lk¥}¦tysizZ}¦lkj kº fgut|~silkz_}tv¤VlZV¦¶lJj4lksE}~x³`}¦gul4¶ty}i}tvxVs¢tvrt P {kuwy}}¦x8uslk}siG{xVs¶t|lk¦tvsuz }gil¦lk>l}¦t¸}¦ty¤_l si}u¦lxV³}¦gul lk¤_lkwvxVuj4lksE}x³ lk¤t|{l ¦ty¤_lkkº I s¢³µV{}A·tvsilJ{}¦tyx_s¢xV³¹l t|}¦tysiz
(59) lA¤tv{kl4utv¤VlA¦r¶gix¥¼ }g¥}}gulA\¶g¦llAsuxVuz_g8{giV¦_{}¦lk¦tv¶}t|{k<}xZ l¶}itvlA
(60) sTlA¤VlkwvxV>lA8V¼.guxVwvlVº" uj4uwvlAtvsi{kwyiul ui }¦¦Vsi¦V{}¦tyx_siA·¥ ut¸}<j Vsutyiuwv}tvxVsiA·i¦z_l¹¥}¶}¦lk¦si x³-¦lAxVi¦{klAA·Aà lJ ± I·uºAºkºZi{gix_zVj ¦lVtvT}xZ³´x_j " ( ww=*w32ji321#lknm o¿º f lA{Ail8lA¤tv{kl
(61) ¦tv¤Vlk,³´xV¦j Gix_zVj6³µj4tywvV·}gulAty\ulk¤VlAwyx_uj4lksE} {xViwvÊ ld¶}lAj ¥}tvÆklJ²}¦x tvjZix¥¤_lux{}tv¤t¸}X m & oCJº f lJ{k¶llA¤tv{kl,¦ty¤_lk¦llk¤_lkwvxV>lAd}4³µV¶}~i_{l_·i}¦gulktvlA¤VlAwyx_uj4lksE} guxVuw|Ê}¦lkj ¥}¦tyÆAlT >x}¦gÊl >lk}t|¶l
(62) si {xl8lk½Cil\}¦x¢ >l}}lA}¦tyj4lk½L}¦x½¿j4VÀ_l}ulkwvty¤_lk¦p mv§Jm·"¡u· ¨ oCº f lA{Ail,lA¤Et|{lZ¦ty¤_lk¦l,{¦ty}t|{kwÄutvlA{lJ~xV³\¶}lAj·i}¦gulktvtvj4uwvlkj4lksE}¦}tvxVsGgux_uwvÈ l¤Vlk¦tyÃilA
(63) }¦x tvjZix¥¤_lr¦¥³´lk}` m oCº q ÄT® WNW Ð ®u ¯ p u
(64) uu¦x__{g }xÊ}¦lkj ¥}¦tyÆAtysuz¾}gul lk¤_lkwvxVuj4lksE}TxV³,lk¤t|{l tv¤VlA¦\tvT iVlA x_sIxVj Vtys½ lJ{tyÃ{ w|suz_iz_lAJ BLÂrNÒ GAm o¿Mº f lA{kVil~lk¤t|{l~utv¤VlA¦tysi{kwyllk¤_lkwix_j tvsi<xV³l lA¶}¦tvlV·EzVxx\lkiV¦}tvxVs x³-{kxVsi{klk¦si` >l}¼ lklAs\gi¼¦lsi x³»}¼¦lV>lA{}_{}wvwyZlJEuty¦lAxVsulÂrÒȳ´xV lA_{g\{xVs{lku}iVw w|ÅVlkJºfgut|juw¸}¦t¸½ ÂÒÊVuu¦x_V{gt|³´i¶}¦gulkjZxV}tv¤¥¥}lJd
(65) }gul,³µV{}}gi}lJV{gwvÅ_lkxV³\¦ty¤_lkj4Å >llA¦{¦ty >lA8 84lJ{tyÃ{rux_zVj4j4lkJ·_¼.ty}gÈ4lJ{tyÃ{r iV{Àz_x_usiTVsi
(66) ¶>lA{kt¸Ã{{kxVsi¶}tvsE}¦Aº fgulrlAtyz_s\x³ÄlAV{gTwvVsuzViVzVlt|¹³´ulkwvlAT 4}gux_x_uzVg8siVwytvx³}¦gulruxVj tvs\x³ÄlAV{g8{xVs{lku}iVw w|ÅVlk{ BµlA¤Et|{lx{ijZlAsE}¦¥}¦tyx_siA· l tv¶}tvsuz¢{kxlV·.ºAºk º Gº¢¹V{g¾w|suz_iz_l4³µV{}xV¦tvÆklA{x_jZj4x_siwvt¸}¦tylJ,Vsi wvwvx¥¼,¤¥¦t|¥}tvxVs,}¦x ll u¦lA¦lA¾ ¾lJ{tyÃ{
(67) sux}¥}¦tyx_si4si i¶}V{}tvxVsiAºÊfguldx_j tvs swvt| w|xdlksiV uwylJ{¦ty}t|{kw ³´l}¢ux_lA¶}¦tylJ}xG l\t|lAs_}¦t¸ÃlA3ºÈfgul8¶lAj4VsE}t|{kxV³lJV{g²ÂÒ^{kVs² l8¶uty}¶½ iwy8lJ}¦t|{}¦lA8}xTVwywvx¥¼e}gulJ¶lu¦xV>lk}tvlA.}x\ >l¤VlAtyÃilJ3·u¼.gutvwyl,ulJ¶lA¤tvsuzZ}gul,l u¦lA¦¶tv¤VlAsulA¦x³"}gil w|suz_iz_[l my§J& oCº ± suxV}gulA~z_x_wÄx³`}¦gullJ¶tvzVsdxV³<xVurÂruÒ-tv~}x8wylJV
(68) }x
(69) {x_jZityw|¥}¦tyx_sÈ}¦¦}lkz_tylJ.¼.gut|{g lks¶u¦lsux4lA¶³´x_j Vsi{l>lksiVw¸}T{kxVj4iVlJ }x l tv¶}tvsuz ¦ty¤_lkkº « W"® W Ì r p U c lZtvsE}¦xi{l4tvs }gut|i>lk
(70) ÂÒ sij4lJ¢Âlk¤tvtw s Vtyj4lA ¥}u¦x¥¤tvutysuzT}gul wvx¥¼ lkrwvÅ_lkx³8lA¤tv{kl ¦ty¤_lkJM· D#,DF}gul i_¶t|{tysE}lA¦_{}¦tyx_s¢¼.ty}g¢}gul\ulk¤tv{klVº ± Âlk¤tyw<>lA{tyÃ{A¥}tvxVs ¦tyz_xV¦xViwydlJ{ktv >lAr}gil u v ä Jàâñ_áLêCåìÅëÅVá tvéã vcwVx àâæä r ìkêLä ã tvåæä å ì xç¥å xäø rIy rHz.
(71)
(72) !"# $. %!&'%)(*(+ , -. /&013243#&6587*(9 ;:<3&>=*?6=>. M : : N . h , " W M N : -eQ E:
(73) +&++&+&+&U h ,ZW , " !#"n MO - TVU. . , " &K W , "/.E . W. M M . . . . &: N :
(74) &+ $ Q E:
(75) % &&&&'(&Q*) , +& , W +-eU &: N
(76) : &+ $ Q E:
(77) % &&&&'(&Q*) , +& , 0 W /-eU. : : N , X W &,"/.E'.1 . +'! &, " K &,X5 W M " &, O VT U . 1 . + !2"3&/. MO 58TVU 4. <&=?>A@CBEDEFHGIF JD 4a*=cbedf@. tyz_ulm9K"Âlk¤tvw-lkÃisuty}tvxVsd{x_¦lAx_sitvsuz}xZ}gulI{xltvs Äj tvzVil4§ j. V{A{lJj4lA{gsut|¶j A·u}¦gul}lVsi
(78) }gilwvÅ_xV}.xV³`i¥}¦Z}¦gi¥}r¦llu{gisizVlAT}x x_lA¦}l}¦gul,lA¤Et|{l_·_ ¼ kl wvw"_xVj4lZ lAgiŤtyx_¦Vw-u¦xV>lk}tvlAAº;I¿}xlArsux}V¦uj4lsiV¶}¦tv{kuwvV3·OVsiG{AsG}gulAlk³´xV¦l, >l ilA³´x_ZVs¢}¦zVlk}uw|¥}³´xV¦j
(79) º ± ZÈj }¶}lAxV³³µV{}A·<¶tvsuzÈ}¦gut|,w|suz_iz_l\xVsiwy¦lAEutvlJgiV¦¼¦l l>lk}t|¶l_Éu4lA¦{¦tyu}tvxVs
(80) tysdÂlk¤tywÄ{xViwvT}utv{AwvwyT l¼.¦t¸}}lAs
(81) }¦gullA¤Et|{l¤_lksiuxVJº ¹xVj4utvwvtysuzÂ~lA¤tywOlA¦{¦tv}tvxVs u¦x¥¤tvulA<}E>lA·_gutvzVgu½Cwvlk¤_lkwitvsE}lA¶³µ_{lxV³>}¦gululk¤tv{kl~¼.gut|{g\{kVs\ >l ilA\}xZ¼.ty}l~}guluu>lkw|ÅVlA¦x³}¦gulrulk¤tv{klrutv¤VlAAº jux_}¦gulrutv¤VlA¹u¦xVz_¦Vj4jZlAA·V}gulr >lksulkÃu}.x³}¦gutv iuxEV{gt|.}g¥}~}¦gulZtysE}lA¶³µ_{lj4xlAwvsÈt|lAVwytvÆklJdlk¤t|{lZsidV i}¦¦_{}.}gil,giV¦¼¦ltysE}¦t|{k_{tvlAAº fgul¹uu>lk"wvÅ_lk{kVslkty}gilk l ¼.ty}¶}¦lkstys,~zVlAsulkwy½Ciu>x_l`w|suz_iz_l BLorNÒ G·¥¼.gut|{g,tv¦lA{}¦wy}¦tywvtvÆklA }giltvj4uwylAj4lksE}¦}tvxVsGxV³`}gul4lA¤Et|{ltysE}¦lk³µV{l_·OxVrtysG}gul³´}il_·O{kxVj utysilAȼ.ty}g¢u¦xVzVj .¼.¦ty}¶}lAsGtvs x}¦gulkÂÒij´xV¦tv¤VlkAº j tyz_u¦lTmtywvwvi}¦¦}lJ}gilT >lksulkÃu}¦,x³~Âlk¤tyw¹tys¾}lk¦j xV³.lk¥}tvxVsxV³.{kxVsi{klk¦siVsilJVuV utvwyty}OÉ }gitv,l uj4uwvl tv,l}tvwylJtys }gil\lJ}xV³}gul\>lkJº ± ,{ks >lTlklks-· Vwyw`}¦gulT{kxVj4j,usitv{A¥}tvxVs¼.t¸}¦g }gil8lA¤Et|{l
(82) ¦l\lks{k¶uw|¥}¦lAtvs Vs¾V{k{klA¦³´us{}tvxVsÊzVlksilk¥}lJ ³´x_j }gul
(83) Â~lA¤EtvwlA¦{¦tyu}tvxVsº fgulks· }gil¦ty¤_lkux_zVj4j4lk.x_suwy
(84) gi_}¦x ³´x{ixVsÈx_lA¦}tvsuz4}gillA¤Et|{litysuz8 i¶}V{}~¤¥wvulAAº f lA{Ail Âlk¤tywÄtv~4lJ}¦t|{}¦lA8wvVsuzViVzVl_·¤ÅVtvxV }Eitysuz\Vsi{x_si¶t|¶}lks{Tix_lA¶}¦tylJx³` ¶>lA{kt¸Ã{A¥}¦tyx_s{As >l ¤VlAtyÃilJ3º f lA{Ailr}gul,zVlksilk¥}lJTtvsE}lA¶³µ_{lt|}lJ3·ity}¦.¶ltvs
(85) }gul,uu>lk~w|ÅVlA¦ xV³Ä}¦gul,lA¤Et|{lutv¤VlA {kVs
(86) Vwvx4 l{gilA{ÀVlJ\ T4¶}¦su
(87) or¹Ò²{xVj4utvwvlkJº u.{x_sE}¦ty uu}tvxVsi.Vlr}gil³´xVwvwyx¥¼.tvsuziº 6 c¢l giŤ_lZ{A¦tvlAGxV},x_j tvsVsiwv¶t|rxVs¢}gul ix_zVj&³µj4tvwy¢x³lk¤t|{l\¦ty¤_lkkº lAi¥}½ tysuz8}gil4{kxVsi{klk¦sirx³ gi¼¦l¤VlAsixVrsi²Gutv¤VlAu¦xVz_¦Vj4jZlA¦A·>¼¹l4giŤ_l,l }¦¦_{}lJGVsi }¦i{}u¦lA}¦gul.ÀVlA{x_si{lA}¦<x³O}guluxVj tvs V`¼ lkwvw_ }gul~{kxVj4j4xVsiVwyty}tvlAsiZ¤¥¦tv}tvxVsi"tvs4}gil lAtyz_s
(88) Vsilk¤_lkwvxVuj4lAs_}xV³"{kxl³´xV~{kxVj4j,isutv{A¥}¦tysuz4¼.ty}gdgiV¦u¼ Vl_Mº c¢lgiŤ_lw|¶x4t|lksE}¦t¸ÃilJ tyj4>xV}¦sE}.u¦xV>lk}tvlA¹}g¥}~{x_uw|Ttvj4ux¥¤_lr}gul¦¥³´lk} x³ }guxE¶l{x_j4j,usut|{k}tvxVsiAº 6 f _¶lJ\x_sT}¦gutv~siVwytvA·¼¹lgiŤ_lrlJ¶tvzVsilA
(89) w|sizViVzVl}¦x\lA¦{¦tv l}gultvsE}lA¦_{}tvxVs¹¼.ty}ggiV¦½ ¼ Vl lk¤t|{lA s}¦xu¦x¥¤tvul¹gutyz_g½¿wylA¤Vlkwx³»}¼¦ltvs_}¦lk³µV{kl<³´xV"x_lA¦}tvsuz}¦gulkjº`fgut|Äw|sizViVzVl tv¶}¦xVsuz_wy
(90) }lJ3·-VsiÈlAsi uwvlA{kxVsitv¶}lAsi{dix_lA¶}¦tylJ~}¦x8 >l {gulA{À_lAdx_sG}¦gul ¶>lA{kt¸Ã>{k¥}¦tyx_s¢_ ¼¹lAwyw`Vrx_sÈ}gilZ¶l4x³¹}gul {kxV¦lJ¶>xVsiutysuzTtysE}lA¶³µ_{lZtys
(91) tv¤VlAAºfgulAl4¤Vlk¦tyÃ{k}tvxVsi¼¹x_uw|È >l tyj4>x_¦¶tv uwvl}¦x4lA¶³´x_jÁx_sdtv¤VlA¦ ¼.¦t¸}}lAs8¼.ty}gÈorÒÄkº 6 c¢l8giŤVlTgux¥¼.s²}¦gi¥}}gul
(92) w|suz_iz_l\tvl u¦lA¦ty¤_l lksux_uzVg²}¦x¢lJ{ktv >l8ȼ.t|l
(93) ¦VsuzVl xV³¶}¦su½ ud ulk¤tv{klAtys{wvitvsuz8<}gulAsulk}A·¤t|lkx·3¶x_usi3·Otvs_}¦lk¦i}A·Âr ± siGjZx_il{x_sE}¦xVwvwylA¦Aº uj4uwvlAx³`i{g
(94) ulA¦{¦ty}¦tyx_si¦lŤÅVtyw| iwylrxVsuwvtvsulVº fgul i>lk t|Äx_zEsutvÆklJVij´xVwvwvx¥¼kºÄlA{}¦tyx_sZm~zVtv¤VlJÄVsx¥¤VlA¤tvlk¼x³u}¦gul.xVj Vtys,Vsiwv¶t|Aº lJ{}tvxVs lJ{ktv lJ3gux¥¼¢}gulwvVsuzViVzVl"lAtvzVstv-l }V{}lJ~³´¦xVjI}gut|-Vsiwv¶t|Aº-lA{}tvxVs¨gux¥¼Ogux¥¼¢}gul<w|sizViVzVl ¦lA¶}¦tv{}tvxVsiVl`l uwyx_t¸}¦lAr}¦xj ÀVl`tvj4x_¶}sE}Ħ¥³´lk}u¦xV>lk}tvlA-lA{ktvuV uwvlVº lA{}¦tyx_7s zVtv¤VlJO}gul {u¦¦lksE} tvjZiwylAjZlAsE}¦¥}¦tyx_s¶}¦}i x³OÂ~lA¤tywCº"lA{}¦tyx_1s Hr{x_jZ¦lA-}gulÂ~lA¤tywuVuu¦x_V{g}¦xlAwv}lA¼¹x_ÀAºÄlA{}tvxV9s 8 u¦x¥¤tvlJsV¦¶lJj4lksE}.x³ Âlk¤tvw-s8t|¦{i¦¶lJ ³´}il¼ xV¦ÀOº. )ìA÷öô. <.
(95) H. )D##3&. :D ## w. MD M3&9
(96) D "3&9 &. D JD ? #. ,/0 % $&% -k fgul~ulAtyz_s x³ÂÒÈ{¦ty}t|{kwvwv¦lkwvtylJ`xVs\}gux_x_uzVg swvt|"x³O}gulr{x_jZj4x_siwvt¸}¦tylJ<s4¤ÅVt|¥}¦tyx_si`tvs ix_zVj ³µj4tywvV·_¹¼ lkwvwOV}gulr³´usiij4lksE}¦Vw>{kxVsi{klk} x³3}giluxVj tvsº"fgulx_}i}.x³3}gitvswvt| {x_sE}¦ty uu}lA}xTul}lAj4tvsutvsuz }gil iVt|{lkwvlkj4lksE}x³"}¦gul,w|suz_iz_lr}x\ >llJ¶tvzVsilA3·>V¼ lkwvwÄ_.>x_¦¶tv uwvl xVlJEuty¦lA¾¤Vlk¦tyÃ{k}tvxVsi}¦xG >l8>lk³´xV¦j4lAx_s¾u¦xVzVj A º I s²}¦gutv4lA{}tvxVs·`¼ l\u¦lAlksE},}¦gulxVj tvs swvt|xV³}¦gul wyx¥¼ lkw|ÅVlAxV³ lA¤Et|{l ¦tv¤VlkAºZfgul ¦wvtylAsE}r³´lJ¥}¦ulJx³¹}gul Âlk¤tywwvVsuzViVzVl4siG}gil ¤VlAtyÃ{A¥}tvxVs}¦gi¥}ty}lks uwvlA.Vlru¦lAlksE}lJTtvs
(97) }gul³´x_wywvx¥¼.tysiz,}¼ x ¶lJ{}tvxVskº u`z_x_wtvs siVwyÆAtysuzr}¦gul~x_j4VtysZt|"}xl E}¦¦_{}`}¦gul.ÀVlA }¦¦_{}tvxVsk·¥suxV}¦}tvxVsi<Vsi}lAj4tvsuxVwvxVz_ ¼.gut|{gTuslk¦wytvl}gul i_¶t|{~tvsE}lA¦_{}tvxVsT¼.t¸}¦g
(98) Zlk¤t|{l_º"fgitvugVlw|xtvsi{wvilJ¹}gul¶}i xV³ {kxVj4j4xVs i}¶}lAs-tvs}gil lJ¶tvzVsVsitvj4uwylAj4lksE}¦}tvxVs,xV³i¦ty¤_lkkVº c ll uwyx_t¸}¦lA~¤¥¦tylk}xV³utys³´x_j }tvxVs,xVu{lJ }x8lA¶³´x_j }gitvrxVj VtysÈVsiwv¶t|kgº c l}gux_x_uzVguwvTl uj4tysilAd\¼.t|lZ¶>lA{}¦uj&x³<lk¤t|{lJVsi
(99) }gulAty {x_¦lA>xVsitvsuz
(100) tv¤VlA¦A·Oj tvsuwy³´¦xVj Ò-tys! ¶x_u¦{klA, K`}¦gulk¦sul}J·-¤t|lkx·¶x_usi3·3tvsE}lk¦¦u}A·Ä ± Vsi j4xVil{xVsE}¦x_wywvlkkºÄfgutv`¶}¼V"¶iux_¶}¦lA, E,wyty}lA¦}u¦l V x_}<¦ty¤_lk"lk¤_lkwvxVuj4lksE } mv§V§· o¿·VlA¤tv{kl x{ijZlAsE}¦¥}¦tyx_si ŤÅVtyw| iwyl¹xVs}¦gul ¼¹lA ·silk¤t|{l¦ty¤_lk l lA¶}ij´xVN c tysiux¥¼k·Ò-tys! ,VsilAj, >lAulJ xV>lk¥}¦tysizT¶¶}lAj4Aºrlk¤VlA¦VwÀVlAd{xVs{lku}¦~{Aj4l,x_}xV³`}gut|r¼¹x_ÀO·i}gi}r¦l,uj4j ¦tyÆAlAdtvsd}gil¦lA¶} x³ }gitv.lA{}tvxVsº ~РŬA« Z I sE}lkV{}tvsuz¼.t¸}¦g^²lk¤t|{ld¦lkwvtylJ xVs }¦gulÈsuxV}tvxVs x³{x_jZjusut|{k}tvxVs x_tysE}k·x³»}¦lks siVjZlJ (6 º ± >xV}.tv¶lJT}¦x4lJV ¥¼.ty}lr¤¥wvulA ³´¦xV j J}¦x,}¦gullA¤Et|{l_º<fgulAlxV>lk¥}¦tyx_si¦lrtvj4uwvlkj4lksE}lJ t >lAlAsE}wvGlk>lkstysiz
(101) x_s¢gix¥¼}gul\ulk¤tv{klt|¤tvtv uwyl4 d}¦gul4ux{klA¦¶x_ B ,DE=>DF<j u>lA tvs¢j4lkj4x_dx_ IV; Gºdx_¶},lA¤Et|{lJ¦lAEutvl lk¤VlA¦Vw"x_¶}r³´xV,{kxVj4j,usitv{A¥}tvxVs-É 8³´lk¼ >xV}¦Vl4x³»}¦lksilAV iVl VilJlA¹}¦x4ulÃisuol &>=> i)(6 º T^Ì n+U «A¬ Ì ¥« Z 8=* 8 Z¦lkilJ¶lAs_}}¦gulT}xVj4t|{4usuty}¦xV³.tys³´x_j }tvxVs }gi},{kVs² l l {gsuz_lA ¼.t¸}¦g² lA¤Et|{l_º fgulJ¶l
(102) ¤¥wvulA4Vl8}utv{Awvwy²lAtyz_gE}A·¹t E}¦lklAs·x_,}¦guty}E½L}¼ x½¿ uty}Z¼ xVuAº x_jZl
(103) ¦lkzVt|¶}lkj4Å xVsiwy
(104) l,lJVdsd¶x_jZlx_suwv8 >l,¼.¦t¸}}lAsÉxV}gulA¦j4Å8 llJV
(105) xV¼.ty}¶}¦lksº ± ¶tvsuzVwvl¦lkz_tv¶}lA.j4Å
(106) >l V{A{lJlA8³´xV~lJVtvsuz\¥}~\zVtv¤Vlks>xV}sT³´x_~¼.¦t¸}¦tysiz\¥}Vsux}¦gulk>xV}Aº ± ¦lkz_tv¶}lA.j Å8w|x lJ_ity¦l ¶>lA{kt¸Ã> { * . (9 #-8tvs¤Vx_wy¤tvsuz
(107) VsÈsuj, >lkxV³ xV}gulAlAzVt|}¦lk1 B ,DE=>DFtvsil lJ¢x_iz_lA¢lAzVt|}¦lk Gº <¤_lks }gux_uzVgV{A{lJri}gi{As lZ³µ_{}x_tvÆklJG¼.ty}gj V{kxEk·3l uj4tys¥}tvxVs x³ l t|}¦tysuzd¦tv¤Vlk¶gix¥¼ }g¥}.}gitv³µ_{tvwyty}\t|.¦lkwvZ¶lJ
(108) {AitvsuzZ}gul¦tv¤Vlk.{kxul}¦x l¥}¦gulk }suz_wylJ3º f lA{Ail,xV³¹giV¦¼¦l,{kxVsitvulk¥}tvxVsk·3xVj4l it¸}x³ 8¦lkzVt|¶}lk{kVsG >l lJ¶lA¤_lAx_risE¶lJ3·-xVj4l j,} giŤVlrà lAT¤ÅVwyil~¼.gulAs\¼.ty}¶}¦lk_s B´xV giŤ_l~à lJ ¤¥wvul~¼.gulAsT¦lA_6 G·si\x}gilk¹{kxV¦lJ¶>xVsi}¦x ¤¥wvulA.}gi}¦lty¦¦lkwvlk¤¥sE}Auº f t¸}r{xVs}¦¦VtysE}¦.Vl¶iVwywvT¼ lkwvwy½¿lJ{ktv >lA
(109) tysÈulk¤tv{kl,x{ijZlAsE}¦¥}¦tyx_si.tvs }lAj x³ Hg2o ;º I s¢
(110) orÒ wytvÀVl · uty}j4_¶Àr¦l}s¶w|¥}¦lAdtvsE}x8{kxVsi¶}¦VsE}¦~VsiÈ it¸}rxV>lk¥}tvxVs ³´xV.lAsi{xtvsuz4xVulA{xtvsuz ZlAzVt|}¦lk¤¥wvulVº S
(111) Ì TVU ¯ a Ì T ® U ®ª - Ì « Z juxV,gi¼¦ll P {ktylAsi{ ¦lAVxVso Bw DE=DF¹}xdj4tysityj4tvÆkl }¦gul\suj, >lkxu³ IVr G· ¦lkzVt|¶}lk j Å\zV¦xViT¤¥¦tyx_i¹tysiulk>lksilAsE}¤ÅVwyilAAº jixV.l Vj4uwyl_·E}gu¦lkl uty}¦tvs
(112) Z¦lkz_tv¶}lA j Å >li¶lJ }xÈulksuxV}l ¼.gut|{g u}¶}¦xVsix³.jZx_ilZgŤVl4 lAlks²u¶gulJ3·-¼.gitywvl4}gulTlAj4Vtysitysuz uty}¦x³ }gul\¦lkz_tv¶}lA j ÅÈu¦x¥¤tvlZtvs³´xV¦j ¥}tvxVs{x_si{lAsitysuz
(113) }¦gul j4x}tvxVs x³ }gil jZx_ilV4º I sx}gilk{k_¶lJk·Ä¶x_jZl4j4lAVsutvsuz³´uw ¤¥wvulA~giŤVl}x\ >l{kxVsi¶}¦i{}¦lA V¦¶lAj, uwvtysiz\ uty}rlAEulks{lA³´x_j)ut Olk¦lksE}~¦lkz_tv¶}lA¦AJº jux_~l uVjZiwyl_· }giljZx_iljZxV}tvxVs k>l\tv0s j tvzVu¦l §s
(114) mZt|.lks{xlA
(115) tvs
(116) }gul,ulk¤tv{klitysuzZ}¦gulwvx¥¼¹lJ}³´xVi. ut¸}xV³Ä}¼ x t >lAlAsE}lAzVt|}¦lkkº I s
(117) ³µ_{}A·i}guxE¶lj4lJsutvsuz³´iw¤¥wvulAA·}g¥}Vl>x_¦¶tv uwv8ulJV
(118) x¥¤VlA.¶lA¤Vlkw3¦lkz_tv¶}lA ³´zVj4lAs_}k·lAu¦lAlksE}~\{x_s¤VlksitylAs_}¼Å\}¦xTl ilJ.gityz_g½Cwvlk¤_lkw-{kxVj4j,isutv{A¥}¦tyx_si.¼.ty}gd}¦gullA¤tv{klVº ± }gilk4{ks {kxVsi{klk}¦iwvwy l~lJVZxV`¼.¦t¸}}lAs wytvÀVlVsE¤¥¦tvV uwyl.tvs\orÒ·V¼ l{kwvw}¦gulkj * º tvsi{lr}¦gulk
(119) x4sux}tvlJ{}¦wy\j V8}¦x4ugt|{kwOlAs_}¦tvlAA·}gilAlr¤¥Vt| uwvlA{kxV¦lJ¶>xVsi\}x Zwyx_zVt|{kVw>¤tvlk¼ex³ }gilZlA¤tv{klVÉO}gilkÈ }¦¦_{}x¥¤_lk~}gulZug¶t|{kVwĦlku¦lAlksE}¥}tvxVsdxV³<}gilZlA¤tv{kl¶}¦¥}¦lVCº I sÈlJlks{lV·3lA¤tv{kl ¤¥¦tvV uwvlA¹³´xV¦j}giAl i ? &+ 3&+`#&?Ii 1 i #-61 }¦xZ >lilA
(120) }gilux_zVj4j4lkJº fgulTulA¦{¦ty}¦tyx_s²x³.}¦gul\³´us{}tvxVsw ¤Etvlk¼ xV³~Èlk¤t|{l\t|,}Eitv{Awvwy¶ilJV x¥¤VlA}gul8¼.guxVwvlTlA¤tv{kl x{ijZlAsE}¦¥}¦tyx_sº _{g lA¤tv{kl ¤ÅVt| iwylZtvtysE}¦xi{klA¢¼.gulks¦lkzVt|¶}lkr³´z_jZlAsE}¦¦lZl uw|tvsulA3º\fgil lJ{ktv}tvxVs8x³ÄZlA¤Et|{l¤¥¦t| uwvl~tvsi{wvilJt¸} k (6·ty}¦; ?^ ,=1 3&9 Lw#& Vsi\ty}¦ -9 º fgul}E>lA rIy rHz.
(121)
(122) !"# $. %!&'%)(*(+ , -. /&013243#&6587*(9 ;:<3&>=*?6=>. 8. x³>lk¤t|{l ¤ÅVt| iwylJÄVl iiwvwytvsE}lkz_lk x³i¤¥¦tvxVi ¶tvÆklJk·¥ >xxVwvlAVsik·¥x_Ä it¸}`i}¶}lAskº Ç~¦zVl{x_si¶}tvs_} lu¦lA¦`}¦gul³µ_{}¹}gi} xVj4l¤¥¦tvV uwvlA{As\x_suwv >l~¦lA_4xV¼.¦ty}¶}lAsºMf lkgiŤtvxV<VuulJgux¥¼ }gul¤ÅVwyil x³.
(123) ¤¥¦tvV uwyl4lA¤VxVwv¤VlJsi¢gux¥¼ty},tvj4iV{}¦r}gil\lk¤t|{lVºTlJ{tyÃ{kVwywvV·Ä}gut|¤¥wvul4j ÅÈ >l0 h*/Bs D# DF xVsiwyuOu¥}¦lAÊ E }¦gul8¦tv¤Vlk Gx_, >.l L#0Bs D# DF.u>i¥}lJ¾ }gullA¤Et|{l8t¸}¶lAw¸³ GX º juu}gilk¦jZx_l_·` lA¤Et|{l ¤¥Vt| uwvl4j ÅG >l (9. # /B D#,DF l8{xVs¶t|lk¦lA V¦lkz_uw|j4lkj4xV¦G{klkwvw G·Äx_t¸},j Å LQ= = lA¤Et|{l_{}tvxVs¼.gulks¼.¦t¸}}lkX s B D#,DF3 >l lk¤t|{l{x_jZj Vsi6 Gº ± lA¤Et|{.l ~x{uj4lksE}¥}tvxVsdlJ{ktv >lA.gux¥¼blk¤t|{l¤¥¦t| uwvlA.Vl{kxVsi¶}¦i{}¦lAT³´x_j ¦lkz_tv¶}lA¦A·}gulAty }lJk·-iVzVl4{x_si}¦¦VtysE}VsiG >lkgŤEtvxVA"º Ox¥¼ lk¤_lkJ·}¦gulk¦l4tvsix}¦lkj ¥}¦tv{ZsG¦tyz_xV¦xVi~¼ ų´x_ u¦xVz_¦VjZj4lA`}xZl u¦lA¦`}¦gutv tvs³´xV¦j ¥}¦tyx_s\tysT}gul¦ty¤_lk {xlV·VsiTorÒĹix¥¤t|l~wvt¸}}wvlx_¹sixuu>xV} }x8³µV{ktywvty}¦¥}¦l,}¦gut|ix{lJA;º I s³´xV¦j ¥}¦tyx_sÈu¦x¥¤Et|lJd È8lA¤tv{klx{ijZlAsE}¦¥}¦tyx_sGt|}girx³»}¦lksGtvzVsixV¦lA sdwyxE}Jº¹x_si¶lJEulksE}wvV·>sux8¤Vlk¦tyÃ{k}tvxVstvtvsi{wvilJÈtvsGTlA¤tv{kl,¦ty¤_lk~¼.gil}gilk³´xVrx_¶}k·>lAzVt|}¦lk xVulk¤tv{kl¤ÅVt| iwylJk·V.{kxVsÃj4lA8 \l uVjZtvsi}tvxVs
(124) x³"l tv¶}tvsuz {xl_º u
(125) xVj tvs^swvt|k·.x_}wvtysilA tvs }gitv
(126) ¶lJ{}¦tyx_s·³´xV¦j \}¦gulG i_¶t| ³´x_\}¦gul¢lJ¶tvzVsIx³}gil¢Âlk¤tyw w|suz_iz_lVº 5 %
(127) 79 7 . - 7% fgut|¹lA{}tvxVs z_ty¤_lA}xVix³3}¦gulÂlk¤tvww|sizViVzVl.tvwywvi¶}¥}lJ ¼.ty}g ³´z_jZlAsE}¦<xV³V{}¦iwOlA¤Et|{llA¦{¦tyu½ }tvxVskº`fgulr³´lA}u¦lA xV³ Âlk¤tyw3_u¦lA¦}¦gul{x_si{lA}¦ t|lksE}tyÃilJTtvsT}¦gulxVj Vtys
(128) siVwytvAº fgilrw|sizViVzVl t|.lA{kwvV¦}tv¤Vlsiwvwvx¥¼ 4¶}¦i{}¦u¦lA
(129) lÃisit¸}¦tyx_s
(130) xV³Ä}¦gul{x_j4j,usut|{k}tvxVs8¼.t¸}¦g4lA¤tv{klVº .
(131) !"$#%. fgul~}xVTwylA¤Vlkwx³-Â~lA¤EtvwO¶>lA{kt¸Ã{A¥}¦tyx_s\tv}gillJ{w|¥}tvxVs xV³-lA¤Et|{l_º"<gt|{kw>VuulJlAA·_V i}¦¦_{}¦lA V">xV}¦"x_"¦VsuzVlJÄxV³>xV}¦A·iV¦VjZlk}lAtvÆkl¹}gul.lJ{w|¥}¦tyx_sº-"xV}¦ }¦gulks4wvwvx¥¼Ê¦lkzVt|¶}lk-}x lulA{w|¦lAº j tyswvwy_·ulk¤t|{l¤¥¦tvV uwylJ¹VllkÃisulAT³´¦xVjÁ¦lkz_tv¶}lA¦A·V³´x_j4tvsuz}gulr³´usi{}tvxVsiVw3tysE}¦lk³µV{l}xZ}¦gullk¤t|{lVº fgulJ¶l}¦gu¦lklwvlk¤_lkw|x³<V i}¦¦_{}¦tyx_sVltvwvwyi¶}¥}¦lA \¶tvj4uwvt¸ÃilJ³´zVj4lAs_}xV³"}gulZÂ~lA¤Etvw"lA¦{¦tyu}tvxVs x³`Zj4xVil{xVsE}¦x_wywvlkJ·Eutvuw|ÅVlA8 >lkwvx¥¼º & &/ & K M /.8" NL +. -. M &/ " : : N 0&/: ML . . K*L O N :#" N M 5 !) K'&M ++ .-T. W N :
(132) U ZW &" ". MO 5TVU. f gul}¦xV½¿wvlk¤VlAwÄlJ{w|¥}¦tyx_s
(133) tvsE}¦xi{lJ.}¦gul'&)(+*-,/. 021436587:9-;=<-(>9-;0ulA¦{¦ty}¦tyx_sºfgut|ulA¦{¦ty}¦tyx_sdtv iV¦VjZlk}lAtvÆklJ ¼.t¸}¦glJ¶>lA{}¹}¦x4Zsuz_l~xV³Ä>xV}¦u¦x¥¤tvlJT_}¦gulj tvs
(134) _u¦lA¦ 72?2;0Zsi
(135) Z¦VsuzVlx³ x 3l}¦"B»³´¦xVj Z}¦x\Gº ± sdlAtyz_g_}½C it¸}.¦lkzVt|¶}lk@;,4*25A0+*4t|lA{kwvVlJ8}x_¶}B72?2;0·x 3¶lk} EDC_ºj tysiVwywvV· }gil\lk¤t|{l ¤¥¦tvV uwvEl ;,4*)F2?.)9A 0\t|}¦gul tysE}¦lk¦ulk}¦}tvxVs x³ }gut|¦lkzVt|¶}lk_slktvzVgE}¶½¿ uty}usityz_sulA B´ lk³µuwy} G~tysE}¦lkzVlAAºfgullJ¶iw¸}¦tysuz
Documents relatifs
The first alternative is based on the construction of a mapping between MAS model entities and the generated code while the second one considers the metamodel-based description of
Because of the abstract syntax of the language is the base of the specification –i.e., there can not be definitions neither in the concrete syntax nor the semantics for concepts that
The first language is an extended version of the Interpreted Sequential Machine denoted (eISM). eISM is a behavioral language based on discrete-events hypotheses. In
James and Roggenbach [15] have demonstrated an approach where formal DSLs within the rail- way domain aid verification in the context of algebraic specification using C ASL [23]..
However, it was shown that non-leaky solutions can exist on the longitudinal leaky SAW branch when sapphire substrate is combined with ZnO film [9].. In this
Cependant, les métaux lourds essentiels peuvent être toxiques pour les êtres vivants lorsque la concentration dépasse la limite tolérable pour les organismes dont le Mn, Fe, Cu et
It is known that in the special case of the conformal wave equation, one can study the wave front set of the two-point functions quite directly in the geometrical setup of
The key contributions are: separated specification of relations for semantics preservation, lo- cality and parallelism; schedule search space supporting arbitrarily large positive
