Culling a Set of Points for Roundness or Cylindricity Evaluations

Texte intégral

(1)Culling a Set of Points for Roundness or Cylindricity Evaluations Olivier Devillers, Franco Preparata. To cite this version: Olivier Devillers, Franco Preparata. Culling a Set of Points for Roundness or Cylindricity Evaluations. RR-4159, INRIA. 2001. �inria-00072463�. HAL Id: inria-00072463 https://hal.inria.fr/inria-00072463 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. Culling a set of points for roundness or cylindricity evaluations Olivier Devillers — Franco P. Preparata. N° 4159 Avril 2001. ISSN 0249-6399. ISRN INRIA/RR--4159--FR+ENG. THÈME 2. apport de recherche.

(3)

(4)

(5)

(6) "!#$

(7)

(8) &%(')!*+%,-.' ,/0 1 2+1"

(9) 3#46567568:9"; <8 7564=468:9>@?BADCD9FE.G*H:IKJMLNJ98:ODEP9@EPQ@ESR T,UWVXZY[\^]`_aWbcYedgfih<bgjbcYd YkMjlmdnj+opdrqtsuXv.fidgbnw<opY xDyzfm{|Ykzq$xDyzbgq}X~Y MlmW.fiy}kYey}YFj-UWYy-j-UWYa. *pFi\ûyzbcd[iip\ZPlmhiYFq Wii $fiopapaWYFq}qlmapejs:dgbgapyzbgjbk|s`Ylmdgoplmk}bgfiapqrliy}YlmX~fiaWh,kzUWY(X~f:q|kbgX~Pf<ytk-lma:kWyzfivpdcYX~q bgaj+fiX~WoWkzlkzbcf<aplmd$X~Yk}yzfidgfihis<(lmaPliy}Y vpliq}Yfiaq}Y+kzq~fi2q}oWy}6lijYX~Yl<qtopy}YXZYa:kzq#bgaWWok"plkzl .fibga:kzq-( y}YFj+Ya:klmpWy}f:lij-U"k}f)q}opj-U#Ylmdgoplkzbcf<apq,bnq$vpliq}Yfia¡lZdgbcaWYFlmy}¢£py}f<hiy-lmX~X~bcaWhZlmWpy}f:lij-U subgYdnbgaWhZl1y-lmWbndgs)j+fiau<YyzhibgaWhq}fidgok}bgfiarN¤uoPj-U q}fidgok}bgfiabgq,Yk}Yy}X~bgaWYvus)l¥p¦uYFu¢§qtbgŸ`qtoWvPqtYk,fi l2dnlmyzhiY,bgaWWokqtYk©§a~k}UWY$bga:k}Ya:kNkzfqtbgX~Wdgbs1k}UWYMX~libcaªjfiX~Wok-lk}bgfiaPlmdukzl<qt«S<bkliW.Ylmy-qDYFqtbgyzlivWdgY kzfjoWdcdyzfiX¬k}UpYbgaWWokelmaus#Pf<bca:k`k}Uplmk`jlmaWaWfik0WyzflmvWdgs#Y+¥papYkzUWY1q}fidgok}bgfia0©§a¡kzUWbnq0apfmk}Y1Y py}YFqtYa<klia liaplmdgsqtbnq,lmap#lma Y+®)jbcYa<kq}fidgok}bgfiak}f~kzUWYeWyzfivWdgYXfmjoWdgdcbgaWh~k}UpYebcaWpokMqtYk ¯¡°:±S²z³´ µi X~Y+kzy}f<dcf<hisi.X~bcapbcX1oWX¶¨f<aWY1jbcy-j+dgYi.X~bcaWbgXopX¶¨fiapY1j+sudgbcaPYyFSy}f<oWapaWYFq}qSj+sudcbga¢ Wy}bnj+bck|sibgaWWokMjoWdgdcbgaWh. ßpÀ-¾Â·½-à¸FÂ£¹»ºr¸@¹»¼Sºá½¼á¾=¿$½¾6¼r¿À-¼rºÀ-ÁºÀ-ÈF¾Â£½¹ÃÔ@À-ÇDÄ»Ä ÅM¹»Ô0º£ÆFÁ@Á@À-Ám¾6Â½¾6¼Â=Ç|¸@È2¹»Ä»Ç(ÉÅÒÂ=Ë¸@ÖÇ(Ç§Ê(â¹»ËÄ»ÌiÄ»Ç|Ë¾=Íºá¾6¼rÎÀ-ÅMºrâFÏr¹»º=Ç|¹º£Â£Çt¹»À-ÔF¾6Õ,ÐÑ¸ãS¾6Ò½}Ó$¼Ô2Ð|ÇDÊÆ@Ô@Ô@¹ ÈFâ+Ç|Çt¾=¾º=Õ¹ Âä¾=ÅÀ-Ë ÔÂÖÍÍ*×Ø-Ù-ÚÛÜzÚÑÝ§ÚØØFÝtÞFË å(ìæí ç Ç|ÏÔ+Â£æ Ç|Í¾èmàcãá½¾*ßPîÛÞFÇ|è½Î$ØÜÇ§ÛÂ=Ø¾=é¹»Ð Ìí ½½Á@Î$¸F¹ÃÁ@ÀzÆFÚäÍÂ=¹»Ô+Ô@Â£Õ@¹»Ámèi½ÖÄ»¹»Ç|ºtÁè@À-ê¾¾=Â£À-Î$Ô@Ç|Ð|Ô+Ç+Â*è<½-Òà Ä»¹ í â¹»½Ç|Î$¾tË Á@ÖÆFÇ|Â=âÇ|¹»¾*Ä»Ä»Ç|Ì¾=Ð|ºÑ¹»ëÇ|Ô@º£Ð|½ÇÁ@è<¸FãS¹ÃÀF¾=Ë ½t¹»Ô@¼¾=Ô2¹ÃÀFÊË àc¾ Ô@¹ â+Ç|¾6º£¹ ÂäÅ+è»ÝÝtï,ðZÀzÂ=Ç|¾=ÎÀ-Ô ÌÂ£¾6Ç|Ç§Â}èißp¾=½tâF¹»È@Ç|Ô@Ð|ÇèiÏ æ ØéÛFÝtéFË.àc¾£À-ÔFÐt½ëÐ|ºtË É@¾=½t¼Ô:Ë Ç|È@Æ. Unité de recherche INRIA Sophia Antipolis 2004, route des Lucioles, B.P. 93, 06902 Sophia Antipolis Cedex (France) Téléphone : 04 92 38 77 77 - International : +33 4 92 38 77 77 — Fax : 04 92 38 77 65 - International : +33 4 92 38 77 65.

(10)

(11) $%N*+ "$!

(12)

(13) + !

(14) " ,/` $

(15) %,+% +

(16) %')"! %

(17) _lmdgoplkzbcf<a Y)dnl j+bgyzjoWdnlmyzbkz_ZYk1Y)dnl js:dgbgapyzbgjbkz_#plmy}k}bgy oWa YapqtYXvWdgY"Y .fibga:kzq`X~Yq}oWyz_Zq}oWy`d fiv{|Yk`YFq|keoWa WyzfivWdgVX~Y1k}yzVq0bcX~.fiy}kzlma:k2Ya X~_+k}yzfidgfih<bcY<aWY1k}YdcdgY~_lmdgopl¢ kzbcf<a.YoWkt¢+ k}yzY2X~YaW_Yeplmy,oWaWYq}_yzbgY`Yepy}f<hiy-lmX~X~YqdcbgaW_libcyzYq,jfiauiYy}h<Ylma:kyzliWbgWYX~Ya:k,iYy-qdgl q}fidgokzbcf<arM aWYk}YdgdgY q}fidgok}bgfiaKYqtkZ_k}YyzX~bcap_Y plmyZoWaK.Y+kzbkªq}fiopqt¢£Yapq}YXvpdcY"WYd Yapq}YXvpdcY Yq .fibga:kzq~X~Yq}oWyz_q xf<oWy)qtbgX~Wdgb¥pYyªdcY¡py}fj+YFq}q}opqZaWf<opqZWy}f<Pf:qtf<apq~ _dgbcX~bgaWYy)Y¡d Yapq}YX1vWdcY¡Y W_pliytk0jYy}kzlibcapqMPf<bca:k-q.fioWy`dcYFq}w:oWYdgqMfia¡.Yokej+Yytkzb¥PYy6l<j+bgdcYX~Ya:k`w:o bcdnqapYpliytkzbgjbc.YyzfiapqMpliq Z dnl~_+kzYyzXZbgaplmk}bgfia#Yedgl~q}fidgok}bgfia ´ F ² _k}yzfidgfihibgYiliaWaWYlioX~bgaWbgX~lid=WjsudcbgapyzYeX~bcaWbgXªlmd£Wj+bgyzjoWdnlmyzbkz_iWj+sudgbcaPy}bnj+bck}_ .

