From Rounding Error Estimation to Automatic Correction with Automatic Differentiation

Texte intégral

(1)From Rounding Error Estimation to Automatic Correction with Automatic Differentiation Philippe Langlois. To cite this version: Philippe Langlois. From Rounding Error Estimation to Automatic Correction with Automatic Differentiation. RR-3967, INRIA. 2000. �inria-00072681�. HAL Id: inria-00072681 https://hal.inria.fr/inria-00072681 Submitted on 24 May 2006. HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers.. L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignement et de recherche français ou étrangers, des laboratoires publics ou privés..

(2) INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE. From Rounding Error Estimation to Automatic Correction with Automatic Differentiation Philippe LANGLOIS. No 3967 May 2000. ISSN 0249-6399. ISRN INRIA/RR--3967--FR+ENG. ` THEME 2. apport de recherche.

(3)

(4) .

(5)

(6)

(7) . ! "#%$&'()#* + ,-. "'#0/1324(5() 6. 7'89;:<9<==?>

(8) @BA

(9) CEDF@HGJIKL M5NPOQSRT UWVYXZ\[]R'^`_bac[`d[]Re^ RfHdeghîdjP^kmlnQop_b^`[`qrjPR sutv_hwxRfHyHtmXeZ\gh[`tvR zBgh{P{p_btmfB|}R'tvRed,NPRetvd,NPR~Z6bbcrFU glThcbUJ{\ghacRek "ePbb km[]Z\aghj}fv_bQgfv[`d'|}[]RtvRZrfm[igfv[]_cZ;yHfm_Rkxfv[]QgfvRfmNPR'{\tm_c{\ghargfm[`_bZ _b tm_cjPZ\|}[`ZPaRetmtv_bt,k5[]ZZrj\Q¡Retm[idgb^¢gh^àb_ctm[]fmN\QSkB[`k£dîgbkvk¤[idh¥)¦R{Ptv_b{p_ckmR gZPRe§¨gh{P{\^][]© degfv[]_cZ_hy£ªfm_¡tm_cjPZ\|}_bEgbZ\gh^`l}k¤[iku{Ptv_«n[`|P[]ZPa¡ghZ"gbj}fm_cQgfm[idHd_btvtmRd3fv[]_cZ_hfvNPRH¬tvk¤f _ctv|PRt5RRedfB_hfmNPR'Re^]ReQ¡ReZrfvghtvltv_bjPZ|}[]Z\a¡Retmtv_bt,ke¥¦R'{PtvRekmRZrf5fmNPR'Qgh[`ZJd,N\ght,gbdfmRet¤© [ik¤fm[idk)_bfvNP[ik)QSRfmN\_n|JgbZ\|Jkm[]acZP[®¬pdghZrf)R¯PgbQ¡{\^]Rk)_h []fvkBgb{P{P^`[`degfm[`_bZ

(10) fv_[]QS{Ptv_«bRYfvNPR gcddjPtvgcdl_bd_cQS{Pj}fmR|

(11) tmRk¤jP^]fvk)gbZ\|°_btfmNPR k¤fvgboP[`^][]fxl_hfmNPR gb^]ac_btv[®fvNPQE¥ ±J²r³´vµ¶ ·b yHj}fm_cQSghfm[idSRtvtm_ct'ghZ\gb^]l}km[`ke¸¢tv_bjPZ|}[]Z\a

(12) Retmtv_bt¸¹\_rgfm[`ZPaJ{p_b[`Zrfghtv[®fvN}© QSRfm[idh¸\gbj}fm_cQSghfm[id|}[®RtvRZrfv[`ghfm[`_bZ¥. ºi»¼¤½¿¾À¼)ÁÂi½¿Ã;ÄÅ Æ ÇÈBÉ,ÊÌËiÍrÎ,ÏÐmÑeÐÓÒ3ÒÔ}ÕiÖ×vØÙÑ3ÚeÐvÛvÜ3ÔvØÛÝvÑvÞÚmØpÕiß3à}á\âãÊÌäÈBÉ,åæä<çxèéÊÌêëìÊÌäìÉ,ËÌä;í*É¤î3É,ÊÌËïÉ,ðËÌñÉ,äÉuè;ñxä<ñ¤É,èéç¿ã è;ñxêhí3èéë\í,òë;ãñónÉ,ðbí3è;Évë;í3ÊÌè;ñìôñpËiõ ö÷åò`í3èéÈBÉvë;ÊÌøeæñôæ*ùPÉ,è<É,ËÌËÌúxËÌÊÌä<È)ñ3ûmÇçxí3ËÌñìü¢í3è;åÉ,ËÌñýeæêhúxè;ÊÌñxæèéñìôñócþí3årû ÿ è<É,åçxñ3ûÏ ,Ò\Õ÷ÔvØÛÝmÑvÞÚmØ\Õiß3 à v Ö ¤Îá. Unité de recherche INRIA Rhône-Alpes 655, avenue de l’Europe, 38330 MONTBONNOT ST MARTIN (France) Téléphone : 04 76 61 52 00 - International: +33 4 76 61 52 00 Télécopie : 04 76 61 52 52 - International: +33 4 76 61 52 52.

(13) /1(x()

(14) () (5() ¤'

(15) () #'()#* . "'S (

(16) 3 2 5() 6 S

(17) (

(18)

(19) ^cRkxf dîgbkvk¤[iqrjPR*| j}fv[]^`[`kmRtîgH|}[]pXetmReZrfvgfv[`ghfm[`_bZgbj}fm_cQgfm[iqrjPR£;yH{p_bj\t Rkxfv[]QSRetîgF{Ptv_b{\gbacghfm[`_bZ |}Rek6RtvtmRejPt,k | ghtvtm_cZ\|}[*|PgbZ\k ^`Rek¡ghac_btv[®fvNPQSRek'ZnjPQSXetm[iqrjPReke¥ HqrjP_b[¢j\{kRe{PtmtmQS_c{RfB_rk¤j\_cZPZ\RkpjPd_cZPtmRutvReZ\d_bfmjP[`_b«cZ

(20) R^`^]ghRuj}gbfv{P_b{PQ^`[`gdefvg[`qrfm[`jP_bR Z|}|}RRuk5^ ^ yH RR5fY^ |} ghjJZ\{Pgb^]tvl}RkmQSR[]|PReRet)kì_bRet,tm|}tvtvRRjPt,|PkìRe|k) ReghtmtvtvtmR_cjPZ\t,|}k [ | gbtmtv_bZ\|P[}X^`XQSRZrfvgb[]tvReke¥ H_bj\ku{PtmXk¤ReZrfm_bZk^`Reku{Ptm[`Z\d[]{\gb^]Rkudgbtvgcd3fvXtv[`k¤fm[iqrjPRek|}RBdRf¤fvR QSXfmNP_}|}RFRf|}Rkgh{P{\^][idghfm[`_bZ\kkm[àbZP[]¬dghfm[`«bRk ^ ghQSX^`[`_bt,gfm[`_bZ |}RFîg {PtvXed[`km[]_cZ|}R tvXekmjP^]fvghfvk)dgb^`djP^`XekRf°_b j ¡^`gk¤fvgboP[`^][]fmX'| gh^àb_ctm[]fmNPQSRc¥ &¶ ´

(21) yBZ\gb^]l}kmR4| RtvtvRjPt

(22) ghj}fv_bQgfv[`qrjPRçHRtvtvRjPt

(23) | gbtmtv_bZ|}[;¸Bgbtm[]fmN\Q¡Rfm[iqrjPR ¹_hf¤f,ghZrfmRçP|}[]pRetmReZcfv[`ghfm[`_bZEghj}fv_bQgfv[`qrjPRc¥.

(24)

(25) !#"

(26) !$%&'$(. . 6 ¢

(27) #* ,+ zB_bjPZ\|P[]ZPa6Rtvtm_ct?gbZ\gh^`l}k¤[ik*gbZ\|"gbj}fm_cQSghfm[idH|}[]RtvRZrfm[igfv[]_cZ"k¤NghtvR£g ^`_bZ\a6d_cQSQ¡_cZNP[ikxfv_btvlgf?^`Regckxf km[`Z\dR.T -ElbRght,k /10(2¿¥ tm[RQS{PNgbkm4[ 3eRek'fvNP[ik fv_b{P[id[`Z NP[ik6kmjPtv«bRl4fmNgf6opRac[]Zk'fmN\R¬\t,kxf¡«b_c^]jPQSR_b fvNP[ik¡kmRtv[`Re5 k / 62¿8 ¥ 7HR

(28) |}Rkmdtm[òpRek6tm_cjPZ\|}[`ZPaRetmtv_bt6Rek¤fm[`QgfmRkSk¤[`QS{P^]l d_bQS{Pj}f,ghoP^`R§)[]fmN ghjPfm_bQghfm[id |P[®RtvRZrfm[igfv[]_cZ[`ZFfvNPRStmRe«bRt,kmRQS_}|}Rb¥M5N\RekmR¡d^`gckmkm[`d¡gh{\{Ptm_rgbd,NPRkBln[`Rî9 | :<;((=>

(29) !'?;

(30) 6_ct @ <;.;(=>A$'B'5_b¢fvNPRY¬\tvk¤f¤©¿_bt,|}Retgb{P{Ptv_¯n[`QgfvRH_hfmNPR¬Z\gh^ìtv_bjPZ|}[]Z\a6Retmtv_bt§)[®fvNtvRekm{pRed3f fv_¡fmNPR'Re^]ReQ¡ReZrfvghtvltv_bjPZ|}[]Z\a6Retmtv_bt,k[]Zrfmtv_}|}j\dRe|orlfmNPR d_bQS{Pj}f,gfm[`_bZE_b[`ZcfvRtvQSRe|}[igfvRY«gbtm[ighoP^`Rek / 62¿¸ / 2¿¥ ¦R"{Ptv_b{p_ckmR"gJZ\R§ ^`[]ZPRght¡gh{P{Ptv_cgcd,N¸fvNPD R CFE HyQ¡RfmNP_}|ì¥M5NPR"|}[]RtvRZ\dR"§)[]fmN {PtvR«n[`_bj\k QSRfmNP_}|Pk[ikfvN\gfRe^]ReQSRZrfvgbtml tv_bj\Z\|}[`ZPa Rtvtm_ctvkSgbtmREZP_bfo_cjPZ\|}R| ZP_btQS_}|}Re^]R| §)[]fmNt,ghZ|}_bQ «gbtm[ighoP^`Rek oPj}f¡d_bQS{Pj}fvRe|ì¥M5Nnj\k §R"d_cQS{Pj}fm, R ,$G'$( H!'( fm_4[]QS{Ptv_«bRSfvNPRgcddj\tvgcdl_b ¬ZP[®fvR'{PtvRed[ikm[]_cZ"tvRekmjP^®f¥ ZfmNP[ikY{\gh{pRt¸ì§?R _}dj\kY_bZgho\km_b^`j}fvRop_bjPZ\|^][`QS[®f,gfv[]_cZ\k¸fvNPR¡QSgb[]Z ReghfmjPtvRek£_hufvNP?R CFE Hy QSRfmNP_}|ì¸Pgbj}fm_cQSghfm[idBop_bjPZ|}[]Z\a6_b¢tm_cjPZ\|}[`ZPa¡Rtvtm_ctvku[]ZfmNPRghjPfm_bQghfm[id£|}[]RtvRZrfm[igfv[]_cZ"{Ptv_}dRekvkHé[]Z tvR«cRt,k¤R£QS_n|PR5ghZ|

(31) km[àbZP[]¬dgbZrf5gb{P{P^`[`degfm[`_bZk5_hfmNPR'd_ctmtvRedfm[`ZPa¡Q¡RfmNP_}|ì¥ ). *. () (K ML (-

(32)

(33) MN

(34) J 3 + O¢RfBj\k)d_bZ\km[i|}RtQRTP SVUXWZY\[BW][_^H`` fmNPR¹\_rgfv[]ZPaS{p_b[`ZrfHd_bQS{PjPfvgfv[]_cZ_b RSaUbW][_^H` §)NPRetmR W [`k)g tvRegb^¢ j\Z\d3fv[]_cZ4_bufmNPR6¹\_rgfm[`ZPa

(35) {_c[]Zrf«bRd3fm_ct ^cUd[ RfP egihjhjhfg RTP kl` ¥M5NP[ikYd_bQS{Pj}f,gfv[]_cZ[`Zcfvtm_}|}jdRek [`ZrfmRetmQSRe|P[`ghfmR«ghtv[`gboP^]Rm k RZP n ghZ\|

(36) gbkvk¤_}d[`ghfmRe|"R^`RQSRZrf,ghtvltm_cjPZ\|}[`ZPaSRtvtv_bt,kFo n fvN\gfHkvgfv[`k¤ l w 0 RP n UXWZY

(37) [ RTP pZq RsP rt`&U RP pTq R

(38) P ru o n UvR n u o n g §)N\Rtv?R x uzy {}|v{~ ¸ y {{9~ ¸ q, Vu#gjg.gg .g RP r8U §)NPRZ qHU ¸ ghZ| PR p UXsg RP r §)NPReZ qUa ¥ _Q ¸ RP S U WP [_^ g o ` #¸ 'i`¸g jPZd3fm[`_bZ _h|Pghfvg ^ gbZ\|Re^]ReQ¡ReZrfvghtvl tm_cjPZ\|}[`ZPa Retmtv_bt,?k o U [ o ke gjhihjhig o S ` ¥ M5NPR£ab^`_bo\gb^\tv_bjPZ|}[]Z\aRtvtv_btu[ik?gb{P{Ptv_¯}[]QgfvRe|¡fv_ fmN\RB¬\t,kxfm©<_ctv|PRtu§)[]fmNtmRk¤{pRedf*fm_ fvNPR'R^`RQSReZcf,ghtvltm_cjPZ\|}[`ZPaSRtvtv_bt,k?gbZ\| I. J. RP S HR S U. S WP o o o n [_^ g ` n , U¢¡£m¤ ]g nke. ;Tb. §)N\RtvR [ik5fmNPR=¥ '4¦t §'j5gbkvk¤_}d[`ghfmRe|"§)[®fvN ¡# ¥ y ¬\tvk¤f_cor«n[`_bj\k^][`QS[®f,gfv[]_cZ _hB^`[]ZPRghtv[43gfv[]_cZQSRfmNP_}|Pk¡d_cQ¡Rk tv_bQ0fmNPR"{_bfmRZrfv[`gb^?{PtvRe|P_bQS[®© ZghZ\dRY[`ZEtmRe^`ghfm[`_bZ;Tb_b §)NP[id,NE[`k5acRZPRetvgb^]^`ljPZs¨nZP_§)Z¥ C?îgbkvk¤[idgb^ì|}RfvRtvQ¡[`ZP[ikxfv[`dgb{P{P^`[`degfm[`_bZ

(39) _htmRe^`ghfm[`_bZ;Tb[`Zrfmtv_}|}j\dRk5ghZP_bfmNPRet^`[`Q¡[]fvghfm[`_bZE§)NPReZmo n [ik)op_bjPZ|}Re|E§)[]fmN ;g¡ jPZ\dfm[`_bZF_bvfmN\R'¹\_cghfm[`ZPa{p_b[`Zcf£{PtmRd[ik¤[`_bD Z ©?¥ Z\kmjP[®f,ghoP^`R op_bjPZ|Pk) _c#t ª ¡ ª Qgl6oRHd_bQS{Pj}fvRe|gckfmNPR£d_bQS{pRZ\kvgfv[]_cZS_hìR^`RQSRZrf,ghtvltv_bjPZ\|P[]ZPa'Retmtv_bt,kghZ\|SR¯Pgbd3fv^]l¡d_cQ¡{\j}fmR| tvRekmjP^]fvk)gbtmRYZP_hf)f,g ¨cRZ

(40) []Zrfm_gcdd_cjPZrfe¥ å ¬i®¯°(± «« .

(41)

(42) => @<@ ' "

(43) 6. ¦RtvRekm{pRed3fv[]«cR^`l4[`^`^]j\k¤fmt,gfvRfvNPRekmR"fx§_degbkmRek [`Z E E&E ©¤-6k¤[`ZPac^]R{PtmRd[ik¤[`_bZ d_bQS{Pj}fv[]Z\aR¯n© {\tmRkmkm[]_cZ\k e U [ u:yt` y ghZ\| U[ t` éZ\gfvjPtvgb^R«gh^`j\gfv[]_cZ"_ctv|}Ret,¥ Zop_hfvN degbkmReke¸hfvNPR£gcd3fmjgh^\ac^]_co\gh^\Rtvtm_ctu[`k*Reqrj\gb^Pfm_#3Retm_'oPjPfghok¤_c^]j}fvRBop_bjPZ\|P[]ZPa6ln[]Re^`|Pkª ¡£ ª { ¥7BRetmR ª o n ª { ªwPR n ª © g §)[]fm¤ N © U ¥ 7BReZ\dRçìgho\km_b^`j}fmR6o_cjPZ\|}[`ZPaEkmghfm[ikx¬Rek ª P p p ª U[ u! " ` © U y.g 3¥ f[ik'§_btmfmNZP_hfv[]Z\aEfmN\ghf6ghj}fv_bQgfv[`d¡op_bjPZ|}[]Z\aJQSgl4ln[]Re^`|«bRetml{Rkmkm[]QS[ikxfv[`dtmRk¤jP^]fvk gh÷fmRet5 R§ª¹\_cghfm[`ZPaS{_c[]Zrf)_b{pRt,gfv[]_cZ\k¥ #. $. -

(44) ( $&&% L. (-

(45) ¤+. ')("*. +-,/."0213.547658:9<;=&>)4@?BADC8:9E."9GFH02IKJ!4476"."1LFMAD.5?N09<(. ')(V. WX."08YFH,[Z-? ,D,D8:1<AD.5?N0\FB0IKWX."08YFH,!J6"]?,/.5ADC^_9<(. ¦[]fmNFfmNP£R CFE Hy¨QSRfmNP_}|ì¸p§?R6|}_ZP_bfHo_cjPZ\|EoPjPf$ @

(46) !' ¡£ fm_ln[`Rî|Jg $'$jB' '(

(47) =¥ R S QS_ctmR

(48) gbddjPt,gfmRfmN\gbZ [`ZP[]fm[igh^mRP S ¥ M5NP[`kSd_btvtmRd3fmR| tmRk¤j\^®fk¤jPpRetvk tm_cQ gFfvtmj\Z\dghfm[`_bZ Retmtv_bt gbZ\|tm_cjPZ\|}[`ZPaSRtvtm_ctvk O ¥ ¦RP=> .!')fvNPR gbdedjPt,gbdl_h RS ln[]Re^`|}[`ZPagS|}lnZ\gbQ¡[idYo_cjPZ\|

(49) _hfmN\[`k tvRekm[i|}j\gh^Retmtv_bt? _bt <'j l QF' 5$(=4 "R = S\#fmN\ghfHkmghfm[ikx¬\Rk UX ¥ ZJkmj\d,Nd_bZ\|}[]fm[`_bZk¸ §R gh{\{P^]l"fmNP[ikBgbj}fm_cQSghfm[id'd_ctmtvRedfm[`_bZfv_ Q& Z=n_bt j'j=4'$(!' TB'j' !'Bd_cQS{Pj}fmR|EtmRk¤j\^®f,k¥*M5N\[`k îgfmfmRetdgck¤R[ik [`ZrfmRtvRek¤fm[`ZPaE _ct [®fvRt,gfv[]«cRgh^àb_btv[]fmNPQk;gbd3fvj\gh^?gbddjPt,gbdl4|}R{pRZ\|\k _bZ fvNPR[]fmRetvghfmR _ct6§)N\RZ fvNPR

(50) gb^]ac_btv[®fvNPQ%kxf,ghoP[`^`[®fxl |}Re{ReZ\|Pk¡_bZ fmNPREgbdedjPt,gbdl_hYk¤_cQ¡R[]ZrfvRtvQ¡R|}[igfmR«ghtv[`gboP^]Rk¥ C?j\tmtvRZrfkm_h÷fx§5ghtvRek[`Q¡{\^]ReQ¡ReZrfm[`ZPaFfvNPR"QSRfvNP_}| j\kmR"_«bRetm^`_cgc|}[`ZPa_c{Retvghfm_ctvk[`Z y)|PgJ_cU t TP_ct¤fvtvgbZ cP¥ ¦R:$. P U WZY

(51) [ ¡£` ghZ\| |}R¬\Z\RFfmN\R:$'$jB' 9'(

(52) => R S U @

(53) B'fmNPR d_ctmtvRedfm[`ZPa égbdfm_ct ¡£ P 3 a ¥M5NPRd_ctmtvRedfm[`ZPaégcd3fm_ct kmghfm[ikx¬Rek ¡# P :U ¡#Du O ¸§)NPRtvR O tmRe{PtmRk¤ReZrfvk£fmNPR WZY:` RP S ¡£ tv_bj\Z\|}[`ZPa Rtvtv_bt*[`Zrfmtv_}|}j\dR|onl¡fmNPRd_cQ¡{\j}fvghfm[`_bZ"_bìfmNPRd_ctmtvRedfm[`_bZ¥M5NPRk¤Qgh^`^`Rt[`k*fmNPR£'( l= 'j R S ¤R S U [ u: O ` ¸fvNPRQS_ctmR6Rcbd[`RZrf£[ikHfmNPR¡d_btvtvRed3fv[]Z\aQ¡RfmNP_}|ì¸]'t` ¸YfmNPR¡QS_btvR gcddjPtvghfmRY[`kfvNPR d_ctmtvRedfmR|"tvRekmjP^]f R S ¥. ¦R*|}R¬\ZPR => '= .d

(54) gckghZ'gh^àb_ctm[]fmN\QfmN\ghf¢_bZ\^]lYd_bZrf,gh[`Z\kpfmNPR*_b{pRt,gfm[`_bZk u#gjg.g

(55) g gbZ\|

(56) k¤j\d,NfmNgf ©*Re«bRetmlQ6jP^®fv[]{\^][idghfm[`_bZ WZY

(57) [ RP p RP r ` kvgfv[`k¤¬\RkDRP p U¢R p _btQRP r U¢R r ¸\gbZ\| ©*Re«bRetml|}[`«n[`km[`_bZ WZY

(58) [ RP p PR r ` kvgfv[`k¤¬\RkmRP r UvR r ¸ghZ\| ©*Re«bRetmlkvqrj\ghtvR£tv_n_hf WZY3e! RP pf kvgfv[`k¤¬\RkmRP p UvR p h O¢[]ZPRghtHgb^]ac_btv[®fvNPQ gbtmR'[`ZrfmRtvRek¤fm[`ZPaSopRedgbj\kmR§RP S d_bQS{Pj}fvRe|E§)[]fmNFgS^`[]ZPRghtHgb^]ac_btv[®fvNPQ kvgfv[`k¤¬\Rek ¥ E ¯PgbQ¡{\^]Rk)_h^][`ZPRegbtBgh^àb_ctm[]fmNPQk5ghtvR'dîgbkvk¤[idk¤j\Q¡Qghfm[`_bZEgh^àb_btv[]fmNPQke¸}[]ZPZ\Rt){Ptv_}|}j\d3f DUX /Ì 2< d_bQS{Pj}f,gfv[]_cZ¸c{p_b^`lnZP_bQS[igh^R«gh^`j\gfv[]_cZj\km[]Z\a 7B_ctmZPRet kuQSRfmNP_}|"gbZ\|¡fmN\R£tvRekm_b^`j}fm[`_bZ_bìfmtv[`gbZPabj\^`gbt ^`[`ZPRegbtBk¤l}k¤fmRQE¥. ö ü « dö g. .

(59)

(60) !#"

(61) !$%&'$(. ')('. Z ? ^ 4. . . AD.0] ADC8 Z-? ,D,D8:1<AD."0]. 8Y,/^. -. . M5N\Rd_ctmtvRedfm[`ZPaJfvRtvQ ¡£P [`Zr«c_b^`«bRkd_cQS{Pj}fm[`ZPa4{\ghtmfm[igh^|}Rtv[]«ghfm[`«bRek6ghZ\| R^`RQSRZrf,ghtvl4tv_bjPZ|}[]Z\a Retmtv_bt,ku|}R¬\ZPR|onlStmRe^`ghfm[`_bZF;Tc3¥uJRetmac[]Z\a'fmNPRk¤RHfx§?_¡d_cQ¡{\j}fvghfm[`_bZ\k?[`k*fmN\R£_ctm[àb[`Z\gh^\ ReghfmjPtvRH_bfmNPR CFE HyªQ¡RfmNP_}|ì¥uM5N\R£d_cQS{Pj}fvghfm[`_bZ_bìfmNPRY{\gbt¤fv[`gb^|}Retm[`«gfm[`«bRk WfP o n [ikd^`gckmkm[i d rtmRe«bRt,kmR)Q¡_}|}R _b5gbj}fm_cQgfm[id|}[]pRetmReZrfm[igfm[`_bZ [ik gh{\{P^][`Re| gck[]v Z / 62?_b?t /10<02* _bt R¯}gbQS{P^]Rc¥ Eu^`RQSReZcf,ghtvltv_bjPZ|}[]Z\a Retmtv_bt,k o n ghtvRY§R^`f^ ¨nZP_§)Z

(62) []Z

(63) fmN\Rd_bQS{Pj}fvRtBgbtm[]fmNPQSRfm[id'd_bQSQ6jPZP[]fxlb¥ Z

(64) fmNPR _c^]^`_§)[]Z\a6tvRîgfv[]_cZ\k¸ o n

(65) q\g gB UXWZY

(66) [_R n `ZDR n §)[®fvN R n UvRTpq]R

(67) r ¸}ghZ\|tm[àbNrf¤©Ókm[`|}RHR¯}{PtvRekvk¤[`_bZ\k*ghtvRHd_cQ¡{\j}fmR|_bZ\RekHé§?R |Ptm_c{N\ghfvk)gbZ\| WZY ©¿k,3¥ M5NPRRe^]ReQ¡ReZrfvghtvltv_bjPZ\|P[]ZPa¡Rtvtv_bt5gbkvk¤_}d[igfvRe|§)[]fmNEgb|\|}[®fv[]_cZ¸PkmjPo}fmt,gbdfm[`_bZ

(68) ghZ\|QjP^]fm[`{P^`[`degfv[]_cZ [ik)gSd_cQ¡{\j}fvgboP^]R¹_cgfv[]Z\a6{p_b[`ZrfBZrj\QopRt /ÌT 2¿¸ / - 2<¥ ¦R'N\g«bR o n

(69) u#ggUz[R n ¤RTpB`]¤R

(70) r §)NPRZ ª RTp ª ª R

(71) r ª®¸\gbZ\| o n

(72) ggUvRZn:[Rp mRr `]

(73) [_Rp mR r ù¢[R p 5Rr `:[R p mR r `h ^`RZZ\fmahNPfmN[ik"îgb{k¤ghftmfvdk¡_bQSfmN{Pgj}f"f,g|}fmRe[`{_bZ¢ReZ\¸p| Rgb_bd,ZNé¹\gb_cd3ghfvfm_b[`t ZPaR {[`k_c[]kmZr{Pf"^][]f'gbtm[][]ZrfmfvNP_ QSRR fm[idJghZd,N\| ghR t,gb d¸ìfm[]Rfvtvk[ikxj\fv[`{Pde{k!¥Ret'TPgh_cZ\t||}^][]_«n§[ik¤R[`t _bZ 3N\ghgbZ^®÷| © kvqrj\ghtvR¡tm_n_hf¸¢gh{\{Ptm_¯}[`QgfmR¡R^`RQSReZcf,ghtvlJtm_cjPZ\|}[`ZPaERtvtv_bt Po n ghZ\|d_ctmtvRekm{_cZ\|}[`ZPaEgh{P{Ptv_¯}[]Qghfm[`_bZ op_bj\Z\|Pk _bt ª Po n o n ª}gbtmR'gb^`km_¡d_bQS{Pj}f,ghoP^`R / 2<¸ / 2¿¥ ¦R'N\g«bR Po n

(74)

(75) g gU [_R n 5Rsr `HRp o n

(76) gG|fg R n ¸ghZ\| Po n

(77) gGgBUV\[_Rn#mRn.`HR p u o n

(78) gG|Zg|

(79) [ mRn<` ¥. ? . ')(. 0I2."0]ADC8 Z-?N^ 4. . . AD."0]. ,D,D? ,. "!7(. M5N\RHRtvtv_bt O gbkvk¤_}d[`ghfmRe|¡§)[]fmN ¡ P d_bQS{Pj}f,gfm[`_bZd_bZrf,gh[`Z\k fvNPtmReR£km_bjPt,dRk _hRetmtv_bt¥yH{P{Ptv_¯}[]Qg© fv[]_cZFRtvtv_bt,k)R¯}[ikxfY§)NPRZ Po n [ik£d_bQS{Pj}fvRe|ì¸]'t`¸£ _ctY|P[]«n[ik¤[`_bZgbZ\|Fkvqrj\ghtvR tv_r_bfe¥Yz)_bjPZ|}[]Z\a"Rtvtv_bt,k d_btvtmj\{}f fmNPRB¬\Z\gh^[]Z\ZPRt?{Ptm_}|}jd3f*[`ZtmRe^`ghfm[`_bZJ;TcugbZ\|¡fmNPR£ghj}fv_bQgfv[`d)|}[]RtvRZrfm[igfv[]_cZ{Ptm_}dRekvk¥¦4R |PlrZghQS[`degh^`^]l"o_cjPZ\|Regbd,N

(80) _hfmN\RekmRYRetmtv_bt,kj\km[]ZPaS¦[`^4¨n[`Z\km_bZ k5tmj\ZPZP[`ZPaSRtvtm_ct5gbZ\gh^`l}k¤[ik/40Tt2¿¥ O¢Rf j\k'd_bZ\km[`|PRtNPRtvR¡fmNPRgbj}fm_cQSghfm[id¡o_cjPZ\|}[`ZPaE_htm_cjPZ\|}[`ZPa

(81) Rtvtm_ctvk£[]Zrfvtm_}|}j\dRe|4[]ZfvNPRyH {\tm_}dRkmke¸ 't`¸ ª WZY[$# n `&# n ª\§)NPRtvR # n U RP S o n gbZ\| WZY

(82) [$# n ` [ikBfvNPR6d_btvtmRk¤{p_bZ\|P[]ZPa«gb^]jPR d_bQS{Pj}fvRe| §)[]fmN y£ [`Z tvR«bRetvkmRQS_}|}Rb¥JM5NPR" _b^`^]_§)[`ZPaFgh^àb_ctm[]fmN\Q |}Rkmdtm[òRkfmN\Rkm[]Q6jP^®f,ghZPRe_bj\k d_bQS{Pj}f,gfv[]_cZ _hH{ghtmfm[igh^5|}Rtv[]«ghfm[`«bRek WZY

(83) [%# n ` ^`[]Z\RekSgbZ\| 6ngbZ\| gbkvkm_nd[`ghfmR| Rtvtm_ctop_bjPZ\' | &n é^][`ZPR -¡ghZ|"_cj}fm{PjPf,3¥ T\_bt [`ZrfmRtvQSRe|}[igfvRghZ\|_bjPfm{Pj}f6«gbtm[igho\^]Rk R n k¤jd,NfvN\gf R n U}WZY

(84) [_RpTqFR

(85) r ` )¸ (+* ,.-0/ 12*436587:9 [R n ` tvRfvjPtvZ\k [`ZcfvRtvQSRe|}[igfvRB_btu[`ZP{PjPf«ghtv[ighoP^`Rek Rp gbZ\| R

(86) r Wp n o_cjPZ\|Pk*fmN\RBR^`RQSRZrf,ghtvl6tv_bjPZ|}[]Z\a'Rtvtm_ct [`ZJfvNPR6d_btvtmRk¤{p_bZ\|P[]ZPad_bQS{Pj}f,gfm[`_bZ_h Rn< R p fvN\gfYQSgl

(87) opR6|}[]pRetmReZrfHfm_ 3Rtv_§)NPReZ q£Uz _bt ¥uM5NPRk¤R'«gb^]jPRk)ghtvR£Zgfmj\tvgb^]l"d_bQS{Pj}fvRe|

(88) [`Z"fvNPR d_cZ\kxfvtmjd3fm[`_bZEk¤fvghacR_h¢fvNPR'tvR«bRetvkmRYQ¡_}|}Rc¥ ?# # #=< * 8> (B() 6

(89) '3-

(90) ?¡A@E(K ¤+ tvZ¡RedfvfmNP[`_b[`k*Z^`gbgcZ\kxf*| kmgcRedddfmj\[`_btvZgcd¸clH§?[`RHQS{P{Ptmtv_c_{«b_rRk¤QSRRefxZc§f_ [`kk¤[`[àb^]^`Z\j\[®k¤¬fmdet,ghgZrfmRfu|'gh{P§){\[]fm^][iNdgh[`ZPfm[`ZP_bReZ\tk {\_btm_}fv|}NPj\RdfCFdE _b£QSy{Pj}QSf,gRfvfv[]NP_c_}Z|ì¥]¥BC?T_c[]tmZ\tvgbRe^\dfmd[`_cZPt¤a © kmRZk¤[]fm[`«bRY[]ZrfvRtvQ¡R|}[igfmR£«ghtv[`gboP^]Rk¸n§RYk¤fvgboP[`^]1[ 3R BRe§5fm_bZ k[]fmRt,gfv[]_cZgb{P{P^`[]R|fm_¡fvNPRYd_bQS{Pj}f,gfv[]_cZ. ;. å ¬i®¯°(± «« .

(91) .

(92) => @<@ ' "

(93) . Í Í. ®Í. Í. . . Í. ¢¶ c . ¶. R n |U¢~ n p U R p U p U . (*, -0/ 16*634587 9 # # # # · ¶. ² ² · ¶ ¢ b RP. °Í ±eÍ. #. RTp [ |U x u¢y<g~H`g ?R S U y<g

(94) UX ¶Dx uXy · ¶ [_RZn` · ¶ RZn< R p R p u Rn£ n p u n ª n p ª u8W p n# ª RZn ª p u ª ?Rn# n p ª u ª R p ª . #. S o n U R n. ¸. #. &n. #. U © n [ |?U x u¢y<gG~ `. _b{p_b^`lnZP_bQS[igh^ìQj\^®fv[]{P^`R'tv_r_bfe¥ C?_bQS{PjPfvgfv[]_cZ

(95) gbZ\|Ed_ctmtvRedfm[`_bZgbtmR E&E&Eu©x<-6k¤[`ZPac^]R{PtvRed[`km[]_cZtvR© kmjP^]fvk / 2¿¥ Z4op_hfvN degbkmReke¸ì§?Rd_bQS{\ghtvR6fmNPRSRcbd[]ReZ\dlF_b?fvNPRd_ctmtvRedfm[`ZPaQSRfmNP_}|fm_

(96) fmNPRd^`gckmkm[id jk¤R_hNP[àbNPRet){PtvRed[ikm[]_cZ4÷fvN\gfHd_btvtmRk¤{p_bZ|PkNPRtvRYfm_ E&E&E ©¤-6|}_bj\oP^]R{PtvRed[`km[`_bZ¥. ("*. Z ?,D,D8:1<AD.0] ADC8.0FB6! 8 9 6 A3(. (V. Z ?,D,D8:1<AD.0]32 8:09E.5A.54 8*6 0NAE8:,/^ 8:I."F A8*7 FH,/.5F9826"8:9<(. . ¦Rd_bQS{Pj}fvR'fmNPR[]ZPZ\RtB{Ptv_}|}j\df ^#"$ §)[]fmN ^ U

(97) y.g

(98) gijig k giy<gjsgjijgj [ k ` " ghZ| $ U

(99) y<giy<gijjZgiy2 " b¥ C?NP_rk¤ReZ op_bjPZ| _ctfmN\RJ«bRedfm_ctSkm[13RDxªacj\ght,ghZrfvRRek6ZP_ _«cRtm¹\_§'¥9Eu¯}gcd3ftvRekmjP^®f kvgfv[`k¤¬\Rk ^#"%$ UXlh o\j}f6÷ _c t x'&vx%(ì¸pg¡fmNPtvRekmNP_bî|fmN\ghf£|}Re{ReZ\|PkB_cZ

(100) fmNPR {\tmRd[ik¤[`_bZ E E&E ©¤-6 km[`ZPab^`R

(101) gbZ\| |P_bjPoP^`R

(102) {PtmRd[ik¤[`_bZ d_cQ¡{\j}fvghfm[`_bZ\k¡k¤jPpRetS tm_cQ gF _ctm§5ght,| Rtvtv_bt fvN\gf[`Z\dtvRegck¤Rk6gck6g {p_§Rt5_huT6§)NPRD Z x[`Z\dtmRgbkmRekékmR@R T[]acjPtv£R 03¥ yH{P{P^`lr[`ZPa£fmNPR5d_ctmtvRedfm[`ZPa)QSRfvNP_}|'fm_HfmNPR5km[]ZPac^]R?{PtvRed[ikm[]_cZ d_bQS{PjPfvgfv[]_cZ¸§R*N\g«cR ^ " $UXsh fmN\ghfY|}_nRkHZP_bfYgb{P{Rght£_bZJfvNPR6^`_bab©¿kvdgb^]R T[àbjPtv?R 03¥£M5N\RtvR _btvR'fvNPR¡d_btvtmRd3fvRe|

(103) []Z\ZPRtY{Ptv_n|Pj\d3fY[`k R¯Pgbd3f _btER«cRtvld_bZk¤[i|}RtvRe¢ | x ¥ f

(104) [ik

(105) §?_ct¤fvN ZP_bfm[`ZPa fmN\ghfEd_bQS{Pj}fvRe* | ),+.-&fmN\ghf

(106) op_bjPZ|Pk

(107) fmNPR d_bQS{Pj}fv[]Z\aRtvtv_bt O {Ptv_«bRekufmN\ghfkm[]Z\ab^`RH{PtvRed[`km[]_cZtvRekmjP^®f,k*gbtmR R(= j'§)[]fmNP_cj}Ff ¨nZP_§)[`ZPa fvNPRHR¯Pgbd3f tvRekmjP^]fBk¤[`Z\d?R ª ^ " $V¤^ " $ ª U ª ^ " $ ª { )/+.-10 ª WZY e ^ " $Xf ª h. f?[`k*§?Re^]T^ ¨rZ\_§)ZSfmN\ghf*tm_cjPZ\|}[`ZPa Retmtv_bt,k{Ptv_«n[`|}Rk[]Zkxf,ghoP^`R BRe§5fm_cZ k*[®fvRt,gfv[]_cZ§)NPRZ[]f?[ik*gb{P{P^`[]R| fv_d_bQS{Pj}fvR¡g"{_c^]lnZP_cQ¡[igh^tv_r_bf£_b*QjP^]fm[`{P^`[`d[®fxl;:<& y /40 2<¥#C?_ctmtvRedfm[`ZPafvNPR¬Z\gh^tmRk¤j\^®f_h*gbZ []fmRetvghfm[`«bR5{Ptv_}dRekvk[ik []Z\cR bd[`RZrfuoPj}fd_btvtvRed3fv[]Z\a£§R^`^®©Ód,NP_rk¤ReZ6[`ZrfmRtvQSRe|}[igfvR5«gbtm[igho\^]RkQSgl6kxf,ghoP[`^][13R fvNPR'[]fmRt,gfv[]_cZ¥ ¦R'd_bZk¤[i|}Rt5{p_b^`lnZP_bQS[igh.^ = [_RZ` Uz[R yt` > ¥ f,ghtmfm[`ZPa6§)[]fmN R U&sh ¸r§Rd_bQS{PjPfmR BRe§5fm_bZ k []fmRetvghfmR Rn j\Zcfv[]^fvNPR

(108) gbo\km_b^`j}fmRtmRk¤[i|}j\gb^ ª = [_RZn` ª @?.A ¥ Z fvNPR _b^`^]_§)[`ZPad_bQS{Pj}f,gfm[`_bZk¸ §¤ R @

(109) d,NP_n_ckmR ?.AUCB[D?`mU y<h yi FE §)NPRetmR ?HG y.h D yt FEJI [ik¡fmN\REkmQgh^`^]RkxfSZP_cZ}© 3eRtv_ {p_ckm[]fm[`«bRZnjPQopRt)[`Z E&E&E ©¤ -6Skm[`ZPab^`R{PtmRd[ik¤[`_bZ¢¥ yB÷fmRtBg6tvRegbkm_bZghoP^`RHopRac[]ZPZ\[]ZPa¡_hd_cZr«cRtvabReZ\dRçbop_hfmNEkm[]ZPac^]RghZ|"|}_cjPoP^`R£{PtvRed[`km[`_bZ"[]fmRetvghfm[`_bZ\k opRed_bQSRj\Z\kxf,ghoP^`RFjPZrfv[]^'k¤fm_b{\{P[]Z\a _btmfmjPZgfmRe^]l §)[]fmN 8 g 3Retm_ gbo\k¤_c^]jPfmRtvRekm[i|}j\gh^¡ oPtvRe<g ¨}|}_§)Z [`k _co\kmRtv«bRe| _btBkm_bQSR_hfvNPRtBd,NP_c[`dRek_h[`ZP[®fv[`gb^ R 3¥ ¦NPReZ {p_b^`lrZ\_bQS[`gb^`k =ghZ\K| = A ghtvR R«gh^`j\gfvRe|j\km[`ZP a 7B_ctmZ\Rt kkvd,NPReQ¡RçfmNPR*d_btvtmRd3fvRe| BRe§5fm_bZ k []fmRetvghfm[`_bZ R ne UXR n = [_R n `G = A [_R n `(gi[ |?Ublgjy<gihjhih` [`kHkxf,ghoP^`R ghZ\|Ed_bZn«bRetmacRek§)[®fvNEfmNPR'QghfmN}© ö ü « dö g.

(110) .

(111) !#"

(112) !$%&'$(. 1e+30 Single Precision Double Precision Corrected (= 0.0) Error Bound u. 1e+25. 1e+20. Inner Product. 1e+15. 1e+10. 100000. 1. 1e-05. 1e-10 40. 60. 80. 100. 120 140 Vector size. 160. T[àbjPtvR0FC?_bQS{PjPfm[`ZPa ^#"$U¢sh . 180. 200. 220. ¥. ReQgfm[idgb^]^`l

(113) R¯}{Rd3fvRe|FacR_cQ¡Rfmtv[`degh^_ctv|PRt [ : vy ` :4¥YM5NPR6d_bQS{Pj}fvRe|gb{P{Ptv_¯}[]QgfvR Rn [`k£QS_btvR gcddjPtvghfmR£fmN\gbZ"fvNPR dîgbkvkm[`d£Rek¤fm[`Qgfm[`_bZ

(114) [`Z B[ © ` §)NPRetmR© [ik5fmNPR{PtvRed[`km[`_bZ"_bfvNPR'd_cQ¡{\j}fvghfm[`_bZ¥ T[àbjPtvRek)TSgbZ\|¡[`^]^`j\k¤fmt,gfvR£fvNPRekmR'{Ptv_b{pRtmfm[`Reke¥ ((5() #() /40j2@T¥ Ou ¥ gbjPRt¥zC?_bQS{Pj}f,gfm[`_bZgh^Bactvgb{PN\kgbZ\| tm_cjPZ\|}[`ZPa Retmtv_bt,k¥ E

(115) " \)

(116) 'jj" =4`¸ 0.0c 0

(117) r ncP¸ 0er 6\¥ / T 2'M¥ \¥P£jR ¨\¨bRete¥yª¹\_cghfm[`ZPah©¿{p_b[`ZcffmRd,NPZP[iqrjPRY _bt)R¯nfvRZ\|}[`ZPa¡fmN\Rg«gb[]îghoP^`RY{PtmRd[ik¤[`_bZ¢¥H

(118) 'jj dl`¸ 04 TcT 6 }T 6nT}T ¸ 0er

(119) 0b¥ / 2

(120) G&&[ T! Z < R(

(121) =4t T"S\'($

(122) "@ E

(123) E

(124) & B < !#"#h¥ Fs ZO¢kxfvy [®fv j}fmBR_h_bfv [`dEuReke^`Re¸\d3TbfvT\tm[i;dTbgb& ^ ' gh }Z\.T H| -}¸ Eu0e^` Rend3fvntm¥ _cZP[idk EuZPac[]ZPReRt,k¸ HR%§ $u_ct ¨¸ 0 .-P¥ z)R{\tm[`ZrfmRe|[]Z V£© / 6<2'gbkvgh_ tv[; ¥ 7H[`k¤fm_ctml _hgbj}fm_cQgfm[id|P[®RtvRZrfm[igfv[]_cZªgbZ\|tv_bjPZ\|P[]ZPa Rtvtm_ctRek¤fm[`Qgfv[]_cZ¥ Z yHZ\|}tvRegckVYtv[`R§5ghsZ ¨FgbZ\|4VYRe_btvabXR T¥ C?_ctm^`[`kvke¸ìRe|}[]fm_ctvke¸ "

(125) B $)( * 'j'j l 8"R "= . S\#+-,Ll'G

(126) .2

(127) @ =4'j'( TB Z D" @<@ =>$ \¸*{\ghacRek' 0P¥ _}d[]Rfxl _ct Z\|}jkxfvtm[igh^ gbZ\|EyB{P{\^][`Re|EFghfmNPReQSghfm[idke¸}suNP[`^`gc|}R^`{PNP[igP¸\sy¸ y ¸ 0bl 0b¥ / -2'£_bZghî | EB0¥ /Znj}fmN1 ¥ ,Ls' " "R %& @

(128) !'j G<£# \'32T=>

(129) ')4 Z'j# T

(130) 'j$="=5 S\#3¥*y)|P|}[ikm_bZ}©¿¦4Rk¤^`RlçPz)Regc|}[`ZPa\¸PFy¸ y ¸}fvNP[]t,|

(131) Re|}[]fm[`_bZ¢ ¸ 0ec P¥ å ¬i®¯°(± «« .

(132) .

(133) => @<@ ' "

(134) . 3 Single Precision Double Precision Corrected Iteration. Newton’s Iterate. 2.5. 2. 1.5. 1. 0.5 0. 20. 40. T[]acjPtmR T. 60 Iteration. 80. 100. BR§5fv_bZ k5[]fmRt,gfvRek5jPZrfv[]^ìfvRtvQS[]Z\ghfm[`_bZ¥. 120. 10. 1. Accuracy. 0.1. 0.01. 0.001. 0.0001 Single Precision Double Precision Corrected Iteration (5/6)**k 1e-05 0. 20. 40. 60 Iterate (k). 80. 100. HR§5fm_cZ k5[®fvRt,gfmRk5jPZrfm[`^ìfmRetmQS[`Z\gfv[]_cZ¥. T[àbjPtvR' y)ddjPtvgcdl_b. 120. ö ü « dö g.

(135) .

(136) !#"

(137) !$%&'$(. / 2 /£_b[id,NP[/jPo_bfvg\¥Fs gb|}tvRT©@TP_ct¤fvtvgbZ{\tmRd_bQS{P[`^`Rt _ct6gbj}fm_cQSghfm[id|}[]pRetmReZrfm[igfm[`_bZ ghZ\| Rkxfv[®© QghfmRek£_h tv_bjPZ|}[]Z\aRtvtm_ctvke¥ ZFFghtmfm[`Z RtGb3 ¸f?C NPtv[`k¤fm[ighZ [ikmd,NP_bx¸pVYRe_btvabR£?C _ctm^`[`kvke¸\ghZ\|yBZ}© |PtmRgbk)VYtm[`R§5ghZlp¨ ¸nR|}[®fv_bt,k¸]%& @

(138) ! Z= ( * 'j'j l Z ,l'$ \ l l'( " @<@ =>$ s ,Tt= 3 ¸ {\gbabRek6bn nn 6 ¥ _nd[]Rfxl _ct Z\|Pj\kxfvtm[igh^ghZ\| yH{P{P^`[]R| FghfmNPReQSghfm[idke¸suNP[`^`gc|}R^`{PNP[igP¸ sìy¸ y ¸0 bb\¥. . . . /Ì 2s*NP[]^`[`{P{R#O¢ghZ\ab^`_b[ik¥yBj}fv_bQgfv[`dY^`[]ZPRghtBd_btvtmRd3fm[`_bZ"_htv_bj\Z\|}[`ZPa6Retmtv_bt,ke¥ Bj\Q¡Retm[idgb^yBZ\gb^]l}km[`k zBR{p_btmf -<P- ¸hFghZ\d,N\Rek¤fmRt ?C ReZcfvtmR? _btF?C _cQS{Pj}fvghfm[`_bZ\gb^}FgfvNPRQgfv[`dek¸cFghZ\d,N\Rek¤fmRt¸EuZPac^`gbZ\|ì¸ H_«bReQopRte0 cb\¥yBîkm_g«gb[]îgho\^]Rgbk £z y~z)RekmRegbtvd,N

(139) z)R{p_btmfBzBz } cT P¸}£Redh¥ e0 bcP¥. . . / 2s*NP[]^`[`{P{R£O¢gbZPab^`_b[ik)ghZ\| TghoPtv[idR Hghfm[`«bRe^;¥z)Re|}jd3fm[`_bZFgbZ\|

(140) o_cjPZ\|}[`ZPa_bfvNPR tv_bjPZ|}[]Z\aRtvtm_ct [`Z

(141) ¹\_cghfm[`ZPaS{_c[]ZrfHgbtm[]fmNPQSRfm[idh¥ %& "$G. < f$(:A j' ¸\rTc ï l 0

(142) \ b\¸s0ec\¥. jPZPRSk¤_cQSQ¡R6RZghtv[®fvNPQSXfm[iqrjPR "«n[]tvabjP^`R'¹\_bf¤f,ghZrfmRc¥ O¢_bjP[ik Y¥hzBgb^]^<¥ZC?_cZr«cRtvabReZ\dR?_hpfmNPR H R§5fm_cZS{Ptm_}dRekvk¢fv_'QjP^]fm[`{P^`RBk¤_c^]jPfm[`_bZ\ke¥

(143) 'jj T.- }rn¸0ecb\¥. / 2'F[`d,NPOe^]R¡su[id,N\gf¥C?_ctmtvRedfm[`_bZJ| d l` ¸ e0 r 6 b' c6 cP¸Te0 rbT}¥. /10e2. . . .

(144) 'jj Ss`¸. . /10<0j2 O¢_bjP[ik Y¥pzBgh^`^gbZ\|FVYR_ctmacRT?¥fC?_btv^][ikvk¥)yBZJ[`Zrfmtv_}|}j\d3fv[]_cZEfm_"gbj}fm_cQgfm[id |}[]RtvRZrfm[igfv[]_cZ¥ Z ghtmfm[`Z Retc3 ¸?C NPtv[`k¤fm[ighZ [`kvd,NP_hx¸\VYRe_btvabR ?C _btv^`[`kvk¸PgbZ\|EyBZ\|PtmRgbkBVYtv[]Re§gbZs¨ ¸}Re|}[]fm_ctvke¸%& @

(145) B = ( * 'j'j l ,T'G$ \ T l'( " @<@ =>$ l ,Ti= 3 ¸r{ghabRk

(146) 0 Z0 \¥ _}d[`Rfxl6 _bt Z|}j\k¤fmtv[`gb^¢ghZ\|

(147) yB{\{P^][`Re|EFghfmNPReQgfm[idke¸}suNP[`îgb|}Re^]{PN\[`g\¸Psìy ¸ y ¸ e0 bcP¥. . 4. /10T2 rghQSRk7 ¥P¦[`^4¨n[`Z\km_bZ¥Eutvtv_bt)ghZ\gb^]l}km[`ktvR«n[ik¤[]fmR|ì¥

(148) 5"

(149) ==4'j ¸TbT\w0<0°\0Tb

(150) 10erT PThb\¸

(151) 0e. å ¬i®¯°(± «« . bP¥.

(152) Unité de recherche INRIA Lorraine, Technopôle de Nancy-Brabois, Campus scientifique, ` NANCY 615 rue du Jardin Botanique, BP 101, 54600 VILLERS LES Unité de recherche INRIA Rennes, Irisa, Campus universitaire de Beaulieu, 35042 RENNES Cedex Unité de recherche INRIA Rhône-Alpes, 655, avenue de l’Europe, 38330 MONTBONNOT ST MARTIN Unité de recherche INRIA Rocquencourt, Domaine de Voluceau, Rocquencourt, BP 105, 78153 LE CHESNAY Cedex Unité 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)

(153). ISSN 0249-6399.

(154)