Étude statistique de l'activité de la fonction de sélection dans l'algorithme de E-méthode
14
0
0
Texte intégral
(2) INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE. Étude statistique de l’activité de la fonction de sélection dans l’algorithme de E-méthode Romain Michard, Arnaud Tisserand et Nicolas Veyrat-Charvillon. N° 5574 Mai 2005. ISSN 0249-6399. ISRN INRIA/RR--5574--FR. Thème SYM. apport de recherche.
(3)
(4)
(5) !"# %$'&( &()#*!++, &( (- .&/ 012#4365712!80& 9;:=<?>A@CBEDF@CG'HI>AJLKNMIOJLBI>APQKFR @CSLSUTVJW>ABQKFTVXYZ@CG[:A\]>AS_^T`*JW>7Xab_HI>AJc*@C\C\d:=B eNfhgijlk[monqprktsvuwxgLi_jUuyuxs[i{z7|V}~[jLu |jwyy h~ j yh7|V wyvj jL fjL fhjAI[W_prn~*VVp)L_hjLu. tL ¡¢¤£ ¥¦j§wx W¨W~}AA| xwxj©ux 8}dª whvjouw 'wx~uwx~Vhjovj©}dª wx~«¨t~¬w§}«~Ljol}«®¯|hwx~«|ZvjouL}jU w~|V hhuN}Cª }V| ~¬wfijo ª |W°t~«i 'w~|Vvj
(6) A|}«s[h±ijLu+|t¤u|VhuN}j
(7) |Vi²vj
(8) ³I´]iwf|vvj |A|Vux 7 yn¶µ7³ jV|'¨WV©hhu· ¸v¹7'ºCµ7»*}'wx~wx7vjvjl f|V~¬°huy}«_®¯|Vh w~|V¤juL}jU wx~«|¼vjUuy f~½A jLu xUu}wwL¹Vj; j Luxj[w 'wx~«|_ jLv|Vh[wj¹Aj ijw8 ª jL[¨t~uxjL vj§}«~i~wxjL ,}Cª V wx~«¨t~¬wy}«jLwx ~«[j hhu+j xw~«huyLuLµ7¥¦jw§ w~«}j
(9) Luxj[wxjh¤zvwoª wxhju §}jUu+V~huNjLt¨[~ujUz}«jLu8huyj Lv jµ ¾À¿hÁU ÃÄÅt¶£Æ ~¬wfiw~«[jZjLu{| v~7'wxjL u¹ z7uujZ|hux|ii 'w~|V¢ª jL xV~jV¹*¨'}hwx~«|¢vj A|}«st±ijV¹v³I´Ciwxf|vvjVµ. Unité de recherche INRIA Rhône-Alpes 655, avenue de l’Europe, 38334 Montbonnot Saint Ismier (France) Téléphone : +33 4 76 61 52 00 — Télécopie +33 4 76 61 52 52.
(10)
(11) 8 &$?04 , )q& 0#*++, &( $'&l(, &( ( 0#36571280& .&/Q 0¤1 LÁ ÃÁ£+eNf~ u ¦|V
(12) ¤~uouw'w~«uwx~}Iuwhvs |®wxfj V wx~«¨t~¬ws j_wx|wxfj uxj}«jL w~|V ®¯7 wx~«| ~« wfj;A|}«st|i~}, |W°t~«i 'w~|V }V| ~¬wfi4L}«}jU ³I´Cijwxf|v¶7 x|V7|[ujU z[s n¶µ³ jV|'¨WV ~« · ¸v¹h'ºCµeNfhjo}'w~¬whvj
(13) ~«Zwfj f|~jo|®wxfj
(14) jLux}¬wyv~«~wu8~«Zwfjuxj}«jL w~|V;®¯7 wx~«|*¹ +fjhux~
(15) jLhVw¦ xjL xjUujL[w'w~|V ¹}«}« | yuIhuIw|l|Vhux~«vjL , jLv7jL_jL}jU wx ~}Awx~«¨[~wsl~«Zux|ijyVujUuµ eNfh~«u+ w~«}j
(16) jLuxj[wu8wfjzAj~«~«|®Iuwhvs;|Vwfj | w uN~¤uxh f¼_ux~wxhwx~«| µ = l¿ £©|iwxj ~¬wfijwx~¹} | N´]7 | 8j |huxivwx~«|*¹7|V}st|Vi~«}j¨'}«hwx~«| ¹ ³I´]ijwf|vµ.
(17)
(18) !"#%$& ')(*$+,# . ¸. {( */Q& , &( /ohu§z7|V¼|i{z jlª }«~'w~|Vhu+jL¤wx ~wxjijLVwov u~«7} jwovjUuy~«ijUu¹jL }«}u~«jv´ w~ AVhj¼|jE|[wx ±}«j¤[hi_L x~[j¹,~}yjUuw;hLjUuxu~« j¤ ª L¨W}hj ZvjUu®¯|7 wx~«|7u }«hu |i|~«hu |i}«~«[LjLuoj vw~}«~«u[w~[jijLVwvjUu
(19) |A 'wj u
(20) u~«i}jUu
(21) |iij}dª hv~¬w~|V jw}«ilh}¬w~¬´ h}~wx~«| µ» jUuo®¯|hwx~«|hu
(22) }Vz ~«[jUu 02143658795:34;:7"< 5µµ>µ =©jw}«jLu©®¯|hwx~«|hu
(23) L}Lij[w~ jLu 0@?9ACB8D,5:E ¹ F+G ?HD,5IE¹ J+KMLND,5IE¹ O G P D,5:E R¹ Q S FT Q BUD,5IEµµLVµ =+uLª |v fj[wyuuHj W
(24) z~jL¤j¼vw~}«~«u[w§vjUu+A|}«s[h±ijLu
(25) · X'º wxjL xi~«LuL¹h Ij°vji}«j¹VW¨jL8}Cª }V| ~¬wfij+vjy+jijUu+·UWº]µ /©jLu |W°t~«i 'w~|Vhu 7|V}st|Vi_~}«jLu jLuN ~7~«h}«jLu8®¯|Vh w~|VhuNvwx~«}«~«uxjUu+j¤}«} ux~jL[wx~ 7[j7jL¨jL[w Ywx j
(26) wx |¨VjUu8hhu
(27) · [¹ XºCµ »;³I´]iwxfh|tj¹= |A|Vuxjh ©n¶µ=³ jL|'¨'· ¸v¹ Uº]¹=7jL xijw
(28) ª ¨'}«j
(29) vjUu§A|}«st±ijLu©W¨jU hjl~wxL wx~«|¼;zhVuj{ª Vv~wx~«|hu§jw
(30) vjlvU}VjLu+h x|v fjljljL}}«jlvw~}«~uLjlA| ©}«;~¨t~u~«|¼|V hhu¦}dª }«|V x~wxfhi_j
(31) [¥ Zo\ /^]x¥ ·«¹AWUº]_µ /ohu8jwN}V| ~¬wfij¹V}jUu¦ f~½= xjUu,v xUu}ww8ux|[w8wxjL ´ i~«Luvj®Å `|V~¬w 'wx~«¨\j 0Ål f~½= xj,§ fh[jI~wxL wx~«|R ==7 *}N®¯|Vh w~|Vvj¦ux}«jLwx~«|+h w~ vjLu fh~¬½= xjUuy LLvjL[wuyjwoª Lux~va 0¯U[~¨'}jLVw
(32) ¼ jLuwxj7 xwx~«j}Qhu§}«Zv~¨t~u~«|I = µ=» jLuo f~½A jLu ~uuhu{vjZ}¤®¯|Vh w~|V vjux}«jLwx~«| ¹ xjL Luxj[wxUuj¶h|wwx~«|¢ jL|h[wxj¹*|½= xjLVw_jj xw~hj }'w~¬whvjvjZ f|V~¬°Nµ /o7ulj;wx W¨W~}C¹*h|hulwx7v~|Vhu}Cª w~¨t~wxV¹ ª ¢A|~«[w{vj¨[hjZuw 'w~«uwx~[j¹ ~«i}«~«[Lj§h ,}®¯|7 wx~«|vjoux}«jLwx~«| _µ by|Vhu,h x|V7|[u|VhuIjoz7h fj©vj§iwf|vvjo7jL xijwxwVw j{ Lvh~ j{jwwj_V w~¨t~wx_jwx~«}~ux[wo}|7~uxuhjlv f~½A j{v Lux}¬w 'w
(33) uL}jU wx~«|h_Z}« j ~gL xjo~wx 'w~|V µ »_uxjLwx~«|¼_vL x~wy ~vjij[w+}Cª }V| ~¬wfijovj³´Ciwf|vvj |A|Vux©7 +³ jL|'¨'_µ b§|hu h xUujLVw|huyj®¯|Vh w~|Vvj_uL}jU wx~«| W¨jL
(34) iLi_|V x~u'wx~«| f~½A jlvj{}dª ~¬w 'w~|V LUvj[wj }uxjLwx~«|¸h:µ /o7u
(35) }«ujU w~|V h¹=|Vhuo xUujL[wx|7u§}«jLuo Lux}¬w 'w uouwwx~uw~«[jUu
(36) vjLu
(37) ux~i{}«wx~«|hu ®¯|Vh w~|VjL}}«jLu{u l}dª wx~«¨[~wxi|'sjhj;vj;}¤®¯|7 wx~«|¢jux}«jL w~|V µ ³ h ¹Q|7u|Vh}«|7ujw h xUujLVw|huN[jL}«[jUuN7jL ux7jU w~¨VjLu+_}«uxjLwx~«|4µ c d / !++({
(38) &l() %365712!80& »;iwf|vvj{ª ¨'}hwx~«| ¹7| ³´Ciwf|vvj¹=;wx{ x|V7|[uLjh on¶µA³ jV|'¨WVhuy}«jLuov´ hjLu_' · ¸¹ WºCµI¥¦jwwjZiwf|vvj;Aj ijw{vjZ xUu|Vhv jj xw~hulusvuwxgijUu}~«U~« xjUu¹*v~«|Vh}«j |i~7[wxjV¹*¤}dª ~vjZ ª hj;~¬w 'w~|V ux~«i_h}j jwl xL}«~«g j zhuxj;ª v~wx~«|7ujw{jZvLL}VjLuLµ »*jLuousvuwxgLi_jUuo}~«L~ jLuo~«z}«jLu
(39) ux|[wovj} ®¯|V xij_ xUujL[wxj_Z}Cª L[h'w~|Va 04 = µ »*j{ ~«h~«h} ~«Vw´ V Ywvj jwwji_wxf|vvjjUuwvjAj i_jww xj ª ¨'}«jL vjLuoA|}«s[h±ijLuuhu
(40) h ilh}¬w~}«~«j jL wx~«}~ux[wNh}V| ~¬wfijo{zhuxjª v~wx~«|7uNjwyvjvLL}VjLu¦¨|~ux~vj
(41) }dª }«|V x~wxfij
(42) vjv~«¨[~ux~|V k e · %¹ eºCµh¥¦jL~7Aj ijw+v|7©ª jt¨t~uxj ¦vjLu8|A 'wj u,j©Ajw~¬wj©w ~«}}«j§Aj ijwxw[w+vjo}~«i~¬´ wj y} |Vhux|ii 'wx~«|ª jL xV~juwwx~Vhj µ ] } j°v~«uwxjª wx jLuy}V| ~¬wfijLu87jL xijww[w©ª ¨'}«j jLu8®¯|7 wx~«|7uy}«Lz x~[joj"w f'|¤}«ijLVw ~« xjUuNuxhuNil}wx~«}«~jL uy|Vi_ij}_i_wxf|vvj{vjLu8w z}«jLu i{}wx~«h xwx~wxjUu
(43) · 'ºCµhn~u¹vjLVL }d¹vjUu+iwf|vvjLu+ux|[wyvL~LjLuy_j
(44) ®¯|Vh w~|V|Ljµ Z© |wxh j g }«i wx ~«j§vj§j©uxstuwxgLij_¹ i8}«jy¨VjL wj ¦ujU|7i_jLilz jyjjw ;_}jy¨VjLwxjh ,u|V}wx~«| µ »w ~«}}«jv¤usvuwxgijojLu[w kmln1µ§ gLu8 xUu|V}wx~«|uxsvuwgimj 0 =¹v}«{ ji~gL xj
(45) |Vi7|[uxVwjo ¨VjLwxjh yu|V}vw~|Vo ;jLuwy}«_¨'}«jh y¤7|V~[\w 5 v¤A|}«st±iqj p¹hvjj h kI¹hv|[wy}«jLu+|[+j r;~«j[wu ux|[w}«jLu|Vi7|[uxVwjLu
(46) vsj iWµ ¥©ª jLuw¤v~ j [j }«¤ux|}«vwx~«| v&j g ;utviljLuqw ;utxw ;y 79;_z47H{+{+{H7; |_}~ -. .. Nx6"V .
(47) . @V#6!9 > ++!96:
(48) 6!9(8# !"H C6 1 [5 1 . µµ . [5 1. . [5. . . µµµ µµµ µµµ µµµ µµµ µµµ µµµ µµµ µµµ . µµ µ µ µ µ µ µ 1 [5 1. $ y $ z ;! $ µµ µµ µ t µ µ µ µ µ µ µ ; # | " z # | $ "z ;| $| . . ;y _; z. . . 0=. wj}«}j[j ; yht p&D@5IE t $ |M5 | l $ |%" z>5 |#" z l& l $ y 0d = Z©wx |¨Vjohhu
(49) · ¸v¹hWº }«jLuN}«~«i_~wxjUu+uh 8}«jLuN¨'}jL u8A|Vuu~«z}«jLuNA| N}«jLu+|[j+r;~«j[wu+vj p&D@5IE8jw ux
(50) }Cª xVij[hw 5Uµ /§jUuowxjU f~VhjLu
(51) vji~«uxj_}Cª U fj}«}«j{Aj ijwwj[wvj}~«i~¬wj }Cª ~«ihwvj_jLu |[wx ~«[wxjUu©·« º]µ ¨'[w vj¦ Luxj[wxjL *}Cª ~wxL wx~«|vj¦}«§³I´Ciwxf|vvjV¹L|Vhu*j¨|Vhu ~«[wx |vv~« xj,[jL}«[jUu*h|wwx~«|hu wx~«}jUu;A| ;}¶ux~¬wjµ8»* zhVuj vEuxsvuwgij vj¼ j Luxj[w 'wx~«|vjUu |i{z jLu jUuw;|wxL(j ' 0¯jL h wx~Vhj)¹ ' t+* hhu{j;w W¨'~}C¹i ~«ul}jUul Lux}w'w ulAjh¨j[mw Ywx jZVL }~uxLuhu_ª vwx jLu z7uxjL>u = µ,»*j¼¨jLwxjL ZvjUu; Lux~«v7u¹,j¤w~«}«}j k l 1¹jUuwZh|wx- ,µ¦»*jLu;v~½= j[wxjUu;¨'}«j u;ª j [h[wx~wx
(52) huN}«j©wxjihu+ux|[wN xjL Luxj[wxLjLu8W¨jL§}«_|wwx~«| x|v fjw 0d|Vi_ijojwx ~wxjLi_jL[w+ ux~«h} =µ7I
(53) j°tjLi}.j , w / },v|wxj_}j_¨jU wj vjUu© Lux~vhuoZ}. /V~«gij_~¬w 'wx~«|*µA»*j_¨VjLwxjh ovj fh~¬½= xjUuv Lux}¬w 'ww x|V¨;¼ fhV[j~¬w 'wx~«|( / jLuwl|w1 0Rw / }Cµ³¶zhVu2j *7¹ h lj°vji}«j¹*jLu fh~¬½= xjUu+u|V[w+hhuN}Cª jLhuxjilzh}.j 34 5776 7 1 78 7H1 786 795;:Vµ »,ª }V| ~¬wfij
(54) j³I´Ciwxf|vvjjUuwyh xUujLVw
(55) j hh xj Vµ» j¨jU wj §jLu+ Lux~«huNjLuwy~h~¬w~«}~u W¨VjL}«jLu
(56) |[+j r;~«j[wu
(57) v 7|V}st±Vi
(58) j p 0Å}jUuo|iA|Vu[wxjUu©v&j i=µ » j_ xjLi~jL ©¨VjL wj
(59) vj f~½A jLu Lux}wwNjUuw+}«j¨jU wxjL +t}Cµ < @6 +@>= , w 6 }A@B i. ? C +!9R0 w 6@}D@BGE = F H I ¿= J/ 1 LK M ON , w / }Q@1R'TS%,
(60) w /T 1+}U g0Rw /T 1+}WV. P , w / },E X !9 >% R0\w / =}A@BE[Y DZ [ ; y w K } t^`ac_ b z 0 y w d}e' " a ]. fhgjiOk mlZy}«|V x~wxfijª ¨'}«hwx~«|¤ª hA|}«st±ijW¨jU§}_³I´]i_wxf|vvjo0¯¨jL ux~«|Z¨VjLwx| ~«j}«}j4= µ. njo Qnqp.
(61)
(62) !"#%$& ')(*$+,# . . ¥¦|Vi_ij©wx|Vhu8}jUu¦}V| ~¬wfijLu8zhVujoª Vv~wx~«|jw+vjvLL}jUu¹V}«l³I´]i_wxf|vvj
(63) |vv~w8h fh~¬½= xj{v Lux}w'woZ fhVVhj~¬w 'w~|V¼j|iij`L[w§h ©}«jLu§7|V~«u§®¯| xwuLµ=»*;|hL'wxLh'w~|V jLuv~½AL xjL[wu f~½A jLu©®¯|V xh~¬wj ¨'}jL Vh~Qwxj7 ¨Vj uo}«¨'}«j
(64) i 'wfi wx~Vhj Lux}w'w 0dl}Cª ~ 7~ =%µ ]~C¹v}jo Lux}¬w 'w+vj
(65) fh[j©~¬w 'wx~«|jLuw8h¨VjL wj Nvj f~½A jL\u 0Iw / }]µv³h wx~Vhj¹t}j L}}tjUuwIvL|iA|Vux¦jL{wVjLuL¹L| {}«jN}h}t| xjUuA|7[w ©jN}«~VjNv_uxsvuwgij8}~«L~ j 0 = jUuw+j½AjU wxho7 NwjVµt»*jLuN f~½A jLuNv¤¨VjL wj \u 0Rw / }*uj
(66) |hjLVwNv|7©ux +}«jLu8w jUu8jw+}j Lux}ww hhI} p&D@5IE,jLuw¦}lux| xwx~«j§vZvjL xh~jL ,w VjµV»,ª ~wxL wx~«| jUuw8zhuxjou ¦ZL}}=u~«i~}~« j ojL}h~ª hj+v~¨t~u~«|{| {}dª | ~¨t~ujL ~¬w ,h Q}§i 'w x~j g 0j,jLuwh}|Vj8§_ jLuwxj8h xwx~«j} = µ Q|V I fh[j8}~«hj d t`7+{+{H{7km 18vjN}«oi 'w x~j g ¹'}«jNL}}vj½AjU wN7|V I fh[jN|Vi_A|Vu[wj jUuw , a w / }:t&' , a w / n1}U 0 a w /n1}%l 0 a zw / n1}5
(67) 0Ÿ = /o7uN}jLhu d t kI¹v}jL}} uxjux~i}«~ 7jojL , | w / }:t&' , | w /T 1+}UG0 | w /n1}
(68) µ Z© |wxjyhu}Cª L[h'w~|V 0Ÿ =Vhj+}j§uxjh}h |vv~w 0 a z w /\ 1+}C5 jUuw¦j®Å~w,hjyil}wx~«}«~«L'w~|V ª ¤ f~½A j 0 a z w / 1} h Nh|ilzh xhj 5*µv³¤ 'w~«[jV¹vjwxwxj
(69) Ajwx~wx j ilh}¬w~}«~'w~|V ©jUuwN®Å~wxj jLZux}«jL w~|VhVw8}jozA|Zi{}wx~«}j
(70) vhj 5{'|VvwxjL ,h xi~A}jUu8~¬½= j[wu¦ilh}¬w~}«jLu8A|Vuu~«z}«jLuLµv¥¦jU~ jUuw+A|Vuu~«z}«j 8}«jilh}¬w~}«~7vj 5 jLuwy|7uw [w+7jLh[w+w|vwjo} v jvj}Cª }«| ~wxfijµ »*j_L}}QvjLuo|V¨jUv°wxjL xijUu©v xUu~v ª ~«i}«~«[j[j{vjUu
(71) v~wx~«|7>u fu|Vhuw V w~|Vhu+jw jLu{ x|vvh~¬w u{ª ?|i{z xjh {?uxjh}8 f~½= xj 0¯jw_Ajw~¬wU¹ ~~N~«}¦jUuw~«v®¯ ~jL - 5=µ Æ fhVVhj ~wxL wx~«| ¹*¶|h¨jL ¨jLwxjL lvjZ fh~¬½= xjUulv¶ Lux}wTw 0Rw / }8jUuw |vv~wLµ¥¦j;}«}¦uxj ®Å~wljL wx~«}~ux[w©} ®¯|7 wx~«| vj{ux}«jLwx~«| Y v 7~jhu§h Vv jL }h o}dª j°v jLuux~|V 0¯_ =¹=| jUuw{}«¼¨'}jL li '°v~«ili#wx| ~uLj_A|h l}«jLul fh~¬½= xjUulv xUu}wwj¢h|wwx~«|¶ jLv|VhVwj 0¯~~ t&5= µ /©jLuyvw~}uN7jL¨jL[w Ywx j
(72) wx |¨VLuNhu
(73) · ¸h¹hWº]µ 5Hl 143 6 7qux ~ 5 Y[D@5IE t uxux~«~«jj 5 0¯_ = 5 5 j7 dk"!4k 7 # $ &(, &( #*!++ &() § + 12!y12& / h¶vj }~«i~¬wj }Cª V w~¨t~wx vj}dª hv~¬w~|V¶v L}}j.,
(74) w / }\@B ' S ,
(75) w / 1} ag0Iw / 1} V ¹ h|huN |A|Vux|7u,hj|¨Vj}«}jo®¯|Vh w~|Vvjux}«jLwx~«|¤W¨jL©ii|~« jµvQ| +}«jLuNh}«jLuNvj¨'}jL u | } ®¯|7 wx~«| vj{ux}«jLwx~«| Ajvw
(76) jwx|V j §jv° ¨'}«jh u§7|V ©}«jlh|¨VjL fh~¬½= xj_v Lux}w'w 0dZ}Cª ~¬w 'wx~«| /M= ¹ |V jwx|V j{}«jvj ~«j f~½A jvwx~«}~ux 0dµ µ µ }dª ~¬w 'w~|V
(77) /. 14=©ux~Ij f|V~¬° jUuw+A|Vuu~«z}«sj 0¯~«}}«huwx 'w~|VjL hV j¹ _¸ = µ »ux~i}«~~wxvj}«Z®¯|hwx~«| vj_ux}«jLwx~«| 7jL xijwvj_}dª ~«i_h}«Vwj ux|hu©}«Z®¯| ij_ ª |A´ 'wj Zi_|V~7uZ| %vwxjLv° V*ª hj¼wz}jVµ8» ®¯|7 wx~«|EjuL}jU w~|VEuxhu ii|~« juj ujL wj }« jL|hhjNA| ¦ ª vwx~«}~uxj ¦[j§}«
(78) h w~j+jL[wx~«g j &sDj,hEv Lux~« jw,}«jy ji~«j z~w¦vj©ux7 xwx~«j ®¯ wx~«|7~« x(j '&Dj, E)µ /o7u }« ux}«jLwx~«| W¨jUiLi_|V~ j¹I|V |7ujL x¨Vj} xjUv|7hj¤7|V |® ´ ®¯ ~« ohj}«wx~wxhvj ux
(79) }j f|V~¬°v f~½A j¹ h vj ~«¨[~«}«~«j o}«jLuVu©[~Ii~«~«i_~uxj[w}dª wx~«¨[~wx 0 Y*),+DZ, w / },E t Y-).+9Dj, w / 1},E=µ ] }vjLuw,}«| u LjLuux~ jNvjN xjLhv jNj |Vi_wxjN}«huvjNz~wu/ j '&Dj, E 0d¸_7|V +|VuN7 igw xjUVu =,}|V u[j
(80) }dª |¤v|V~¬wyzA| j +j}«~¬´ ~Cµ. Nx6"V .
(81) e. @V#6!9 > ++!96:
(82) 6!9(8# !"H C6. fhgjiOk=l;w jvjL}}jw+®¯|hwx~«|¤vjux}«jL w~|Vu7u 0Å=8jwyW¨jL0ÅzR=8ii|~« xjVµ. fhgji k¸ l|Vh w~|V vjlux}«jLwx~«|¼uxhuq0d=Njw©W¨jU&0¯zR=NiLi_|V~ jA| m' t* jwo}jUuy f~½A jLuyhhu 3 5 7 76% 7+1797+1 7 6%785%:µ. njo Qnqp.
(83)
(84) !"#%$& ')(*$+,# . . hEvj ¨V ~ hjL ;[j¼}« iLi_|V x~u'wx~«|6j|%vwj¼hu wx | fj jL 'wx~[j¹,|huZW¨|7u j½AjU wo[jL}«[jUu¦uxst[wxfgUujUu,ux 8jLuN~« ~wu ©~ xwxj°Zª hZA|}«s[h±ij©vjovjV x©{W¨VjLy¸[ zh~¬w uvj xU~u~«|*µ=»*jLuo Lux}¬w 'w uojuxst[wxfgUuju|V[w
(85) h xUujLVwLuo7u
(86) }«Zwz}j¤Vµ³ h wx~Vhj¹=}« iLi_|V x~u'wx~«|jw¦}i|t~ 7L'w~|V;vj§}
(87) ®¯|7 wx~«|;j©ux}«jL w~|V 7|V ¦~i~«[hj ,}Cª w~¨t~wx©j§|%vwxj [mj X²jLuh ®ÅVjljL}«huLIµ /©j_}7u¹=j Vuxu[w§}«j{ fjLi~ ~¬w~«[jV¹7|wx jwjL f~[j_7jL xijw iYLi_j_vjl[Vj yh 7jL j¨[~wxjUuxuxj 0Åm = :µ by|Vhu©j¨|Vhu+i ~«[wxjLh[w© j®Å~ jjUuywjLuwuouh §j wjL fh|}«|~«j
(88) ©Mk ]x¥©µ ³½A|V w e~}«}«j Q ~|vvj kt|V}wx~«| ktstVwfgLuxj · tz µhux}«~«jLuº · 7uº khu ux x®Åj t¸ H Xµ n i|~« xj ¨[~wxjUuxuxj H eµ ¨jU ux x®Åj _ e µ X n i|~« xj ¨[~wxjUuxuxj hU H eµ .
(89) k ml;yLux}¬w 'w uyvjust[wxfhgLuxjµ
(90) +²*/²+ 0& # %$'&( &( *!++, &( /ohu8jwwj©uxjL w~|V ¹h|hu, xUujL[wx|7uI}jUu, Lux}wwuvjou~«ilh}«wx~«|;ux ,}«jLu¦ f|~°_j½AjU wLu¦h }+®¯|Vh w~|V{vjNux}«jL w~|V{hu_Luh xwx~h}~«j 0¯}§z7uxOj 'utE*
(91) W¨jUI}«jLuQ f~½A jLuQhu*}Cª jhuxji{z}j 3 5 7 76%7 1797+1 7 6%785%:=µ7» jUu}VjLujZ jLv|Vh7j A|Vuu~«z}«jLuux|[wl~«}}«huwx jUuj 7 j hµ Z© |huwwxj
(92) z~«j}jUu+~«Vwj ¨'}«}jUu¦| ¼vjv° f~¬½= jLu+ux|[w+7|[uxux~zh}jUuµ. . fhgjiOk7 l+jUv|hhhj©A|Vuu~«z}«j7|V ' t&*jwy}jUu+ f~¬½= jLu+hu34 5776%7 1 78 7+1786 795%:[µ. b§|huyW¨V|huNU ~¬wyhh x|V iij© L}~ux[wN}«jLu§v~¬½= j[w uy}«}«u§vj}dª }«|V x~wxfhi_jv|V~¬´ jLuuhuyjw©Aj ijwxw[w© ª j°[w ~ jvjUu©uwwx~uw~«[jUuyuh §}Cª vw~}«~uxwx~«| vj{}«®¯|Vh w~|V vjlux}«jLwx~«| µ ¥¦jUuNuw 'wx~uwx~VhjLu+ux|[wN®Å~wxjLu+ux yVlL¨'}«h'w~|Vhu8j¤v~¬½= j[w uN7|V~[wu+W¨VjL§j L~«ux~|Vvje zh~¬w u,jw¦7|V}st±Vi_j©vj©vjL yhµt»*wzh}j
(93) Luxj[wxj©jLu¦uw 'w~«uwx~[jLuLµVQ|V ¦ fhV[j§}«~Vj§vj©}« w z}«j¹7}j_ f~½A jlv Lux}wmw 0 a w /}QjLuwoux}«jLwx~«|hj xw~«¤|i{z jlvj®¯|V~«u©uh~¨'[wo}jl fh~¬½= xj Lux}wwl}Cª ~¬w 'wx~«| LLvjL[wx2j 0 a w / 1+},j¶|V}|VjVµ » jLu xUu}wwuux|[w|V xi }«~uUuoux }«j |vv~w©v h|ilzh xjª ~wx 'w~|Vh u 0Å}«; xU~u~«|I =8jwo vjV xv7|V}st±Vi_jVµ7»;VujjL 0Z¹ =. Nx6"V .
(94) . @V#6!9 > ++!96:
(95) 6!9(8# !"H C6. hVuxuxj }«¨'}«js 1 }j f~½A jB h wlvjZwx gLuh|ilzh xjLhujUu
(96) ®¯|~u 0Åh {j°vji}«j;}«| ulvj }Cª ~~wx~}«~uxwx~«|R=©jwjL 7 xwx~}«~jL L¹=~«}Ajvwlh wx j{ux }«hux~jL u
(97) }~«jUu
(98) vj }«i 'w x~j_A| hj~¬w 'w~|Vv|VjVµ 0 a w /T 1+}. ´¸ ´ ´ ¸ ´ ¸ hµ V µ hµ V µ µ hµ V µ ´ hµ h µ V hµ h µ V µ ¸ hµ V¸ µ ´ hµ V µ hµU µ ¸ µ hµ [ µ 0 a w / } hµ V µ hµ [ vµ e µ [ hµ h µ hµ V¸ µ V hµ e µ µ hµ V µ hµ V µ hµ µ µ V hµ V µ ¸ hµ V µ hµ V µ µ hµ h µ
(99) klk[wwx~uw~«[jUu+vj}_ux}«jLwx~«|¤uw hh µ »_wzh}j¸ Luxj[wjo}«jLu§uw 'wx~uwx~VhjLu+|VzvwxjL[hjLuNA| y}«jLuymi YLijLu+h igwx jLuNjwy¨'}«j u+[ ª };uxjLwx~«|¼ LLvjLVwjj¼wx~«}~ux[w©}®¯|hwx~«| vj_uL}jU w~|V ii|~« xjVIµ Z©|huwwxjz~«j[j }«j|i{z j_vj Luo| }j f~½= xj v xUuh}¬w 'w f|~ux~ jUuw }dª ~¬w 'w~|V
(100) / }|V uo[ ª ~}I¨'}~wv 6 }Cª ~wxL wx~«| /
(101) 1 jUuwZij[w 0Åj u|VVw;}«jLuZuxjLu j }«¶~«|7}«j = µI³,Eh xwx~h}~«j U¹I}« ®¯ L[jLhjv L u 0d¹ =8jLuw§hij[wxLjj[~ jUuwyhjz7|Vj f|[uj
(102) A| §}~«i~¬wj y}Cª V w~¨t~wxvj }«} jw
(103) }dª wx~«¨[~wx{h ux~wxjUµ Z© Ajvwv|VhjUuA j o[~«ux ©}Cª w~¨t~wx_hu©}Cª wVj{vj L}}Iv®Å~wVhj_j fh~¬½= xj_j fhhjl7uojw}Cª xVij[w 5 jLuwhuux~ |huwVw
(104) A| fhVVhj A|~«[wyª L¨'}«h'w~|V µ 0 a w /T 1+}. ´¸ ´ ´ ¸ ´ ¸ hµ V µ hµ V µ V µ hµ V µ ´ hµ V µ hµ V µ µ [ hµ V µ ´ hµ V µ hµ [ µ ¸ µ V hµ [ µ V 0 a w / } hµ [ µ hµ [ ¸µ µ ¸ hµ h µ [ hµ V µ hµ V µ ¸ µ X hµ h µ ¸ hµ V µ hµ V¸ µ«W µ ¸ hµL µ ¸ hµ V µ hµ [ µ µ hµ [ µ
(105) kA¸Tlk[wwx~uw~«[jUu+vj}«ux}«jLwx~«|¤W¨jL©ii|~« jµ &(¦* &( 8 N/ +, + ¥¦j_wx W¨'~«}Iu }Cª w~¨t~wx vj}Z®¯|Vh w~|V jux}«jLwx~«| 7u
(106) }«³I´]iwxfh|tj_i|VVw xj [ ª ~}IjUuw A|Vuux~z}«j
(107) vjv~i~«tj +}{|hux|ii 'w~|Vvj
(108) }Cª |V7L wxjL Lµvn ~[wjhVwU¹t~}jUuwy}~« +[ ª ~«}juLª ~w . . njo Qnqp.
(109)
(110) !"#%$& ')(*$+,# X. [j
(111) ª jowhvjuw 'w~«uwx~[jµt³h xwx~h}~«j U¹VjLZ 'w~«[jo}«j©}«Vj Nu |%vw¦}«~«
(112) v°;uw|v
(113) WjovjLu fh~¬½= xjUu 0 a w /1 1+} 0Cz~wuux~«¨W[w{}zhVu4j =jwv6|Vi_7 'wxjL ¨' Vi_jL[wxj { Aj?}« ux x®Åjov¼~ ~wLµ b§|hu|ivw|huZ~i}[wj Zh|wx jux|}«vwx~«|Eux vjLu;wxjL fh|}«|V~jUu;©Mk ]x¥²A|h ZA|¨V|~« ;j® ´ ®¯jU wj vjUuux~i{}«wx~«|hu
(114) ~«¨jU }«jLwx ~«[j hu
(115) ¶W¨jL~
(116) |v fjµ b§|hu
(117) Ajhux|7uVhj;jw }V| ~¬wfij{jUuw~«[wx jLuu[w
(118) ª A|~«[wj ¨[hjj_}¤|Vhu|Viiwx~«| ª Lj ~«j o~«} Luxj[wj jLu~«i}[wwx~«|hu{W¨jL jLulux x®ÅjLuzh~jL¶i_|V~7v xjUul[ ª j¢wx~«}~ux[w{vjLu{u|V}wx~«|hu{¼zhuxjZvj i{}wx~«}~«jh uLµ7¥¦jL~7jLvw§v|7 Ywx j
(119) wx|Vvw+7|V +}jUu8wxjU f|}«|V~jUuNW¨jL©vjLu+| [w u8j©®¯h~¬wjLu ~«i7|V w [wuLµ³ 7 ¹ |Vhu
(120) 7jLhux|hu~«[wxL j jw}V| ~¬wfij hu
(121) h|wx jL 'wj vj ~« ~wu · Wº]µ !+$'!N/Q+(8+ · º bl!V µ :
(122) ¦Vh ~6ujLszh > xIj+ hU 4h "µ ´ +n¶$ µ[ \n 6:} }«j> U6$µ Ih%h* +w!>~|V hu, |W°t~«i z}«j+ztsj´C®¯ V wx~«|7uIµ ] # +( ¹'IV~ 7 |'¨jV¹'¥8}~®¯| ~¹ ©k¹ by|'¨jLilzAj V7µ · 'º 8µv j /©~hjL f~«hlµveN~«uujL hµQkt|ijo~i ,|'# ¨ jLi_*jL[!":wu¦6|@Z6Ii{ "}! wx6~«h$ x6 wx~>wxjo%$ wz6}«&jLu8 i6$jwxfhI|t%h*+u! µ ] bµ
(123) 8 jUuxuo7 »,µ ¥¦~«i~h~jL h¹AjUv~wx| uL ¹ !",#M$&+@ #$ ¹hjLu
(124) W lAL¸[v¹ ~«}d¹A¥¦|V}|V Vv|h¹ VjVMµ ] ³³,³yµ · ¸ºn¢ :µ /{*6µ= :³>6$ jIV%|'*¨'! µ +I+!9 $&+#H%!+4 6@6n&'>%I+@ I >6$I%*6@6 µvRf /wxfjUu~uL4¹ /©jwLµ'|® ¥¦|ivwj kv~jLhjV¹ §~«¨j ux~¬ws|® ] }}«~«|~u¹ § xzhh'´ ¥¦f7ih~«*¹H X[vµ · ºn¢ µ /{!"µ³#% $ jL
(125) |'I¨'$N $-7:_ +e
(126) $µ[+»**6h@)µ6( "@6 6:*!,+!9+( 6Q !"#%$ = ( ( >%!"!V:V µ .
(127) }« ¦jL ++ji~«¹ H XX7µ / · 'ºn¢µ /{µ=³ jV|'¨WVµy jLj } f7 8 xj 9´C'|V x' ~«j' [wjL!96i_ +j wx+f|v@¤ ®¯ m|V © jL¨' }«6$h'Iw~%|V*¼+!>| ®I®¯hwx~«|huo7 |ivw 'w~|Vhuy~« v~«~w} |Vi_hvwxjL Lµ. ¹¥,´ e0] = e e[ l e h¹H X[Vtµ · eºn¢µ /{µ,³ jL|'¨'"¹ 7µ n¶µ,n¼}«}«j U¹hµ¦eN~«uujL @h µ 1) !V9 !96 $m$&~«i_2+h }4jLi_3\jL6[*w'w ~|V!"?!94| '®oA6!|}«st4| "´ i~6} !9 j¨'}«+h4+wx 6~«|: $+}«)|V x6~Iwxfh iµ >V] 7 kv %] !9³y ¹A2 CjL.v~ wx|V$ L-¹ :0 %M 0 5 ( ¹t¨V|}«ij© eV[t¹hVjLuy' lA ¹ Zowx|´ zAj lH X X[vµ · W*º 7µ ¦µ98§ xwLµ 6$I%*+!: I!9; $&6@6 µ < ~}«jsV¹ H Xe µ · ºµ=n ~« fh ¹Alµ=eN~uujL h¹=hu bµ Ijst 'w´¥¦fh x¨t~«}}«| hµ /§~«¨tjL v~«¨t~«j
(128) ~« ~¬w
(129) jLj´ 'w| UµQfVwxwx f fW}«~«v®¯| jVµ jLhu´]}«s|*µ ®¯ ft¹thµ · X*º 7µ ´]n¶µn }}«j Uµ ') +$+*6! 0 %I+@
(130) = _6!",#M$
(131) I $-: +$+*6@6 = µ
(132) 8~«
(133) t?f >huxj U¹
(134) 8|[uw| ¹ X X[vµ ·«Lºo³§µ[+jLijLuLµ=kth |vLy|t ¨Vj j^[wI> ª !:+ |W°v1[~i !"wx ~«|huQuxhjLuu~«¨jUuQ7|V ,vwxj i~hj }«jLu A|}«st±ijUu+ª |W°v~i 'w~|V µ T ¹ H X e¸ lv eV¹H XV¸hµ ·«%º 7µ I|V}«j Uµ8eNfj[¥ Zo\ /^]x¥ |ivw~;wxjL fh~«[jVµ ' !9 + +@
(135) 6$I%*+!> ¹A³8¥,´ R 0Å_¸ = ¸V¸ lv¸¸h¹h XV Xµ Nx6"V .
(136) U. @V#6!9 > ++!96:
(137) 6!9(8# !"H C6. ·«U'º%7µ < }¬wfj UµV ~ hjL}V| ~¬wfiE®¯|V *jL}jLi_jL[w s©®¯h w~|VhuLµ ] 6R 6$I%*! 6+!9+I> 1!9H>>>6M 6 ¹X[tVµ[yj ~[wjL{~_³yµ'³yµVk 8 wVW}hvjL L¹ 6$I%*!O !",#M$&@ ¹ I|}Cµv¹4] ³³³ ¥¦|VivwxjL ©kt|v~«jwsZ xjUuxu+evw| ~«}d¹»*|VuNy}i~wx|VuL¹A¥8l¹X Xhµ. njo Qnqp.
(138) Unité de recherche INRIA Rhône-Alpes 655, avenue de l’Europe - 38334 Montbonnot Saint-Ismier (France) Unité de recherche INRIA Futurs : Parc Club Orsay Université - ZAC des Vignes 4, rue Jacques Monod - 91893 ORSAY Cedex (France) Unité de recherche INRIA Lorraine : LORIA, Technopôle de Nancy-Brabois - Campus scientifique 615, rue du Jardin Botanique - BP 101 - 54602 Villers-lès-Nancy Cedex (France) Unité de recherche INRIA Rennes : IRISA, Campus universitaire de Beaulieu - 35042 Rennes Cedex (France) Unité de recherche INRIA Rocquencourt : Domaine de Voluceau - Rocquencourt - BP 105 - 78153 Le Chesnay Cedex (France) Unité de recherche INRIA Sophia Antipolis : 2004, route des Lucioles - BP 93 - 06902 Sophia Antipolis Cedex (France). Éditeur INRIA - Domaine de Voluceau - Rocquencourt, BP 105 - 78153 Le Chesnay Cedex (France).
(139). . ISSN 0249-6399.
(140)
Documents relatifs
1) La recherche des victimations dans les établissements scolaires, à commencer par la Martinique et la Guadeloupe (territoires français d’Amérique), puis sur les
Repérer les signes, les traces et les discours de la commande au sein des espaces de l’édition professionnelle, comme nous l’avons fait pour le cas particulier des éditions du
Dans ce contexte, afin de venir en aide aux différentes parties prenantes présentes sur le terrain de la collabora- tion et afin d’appuyer les décideurs dans leur
can observe that it is composed of three layers: (i) service instance layer, which represents the services, denoted by a service instance; (ii) network slice instance layer,
Les deux indicateurs précédents (encadrés 1 et 2) donnent la synthèse des asymétries existant entre les structures d’exportation, par branche et par destination, d’un PECO et
dant, il décrit les utilisateurs de covoiturage comme des personnes « militantes » ou « associatives » et leur pratique du covoiturage s’apparente plus à la mise en commun
Para um diagnóstico preliminar do nível de resíduos presentes nos frutos de mamão comercializados no atacado de São Paulo se montou uma parceria entre os projetos “Otimização
34 Although the radical cyclization route was a useful approach for the synthesis of helicenes due to the facile preparation of the stilbene-type starting material and