(18)

(19) "!# $ %&'()#!*'+(,-. &/ +/. 0. ª!#"%(+1 fioWapWaWYqzq1liap js:dgbgapyzbgjbk|sBYlidcoplmk}bgfiapqZlmyzYliX~fiaWh¡kzUWY XZf:q|k~bgXZ.fiy}kzlia:k1WyzfivWdgYXªq1bca j+f<X1¢ pokzlmk}bgfiaplidNX~Y+k}yzfidgfih<siq}bgapj+Y)js:dgbgapyzbgjlmdNq}oWyt6l<j+YFqelmyzYZopvWbgw:oWbck}f<opqebga bcaPopqtk}yzbglidNXªlij-UWbgaWbgaWhp)©Ñk q}UWf<oWdgKvPY aWfik}Y k}Uplmkªy}f<oWapaWYFq}q1Ylidcoplmk}bgfiaKjlmavPY ubcYYFKliq~liaKlmWpy}f:lij-U kzf js:dgbgapyzbgjbk|s Ylmdgoplkzbcf<a $UWYak}UWY~dnlk}k}Yy`bnq`jlmyzy}bgY fiok2X~Yliq}oWyzbcaph)yzl<bnlmdfiyzX bga q}Yjkzbcf<apqàWfiyzXªlmdk}fk}UWY apfiX~bcaPlmdrl¦bnqz+ T,UWY,qtkzlmaPWlmy-j-Upliyzl<jk}Yy}bg¨lmk}bgfia2fmPy}f<oWapaWYFq}qbgqkzUWYapfmk}bgfiafm4 3 / 3 365 "7' '8 mb£ Yigk}UWY jbcy-j+opdgliyjy}f$aZj+fia:k-lmbgaWYvPYk|YYak|f2j+fiaPj+Ya:kzy}bnjjbcy-j+dgYq$bck}UZX~bcaWbgXopX yzl<bnlmdqtYplmy-lkzbcf<almaP jfia:kzlibcapbcaWhlidcdpk}UWY0Wlk-lePf<bca:k-q j+bgyzj$Maplmdgfih<fiopq}dgsiijs:dgbgapyzbgjbk|sZbgqj-Uplmy-lij+k}Yy}bgŸFvus1k}UWYapfmk}bgfiaªfi 3 / 3 395 &#:'()#!; <k}UWYMjsudcbgapyzbgjlmdj+yzf$aZvPYk|YYa1k|fej+fi¢Ñlm¦bglidujsudcbgapYyzq*$bck}U~X~bcapbcX1oWX y-liWbglidSq}YPlmy-lk}bgfia ©§aZlMyzYjYa:kpliPY=y < liXªi? >WlmX~f:qWyzfiYF2k}UPlkopapYyDjYy}kzlmbgajfiapbck}bgfiaPq@kzUWYjfiX~Wok-lkzbcf<a fikzUWYe¨f<aWYej+bgyzjdcYªäkzUWYeX~bcapbcX1oWX&$bnukzU#liaWauoWdgopqzbnqlma xD¢=k|su.YeWy}f<vWdgY@ X <» ¤ A <.[ >£ A bck}U y}Yh<lmy- k}f j+sudgbcapWy}bnj+bck|siSbgalmalmktkzYX~k`k}fl@<fibn k}UWY~j+f<X~Wokzlmk}bgfiaplidcdgs fiaWYy}f<opqMbgyzYjk WY+k}Yy}X~bgaplkzbcf<afm2k}UWY¨fiapYj+sudgbcapWYyF= B0YubgdcdgYy-q)liap xDyzYpliyzlmkzl y}YFj+Ya<kzdcsWyzYq}Ya:k}YF lBdcbgaWYliyt¢ py}f<hiy-lmX~X~bcaWh liWWyzf<lij-U subcYdgWbcaWh lia lmWpy}f@¦bgX~lmk}Y¡q}fidgok}bgfia y-lmWbndgsjfiauiYy}h<bcaWh k}f k}UWY ¨fiaWY jsudcbgapYCy < B`xN< >ÑT,UWbnqNX~Yk}UWf~bnqDvpliq}YZf<aZy-liWbglid¢£fiyzX X~Yl<qtoWyzYX~Ya<kFmb£ Y<c<k}UWY0Wlk-l2Pf<bca:kzq(lmyzY f<y}h:lmaWbgŸF)bgapdgliaplmy$YapqtYXvWdgYq T,UWYZqtf<dcoWk}bgfia#fm*k}UpYX~bcapbcX1oWXZ¢£$bnuk}U lmaWauoWdgopq(lmap#fiDk}UWY¨fiaWY1j+sudcbgapYy-$bgq0Y+¥papY#vus l q}Y+k2fmPf<bca:k-q0v.YdgfiaphibgaWh)kzf bckzq`v.fioWaPWlmyzsi©ÑY~jlia q}UWf k}UPlkl".fibga:k2jlmaWapfmk2vPYªl Y+¥papbcaWh .fibga:kMfm*kzUWYq}fidgok}bgfiarpk}UWYa¡Y1jlma¡yzYX~f<Y`bckyzfiX&k}UWYbcaWpokE DoWdgdgbcaWhqtopj-U#bgy}yzYdgYlia<k.fibga:kzq jlma¡v.Y1oPqtYF liq0lªWyzYWyzfj+Yqzq}bcaWh)qtk}Y¡k}f qt.YYF¡oW¡kzUWYZX~libca lmdghifiyzbck}UWX¬Yq}bch<aWY¡k}fjfiapqtk}yzopj+k kzUWY)q}fidgok}bgfiar~Tf#liaplmdgsuŸ~qtoPj-U WyzfivpdcYX lmapk}f WYiYdcf< kzUWY)j+f<y}yzYq}Pf<apbgaWhlidch<fiyzbkzUWX¶bnq2k}UWY f<v{|Yj+k}bgiY2fmk}UWbnq$aWfik}Y< H¡+ J ILKM~ +

(20) F G = T,Up:Y N¢£UuoWdgdáfm*l1q}Y+k$fiPf<bca:k-q O)ul<q,Y+¥papYbcPa < Q(SY R T?>Ñbgq,l1hiYapYy-lmdgbc¨Flk}bgfia"fmkzUWYej+f<a:<Y+¦ªUuoWdgd= Upfi= y NWVYXp:k}UW:Y Nr¢ÑUuoWdcdSfiZ O bgq(k}UWY`bga<kzYy-qtYFjkzbcf<aªfmlidcdSbnqt«qNfiy-libgop,q \ [ kzUplk,j+fia:k-lmbga O)] UWfiy NP^_XpikzUW: Y N¢ÑU:opdcdSbnqr{|opqtkk}UWY`j+fiau<Y+¦~U:opdcdálmaP~fi=y NW`JXW<k}UWaY Nr¢ÑUuoWdgd.fiZ O bgq(k}UpY`jfiX~WdgYX~Ya:kfi kzUWYeoWaWbgfia#filmdgdbnq}«uq,fiy-liWbcop:q b \ [ kzUplkMWfZapfmkMj+f<a:kzlmbga#lmaus).fibga<kfi4 O) UbghioWyzY~ebcdgdcoPq|kzyzlmk}Yq N¢ÑU:opdcdnq,fmc O f<y,k}UWyzYY2lmdgoWYqfmc NWf<aWY2Pf:qtbck}bgiYliap)k|f~aWYh:lkzbc<Yq d e f !) M ~"

(21) f<y}Y+bg=k hibgg/a hm v.g Ydg[ fi*aWh:qi g/kzj¡f l"k}UpqtYYbgk`y~fijNfiauPif<Ybca:¦ kzq0UuoWbgadgd£P j+f<A oWa:Y#k}Yy-Yj+aWdgffij-k}«u,Y $k bgq}Yelmfiay-lmYaWyàuoWlmyzdgopfiqZoWaPj+Ya:k}kzUWYY1yzYfi yzbclmh<k1bca kzUWq}opYj-f<U¡y}bgkzhiUpbgla k`lmk}aPUW Y jfia:kzlibcapbcaWhZlmdgdSk}UWY2.fibga:kzq/ lnm*bckzqbga:k}YyzaplidSjbcy-j+dgYelmap, l=o$kzUWY2Y+¦uk}Yy}aplidSfiaWY<:$UpYyz:Y p liapL pYqsr liy}Y0k}UpYj+fiyzyzYq}Pf<apbgaWh1y-liWbcb£ 1. 2. ÏÏ¬ÔtWÙ@ÝtïÛ.

