A new scheme for table-based evaluation of functions
Texte intégral
(2) INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE. A new scheme for table-based evaluation of functions David Defour, LIP Florent de Dinechin, LIP Jean-Michel Muller, CNRS. N° 4637 Novembre 2002. ISSN 0249-6399. ISRN INRIA/RR--4637--FR+ENG. THÈME 2. apport de recherche.
(3)
(4)
(5) "!#$%&'()&*&+' ,)& -.0/1324- 57698;: <7=?>"@A %B C38;<D57EGFH2I5J- 1KE 57LM 1KE=?>"@A NO50.PEQSRT13LM 5UCVRW: CKC35U<U= XZY[ \ ]^_a`cb&d egf%haijkblnmpo7jnqSjkbal bSrVqSstluqvwlGxzy0` {Omplnju|7vwb }?~mt9bSr ~hSiwspjk~b stwPm7~zr b(~baq^ba~q^biO77Ue m7bS`{~bdt77de*p%wspopbax. IaSpp ]^wjnx"PstObS~ ~baxbSiUrx sZibSxq^bS`Zb( ¡mp~ r^b&^Pst~ ¢sp~b(ba£splkvPsrjnmpimt ¡viPq¤rjnmpiPx jni ¥w¦ bD0§¨Pm7jkiUr ¡mp~`©sraªU ¡m7~"~bDqjuxzjnmpiPxvwrmZ7c{j«rxS¬?]^wjnx"xq^bS`Zb%y0jkbalnx"spisp~q^wj«rbaq¤rv~b`©spb%mp ¡m7v~ lnm0mp®U§Kvwrst{lnbaxaªwsZ` vwl«rj«§¨mpObS~stiwspw bS~DªwstiPr9¢m©xz`©splklG`vlkrjnlkjnbS~xa¬,]^jux"ibS4`Zbr^m jnx bastlnvwsrbastiwqm7`cPst~ba "j«r^mpr^ba~"v{lnjuxz^bD`cbSr^m xa¬ ¯±°U²;³´ µ ¶Ip¸· jnwsp~zrj«rbrst{wlkbDxSªrst{lnb§¹stiP0§¨s7 jkrjnmpic`Zbr^wm0wxSªU` vlkrjnwsp~zrj«rbpªpº,lkba`cbaiUrst~y& ¡vwiwq¤§ rjkm7iwx. »G¼£½¿¾?ÀKÁ¹ÂSÀ½¿¾ÃÄ¿¾KÅ&Ã9Ƥý¿ÄÇÃȣĿÁþ¢ÃÉÊÁ9¾KÁzÃÉ3ËK¼ÉÊÁ9ÌtŤÉÊÀ"ÅÍGÀ3¼£ÁVÎ ÃÈtŤÉKÃÀ3Ť½¿É3Á%Ï£Á ÄuÐ ÑÓÒDÍnŤÉÊÔ ÃÀ3½¿ÕaÖ£Á Ï£ÖZ×wÃÉ3ÃÄ¿Ä¿Ø9Ä¿½¿¾KÔ"Á ÙÚ¤ÚÛwܡݤÝÞ¤Þ¤ÞwßÓàáDâSãäåSæáwßuç¤èSÝé£êë£ì. Unité de recherche INRIA Rhône-Alpes 655, avenue de l’Europe, 38330 Montbonnot-St-Martin (France) Téléphone : +33 4 76 61 52 00 — Télécopie +33 4 76 61 52 52.
(6) &' $&"
(7) ¢I ©! !$%&'()&*! &,)&& ! &
(8) bSrst~rjuqlnb±~haxbSiUrb±vwi impvwpbSlstlnopmp~jkr^`Zb±Ompv~ l hSstlnvwstrjnmpi b± ¡m7iwq¤rjkm7iwxHbai 0jn~o7vlnb ¥¦ b7ªOmpv~HbaxZ~haqSjnxjkm7iwxZstlnlnspiUr9vwx|Uv 7 {j«rxS¬ bSr©splko7mp~j«r^`Zb bDx9r©{ws7xzh±xv~©vib sp~q^wj«rbaq¤rv~b&qmp`ZOm7xhSb& b HlkbDq¤rv~bDx brst{lnbaxaªOvispj«rjkm7iibSvw~V` vwl«rj«§¨mpOhS~stiwbaxbr( b bav ¦ Obrj«rxH`vl«rjkwlkjnbSv~xa¬ brrb±im7vpbalklnb±`Zhr^wm0b±baxzrHhSstlnvhSb±bSrqm7`cPst~hSb±s£pbDqb±~hDqhD bSiUrx splko7mp~j«r^`Zbaxa¬ wmpiwµ qDr jn³ mp iw x (halk ha`Z]IbSstiU{rsplnbajk~xIba{x jnwst~rjnbaxaª£`Zhr^wm0bax V{Pspxb b¢rsp{lnbaxbr? sp jkrjnmpiPxSª£rst{lnbax` vlkrjnwsp~zrjkbDxSª.
(9)
(10)
(11)
(12) ! "##%$&(')*+
(13) $, (') . - .0/21 354760/98 /;:=<?>A@CB?DFEG/IHJDKBL3M/9N /2OPB?EQFBP@5RG<*. <L: :QS.S4T@5RG<*.S3 -.0/1324- 57698;: <7=?B%CK8O<D5UE FH2 5 -13E 5ULMI1KET.OE 2TNO50.OEQSRT13LM 5UCVRT:ICKCK57<. U. V ©!' ,)&. ]Ist{wlkbS§K{ws7xzbD`Zbr^m xI ¡mp~Ir^wb¢^Pst~ ¢sp~b,bSstlnvwsrjkm7i mp w ¡viwqrjnmpiwx ^Ps£pb,{ObSbai r^b"xzvw{ 9baqr mp w` vPq^ ~baqSbSiUr%strzrbSiUrjnmpiXWk7ª;wª;wª0ªZY[¨¬ ]^baystlnlkmrmqSmp`Zv rbcqSmp`Z`Zmpilnyvwxba± ¡vwiwq¤rjkm7iwx("j«r^Jlnm s7qSqSv~s7q0 y \ÊqSv~~bai7rlky v rm d {jkrx
(14) ]c"j«r^ xzjnopij ¥ qastiUrlny lkm¢bS~Z^wsp~¢sp~bqmUx9rZr^Psti r^wstrHmt %s xzr~stjnop^Ur ¡mp~¢sp~ rsp{lkb%jn`cwlkba`cbaiUrsrjkm7iGªU"^jklnb%{Pbajkio Êspxzrba~,r^wsti xz^jk Órz§¹stiP0§¨s7Hsplko7mp~j«r^`©x_^ ` Ma C bCc mp~ Pm7lky0im7`cjustl¢stw~m ¦ jn`Zstrjnmpiwxa¬ ]^wbSy st~b©wst~rjuqvlust~lny vwxb ¡vljki jko7j«rstl¢xzjnopiwspl?mp~ jn`©sto7bV~m qbaxxjkioPª stiw stluxzm ¡mp~~mUju jnio jnijkrjustlGxbSbDHstlnvbaxrmjkrba~strjnpb%`cbSr^m x"xvwq^spxr^b VbSrmpi §¹ stw^wxzm7i splko7mp~j«r^`©x ¡mp~& jn0jnxjkm7i stiw x|Uvwsp~bZ~m0mtr W # [,"^juq^ sp~b©qSmp`Z`Zmpilnyvwxba jni r^eb dwmUsrjniop§KOmpjniUr¢viwj«rx"mt qv~~bSiUr¢w~m qbDxxmp~xa¬ ]^juxcwstObS~cjni7r~m vPqbaxcsiwbS rst{lnb§¨{wspxba xq^ba`cb ¡mp~Zqm7`Zv rjnioJbSlnbS`ZbSiUrsp~y ¡viPq¤rjnmpiPxS¬ f ^wjklnbr^bJ{wj«§Zmp~ ` vlkrjk§KPst~rjkrb `ZbSr^m xst~b{ws7xzbD mpi s ¥ ~x9r§Km7~ ba~stw~m ¦ jn`©srjnmpi+mp &r^b ¡vwiwq¤rjkm7iGª,r^jux©xq^ba`Zb vwxbax ¥ Ór^ §¨mp~ bS~crbS~`Zxcmp Vr^wb]Is£y0lkm7~b ¦ wstiwxjnmpiGª"^jnq^ xz^wmpvlu splklnm {Obrrba~ s7qSqSv~s7qy("jkr^&r^b"xsp`Zbst`Zm7viUrImp w^wst~ st~bp¬]^wb,r~s7 bSGm gcjuxr^wstrIr^juxIxq^ba`cb¢jniU7mplnpbDx x`©stlnl`vl«rjkwlkjnbS~xSh¬ f b b ¦ wlkm7~b&s©~stiwopbmt jn`Zlkba`ZbSiUrstrjnmpir~spbSm g xVspiw±qm7`Zwst~b(r^ba`¸"jkr^ w~baUjnmpvPxzlny©v{lnjuxz^bDst~q^j«rbaqrv~bax ¡mp~r^bbSsplkvwstrjnmpimt ¡viwq¤rjkm7iwxa¬ ]^jux&PstObS~ jux&m7~oUstij iSbDJs7x( ¡mplnlnm x jTc¹l i k0baqrjnmpi d ª ¢b©b ¦ st`Zjnibxmp`ZbZrsp{lnb§¹stiw0§¹spw j«rjkm7i `ZbSr^m xaC¬ k0baqrjnmpi H~bDxzbaiUrxr^b ~jniwqjnlnbstiPopjnpbaxVs©{Pm7viw±m7ir^b`©sr^wbS`©srjnqastlsp~m ¦ § jn`©srjkm7i ba~~mp~(mp ¢r^b©~mpOm7xbaJ`Zbr^wm0Gm ¬ k0bDq¤rjkm7i jnxqvwxxbaxjn`Zlkba`ZbSiUrstrjnmpi jnxxvbax&xvwq^ spx ~mpvwiw jniowªwspiwopjnpbDx spqrvwsplstrsZ ¡m7~Vxzm7`Zb ¡viwqrjnmpiwxV"^jnq^sp~b&qSmp`Zwsp~bDHrmH~bS0jkm7vwxlky v{ § lnjuxz^bD~baxvlkrxa¬ k0baqrjnmpP i nc jnxqvPxxbax¢ ¡v rv~b~bDxzbDst~q^ jn~bDq¤rjnmpiPxS¬. o p I$©) ' q &sr Mt uv y w xCz|{ }~C,{ }|{,FZ{ 5M Ijn~xzr~bDxzbaiUrba{0yb s7xM k st~`©s stiPstrvlusWk[;jni r^bxPbDqj ¥ q(qSspxb%mt Gr^b(~bDqjn~m vqastlnlklPba~5 ¡vÇW iw¨[q¤ª7rjkstm7iPiG ª r^jux?`Zbr^m ^Pspx {ObSbai©opbSiwbS~stlnjnxbajkiP bSObSiwbSiUrlny{0y2 k q^0vl«rbVstiP20k rjnibW Y#P[ spiw± ¥ iwstlnlky {UyVb jnibaq^wjki stiPJ]juxxbS~stiPlW ¨[ ¬¨c r qmpiPxzjux9rx(jki sjnbaqba"jnxb ¥ ~x9r§Km7~bS~(st~m ¦ jk`©strjnmpi rm©r^wb ¡viwqrjnmpi±"^ba~br^b&`vl«rjkwlkjuqSstrjnmpiwxst~b&s£pmpju bD{0yx9rmp~jkioHsp~m ¦ jk`©srba ~m0vwq¤rx jni. s #Ò .
(15) #"') ( #$, ` =h '
(16)
(17) ' # , & P')
(18) P$, ` . . . . . xObaqj ¥ q rsp{lkbDxSe¬ c¨r%r9y0jnqastlnlkysplklnm x" Êspj«r^ ¡vlnlky ~m7viw bD ¡viwqrjnmpiwx ¡mp~ca{jkrx(mt ?w~bDqjuxzjnmpijniJs ¡ba ({0yUrbDx¢mt Irst{wlkbDx"stiwsZxz`©splkl `vl«rj«§¨mpObS~stiP s7 bS~D¬. tMu(t. { 5 l{, _z C C_}|{ } {, CM spxxzlnbS~ZstiP ]Isto7sp®0jCW [ baqSmp`ZOm7xb sJPm7lky0im7`cjustlstw~m ¦ jn`©srjnmpi
(19). . . . . rmJr^b ¡viwqrjnmpi+spxcsJxv` mp ~m vwqrx©mp {jkrx©mp r^b±jniv rH¢mp~ ¬ ]^bxbrHmt r^bDxzb±Pst~rjustl"~m vwq¤rxZjnxH^bSv~jux9rjnqastlnlky baqm7`ZPmUxzbDjni7rmxzvw{wxzbSrx("^juq^ st~bcxzrm7~bD jni rst{wlkbDxSªspiw sp bD jni s` vlkrjk§Km7Pba~spiw sp ba~a¬ Vimtr^bS~Z`Zbr^m jnxcopjnpbai {0y f mpio stiP f%mprm WkD[Kª¢"^ba~bspj«rjkm7iwxZst~b ObS~ ¡mp~`Zba {Ob ¡m7~b spiwZs ÓrbS~ r^b"rsp{lnb lkm0m7®7§¨vwxa¬Vl«r^mpvwop^Zr^wbaxb"r9m(`Zbr^m x,qSmpiwxju bS~?^wjko7^bS~§Km7~bS~Irba~`©xaªtr^wbSy ^Ps£pb?{ObSbai xz^wm"i(rmVw~m vwqSb,lust~opba~stiw xzlnmba~st~q^jkrbDq¤rvw~bDx r^Pstir^b,o7bSiba~splkjiSbD(` vlkrjnwst~rjkrb `ZbSr^m ªwspiwr^bay st~bqjkrbDH ¡m7~ ~bS ¡bS~bSiwqSbm7ilnyp¬. tMu. } 5 +&C Z{ Ch ]^wbb ¦ Pm7ibSiUrjustl"xj`ai bmt rst{lnb§¨{wspxba . . . . . st~q^jkrbaqrv~baxc~bSiwbS~x&r^bS` jk`Z~spqrjuqSstl¢ ¡m7~cw~bDqjuxzjnmpiwx ^wjko7^bS~¢r^Psti±dZ{jkrxa¬ · ~vo7vbS~sªU}?jbSjn~m©spiwvlklnbS~"^Ps£pbr^ba~bS ¡mp~b~baxbSiUrbaspisp~q^wj«rbaq¤rv~b {Pspxba+mpi s xbaqSmpiw §Km7~ ba~Hstw~m ¦ jn`Zstrjnmpi vwxjkio s ` vlkrjnlnjkba~spiw s bD juqSsrba x|Uvwst~bS~©viwj«r W [¨¬ !Gju juqm7strVstiw Ilny0ii W n[Ixjk`Zjnlnsp~lny~mpOm7xb&sti±sp~q^jkrbDq¤rv~b( ¡m7~Vqm7`Zv rjnioZr^b ~baqSjk~m qSspl \Ê"^m7xb©]s£y0lnmp~(b ¦ wspiwxjkm7i jniU7mplnpbDxm7ilnyvijkrqm0#b "©qSjkbaiUr
(20) x ]VvPxzjnio±xzbapba~spl x vijkrxjni wst~stlnlkbal3ª ¡m7lklnm¢baH{0ys`vlkrjk§Km7Pba~spiws7 bS~D¬ ]^bJ`Zbr^wm0 ~bDxzbaiUrba+^wbS~bjnxjkiUrbS~`cbD jusrb {PbSr9babSi+rsp{lnb§¹stiw0§¹spw j«rjkm7i+`cbSr^m xstiP `vlkrjnlkjuqSstrjnmpi §¨{ws7xzbDH`Zbr^m xS¬ k. IS &"!
(21) ¢ ©! )
(22) &S
(23) ' ¤)&%) . $. Muv w s{ C s{ } zT~C~_ 5} J{ } ]^w~m7vop^m7v rr^wjnx wstObS~bHstiUrrmbSstlnvwstrb ¬Pf bspxxv`Zb x ∈ [0, 1[ jnxsti OmpjniUr ¡mp~`ZstrI"jkr^ n = 4k +p ¬ f bqasti r^0vwx "~j«frb (x)x = x +x 2 +x 2 +x 2 . ('. *). . "^wbS~b&r^wb x x(st~b k§¨{jkr%i0v`{Pba~x%{ObSlnmpio7jkiwoHrm xvwq^ r^wstr p < k ¬ f b^ws£pbj i. x=. x0. x1. ª;b ¦ qSbS r% ¡mp~ [0, 1[ 0. x2. 1. −k. x3. 2. x4. ¨§ {jkr ¥¦ ba ª r^wsrjux%s §¨{jkr(i0v`{Pba~x −2k. n −3k +x4 2−4k 3 p. x4. ]^bV`cbSr^m HqSmpiwxjux9rx jki"~jkrjnio&sti©m7~bS~|§ n%]Is£yUlnmp~,b ¦ w stiPxzjnmpiZmt sr ª0stiPZ®pbSbajniompilny r^b(rba~`©x~bSlnbSstiUrrmcr^b(rsp~o7br spqaqv~spqSyZr^wstrjux 2 ¬ fJbo7br j f x 0. −4k+p. Ñ,+JGÑ.-.
(24)
(25)
(26)
(27) ! "##%$&(')*+
(28) $, (') f (x). n. = f (x0 ) + [x − x0 ]f 0 (x0 ) + 12 [x − x0 ]2 f 00 (x0 ) + 16 [x − x0 ]3 f 000 (x0 ) 1 [x − x0 ]4 f (4) (x0 ) + 24 1 + 120 [x − x0 ]5 f (5) (x0 ) + 1. (T0 ) (T1 ) (T2 ) (T3 ) (T4 ) (T5 ). \9]. ] ^b bS~~m7~qm7`c`Zjkrzrba uj x = ([x 2 + x 2 + x 2 + x 2 2 c¹iba|Umax vwstrjnmp|fi \9|]¤ª¢b(b ¦ wts iPHr^b(rba~` (T ) = [x − x ]f (x ) spx¢ ¡mplnlnm7j 1 720. 1. 1 −6k 720. (6). −k. 1. 2. 1. −2k. 0. 3. 0. −3k. 4. −4k 6. ] )f (6) (ζ1 ) <. 0. (T1 ) = [x − x0 ]f 0 (x0 ) = x1 2−k f 0 (x0 )+ x2 2−2k f 0 (x0 )+ x3 2−3k f 0 (x0 )+ x4 2−4k f 0 (x0 ). 1 24. Vm lnbr&vwx ¡m0qSvwxm7i rbS~`Zx (T ) = [x − x ] f (x ) ª (T ) = [x − x ] f (x ) ª spiw (T ) = [x − x ] f (x ) ¡~mp` Db |7vPsrjnmpi \9]¤¬ f b^ws£pbj [x − x ] f (x ) 0. 4 (4). "jkr^ f b%mp{ rst<jni©r2^b 2. s #Ò . 0. 1 −5k 2. 5. 1 2. 2 1 120. (T2 ) (T ) 3 (T4 ) (T5 ). 0. 0 5 (5). 2 00. 3. 0. 1 6. 0. 3 000. 0. (T4 ) =. 0. =. 1 2 −2k 00 f (x0 )+ 2 x1 2 x1 x2 2−3k f 00 (x0 )+ x1 x3 2−4k f 00 (x0 )+ 1 2 −4k 00 f (x0 )+ 2 x2 2 x2 (1/2)2−5k f 00 (x0 )+ 1 −5k 00 f (x0 ) + 2 2 x1 (1/2)2. =. 1 3 −3k 000 f (x0 )+ 6 x1 2 1 2 −4k 000 x x 2 f (x0 )+ 2 2 1 1 2 −5k 000 x x 2 f (x0 )+ 3 2 1 1 2 −5k 000 x x 2 f (x0 ) + 3 1 2 2. =. 1 4 −4k (4) f (x0 )+ 24 x1 2 1 3 −5k (4) x x 2 f (x0 ) + 4 6 1 2. =. 1 5 −5k (5) f (x0 ) 120 x1 2. + 5. ª stiw ¬ max |f | < 2 Ê3pª ° a °7³ max I ° |f¶ |µ < Ê 0{ 2yZ~ba"max ~jkrjni|foº,||Uvwsrjkm7iL<\9],s7x?2 ¡m7lklnmmax xj |f | 00. 3. 1 −6k 3. 000. 4. 1 −6k 24. (4). 5. 1 −6k 120. (5).
(29) #"') ( #$, ` =h '
(30)
(31) ' # , & P')
(32) P$, ` . . f (x). "^wbS~b. . = A(x0 , x1 ) + B(x0 , x2 )+ C(x0 , x3 ) + D(x0 , x4 )+ x2 × E(x0 , x1 )+ x3 2−k × E(x0 , x1 ) + f. . . \3dG]. = f (x0 ) + x1 2−k f 0 (x0 )+ 1 2 −2k 00 f (x0 )+ 2 x1 2 1 3 −3k 000 x 2 f (x0 )+ 6 1 1 4 −4k (4) f (x0 )+ 24 x1 2 1 5 −5k (5) x 2 f (x0 )+ 1 120 1 −5k 00 x (1/2)2 f (x0 )+ 1 2 B(x0 , x2 ) = x2 2−2k f 0 (x0 )+ 1 2 −4k 00 f (x0 )+ 2 x2 2 (1/2)x2 2−5k f 00 (x0 ) C(x0 , x3 ) = x3 2−3k f 0 (x0 ) D(x0 , x4 ) = x4 2−4k f 0 (x0 ) E(x0 , x1 ) = x1 2−3k f 00 (x0 )+ 1 2 −4k 000 f (x0 )+ 2 x1 2 1 3 −5k (4) x 2 f (x0 )+ 6 1 1 −5k 000 x (1/2)2 f (x0 ) 1 2 f ≤ 1 + 2 + 3 + 4 + 5 1 −6k 2 max |f (6) | + 21 2−5k max |f 00 |+ ≤ 720 1 −6k 1 −6k max |f 000 | + 24 2 max |f (4) | 32 1 −6k (5) | 120 2 max |f ≤ 2−5k 21 max |f 00 | + 13 max |f 000 |+ 1 1 (4) | + 120 max |f (5) |+ 24 max |f 1 (6) |+ 720 max |f A(x0 , x1 ). VbSiwqSbpª qSsti {Pb(m7{ rspjkibD{0y©ObS~ ¡mp~`Zjkio©d ` vlkrjnlnjnqasrjnmpiPx"stiw sp jnio©xj ¦ rbS~`Zx¢"jkr^ ps i ba~~mp~lkbDxfx(x) r^Psti ¬ ]^b¢xjiSb¢mt wr^brst{wlkbDx "^bS~bsplkl0r^baxb,rbS~`©xIsp~b¢lnmUm7®pbD0§Kvw ¡~m7`ªt bSObSiw ^wbas£0jklny©mt Ir^wb( ¡viwq¤rjkm7ibqm7iwxjn ba~a¬f b"jklnl juxqvwxx"st{Ompv r"jkr jkir^b k0baqrjnmpiw¬¿d ¬ c¨r` vwxzr{Pb(imprjuqba©r^wstr¢r^b%~m7PmUxzbDZ`Zbr^wm0 b ¦ lnmpjkrx¢ ba~jnsrjnpb~mpObS~rjnbaxmt G ¡viPq¤rjnmpiPxS¬ ]^wb(xvwqaqbaxxjk7b(bS~jksrjk7bax¢` vPx9rV bDq~bas7xzbDH~stju lnyHbSim7vop^ rmZ`©st®7b(~ba`cm7baHrbS~`©xjkiPxzjnopij ¥ § qastiUr qm7`cPst~ba©rmZr^bm7ib(b(®7bS rD¬ f. V
(33).
(34) "(I)& Vi st{Px9r~s7q¤rVst~q^jkrbDq¤rvw~b( ¡m7~ r^wb ` vwl«rjklnjuqSsrjk7b&`Zbr^m ±jnx~baxbSiUrbDmpi Ijnopv~bHp¬Mc¨r%jnxVpba~y xjn`cjnlust~rmcr^b` vlkrjnwsp~zrj«rb&st~q^j«rbaqrv~bmp W #[¨ª"jkr^r^bb ¦ qbSrjnmpimt r^b(r9¢mc`vlkrjnlkjnbS~xa¬ %. Ñ,+JGÑ.-.
(35)
(36)
(37)
(38) ! "##%$&(')*+
(39) $, (') Input word. Tables. . x0. x1. x2. x3. x4. k. k. k. k. p. E A. B. C. D. k+p+g. Small multipliers. 4k+ p+g. 2k+ p+g. k+ p+g. k+ p+g. p+g. p+g. Multi−operand adder Rounding. jnopvw~bZGj?]^wb(sp{wxzr~spq¤r sp~q^jkrbDq¤rv~b ¡mp~r^b~mpOm7xba xq^ba`Zb 4k+p. Cuv x C_} &+ . . . c¹i sp jkrjnmpiHrm&r^b(st~m ¦ jk`©strjnmpiZbS~~m7~x,qmpiPxzju bS~baZjni©r^bw~baUjnmpvPx,xbaq¤rjkm7iGª7r^juxsp~q^wj«rbaq¤rv~b jni0pm7lk7bax¢xzbapbS~stl xmpv~qbDx¢mt ~m7viw jnioZbS~~m7~ j. ]^b rst{lnbax ^Ps£pb rm"{Ob ¥ lnlnba("jkr^ ¥¦ ba §KOmpjniUrstlnvbax "^wjnq^st~b r^wb?~bS0jkm7vwx;`©sr^bS`©srjnqastl. stlnvbax~mpviP ba rm©xmp`Zb(~baqjuxjkm7iG¬ k0jn`cjnlust~lky7ª0r^bm7v rvr mt Ir^b`vl«rjkwlkjnbS~x^ws£pb%rmc{Ob~mpviwbarmZr^wb(rst~opbSr¢w~bDqjuxzjnmpiG¬ ]^baxbsp~m ¦ jk`©srjkm7i©bS~~m7~xaªpspiwZr^wb%sp~m ¦ jn`©srjkm7i©bS~~m7~aªt~ba|Uvjn~bVvwx,rmcqmp`ZvrbV"jkr^ stijniUrba~iwspl~baqSjnxjnmpi"^juq^jnxV^jnop^ba~ r^Psti±r^b ¥ iPstlI~bD|7vwjk~ba~baqSjnxjkm7iG5¬ f bqSlns7xxjnqastlnlky vwxb g sp jkrjnmpiPstl {jkrx"mp ~baqSjnxjnmpi \¡mp~ $&# ' ) ]¬ i \¡"jkr^ ]^bSir^bc~bDxzvwl«rV^PspxVrm{Ob ~mpvwiw barmHr^b ¥ iPstlI~bDqjuxzjnmpist ¡bS~Vr^b ¥ iwsplspw j«rjkm7l stibS~~mp~sr ¢mp~x9rmt sti^wstlk !Jk · ]¤¬ ]^ba~bS ¡mp~bpª0r^b(rsp{lkbx`j iabaxibaba bDst~b%xvwq^r^wstr j Size(A[x0 , x1 ]) Size(B[x0 , x2 ]) Size(C[x0 , x3 ]) Size(D[x0 , x4 ]) Size(E[x0 , x5 ]). ≤ ≤ ≤ ≤ ≤. 22∗k (4k + p + g) 22∗k (2k + p + g) 22∗k (k + p + g) 2p+k (p + g) 22∗k (k + p + g). ]^wbV` vwl«rjklnjnbS~vwxba©rm `vl«rjkwlky "j«r^ juxs ` v lkrjnlnjkba~spiw©r^b%mpibvwxzbD rmZ` vlkrjnlny E "j«r^ x jux s (k) ×E(p + g)xmpiwbp¬ (k) × (k + p + g) ]^bi0v` {ObS~mt opvwsp~{jkrxVjnx% bSrbS~`Zjkiwba±spx"r^bcxz`©stlnlnbaxzrVstlnvb x vwq^r^wstr r^wbxv`¸mp r^b sp~m ¦ jk`©srjkm7iJba~~mp~&spiw stlnl?r^b~mpvwiw jnio±bS~~m7~x(juxcxz`©stlnlnbS~r^wsti s !Jk · mt r^b ¥ iwspl,~baxvl«r \¡ Êstjkr^ ¡vwl~mpviwjkio ]¤¬ 2. 3. s #Ò .
(40) #"') ( #$, ` =h '
(41)
(42) ' # , & P')
(43) P$, ` . . . . Vmtrbcr^wsr(r^wbc~mpvwiw jnio mp ,r^bZ` vlkrjnlnjkba~~bDxzvlkrxaªGspx%¢bSlnl?spxr^wb ¥ iwstl ~mpviP jkiwowª `©s£y±{Pb ObS~ ¡mp~`Zba {0y xjk`Zlnbr~vwiwqSstrjnmpiF\3srZim ^wsp~¢sp~bqSm7xzr
(44) ]ª?j« %qmp~~baxPm7iw jnioqm7~~baqrjnio±rba~`©x ^Ps£pb%{PbabSi±spba rmcr^wb£splkvwb%vPxzbDrm ¥ lklGr^b A rst{lnbp¬. Cu(t 0 C zI xCz { *. *. . ]^wb `Zbr^m ~baxbSiUrba sp{Pm7bH^ws7x{ObSbai jn`Zlkba`ZbSiUrbD jni s ~mpo7~sp`¬ ]^juxc~m7op~st` ¥ lnlnx r^bcrsp{lkbZstiP bSrbS~`Zjkiwbaxr^bcrmtrspl bS~~m7~T\¡{0ybai0v`ZbS~srjnmpi] ¡mp~(jniwq~bas7xzjnio £splkvwbax%mt g ªGviUrjkl Êspj«r^ ¡vlG~mpvwiw jnioZjnx"s7q^jkbapbD ¬ ]^b,rsp{lkbxzjiSbDx ¡mp~st~jkm7vwx; ¡viwqrjnmpiwxopbaibS~srba%{0yVr^b,w~m7op~st`Tsp~b w~bDxzbai7rba(jnirsp{lnb p¬sc¹i s7 jkrjnmpiGª7b qSmp`Zwsp~bD m7v~?~baxvl«rx "jkr^Zr^wb"{PbDx9r,®0im"icrst{lnb xzj iSbVmt ;opbSiwbS~stln`j iaba` vlkrjnwst~rjkrb `ZbSr^m 7x W [¨¬ ]Ixst`j ia{b lnb q mpvw~~` baq¤{OrbS~ {jkmpr x xz~j biS b f k d dU a 00Dd sin p n t U Y d Ypp7 [0, π/4[ n t npd dp a p7dt d Udt7d a 7dUtd exp a U d G p n Y t n 77dt [0, 1[ n Ud7Ud dt p7p 7 d 7G Y7d a 0D 2 −1 7 t Y t n 77dt [0, 1[ n Ypp7 dt Gd nGYn p ]Ist{lnbZG j ]sp{lnb&xzj iSbDx"stiwspqaqv~spqSyZ ¡mp~ n§K{wj«rDªwdt§¨{jkr stiwGd n§K{jkr"jkiwv r mpObS~stiPx x. a irbaxzrbDZ ¡viwqrjnmpiwx¢¢bV~bS`©st~®r^wstrr^bVrst{lnbxj iSbV~ba|Uvjn~ba©{0yZ` vlkrjnlnjnqasrjk7b rsp{lnb{ws7xzbD Z` bSr^m jnxlnbaxx¢r^Psti r^bm7ib(~bD|7vwjk~ba {0yHopbaibS~stlnj`iaba` vlkrjnwst~rjkrb(`Zbr^m ¬?]^b(rst{lnbax A ª B ª ª ^ws£7b jnivr¢{jkrxaª0"^bS~bas7x rst{lnb ^ws£pb jniv r{jkrxa¬ m7~¢splklOmt r^bS` r^bVi0v`{Pba~ C E mp mpv rv rV{2kjkrxVjnxVst~jnsp{lkb&spiw± baPbaiwx m7Dir^b&rstp{w+lkb7kªP{vrstluxzm©m7ir^b& ¡viwq¤rjkm7iG¬ ]^bDxzb(rst{lnbax sp~bHr^0vwxcxz`©stlnlnbS~&r^wsti r^mUxzb jki r^b` vlkrjnwsp~zrj«rb`Zbr^m F \ 2 m7~wx&pba~xvwx 2 ]ª "^juq^ qSmp`ZObSiwxsrbax¢ ¡mp~r^b` vwl«rjklnjnbS~xS¬ 2n/5. Cu. . I + { { } . ( . n/2. . ]^wjnx¢`Zbr^m H~bS~baxbSiUrxsti jk`ZOmp~rstiUrjk`Z~mpba`ZbSiUr,mpba~?r^b`vlkrjnwst~rjkrb%`Zbr^wm0 "^baiHrsp~z§ o7brrjnio©lns7x9r§Ko7bSiba~strjnmpi }¢f(Vx \ Vjn~zrb ¦ cc"stiw jk~rb ¦ }?~m ]ª"^juq^ba` {Oba±sclust~opb(i0v` {ObS~ mp x`©stln+l \ 18 × 18 → 35 {jkrx
(45) ]¢` vlkrjnlnjkba~xa¬?]^bSjn~"~baqSjnxjkm7ijux"`Zmp~bVr^wstibaimpvo7^ ¡m7~r^jux"xq^bS`Zbpª spiw r^bay splklnmTsr~bSbS§3 ¡m7ln~ba vPq¤rjnmpimpir^brsp{lnb&xzjiSbsr iwmHqm7xzr xzjniwqSb(r^baysp~bs£stjnlnsp{lnbm7i r^b(q^jk¬ wmp~xz`©splkl k jkr¢`©s£yZbS7bSiH{Ob(PmUxxjn{lkbVrmvwxzb%mpiwlkyZmpib%` vwl«rjklnjnbS~rmZqmp`Zvrbr^br9m w~m vwqrxa¬ Ñ,+JGÑ.-.
(46)
(47)
(48)
(49) ! "##%$&(')*+
(50) $, (') Y. c¨rx^m7vlnc{Ob"imtrbar^Psr?r^brsp{lkbDx?qSspiZ{Pb" ¡vw~zr^bS~,qSmp`Z~baxxzbD&{0y {Pspq®U§Kbaiwlkm7opjuqmp rjk`Zjias§ rjkm7irmUm7lnxa¬%}?~ba0jkm7vwxV¢mp~®*W d#[ ^Pspx%xz^m"ir^wstr(sdtjn`Z~m7bS`ZbSiUr%mpi±r^b rst{lnbZxzjiSbcqSstiJ{Pb b ¦ PbDq¤rbD ¬n¬ Ijniwstlnlky7ªjkr&jnx&viwqlnbasp~^m r^jux`Zbr^wm0 ¢mpvlu qm7`cPst~b rm*s \Ê`Zmp~bZxzr~stjnop^Ur ¡mp~¢sp~&] jk`c§ wlkba`cbaiUrsrjkm7imp Is ¡viwq¤rjkm7i vPxzjnioZswjkbDqbS"juxb% baop~bSb(d m7~¢cOmplny0imp`Zjustl;bSstlnvwstrjnmpiHb ¦ wlkm7j«rjkio r^bxsp`Zb%`vlkrjnlkjnbS~xa¬?]mcmpv~"®0im"lnbaopbpª xvwq^stist~m7s7q^H^ws7ximtr"ypbSr"{PbabSiv{lnjnx^bD ªwstiP jkr jux¢r^b&xv{ 9bDq¤r mt qv~~bSiUr"m7~®;¬ f. Cu. I + { { }. ( . . ^wbSi rst~opbrrjnio !Jk c¤ªr^bqmp`Zwsp~juxmpi "j«r^ ` vlkrjnwsp~zrj«rbHrsp{lnbax&~baxv`Zbaxrm±r~s7 jkiwolkm0m7®7§ vwJrst{lnbHxjklnjnqSmpi ¡mp~`vlkrjnlkjnbS~xzjnlkjuqm7iG¬]m{Pb© Êspjk~Dªjkr x^mpvlu {Pb©iwmtrbDJr^wstrsti spqrvwspl !Jk c jn`ZlnbS`ZbSiUrstrjnmpi"jklnlG{Ob&xzm7`ZbS"^wstr"j g;bS~bSiUr ¡~m7`"^wstr stObasp~xm7i Ijnopv~bZGj W`vlkrjnlkjnbS~qluspxxjnqastlnlkycqmpiPxzjux9rx?mp swst~rjustlP~m0vwq¤rst~~s£y7ªps qast~~yU§¹xs£7b~ba vPq¤rjnmpiZr~babpª stiws ¥ iPstls7 bS~D+¬ c¹impvw~Vst~q^jkrbaqrv~br^ba~b"jnlkl{Pbm7ilnympiwb ¥ iwstlsp ba~ sr"r^b&bSiP mp r^b©`vlkrjk§Km7Pba~spiw s7 bS~D¬ · bDxzju bDxSª ¡m7~&s k × k mp~s 2k × k ` vlkrjnlnjnqasrjkm7iGªGr^b© bS r^ mt "r^b ~bavwq¤rjkm7i r~bSbH"jnlnl¢{Ob7bS~y x`©stlnljni r^b m7bS~stlnl,q~jkrjuqSstlwsr^G¬ lkrmpo7br^bS~r^b spj«rjkm7iwstl lusrbSiwqSy vb(rmZr^b`vl«rjkwlkjnbS~x"xz^wmpvlu{Obpba~y xz`©stlnlK¬ a v~sp~m7spq^%mt 0r~viPqSsrjkiwor^b?~baxvlkrmt s¢ ¡vlnlp`vlkrjnlkjnbS~jnxqba~zrstjnilky,9vwxzrj ¥ bam7i }¢f(Vx "^bS~br^baxb& ¡vlnlI` vlkrjnlnjkba~x%st~b~baxbSiUra¬ VmbapbS~Dªjni !Jk c¤ªOj«r%jnx~mp{wsp{lky `Zmp~b st~bast§ stiwJ bSlus£yU§K#b "HqjnbSiUrVrmr~viPqSsrb r^bcwst~rjustl ~m vwq¤rst~~s£yp¬(]^b~mpvwiw jnioba~~mp~"jklnl {Pb ^jnop^ba~aª `©s£y0{Pb ~bD|7vwjk~jkiwo±`cm7~bopvwsp~ {jkrxaª {v rcr^b mpba~splkl?xPbaba spiw sp~bDs±xz^m7vlu {Pb ~bD vwqSba ¬?]^bxzrvwymt Ir^wjnxr~s7 b§¨m g±~bS`©stjniwx¢rmc{Ob& m7ibp¬ ")& &! '' I &sr a iwbqSspi~bS`©st~®r^wstrrst{lnbax , x ] = x ∗ 2 ∗ f (x ) spiw D[x , x ] = x ∗ 2 ∗ f (x ) xzrm7~br^wbZxst`ZbZstlnvbaxa¬Z]^bS~C[x b ¡m7~b7ª bZqSspiJ~ba vPqbr^b©m7bS~stlnlrst{lnb©xzjiSbc~bD|Uvjk~ba {0y x9rmp~jkiwo m7ilny r^b C rsp{lnbp¬ c¹iZr^jux¢xq^ba`ZbpªU£splkvwbax?w~baUjnmpvPxzlnyxzrm7~bDjni D "jnlklO{ObVlnmUm7®U§Kvc ¡~mp` rsp{lkb C s7 ~baxx""jkr^ ¡m7lklnm¢ba{0y±s §K{wj«r(xz^jk Óra¬%]^bxs£0jkiwo©jki xws7qb&juxx`©stlnl \3st{Ompv rc0Dr^ mp r^b(rsp{lkb&xj (xiSb ]¢, spxiw) "jklnl ~mp{wsp{lkykimtr"{Ob9vwx9rj ¥ ba ¬ ]^b±`vlkrjnlkjuqSstrjnpb`Zbr^m xZ~baxbSiUrbD jn0 i k baq¤rjkm7i juxZ{wspxba mpi+sti mp~ bS~§ 5 ]Is£yUlnmp~cb ¦ § Pstiwxjkm7iJ"jkr^ spiJjnivr m7~Jba|Uvwsplklny xlnj«r jniUrL m nxv{ §¨m7~ ¬H]^wjnx`ZbSr^m qSspiJ{Ob©rviba {0y jniwqS~bDspxjkio r^b(m7~ ba~mt r^b]s£y0lnmp~¢b ¦ wspiwxzjnmpiªU{0yH~bSlus ¦ jnio&r^b&xzr~jnqr 4k + p xzwlkjkrzrjkio©¢b%^ws£pb vPxzbD ª;mp~%{UyqSbSiUrba~jniost~m ¦ jk`©strjnmpiwxaC¬ c¨r"jnlkl lnbasp±rmsti jn`Z~mpbS`Zbai7rjki rst{wlkbZxzj iSbZstiP £m7~ jni spqaqv~spqSyxzjn`Zjklust~%rmr^wsr&m7{ rspjkiwbaJ{UyJopbaibS~stln`j iaba ` vlkrjnwst~rjkrbZ`Zbr^m x W # [qSmp`Zwsp~bD±rm w~baUjnmpvPx ` vlkrjnwsp~zrj«rbV`Zbr^m Cx Wntª0ª Y[¨¬ ]^wb ~s£"{wspq® jnx,r^wstr,r^bVijuqb%]s£y0lnmp~ ¡m7~`vlustb"^ws£7b rmZ{Pb~bSluspqSba "j«r^`cm7~b(o7bSiba~splOOmplny0imp`ZjustlGsp~m ¦ jn`©srjkm7iw_x \Ê`Zjkijn`©s ¦ mp~"xzjn`Zjklust~ ]¤¬ c¹iopbaibS~stlKª7r^ba~bst~b%`Zspi0y©r~sp bam g x¢"^jnq^qSspi {Ob(mp{ rstjniba {0yHjniwq~bas7xzjnior^b(i0v` {ObS~"mp x`©stlnl ` vlkrjnlnjkba~xa¬ c¨r juxwst~r"mt mpv~¢ ¡v rv~bjni0pbDx9rjkoUsrjnmpi¬.
(51). 0. 0. s #Ò . 4. 3. 3. −3k. 0. 0. 0. 4. 4. −4k. 0. 0.
(52) #"') ( #$, ` =h '
(53)
(54) ' # , & P')
(55) P$, `. D. . . . . & ')S& f bc^ws£pb~bDxzbaiUrbaypbr(stimpr^ba~`ZbSr^m ¡mp~(st~m ¦ jk`©strjniost~{jkr~st~yH ¡viPq¤rjnmpiPx(vrmxjkiwoplnb w~bDqjuxzjnmpi \ 24§¨{j«r ]¢vwxjkio`cm ba~strb(rst{lnb xj`iabp¬]^brsp{lnb xzjiSbjux ~bavwqbD vw±rmZr~bab§K ¡mplu±qmp`c§ Pst~ba±rmr^bZ{PbDx9r&w~baUjnmpvPxzlnyv{lnjnx^bDrst{lnb§¹stiw §¨s7 jkrjnmpi `ZbSr^m xaªsr%r^wbcb ¦ PbaiwxzbZmp ,r9¢m 7bS~y©xz`©stlnl;` vlkrjnlnjkba~xa¬ ]^jux`cbSr^m ^wspx¢{ObSbSijn`cwlkba`cbaiUrba jnis ~mpo7~sp` "^ba~br^wb ¡vwiwq¤§ rjkm7iGª£r^wb,jniv r stiw&mpv rv r spqSqSv~spqy(qSspi&{ObxPbDqj ¥ ba ¬ ]^jux`ZbSr^m &juxIqlnbast~lny¢bSlnlUxvjkrbD&"^bai rst~opbSrzrjnio I}f(VxVbS` {Obaw jkiwoZx`©stlnlG` vwl«rjklnjnbS~xSªspiww~m7{wst{lnyHGm gOba~xo7mUm !sk,cOmtrbSiUrjustlK¬ wv rv~bcm7~® jkiwqSlkvP b I}f(i n ¬ stiw !sk,c xzy0iUr^bDxzjux%stiw±s7q¤rvPstlI^wst~ st~b&qmp`Zwsp~juxmpiwxaªwstiP r^b¢mp~®H baxq~jk{Oba jnixbaqrjnmpP . . " " ¢" Wk[7b¬ b%spx k sp~`©sWspiwb ¬ f ¬srvlus¬ Pstjkr^ ¡vl©{wjkwsp~zrj«rb a ~bDqjn~m0qastlrsp{lkbDxS¬ c¹i k ¬ (im"lnbaxstiwm f ¬ &Z¬ qa lnlkjuxzrbS~DªOba jkrm7~xaª
(56) #&' $, #+#$,| 7_' , (') ªwspopbax( d ª · sr^Gª ZªGYGY n ¬ c¹º?º?º m7`cwv rba~Ck0m qjnbr9yH}?~baxxa¬ W #d [ ¢¬ hb bVjnibDq^jkicstiw w¬ bbr~bSy7,¬ ±vlkrjnwst~rjkrbrsp{lkbDxjni · j«rx ¡mp~r^b¢bSstlnvwstrjnmpi&mp ¡viwqrjnmpiwx m7i ¡oUspxa? ¬ c¹i _
(57) $, 2_ ,'
(58) ($, I &! " &| # ')# # #M# `M ' (')$,| $
(59) # #' $, ª mp~r !spvw ba~splkb7ª Ilkm7~jusªP ~jklIdtpUd ¬ VOstrbDpbS~xjkm7imt ! c¹} ~baxbasp~q^ ~baPm7~zrVdppS§K7w¬ W [ ¢¬; b bjkiwbaq^jnistiw± ¬O]juxxzba~spiw M¬ k0mp`Zbjn`cw~m7bS`ZbSiUrx mpi±` vwl«rjkwsp~zrj«rbrsp{lnb&`Zbr^wm0wxS¬ c¹i4 bajkl · v~opbaxxspiw !vjnopj jk`Zjnijkba~swª baj«rmp~xSª &% '
(60) (#)&' $, *+#$,| _' (') ª7PstopbDx"Dd +;a nª ?spjklKª mplnmp~sp mPª pviwbVdtpwp(¬ ;srbaZpba~xjnmpicmt ! c¹} ~baxbast~q^ ~bSOmp~rVdt7p§¹ w¬ W G [ ¬ Vspxxlkba~stiwW&¬]sp®£spopjK¬ viPq¤rjnmpiWbSstlnvwsrjkm7i {0y rst{lnblnm0mp®U§Kvw stiw s7 jkrjnmpiG¬ c¹i k ¬ (im"lnbaxstiwm f ¬ &Z¬ qa lnlkjuxzrbS~DªOba jkrm7~xaª
(61) #&' $, #+#$,| 7_' , (') ªwspopbax(D+ ;aª · sr^Gª ZªG YGY n ¬ c¹º?º?º m7`cwv rbaC~ k0m qjnbr9yH}?~baxxa¬ W n#[ ¬p&¬ !Gju juqm7str?stiwI ,¬ P¬ Ilky0iiG¬ jnop^ §¨ObS~ ¡mp~`Zspiwqb dwmUsrjnio%Pm7jkiUr, jn0jnbp&¬ c¹i $, T')
(62) (#)&' $, ' ' &
(63) ( ' ªDPstopbDx nt- 077 ª f sp~xs£ªS} m7lnspiw #ª k0bS rbS`{Pba~Idt77¬ W [.P¬ C¬ ±vlnlnbS~D¬ `2&|#/ $, (') _ ' , # =(') ¬ · jn~®0^wspvwxbS~Dª · mUx9rmpiGª YGYU ¬ W¿ [.P¬ ,¬ ±vlnlkba~a¬I ¡ba ~bDxzvwl«rxm7i©rsp{lnb§¨{wspxba©`ZbSr^m xa¬ _ %') 0+#$, ' p&ª n \3 ] j dU# Y+d ª YGYY¬ W [.P¬ &¬G}?j bajk~mwª w¬ b ¬ · ~vo7vbS~sªGspiw1 P¬ § ¬ vlklnbS~D¬ wspj«r^ ¡vl?Om¢bS~jkioqm7`Zv rstrjnmpi vwxjkio rst{lnb±lnmUm7®U§Kv stiw sJ ¡vwxba+spqaqv`vlnstrjnmpi r~bSbp ¬ c¹i bajkl · v~opbDxxZspiw !vjnopj jn`ZjkijnbS~sª bD jkrmp~xaª ,% 2!
(64) # #
(65) ' $, 3+#$,|e_' ') ªOwspopbax 7+ 00 ª ?stjnl3ª mplnmp~sp mPª 7vib dppwp¬ Ñ,+JGÑ.-.
(66)
(67)
(68)
(69) ! "##%$&(')*+
(70) $, (') . 7. W Y[.P¬ º ¬kUrjnibstiw ¬ P¬kq^Uvwl«rbp¬7]^wb¢xy0`c`ZbSr~jnq rst{lnbs7 jkrjnmpi&`ZbSr^m ¡m7~Is7qSqSv~strb ¡viPq¤rjnmpi sp~m ¦ jk`©srjkm7iG¬ $,s
(71)
(72) =' # #
(73)
(74) ' pªPd \3d]jnaU Op0ªw YGYY¬ Wna[ f ¬ ¢¬#Jf m7io(stiwºV¬pf%mtrmP¬ PspxzrIbastlnvwsrjkm7i&mt r^b¢bSlnbS`ZbSiUrsp~y% ¡viPq¤rjnmpiPxjniZxzjnioplnb,w~bDqjuxzjnmpiG¬ ! , G ')# +# $,|
(75) ª7=3\ ]j pn +0 7n ªG sp~q^ YY n ¬ . s #Ò .
(76) Unité de recherche INRIA Rhône-Alpes 655, avenue de l’Europe - 38330 Montbonnot-St-Martin (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).
(77). . ISSN 0249-6399.
(78)
Documents relatifs
If the temperature of the collapse increases due to an increase in the specific heat ratio (for example by lower initial concentrations of the chlorinated compound) the ratio
If a reproducible evolution of the refraction index with temperature and degree of conversion could be available, an absolute value of the degree of conversion would be
À partir du moment où la montagne Pelée se réveille, temps au bout duquel une grande éruption peut se reproduire (d’après la population interrogée
Contanto, é importante ressaltar que as cultivares ‘Salustiana’, ‘Pera’ IAC, ‘Pera’ “Jetibá”, são mais propícias para suco, podendo a ‘Salustiana’
Si l’examen du lien qui unit langue et identité trouve dans la première approche une résonnance due au fait que tout sujet parlant construit son identité par le biais de sa
Ainda segundo os autores, outro ponto importante a ser levado em consideração no combate à disseminação seria o rastreamento, por parte dos órgãos competentes, a partir
En vertu du principe frégéen de compositionnalité qui règle dans les linguistiques formelles les rapports entre syntaxe et sémantique, la composition syntaxique est
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