Towards Verifiable Device Drivers: An Approach based on Domain-Specific Languages
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}gullA¤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_sijVÀ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|¶jA·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}<}¦xVxVu¤_lksE} {x_j4jZlAsi{lA~iV{kxVj4u¦lksi¦lwvl³´xVs{}tvxVsisulkj4lksE}È>qk¦tyugiqk¦tvEul_·ilks¢qA{gut O¦Vs_}~}¦sE}r utylAsGEuljw usulx{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_}¦luswvVsuz_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}4wylAut|¶>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¾uxVjtvsul\lJutvwyxV}lA,lqAtvuguqAt|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²jssulk¼>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_j4lxV},},T³´sE}¦tv{4i_{ l Bµlk¤VlA Hj4x_s_}¦gi G }x8j¥}¦{gÈ}gulsulklJu~xV³<lk¤_lkulkjsiutysuz8{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 jVulŤ¥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 fgulrlAtvzVsx³ulk¤tv{klt|¹u lJ{}<}¦xsuj4lk¦xViA·_xVj4l}¦tyj4lJ{x_sE}Vt|{}¦xV¦ {x_si¶}tvs_}~i{gG_~>lk³´xV¦jsi{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_¶}¦lAVilJtvsuzj4xlAA·¦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|¶jA·>igEtv{Aw"uw|V{klkj4lksE}x³¹u}¦_ B´¦lkz_tv¶}lAw|ÅVx_} G·OlkjVs_}¦tv{AkºÈxV¦lkx¥¤VlAA·i}gulx{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 gutvwylix_zVj4j4tysuz
(46) w|suz_iz_lArgiŤVlZu} u¦xVz_¦VjZj4lA¦ ³´u}gilksi4³´i¶}¦gulkż Å,³´x_j}¦gul³´isi{}¦tyx_siwOusuty}¦¹x³-Z¹Ç·jsutvuuw|¥}¦tysizlA¤tv{kl ¶}tvwyw¹lJ_ity¦lA}¦gulT¶lxV³~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}-jsutvuuw|¥}¦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{ljV{kxEk·>VŤÅVtyw| iwyltvsd}¦gul4ew|suz_iz_lVgº I sÈi¦_{}t|{l_·ijV{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 uj4tysilAilTjV{kxE }xlAsi{kVi¶iwv}l
(49) ¼.guxVwvl¶lk}x³¹wvx¥¼½¿wylA¤Vlkw"x_lA¦}tvxVsiAº f lJ¶t|lAA·3}¦guljV{¦x8³µV{tvwvt¸}¢tvr³µV³´x_j lAtysiz ¶}lAj¥}t|{kVwywvilA8}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»}¦gulgux_tvÆkx_s_}w`j4x}¦tyx_s¢xV³¹}¦gulj4xVil 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¹jsutvuuw|¥}¦tysuzwvx¥¼½¿wylA¤Vlkwuulk¤tv{kl.³´usi{}tvxVsiVwyty}tvlA t|sux}~Ť¥tvw| uwvlVº S
(51) Ì TVU ¯ Ì ÑÄ UTÌ ¥«Z ^Ì m U Ì W + Ð n Å® Ì ¥« oÏ U ,¬ p ,¬ pÄ ÌÌ Ñ Ð ¾® U] « Ð b >Ì Y W Ì J¬ U « +Ì Z fgulusitvEul¶ty}¶½ i}tvxVsx³-lk¤t|{l~utv¤VlA¦lAEutvlJ<s\l lA¶}¦tvltvs}gu¦lklrt >lAlAs_} ¦lAVAº`lJ{tyÃ{g¼ Vl.l lA¶}¦tvl qsr Û Ö çÅå¦êÄáLàâå ì x ßÅì,rEà 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 !"*#$&%&$ "*'()%ETYZ+,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}gdlA¤Et|{ltvsd,}ut|{kVw¦ty¤_lkhg j. t|silklAulAd}¦x8isilk¶}¦s}gul4wvx¥¼½Cwvlk¤_lkwÄtysE}lA¶³µ_{lx³<}¦gullk¤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 BwDE=>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·ul 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 jVÀVld¢{A¦l³´uw.¶l
(58) x³¾¦lAxVu{lJ BwDE=>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¦lkluxVjtvsiAº ± lJ¶iw¸}x³Ä}gul >x¥¤Vlu¦xV uwvlkjA·_}¦gul{xlrx³Äulk¤tv{kltv¤VlA¦¹t|¹xV³»}lAs8usilJVuV uwylrsi8{xE}¦wy4}¦x lA¤VlkwvxV-·jtvs_}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}¦lkjkº 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³}¦gullk¤_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¸}<jVsutyiuwv}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_sIxVjVtys½ lJ{tyÃ{ w|suz_iz_lAJ BLÂrNÒ GAm o¿Mº f lA{kVil~lk¤t|{l~utv¤VlA¦tysi{kwyllk¤_lkwix_jtvsi<xV³l lA¶}¦tvlV·EzVxx\lkiV¦}tvxVs x³-{kxVsi{klk¦si` >l}¼ lklAs\gi¼¦lsix³»}¼¦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³}¦gulruxVjtvs\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_jtvs 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_jVsi{l>lksiVw¸}T{kxVj4iVlJ}xl tv¶}tvsuz¦ty¤_lkkº « W"® W Ì r p U c lZtvsE}¦xi{l4tvs }gut|i>lk
(70) ÂÒ sij4lJ¢Âlk¤tvtw sVtyj4lA ¥}u¦x¥¤tvutysuzT}gulwvx¥¼ 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 uv ä 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|¶jA·u}¦gul}lVsi
(78) }gilwvÅ_xV}.xV³`i¥}¦Z}¦gi¥}r¦llu{gisizVlAT}xx_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}tvxVsu¦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¦jxV³.lk¥}tvxVsxV³.{kxVsi{klk¦siVsilJVuV utvwyty}OÉ }gitv,l uj4uwvltv,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¢lgiŤ_lZ{A¦tvlAGxV},x_jtvsVsiwv¶t|rxVs¢}gulix_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}guluxVjtvsV`¼ 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¤_llksux_uzVg²}¦x¢lJ{ktv >l8ȼ.t|l
(93) ¦VsuzVlxV³¶}¦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.xVjVtys,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_sx³ÂÒÈ{¦ty}t|{kwvwv¦lkwvtylJ`xVs\}gux_x_uzVgswvt|"x³O}gulr{x_jZj4x_siwvt¸}¦tylJ<s4¤ÅVt|¥}¦tyx_si`tvs ix_zVj ³µj4tywvV·_¹¼ lkwvwOV}gulr³´usiij4lksE}¦Vw>{kxVsi{klk} x³3}giluxVjtvsº"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¦xVzVjA º I s²}¦gutv4lA{}tvxVs·`¼ l\u¦lAlksE},}¦gulxVjtvs swvt|xV³}¦gulwyx¥¼ 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_wtvssiVwyÆ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¶}ixV³ {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 }gitvrxVjVtysÈ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·Ojtvsuwy³´¦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¦lkwvtylJxVs }¦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<ju>lA tvs¢j4lkj4x_dx_ IV; Gºdx_¶},lA¤Et|{lJ¦lAEutvllk¤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² ll {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|xlJ_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}gjV{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 >llJ¶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 }lAjx³ 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{xtvsuzZlAzVt|}¦lk¤¥wvulVº S
(111) Ì TVU ¯ a Ì T ® U ®ª - Ì « Z juxV,gi¼¦ll P{ktylAsi{ ¦lAVxVso BwDE=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) }¦gulj4x}tvxVs x³ }giljZx_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¸}}lAswytvÀVlVsE¤¥¦tvV uwyl.tvs\orÒ·V¼ l{kwvw}¦gulkj * º tvsi{lr}¦gulk
(119) x4sux}tvlJ{}¦wy\jV8}¦x4ugt|{kwOlAs_}¦tvlAA·}gilAlr¤¥Vt| uwvlA{kxV¦lJ¶>xVsi\}xZwyx_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*/BsD#DF xVsiwyuOu¥}¦lAÊ E }¦gul8¦tv¤Vlk Gx_, >.l L#0BsD#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 >llk¤t|{l{x_jZjVsi6 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) xVjtvs^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{}tvxVsz_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}¦gulxVjVtys
(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|¥}tvxVsxV³-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_}¦guljtvs
(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?.)9A0\t|}¦gultysE}¦lk¦ulk}¦}tvxVs x³ }gut|¦lkzVt|¶}lk_slktvzVgE}¶½¿ uty}usityz_sulA B´ lk³µuwy} G~tysE}¦lkzVlAAºfgullJ¶iw¸}¦tysuz
Documents relatifs
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]..
The key contributions are: separated specification of relations for semantics preservation, lo- cality and parallelism; schedule search space supporting arbitrarily large positive
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
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 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