(22) . -? $ & . yzl<bcoPqab \. yzl<bcoPqab \. y-libgopq [. \. [. [. bch<oWyzYZ

(23) NTf Nr¢ÑUuoWdcdnq$filªq}Y+k$fm*Pf<bca:k-q A Y liy}Y¡dgfufi«ubcaphBfiy)kzUWYX~bgaWbgXoWX $bgk}U liaWauoWdcoPq"j+f<a:kzlmbgaWbgaWhBk}UpY.fibga<k-q)$UWbnj-U $bgdcd`vPY WYaWfik}Y k h pEhlmap pEhEq rch lmyzYªkzUWY"bga:k}Yyzaplidliap Y+¦ukzYyzaplmdyzl<bcbfm7khmnlh m liap lh o k}UWY jfiyzy}YFqt.fiaPbcaph1j+bgy-j+dgYqy}YFqt.Yj+k}bgiYdgsi g lh m g 7 N & \ [ ^9bip br!" ° B # ´r%´ $ ©Ñk`bnq`Yliq}sk}f fivpq}YyziYekzUplkel"jbcy-j+dgY1q}XªlmdgdcYyMkzUplmP a l m jlmaWaWfik0Yapj+dgf<q}Y1lqtYFjk}f<y0finl m fi liaWhidgYMh<y}YFlkzYyk}Upli'a &DNT,UuopquWoWYMkzfZk}UWY2liqzqtopXZWk}bgfia)kzUplkk}UpY`f<y}bghibga)bnqbcapq}bnYMkzUWYej+f<a:<Y+¦ªUuoWdgd= liaus jbcy-j+dgYYaPj+dgf<q}bcaWhlmdgdrk}UpY.fibga<k-qMX1opqtk0Upl@<Ylªy-libgopqapfmk`q}XªlmdgdcYy$k}UPlma¡kzUWY1y-liWbcop7q pfin lmt T,Upbgq$liWWdgbcYFq,bca#pliytkzbgjoWdgliyk}Lf l h oWfmyzl<bcoPq p h qWr h b= Yi( U. +sWY+¥paWbck}bgfia fm]k h. p*) p:hnqWrch. bk-q$$bnuk}U#bnq$aWfmk$dnlmyzhiYykzUplmak}UpYe$bgukzU¡fmkªWb£ Y<. f<XvWbgaWbgaWhZk}UWYFqtY2bgaWYw:oplidcbck}bgYqWY2hiY+k. rch,) r. D. p:h,-Yp b r. py}f<XkzUWbgqbkMbnqjdcYFlmy,k}UPlkMbc*l~.fibga:k g bnq$fia l h m}kzUWYa#kzUWYyzYeY+¦bnq|k-qlma#YX~k|s j+bgyzjdcYefiy-liWbcopq p b

