Fast Redundancy Elimination Using High-Level Structural Information from Esterel
19
0
0
Texte intégral
(2) INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE. Fast Redundancy Elimination Using High-Level Structural Information from Esterel Dumitru Potop-Butucaru. N° 4330 November 2001. ISSN 0249-6399. ISRN INRIA/RR--4330--FR+ENG. THÈME 1. apport de recherche.
(3)
(4)
(5) !#"$%&(')&*,+.-/ 10 2 3 %4 5 4 7689:!4; < !9:4%!= >%
(6) 4 2 ? @;A7BDCFEF@HGJIKCLIKM%NPOQ@%CL@;RTSKEF@VU W1XZY[]\]^`_ba
(7) c de\ fhgji\PkJdeljdmknY[]\ d oVpnqsrm\k2W1tvuxw aJfsy.yKqhpek2zj\{pe\FuxX.\pxuxX.\}|8~%h_b2q: \[K\pJhhZ^
(8) _^Lyfsh\Fd. % :.hh dke\ pe\ %yZpeqhpxfs[,d2fs|zl|ZuFXZfhpkxd2X.tv\pxfspxuxX.tufhfsgjknqh[,f:kxffspn\uqh[]y.tv\Fzt|Tkeqf:k de\ Tg.\ |Tketfs1uPtvpnug.t¡kxd¢£W1X.\¤uPg.pnpe\ |TkQuPq[]y.tvtv|.yZpeqjuP\Fded=qs¥¦kn\|§h\ |.\pxf:kn\ dkeqq[,fh|Tl/f:kxuxX.\ d]fs|z Tf:kn\ d ¢©¨ª\y.pnqhyKqde\f«uPq[QyKqdetketvqh|Zfh
(9) ke\FuxX.|.t gZ\Zfhde\ z§q|¬dmknpegZuPkeg.pxfsJt|j¥qpe[,fsketvqh|§keXZfsk\P®]¯ ut\ |Tkevlpn\[]q: \ d
(10) pn\ zjgZ|Zz.fs|Tk`vfsknuxX.\Fd°fh|Zz¤fske\Fd±K²
(11) t¡knX.qhg.k fz.zjtv|.\iTknpnfqhtus¢ W1X.\knpnfh|Zdm¥qpe[,fs¯ kntq|,²qpewjd;tv|,tv|.\Ffsp³knt[]\Jfh|Zz]htv h\FdVhqqjzQy.pxfhu´kntvu fs.pn\ deg.knd ¢ W1XZ\Jdtv[]y.vt¡µZ\Fz,uPtvpnug.tkufh|,\2gd\Fz ¥qp2dtv[gZvfsketvqh|±j \pnt¡µu f:kntq|±jfs|Zzqhyjknt[]tdefsketvqh|¢ ¶¤·T¸8¹nº» :¼ h½ dmkn\pn\V±Zdel|ZuxX.pnqh|.qgZd5fs|ZhgZfhh\h±f:kxuxXqy.petv[]t¾Ff:kntq|±qhtu°qyjketv[]t¾Ff:kntq|±.uPq[=¯ yKqdetketvqh|Zfhtkmlh±jX.tv\pxfspxuxX.tufhqyjketv[]tvdnf:kntq|. ¿ÀÁm´ÃÅÄVÆLÄmÇ È ÉÅÊFÄÇÆLijË.ÌxÍDÉÅÇeÎhÏ>È Ð. Unité de recherche INRIA Sophia Antipolis 2004, route des Lucioles, BP 93, 06902 Sophia Antipolis Cedex (France) Téléphone : +33 4 92 38 77 77 — Télécopie : +33 4 92 38 77 65.
(12) " P{ P! 9:!4 <{ P! >%4; 5 4% 2 P
(13) * ´0
(14) ! 4 P(% P!=#
(15) 1 P!= ¬%
(16) 4 2
(17) fuqh[]y.tvvfsketvqh|zj\°y.pnqhhpxfs[][]\ d dmkn\pn\ ±jfstv|Zdt8 Tg.\°u\v\`zj\°deyKc uPtµu f:ketvqh|d5 tdg.\ v\ d jlT|uFXZfhpkxd±Ky.pnqz.g.t¡k zj\ d`uPtvpxuPg.tknd°dcF gZ\|Tketv\dJ|Zqh| dkepngZu´kng.pnc dJ Tg.t qh|Tk dqg. h\ |k°\FfsgZuqhg.yknpeqy z.\`pn\tvdkepn\ d \k
(18) z.\`yKqhpeke\Fd1qht Tg.\ d ¢5\`pxfsyZyqpk1y.pnqhyKqde\°g.|Z\ ke\ uxXZ|.tv Tg.\{uqh[]yqTdtketvqh|Z|.\v\`yKqhg.p cvt[]tv|Zf:kntq|/z c c [Q\ |Tkndzj\uPtvpnug.t¡kpn\ z.qh|Zz.fh|Tknd \|«g.ketvtdefh|Tkzj\, tv|j¥qhpn[,f:ketvqh|«dkepngZu´kng.pn\v\zj\ Xfsgjk{|.tv h\Ffsg¢
(19) \ d{fsvhqpetkeXZ[Q\Fd dq|k dqgZdm¯ vtv|.c fhtpn\ d`z.fs|d{vfkxfstvv\,zjg«uPtvpnug.t¡k\k{\Fd{pecFdgZ¡kxf:knd deqh|Tk,Kqh|Zd ¢
(20) \utpxuPgZt¡kdet[]y.vtµZ\¤y\ gj k kepn\g.ketvtd\f«z.\ d]µZ|dzj\det[=g.vfsketvqh|± hc petµu f:ketvqh|±5\Pk qyjketv[]tvdnf:kntq|¢ $ dke\ pe\ ±.fs|Zfs\`del|ZuxX.pnqh|.\±qhyjknt[]tdefsketvqh|d\F gZ\|Tketv\v\±.uPq[QyKqdetketvqh|Zfhtke\±jqhyjknt¡¯ » F ¹ []tdefsketvqh|X.tv\pxfspxuxX.tv Tg.\.
(21)
(22) !#"%$& . . 86 %4 !, 5 P!= ¨ª\2y.pn\ de\|Tk³f{|.\ ²£f:kxuxX,fs|Zz]vqhtvu pn\[]q: :fs.fsvhqpetkeXZ[}¥qhp³keX.\2utpxuPg.tknd5h\ |.\pxf:kn\ z=TlkeX.\ dmkn\pn\ uqh[]y.tv\ )p ( j±:±h * ¢ W1XZ\1fhqhpnt¡knX.[ fsdq fsyZy.tv\ d%knq`pnfhy.X.tufhX.tv\pxfspxuxX.tufhTfhgjkeq[]fsknf`zj\ dnuPpntvyjketvqh|Zd degZuxXfhd2l|ZuLXZfspekn%d (v^ * ¢ W1X.\fhqhpnt¡knX.[½det[]y.vt¡µ\ d knX.\dmkxf:kn\P¯ \|Zuqz.t|.yZfhpk{qh¥5keXZ\uPtvpnug.tk lpn\[]q: tv|.pn\ z.g.|Zz.fh|k utpxuPgZt¡k°uqh[]yKqh|.\ |kxd¢2W1XZ\y.pnqu\ dnd2td2Zfd\Fzqh|dkepngZu´kng.pxfstv|j¥qhpn[,f:kntq|zjtpn\ uPkevlfL :fhtfs.v\ ¥pnqh[ knX.\deqhg.pxuP\ dke\pn\y.peqhpxfs[ fs|zfhpn\ fzjluPq[QyZgjke\Fzl,knX.\uPq[]y.tv\pF¢ W1X.\°dtv[]y.tµu f:ketvqh|fhqhpnt¡knX.[ td³vtv|.\ fhp³t|]knX.\Jdet¾ \2qs¥8knX.\Jdknf:kn\P¯ \|Zuqjzjt|Z{yZfspek5qs¥8knX.\JuPtvpxuPg.tk ¢ W1XZ\pn\P¥qhpn\h±TknX.\dtv[]y.vt¡µu f:kntq|td2 TgZfhdet¯ tv|Zdknfs|Tkxfs|.\ qhgZd\ \|¥qhp1keXZ\{vfhpe\ dk \ijfh[]y.\Fd
(23) fL :fstvvfh.\¢ W1X.\Qdtv[]y.vt¡µu f:kntq|\Fdede\|Tkntvfhvluqh|Zdetdmkxd
(24) qs¥Vpn\[]q: t|.,pn\ z.g.|Zz.fh|k2f:kxuxX.\ d°fs|ZzknX.\vqhtvu knXZf:k z.petv h\Fd5knX.\[,¢ +°\ upe\Ffhdet|ZknX.\{|g.[K\p
(25) qh¥%f:knuxXZ\ d1td
(26) gZde\P¥g.>¥qp2dtv[gZvfsketvqh|±.det|uP\`keX.\detv¾\ qs¥ keX.\ uqh[]y.tv\Fzdet[=g.vfsketvqh|uqz.\°zj\FuPpn\ fhde\ d ±fh|Zz]¥qp5 h\ petµu f:ketvqh|fh|Zz]qhy.ketv[Qtdnf:ketvqh|±Tdet|uP.\ -)+/+2¯ Zfd\Fz pn\ fuxXZfsZtvt¡kmlfhqhpnt¡knX.[,d1fspn\`de\|Zdetketv h\`keq]knX.\{|g.[K\p
(27) qh¥%f:knuxXZ\ %d ( 0* ¢ 1°dtv|.dkepngZu´kng.pnfhVt|.¥qhpn[]fsketvqh|¥peq[ dke\ pe\ Vkeqtv[QyZpeq: \knX.\dknf:kn\]pe\ y.pe\Fd\ |Tknf:kntq| td{|.qhk{f |Z\²tzj\Ff.¢ 2° h\ p¯ fsyZy.peqLijtv[,f:ketvqh|,qh¥%knX.\{pn\ fhuxXfs.v\`dknfske\{deyZfhu\`td
(28) gZde\ zkeq,[=g.ketvy.\ipn\tvdke\ pnd tv| (v^Fj±>^ * ¢ ®uPtv\|TkJdknf:kn\ \|Zuqz.t|.Q¥qp2¬uPqjzj\ h\ |.\pxf:kntq|td1y.pn\ de\|Tke\Fztv3 | ( 4* ,¢ 2°g.p1ke\FuxX.|.t Tg.\ tvd qpknX.qhqh|ZfhZknqQkeX.qTd\fh|Zztk2[,fLltv[QyZpeq: \JknX.\tvp
(29) pe\FdgZ¡kxd¢ 5 |/knX.\,|.\Pikde\ uPketvqh|/²\,yZpe\Fd\ |k knX.\dkepngZu´kng.pnfhVt|.¥qhpn[]fsketvqh|ª²\,gd\fh|Zzª²\,deX.q:² XZq:²}keq \ikepxfhu´k t¡k ¥pnqh[ keXZ\°tv|.tketfs dke\pn\>dey\FuPtµufsketvqh|¢³\Fu´kntq|deX.q:²2dX.q:² keqQgZde\JknX.tdtv|j¥qpe[,f:kntq| knq]pe\ [Qq: \°f:kxuxX.\ d
(30) fh|Zzf:kn\ d ¢³\ uPketvqh|]y.pe\Fd\ |Tknd \ |ZuxX.[,fspnwjd
(31) fs|Zz\Fu´ketvqh|QuPq|ZuPvgZzj\Fd¢ '. 3 4 ³; 4 9:!4 <{ P! dmkn\pn\³tdf¤del|ZuxX.pnqh|.qgZd`vfh|.hgZfhh\¢W1X.\,\Pij\FuPgjkntq|«qs¥
(32) fs| dke\pn\y.pnqhhpxfs[½uqh|Zdetdmkxd{t|«fde\P¯ Tg.\ |ZuP\ qh¥%pn\ fhuPketvqh|Zd zjpnt \|TlkeX.\{uPvqjuxw,ketuxwjd8¢ 7 k
(33) \ fuxXuqjuxw,kntvuxw8±jtv|.y.gjk2det|Zfsd1fspn\°pn\ fzfs|z qgjkeyZgjkJdtvh|fsd fhpe\ \|.\ pnfske\ z¢ W1X.\°vfh|.hgfsh\Jtvdt[]yK\pxf:knt \Jfs|Zz,keX.\`dmkxf:ke\°tvdtv[QyZtuPtkevl,\|Zuqjzj\ z,tv|,knX.\°yZpeqhpxfs[}kn\Pik ¢VW1X.\ w\pn|.\>uqh|ZdkepngZu´kxd
(34) fspn\{fhd ¥qhvvq:²2d 9 : \[]yjkmldmkxf:ke\ []\|T;k 9 6. <>=@?BADCE<F. d\F Tg.\|Tketfsfh|ZzyZfspxfsvv\>uPq[QyKqdetketvqh|±jvqqhyG9. :. H8IEJ. HLKMK
(35) J. N =O=QP HSR <UT. :. dtvh|fs>\[]tdedetvqh|±.det|Zfs>yZpe\Fd\ |ZuP\V:fsd\ |ZuP\Jke\ dk ±Zqjufhdtvh|fs>zj\ uvfhpnfsketvqh|G9. :. \Pi.uP\ yjketvqh|pxfstdtv|.]fs|ZzXZfh|Zzjvt|.. RW C?YX PZ R>[@R <?\X]?BA R < H^RN[@R_J3R <T [ CEFB<>` N X_CE< HaR <UT Rb C?dc. ff Ê gUhiij. ?OZ`@P\ceCE< H^R <UT.
(36) . H > Q :. y.pn\\[]yjkntq| :. zj\fLl. [[ P R <UT H A R <^X. ` U=ZO? H A R <^X. P>` [@R. W1XZ\=¥gZ³fs|ZhgZfhh\=uqh|Tknfht|d°[,fh|Tl [Qqpe\QgZde\pe¯ ¥pntv\|Zzjvldknf:kn\[]\|Tkxd`keXZfskfspn\=[,fhupeqh¯ z.\PµZ|.tketvqh|d q: \p`keXZ\wh\ pe|.\ Vvfh|.hgfsh\¢W1X.\ pe\¥qhpn\h±² \ufh|/pe\Ffhdeqh| q|ªkeX.\w\pn|.\Vfs|ZhgZfhh\]qh|.vlh¢
(37) .qpqhg.p yZg.peyKqde\ d ±j² \ deXZfh>gZde\`keX.\ ¥qvq:²
(38) tv|. Dfspeketµutvfh \Pi.fh[QyZ\9 ` ` C ? I ` ` C? I ` >=ZO? ` ` C? KBK PZ R>[@R <?^?A R < P>` [QR RNU[@R ` ` CE ? R <UT A R < . ²
(39) XZ\pn\°knX.\. ` `>C?\X. [,fuPpnqs¯ dmkxf:ke\ []\|Tk \ijyZfs|ZzZd1t|Tkeq. ?OZU`@P\c CE< N =O=@P PU` [@R8I POZ R>[@R <O?\Xd?BA R < Rb C?dc R <UT R <UT N =O=@P R <UT]?OZU`@P. W1XZ\y.pnqhpnfh[ fL² fht¡kxdknX.\
(40) dtvh|Zfh ¥pnqh[HknX.\1\| tpnqh|.[]\ |kF±FkeX.\ |QfL²1fstknd ¢sW1X.\|±ht¡kV\Pij\FuPgjkn\ d%keX.\ Zpnfh|ZuxX.\ d;qh¥8keX.\2yfspxfsv\ Zdmkxf:kn\[]\|Tk ¢;W1X.\
(41) µpndk5yZfhpnfhv\j.pxfs|uxX]fL²1fstknd fs|zkn\pn[]t|Zfske\Fd¢ ¨ X.\| dknfhpkn\ z>±KknX.\=de\ uqh|Zz¤Zpnfh|ZuxX uxX.\FuxwdJt¡¥ dtvh|Zfh td`y.pe\Fd\ |Tk /¢ 5 ¥5lh\Fd±Kt¡k yZfhgZd\Fd2¥qp°q|.\=uqjuxwketuxw fh|Zzke\ pe[]tv|Zf:kn\ d )¢ 5 ¥³|.qskF±tk`fL²1fstknd2detvh|Zfh fh|Zzke\ pe[]tv|Zf:kn\ d ¢2W1X.\yZfhpnfhv\%dmkxf:ke\ []\|TkJtv|Zdmkxfs|Tkevl kn\pn[]t|Zfske\Fd
(42) ²
(43) X.\| qhkeX¤.pxfs|ZuxXZ\ d2fhpe\ kn\pn[Qtv|Zfske\ z¢2W1X.\ ` >=@ZO? A R < dmkxf:kn\[]\|TkJy.pn\\ []yjknd knX.\{\Pij\FuPgjkntq|qh¥keXZ\{yZfspxfsv\ dmkxf:kn\[]\|Tk
(44) ²
(45) X.\| qju uPg.pxd±j²
(46) XZtvuxX.\ h\ p1dknfske\ knX.\ yZfspxfsv\ >tvd1tv|¢ . "!$#&%(')%+*-,.'0/212')354. !$#&36#%. 1W XZ\q|.l«w\pn|.\
(47) dknfske\[]\ |kQkeXf:k]knfhwh\ dketv[]\tvd P>` [@R ¢«¨ X.\ |7keXZ\uqh|Tkepnqh pn\ fhuxXZ\ dQf P>` [QR dknfske\ [Q\ |Tk ±³tkQtdQpe\knfht|.\Fz/keXZ\pn\g.|Tknt1knX.\|Z\Pik]uqjuxwªketuxw8¢ 72v1keX.\qsknX.\pQwh\ pe|Z\1dmkxf:ke\ []\|Tknd Xfs|Zzjv\knX.\=uqh|Tkepnqh%t|ªf,y.g.pn\vl¤uPq[.tv|Zf:kntq|Zfs%² fLlfs|zzjq|Zqsk°\|.\ pnfske\uqh|TkepnqhZq:²}zj\fLljd¢ W1XZ\pn\P¥qhpn\h±%keXZ\dknf:kn\qh¥ knX.\ dmkn\pn\ y.peqhpxfs[ \km²\ \|7uPvqjuxw kntvuxwjd=tvd=zj\Pkn\pn[]t|.\Fz«lªkeX.\tdmk 798 f(7 Ð.
(48)
(49) !#"%$& . . qh¥%knX.\{\Pijy.vtuPtk2qhp
(50) [,fhupeqh¯ \|.\ pnfske\ z PU` [@R dmkxf:kn\[]\|Tknd2²
(51) X.\pn\`keX.\uqh|Tkepnqh>XZfd1yZfsgd\Fz>¢³¨ª\defLl knXZf:k
(52) knX.\ de\{dmkxf:kn\[]\|Tknd
(53) fhpe\
(54)
(55) :¢ W1X.\ª|.qhketvqh|¬qh¥d\ \Fu´ketvqh|t|Zz.gZu´knt \vl \Pike\ |Zz.dkeq£fhpeZt¡knpnfhpel dmkxf:kn\[]\|Tknd ¢ ¨\ªdefLl§keXf:kf dknfske\ [Q\ |Tk°td°de\v\ uPke\ z t¡¥5fh|Zzq|.vlt¥³tk uqh|Tknfht|Zd`fde\v\ uPke\ z P>` [@R ¢JW1X.\=yZfspxfsv\ %dknfske\[]\ |k tv| qg.p`\Pi.fs[]y.v\td°de\v\ uPke\Fz¤t¡¥1uPq|knpeqyZfhgZde\ d°t|q|.\Qqs¥VkeXZ\Qzj\ vfLl¤dknfske\[]\ |kxd ` ` C? ± PU` [@R ± qp ` `>C? ¢ZW1X.\
(56) !3&Q O tvd^t¡¥;knX.\dknf:kn\[]\|TkJtdJde\v\ uPke\Fz>±]qhkeX.\ pe²
(57) td\¢5 k°tvdJ\ fhdetvl uqh[]y.gjkn\ zgZdet|Z=knX.\delT|Tkxfhu´kntvu°knpe\ \`qh¥knX.\dmkxf:kn\[]\|Tk ±Z²
(58) X.tvuxXtd2fhd ¥qvq:²2d¥qhp
(59) qhgZp
(60) \Pi.fs[]y.v\@9. 1W XZ\ de\v\ uPketvqh|dmkxf:kngZd2f:k2fQ|.qjzj\{td keX.\z.tvdDrmg.|ZuPketvqh|qs¥ keX.qTd\ qh¥%knX.\uxX.tvvzjpn\|¢ W1X.\ pe\tvd;fh|t[]yKqhpeknfh|kVzjtK\ pe\ |ZuP\\km²\ \|=yZfspxfsv\ h|.qjzj\Fd;fs|Zz knX.\ qskeXZ\p |.qjzj\ d;9knX.\ dknfskegZde\ d qh¥ yfspxfsv\ >.pnfh|ZuxX.\Fd
(61) fspn\{t|Zz.\yK\|Zzj\ |Tk ±Z²
(62) XZtv\ keX.\=dmkxf:kegd\Fd
(63) qs¥VuxX.tvvzjpn\|¤fhpe\ \Pi.ugZdetv h\ ¥qhp°fsv>keX.\ qhkeX.\ p]|.qjzj\ d ] ¢ 2°|Z\u fs|.|Zqsk]yZfsgZde\¤f:k]keXZ\dnfs[]\ketv[]\t|§keXZ\fh¡kn\pn|Zf:kn\Zpnfh|ZuxX.\ dQqh¥`fke\Fdmk,qhp tv|«zjt K\ pe\ |kuqh[]yKqh|.\ |kxd{qs¥
(64) fd\F Tg.\|Zu\h¢W1XZtvd{td{y.tu´kng.pn\ zªlkeXZ \ det|Zd qh|ªkeXZ\|.qjzj\ d ²
(65) tkeX \i.uPvgZdtv h\ uxX.tvvz.pe\ |¢ 5 |{knX.\5utpxuPg.tk\|.\ pnfske\ z`l°keX.\ dmkn\pn\TuPqh[]y.tvv\pF±knX.\5de\v\ u´kntq|dmknpegu´kegZpe\³tdz.tpn\ uPkevl°[,fsyZy\Fz tv|Tkeq,f=kepn\\ qs¥;pn\htdke\pxd1fs|Zz ¯ fske\Fd 9. 7 PU` [@R dknfske\[]\ |k°h\|Z\pxf:ke\Fd
(66) f,pn\htdke\p2keXZfsk°zj\fLljd1keXZ\=uPq|Tkepnqh>Zq:²{¢
(67) W1X.\qskeXZ\pJ|Zqz.\ d2\|j¯ \ pnfske\ ¯ fske\ d keX.\ qh|Z\P¯ t|.yZgjk ¯ f:kn\°\|.\ pnfske\Fz,l,keX.\ ` >=ZB? dknfske\[]\ |k1XZfdK\\ |¤dtv[]y.tµZ\Fz fL²1fLl ´¢ 2qskntvu\
(68) keXf:k/Q ¯ Tf:ke\Fd5fdedeqjuPtf:ke\FzQ²
(69) t¡knX,|.qjzj\ d5XZfL t|.{\i.uPvgZdtv h\°uxX.tzjpn\|,ufh|,\°pe\ y.fhuP\Fz l OQ ¯ Tf:ke\Fd¢ W1X.\=d\ \Fu´ketvqh|²
(70) tvpe\Fd
(71) hgfspxzknX.\\Pij\FuPgjkntq|¤qs¥ keX.\pn\ deg.[]yjkntq|uqjzj\
(72) y.pn\\ [Qy.ketvqh|ke\FdmkxdJfs|z dknfske\JuxXfs|.\ dVknpetvh\pn\ zQlQuqh|Tkepnqhpe\FdgZ[Qtv|.tknd5Zq:²§¥pnqh[ keX.\°pe\ htdmkn\pxdV²
(73) X.\ pe\2tkyfsgZde\ z>¢VW1X.\ µhg.pn\K\vq:²}dXZq:²2dJX.q:²HknX.\]d\ \Fu´ketvqh|dmkxf:kegd°qh¥³keXZ\ ` >=ZB? dknf:kn\[]\|Tk zjpetv h\Fd2knX.\Qy.pe\ \[]yjkntq| kn\ dk2qh|dtvh|fs 9. ff Ê gUhiij.
(74) H > Q. ¨ XZ\|² \2pn\ deg.[]\
(75) keX.\ ` >=ZO? dknfske\[]\ |kF±² \
(76) µZpxdkuxX.\ uxwQt¥KknX.\°dknfske\ [Q\ |Tktd5de\v\ u´kn\ z>¢ 5 ¥>tktd±T²\ knpetvh\p5keX.\`y.pn\\[]yjkntq|,ke\FdmkF¢ 5 ¥ tdy.pe\Fd\ |Tk ±²\°y.pn\\[]yjk keXZ\JyZfhpnfhv\8dmkxf:kn\[]\|Tk ¢,2JknX.\pn²
(77) tvde\h± ² \ pe\FdgZ[Q\ tk ¢ . 7. % 3 #! %+* % #
(78) / / %+!. uqh[][]qh|.vl,¥qg.|ZzdmknpegZuPkeg.pn\ t|dtzj\ dke\ pe\ y.pnqhhpxfs[,dtvd;9 ! ". ²
(79) XZ\pn\
(80) keX.\ # d fspn\2|.q|j¯ ke\pn[]t|f:ketv|.dknfske\ [Q\ |Tknd dknfske\ [Q\ |Tk X fhd keXZ\ ¥qhpn[ 9. . $&%'$.t|jµ|.t¡kn\JvqqhyZd. ´¢VW1X.\`d\ \Fu´ketvqh|kepn\\Jqh¥>keX.\ . ¨ ZX \|§²\¤dknfspek ±5keX.\ # d,dmkxfspekQtv|Zdknfs|Tkxfs|.\ qhgZdel¢£W1X.\¤dknfske\[]\ |k dkeqhyd]qh|.vl«²
(81) X.\| tk,tvd qZfsvvly.pn\\ [Qy.ke\ z±.¥qhp°\Pi.fs[]y.v\{lfh|¤\|ZuqTdtv|. ` >=ZB? dmkxf:ke\ []\|Tk ¢
(82) W1X.\ # dJfh dmknqhyfsk2keX.\ dnfs[]\`ketv[]\h¢³W1X.\ pe\¥qhpn\h±TkeXZ\d\ \Fu´ketvqh|dknf:kngZde\ d1qs¥ fs|Zzqh¥keXZ\ # d
(83) fhpe\{fsv²1fLld\ TgZfh 9. ¨ª\ gZde\fknpnfzjt¡kntq|Zfs>\q[Q\kepnl,|.qskxf:kntq|keq,[,fhpew]knX.\{\ TgZfhtkml,pe\ vfsketvqh|Zd tv|keX.\{de\v\ u´kntq|knpe\ \@9 \F TgZfs>²
(84) tvpe\Fd
(85) fspn\`z.\ uPqpnfske\Fz²
(86) tkeXkeXZ\defh[Q\{detG| 9. 798 f(7 Ð.
(87)
(88) !#"%$& . ¨ \{²
(89) tvdnfLl]keXf:kJf]d\ \Fu´kntq||.qjzj\fh²1fLljd5\F TgZfs8knq,t¡kxd1yZfspxfsv\ >yZfspn\|Tk
(90) td%
(91) ¢ ª ¨ª\=gdgZfhvlµZ|Zz \ TgZfsvtkmlpn\f:kntq|ZdJfsk`fh \ h\ vd°t| keX.\Qd\ \Fu´kntq|¤kepn\\¢%7 hqqjz¤\Pi.fh[QyZ\=tvd knX.\zjtvhtknfh>²
(92) petdmkm²1f:kxuxXy.pnqhpnfh[][Q\Fztv| dmkn\pn\ (Å* ¢. W1XZ\,y.peqhpxfs[ tknde\¥2uPqh|dtdmkxd qs¥2|.qh|.¯ kn\pn[Qtv|Zfsketv|.[QqjzjgZ\Fd{pegZ|.|.tv|.¤t|/yZfhpnfhv\ ±fd{y.tu´kegZpe\Fz fhq: \h¢ Zqhp`t|Zdknfh|ZuP\±ZknX.\ UcOc []qz.g.\kepxfs|Zdef:ke\Fd2.g.kkeq|y.pn\ dnd\Fd2tv|Tkeqtv|Tke\pn|Zfh uqh[][,fs|Zz.d fz.zjpn\ dnd\Fz,knq=knX.\{qsknX.\p
(93) []qjzjg.v\ d ¢2\ pe\±keX.\{pnqqsk
(94) |.qjzj\Fd
(95) qs¥%keX.\Qdeg.j¯ kepn\\ d
(96) fhpe\`pn\ zjg.|z.fs|Tk ¢ J\ dke\ z²
(97) tkeX.tv| cOc ±T² \`µZ|ZzkeXZ\ ¥qhvq:²
(98) tv|.]dmkxf:ke\ []\|Tk;9 KOK. R UR Z
(99)
(100) \T= RW CE?
(101) Oc
(102)
(103)
(104) Qc BXc $
(105) $
(106) R <UT R UR Z
(107) YT= RW CE?^X Oc $
(108)
(109) $
(110) R <UT. h\pnl¤y.gZdeXªqh|keX.\,vq:²\ p¯ v\P¥¦k
(111) ²
(112) pntdmkm²1f:kxuxX.gjkekeqh|«zj\ke\ pe[]tv|.\ d`knX.\]\[]tvdndetq|qh¥ fs|ªtv|kn\pn|Zfs uqh[][,fs|Zzªdet|Zfs ¢oVgZdeX.tv|.keX.\,vq:² \pe¯ pntXTk .gjkekeq|knpetvh\pxd fs|.qhkeX.\ puPqh[][,fs|z>¢W1X.\]km² q yfspxfsv\ KZpnfh|ZuxX.\ d |.\ h\ p1ke\pn[]t|f:ke\±.dqQknX.\d\ \Fu´kntq|knpe\ \`qh¥%knX.\dknf:kn\[]\|Tk
(113) td9. fhuxX. R UR Z
(114) . dmkxf:kn\[]\|Tk
(115) h\ |.\pxf:kn\ d \Pi.fhuPkevlqh|Z\`Xfspxzj² fhpe\`pn\htdke\pF¢;W1X.\|±.keX.\de\v\ uPketvqh|kepn\\ tvd;9. jt|Zu\]keX.\ LfhgZ\ d{\|.\ pnfske\ zlknX.\,keXZpe\ \,f:kn\ d{fhpe\fh²1fLljd°\F TgZfs ±² \ufh|ªpn\yZvfuP\]keXZ\,\|Tketvpe\ dkepngZuPkeg.pn\ TlfQdetv|.hv\ vfsknuxXG9. ff Ê gUhiij.
(116) 4. H > Q. W1XZ\ \|.\ pnfhkepxfs|Zd¥qhpn[,f:kntq|²
(117) tv.K\2zj\ dnuPpntv\Fztv|\ uPketvqh|,.¢;2qhketuP\1t¡k³tdV|.qhk³f{dtv[]y.\1pn\Pknt[]tv|.Z± detv|ZuP\`keXZ\d\ \Fu´ketvqh|²
(118) tvpe\Fd ¥Dfs|.qgjk1keq]ke\Fdmkxd2fhd \iyZvfht|.\Fzt|¤\ uPketvqh|j¢v^h¢ W%qzj\Pkn\pn[]t|.\`knXZf:kJfQyZfhpnfhv\8.pxfs|ZuxXtd1pe\Fzjg.|Zz.fh|Tk2²\ gZde\`keX.\ ¥qvq:²
(119) t|Z]upetke\ petvqh| 9 ¹!" H Q
(120) D D
(121) !Q#&Q O L , QL J >B&/ O
(122) ! &Q O " O H Q $ W1XZ\ dmkn\pn\uqh[]y.tv\ p2uPqh[]y.g.ke\ d knX.\{|.\FuP\ dndnfspnl,t|j¥qpe[,fsketvqh|zjg.pnt|.QknX.\dmkxf:kntvu fs|fsvldetdyZXZfhde\h¢ Jqskfsv³yZfhpnfhv\;.pxfs|uxX.\ d fspn\]pe\Fzjg.|ZzZfs|Tk ¢ - lgZdetv|.¤qhg.pupetke\ petvqh|²\]µ|ZzªyZfspxfsv\ ;|.qjzj\ d knXZf:kVXZfL \1qhkeXQpe\Fzjg.|Zz.fh|TkVfh|ZzQ|.qh|.¯ pn\ zjgZ|Zz.fs|TkVuxX.tvvzjpn\|¢%W1X.tdV²
(123) tv.fhvq:² gZd knq`¥g.pknX.\pdtv[]y.t¥l knX.\dknf:kn\ pe\ y.pe\Fd\ |Tknf:kntq|tv|keX.\{|.\ik
(124) de\ uPketvqh|¢ 5 |ªkeXZ\]¥qhvq:²
(125) tv|.knfsZ\±²\,uqh[]yZfspn\=keX.\]knqsknfhV|g.[K\p{qh¥ yZfhpnfhv\Vdknfske\[]\ |k{.pxfs|uxX.\ d°keq knX.\`|TgZ[K\p1qs¥ pe\Fzjg.|Zz.fh|Tk .pxfs|uxX.\ d5¥qhp1d\ h\ pnfh\ijfh[]y.\Fd¢ i.u\yjk ¥qhp keXZ\°knq:l,²
(126) petdkm² fsknuxX±keX.\ \i.fs[]y.v\ d
(127) uPq[]\°¥pnqh[ t|Zz.gZdmknpetfsfhy.y.vtvu f:kntq|Zd DfL tvqh|.tud1fs|zutpxuPg.tkJzj\Fdtvh| P¢ Ä
(128) FÌ LÃÅÄ :ÌxÍ ÌxÃÅÃÅÄmà ÍDÄmÆLÊLÆLÌxÊ LÍ ÌxÊLÁFÄÇ LÍ ÌxÊLÁLÄmÇ ÁeÌFÉÅÊLÄ ÁeÌxÍ LÍ ÌxÊ i i
(129) h "jj j
(130) h ! ÃÅÂ
(131) :ÉÅÌxÆ Ã i
(132) É# ii ii Ç Ä
(133) $%FÄÊFÁÄ
(134) LÍ
(135) h ÁmÉÅÊ i i Í ÌsÄmÇ " " i
(136) h ii & ÍDÉÅÇ & Ì' Á W1XZ\°kxfs.v\deX.q:²2dkeXZfsk2pe\Fzjg.|Zz.fh|ZuPltvd1 \pnl,¥pe\F Tg.\|Tk ¢. ( ) P4 x 4%9:!4 <{ P! ¨ \{|.q:² dtv[]y.t¥lkeX.\de\v\ uPketvqh|kepn\\ lpn\ zjguPtv|.QkeX.\{pn\ zjgZ|Zz.fs|uPltv|keX.\dknfske\{pn\y.pn\ de\|Tkxf:ketvqh|¢ ª 5 |«zjqt|ZkeX.td±;² \fspn\,dg..rm\ u´kkeqfdkepnqh|.¤uqh|Zdkepxfstv|Tk;9{[]qdkkeXZ\d\ \Fu´kntq|/dknfskegZde\ d{fhpe\,gd\Fz deqh[]\ ²
(137) X.\pn\°tv|keX.\uqh[]y.v\Pkn\ utpxuPgZt¡kJfh|Zzu fs|.|Zqsk
(138) \detv[QyZlzjtvdnufhpnz.\ z>¢ ¨ª\{gZde\kmlyK\ d1qh¥%knpnfh|Zdm¥qpe[,fsketvqh|Zd;9 ^h¢1pe\Fzjg.|ZzZfs|Tk1¥Dfs|.tv|¤dtv[]y.tµu f:ketvqh| j¢1pe\ []q: Lfh>qs¥ f:kn\ d knXZf:k2fspn\ \ TgZfh8keq,fs|.qhkeX.\ p
(139) fske\ .¢1pe\ []q: Lfh>qs¥;f=Tf:kn\`tv|¤f]d\k2qs¥%[=gjkegfsvl\Pi.uPvgZdet \°Tf:ke\Fd±jt¥;²\ w|.q:²¬knX.\tvp
(140) vqhhtufh 2`a{¢ 7JkeX.\ knpnfh|Zdm¥qpe[,fsketvqh|Zd ufh|q|.lzj\ upe\Ffhde\JknX.\{|g.[K\p
(141) qh¥%Tf:ke\Fd
(142) fs|Zz VLqhp1f:kxuxX.\ d ¢ 7JvdeqZ±>knX.\lzjq|.qsk{tv[QyKqde\]dtzj\P¯ \ 8\ uPknd{uxXZfh|.h\FdJqh¥5knX.\,uPtvpnug.t¡k{qgjkndetvz.\=knX.\,d\ \Fu´kntq| knpe\ \¯ knX.\ldtv[]y.vlpe\ y.fhuP\`knX.\d\ \Fu´kntq|knpe\ \`lf]det[]y.v\p°uPtvpnug.t¡k
(143) y.pnq: tvz.t|.=keXZ\defh[Q\ tv|Tke\pe¥Dfhu\h¢. 798 f(7 Ð.
(144)
(145) !#"%$& . . 3 . 0. ! 4 , * 36#
(146) / . q|Zdetvzj\ pknX.\¥qvq:²
(147) tv|.yZfhpnfhv\ d\ \Fu´ketvqh| |.qjzj\XZfL tv|.KqsknX pn\ zjg.|z.fs|TkQfh|Zz«|.q|j¯ pe\Fzjg.|Zz.fh|Tk uxXZtzjpn\|G9. W1XZ\¥g.|ZuPketvqh|uqh[]y.gjkn\ z l§keXZ\ yZfhpnfhv\°|.qjzj\ tdknX.\dnfs[]\ªfhd,knX.\ q|.\uqh[]y.gjkn\ z l \ fuxX pn\ z.g.|Zz.fh|k2uxX.tvz>¢³W1X.\pn\P¥qpe\±²\{ufh|detv[QyZt¥lknX.\ ¥Dfs|.tv|qs¥ keX.\{yfspxfsv\ 8de\v\ uPketvqh| ¯ fske\@9. . . 35* /.%+!. ¨ª\fspn\`|.q:²v\P¥¦k2²
(148) tkeXknX.\`¥qhvq:²
(149) tv|.]yZf:keke\ pe|G9. j t|Zu\JfsvjknX.\ # d³d\ \Fu´kntq|,²
(150) tpn\ d³fhpe\1\F gfsjknq{keXZfsk5qs¥ ±htk5tvd5\|.qg.hXQknqwh\ \y]qh|.vlq|.\2qh¥knX.\[¢ ¨ª\{tvvgZdmknpnfske\°keX.\`knpnfh|Zdm¥qpe[,fsketvqh|²
(151) tkeXkm² qQde[,fsv>\Pi.fs[]y.v\ d ¢;¨\{fsvpn\ fhz.l]dnfL² knX.\ µZpxdmk1qh|.\ tv|¤d\Fu´kntq|.¢ .¢ J\pn\h±j² \ \pxfhde\°q|.\{pe\ htdmkn\p
(152) fs|zknX.\{peqqhk
(153) de\v\ uPketvqh||.qjzj\@9. 5 |knX.\{d\FuPqh|z\ijfh[]y.\±.². ff Ê gUhiij. \`\ pnfd\°km² q. Q ¯ |Zqz.\ d;9.
(154) ^F. H > Q. W1XZ\uxX.qhtuP\{qh¥%knX.\|Zqz.\ keqw\\ytd2|.qhkJqh tvqhgZd ¢ Zqhp
(155) knX.\K\|ZuxXZ[]fhpewjd1y.pn\ de\|Tkn\ zt|ª\ uPketvqh|Z± ² \ wh\y.k]gZ|ZuxXZfs|Zh\ z7keX.\deg.j¯ kepn\\qs¥`[]t|.tv[,fs2zj\ yjkeX¢d2JknX.\puxXZqhtuP\ d=[,fLl7K\\ijy.qpe\Fz>±/ $&%$ uxXZqTqTdtv|.=keX.\deg.j¯ kepn\\ qh¥%[]t|Zt[,fs%dg.yZyqpkF¢ . . * ! % 1236#% !. 7 de\ uqh|Zz f:kn\P¯ pe\ []q: Ttv|.,knpnfh|Zd¥qhpn[]fsketvqh|\ pnfd\Fd`qh|.\Qt|/fd\k{qs¥[=gjkegfsvl\i.uPvgZdtv h\Qd\ \Fu´kntq| |Zqz.\ d qs¥K²
(156) X.tvuxXQ² \w|.q:²«knX.\
(157) zjtdrmg.|u´ketvqh|¢ ¨ª\
(158) fsy.yZl knX.tvd knpnfh|Zd¥qhpn[]fsketvqh|q|=\i.uPvgZdtv h\ d\ \Fu´kntq| |Zqz.\ d1\ TgZfh8keq]knX.\tvp
(159) yZfspxfsvv\8yZfspn\|TkF¢ J\pn\{tvd
(160) fh|\i.fs[]y.v\@9. J\pn\h±²\{XZfL \ ±²
(161) X.tvv\ fs|Zz
(162) fhpe\{tv|¤\Pi.uPvgZdetq|¤fs|Zz
(163) uqh[]y.gjkn\
(164) ,¢³W1X.\{det[]y.vtµZ\ zuPtvpxuPg.tk2tvd;9 . . ¢
(165) W1XgZd ±Z² \ufh|. W1XZ\ kepxfs|Zd¥qhpn[,f:ketvqh|qs¥³\ uPketvqh|¤.¢ÅQufs|fhuPkegZfhvlK\d\ \|¤fhd
(166) fQyZfhpkntvug.fsp
(167) ufd\ qs¥ keXZ\{\Pi.uPvgZdet \ Tf:kn\³kepxfs|dm¥qpe[,f:kntq|±Ll uqh|Zdetzj\pnt|Z2keXf:kVf°det|Zhv\5|.qjzj\ tvd;f`dtv|.\keqh|=d\k qh¥Z[gjkngZfsvvl{\Pi.uPvgZdet \ |Zqz.\ d ¢;W1XZtvd2detv[QyZtµZ\ d knX.\{tv[QyZ\ [Q\ |Tknf:kntq|¢
(168) ´%. tvpndk ±;² \uqh[]yZfspn\ zªknX.\pn\ deg.ketv|. utpxuPg.tknd=²
(169) tkeX«knX.qde\qh¥2y.peqjzjguP\ z/gdtv|. qhkeX.\ ppn\P¯ \|Zuqjzjt|Z kn\ uxX.|Ztv Tg.\Fd¢ . 798 f(7 Ð.
(170)
(171) !#"%$& . ^^. 5 | Z RWDN `?A (v^h^ * ±;zj\Pkn\pn[]t|.tv|.¤pn\ zjgZ|Zz.fs|Tk{pn\htdke\pxd`tvdZfhde\ zªqh|ªknX.\uPq[QyZgjknfsketvqh|/qs¥ keX.\ pn\ fuxXZfsZ\ dmkxf:kn\dyfhuP\ aJ. 2qs¥ keX.\utpxuPgZt¡kF¢)2JkeXZ\p2f:kxuxXqyjketv[]tvdnf:kntq|ke\ uxXZ|.tv Tg.\Fd2fspn\ gZde\ ztv| fz.zjtketvqh|¢ 5 | Z R FO?BZ ROR (^LE * ±skeXZ\2\Pi.uPvgZdetq|Zd;htv h\ |=lkeX.\Jde\v\ uPketvqh|=kepn\\2fhpe\1gZde\ zQknq{pe\¯ \ |ZuPqjzj\ keXZ\2dmkxf:ke\ qh¥>keX.\ dke\pn\KuPtvpnug.tk 8¢ -1fhdetvu fsvl±ht¥>km²qf:kxuxXde\Pkndfspn\2tv|\Pi.uPvgZdetq|,t|keX.\°qhpntt|ZfhZuPtvpxuPg.tk ±TkeXZ\l fhpe\`[gZ¡knty.v\Pij\Fzq|q|.lqh|.\ qs¥%keX.\ km² qQqhpntt|Zfh>d\knd1lgZdet|ZQq|.\`\PikepxfQvfsknuxX¥qp1keX.\uxXZqhtuP\h¢ W1XZ\`pn\P¯ \|uPqjzjtv|.]y.peqju\ dndtd
(172) fsyZy.tv\ ztv|¤f=Kqskekeq[=¯ g.y²1fLlh¢ 7°d1¥Dfsp2fd1qhg.p1kn\ uxX.|.t Tg.\ d
(173) fhpe\{uqh|Zu\pn|.\ z>±² \{fsy.y.vtv\ zkm²q,det[]y.vtµufsketvqh|y.peqju\ zjg.pn\ ;d 9 ¼ » · · pe\ [Qq: \ d5pe\Fzjg.|Zz.fh|Tk¥Dfh|.t|fs|ZzkeX.\ |fhy.y.vt\FdkeX.\`\ TgZfhK|Zqz.\ d pe\ []q: LfhZknpnfh|Zd¥qhpe¯ [,f:ketvqh|tv|f]Kqskekeq[=¯ g.y² fLl¢ ¼ » · · pe\ [Qq: \ d1pn\ zjgZ|Zz.fs|Tk2¥Dfh|.tv|fs|ZzknX.\| fhy.y.vt\Fd
(174) knX.\{kepxfs|dm¥qpe[,f:kntq|qs¥³d\Fu´kntq|.¢ t|¤fQKqskknqh[Q¯ g.y² fLl¢ W1XZ\|g.[=\ pVqs¥Zf:kxuxX.\ d tv|knX.\1t|.tketfs.fh|Zzdetv[QyZtµZ\ zQuPtvpxuPg.tknd td;y.pe\Fd\ |Tke\ zt|=keXZ\5¥qvq:²
(175) t|ZJkxfs.v\@9 Ä FÌ LÃÅÄ ÉÅÊLÉ FÍ Â Á # LÍDÂ Á ÍDÄ"
(176) Ã Ì' Á ÍDÄ ! ÍDÄÄ ÁÌLÉÅÊLÄ j
(177) ji hj. ÁÌxÍ LÍ ÌxÊ h i ". h" i j i. ! ÃÅÂ
(178) :ÉÅÌxÆ Ã j j
(179) É# h i
(180) h " i Ç Ä"$LÄmÊLÁmÄmÍ "
(181) h ij jj. " ÁmÉÅÊ h i Í ÌhÄmÇ " " i hi. i
(182) h " & ÍDÉÅÇ & ¨ª\Jfhvdeq [Q\Ffhdeg.pn\ zkeX.\2 :fhpetf:kntq|=tv|]keX.\J|TgZ[K\p³qh¥Kvt¡kn\pxfsd ¦¥Dfu´knqhpn\ z tv|]keX.\2detv[QyZtµZ\ z,utpxuPgZt¡kxd± fs¥¦ke\ p2fQde² \\ylO 53 (v^ *&9 Ä
(183) FÌ LÃÅÄ ÉÅÊLÉ
(184) LÍ Â Á # FÍ Â Á ÍDÄ
(185)
(186) Ã Ì' Á ÍDÄ ! ÍDÄmÄ ÁeÌFÉÅÊLÄ i "
(187) i "
(188) h .
(189) h h ÁeÌxÍ LÍ ÌxÊ jj i .
(190) h
(191) ÉÅÆ i
(192) É#
(193) hi j j j
(194) h Ç Ä
(195) $%FÄÊFÁÄmÍ hh i i
(196) h. i j ÁmÉÅÊ " j " jj h
(197) h Í ÌsÄmÇ h i i
(198) h i h
(199) h. i j & ÍDÉÅÇ &
(200) h W1X.\¤aJZ£uqh[]y.gjkxf:kntq| vt[]tknd]knX.\¤deuqhyK\qh¥ Z RWN `?A knq/utpxuPgZt¡kxd=qh¥`de[,fsv2fs|Zz [Q\Fzjtvg.[ detv¾\h¢ 2°| [@R $>R < R Z ±tk,pnfh|7qhg.k]qh¥J[]\[]qhpnl«f:¥¦kn\p^F[Qtv|gjke\FdQqs¥Jy.pnqjuP\Fdedet|Z qh|§f[,fhuxXZt|.\ ²
(201) tkeX§^ `lTke\Qqs¥[Q\ []qhpnlh¢ 2°| WBW CT ±tk{pnfh|¥qp`[]qpe\keXZfh|/X.qhgZpnd°\¥qhpn\=t tv|.keX.\Qpe\FdgZ¡kxd¢ 5 kxd1pe\FdgZ¡kxdtv|ke\pn[,d qs¥%f:kxuxXpn\[]q: :fs8fspn\`h\|Z\pxfsvl]K\Pkkn\p1knXZfs|keX.\ pn\ deg.knd qs¥ qhg.p1y.pnqjuP\ z.g.pe\Fd¢ Jq:²\ h\ p ±keX.\Qvqhhtutd dtvh|Zt¡µu fs|Tkevlvfhpe\pF¢ ¨\]fsdqpe\Fufh%keXZfsk`KqsknX knX.\Qy.peqju\ zjg.pn\ d=^=fh|Zz fhpe\ TgZfhdet¯ tv|Zdknfs|Tkxfs|.\ qhgZd \ \|qh|keX.\{fspnh\Fdmk1\Pi.fh[QyZ\Fd
(202) fL LfhtfsZ\¢. ff Ê gUhiij.
(203) ^L. H > Q. 7J|t[]y.v\[]\ |kxf:kntq|{tv[]t¡kxf:ketvqh|{yZpe\ h\|Tkxd Z R FO?OZ ROR ¥peq[©K\tv|.Jfhy.y.vt\Fz qh|uPtvpxuPg.tknd%uPqh|Tkxfstv|.t|Z u qh[=.t|f:ketvqh|fs;uPljuPv\ d ¢=W1X.td td`keX.\,ufd\=¥qhp F N = U` N fs|Zz ?OZU`QPOP R>[ ¢oVpe\ tv[]t|fspnl¤pe\Fdg.knd deX.q:² knXZf:k;knX.\1pe\Fdg.knd;qh¥ Z R FO?BZ ROR ufs|=\
(204) tv[]y.pnq: h\ zTlgZdtv|.`keXZ\ pn\ z.g.|Zz.fh|ZuPl{y.pnqhyK\pekml{² \tzj\|Tknt¡µZ\Fz>¢ W1X.\kepxfhzj\ q K\Pkm² \\|vqhtvu{fh|ZzvfsknuxXpe\ []q: Lfh>t|qg.p2y.pnqjuP\ z.g.pe\Fd tvdJ Ttdet.v\{t¥ ² \uPq[Qyfspn\ knX.\,pn\ deg.¡kxd{qs¥ keXZ\y.pnqu\ zjgZpe\Fd]^fs|Zz«j¢W1X.\,\Pikepxffske\Fd h\|Z\pxf:ke\Fz lªoVpeqju\ zjg.pn\fspn\]keX.\ Q ´¯ Tf:ke\FdJyZpeqjzjgZu\ z¤lkeXZ\QutpxuPg.tkJknpnfh|Zd¥qhpn[]fsketvqh|¤qh¥d\Fu´kntq| .¢ .¢ .qpJknX.\=\i.fs[]y.v\ d @` DCE< R fh|Zz ?OZU`QPOP R>[ qhkeX¤knX.\det¾ \qs¥;knX.\vqhtvu{fh|ZzkeX.\=|g.[K\p°qs¥VvfsknuxX.\Fd2zj\FuPpn\ fhde\h¢ 5 |¤knX.\ de\ufd\Fd± knX.\de²\ \yqs¥%vqhtvu°knXZf:k2gZde\ zkeq]¥\ \ z\pxfhde\ zvfsknuxX.\Fd1tvd1[]qpe\ \ 8\ uPketv h\¢ ¨ª\`fhvdeq² \pn\2tv|kn\pn\ dke\Fz]t|\ :fsvgZf:knt|.keX.\°t[]yZfu´k qs¥qhgZp³kepxfs|dm¥qpe[,f:kntq|Zd ±de\\|fhd5f=uxX.\ fhy yZpe\¯ y.pnqjuP\Fdedet|Zy.XZfd\±³qh|§dq[Q\X.\FfL Tl/qyjketv[]t¾Ff:ketvqh|§fs|Zz£ h\ petµu f:ketvqh|£fsvhqhpntkeX.[,d ¢ %tvpxdmkF±³²\ fhy.y.vt\FzQkeX.\ N C=@PO? utpxuPgZt¡kfhpe\Ff`qhyjknt[]tv¾ f:kntq|deupetvyjk³qh¥ 5]qh|,de\ h\ pnfhj\Pi.fs[]y.v\ dfs|ZzQq|]keX.\ tp detv[QyZtµZ\ z¤uqhg.|Tkn\pnyZfspeknd ¢ W1XZ\pn\ deg.¡kxd2deX.q:²\Fz|.qh\ |.\pxfs%dtvh|.tµu fs|TkJzjt K\ pe\ |ZuP\tv| det¾ \h±Kzj\yjknX± |g.[=\ p
(205) qs¥;pe\ htdmkn\pxd±Tqhp
(206) qyjketv[]t¾Ff:kntq|knt[]\h¢ Jq:²\ h\pF± ufs|ªqh|ZlK\,fsy.yZtv\ zªqh|/de[]fhV\i.fs[]y.v\ d ±dtv|Zu\Qtkpn\vt\Fd qh|/aJ.ªuPq[=¯ yZgjknfsketvqh|¢q±K ² N \=C=z.@tvPz ? keX.\]dnfs[]\=uqh[]yZfspntdq|Zd
(207) gZdet|ZknX.\ @= W >=QP? (v^ *Vuqh[=.t|f:ketvqh|fsvqhtvuqhyj¯ knt[]tv¾ fsketvqh|dnuPpntvyjk ¢QW1X.\=pn\ deg.knd fspn\Qhqqjz>±>fhd d\ \|t|keX.\Q¥qvq:²
(208) t|Zknfh.v\h¢=W1XZ\Qyfstvpnd°htv h\=keX.\ |g.[=\ p
(209) qs¥;pe\ htdmkn\pxdfh|ZzkeX.\{|g.[=\ p
(210) qs¥ tke\ pnfhvd ¥Dfhu´knqhpn\ z P¢ Ä FÌ LÃÅÄ Â´ÍDÉ ! ÉÅÊ:Ìxà LÃÅÉ vÂ% LÍ Â Á Ám hÂ% ÁmÉÅÍ Á
(211) LÉ ÌxÍDÄeÌ Ám s ÁÌLÉÅÊFÄ j i ÁÌxÍ LÍ ÌxÊ h jj %
(212) h h
(213) ÉÅÆ j % i j%" jj
(214) É# h% " i
(215) h h h h Ç Ä
(216) $%LÄmÊLÁmÄ
(217) LÍ "
(218) h hh jj% h "
(219) h
(220) h ÁmÉÅÊ %" j hi j h h j & ÍDÉÅÇ & Ì' Á i %" " h" i j tv[]tfsp`pn\ deg.¡kxd°fhpe\qhjkxfstv|.\ z t¡¥³² \gZde\ U` [ C @=QP? fd2qyjketv[]t¾ \pF¢ >` [ C@=@P? td`fd\F Tg.\|Tketfs vqhtvu°qhy.ketv[Qtv¾\ p
(221) keXf:k
(222) tvd2|.qsk2fhd
(223) fhhpe\Fdtv h\`fhd N C=@P? fs|ZzkeXZfsk
(224) knfhwh\ d1v\ dnd ketv[]\ keq]\Pij\FuPgjkn\h¢ J\Pik ±K²\{² \pn\{tv|kn\pn\ dke\Fztv|¤pn\ fhuxXfs.v\{dmkxf:ke\deyZfuP\ Da°. 2uqh[]y.gjkxf:kntq|±.gZdet|Z,keX.\=W1t `\Fa -)+/+ tv.pxfspnlh¢W1XZ\1a°.detv¾\ tvd |.qhkVuxXfs|.\ z>±L.gjkVtknd;\ |ZuPqjzjtv|.Z±:l\ d ±sfhd -)+.+`d ke\ |Zzkeq`\
(225) de[]fhv\p ¯³XfL Ttv|.]v\ dnd1 LfhpetfsZ\Fd¢ 7JvdeqZ±
(226) knX.\detv[QyZtµufsketvqh|Zd²\y.pnqhyKqde\ufs|¬kepxfs|Zd¥qhpn[ u\peknfstv|¬de\ Tg.\|TkntvfhJy.pnqhyK\peketv\ dt|Tkeq uqh[=.t|f:ketvqh|fs8qh|.\Fd±.fd1y.pnq: h\ zl\PijyK\pnt[]\|Tkxd
(227) uPqh|zjgZu´kn\ zf:k dke\ pe\ W%\ uxX.|.qqhtv\ d ¢. ) ! P! - l,gZdetv|.knX.\ X.tv\pxfspxuxX.tvu fsK|Zf:kng.pn\°qh¥keXZ\ dmkn\pn\>y.pnqhpnfh[ dknfske\ \|Zuqjzjt|Z=² \°XZtX.ldtv[]y.tµZ\Fz knX.\dknf:kn\ pe\ y.pe\Fd\ |Tknf:kntq|tv|keX.\fhgjkeq[]fsketufhvl,h\ |.\pxf:kn\ zutpxuPgZt¡kF¢ W1X.\`uPqTdmk5qh¥8keX.\`dtv[]y.tµu f:ketvqh|,td³|Z\hvtvhtv.\¢;¨\2q|.vl=[]qjzjtµZ\ z]knX.\°deg.j¯ uPtvpxuPg.tk5²
(228) X.tuxX,X.qhz.d knX.\]dmkxf:ke\=pe\ y.pn\ de\|Tknfsketvqh|¢`W1X.\knpnfh|Zd¥qhpn[]fsketvqh|ZdJ²\Qfsy.yZtv\ zfhpe\Qdtv[]y.v\=\ |.qhg.X¤¥qhp°keXZ\Quqhpnpe\¯ deyKqh|Zzj\ |ZuP\
(229) K\Pkm² \\ |QkeX.\2tv|.tketfsZfh|Zz=keX.\°dtv[]y.tµZ\Fz,dmkxf:ke\
(230) pn\yZpe\Fd\ |kxf:kntq|Zd%keq{K\JdmknpnfhtXTk¥qhpn²1fspxz>¢ 7JvdeqZ±knX.\lfspn\`uqh[]yKqdet¡kntq|Zfs ¢. 798 f(7 Ð.
(231)
(232) !#"%$& . ^F. 2°g.p;det[]y.vt¡µKuf:kntq|y.pnqjuP\Fzjg.pn\ufh|K\1fhy.y.vt\Fz keq`qsknX.\p;delT|uxX.peq|.qhgd>¥qhpn[,fsvtvde[,d±:fh|Zztv|yZfhp¯ kntvug.fsp1keq]knX.\{hpxfsyZX.tvu fsK¥qhpn[,fsvtvde[ l|ZuLXZfspeknd%(v^* ¢5W1X.\ @`Z ZU`@<? \i.fs[]y.v\`tv|qhg.p2knfsZ\Fd1tvd fu´kngZfsvl]fs| dmkn\pn\Ky.peqhpxfs[ fsgjknqh[,f:kntvu fsvl=h\|Z\pxf:ke\FzQ¥peq[ f 1
(233) Vsl|ZuLXZfspeknd5dyK\ ut¡µu f:kntq| ( *¢ ¨ª\Qfhvdeq,tv|kn\|Zzkeqgd\keX.\=t|j¥qpe[,fsketvqh|¤y.pn\ de\|Tke\Fz¤tv| d\Fu´kntq| j¢ÅQkeqh\|Z\pxf:ke\f¥Dfhdke\ p°fs|z de[,fsv\ p
(234) d\F gZ\|Tketfs 1uqjzj\`¥peq[keXZ\ dmkn\pn\y.pnqhpnfh[,d±Tt|knX.\dyZtpnt¡k
(235) qh¥ ( 4* ¢ 2JknX.\p dke\ pe\ uPqh[]y.tvvt|.=ke\FuxX.|.t Tg.\ / d ( T±U4*>[,fLl]knfhwh\ fhzj :fs|Tkxfsh\°qs¥knX.\{d\ \Fu´kntq|kepn\\`y.pnqhyj¯ \ pknt\Fd1²\ tzj\|Tknt¡µZ\Fzt|¤de\ u´kntq|.¢ .¢ ,! P
(236) & 2 < 2% 5=²
(237) tvdeX7knqªkeXZfh|.w `cpxfspxz -. \pnpnlª\ka
(238) qhK\pek]z.\¤jt[]qh|Z\¥qpQknfswtv|.keX.\ketv[]\qs¥°pn\ fzjtv|.zjpxf:¥¦k \pxdtvqh|d5qh¥%knX.tvd2yZfsyK\p2fh|Zz[,fhwTtv|.]vqsknd1qh¥;uqh|ZdkepngZuPketv h\`pe\ []fhpewjd ¢
(239) 9:
(240) 4 2
(241) (^ *Xfspn\Fd 72|zjpec¢Jl|ZuFXfspeknd;9 7 TtdegZfs%pe\ y.pe\Fd\ |Tknf:kntq|qs¥Vpe\FfhuPketv h\{K\XZfL tvqhpxd¢
(242) a2a_0TL¯mh.± 5mT8±E^ 0@0.¢ ( * `c pnfhpnz - \pnpel¢ oVpeqhpxfs[][]t|Z)f zjtvhtknfh¬² fsknuxX t| dke\ pe\ ¬ j.¢Åj¢ 7% LfhtfsZ\ f:k XTkekeGy 9V@V:²
(243) ²
(244) ²{¢ \Fdmkn\pn\ ¢ qpe V¢ ( Q * `c pnfhpna z - \pnpel¢ dke\ pe\ >qh|XZfspxzj²1fspn\h¢ H B ! Q QU@ !U "% Q@ D;! "
(245) @Q D ! ±E^ 0 9 4
(246) K^Fj±.E^ 0@0Tj¢ ( @ * `c pnfhpnz - \pnpel¢¬W1X.\ dke\ pe\ JdelT|uxX.peq|.qhgd=yZpeqhpxfs[][]t|.ªfs|.gZfs@\ 9 +J\Fdtvh|±1de\[,fh|kntvu d± tv[]y.v\[]\|Tknfsketvqh|¢ D!
(247) " Q H & %Q %s±E^ 0 9 4
(248) K^Lhj±;^ 00j¢ ( * `c pnfhpnz - \pnpel¢§W1X.\¤uqh|ZdkepngZu´knt \de\[,fh|kntvu d]qs¥`y.g.pn\ dmkn\pn\ ¢ +°pxf:¥¦k,qqw fL :fstvvfh.\f:k XTkekeGy 9V@V:²
(249) ²
(250) ²{¢ \Fdmkn\pn\ ¢ qpe V± sg.vlE^ 0@0@0Z¢ ( * `c pnfhpnY z - \pnpel.± 72[,fhp -qgZfsvt ± °fL tv\" p .qpe|fspnt ± [][]fh|g.\
(251) \ zjtv|.qskF± petu/JfhdndeqhpF±°fs|z a2qhK\pekJzj\tv[Qq|.\h¢ dmkn\pn\ 95f=¥qhpn[]fh>[]\PkeXZqz¤fhy.y.vt\FzknqfL tq|.tvu deqs¥¦km²1fspn\`z.\ h\ qy.[]\|Tk ¢. D!
(252) " Q H & %Q %s±Z 9Å
(253) .hj±jshZ¢ ( *=, ¢ - \peketv|± /¢5o qhtv¾c±fs| z Z¢5o qhg.vqhg¢ 1J|.\¤|.qhgZ h\vv\[]ckeX.qjzj\zj\¤uqh[]y.tvvfsketvqh|§yqg.p,\ fs|Zfs\ dmkn\pn\ 8¢ 5 | ) ;
(254)
(255)
(256) % {±
(257) tvv\ .pxfs|Zu\h ± ¤fhpnuxX;^ 0@00.¢ ( 4Q*ke\yZX.\| zj² fhpnzZd¢2qh[]y.tvtv|. dke\ pe\ tv|Tkeqde\ Tg.\ |kntvfhuPqjzj\ ¢ 5 | ) ;
(258)
(259)
(260) % !%$" $# %&%s± a2qh[]\hU± 5 kxfsvlh ± ¤fLl ;^ 0@00.¢ ( 0Q* fhpel JfuxXTke\8fs|z Zfh.tqQqh[]\|Z¾t ' ¢
(261) %Q! /Q )( *
(262) ! . %B ´,¢ + vgT² \p 7
(263) u fhzj\ []tvu{oVgZ.tdeX.\pxd±>E^ 0@0 ¢. ff Ê gUhiij.
(264) ^ . H > Q. v\|$\ |Tkeq: tvuxX± +{fs|²1fsp stk©tv|.hX±
(265) guPtfs|.q
(266) fL :fhh|.q±X.q qqh|±a2f:rm\ \ gZp¯ Tfst ±,72v\Pi.fh|Zzj\p,jfhvz.fh|.XZfZ±VXZfs[]tz§jfL qsrP±Vo;fsg.2Tkn\y.Xfs|± a
(267) qhK\pek#- pxfLlTkeqh|±;fh|Zz 7JK\pekeq .fshtvq: :fs|.|Zt¡¯ Jtv|ZuP\ |Tke\vvt ¢«td 9 7 deljdmkn\[ ¥qhp]de\ Tg.\|Tkntvfh utpxuPgjk,delT|TknX.\ detvd ¢ \[]qpnfh|Zzjg.[ 0 V:Z^O± 1 -`± a
(268) ±%;^ 00j¢ (v^h^* v\|£j\|Tkeq: tuxX± Jqhpntvf¤W%qh[,f.± fs|Zz `c pnfhpnz - \pnpel¢
(269) f:knuxX/qyjketv[]t¾Ff:ketvqh|/tv|7uPtvpnug.tknd\|j¯ \ pnfske\Fz¥peq[ X.tvhX.¯ v\ \zj\Fdeupetvyjkntq|Zd¢ 5 | E
(270)
(271) Q %Q " > !$ ;"
(272) Q H & .! @
(273) ! %Q !:±E^ 0@0 ¢ (v^F* v\|©j\|Tkeq: tuxX± Jqhpntvf/W%qh[,f.±
(274) fh|Zz `cpxfspxz - \pnpnlh¢ ®ut\ |kvfsknuxX qhyjknt[]tv¾ fsketvqh| gZdet|. \i.uPvgZdtv h\ de\Pknd ¢ 5 " | ;
(275)
(276)
(277) %Q "/ O U ! %@ . ! E"
(278) ! L± 7J|Zf:¯ XZ\tv[±8 7>± 1` 7± sg.|Z\QE^ 0@0
(279) ¢ (v^ Q* W1XZ\ dke\ pe\ W%\ fh[¢ W1X.\ZfdtuPqyjk yZfuxw:fsh\¬z.qug.[]\|Tknfsketvqh|¢ o;fuxwLfhh\fL :fhtfs.v\¬f:k XTkekeGy 9V@V:²
(280) ²
(281) ²{¢ \Fdmkn\pn\ ¢ qpe V± sg.|Z\QE^ 0@04.¢ (v^@ * Jqhpntvf Wq[]fZ¢ .Q
(282) QU > H Q !Q
(283) J > ! @ ! % H Q d Q%B %B 3
(284) B 3
(285) @ "a$
(286) ¡¢ oV>X + keXZ\ detvd ± uqhv\ zj\ d tv|.\ dzj\o;fhpetd± j\yjkn\[K\p;^ 0@0
(287) ¢ (v^ Q*. 798 f(7 Ð.
(288)
(289) !#"%$& . ^L. ) != 2 » ¼ %s » %s : » /j » .¢^ dmkn\pn\y.pnqhpnfh[ dmkxf:ke\ ¢ ¢{¢ ¢{¢{¢`¢{¢ ¢{¢ ¢{¢{¢ ¢{¢ ¢{¢`¢{¢ ¢{¢{¢ ¢{¢ ¢{¢ ¢{¢{¢`¢{¢ .¢ a2\ zjg.|z.fs|TkJde\v\ u´kntq||Zqz.\ d ¢{¢{¢`¢{¢ ¢{¢ ¢{¢{¢ ¢{¢ ¢{¢`¢{¢ ¢{¢{¢ ¢{¢ ¢{¢ ¢{¢{¢`¢{¢ ¦: ¦ : » /j » Z¢^ fs|.tv|¤dtv[]y.vt¡µu f:kntq| ¢{¢ ¢{¢ ¢{¢{¢`¢{¢ ¢{¢ ¢{¢{¢ ¢{¢ ¢{¢`¢{¢ ¢{¢{¢ ¢{¢ ¢{¢ ¢{¢{¢`¢{¢ 0 Z¢ gfs|.qjzj\Fd¢{¢ ¢{¢{¢ ¢{¢ ¢{¢ ¢{¢{¢`¢{¢ ¢{¢ ¢{¢{¢ ¢{¢ ¢{¢`¢{¢ ¢{¢{¢ ¢{¢ ¢{¢ ¢{¢{¢`¢{¢ 0 Z¢ ijugdtv h\ fske\Fd ¢{¢{¢ ¢{¢ ¢{¢ ¢{¢{¢`¢{¢ ¢{¢ ¢{¢{¢ ¢{¢ ¢{¢`¢{¢ ¢{¢{¢ ¢{¢ ¢{¢ ¢{¢{¢`¢{¢ ^F · ¦ =» » . .
(290) . .
(291) . . . . . ff Ê gUhiij. . .
(292) Unité de recherche INRIA Sophia Antipolis 2004, route des Lucioles - BP 93 - 06902 Sophia Antipolis 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 Rhône-Alpes : 655, avenue de l’Europe - 38330 Montbonnot-St-Martin (France) Unité de recherche INRIA Rocquencourt : Domaine de Voluceau - Rocquencourt - BP 105 - 78153 Le Chesnay Cedex (France). Éditeur INRIA - Domaine de Voluceau - Rocquencourt, BP 105 - 78153 Le Chesnay Cedex (France).
(293). . ISSN 0249-6399.
(294)
Documents relatifs
Gillard, “Combinaison de la DG-FDTD avec un mod` ele de substitution pour un calcul de dosim´ etrie locale dans un probl` eme variable et fortement multi-´ echelle”, dans 18`
Le jugement porté par les femmes lettrées sur leurs soigneurs doit donc être nuancé en fonction de la personnalité de chacune, de la gravité de la maladie,
3.3 Processus d’alimentation d'entrepôt de données : Nous devons extraire, transformer et charger les données à partir des sources précédemment citées, dans l'entrepôt de
« La prophétie, ou interprétation et conférence des Écritures se fera par les ministres du Colloque, en l’assemblée où chacun dira la tête découverte ce que Dieu lui
Pendant six ans, jusqu’au premier janvier 1568, le clergé de France doit fournir chaque année au roi l’équivalent de quatre décimes, un million six cent mille livres tournois,
We have shown that the cognitive control mode depends on multiple factors, either internal to operators (e.g. expertise, experience, skills) or external, relative to the
« On ne fait pas que des psychothérapies en clinique/…/On en parlait encore ce matin : est-ce qu’on a le temps de faire des psychothérapies, parce qu’on voit les gens
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
