Radix-10 BKM Algorithm for Computing Transcendentals on Pocket Computers
16
0
0
Texte intégral
(2) INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE. Radix-10 BKM Algorithm for Computing Transcendentals on Pocket Computers Laurent Imbert , Jean-Michel Muller , Fabien Rico. No 3754 Septembre 1999 ` THEME 2. ISSN 0249-6399. apport de recherche.
(3)
(4)
(5)
(6) ! "# $%&(')*
(7) +(,- +.0/213+413+&
(8) .5+ 678/
(9) 912 :$%;(')*
(10) 1< . =>@? ACBEDGF4HJI-KLBEAMF*NPORQ@BS>@D
(11) TUWVYX#Z[B]\^UW? \_\YBEA8`4Obab>@K V_B]D7cdVYX]egf hjilknmPo*p*q rtsnuGvwo8xwySz{vw|nvwonx on};|~]xw|nGxLJm4[ySx vwlo 3y]Jon};;snu0~]v o &~]G ySJ};Goto#|ilon|ilo:u4S]q@onG}onm*Go{{4q p!0~]zo# 2#E G¡{¢¤£ o¥Go#onu¦}¥~§~Sgv©¨@ª«¬{~]Jv®~]u¦}!y]¯°}Jilo±j²8³´~]x zySJv }JiGm¶µ·¸}dvw~¶JiGv©¯¹}ª¸~]ul@ª¸~SG»º ¼ ½ &¾t· ¼ ª¿x v ÀoÁ~]x zySJv }JiGmÂ}Ji0~]}4~]x xwyÄÃd¯¿~SJ}*|#ySm¥GG}~]}JvwySuÅy]¯j|#ySm¥GxwoC¨7oC¨g ySulonu¦}Jv®~]xw!~]ul¤xwySz¦~Eª Jv }JiGmPĵhjiGvw ~Sgv©¨@ª«!¬onJvwySu¶vwGv }~]Gxwot¯¹yS v m¥GxwonmPonu}~]}JvwySuv uÆ~[y@|Àon};|#ySm¥GG}onµ ǶÈÉ ÊË4Ì EÍ2{¢ÏÎ xwonmPonu¦}~]J¯YGul|n}JvwySulº ¼ ½ &¾ · ¼ ~]x zySJv }JiGmPº ¼ ySm¥GG}ond;Jv }JiGmPon}Jvw|{º ~Sgv©¨@ª «¥~]Jv }JiGmPon}Jvw| Ð ÑbÒ¸Ó¿ÔÕÒjÖ»× ÓÙØÛÚnÜ Ý3÷<Þ@ø[ßù2à{ú2áMâÙûßü ã¿ÞáMêYäåýgâ¿æèþÿEçâ¿é áêYëE¹æ ìíáMã â¿ø[îù2ßã¿ú2äðï#ûñEü læ3ù3çEæû Þ òtü ê ßùLâ¿óÛú æêäõôõôöæ Râ¿æë]ßMäåâ¿æ Þ@ßà{áMâÙßã¿áMäåâ¿æèçé êYëEìíáMâ¿îßã¿äðï#ñEæ3çEæòtßâ¿óÛæäõôõôöæ . . . . Unit´e de recherche INRIA Rhˆone-Alpes 655, avenue de l’Europe, 38330 MONTBONNOT ST MARTIN (France) T´el´ephone : 04 76 61 52 00 - International: +33 4 76 61 52 00 T´el´ecopie : 04 76 61 52 52 - International: +33 4 76 61 52 52.
(12) :+ ; [J
(13) 1 1.
(14) 1( ^ '-)4 /2/2)41<13. "#+/b
(15) +4.
(16) [+.0/213+4+&
(17) 13. .0)4 13. /L/L)j 0 /213.41;.01
(18) ¢ ySl;GyS y{ySul&Gulod¬{~]Jv®~]u¦}oGo*x õ~]x zySJv }JiGmPo±j²8³ ~Sl~]G}s#o!~]Æ|~]xw|nGx2onu0~So «gµ ¼ åo#J}¥Gu%~]x zySJv }JiGmPo ~SGgv }JvwySulon}!Gs#|~]x®~]zo#ĺèGv [onJmPon}P åsn¬{~]x lon¥~]GvwGonmPonu¦}-Go# oC¨g ySulonu¦}Jvwonx xwo#on}jxwySz¦~]Jv }JiGmPo#;|#ySm¥GxwoC¨Go#µ ¼ on}J}ot¬onJvwySu ~Sl~]G}s#o4x®~40~So!«o#J} Go#J}Jv uls#o x v m¥Gx®~]u}~]}JvwySuÆGGo#|~]xw|nGx®~]}JJvw|#o#&God[y@|ilo{µ ¢ ySul|n}JvwySul^snxwsnmPonu}~]v o#ºg~]x zySJv }JiGmPo# ¼ ½ ;¾t· ¼ º{;Jv }JiGmPsn}Jvwlo;Go#3ySgv u0~]}onGĺ Ì Ê ¡ ~]Jv }JiGmPsn}Jvwlod0~So¥«.
(19)
(20) !#"$&%'(*)+ -,.0/1 ,124365,7!5,8 9:2;,=<>?34@54 A%'(*)+ B562. . C@+& 0 8)4/R
(21) + ½ GRzy~]xvw»}yGo#Jv z{ud¯Û~SJ}biGv©¯Y}ª¸~]ul@ª¸~SG~]x zySJv }JiGmPb¯ÛyS»v m¥GxwonmPonu¦}Jv uGz8onxwonmPonu¦}~]Jt¯¹Gul|n}JvwySulRy]¯ ~P|#ySm¥GxwoC¨§¬{~]Jv®~]Gxwo*ySu [y@|Àon} |~]xw|nGx®~]}ySµè ;~!mÁ~]}J}on y]¯<¯Û~S|n}ºG}JilodmPy{J}Ãèonx xLÀulyÄà uJiGv©¯¹}ª ~]ul@ª¸~SG~]x zySJv }JiGm¶º^u0~]mPonx Å}Jilo ¼ ½ ;¾t· ¼ ~]x zySJv }JiGE m DGFlº FIHÙº^i0~S¥ o#onu }JilKo JlJ}P~]x zySJv }JiGm lo#¤¯ÛySon¬{~]x 0~]}Jv uGz}~]ul|#onulGonu¦}~]xw¥ySu ~ y|Àon}|#ySm¥GG}onµÆ;o#|#onu}!GJ¬on@|~]u7 oP¯ÛySGul v Lu DGFlMº FHÙµ @on¬on~]x~]G}JilyS!o#|#onu¦}Jx JGz{zo#J}o# o#gGull~]u¦=} DGFHj¬onJvwySul!y]¯ ¼ ½ ;¾t· ¼ ºR}yÆzon} ¯¿~SJ}on v }on~]}JvwySulN DGFGOº FG7º Fl7º FHÙµ ·ÙuÅ}JiGvw0~][onº^Ãèo¶~]v m ~]}¥Go#Jv z{uGv uGz7~~Sgv©¨ª«gº^o#gGull~]u¦}P¬onvwySuÅy]¯ }Jilo§±°²8³ ~]x zy]ª Jv }JiGm¶µ8hjilo!±j²8³ ~]x zySJv }JiGm Ãj~Stv u¦}Jy@gl|#o# ¦ ± ~E~]»º»²tx®~-~]ulƳGx xwon v u {{P DGFHÙµt·Ù} vw ~ ¼ ½ &¾ · ¼ ª¿x v ÀoÁ~]x zySJv }JiGm }Ji0~]}*~]x xwyÄÃ8}Jilo¥|#ySm¥GG}~]}JvwySuWy]¯j|#ySm¥GxwoC¨ÆxwySz¦~]Jv }JiGmP~]ul¤oC¨@ y]ª ulonu}Jv®~]xwR QÛ~]ulP}JilonoC¯¹ySo&y]¯ mPy{}o~]x0onxwonmPonu¦}~]JP¯YGul|n}JvwySulT SCº¦Ã v }JilySG}è|~]xwo ¯Û~S|n}ySU Q¹on¬onuPà ilonu lv uGzo#gGull~]u} ~]Jv }JiGmPon}JvwV| SCµ± ~E~]¶~]ul·Ùm4[onJ}ji0~¬o8o#|#onu¦}Jx §JGz{zo#J}o#ySmPo ¬{~]Jv®~]u¦}y]¯ }JiGvw&~]x zySJv }JiGW m DGFHÙµ £ ilono~S }Jilo8ySJv z{v u0~]x<~]x zySJv }JiGm ð~S;JGv }o#§¯ÛyS ~Sgv©¨p¥~]Jv }JiGmPon}Jvw|{ºGv©¯<Ãèodð~]u¦};}y¥Go#Jv z{u ¬onJ o XÁ|nvwonu}v m¥GxwonmPonu}~]}JvwySul-¯¹yS¥ y|Àon}|#ySm¥GG}onºjðo¶ulo#o# ~ ~Sgv©¨ª« ¬S~]Jv®~]u}y]¯8}Jilo ~]x zySJv }JiGm¶º
(22) Jv ul|#otmPy{J}ºGv©¯<ulyS};~]x x¿ºG y|Àon};|#ySm¥GG}onlo*~~Sgv©¨ª«Á~]Jv }JiGmPon}Jvw|{µ ½ G&~]x zySJv }JiGmo#Gv o#;~¥J o#|nv®~]Yx JlJ};}onà ily{o8GGJ y{otvw }y¥o#gl|#o8}Jilodv uGv }Jv®~]xL~]Jz{gª mPonu}&}yySmPod¬{~]x lod}Ji0~]}&vw&mÁ~]x xLonulySGz{ibº[yP}Ji0~]}&}Jilo*JGlo#lonu¦} v }on~]}JvwySul à v x xL|#ySu¬onJzo{µ ;¯¹}on }Ji0~]}ºG}Jilo8±j²8³ v }on~]}JvwySul ~]o*~]GGx vwo#OZ à ilono h ^ vwl|i }Ji0~]}¥~ ~]Jv }JiGmPon}Jvw|{µ wyxBw. []\_^`bacd\^7e fgih^7f$jlk ^nm o ^`bac o ^qpsrutOe fvgih^Yf$j k ^ m m*Gx }Jv Gx vw|~]}JvwySu%¦ h ^ vw}J~]v z{i¦}¯ÛySJð~]gx . [on¯ÛySJmPo# v uW~Sgv©¨@ª«. z {O|~}7|9{v s * º<ðo*ulyS}oK s º[}Jilo4¬{~]x lo#ty]¯}Jiloo~]x<~]ulÆv mÁ~]z{v u0~]J 0~]J}8y]¯ Ì LÍ È Í Ì V È È G È #& È Ã v }Ji¯¹~S|n}JvwySu0~]xbgv z{v }µ ySoC¨l~]m¥Gxwo{ºGÃèotulyS}o _ }Jilo [ySv u}v u g |nxwy{o#J}}y µ * ºèÃèoÁulyS}o * ºR}Jilo¥¬{~]x lo#*y]¯ }Jilo¥o~]xj~]ul¤v mÁ~]z{v u0~]J Í Ì@Ë Ã v }Ji¯¹~S|n}JvwySu0~]xLgv z{v }µ. úLú ëv44 ¡. 0~]J}4y]¯ bL¡ g È Í.
(23) . y~).5,8 T54 l5 ~,1 9 3 +54y)l-u5 y
(24) 4 5,_ 3 wyx. ySm à v }JiyZ. } y{ !9| ! }Jilo8v uGv }Jv®~]xb¬{~]x lo#o a ~]ul \ a ºgÃèo8 on¯ÛySJm v u0~]~]x xwonxR}Jilo ¯ÛySx xwyà v uGz§pv }on~]}JvwySul?Z [ o ^`bac o ^qpsrutOe fvgih^Y^ f$m jlk ^+m \_^`bacd\^7e fgih^7f$j k . h ^ cL
(25) h ^" g Bh
(26) ^# p%$'&h
(27) "^)( h #^ &*$. jh iloP¬{~]x lo h^ Gon onulG4ySuWà iGvw|iW¯YGul|n}JvwySuWÃèoà vwJi }y |~]xw|nGx®~]}o{µ hjiloÁ±j²8³ ~]x zySJv }JiGm i0~S&pmPyGo#?Z ,+ Ê Ì Í È*Z v©¯*Ãèo Jlul5~7o#¦lonul|#o h^ l|i5}Ji0~]}Ko ^ zyo#-}y j º}Jilonu5Ãèoà v x x8ySG}~]v u \ ^.- \ a0/2143 µ 5 Ê Ì Í *È Z¤v©¯dÃèo Jlm ul ~7o#¦lonul|#o h^ l|i }Ji0~]} \_^ zyo#-}y f º}Jilonu ÃèoÆà v x x8ySG}~]v u o ^ - o agir tYe \a µ , 1 /2;('!12 12t'-+13+; [¶"#)+4/R
(28) ;+ 798 ¦ 81;: 6 ·¸u-}JiGvw°o#|n}JvwySubºÃ°o à v x x
(29) ¯Ûy@|nlèySu§}Jilo&GySGxwonm y]¯ Jlulgv uGzÁ~*o#lonul|#o h ^ Jl|i}Ji0~]}>o ^ zyo#°}y jµ ·Ù¯&ðo¶|#ySulJvwGonP}Jilo¶v }on~]}JvwySu o ^~`ba c o ^Kp r te fvgih^7f$j k ^ m ºè}Jilo¶|ilySvw|#o¶}J/ i0~]}¥v m¥mPo#g^)v®~]C }onx GJv uGz v u¶m¥v ul§¯ÛyS h^ ^ QYGG};y]¯<|#ySGo8v } vw ulyS}v m¥GxwonmPonu}~]GxwVo S vw h!^c=<?> 1?@qpfBAvf$j µ DRon};l;Go JlulF o E ^ c f$j o ^ µ £ odà v x x JlJ}&~SGmPod}Ji0~]} o ^ vw;¬onJJmÁ~]x xL|#ySm¥0~]o#}y f µ £ o à v x x[x®~]}onjo#oilyÄà }y*o#gl|#ho ^}JcKilo;J zon^MulL on~]x |~So&}yd}JiGvwjySulo{µ ½ GèGon¬@vwySl GÙvwGo~]Ix H&|ilySvw|#o;¯ÛyS h ^ vw;o#¦Gv ¬{~]xwonu¦}}yÁ|ily@y{Jv uGz E µ ·Ùu }Jilo¶¯¹ySx xwyÄà v uGzlº ÃèoJGG y{o¶}Ji0 ~]K} o ^N f µ £ o Go#|nJv [oySulo¶v }on~]}JvwySu5y]¯t}JiloÆ~]x zy]ª Jv }JiGm ~]ul Gy¬oÆ}Jilo |#ySu¦¬onJzonul|#o¤¯¹yS OQPSR v u5}Jilo GySmÁ~]v yu Z o!T VU p_jMW j~jX$ Y ( jMW j~jX$ Y9Zvg U p_jMW j~jX$ Y ( jMW j~jX$ Y9Z µ 'xBw. [i | 4\ { ]q| s} y{ !9| !. £ Áo z{v ¬o-~]uÅ~]x zySJv }JiGm¯¹yS4à iGvw|i Ãèoà v x x^ o~]Gxwo}y J ilyÄäv ulgl|n}JvwySu }Ji0~]}4}JiloÁo~]xj~]ul v mÁ~]z{v u0~]J§0~]J}&y]¯^E ^ i0~¬o*~]lySx G}o8¬{~]x lo8xwo# }Ji0~]u $ ¹¯ yS;~]uOµ £ odJGG y{ot}Ji0~]}º0~E¯¹}on_ O¤v }on~]}JvwySul? Z p`$ E ^ " ( E ^ # $ QV S ê ù2ú ê .
(30)
(31) !#"$&%'(*)+ -,.0/1 ,124365,7!5,8 9:2;,=<>?34@54 A%'(*)+ B562. £ otà v x xRGy¬od}Ji0~]}?Z p%$ E ^" `ba ( E ^# `ba hjilo8v }on~]}JvwySuo ^~`bac o ^qp rutOe fvg. $ W ^+m h^Yf$jlk. f o "^ p rut >fg. . o#|#ySmPo#?Z. h "^ f$j k ^ d g e h "^ gih #^ m f$j k ^ A ^ k $ f j o #^`ba c o #^ psh #^
(32) t fg h "^ f$j k ^ ·¿¯2Ãèod|#ySulJvwGon;}JilodhL~xwyS onJvwo#j¯ÛyS rutye fvg m ºl~]ul
(33) tbe m ºGÃèo*ySG}~]v uyZ f rut > fvg h " f$j k ^ gde h " gih m f$j k ^ A h " f$j k ^ ^ #^ ^ ^ ^ h #^
(34) t fgif$h j k f$j ^ h #^ f$j k ^ "^ k @yd^ Ãèo&ulo#o# ^ h "^ }y* o¬onJP|nxwy{o}y E ^ " ~]ul
(35) h ^# |nxwy{o}yFE ^ # µ £ o&^ |~]u-|ilyy{o h "^ cKJ E ^ " L ~]ul h
(36) # c^ J E # L µ!hji0~]}8mPo~]ul8}Ji0~]}dðo¥|ily@y{oÁ~S Xh ^"^ YQ o#Jbµ hX# S&}Jilo¥gv z{p`v }*$ |n&xwy{h o#J}th ^ }y&*E $ ^ " "^ ( # QYo#bµ E # S°|#ySulJvwGonJv uGzÁ}JiloRlJ J} R¥gv z{v }y]¯ E ^ " YQ o#Jbµ E # °S ySuGx µ yS}ot}Ji0~]} µ hjilonu E ^ " p E ^ " ( E ^ # p E ^ # & a a ~]ul o "^`ba c. . @y bon}lGoJlulo~Z . ^ . }Jilonu @yGºGÃèo8ulo#o#OZ. úLú ëv44 ¡. . hX"^ p E ^ " ( h #^ p E ^ # . D. . c ^ . c. . . h "^ p E ^ " ( h #^ p E ^ #. f r t'>6fvg. h #^.
(37) . ~^ " `ba E ^~# `ba. . E. . . & &. h "^ $f j h #^ f$j. . . a W &. . Y+f. &. f$j~j. h "^ f$j k ^ d g e h "^ gih #^ m $f j k ^ A ^ t fvgif$h j k f$j ^ "^ k . Y(v f gde h Y ( fvgde h. k^ p k^ p . . "^ f$j k ^ p. . #^ f$j k ^ p. ^ f$j ~^ `ba & ^ f$j ~^ `ba &. . ^ m $f j ~^ `ba ^ m f$j ~^ `ba jMW jMW. QÛpS QÛS.
(38) y~).5,8 T54 l5 ~,1 9 3 +54y)l-u5 y
(39) 4 5,_ 3. Ù· u¶ySGon}y!GyĬo QÛpSCºGxwon} l;GoJlulo~Z ·Ù¯^O PRgºGÃèo8i0~¬o~Z & a µ £ o8GoJlulo~Z c Y rut > A º0~]ul c Y rut £ o8ÀulyÄà }Ji0~]q} QYv©¯ P j SZ &. . hjil?Z. c. hX"^ f$j k ^ d g e h
(40) "^ i g h #^ m $f j k ^ . µ. > A . rutye fvg m & . . ^ p hX"^ $f j k ^ h
(41) "^ e pf m f$j k ^ g
(42) e hX"^ gih #^ m $f j k ^ & ·¿¯ O P*RP~]ul h "^ ( h #^ *& $ ºl~S P jMW R¥Ãèodi0~#¬o ^Npsh "^ f$j k ^ f$j ^~`ba & Mj W. J v m¥v x®~]Jx §v©¯ &j º ~]ul~S & f W j~j. . ¯¹ySqQÛSCºGðod|~]u ~}Ji0~]};QYv©¯ ~]ul¶}JilonubºGv©¯^O . . . º. P j SZ &.
(43) . . ^qp h #^ f$j k ^. . &. . a e hX"^ i g h #^ m $f j k ^. jMW. tbe m &. @ a @ T & h ^# a `a a @ @ p a ` @ a @ T @. &. . ^ psh "^ f$j k ^ $f j ^~`ba &. p "T . P*R+Z. hX"^ ( h #^ &*$. . rutye fvg m & &. µ. . ^. &. h ^# a `a a @ @ @. jMW j R f$j k ^ W. ·Ù¯ &j ðo8i0~#¬o m &
(44) tbe & ~]ul¶}Jilo8~]mPo8o#JGx }µ @y!}JilodGySmÁ~]v uy]¯3|#ySu¦¬onJzonul|#o4y]¯2}Jilo*~]x zySJv }JiGm vw. p " T . ! c U pjMW j~jX$ Y ( jMW j~jX$ Y9ZYgs U p_jMW j~jX$ Y ( jMW j~jX$ Y9Z. ê ù2ú ê .
(45)
(46) !#"$&%'(*)+ -,.0/1 ,124365,7!5,8 9:2;,=<>?34@54 A%'(*)+ B562. . Ãèod|~]u oC¨g}onul}JiGvwGySmÁ~]v u }y. ! c U p_jMW j Y ( jMW j R Y9Z7gs U p_jMW j R Y ( jMW j R Y9Z v ul|#o4v©¯jÃèo!o#gl|#o!}Jilo!uGm* on*y]¯è¬{~]x lo#t¯ÛyS h " ºR~]ul hX# º ÃèT o¥|~]u ySG}~]v u o !Pµ T GxwyS}J}o#}JcLilo;jMW G¯Û~S|#o#p °|#yS& Jo#h J &ySulgv uGz4}yp c & h
(47) h " f$& j k p f$j º c Xh # f$j k p $f j Gx®~]ulo ºG¯ÛyS " gR ºl~]ul R # gR µ. £ od|~]u¶o#otv u lJ z{GoPt}Ji0~]}?Z. . . h " $f j k p h # $f j k p . . . . f$j T & $f j T &. £ o!i0~¬o º@~]ul}Jilo. jMW jMW. 0.8. 0.6. 0.4. 0.2. 0. –2 3 2. 0. 1 x. y. 0 2. –1 –2. v z{GoP~Z Î JyS;ySu ! ;ug¯ÛySJ}JGu0~]}onx º@}JiGvw°~]x xwyÄÃ}Jilo&|#ySm¥GG}~]}JvwySu§y]¯ e m v u-~d}Jv u¦ÁGySmÁ~]v u§ySuGx µ3·¸uP}Jilo;uloC¨g} o#|n}JvwySubºGÃèo8à v x xRz{v ¬od~!mPon}Jily¶}y!o#gl|#o }y!}Jilo*|#ySu¦¬onJzonul|#o*GySmÁ~]v ubµ úLú ëv44 ¡.
(48) y~).5,8 T54 l5 ~,1 9 3 +54y)l-u5 y
(49) 4 5,_ 3 'x. 0}O
(50) l|~B{ ] { X| \>{8b|9}. :'xBw. [i | 4\ { ]q| s} y{ !9| ! O VZ. £ o ~SJGmPo}Ji0~]}-ÃèoÆà vwJi }yWon¬{~]x 0~]}o e m ºÃ ilono c Kg
(51) º;~]ul p a & (
(52) & a µ &o#gl|n}JvwySu¶}y!}JiGvw;GySmÁ~]v u vwj¯Û~]v Jx §J}J~]v z{i}¯¹ySJÃj~]»µ ¾to Jlulo
(53) N ~Sd}JiloPuGm* on¥ySG}~]v ulo#7¤}JJGul|~]}Jv uGz
(54) }y }ÙÃèy ¯¹~S|n}JvwySu0~]x°gv z{v }µ ySm
(55) N ºRðo xwy@ySÀ¥G§v u§~*}~]Gxwo }Jilo;uGm* ony]¯b}Jilo&¯¹ySJm cLr7e fgPm $f$j k m º@à v }Ji p%Y Y'& &*Y Y }Ji0~]} vw |nxwy{o#J} }y
(56) N µ hja ilou¦a Gm4[on c psrYm e f g $f$jlk i0~S8~]uv mÁ~]z{v u0~]J0~]J} y]¯j~]lySx G}o ¬{~]x lotxwo# }Ji0~]u a g e `ba a p jMW jnaf gijMW j~j ! R R R R RXR m $+f +fVj R µ hjilo-o~]xj0~]J}¥y]"¯ vw on}Ùðo#onu p pjMWuf R R7~]ul µ7¾ o Jlulo N ~S$ # / e }JJGul|~]}o# }y}Ùðy ¯¹~S|n}JvwySu0~]m x gv z{v }µ ySm N ðoxwy@ySÀ G v u ~¶}~]Gxwo-}Jilo-u¦Gm4[onPy]¯;}JiloÁ¯ÛySJm % c r7e fg m &'!f$j k ºlà v }Ji p( &)*' &*$ Y }Ji0~]} vw|nxwy{o#J} }y N µhjilotu¦Gm4[on c prYe fg '.f$j a k i0a ~S;}Jilo* ~]mPo*v mÁ~]z{v u0~]J0~]J} ~S+ [º[~]ul¶v }o~]xL0~]J};i0~S ~]uÆ~]lySx G}o*¬S~]x lo*xwo#}Ji0~]u a g jMW jnfg jMW j~j R
(57) $jX$ $ YjX$j $ - Rgµ % `ba p , £ oà v x x0|ilyy{o ~S^}Jiloo#gl|#o#-~]Jz{GmPonu¦}µ·¸}o~]x
(58) 0~]J}^i0~Sè~]u§~]lySx G}o¬{~]x lo xwo#^}Ji0~]u «gµõ«{pgº
(59) ~]ulv } v mÁ~]z{v u0~]J§0~]J}i0~S;~]u~]lySx G}o8¬S~]x lotxwo# }Ji0~]u«gµõ«ggµ , 1 /2;('!12
(60) ! "#)+4/R
(61) + 70/Á 84;1 : . ·¸uÁ}JiGvwjo#|n}JvwySubº@ðo&à v x x
(62) ¯Ûy|nl°ySu§}Jilo;GySGxwonm y]O¯ Jlulgv uGzP~*o#¦lonul|#o h^ l|i-}Ji0~]} \_^ zyo#°}y fµ ·Ù¯jÃèoPulyS}~o Z21 ^ c f$j ^ e \_^&p#f m ºL}JiloÁ|ilySvw|#oP}Ji0~]}*@ v m¥mPo#gv®~]}onx WJGJv uGzdv uWm¥v ul¤¯ÛyS h^ QYGG} y]¯|#ySGov }*vw4ulyS}*v m¥GxwonmPonu}~]GxwVo S4vw h ^ c p -43 @65 8µ 7 ·¸}*vw|nxwo~]ºL}Ji0~]}v©¯ \ ^ f º2}JiGvw4vw o#Gv ¬{~]xwonu¦}}yP|ilyy{v uGz h^c p 91 ^ 5 µ ·ÙuÆ}Jilod¯ÛySx xwyà v uGzlºbÃèo!JGG y{o \_^ f µ £ o!Go#|nJv o4ySulov }on~]}JvwySu¤y]¯^}Jilo¥~]x zySJv }JiGm ~]ul GyĬoP}Jilo¥ |#ySu¬onJzonul|#oP¯ÛySF OP µP·Ùu o#|n}JvwySuWgµõpgºRðo¥Ã v x x^oC¨gGx®~]v u }Jilo¥o#gl|n}JvwySu J}on¤}Ji0~]} z{v ¬o# \^ f µ £ o8GG[y{ot}Ji0~]}º
(63) ~E¯Y}on ¤v }on~]}JvwySul hjilo8v }on~]}JvwySu. p $ 1 ^" ( 1 ^# ` \^~`bacL\_^7e fvgih!^*f$jlk ^1m [o#|#ySmPo#VZ 1 ^~" `ba. ;= <. 1 ^~# `ba c ?> 0@ @*ACB=DFI EHG BKJ @ L6M B G. c. ã¿ñSßôõô #þ. QY.S $. f$j > 1 ^ " gih ^" gde h ^" 1 ^ " p h #^ 1 ^ # m f$j $f jF> 1 ^ # g h #^ d g e h "^ 1 ^ # gih ^# 1 ^ " m $f j. k^A k^A. ê ù2ú ê .
(64)
(65) !#"$&%'(*)+ -,.0/1 ,124365,7!5,8 9:2;,=<>?34@54 A%'(*)+ B562. . y§ÃèoPulo#o# hX"^ }y o!¬on^ J |nxwy{oP}y^ p 1 ^" ~]ul h #^ }y[oP¬onJ |nxwy{o¥}y p 1 ^# µ £ oP|~]uW|^ ily@y{o h "^ c pJ 91 ^ " L ~]ul h # c p J 91 # L µ!hji0~]}8mPo~]ul8}Ji0~]}*Ãèo¥|ily@y{oP~S h "^ QYo#Jbµ h # S&}Jilo gv z{v }&|nxwy{o#J} }y p 1 ^" QYo#Jbµ p 1 ^# Sj|#ySulvwGonJv uGzÁySuGx §}JiloRJlJ}%R!gv z{v };y]¯1 ^" QYo#Jbµ1 ^# SCµ hjilonu 91 ^ " p 1 ^ " ( 91 ^ # p 1 ^ # & a a ~]ul . @y. . . . ·¿¯ O P*Rgº0~S ·¿¯ O c . . . . 1 ^" (. f$j . Y(f Y(f. & &. $ ~]ul h "^ f$j k ^~^`b`baa e hX"^ 1 ^ " f$jlk e h "^ 1 ^ # . . 1 " ( 1 # . . h "^ g. & . 1 ^~# `ba. 1 ^" ( 1 ^#. º0~]ulv©¯. . 1 ^~" `ba . . hX"^ g 91 ^ " ( h #^ g 91 ^ # . ~]ul¶}Jilonu. . . . f$jlk f$j k. . . . h #^ g . " f$j~j gde h ^ gde h "^ 1 ^ " g gde h "^ 1 ^ # g (
(66) h ^# $ º g h ^# 1 ^ # mm g h "^ 1 ^ #. &. . 1 ^#. Y+f. . . a W Y+f f$j~j. & . . g h ^# 1 h #^ 1 ^ # m f$j h #^ 1 ^ " m f$j. 1 ^". &. &. jMW jMW . }Jilonubº h " ( h # lº ~]ul. . a e h " 1 " g h # 1 # m & a e hX" 1 # g Xh " 1 # m & . . . . jMW ! jMW !. £ odySG}~]v uyZ v©¯ 1 U p ( Zng U p ( Z }Jilonu 1T $ º ~]ul§¯ÛyS_O P*Rgºg¦§v ulgl|n}JvwySu 1 ^ $ µ &~!o#Gx }ºGÃèo8i0~¬o*~]u~]x zySJv }JiGm à iGvw|i|#ySu¬onJzod}y . . $f j k ^ ^~`ba ^~`ba m. ^# k k. jMW . . jMW . . . . jMW jMW. . . rutOe m. ¯¹yS. ! c U jMW! ( f W j 7Z g U pjMW j ( jMW j Z ;ug¯ÛySJ}JGu0~]}onx ºG}JiGvw;~]x xwyÄÃ}Jilod|#ySm¥GG}~]}JvwySuÆy]¯ rutye m v u ~}Jv u¦§GySmÁ~]v u. ~]x xwyÄà }Jilod|#ySm¥GG}~]}JvwySu ¯¹yS mPySo8¬{~]x lo#ºGðo8ulo#o#}y!o#gl|#o*}Jilod~]Jz{GmPonu¦}µ úLú ëv44 ¡. ySuGx µ·¸u¶ySGon}y.
(67) « :'x. y~).5,8 T54 l5 ~,1 9 3 +54y)l-u5 y
(68) 4 5,_ 3 0}O
(69) l|~B{ ] { X| B{ y} ! |X!. Jv uGzÁ~mPon}Jily@Go#onu}o#¶v uDGF~HÙºgÃèo*|~]u¶o#gl|#o8}Jilo*~]Jz{GmPonu};}y. ySm. c g j O h#p Y & & Y 1jºgv }vw;o~SJ}y!o#gl|#od}y'E ¹Q ySulodJiGv©¯¹};~]ulySulo8m4Gx }Jv Gx vw|~]}JvwySu S 1. g jMW! & & O h p Y & & Y @yGºlySG zy~]xbvw }yJlul¶~¥o#gl|n}JvwySu¶¯¹ySm E }y !Pµ ·Ùu}Jilot¯ÛySx xwyà v uGzlºlÃèodà v x xboC¨gGx®~]v u¶}JiGvw}on¶v uz{o~]}on&Gon}~]v x¿µ J}~]J}à v }Ji \a E |ily@y{o hcKJ \Aa T L a a o~Sv u ~!}~]Gxwo c a ` 3
(70) | #ySm¥GG}o cd\Aa |ily@y{o h1 c=J L a o~Sv u ~!}~]Gxwo c a ` 3
(71)
(72) | #ySm¥GG}o \ c Q \ !NS Ì»Ì Ì V È È Í L¡{ Ì v J}º[ðoGo Jlul$o #¥º»~o#|n}~]uGh z{xwo!Jl|i }Ji0~]`} E #¥µ £ oJGx v } #:v u}y f ! ¦0~]o#tGon onulgv uGz y]¯ }JiloPgv!»ononu¦}|ilySvw|#o#4¯ÛyS Q¹o#o Jlz{Gonp QÛ~ S SCµ-hjilonubº2Ãèo¥i0~¬o|#ySm¥GG}o#7}JiloPv mÁ~]zoÁy]¯ # ¶}JilNo JlJ}tJ}onÆy]¯è}Jilo!~]Jz{GmPonu}8o#gl|n}JvwySu QY}Ji0~]}tvw&}y-~¶}Jilov mÁ~]zoy]¯°o~S|i¤0~]o*Æ~ v m¥v x v }JlGVo SCµ £ od|~]u o#o8yS=u Jlz{Go*np QY* S°}Ji0~]} }JiGvwv mÁ~]zodvwonul|nxwy{o#v u}y¥}Jilod0~]~o Z # c U jMW Y ( f W j Y9Z7g U pjMW j Y ( jMW j Y9Z W hjilo;o#|#ySulP }onPvw^Jv m¥v x®~]µ £ o;JGx v } #5 v u}y Y ¦0~]o#ĺ~]ulP|#ySm¥GG}o&¦!}Jilo;M~]mPo ð~º }Jilotv mÁ~]zo4y]¯ # Q¹o#Ao Jlz{Go*np Q¹V| SCº0~]ul np Q¹8 S SCµ ¼ ySulo#¦lonu}Jx º
(73) ~]x xb}Jilo8|#ySm¥GG}o# [ySv u}N Q \ S~]o8onul|nxwy{o#¶v u}y !Pµ E c. ê ù2ú ê .
(74)
(75) !#"$&%'(*)+ -,.0/1 ,124365,7!5,8 9:2;,=<>?34@54 A%'(*)+ B562. 0.8. 0.06. 0.6. 0.4. 0.04. 0.2. 0.02. 0. 1. 1.2. 1.4. 1.6. 1.8. 2. 0. –0.2. –0.02. –0.4. –0.04. –0.6. –0.8. 0.94. 0.96. 0.98. 1. 1.02. .
(76) . 1.04. 1.06. –0.06. ß < ñÄãÛã¿äöë jáCñÄãbáMì . . à [äõîß Mæ3áMì. . . . 0.02 0.06 0.04. 0.01. 0.02. 0. 0.94. 0.96. 0.98. 1. 1.02. 1.04. 1.06. 0. 0.99. 1. 1.01. –0.02 –0.01. –0.04 –0.06. ñEãÛã¿äõë#ãbáCñÄãbáMì ç
(77) äõîß Mæ3áMì @ v z{Go4p+Z~]Jz{GmPonu¦} o#gl|n}JvwySu¯¹yS;}JilotxwySz¦~]Jv }JiGm ¯¹Gul|n}JvwySu –0.02. < <. úLú ëv44 ¡. . . . . . 1.02. {.
(78) p. y~).5,8 T54 l5 ~,1 9 3 +54y)l-u5 y
(79) 4 5,_ 3. %$ +/L).0+ £ o4i0~#¬o!Go#onu¦}o# ~Á~Sgv©¨ª«¬{~]Jv®~]u¦}dy]¯^}Jilo±j²8³ ~]x zySJv }JiGm¶µ Î ¨g}onulJvwySulty]¯^}JiGvwtðySJÀ }y yS}JilonL~Sgvw|#o# QYulyS}L}yy;x®~]Jzo{º]}JilySGz{*i S»JilySGxw*[oèJ}J~]v z{i¦}¯ÛySJð~]»µ3 ~Sgv©¨@ª«±j²8³ ~]x zySJv }JiGm |#ySGxw¶[otv m¥GxwonmPonu}o# v u}y¥[y@|Àon}&|~]xw|nGx®~]}ySºG}y¥zon} ¯¿~SJ} |#ySm¥GxwoC¨¶onxwonmPonu¦}~]J¯¹Gul|n}JvwySulµ 13"#1< 13+4/213. D H4µGL¬v #vwonuGvwĵ^v z{ulo#@ªÙ¾&v z{v } Gm4[on;&onGo#onu¦}~]}JvwySu ¯¹yS ~SJ}è~]~]x xwonxR;Jv }JiGmPon}Jvw|{;µ /n ,n2$3$ ,0~, 5u5 3$ 9~,1 336(*)l B5462nºR+« Zõ ¦¦«{«gºR {µ Dõp H lµ ¼ µ¦± ~E~]Á~]ul Dµ¦·Ùm4[onJ}µ Î ¬{~]x 0~]}JvwySu-y]¯»|#ySm¥GxwoC¨ÁonxwonmPonu¦}~]JP¯YGul|n}JvwySulR ZRulonÃ%¬onJvwySu y]¯±j²8³Wµ ·¸u +< T,8 B54T,* ,7 I(+2T ). , b(7 3 73$ 5,7365 & ~,*365 8,* < V365T262-,l; .N2 y 3 ! B5 3$ )l5T2N,* T(*u5&5,8 9 ,12Cº Gx {{gµR¾tonu¦¬on°ª t@µ Dõ H lµ ¼ µ0± ~E~]»º
(80) [µ0²tx®~gº0~]ul lµå³ µl³ Gx xwonµj±j²8³ Zl ulonà |#ySm¥GxwoC¨~]x zySJv }JiGm ¯ÛyS;|#ySm¥GxwoC¨ onxwonmPonu¦}~]JP¯¹Gul|n}JvwySulµ /n ,n2$3$ ,n2R~, %'(*)l B5462nº¦¦n Q SZõ{{ @ gºl~]Gz{lJ} {]lµ D H 4µ¾8~à vw~]ul µ³Æonµ hjilogv! ononu}Jv®~]x ¼ ½ &¾t· ¼ ~]x zySJv }JiG= m Z ¼ ySulJ}~]u¦}§|~]xwo§¯¿~S|Cª }ySdo#gGull~]u¦}v m¥GxwonmPonu¦}~]}JvwySu à v }JilySG}4|#ySJo#|n}Jv uGzÆv }on~]}JvwySulµ /1 ,n24!3$ ~,n2&, %'(*)l B5462nºg¦n QÛ SZõ{« @g º
(81) ³ ~]|i7{ µ Dõ H lµ¾ GG~]}~]ul lµ³ µ3³Gx xwonµ hjilo ¼ ½ ;¾t· ¼ ~]x zySJv }JiG= m Z onà o#JGx }!¯ÛyS!¯Û~S} `DL@· v m¥GxwonmPonu¦}~]}JvwySub_µ /n ,n2$3$ ,n2q, %'(*)+ B562nºg¦np QÛp SZ
(82) Ä º onGJ0~]J {{gµ D H³Wµ¾!µ Î |#onzy¬{~S|j~]ul*h82µ DR~]uGzlµ;o#gGull~]u¦}3~]uldySugª¿x v ulo ¼ ½ ;¾t· ¼ Z;GGx vw|~]}JvwySu}y mÁ~]}JJv©¨ }JJv®~]uGz{Gx®~]Jv Ä~]}JvwySuÅ~]ulÅ ¾!µ /1 ~,n243? ,12 ~,L%'(*)+ B5T2Cº<{n Q SZöSp{ gE¦«gº {Gulo {{«gµ DöV H¥r!µ lµ onuGÀ@J}J~gµ % %%"4 UI ! <_5-"$ ,*365 A).&5 36%'(*)+ 9~ ,0µlil¾5}Jilo#Jvwº h ¾tonx©¯¹}º»{ µ D H lµå³Wµ0³ Gx xwonµ u5&5,8 9~ . Y)l,*3$ ,n2Cµ3±°v JÀ@i ]lonºb{@µ Dõ H¥[µ è~E v mÁ~h8µ» ~Sl~gº µ»hL~]À{~]z{v¿µP&o#gGull~]u¦} ¼ ySgvw|P³Æon}Jily@G8à v }JiW~ ¼ ySulJ}~]u}@|~]xwo ~S|n}yS;µ /n ,n2$3$ ,n2q, %'(*)l B5462nºG¦n« QÛ SCºb{g{µ D « H lµ ySxwGonµ3hjilo8|#ySgvw|8|#ySm¥GG}Jv uGzP}o#|iGuGvwlo{!µ /1 ~,n243? ,12A,i%'(*)+ B562nº»{{gµ D { H lµö[µ £ ~]x }JilonµjGuGv J0o#~]x zySJv }JiGm ¯¹yS&onxwonmPonu¦}~]J¯¹Gul|n}JvwySul` µ . ,8 U%'(*)l B54 %',?"?5 5,*365A< ?36565 ,.I2Cº<@{µ . . . . .
(83) . . . . . . . . . . . . . . . . . . . !. . . . !. ". . #. . . %$. (. . '&. *). ,+. . . - . . . ê ù2ú ê .
(84) Unit´e de recherche INRIA Lorraine, Technopˆole de Nancy-Brabois, Campus scientifique, ` NANCY 615 rue du Jardin Botanique, BP 101, 54600 VILLERS LES Unit´e de recherche INRIA Rennes, Irisa, Campus universitaire de Beaulieu, 35042 RENNES Cedex Unit´e de recherche INRIA Rhˆone-Alpes, 655, avenue de l’Europe, 38330 MONTBONNOT ST MARTIN Unit´e de recherche INRIA Rocquencourt, Domaine de Voluceau, Rocquencourt, BP 105, 78153 LE CHESNAY Cedex Unit´e de recherche INRIA Sophia-Antipolis, 2004 route des Lucioles, BP 93, 06902 SOPHIA-ANTIPOLIS Cedex. ´ Editeur INRIA, Domaine de Voluceau, Rocquencourt, BP 105, 78153 LE CHESNAY Cedex (France)
(85) ISSN 0249-6399.
(86)
Documents relatifs