(24) rKpliqzq}bcaWhk}UWyzfioWh<Ug l<qq}UWf$aªbga

(25) UbghioWyzY`[W©§afmk}UpYyf<yzWq g bnq,liYytkzY+¦~fmákzUWY`jdglibcX~YF N¢ÑU:opdcdrfikzUWYePf<bca:k-q U. æç Ï æ Í.

(26) .

(27) "!# $ %&'()#!*'+(,-. &/ +/. r p. pJqr. pEh p_bsr. bghiopy}Y[ ]Upfiy,k}UpYeWy}fufifm YX~X~l elmaP [ U. ÏÏ¬ÔtWÙ@ÝtïÛ. rch.

(28) -? $ & °. B. 7 C/ g C& lh o g C % N " /i [ ^ p q .r \. # ´r%´ $ jbcy-j+dgYh<y}YFlkzYykzUplma l=oj+f<a:kzlmbgaWbgaWh)kzUWYZfiyzbch<bca X1opqtk`Yapj+dgf<q}Y1lqtYFjk}f<y0finkfilmaphidgY <h y}YFlkzYyNkzUplma &DWlmaPªk}Uuopq$jfia:kzlibcaPqlmkdgYl<q|k,fiaWY`.fibga<kFNT,UWYyzY+f<y}Y`lmausªYX~k|s)jbcy-j+dgY2j+fia:k-lmbgaWbcaph kzUWYf<y}bghibga#XopqtkMUpl@<Yeyzl<bcoPq$aWfmk0dgliy}h<Yy,k}UPlkkzUWYy-libgopqCp q r fm l o $T,UWbgq0j+f<apbck}bgfia¡lmWpdcbgYq kzf lnh m Wfm*yzl<bgopq=pEh<$UWYaPj+Y pYqWr - p:h liapáopq}bgaWhZk}UWYebgaWYw:oplidcbck|s rh,) r p h qWr h )JpYq .r. ©Ñ4gbgqMfia lh o pkzUWYa¡kzUWYyzYbnqMl"j+bgyzjdcYfiDyzl<bcoPq7p =qtY%Y Ubghiopy}Y[i+NT,UWY2y}YFqtopdk$f<dcdgfq °u´ ° -W &/i O */'

(29) . k}UWyzfioWh<U gj+f<a:kzlmbgaWbgaWh)lmdgdrkzUWY.fibga:kzq. q r.

(30). O '$ &#$! s &//) k

(31) '$/ *" &k #!

(32) % / $*"! !'$n -.k cp O"! pJq r $'i-(

(33) 3 / 3 3 ! / k h #' . * O -* * % '$#!&i& . / * \ [ ^ b +p_bsr!

(34) *"" '' '' k k h h . $ $ * % % &;; //ii a% NN c O O \ [ ^ J p qr

(35). # ´r%´ $ T,UWY6lij+kDk}UplmkDk}UWYy}Y$lmyzYk|f2.fibga<k-q*fia~Yl<j-U1jbcy-j+dgY,bgqDlejdgl<q}q}bgjlmduyzYq}oWdkNopYkzf$bg:dgbga $ bg D$UWf1j+dgYlmyzdgs1q}PYFj+bc¥pY~kzUWYMyzYdnlkzbc<Y$Pf:qtbck}bgfia"fmSk}UWYFqtY0Pf<bca:k-qz+*T,UpY6lij+kNk}UPlk(kzUWYM.fibga:kzq liy}Y`fia kzUWYehibgiYa

(36) N¢£UuoWdgdgq$fidgdcfqyzfiX YX~Xªl 2liap#[ < /T .>. f !)M" %'ª!$ Dopdcdgbcaph)k}UpYZWlmkzl"Pf<bca:kzq0$UWYaqtYFlmy-j-UWbgaWhªfiyMk}UWYZX~bcapbcX1oWX¶$bgk}U¨fiaWYZj+sudgbcapWYy2jlmavPYZfiaWY bga¡lma#lmaplidcf<hif<opq(,l@sª$UWYakzUWYe.fibga<k-q$v.YdgfiaWhZk}f~UWf<y}bg¨f<a:kzlmdájy}f:q}qt¢Ñq}Yj+k}bgfiapq ]`bgiYa l)qtYk0fi*.fibga:kz7q Obca#kzUWy}YYbgX~Yapq}bcf<apqv.YdgfiaphibgaWhªk}f UWf<y}bg¨f<a:kzlmdápdgliaWY"q ! ^#! h ^ b%$'& W(! ^! [ V)! h * ! ^!,+ V! [ M ! ^-$.& W^/!,021 [ V!3021'+m(Y X~li«iYk}UWY f<dcdgf$bcaph l<q}q}oWX~kzbcf<apq i,©§a Yl<j-UBUWfiyzbc¨fia:kzlid(j+yzf<qzqq}Yj+k}bgfia k}UWY j+f<a:<Y+¦ U:opdcdfm,k}UWYPf<bca:k-qj+f<a:kzlmbgapqk}UWY)f<y}bghibga 4 ! l¦bnqz [$T,UWYyzYeY+¦bnq|k-q$l~¨f<aWYej+sudcbgapYy 5DW$bck}U#iYytkzbgjlmdrl¦bnqeäkzUWY !m¢Ñlm¦ubnq-(liap yzl<bcb plmap, p q r j+f<a<k-lmbgaWbgaWhªlmdgdSk}UWYe.fibga:kzq 0 ,©§a k}UWY¡j+yzf<qzq~qtYFjkzbcf<a lm6 k ! ^-!?h#lmaP7 ! ^8! 021 Yl<j-Uq}Yj+k}fiy~fi`lmaphidg:Y 9 6lBpliyzliXZYk}Yy Y.YaPbcaphªfmk}UWYWlmkzl~qzlmX~WdgbcaWh~Wyzfmkzfj+fidäj+fia:k-[ lmbgapq$lk$dgYliqtk$fiaWYeWlmkzl~.fibga:k . e. æç Ï æ Í.

(37)

(38) "!# $ %&'()#!*'+(,-. &/ +/. 2 3.

(39) . & ('*),+ 11"%:8 !9#6#/5. 0;"!5 #7$%. 2 33. . 243 3. "!#$ %. T. 9. & ('*),+-#/. 01$% 9 . 2 3 3

(40) 2 33. 2 3 . bghiopy}Y 0 ]Upfiy,k}UpYeWy}fufifm YX~X~lZ U. A YeYaWfik}Y`vus 5h0kzUWY0X~bgaWbgXoWX$bnukzU¨fiaWY¢Ñjs:dgbgapYyF:$bkzUy-libgbZpEh`lmaP

(41) p:hq rh2lmapl¦bgq i T,UWY l<q}q}oWX~YKY+¦bnq|kzYapjYfi0¨f<aWY#j+sudcbgapYy 5 lmdgdcfq1opq1k}fBYqtkzlivWdgbgq}U kzUplk~k}UpY#lm¦bgq1fm25h jlmaWapfmk$vPY2kzfufZbgapjdcbgaWY $bck}U#yzYq}PYFjk,k}f~kzUplkfi 5D ° B>=@?

(42) -# + % & ; 1A $ < h &#! ! 3 ; :-.* n %'$ !&i&CBEDGFHA )JI ),K ^ML )N'PO-7KQ'79 O),KQ'R7K L # ´r%´ $ A Yj+f<apq}bgYyk}UWY2Wyzfm{|YFjk}bgfiaPqfikzUWY2UWfiyzbg¨fia:k-lmdáqtYFjkzbcf<apqfm 5fia#lZWdgliaWY,&f<ytkzUWfih<fiaplid kzf < h J S0a & fivuubgfiopq}dcsB¨fiaWY#j+sudgbcapWYy 5 h py}fi{|Yjk-qkzf l j+bgy-j+oWdnlmyªj+yzf$aKliapKlia:s Upfiyzbc¨fia:kzlid q}Yj+k}bgfia fm*¨f<aWYej+sudcbgapYy 5Wyzfm{|YFjk-qk}f)lma Ydgdgbckzbgjlmdjy}f$a$UWf<q}Y2X~lm{|fiy$q}YX~bglm¦bgq,dgYaWhik}UpqMlmyzY p liap p_q r liap¡$UWf:qtYXZbgaWf<y`q}YX~bnl¦bgqMdcYaWhmkzUpq`lmyz Y p>TVU BNA liap +p q r!TWU B,A A vPYbcaWh"k}UWY liaWhidgYev.Y+k|YYa kzUWYl¦YFq$fm 5hlmap 5 A Yj+f<apqtbnYy,k}UWYpy}fi{|Yjkzbcf<a#fia &Bfm*k}UWY1j+yzf<qzq|¢§qtYFjkzbcf<apq lm%k ! ^ !?h2lmap ! ^ ! 021 k}UpYq}Y0k|fZYdgdcbgk}bnjlidrj+yzf$aliy}Y`f XáqtYk$v:s $ BEDGFHA YeYapfmk}Y2vus k}UWY X~bn.fibga<k$firk}UWY2j+Ya:k}Yy-q[ fmrkzUWYq}Y0k|f~j+yzf$apqM=qtY:Y UbghioWyzY 0 *©§ak}UWbnqWyzfm{|Yj+k}bgfia)YFlij-U qtYFjk}f<yfi liaWhidg2Y 9Wyzfm{|YFjkzqDk}f1lqtYFjk}f<y(fi.kzUWYMYdcdgbgk}bnjlid.jy}f$ a qt.Yjb¥.jlmdgdgs 9Wyzfm{|YFjkzqNk}f 9SlmaP6 9Y .$UWYa jYa:k}Yy}YF"f<a"kzUWYeX~bcapfiylmaP"Xªl{|f<yl¦bnquyzYq}PYFjk}bgiYdcs< T,UWY1bca:kzYy-qtYFjk}bgfia#fiDk}UWY1Ydgdcbgk}bnjlidjy}f$apq$bkzU¡k}UWYZqtYFjkzfiyMfiD$bgukzU 9=qtUpf$a liqMl)dcbghiU:k}dgs q}Upl<YBf<X~libc[a Z bca UbghioWyzY 0 2jfia:kzlibcaPqevusUusuPfik}UWYFqtbnqWlmkzl#.fibga<k-q#T,UWYy}YfiyzYiliaus j+bgy-j+dgY kzUplk2fuYq0aWfmk2j+f<a<k-lmbgalmaus Pf<bca:kFSliap¡bga pliytkzbgjoWdgliykzUWY1bga:k}Yy}aplidjbcy-j+dgYfi 5 h ájlmapaWfmk0qtk}yzbnjk}dgs. < h. ÏÏ¬ÔtWÙ@ÝtïÛ.

(43) -? $ & R. jfia:kzlibcaZ £2k}UWYZdgliy}h<Yqtk`jbcy-j+dgY$UWbnj-U Wf:YFqàWfmkej+f<a<k-lmbga Ya:kzbcyzYdgs#fiaWYZfmNkzUWY1k|fhiyzYYa qtYFjk}f<yzq UPliq$j+Ya:k}Yy lmaP"y-libgopq 6y}YYy,k}f UbghioWyzY 0 +NT,U:oPq,Y2Upl@<Y ip qWr!TWU BNA TWU B 9 b $ B D F A qipJq r! B D F 9 p:h) ) vus"k}UWY2kzy}bnlmaWh<dcY`bgaWYw:oplidcbck|sW ) b $ BEDGF A qipYqWr! q BED F 9 Df<a:<Yy-qtYdcs<Plia:s j+bgyzjdcY<P$Upbgj-Ujfia:kzlibcaPqMlmdgdrkzUWY.fibga:kzqálmap kzU:oPqkzUWYY¦:kzYyzaplmdj+bgyzjdcYfm 5hm X1opqtk*bga:k}Yyzq}Yj+kDlidcdukzUWY$siYdcdgfKq}Yj+k}fiy-q k}UWYq}XªlmdgdcYFq|kNq}opj-U~j+bgyzjdcY,Upl<qjYa:k}Yy liapZyzl<bgopq B6y}YYy kzf Ubghiopy}Y 0 +NT,Uuopq,Y2Upl@<Y p h qWr h -J. 1Y apfopqtY1k}UpY1Xªl{|f<y}bg¨lmk}bgfiapq liapfivk-lmbga. A. r. -. $UpYapjY. - TVU B N -. -. . p[TWU B b N. 9. + & ªliap. Kf<y%X. X ) B D F N)6N. ) N). . rh7^ + pEhq rh 4b pEh b 9 p TWU B b ip qWr! q BEDGF. 9 "q $ BED FHA + 9 9 9 bCp b p bsr q Zq $ B D FHA + BEDGFHA )

(44) r q p 9 q &r 9 q p 9 $. 0qtbgaWhkzUWY`X~lm{|fiyzbc¨Flkzbcf<apq N - BEDGF N- &NBliap - TVU B N - b N + & - b & B D F + N f<yCX)YN ) ukzUWYeWyzYjYbgaWh~dcYX~X~l~UPliqk}UpY0f<dcdgf$bgaWh~bcX~X~YbnlkzYj+f<y}f<dcdnlmyzs ´ ´ 6 ± + $W 3 " #!, 3 * 5 &] $'+ 3 / 3 3 5 " '(#! &n8 * °. ),K. ^. B" ![ ^ b p_g bs r!. ! ^ !. \. ),K. p 9 q &r 9 b

(45) $ . r q. q p. 9+ +. ) TVU BNA. 5h m . g & & , N n a&/i W % &# b I ),K . æç Ï æ Í.

(46) .

(47) "!# $ %&'()#!*'+(,-. &/ +/. 1 m j 5 + &[ .

(48). . & [ 1 m j 5 + p. 5h o. 5 hm. !^ ! pdgliaWY. bghiopy}Y2 ]Upfiy,k}UpYeWy}fufifm YX~X~l U. ÏÏ¬ÔtWÙ@ÝtïÛ. r.

(49) F. -? $ & . ´r´%$ T,UWY~q}Yjkzbcf<afi 5h o $bck}U k}UpY1WdnlmapY !L^ ! 1bnq`lia Ydgdgbcpq}Y~j+fia:k-lmbgaWbcaphlmdgdk}UWYZ.fibga<k-q`fia kzUplk q}Y j+k}'7bgfi) ar "©ÑkzqeX~bgaWfiylm¦bgq2Upl<qedgYaWhik}U +pEh7q rh 0liap bk-qeXªl{|f<yl¦bgqUpliq2dgYaWhik}U q}XªlmdgdcY y2 k}'7Up) li a vuLs Dfiyzfidgdgliy}s1W©ÑkfidgdcfqDk}Uplmk(k}UpY0j+bgy-j+dgYMj+bgyzjoWXªq}jy}bgvWbgaWh2k}UpYMYdgdgbcpq}Yi:fmry-liWbcopq jfia:kzli$ bcaPqlidcd<k}UWY.fibga<k-qbcak}Uplmk*q}Yj+k}bgfia"=qtYYUbghioWyzY(u*Mqbcak}UWYWyzfufmWfm YX~XªlYj+f<apj+dgop$ Y kzUplk p:hnqWrch p ) ),K kzUplkbnq p:h - ),K p b rh - ),K p b r Df<auiYy-q}Ydgsi:k}UWYq}Yj+k}bgfia fm 5h m $bck}U#kzUWYeWdnlmaWY ! ^ ! 2bnqlma Ydgdgbcpq}Y2k}Upy}f<oWhiU ge$UWbnj-U fuYFq$aWfmk jfia:kzlibcalmausªPf<bca:k-qNT,UWY`y-libgopqfmjoWyz@lmk}oWyzY`fmrkzUWbgq,YdcdgbgpqtY`bnq,XZbgaWbgXoWXbca j+fiyzyzYq}Pf<apYaPj+YMfi kzUWYeXªl{|f<y,lm¦bgq,lmaP"bnCq p:h b B D FHA zpqtfZkzUplk$kzUWYej+bgyzjdcY2fmyzl<bgopq pEh b B D F A Nk-lmaWh<Ya:kkzf~k}UWY YdcdgbgpqtY`bga gMbnqbca:kzYyzaplmdPk}f1k}UWY`Ydgdgbcpq}Y2lmap"bgqk}UpYyzY+fiyzYMYX~k|si]p:h b B D FHA -JpEh bI ),K vus YX~XªlZpDT,Uuopq g2bgqfiak}UWYq}PYFj+bc¥pY N¢£UuoWdgd£ ° B &/ g L 5 h o g & & N n a/i &# #. . ! ^ !. . . [ ^ ip qr! 1[ \ [ $. ´r´%$ T,UWYªq}Yj+k}bgfiafi 5 h m$bck}U k}UWY~WdnlmapY!

(50) ^ ! bgq2lma Ydgdcbgpq}Yªj+fia:k-lmbgaWbcaph"aWf<aWY1fi(kzUWY~Pf<bca:kzq`f<a kzUplkqtYFjk}bgfiaªbgaªbckzqNbga:k}Yy}bgfiyF©Ñk-qNX~bgaWfiyl¦bgqNUpliqDdgYaphmk}U &p h *©Ñk(fidgdgfq*k}UplmkNk}UpY0j+bgy-j+dgY$bcapqzj+yzbgvPYF bga k}UWYªYdcdgbgpqtY<rfm,y-libgopaq p h UPliq2YX~k|sbca:k}Yy}bgfiyFªMq2bga k}UWYªWyzfufmfm YX~Xªl¡[Yªj+f<apj+dgopY kzUplk #. pYqWr pEhq rh. ). -. p:h p q .r Y. Df<auiYy-q}Ydgsi<k}UWYq}Yj+k}bgfia fm 5h o $bkzU k}UWYpdgliaWY !^ ! 2bgqliaYdcdgbgpqtY2kzUWyzfioWh<U g2Yapj+dgf<q}bcaphZlidcdrfi kzUWY.fibga:kzq2¤bcapjYkzUWY1y-liW"bc!Eop#6qM5 fm(joWy}lmk}oWyzYbnqMXªl¦bgXoWX bgaj+f<y}yzYq}.fiapYapj+YfmDk}UpYX~bcapfiy2l¦bgq liap1Upliq*lmdgoW,Y ip:h/qrch [ 1 #/. 075 kzUWYj+bgy-j+dgY$bck}UZk}UpbgqDy-liWbcopqk-lmaWh<Ya:k*k}f`k}UWY$YdcdgbgpqtY,bga%gYapj+dgf<q}Yq lidcd.kzUWYePf<bca:k-q fik}bnj+Y`k}UPlk [ 1"!E#/#Q. 0P5 5 ) [ 1 [ $ vus YXZXªlZpDT,Uuopq]g`bnqf<a"kzUWYq}PYFj+bc¥pY,Nr¢ÑUuoWdgd= . . °u´ ° -W &/i O &i &/ 5 $! &* 5 &/ ' $ : $'i& a */'"L &

(51) O /'$ *" & #$ &!#!

(52) -*"* + '$ !5 n" '5 ( " !;p 5 &#! pJqWr * $'+-.(

(53) 5 % *!; '$/- c &c' . $ a $'+ O

(54). æç Ï æ Í.

(55)

(56) "!# $ %&'()#!*'+(,-. &/ +/. & '() +8

(57) . . p. 5h m. 5h o. r. ! ^ ! W dnlmapY. bghiopy}Y ]Upfiy,k}UpYeWy}fufifm YX~X~l U. ÏÏ¬ÔtWÙ@ÝtïÛ. T. <.

(58) @[. -? $ & .

(59) $ * "! *=' . $ a $'+ !; ( 3 8 ! P$ ;' , $' & & ; 9 8 *=&#C&/ O 3 / 3 3 ! 5 &# '()#!; 5h #' . * O -* * '$"!+

(60) [ ^ b % *p_# &bs4'!r ()#!;b[I 5 h . $ * a &; : N %' . $ : $'i& O ),K )NK

(61) \ [ ^ + pY q .r*!# &4'[ (" !; 5 h $ a ; %&/i % : N 4%' . $ : '+ % O \ [ 1 $ + ),K ^ b [ ),'7OW7KQL '79 O),KQ'R7K % "! I ),K ^ L ),'7O-7KQ'PL 9 OE),KQ'R7K % # %$ U T. . . ´r´ py}<f X YX~X~l lmaP . M

(62) % ILKM~ ©Ñ,YªYaf<yzjY~k}UWYª<Yyzs y}YFliq}fiaplivWdgYZjfiapbck}bgfia kzUplkekzUWY).fidnlmyefiy-Yyefmk}UWYª.fibga:kzqliy}f<oWap k}UWY f<y}bghibgaebnqák}UpYqzlmX~Y(l<qák}UpYf<yzYyrfiak}UWYNr¢ÑUuoWdcduv.fioWaPWlmyzsZfiyk}UWYPf<bca:k-qv.YdgfiaWh<bcaph$k}fMk}UWYvPf<oWapu¢ liy}sW+uk}UWYakzUWYjdgl<q}q}bgjlmdr]`y-lmUpliXq}jlmaP< ]`y-l Ti[?>rkzf)j+fiX~WoWk}Y2k}UpYj+fiau<Ya:k}bgfiaplid.k|fi¢ÑbgX~Yapq}bgfiaplid jfiauiY¦KUuoWdgdMYl<qtbgdgsKhiYaWYy-lmdgbgŸqZkzf fioWy"Wy}f<vWdgYX v:s{|opqtkyzYWdnlijbcaWh kzUWY fiyzbgYa:kzlmk}bgfia k}YFq|k"fi2l kzy}bnlmaphidgY0vusl1kzYqtkMj+fiX~pliy}bgaWh1k}UWYey-liWbcopqfifik}UpYj+bgyzjdcYeY¥paWY vusªkzUWy}YYePf<bca:k-q,$bkz9U \ [ ¤u.Yjb¥.jlmdgdgsiuvus Y`YaWfmkzY`l1fiopvWdcs:¢ÑdcbgaW«<Yªdgbgqtk,fm.fibga:kzqbca"k}UWY2WdnlmaWY<liqzqtoWX~YF~k}f1vPY2bga liaWhiopdgliyfiy-Yy0lmyzfioWapkzUWYf<y}bghibgarp$bck}U fiyzliyzdcbgaW « liap#y}YiYyzq}YedcbgaW « 1 [ C UWf<yMYFlij-U¡.fibga<k bg

(63) a M g

(64) Dbgqk}UpY`bgapY¦)fm bga M YyzY0k}UWY2yzYdnlk}bgfiaqtsuXv.fid bgqYbkzUWYay V f<:y èD$YFjlidcdgbcaph kz Uplk2hibgiYa#k} UWyzYYZ.fibga<k-nq g [ g + g1bcak}UWYZWdnlmaWY<.k}UWYZyzl<bgopqMfiDk}UW YbcyeY¥paWYFj+bgy-j+dgYbnqMh<bc<Ya vus kzUWY2fiyzXopdgl D B g [ g + D B g [ g DGB 8g + g g [ g + g kzUWYliplmkzY lmdghifiyzbck}UWXbnqliqf<dcdgfq . . æç Ï æ Í.

(65) 0.

(66) "!# $ %&'()#!*'+(,-. &/ +/. ´ ä . .

(67) . N p. F !. . . !#" (. ) * . . . ". . . p. '& . . %$ . D B DGB DGB ^ & [ . . 325476839:6. +-,/.01. . . . . . ) *. $. DGB DGB g

(68) 1 [ D B DGB . . ). . *. . . 170=>1. . \. . ,;1<. &. . (. . @?. X. EU. BA. . . . . *. . ). *. 1. $>C. (. <. . . 0 q$bgq,Ydgdr«uaWf$arukzUWbnq$lmdghifiyzbck}UWXyzoWapq,bga k}bgX~Y } $$"%$

(69) < B`xNi& > S0dcbgubcY7 y B0YubcdgdgYy-qMlmaP UWy-lmapjf)xSxDyzYpliyzlmkzlp=QN@lidcoPlk}bgaWhªkzUWY1jsudcbgapyzbgjbk|sfmNlªaWf<X~b¢ aplmdgdgsj+sudcbgapyzbnjlmdu.fibga:k*q}Y+kF©§a S' ( 3 ' E &* 3 plmh<YqWS R Wi[ Tu:[ii<W < QN?Y R T.> QNYdgq}vWyzoWaWaWYy E * 3 3 # * & $ 3 i*( *<fidgoWX~Y #fi # ; $ ; & & i'$ 3 '"' ¤uWyzbcaphiYy}¢ DYyzdglihp YbgYdcv.Yyzhp A YFq|k ]`YyzXªlmausiáF; R T <»]`y-l Tm[ >e r]`y-lmUpliX#a Y+®)j+bgYa:kelmdghif<y}bck}UWX¬f<y2WY+k}Yy}X~bgaWbgaWh k}UWY~j+f<a:<Y+¦¡UuoWdgdDfml"¥paWbck}Y WdnlmapliyqtYk ? 3 ?'$* $ + gr

(70) c 0 [ . 0 0 WF Ti[ < liX~< >exYyzfuliXZf:q4 Df<XZpok}bgaWhyzfioWaPaWYqzqNbnqNYFliq}s1bcák}UpY0q}Y+kbnq(lidcX~f:q|k(yzfiopapáS©§a ?' E/ ( 3 3 $ 3 gPplmh<Yq 0 T 0 FWPFiip ED FD. G. HIH. KJ. L. M. JL. NJ. M. PO. J. Q. L. M. TS. HIU. ÏÏ¬ÔtWÙ@ÝtïÛ. VJ. J. L. M. R. PO. WO. J. M.

(71) . -? $ & . $ bg 2T pW$bcudgbcaNWWyzf@¦bcXªlmk}bgaWh~v:sj+bgyzjdcYFq 3 + P[

(72) 0 SmPpF Tp <»¤ A :[.> nb j-Upl1¤uUPlmyzbcy,lmapLQDX~f A Ydg¨d£ j+f<XvWbgaplmk}fiyzbnlmdWv.fioWaP)f<ydgbcapYlmyWyzfih<yzliXZX~bgaWhlmaP y}Ydglmk}YFWyzfivpdcYX~qW©§a' ?' ( 3 . & : $' % 3 ' g<ifidgoWX~Y T T fm $'i & ] 3 # ' gPplmh<Yq$ W Tp:¤upy}bgaWhiYyt¢ DYyzdnlmhp.<<[W < /T >. O. J. M. S. /M. PO. !M. R. æç Ï æ Í.

(73) Unité de recherche INRIA Sophia Antipolis 2004, route des Lucioles - B.P. 93 - 06902 Sophia Antipolis Cedex (France) Unité de recherche INRIA Lorraine : Technopôle de Nancy-Brabois - Campus scientifique 615, rue du Jardin Botanique - B.P. 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 Rhône-Alpes : 655, avenue de l’Europe - 38330 Montbonnot St Martin (France) Unité de recherche INRIA Rocquencourt : Domaine de Voluceau - Rocquencourt - B.P. 105 - 78153 Le Chesnay Cedex (France). Éditeur INRIA - Domaine de Voluceau - Rocquencourt, B.P. 105 - 78153 Le Chesnay Cedex (France).

(74). . ISSN 0249-6399.

(75)