XEVE : an ESTEREL Verification Environment : (Version v1_3)
27
0
0
Texte intégral
(2) INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE. . : an .
(3) . Verification Environment (Version v1_3) Amar Bouali. N˚ 0214 Décembre 1997 THÈME 1. ISSN 0249-0803. apport technique.
(4)
(5)
(6) !"# %$ '&( *)+ $ ,-. # / 0 $* 1)32*46587 9 :<;>=?@BAC;>DFE GIHKJ%L8M8NPORQ SUTVMUWYX[ZM \]TV^[T_\`J%L8MUT acbVdYe_M \]fgMUh e_M Q]Wjiki>dYbV\I\VMUlmHKnkhpoqXkMrnBs tvu[NUwxO yzSUl%M%L*{kbVMN}|Y|~zOuY*iWjYM}T U%kYY[ hTzWYM%b`hl%Wj\VhpdYnM%nhpbVdvnkL8M%nq\.dYbrz% kk ikb`dYYbmWjLTIL8d[[M%pMUWYTz hpnkh\VM ¡ \`W\`M3fWYlmHkhpnkM}T¢F ¡ fTm£¤ h¥\`H¦WxXKTVM%bV§¨bVhpM%nKk^©vb`WYikHkhl%Wj"hpnv\`M%bVªWYl%MY«¦GIHkM¬z% kk l dvL8ikhpM%b \`b`WYnKTVpWj\VMUT8Wikb`dYvb`WYL®hnq\`dWxTV^[T_\`M%L¯dj{ddYpMUWYn°M}oqXKW\`hdvnKT¤ h\VH¦pWj\`lmH±\VHW\[M%KnkMUTWx ¡ f hpL8ikphpl%h¥\`^v« ¤"dYb`²T³dYn\VHkM}T´Mµ·¶z¸¹ºµª»%µ·¼F¹¥½kM KnkM} ¡ fTU«c¾¿\ hpT"{KWvT´M}+dvn+\VHKMÀrÁF à ph{Kb`WYbV^ ¤ HKhplmH©ikb`dhpkMUTM Ä+l%hMUnv\8kW\mWT_\`bVXlÅ\VXKbVM}TÆWjnK©WYvdYb`h¥\`HkLT\Vd¬L8WYnkhpikXkW\VM ¡ fT TV^L {>dYphplUWjp^ XT´hpnkÇIyzyPTU«(¾¿\\`WY²YM}TWYThpnkikX[\\VHkM3TVM \dYP{>ddYpMUWYn°M}ovXW\VhpdYnTdjrW© ¡ fÈ[MUT`l b`h{>MU±hpn¦\VHkM É Á·ÊdYb`LW\¢¨ËzÌ ÍmÎjÌ%¹Ì ½ÏÐ`Ñjµª»mÒ¹ ÓÅÔK¼ÕÌ%ÍV»ÅÖ[ÒÔÑvÌ ×ÐÍŶҼ·£Å« 8 ikbVdh[MUT]\_¤"dLWjhpn¬vM%b`h¥>l%W\`hdvn XKnKlÅ\`hdvnKT%« GIHkMÆKb`T´\ XknKl \VhpdYnhT \`HkM ¡ fØT´\`W\`MrL8hnkhpL8hÙ}W\`hdvnXKT´hpnk+W8nkdY\VhpdYngdjzÚ µÛŵ·¶*Ü[¹Òj¼FµªÐjÔM}ovXKhW§ pM%nl MÆ\`HKW\b`M%W\VM}T]T´\`Wj\VMUTzhpnK[hT_\`hnkvXkhT´HKWY{kpM ¤ HkMUn3M Z[ikpdYb`hnK\VHkM8 ¡ fØvb`WYikHgbVdvLÝ\VHkMUL«rGIHkM L8hpnkhpLhpÙUWj\VhpdYnhT.LWYkMrLd[[XKdWT´M%\]djChnKikX[\ÅÞdYX[\`ikX[\T´hpYnKWYpT][MUl%pWYbVM}WvT Hkhk[MUnß«.fghnKhL8hpÙ%MU ¡ f3T"WYbVMzYMUnkM%bmW\`MU8M Z[ikphl h\Vp^hnWr\VM%Z\VXKWYdvbVLWj\"l%WYpMUgàâáBã*\`HKW\ l%WYn{>MzpdvWv[MUhpn+\`HkMz\VddY ä å¬dvb YbmWjikHKhplUWjBM Z[ikpdYbmW\`hdvnß« GIHkMdj\`HkM%bvM%b`h¥lUW\`hdvnXknKl \VhpdYn¬hTz\VHkMlmHkM}lm²hnkdjæ\`HkM8T_\mW\VXTzdYâdYXk\VikX[\ÆTVhvnKWjTUç.dYnkMl%WYn vM%b`h¥^8hWjndYX[\`ikX[\IhpT"i>dvT`T´hp{kp^8M%L8h¥\V\VM}dvb³nkdY\U«cGIHkhTIlmHkMUlm²hpnk l%WYn{>MzLWv[M]L8d[[Xkpd \`HkMzkZ[hnk dY.hnKikX[\TVhpYnKWYpTÆ\VdTVdYL8M+WYXkMx¢ªt3dYb*WY{KTVM%nq\*dvbNdvb*ikb`MUTVM%nq\ţū3èéHkMUn°WYn©dYX[\`ikX[\8hpT dYXkn i>dvT`TVh{kp^3MULh\´\`MUdvbrnkdj\}ê WgL8hpnkhLWYæM Z[MUl%X[\VhpdYnx\`b`Wvl M8M}WY[hpnk\Vd3WT´\`Wj\VMMULh\´\`hnKdYbÆnkdY\r\VHkM TVhpYnKWYchpTrT`WëYM}¬hpnx\VHkMáBUÁ·ì]í dvbVLWj\U«+GIHkM+TVMUoqXkMUnKl Ml%WYnikpWë^vMU¬¤ h¥\`Hkhn 8 *\`HkMz% kk vb`WYikHkhl%WYBTVhpL XkW\`dYb}« îïqðBñ`ò ó ô Y õ X[\`dYLW\`hpl YM%b`hl%Wj\VhpdYndj"T´^nKlmHkb`dYnKdYXKT b`MUWvlÅ\`hvM T´^[T´\VMUL8TUêöæT´\VM%b`M%¨ê ¡ ^L {>dYphpl {KhpTVhL*XkW\VhpdYnL8hnKhL8hpÙUW\`hdvnßêk÷cMUbVhl%Wj\VhpdYng{^+dY{T´MUbVvM%bmT%ê[ hnKh¥\`M ¡ \`Wj\VM fWvlmHkhpnkMUTr¢F ¡ f3£Åê>dzhpnKWYbV^ yzMUl%hpTVhpdYngy]hWjvb`WYL8T¢FÇ"yPy£Å« øßùëú úæûªúVümýÿ¿þ ù}´üû Fþëú. .ùü jú´ú ümû Fþºümýÿý.
(7)
(8). =>==?1@. A=> ;. = BDC. . . . Åû Fú. Fùëú Bø. !"#. $. ø. &%&$('). _ûªþ ´ü ¨þ }ú. * +-,. /102/134 57698. :<; . Unité de recherche INRIA Sophia Antipolis 2004, route des Lucioles, B.P. 93, 06902 Sophia Antipolis Cedex (France) Téléphone : 04 93 65 77 77 - International : +33 4 93 65 77 77 — Fax : 04 93 65 77 65 - International : +33 4 93 65 77 65 à partir du 05/01/1998 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.
(9) '. *)+ $ .,-. # ) C Å g!³r# $ ¬$
(10) <** / 0 $* 1)32*46587
(11) Ý8 M}T_\³Xkn+M%nhpbVdvnknkM%L8MUnv\âkM]YSUbVhlUW\VhpdYn[M]ikbVdvYbmWjL8L8MUTæP kk L8dkS%phpTVSUT iWjb8[MUT*LWYlmHkhpnkMUT S \mW\`T*KnKhpTg¢ª ¡ f3T`£*l dvLiKbVMUnKWjnq\*XKn<hpnv\`M%bVªWYl%MYbmWjiKHkhpoqXkMl dYnhpqhWjpMY«ßM l%dYL8ikhppWj\VMUXkb+z% Kk \VbmWY[Xkh\Xkn±ikbVdvYbmWjL8L8M+M%n±Xkn¦T´^[T´\VJULMg SUoqXKWj\VhpdYnKT{>dqdvSUM%nknKMUT8WëYM}l kMUTzbVMUYhT_\`bVM}T][S%KnkhTVT`Wjnq\hL8ikphpl%h¥\`M%L8M%nq\XknkM8 ¡ f« [ dviJUbVMT´Xkbrl%MUTP ¡ fT[S KnKhM}TzhpL8ikph¥§ l%h¥\`M%L8M%nq\}«¾Õ³M}T_\ {WYTVS+T´Xkb*pW3hp{kbmWjhpbVhpMÀrÁF Kà oqXkh³dYXKbVnkh\*[M}T T´\Vb`XKlÅ\`Xkb`MUTÆ[M[dYnKnkS%M}TÆM \[MUT WYvdYb`h¥\`HkL8MUTzM Ä+l%Wvl M}TidvXkbL8WYnkhpikXkpM%brpMUTr ¡ fTMUnxXk\VhphTVWYnq\pMUTrkhpWYYbmWjL8L8MUTP[M[SUl%hpTVhdvn{Kh¥§ nWjhpbVMx¢ªÇIyzyPTm£Å«©¾ÕIikb`M%nK©MUn<MUnv\`bVSUMXkn±T´^[T´\VJULMg SUoqXKWj\VhpdYnKT*{ddvSUM%nknkM}T b`M%W\`h¥XknkM ¡ fê kSUl b`h\*pMdvbVLW\+É Á·Ê¦¢¿Ë]Ì%ÍmÎÌ%¹Ì%½¬Ï Ð`Ñjµª»mÒj¹cÓ ÔK¼ÕÌ Í`»ÅÖ[ÒÔqÑqÌ+×ÐÍŶҼ·£Å« 8 d>b`Mikb`hpnKl hpiKWjpM%L8MUnv\ kM%X[Z+dvnKlÅ\`hdvnKT.[MvS%b`h¥lUW\`hdvnß« WiKbVMULhpJ%b`M M}T_\rWLhpnkhpL8hpT`W\`hdvn[M ¡ f¯WjXxLd^vM%n¬ XknKMnKdj\VhpdYn SUoqXkhpWjpM%nKl%M[M¬Ú µÛŵ ¶Ü[¹Òj¼FµªÐjÔoqXkh>hpM%nq\IM}T"S \`Wj\`T"oqXkMz dYn+nkMPi>M%X[\.[hT_\`hnKYXkMUb³pdYbmTVoqX dYniWjbml dYXKb`TâMzYbmWjikHkM ÆiKWYb´\`hb MUX[Z« W8L8hnkhpL8hpT`W\`hdvnMUT´\]b`SUWjphT´SUMPL8d[[Xkpd+XknMUnKTVM%L {KMÆ[M*T´hpYnKWYX[Z MUnv\`bVSUMëÞjT´dvb´\`hMr[S}l Wjb`S nKdYnhpTVhp{kM}T%« MUT. ¡ fTzL8hnKhL8hT´SUMUT]TVdYnq\.vS%nkSUbVSUMUT M%ZiKhl h\VMULMUnq\zkWjnT.XkndvbVLWj\ \VM Z\`XkM%CWji[§ i>M%pS*àâáBã>ê>oqXkhßi>M%X[\ %\Vb`MÆlmHKWjb`YSkWYnKT dvX[\Vhp ä ßåxi>dYXKb.XknkMrM%ZiKdvb`Wj\VhpdYnYbmWjikHkhoqXkMr[XgYbmWjikHKM kMPW ¡ f« WYX[\Vb`MdYnlÅ\VhpdYn°[MvS%b`h¥lUW\`hdvnxM}T_\! WjnWjp^TVM+[X<T´\`Wj\VX[\8[MTVhpYnKWYX[ZkMTVdYbV\VhpMçdYn©i>M%X[\ vS%b`h¥M%bzTVhcXknxT´hpYnKWY kMTVdYbV\VhpM*i>M%Xk\" %\Vb`M SULhTPdYXnkdYnß«$#³M \´\`MWYnKWjp^[T´M*iMUX[\% \`bVM*ªWjh\VML8dkXkd XKn3M%nKTVM%L*{kpM*[M8T´hpYnWjX[Z M%nq\Vb`S%M[dYnq\zW+WYMUXkb]M}T_\PkZ[S%MW+ikb`hdvbVh"¢ªtidvXkbPWY{KTVM%nq\]dYX<N i>dYXkb iKbVS}T´MUnv\ţū'&zXKWYnK<XKn¦TVhpYnKWYIkM3T´dvb´\`hMgMUT´\8\Vb`dYXkvSl dYL8L8MgS \mWjnq\idqTVTVh{KMULMUnq\8SUL8hpTdvX°nKdYnßê XKnkMTVSUoqXkMUnKl M M%ZS}l X[\`hdvnL8hnKhLWjpM+L8M%nWjnq\( S \`Wj\*d*)<l M%\´\VMT´dvb´\`hMMUT´\Æ\Vb`dYXkvSl dvL8LM\VMUFê M}T_\M Z\VbmWjh\VMM \TVWYXkYSUMkWYnKT pMdYb`L8Wj\áBUÁ·ì]í «+W¬TVSUoqXkMUnKl MiMUX[\, \Vb`MÆe_dvXkS%MkWjnT 8 jêæM kS%{>dYYXKM%Xkb ÞTVhL*XkW\VMUXkb"YbmWjikHkhoqXkM P kK « - ó } ñ . ° ÷zS%b`h¥lUW\`hdvn<WjX[\`dYLW\`hpoqXkM[MgT´^[T´\VJ%L8M}T b`SUWvlÅ\VhªT TV^nKlmHkb`dYnkM}T%êcöæT´\VMUbVMUFê"fghnKh¥§ L8hTVWj\VhpdYngiKWYb {khpTVhpL XkW\`hdvngTV^L {>dYphpoqXkMvêk÷]SUbVhlUW\VhpdYngiKWYb dY{KTVM%b`W\`M%XkbmT%êKf3WYlmHkhpnkMUT] S%\`Wj\`TIKnKhpT ¢F ¡ f3£Åêy]hWjvb`WYLL8M}T [Mr[SUl%hpTVhdvn{KhnKWYhb`M¢ªÇIyPyP£ «.
(12) 8 ÒjÔz% kk Ì%Íŵ ³»mÒ¼¨µªÐÔ"Ô}µ·ÍVÐÔ¶8Ì%ÔK¼ Ì ÍmÛŵªÐÔ
(13) . $* Æ# . Æ# 0 U ó ô
(14) j ó ) ï "rï # %$ v[ ó ï & ('
(15) ï ! uk«N GIHKMÆ ¡ f fhnkhpL8hÙ}W\`hdvn «r««r«r«P«r««r««r«r««r««r«P«r««r«r««r««r««r«r«P«r« w uk« u GIHK+M *zX[\VikXk\ ¡ hvnKWjT ¡ \mW\VXT#³HkMUlm²hpnk «r««r«r««r««r«P«r««r«r««r««r««r«r«P«r« , ï . 0 / ªY . ï # 1¨K ï 2 - ! K«N ¾ÕnKikX[\´\`hnK+W ¡ f «r««r««r««r«r«P«r««r««r«r««r««r«P«r««r«r««r««r««r«r«P«r« 3 K« u ¡ M%pMUlÅ\`hnK+W*÷cMUbVhlUW\VhpdYng kXKnKlÅ\`hdvn «r««r««r«r««r««r«P«r««r«r««r««r««r«r«P«r« 4 K« ¡ M%pMUlÅ\`hnK8\VHkM ¡ hpYnWjT «r««r««r«r«P«r««r««r«r««r««r«P«r««r«r««r««r««r«r«P«r« 4 K« K«N #³dYpdYbmTâdvb. ¡ fØfghnKhL8hpÙUW\`hdvn «r««r«r««r««r«P«r««r«r««r««r««r«r«P«r« | K« K« u #³dYpdYbmTâdv5b *zX[\ViKX[\ ¡ \`Wj\VXKT #³HkMUlm²hpnk «r««r««r«P«r««r«r««r««r««r«r«P«r« | K« w õ ikikp^hnk8\`HkMÆ ¡ fØfghpnkhL8hpÙUWj\VhpdYn «r««r««r«r««r««r«P«r««r«r««r««r««r«r«P«r« | K« , õ ikikp^hnk8\`Hk+M *zX[\`ikX[\ ¡ hpYnKWYpT ¡ \`W\`XKT#³HkM}lm²qhpnk±«r««r«P«r««r«r««r««r««r«r«P«r«ØN}t K« 3 *zik\VhpdYnKT«r«P«r««r«r««r««r««r«r«P«r««r««r«r««r««r«P«r««r«r««r««r««r«r«P«r«ØNvN K«ÿ7 ~ 6PM%\´\`hnk9 8]M%pi ««r«r««r««r««r«r«P«r««r««r«r««r««r«P«r««r«r««r««r««r«r«P«r«ØNëu ) ï 1¿k ï ô óßó .ª : w«N ä åæçæyzb`Wë¤ hpnkfghnKhL8hpÙ%MUg ¡ fT «r««r««r«r««r««r«P«r««r«r««r««r««r«r«P«r«ØN} w« u 8 jç ¡ hpL XkW\`hnköCZ[M}l X[\`hdvn ¡ MUoqXkM%nl MUT ««r«r««r««r«P«r««r«r««r««r««r«r«P«r«ØN} . <5>ß ? /. ï ;
(16) ß ó # = ) ,k«N GIHKMÆöCZkWjL8ikpMYçæW ¡ LWjpßÇ"XKT õ b`{kh\VMUbx««r««r«r««r««r«P«r««r«r««r««r««r«r«P«r«ØNUw ,k« u 6PMUnkM%bmW\`hdvndY \`HkM*É Á·Ê hppM6«r«r«P«r««r««r«r««r««r«P«r««r«r««r««r««r«r«P«r«ØN 3 ,k« ¡ \`Wjb`hpnk8XkiW 8 ¡ M}TVTVhpdYn «r«r«P«r««r««r«r««r««r«P«r««r«r««r««r««r«r«P«r«ØN 3 ,k« w GIHKMÆ ¡ f fhnkhpL8hÙ}W\`hdvnWYnK÷]hT´XKWYhpÙUWj\VhpdYn «r««r««r«P«r««r«r««r««r««r«r«P«r«ØN 3 ,k« , #³HKMUlm²hnK9 *zXk\VikX[\ ¡ \`W\`XKT.WYnK÷cMUbVh^hnK8aæbVdviMUb´\`hM}T8«r«P«r««r«r««r««r««r«r«P«r«ØN~ 2 @B # $, !â# $*. GIHKhpTiKWji>M%b+hTW©\VMUlmHKnkhplUWjzikbVM}T´MUnq\`W\`hdvn°dY ê.Wjnévb`WYikHkhl%Wj]M%nhb`dYnkL8MUnv\dvbz% kk iKbVdvYbmWjLT%«èxMWYT`T´XkL8M\VHkMb`MUWYkM%bhpTªWYLhpphpWYb¤ h\VH¦TV^qnlmHkbVdvnkdYXTÆb`MUWYl \VhpYMikbVdvYbmWjL8L8hnKKêchpn iWjbV\Vhl XkWjb ¤ h\VHg\`HkM*z% kk pWYnkYXKWYYMvê[h¥\mT]l dvL8ikhpM%bzWjnKgh\`TzT´dY·\_¤"WYbVMPM%nhb`dYnKLMUnq\U«IGIHkdYXkvH ¤"M b`MUlUWjph\`TPLWjhpnlmHWjbmWYlÅ\`M%b`hpT´\Vhl%TUêK¤"M8T´XkvYM}T_\.\`HkMbVM}WY[MUb]\`db`M MUb]\`Bd Aÿu[êCN CCdYbrWkM%M%i>M%bikb`M § TVM%nq\mW\VhpdYndj\VHkMrWjnKYXKWYYMWjnKh¥\mT.l dvL8ikhW\`hdvnMUnqhpb`dYnkL8M%nq\}« P kk hTrWpWYnkYXKWYYM8[MUTVhpYnkM}dYbP\`HkMikb`dYYbmWjL8L8hpnk+djIT´^nKlmHKbVdvnkdYXKTzb`MUWYl \VhpYMT´^[T´\VM%LT ¢ ¡ Q ¡ Tm£Å«Iacb`dYvb`WYL8TIWYbVMrLWYkMrdjcikb`dl%MUT`T´M}T"¤ h¥\`H3WjnhpnkikX[\ ÞëdYXk\VikX[\PT´hpYnKWYpTIhpnq\VMUb´ªWvl Mrb`Xknknkhpnkhpn iWjbmWjpMU WjnKTV^nKlmHkb`dYnkdvXKTV^v« #³dvLL*Xknkhl%Wj\VhpdYnghpTzL8d[[M%pMUg{^gT´hpYnKWYß{kb`dvWvkl%WvT_\`hnk3¢ªnkd+b`M%nKkM%Ù § vdYXKTIL8M}lmHKWjnkhTVL£ «"GIHKMrpWYnkYXKWYYMrl dvL8ikhpMUT.hnq\Vd+\_¤³d8LWjhpngdYb`LWjphpTVLT WYl%l%dYbm[hpnk\Vdh\`T.LWj\VH[§ MULW\Vhl%WYßT´MULWjnq\Vhl%TUçc hpnkh\VM ¡ \mW\`M fWYlmHkhpnkM}Tr¢ª ¡ fTm£"dYb.Ç"ddYpMUWYn #³hpb`l%Xkh¥\mT%« . kø D. FEG IH . 4 /.
(17) w. z¶ÒÍ]Ë]ÐjÜKÒ¹ºµ. GIHkMPz% Kk l dvL8ikhpM%bâikbVd[[Xl MUTâ ¡ fTæMUh¥\`HkM%bæM%Z[ikhl h\Vp^Yêq¤ HkMUbVM.T´\`Wj\VMUTâWjnK*\VbmWjnT´h\VhpdYnKTâWjb`M UM nXkL8M%bmW\VM}êßdvbrhL8ikphpl%h¥\`^WYTrWgTVM \ÆdY"{>ddYpMUWjnxMUoqXKWj\VhpdYnKT¤ h\VHW\mlmHkMUT¢ªdYbÆTVMUoqXkM%nq\`hpWYæ[hvh¥\mWj l%hbml XKh¥\ţūcGIHkM]M}oqXKW\`hdvnKTâWYbVMzYM%nKM%bmW\VM}hn\VHkMrÉ Á·Êg¢¨ËzÌ%ÍmÎÌ%¹Ì%½ÆÏÐ`Ñjµª»mÒ¹KÓ ÔK¼ÕÌ Í`»ÅÖ[ÒÔqÑqÌ]×ÐÍŶҼ A 3FC·£ dvbVLWj\8¤ HKhplmH¦ikb`dhp[M}T8hnq\`M%b`LM}[hW\VM[M}TVl%bVhpi[\`hdvn¦Wj\8\VHkM3pM%vM% dYP{>ddYpMUWjn¦M}ovXW\VhpdYnTWjnK±hpn ¤ HKhplmH{>dj\`H3dYX[\`ikX[\zTVhpYnKWYWjngnkM Z\]W\mlmHëWYXKMUT]WYbVM M Z[ikb`MUT`T´M}WvT ikb`dYi>dvTVh¥\`hdvnKWjßdYb`L XkWjMrdvn hpnkikXk\³T´hpYnWjTcWjnK8l XKbVb`M%nq\cpWj\`lmH8WjpXkMUTU«CGIHkhpTcdYb`L8Wj\æhpTc\VHkM hpnkikX[\âdYb`L8Wj\ædjT´MUYMUb`WYWvl%Wv[M%L8hl%Wj WYnKl dYL8L8M%bml hWjTV^nv\`HkMUTVhT WjnKYMUbVhlUW\VhpdYn\VddYT"dYb.TVMUoqXkMUnq\VhWjßl hpbml Xkh\`TU« 8 \mWj²YM}T+WYT+hnkiKX[\ ¡ fT[MUT`l b`h{>MU±hpn É Á·Ê«¾¿\hT{kXkhp¥\gWj{>dYM\VHKMÀrÁF Kà ph{Kb`WYbV^ WYnK©\`HXKT8XKTVMUT\VHKMphp{kb`WYbV^©kWj\`WT´\Vb`XKlÅ\`XkbVM}T8WjnK<M Ä+l hpM%nq\+T´^L*{dvhlT´\`Wj\VMTViKWYl%Ml%dYnKT´\Vb`XKlÅ\`hdvn WYvdYb`h¥\`HkL6{^+L8MUWYnKTIdjâË µ·ÔBÒÍŽ Ìm» µÛŵªÐjÔ µªÒ%ÑYÍVÒ¶*Û¢FÇIyzyPT`£ « GIHkhT [d[l XkL8M%nq\ hTßdvbVqWjnkhpÙ%M}WYTBdvpd¤rçßT´M}lÅ\`hdvn uIikb`MUTVM%nq\`T{KbVhpM K^z\VHKMâYMUbVhlUW\VhpdYnz\VM}lmHknkhoqXkMUT XT´M}xWYnKikb`dhp[M}¬{^ [ T´M}lÅ\`hdvngM Z[idqT´M}TP\VHkMYbmWjikHkhl%WYchnq\`M%bVªWYl M+WYnKHkd¤ \VdXKTVMh\ TVMUl \VhpdYnwT´Hkdvb´\`^YhpYMUT³\`HkMrhT´\.djhpnq\VMUb´ªWvl MU\VddvpT T´M}lÅ\`hdvn , \`bVM}W\`T W8l%dYL8ikpM \VMM%Z[WYL8ikMv« C Å g!³#C $ !.
(18) , 0 GIHKM hnq\VMUbVnWjkb`M%ikb`MUTVM%nq\mW\VhpdYndjWjn ¡ fÝhTcb`dYXkvHk^T´i>MUWY²hnkLWYkM djßWrÇIyzy dYbc\`HkM.b`MUWYlmHWj{kpM T´\`Wj\VMPT´iKWvl M]WYnK+WÆ\VbmWjnKTVh¥\`hdvn8XknKl \VhpdYniWjbV\VhpdYnknkM}WjpdYnkÆ\VHkMPhn[hh[XKWYW\mlmHkMUTUç \`HkMz\VbmWjnKTVh¥\`hdvn hTrWYl \VXKWYp^3WYM}lÅ\Vdvbdj³{>ddYpMUWYn3XknKl \VhpdYnßêMUWvlmH¬{>M%hpnk\VHkM{>ddYpMUWjn¬XknKl \VhpdYn©[M nkhnKgWgTVhnKYpM W\mlmHß« 8 ikb`dhp[M}T³\_¤³d8YMUbVhlUW\VhpdYnXknKl \VhpdYnKTUç NY« GIHkM+L8hpnkhL8hpÙUWj\VhpdYn©djI\`HkM+nXkL {>M%b*dj T_\mW\`MUTÆdY.W ¡ f ¤ h¥\`HbVM}T´i>MUl \r\Vd¬WYnMUoqXkhpëWYMUnKl M l%WYpMU*{khT´hpL XkW\`hdvnß«CGIHkMILhpnkhpL8hÙ}W\VhpdYnhTCL8Wv[MIL8dkXkdhpnkikX[\âWYnK*dYX[\`ikX[\âTVhvnKWjHkh[hpnkK« u[« GIHkMdY\VHkMUbÆhTr\VHKMlmHkM}lm²qhpnkdY"\`HkMMUL8hpT`T´hpdYnT´\`Wj\VXKT dj dYXk\VikX[\8T´hpYnWjT%«GIHkMlmHKMUlm²hnKhpT LWY[Mrdvn\`HkMÆT´MUM}lÅ\`MUdYX[\`ikX[\]TVhvnKWjT WjnKL8d[[Xkpd8kZ[MUdYb Hkhk[MUnhpnkikXk\]T´hpYnKWYpTU« GIHKM XknlÅ\VhpdYnT¤³MUbVM*hnkh\VhWjpp^hL8ikpM%L8M%nq\`MUhn¬\_¤³dikb`dl%MUT`T´dvb`TUêBÉ Á·ÊÊváBã3WYnK á Á·Êêßb`M § TVi>MUlÅ\`hvM%p^Y«GIHkMUTVM iKbVd[l M}TVTVdYbmT]WYnK 8 dYb`LÝnKd¤\VHkM8TVWYL8MÆikb`dYYbmWjLgê>{kX[\P\VHkMU^3l%WYn¬T_\`hpC{M lUWjpM}T´MUiKWjbmW\`M%p^Y«Ç"dj\`HXknKl \VhpdYnKT bVM}ovXKhb`M\VHkMl%dYL8ikX[\mW\`hdvnxdYI\VHkM+b`MUWvlmHKWj{KMT´\`W\`M+T´iWYl MdY \`HkMÆ ¡ f«KGIHKhpTIdvnkMrhpT l%dYL8ikX[\`MUgTV^qL*{dvhl%WYp^+Wjnb`M%iKbVM}T´MUnv\`MUWYT W8ÇIyzy*« . !#"$. $&%'(%*)+%-,/.102%-34'. èxMXKTVMPWYnM}ovXKhWjpM%nl MPnkdj\`hdvnl%WYpMU3ÛŽ¶Ú`й¥µª»8Ú µÛŵ·¶*Ü[¹pÒ¼¨µªÐÔKêA |[ê,#C¨«cQ dvXkYHK^vê\VHkhT"MUoqXkhpëWYMUnKl M b`M%W\`MUTT_\mW\`MUT \VHKWj\8WYbVMnkdj\[hT_\`hnkvXkhT´HKWY{kpM¤ HkMUn<M Z[ikpdYb`hpnk\VHKM ¡ f YbmWjikH «xQ M}[XKl \VhpdYn<dY ¡ f3T*l%dYnKTVhpT´\`T hnl%dYppWYiKTVhnk¬MUoqXkhpëWYMUnq\*T_\mW\`MUT WYnK©{kXKh[hpnk3\`HkMXkn[M%b`^hpnk¬oqXkdY\VhpM%nq\U«¬GIHKhpT b`M%W\`hdvn©l%Wjn©{>M¤ h[MUnkMU{^xHkhpkhnkXknkb`M%pM%Wjnq\*TVhpYnKWYpTr¤ h\VH<bVM}T´i>MUl \Æ\Vd\`HkMdv{KTVM%b`ëWj\VhpdYnxdYnkM ¤IWjnq\mT \VdL8WY²YMvê¤ HkhlmH3LWë^hnq\Vb`d[[XKl%MÆnkdYn[M \`M%b`LhpnkhT_\`hpl {MUHKWëhdvb]hâT´dvL8MÆhnKikX[\`TWYbVMrHkhk[MUnß« 5]dYnkM%\VHkMUM}TVTUê{khT´hpL XKpWj\VhpdYn¬vhvMUTPWL8hpnkhpL8WYcl%WjnKdYnkhl%WY dvbVL dvbPnKdYnkM \VMUbVL8hpnkhT_\`hpl8 ¡ fTWjn HWYTWYn M Ä+l%hMUnv\gi>dYp^qnKdYL8hpWY.\`hL8MWjpYdYb`h\VHkLg« GIHkMhL8ikpM%L8MUnv\`MU WjpYdYb`h\VHkL XKTVMUT\VHkMxÇ"yPy. %'. D. 76. A%.
(19) 8 ÒjÔz% kk Ì%Íŵ ³»mÒ¼¨µªÐÔ"Ô}µ·ÍVÐÔ¶8Ì%ÔK¼ Ì ÍmÛŵªÐÔ
(20) ,. b`M%iKbVM}T´MUnv\mW\`hdvn3dj³\VHkMT´\`W\`MTViKWvl MWjnKWgÇ"yPy iKWYb´\`h¥\`hdvnknkMUb`M%ikb`MUTVM%nq\`Wj\VhpdYn3dYæ\VHKM8\VbmWjnKTVh¥\`hdvn b`M%W\`hdvnWvT W*vMUl \VdYb dY \`b`WYnKT´h\VhpdYnXknKl \VhpdYnKTUêkdvnkMiMUb.pWj\`lmHßê A C¿« fghpnkhpL8hÙUMUg ¡ fT.WYbVMYMUnkM%bmW\`MUM Z[ikphpl%h¥\`^hnW*\VM%Zq\`XKWjBdvbVLWj\ lUWjpM}3àâáBã>« . . 0 0 "%4'(. " 0 .10
(21) %'. GIHKM%b`MWYbVMz\_¤"d8T´\`Wj\VXKT"dvb dYX[\`ikX[\zTVhpYnKWYpT³\VHW\]l%WYn{>MÆlmHkM}lm²YMUßç NY«Ih¥]WYn©dYX[\`ikX[\*TVhpYnKWYæhpTƸ[ÐÛmÛmµFÚ ¹º½+MUL8h¥\V\VMUßê h¨« MY«\VHkMUbVMM Z[hpT´\`T*WgbVM}WYlmHKWY{kpM+l dYnkKYXkbmW\`hdvndY pWj\`lmHkM}T"bVdvL ¤ HkhlmH\VHkMÆTVhvnKWjBhT M%L8h\´\`MUdYb.TVdYL8Mrl dvn[KYXKb`Wj\VhpdYndY\`HkMrhpnkikX[\mT u[«Ih¥"Wjn¬dvX[\ViKX[\TVhpYnKWYhT.¸kÐëÛmÛŵFÚ ¹º½gÔ>мCMULh\´\`MUêh¨« MY«P\VHkMUbVM*M Z[hT_\mTPWbVM}WYlmHKWY{kpM l dvn[KYXKb`Wj\VhpdYn djCpWj\`lmHkM}T"bVdvL ¤ HkhlmH\`HkMÆTVhvnKWjhTInkdj\.MUL8h¥\V\VMUdvb.T´dvLMrl%dYn[KvXkbmW\VhpdYndj \VHkMrhpnkikXk\`TU« GIHKhpT.lmHKMUlm²hnKlUWjng{MrLWv[MrL8dkXkd+Wb`MUT´\Vb`hpl \VhpdYndYMUb³\`HkMrhpnkikX[\zl%dYn[YXkbmW\`hdvnKT%«C¾ÕnKkM%MUßêkdYnkM lUWjnKZ+\VHkMPWjpXkMPdjTVdYL8MPhnkiKX[\.T´hpYnKWYpTæ\Vd8t dvbzN8¢ªWY¤IWë^[T³WY{KTVM%nq\³dvb³ikb`MUTVM%nq\Å£âWYnK+i>M%bVdYb`L \VHkM lmHKMUlm²hnK \mWj²hnKhpnq\VdWYlUl dvXknq\"\`HkMUTVMÆl dvnKT´\VbmWjhpnv\mT%« GIHkM³dYX[\`ikX[\CT_\mW\VXTlmHkM}lm²hnk.lUWjnr{>MâXKTVMUr\Vd]vM%b`h¥^8ÐvÚÅÛ%Ì Í Ì ÍmÛÅ«cGIHkM}T´MâWYbVM"z% Kk ikb`dYvb`WYLT \`HKW\ \VHKWj\*l%Wj\`lmHL8hpTV{MUHKWëhdvb`TrWYnKxikb`dYi>M%bV\_^¬hdvpWj\VhpdYnxb`dYL \`HkM+ikb`dYvb`WYL \VdvM%b`h¥^v«G³^ikhl%Wj iKbVdviMUb´\`hM}T"WYbVMhpn\VHkMdvbVL h¥ ¡ ¾ 6 5 õ âN]Wjn ¡ ¾ 6 5 õ urWYbVM.iKbVM}T´MUnv\c\`HkM%nM%L8h¥\IaæQ *PaæöæQCG ÷z¾ * õ G öæy dvb h¥ ¡ ¾ 6 5 õ âN3hpT+ikbVM}T´MUnq\\VHkMUné{M%dYb`M3²<d[l%l%Xkb`bVMUnKl M}T8dj ¡ ¾ 6 5 õ ukê ¡ ¾ 6 5 õ L XKT´\.{>MrM%L8h¥\V\VM}êkdj\`HkM%b`¤ hT´MM%L8h\]aæQ *PaæöæQCG ÷z¾ * õ G öæy *z{T´MUbVvM%bmTWYbVM³\VHkMUn8ikX[\æhpn*iKWYb`WYpM%¤ h\VH\VHKM ikbVdvYbmWjLXknKkM%bæWjnWjp^TVhT%«Cfgd[[M%§¿lmHKMUlm²hnKPl%dYnKTVhpT´\`T e_XT_\hpn<YMUbVh^hnK3\VHKMgT´\`Wj\VXKTdY.\VHkMgdv{KT´MUbVvM%bmTÆTVhvnKWjT¢FT´XlmH°WYT8aæQ *PaæöâQ G ÷]¾ * õ G öæyP£ « zT´MUb`TIlUWjng[hb`MUl \Vp^+¤ b`h¥\`MPdv{KTVM%b`YM%bmT³{q^HKWjnKhpngP kK « 8]d¤³MUYM%b}êv\VHkMUbVMM Z[hT_\mT W*\VddYßlUWjpM} À ì kP Aº~ C>d>MUbVhpnk W¢phnkM}Wjbâ\VhpLMë£c\`M%L8i>dYbmWjKpdYvhpl \VdÆM%ZiKbVM}TVTciKbVdviMUb´\`hM}T \VHkhTâ\VddYikbVdh[MUT WP\`b`WYnKTVpWj\VdYbCb`dYLpdYYhl"dYb`L XKpWYM hnq\Vdz% Kk dv{KT´MUbVvM%bCikb`dYvb`WYL8TU« À ì kP \VHkMUn+i>M%bVdYb`L8T \`HkMIL8dkM%§¿lmHkM}lm²hnkPhpn \`HkM M Z[iKWYnK[MU* ¡ f ¢XKTVhnKPh\`TCM%Z[ikhl h\âWjXk\VdYLWj\`WP[MUT`l b`hik\VhpdYn£ «GIHkhTChpTcW LWje_dYbmT phL8h\`Wj\VhpdYn8T´hpnKl M"dvb Wjb`YM"ikb`dYvb`WYL8TUêU\VHkM]P kk l%dYL8ikhpMUbClUWjnknKdj\cYMUnkM%bmW\`MâM Z[iKWYnK[M} ¡ f©« 8]d¤³MUYM%b}êKvM%nkMUb`Wj\VhpnkhpLiKhl h\PvM%bmT´hpdYndYæ ¡ fTPXKT´hpnk\`HkM{ddYpMUWYn3l hpb`l%Xkh\]dYb`LWjphpTVLÝhpT L*XKlmHgL8dYb`MPpMUT`T ikb`dY{KMUL8Wj\Vhlj«æèxMÆHKWëvMr[M%vM%pdYi>MUgW8ikb`dl%MUT`T´dvb"\VHKWj\.hnq\VMUb´ªWvl M À ì kz%3¤ h\VH \`HkM dYX[\`ikX[\ lmHkMUlm²hpnkK«CGIHkhT"ikbVd[l%MUT`T´dvbæhpTIlUWjpM} *í Áá Wjn+hT³[hT´\Vb`h{kXk\VMU+\VdvYM \`HkM%b ¤ h\VH 8 «³¾¿\.\mWj²vMUT WYT.hnkiKX[\zWjn^nqXKL {>M%b.dY M}T.[M nkhnK\VMULi>dYbmWjiKbVdviMUb´\`hM}T.WjnKgWTVM \]dY P kK T´dvXkb`l%MPKM}T"dYb`L8hnk\`HkMrikb`dYYbmWjL\`dLd[[MU¥§ÕlmHkM}lm²>«CGIHkMUnßç NY«Ih¥\cl%WYT \VHkMIGIuYT_\`bVvikb`dl%MUT`T´dvbßb`dYL À ì kz%\VHKWj\\`b`WYnKTVpWj\VMUTß\VHkM³dYb`L XKpWYMæhnq\`dPz% kk dY{KTVM%b`YMUb`TU«.¾¿\M Z\VbmWYl \`T.\VHkMdYX[\`ikX[\rT´hpYnWj nWjL8MUT]bVdvLÝ\VHkMdY{KTVM%b`YMUb`T.hn¬WYn3dY{hpdYXKT]¤"Wë^ WYT"\`HkM\VbmWjnKTVW\Vdvb WY[dvi[\`T WnKWYLhpnkl dvnYM%nq\`hdvn+dYbI\`HkMrdY{T´MUbVvM%bIT´hpYnKWYpT u[«Ih¥\ dvbVLT WnkMU¤ ikb`dYvb`WYL ¤ h¥\`Hg\VHkMdYb`hpYhpnKWjBikb`dYvb`WYL6ikX[\.hpniWjbmWjpMU>¤ h\VH\`HkMrdY{KTVM%b`YMUb`T kø D. FEG IH . 4 /.
(22) z¶ÒÍ]Ë]ÐjÜKÒ¹ºµ 3. k «Ih¥\]lUWjppT"\`HkM z% kk \`d8YM \I\`HkM*É Á·ÊKMrdY \`HkhpT.nkM%¤ ikb`dYYbmWjL wK«Ih¥\rl%WYT \`HkM# á Á·ÊiKbVd[l M}TVTVdYb.\VdlmHKMUlm²\VHkMM Z\VbmWYl \VM}gdYX[\`ikX[\PTVhpYnKWYpTzWj{>dYMÆdvn\VHkM ¡ f bVMUikbVM}T´MUnq\VMU{^\VHKMrYM%nKM%bmW\VM}É Á·Ê8KpMY« 5 !" ?@ # Æ!³ hpYXkb`M8NrT´Hkd¤.T³\`HkMrLWjhpnvb`WYikHkhl%WY>iWjnkMUdj 8 «. The relation file name (if any) appears here.. The FSM Blif file name appears here.. The verification functions selection area.. The input signal name list is displayed here.. The output signal name list is displayed here.. Palettes of colors for signal selection.. hvXkbVM8Nvç 8 LWjhpniKWjnkMU. ' 0 02%'. . #"$. õ ¡ f lUWjn{MrpdvWv[MUbVdvL6\_¤"d*\_^i>MUTIdYKpMYç. %'. D. 76. A%.
(23) 8 ÒjÔz% kk Ì%Íŵ ³»mÒ¼¨µªÐÔ"Ô}µ·ÍVÐÔ¶8Ì%ÔK¼ Ì ÍmÛŵªÐÔ
(24) ~. NY«]É Á·ÊÆKpMYçcGIHkhTchpTæ\VHkMzdzMUbV²vM%pM%^(ßdYvhplUWj[¾Õnq\VMUb`lmHWjnkvMI KdYb`LW\c\Vd*[MUT`l b`h{>M.WÆTVM \âdY{ddYpMUWYn MUoqXKWj\VhpdYnKT ¤ h\VHW\mlmHkMUTUêkHkMUnKl M*WjnghL8ikphl h\z ¡ f« ]TVhnk8\`HkM*P kk l dYL8ikhppM%b.dvnkMÆl%WYn l dvLiKhpM¬Wjn^éz% kk iKbVdvYbmWjL hpnq\Vd<WTVM \djr{ddvM}WjnéMUoqXKWj\VhpdYnKT+¤ h¥\`H pWj\`lmHkM}T%« GIHkM l dvLiKhpM%bcl%WYn vM%nkMUb`Wj\VMæ\`HkMIMUoqXKWj\VhpdYnKThn*\VHKM É Á·ÊPdYb`LW\U«cÉ Á·ÊhT XKTVM XkkWvT h\chpTCWYlUl MUi[\VM} {^¬Wpdj\rdYâbVM}T´M}WjbmlmH¬TV^qnq\`HkMUTVhpTWYnK3vM%b`h¥lUW\`hdvn\VddYTrTVXKlmHWvTÀrÁF Kà «ßèxM8XKT´MÀrÁF Kà \VdbVMUikb`MUTVM%nq\I ¡ f3T"WYnK\`d*LWYnkhiKXkpWj\VMP\VHKM%L TV^L {>dYphplUWjp^8XKTVhnKÇIyPyzT³b`dYL \VHKM%hpbzÉ Á·Ê [MUT`l b`hpi[\VhpdYnß« u[«]É Ê8KMvçæÇIyzyPT Wjb`MPW*i>d¤³MUb´XkB¤IWë^\Vd8LWjnkhpikXkW\`MPvM%b`^8pWYbVvMz ¡ fTIM%Äl%hMUnq\Vp^Y« 8.d¤I§ M%vM%b}êßÇ"yPy l%dYnKT´\Vb`XKlÅ\`hdvn¬LWë^g\`WY²YM*\VhpL8MYê iWjbV\Vhl XkWjb`^\`HkMÇ"yPy6dYâ\VHKMb`MUWvlmHKWj{KMT_\mW\VM T´iWYl Mzdjß\`HkM ¡ f«[GIHkMÀrÁF Kà ph{Kb`WYbV^ikb`dqh[M}TâWjn õ ¡ #³¾V¾cdYb`LW\Il%WjppMUÉ Ê*\Vd8TVWëvM \VHkM ¡ f TIÇ"yPyPTIhn\VHkhT³dYb`L8Wj\UêqdYnKl%M.\`HkMUTVMPÇIyPyzT"HKWëvM]{>M%MUnl dvL8ikX[\VM}« ædYXl%WjnTVWëvM Wjn^ ¡ f®hpn3\`HkhpTzdvbVLW\PXKTVhnk\VHKM*L8M%nX3MUnq\Vb`^ % hpMUTUç ¡ WëYM ¡ f *Wjn3pdvWY¬Wjn^T`WëYM} É Ê©KpMY«éGIHkhTWëYdYhkT*\VHKMbVM%§¿l%dYL8ikX[\mW\VhpdYn°djz\VHkM3 ¡ fÈÇIyzyPTWjn°b`MUWvlmHKWj{KMT_\mW\VM T´iWYl Mv« Gd+pdvWv3WÉ Á·ÊMvê>XT´Mr\`HkMM%nq\Vb`^L8MUnqX
(25)
(26) "!!$#%&(') *« õ KMT´MUM}lÅ\`hdvn {>dëZg{kbVd¤.TVM%b.WYiki>MUWjbmTIdvb KpM*TVM%pMUlÅ\`hdvnßêWvT]TVHkd¤ ngh¥cYXkb`M u[« õ ·\VM%bPW8KpM*TVM%pMUl \VhpdYnßê>W æMUTÅÞ 5]d. hpYXkb`MÆu[ç 8 KpM{kbVd¤.TVM%b ¤ hpnK[d¤hTzkhpTVikWë^YMUWvT´²hpnk+^vdYX3hæ^YdvX3nkM%M}g\VddqWYTVdYL8M hpnkikXk\l%dYnKT´\VbmWjhpnq\`T.dvM%b \`HkM hpnkikXk\`T dYâ\`HkMikb`dYYbmWjLg«8GIHkhTÆl dvnKT_\`b`WYhnTzL*XKT´\Æ{M+WYpTVdkMUT`l b`h{>MUhn©W¬É Á·ÊKpM+WYTrWgl dvL {khpnKW\`hdvnKWj l%hbml XKh¥\]dvM%bI\`HkM hpnkikX[\mT%«.GIHKMUTVM l dvnKT_\`b`WYhnq\mT.Wjb`M\VHkM*hnKikX[\zb`M%W\`hdvnKT ^vdYXHKWëvMÆ[M KnKMUgdYn^vdYXkb P kK ikbVdvYbmWjLg« ¾¿CTVdKêkl%hlm²+dY,n +-
(27) {kX[\V\VdYn\`d8TVM%pMUl \]WbVMUpWj\VhpdYn+Mv« Gd pdvWvWÉÊÆMvêqXT´M \`HkMPM%nq\Vb`^*L8MUnq.X
(28)
(29) /-0 -1$1$!!$#%&(') *«ß¾Õn\VHkhT"l%WYTVMYê nKdb`M%W\`hdvnMhT.WYTV²YM}¬¢h\]hT T´XKikidqT´M}+\`d{MÆWYb`MUWv[^+l dvL8ikX[\VM}hpn£ « GIHkM8TVM%pMUlÅ\`MU3KMnKWYLM}TzWYbVM*bVMUidvb´\`MUhpn3\`HkML8WYhn¬iKWjnkMUF« ¡ M%pMUlÅ\`hdvn¬l%WYnT´\VhpC{>M*LWv[M {^ HWjnK{^[hpbVM}lÅ\`^\_^ikhpnk8hpn\`HkhT M%nq\Vb`^TViKWYl%MzWYhkW\`hnK8\VHkMrlmHkdvhpl%MP¤ h\VH\`Hk3M 2 4
(30) ) 5% 6ƲYMU^Y« õ \ dviMUnkhpnkg\VhpL8MYê\VHkM+[M}TVl%bVhp{>MUT´^L*{dvhl ¡ f hpTÆhnq\VMUbVnWjp^3{KXkh\*WYnKxh¥\mTrhnKikX[\ÅÞdYX[\`ikX[\ hpnq\VMUb´ªWvl MÆhT][hTVikpWë^vMUgdvng\VHkM*L8WYhniWjnkMUF«.¾¿âW+{KWYgMÆhTzYhpYM%n êWjnMUbVb`dYb]LM}TVT`WjvMr¤ hn[d¤hpT i>dYiKiM}§¨XKiß«æ hvXkbVMr8TVHkd¤.T"\VHkMLWjhpngiKWjnKM%¤ h\VHWjngdYi>M%nKMU ¡ f« kø D. FEG IH . 4 /.
(31) z¶ÒÍ]Ë]ÐjÜKÒ¹ºµ 4. hpYXKbVMrkç õ ndviMUnkMUg ¡ f hpn 8 " - 0 %*' . % .102%-3 ' '02%-34' GdrT´MUM}lÅ\C\VHKMI ¡ f L8hpnkhL8hpÙUWj\VhpdYnßêÅe_XT_\âl%hlm²ÆdYn \VHkM 4
(32) bmWY[hpdj§¿{kX[\V\VdvnÆ\VdrTVM \ch\ædYnß« G drTVM%pMUlÅ\ \`HkMrdYXk\VikX[\]T´\`Wj\VXKT lmHKMUlm²hnKKê[l phplm²dYn\VHkM *bmWY[hpdj§¿{kX[\V\Vdvnß« öæWvlmH¬XKnKlÅ\`hdvnkhpTVikWë^TWiKWjbV\Vhl XKpWYbPiWjpM \´\`M8dj"l%dYpdYbmT]{>M%pd¤ \`HkMT´hpYnWjcphpT´\ÆWjb`MUWYTU« GIHkM}T´M l%dYpdYbmTIWjb`MzXKTVMU\`d8TVM%pMUl \.dYb"kZ\VHkMÆTVhvnKWjT¢ªTVM%MÆTVMUl \VhpdYn{MUd¤]£ «. . " - 0 %*' 0 ( "%4'(.. . Ç"M%dYb`MIWYikikp^hnkÆWYn^ dj>\VHKM \_¤³dvM%b`h¥lUW\`hdvn XknlÅ\VhpdYniKbVM}T´MUnv\`MU8Wj{>dYMvêj^YdvX8L8Wë^ nkM%M}\VdÆTVM%pMUlÅ\ dvbÆkZ©\`HkMTVhpYnKWYpTÆ\VHKWj\8WYbVM+b`M%pM%WYnv\*dYb*\VHkMYMUbVhl%Wj\VhpdYn©^vdYX¤IWjnq\Æ\`d¬i>M%bVdYb`L« ¡ MUM}lÅ\VhpdYn<hpT LWv[M]{^Ld[[h^hnK \`HkMzTVhvnKWjnKWjL8M}TædvbVMUYb`dYXknK*\`d*TVdYL8M]ikb`MUTVM%pMUl \VM}l dYpdYb³hn+\VHkMPXknK[MUbVp^hnK l%dYpdYbæiWjpM \´\`MY«C¾Õnkh\VhWjp^vêqTVhpYnKWYknKWjL8M}TâWjiKiM}Wjbâhpn{kWYlm²B«CöæWYlmHXKnKlÅ\`hdvnHKWYTâh¥\mTâd¤ niKWYM%\´\`MY«CèM vhvM]dvb MUWvlmH\`HkMrL8MUWjnKhnk8dY\`HkMÆl dvdvb`TU« %'. D. 76. A%.
(33) 8 ÒjÔz% kk Ì%Íŵ ³»mÒ¼¨µªÐÔ"Ô}µ·ÍVÐÔ¶8Ì%ÔK¼ Ì ÍmÛŵªÐÔ
(34) |. ó . ó 1 ó - - !? Y[ ó Ç"dY\VHhpnkikX[\Wjn©dYX[\`ikX[\T´hpYnWjTÆLWë^{MM%h\VHkMUb }µÛŵFÚŹpÌdYbÖvµ vÌ Ôêâh¨« Mv«¬\mWj²vM%n<WYnK©nkdY\*\mWj²YMUn hpnq\VdWYlUl dvXknq\I[XKbVhpnk8{MUHKWëhdvb l dYL8iKWYbVhTVdYndY T´\`Wj\VMUTUê[b`MUTViM}lÅ\VhpYMU^v«cGIHkMr¤ hpnkdY\]Wjiki>MUWYb"hpn\VHkM \`b`WYnKTVh¥\`hdvn¬Wj{>M%TzdYâ\`HkM8LhpnkhpL8hÙUMUx ¡ f«ßGIHkMTVWYL8M*iKWYM%\´\`M*Xkn[M%b`hpMUTP\`HkM8hnKikX[\ÆWjnK¬dYX[\`ikX[\ TVhpYnKWYBWYbVM}WYTUê¤ h¥\`H\`HkMÆT`WjL8MLM}WjnkhpnkdYbI\`HkMÆl dvdvb`TUç .k
(35) L8MUWjnT"\VHkMÆTVhvnKWjhTI²YMUi[\.hpTVhp{kM ïqð L8MUWjnTI\VHkMrTVhvnKWjhT Hkhk[MUn
(36) ß /
(37) }[
(38) ï
(39) ó . ó 1 ó õ nghnkiKX[\]T´hpYnWjßl%WYn{>MrYhpYMUnW*kZ[M}WjpXkMrdvb"pM \ b`M%Mvç .k
(40) \VdpM \ \`HkMÆT´hpYnWjBHKWëYMrWYnq^WYXkM .
(41) ï¦\VdkZ\VHkMÆTVhpYnKWY\`d+tg¢ªWjp¤IWë^TIWY{KT´MUnq\m£ ï ô \Vd8kZ\VHkMÆTVhvnKWjB\`dgN+¢ªWjp¤IWë^T³ikb`MUTVM%nq\m£ KdYbPdYX[\`ikX[\ÆTVhvnKWjT%êB¤"M*XT´M8l dvdvb`T.\VdgT´MUM}lÅ\P\VHkM8dYXk\VikX[\rTVhvnKWjT.\`HKW\rHKWëvMÆ\`d{>MlmHKMUlm²YM}3Wjn ¤ HW\ ²hnKdYClmHkM}lm²hnkHKWvT"\Vd8{MÆkdYnkMvç .k
(42) L8MUWjnTInkdj\]TVM%pMUl \VMU .
(43) ï¦\VdlmHkM}lm²+h\`HkMÆT´hpYnWjBhpT.idqTVTVh{K^+nKdj\ M%L8h\´\VM} ï ô \Vd+lmHkM}lm²h¥C\`HkMrT´hpYnKWYhpT.idqTVTVh{K^+MUL8h¥\V\VMU . . . . %*' 0 ( #"$ $ %'%)+%-,/.102%-3 '. ¿¾ B\`HkM 4
(44) rbmWY[hpdj§¿{kX[\V\VdYnhTæT´M%\âdYn êj\VHKM%^^YdYXLWë^ hpnYdY²vM"\VHkM] ¡ fÝL8hpnkhpLhpÙUWj\VhpdYn{^*l%hlm²hnK dvnr\VHKM $ z{kX[\V\VdYn « *znKl%Mæ\`HkhpT{kX[\V\Vdvn hT hpnYdY²vMUê}\`HkMæKpM"{kbVd¤.TVM%b³¢ªTVM%MæYXkb`M"uv£hTi>dYiKiM}§¨XKi \`d TVM%pMUlÅ\"W*àâáBã KpM.nKWYLM]hn+¤ HKhplmH8\`d TVWëvMI\VHkM]LhpnkhpL8hÙUMU+ ¡ f« õ ·\`M%bâ\VHkM]KM]nKWjL8M]TVM%pMUl \VhpdYnßê WPiKWYnkM%[hTCi>dYiki>MU§¿Xki\Vdr[hTVikpWë^\`HkM b`MUTVXk¥\mTCdj\VHkM L8hpnkhL8hpÙUWj\VhpdYng¢ªTVM%M"KYXKbVMIwq£ « GIHKM³XKnKlÅ\`hdvnKWj T´\VMUiKT Wjb`MYç NY« GIHkMzl%dYL8ikX[\mW\`hdvndjB\VHkM]bVM}WYlmHKWY{kM.T´\`Wj\VM]TViKWvl M*ÐjÔK¹º½*µ Ch¥\"HKWYTânkdj\â{>M%MUnl dvL8ikX[\VM}8{M%dYb`MY« u[« GIHkMrL8hnKhL8hpÙUW\`hdvngdj \`HkMÆ ¡ f L8dkXkd\`HkMÆT´hpYnWjßTVM%pMUlÅ\`hdvnß« k« GIHkMrYMUnkM%bmW\`hdvndY \VHKMrbVM}T´Xk\.hpn\`HkMÆT´MUM}lÅ\`MU3àâáBãKMv« yzXkb`hnK\VHkM}T´MT_\`M%iKTUê>^YdYXLWë^hnq\`M%b`bVXkik\.\VHkM*L8hnkhpL8hÙ}W\`hdvnikbVd[l%MU[Xkb`M Wj\PWjn^\VhpLM*{^gl%hlm²hnK dvn\`HkM # %$){kXk\´\Vdvnß« õ {>dYbV\Vhpnk8\`HkMÆl dvLiKX[\`Wj\VhpdYnL8WY²YM}T 8 b`M \`XkbVnKhnk\`d*\`HkMÆT´\`W\`Mrh¥\.¤IWYT e_XT_\.{>M dvbVMP\VHKMrpWYXknKlmHkhpnk8dj\VHkMrikb`d[l M}[Xkb`MY« *znKl MP\`HkMrikb`dl%MU[XKbVMHKWvT l dYL8ikpM \`MU^YdvXLWë^Bç hnvdY²YM ä ßå3\VdM Z[ikpdYb`M]YbmWjiKHkhplUWjp^*\VHKMzL8hpnkhL8hpÙ%M} ¡ f«kGd*\VHkhT"M%nKêkl%hlm²8dYn\VHkM $ %-' 5$)-# &(')# 8{kX[\V\VdYn « [hT´L8hTVTI\`HkMrb`MUTVXk¥\ ¤ hpnK[d¤ {q^l phplm²hpnk8dYn\VHkM ( & $r{kX[\V\VdYn « kø D. FEG IH . 4 /.
(45) N}t. z¶ÒÍ]Ë]ÐjÜKÒ¹ºµ. . hvXkb`MzwçæGIHkMrL8hnkhpL8hÙ}W\`hdvnb`MUTVXk\IiWjnkMU . . %*' 0 ( 0 0 " % ' . " 0 .0
(46) %'. hpYXKbVM ,[çæGIHKMPdvX[\ViKX[\zT´\`W\`XKT lmHkM}lm²qhpnkbVM}T´XK¥\ iKWYnkM%¨« èéHkMUné\VHKM -xbmWY[hpdj§¿{kX[\V\VdYn¦hTTVM \dYnßê ^vdYX¦LWë^<hpnqvdY²vMg\VHkMdYX[\`ikX[\T´\`Wj\VXKT lmHKMUlm²hnK©{q^¦l phlm²qhpnk©dvn¦\VHkM $ {kX[\V\VdYn « õ Thn¦\`HkM¬ikb`M%hpdYXKTl%WYTVMYê W©b`MUTVXk\+¤ hn[d¤ hpT i>dYiKiM}§¨XKißê"WvT8hppXKT_\`b`Wj\VM}<hpn±KYXkb`M ,[«éGIHkMphpT´\+djT´hpYnWjT[hpTVikWë^YM}hpn°\`HkhTiKWjnKM%.Wjb`M\VHkM TVhpYnKWYpT]^YdYX¬HKWëYMT´MUM}lÅ\VM}ç \`HkM%^3WYbVMl dYpdYb`MUghpn¬b`MU¬dYbP{kpXkM*hpn3\`HkML8WYhniKWjnKM%¨« 8]M%b`MWYbVM \VHkM T´\VMUiKT"\VHW\]Wjb`MiMUb´dvbVL8M}ç %'. D. 76. A%.
(47) 8 ÒjÔz% kk Ì%Íŵ ³»mÒ¼¨µªÐÔ"Ô}µ·ÍVÐÔ¶8Ì%ÔK¼ Ì ÍmÛŵªÐÔ
(48) . NvN. YN « GIHkMrb`MUWYlmHWj{kpMPT´\`Wj\VMrTViKWYl%MPhT l dvL8ikX[\VM}h¥Ch¥\.HWYTInkdY\.{MUM%nWjpbVM}WY[^+l%dYL8ikX[\`MU« u[« kdvb MUWYlmHT´MUM}lÅ\`MU+dvX[\ViKX[\]T´hpYnWj¨êqh\ hpT lmHKMUlm²YM}+hh\.hpT"i>dvT`T´hp{kp^+M%L8h\´\`MUh¥ h¥\ hT l dvdvbVM}+hpn bVM}dvbInkdj\ M%L8h\´\`MUh¥Ch¥\ hT l dvdvbVM}hn{kpXkMY«c¾¿cW*bVM}¢ªbVM}T´iß«C{kpXkM룳TVhpYnKWY>hT"dYXKnKMUL8h¥\V\VMU ¢b`MUTViß«ænkdY\.M%L8h\´\VM}K£Åê>WjnM Z[MUl%X[\VhpdYn\`b`Wvl MM}WY[hpnk\Vd8\`HkMÆT´\`W\`M¤ HkM%b`M\VHkMrMUL8hpT`T´hpdYn¢b`MUTViß« nkdYnxM%L8hTVTVhpdYn£]hpTzdvXknKêßhTPM Z\VbmWYl \VM}« GIHkM\VbmWYl%M hpnxT`WëYM}hpn¬\`HkMá>UÁ·ì]í dvbVLWj\U« GIHkM nKWjL8M.dYB\VHkM M.hT
(49) $$ &-5 "h¥cÛŵ¥ÑYÔ>Òj¹ ÕÔ>Òj¶8ÌæhpTæ\VHkM.nWjL8M djB\VHKM]T´hpYnWjkXkn[M%b l dvnKT´h[MUb`Wj\VhpdYnß« õ T hn \VHkM"ikb`M%hdvXKT l%WYTVMYêë\`HkMIl dYL8ikXk\`W\`hdvn*lUWjnÆ{>M Wj{>dYbV\VMU W\cWjn^P\VhpLM"XKTVhnK]\`HkM #%$)z{kXk\´\Vdvnß« õ \"\VHKMPMUnKdjß\`HkMziKbVd[l M}[Xkb`MYê^YdvX+LWë^+[hT´L8hTVT³\VHKMPb`MUTVXk\"¤ hpnK[d¤éXT´hpnk*\VHkM ( & $z{kXk\´\Vdvnß« PUÁ·ì]í KpMUT*^YdvX©LWë^HKWëvM+YMUnkM%bmW\`MU©lUWjn{>MikWë^YM}¤ h¥\`Hkhpn 8 êC\`HkMz% Kk vb`WYikHkhl%WY TVhpL XkW\`dYb}«. . (0 %34'. hpYXkb`M 3kçcGIHkMrb`MUWYlmHWj{kpMzT´\`Wj\VM\VbmWYl%M¤ hnKkd¤r« *zi[\`hdvnKT]WYbVM*WëëWYhWj{KMrhpng\VHkM $)(# ( L8M%nXß«.GIHkMÆL8MUnqX¬M%nq\Vb`hM}T.Wjb`Mr\`HkbVMUM lmHkM}lm²v§¿{kX[\V\VdvnKT%ê M}WYlmH\VdTVM \ÅÞXknKTVM \.WiKWjbV\Vhl XKpWYb dYi[\`hdvnß«cGIHkMUTVMrlmHkMUlm²q§¿{kX[\´\`dYnKT WYbVMvç - )-') ")( h¥ßTVM \ædYn êj\VHKM%n+WP¤ hn[d¤°hTci>dYiki>MU[§¨Xki\`HKW\³khpTVikWë^T \`HkM. ¡ fÝLWjhpnlmHKWjbmWYl § \VMUbVhT_\`hpl]WjpXkMUTUçß\`HkM]nXkL*{MUbâdjßhpnkikXk\`TUêvdvX[\VikXk\`TUêqW\mlmHkMUTâWjnKph\VM%bmWjTcdY\VHkM] ¡ f©«v¾¿\"YhpYMUT L8dYb`M%dYMUbc\VHKMPnXkL*{MUb³dY b`MUWYlmHWj{kpM]T´\`W\`MUT"h h¥\IHKWvT³{>M%MUnl%dYL8ikX[\`MU«c hvXkb`Mr~ÆT´Hkd¤.Tâ\VHKhpT ¤ hn[d¤r« õ \.T_\mWjbV\´§¿Xkißê\VHKhpT dvi[\VhpdYnhT.T´M%\.d C« kø D. FEG IH . 4 /.
(50) Nëu. z¶ÒÍ]Ë]ÐjÜKÒ¹ºµ. 4-
(51) $' -'
(52) )-')-
(53) $ %'
(54) <h¥ßTVM \âdvnßêj\`HkM%n+W¤ hpnK[d¤±hpTâidviki>MU§¿Xki+WYTâT´ddYnWvT \VHkM]l%dYL8ikX[\mW\`hdvn. dj[\`HkMâb`MUWvlmHKWj{kpMæT´\`W\`MUT hpT T_\mWjbV\VM}« ¾Õnr\`HkhTlUWYTVMYêU\VHkM³¤ hnKkd¤khpTVikWë^TW.TVM \dYkhnkdYb`L8Wj\VhpdYnKT dYb"MUWvlmH+T_\`M%i+dY\VHkMzbVM}WYlmHKWY{kM.T´\`Wj\VMPT´iKWvl M]WYvdYb`h¥\`HkLg« õ \IT_\mWjbV\´§¿XkißêY\VHkhT"dYi[\`hdvnhpT"T´M%\³d «
(55) "éhâT´M%\]dYn êk\VHKM {KWYpddYngHkM%pi3TV^T´\VMULÝkhpTVikWë^T]W+T´LWYߤ hpnK[d¤¤ h\VH¬W8HKM%pi\VM%Zq\ ' $ # # dYbz\VHkM*LWjhpn3{kX[\V\VdYnTzWYnK3Wjb`MUWvT djc\`HkM vb`WYikHkhl%WY hpnv\`M%bVªWYl%MY« õ \T_\mWjbV\´§¿Xkißê\VHkhT]dvi[\VhpdYn¬hpT T´M%\.dYnß«. hvXkbVM ~[çCGIHKMÆ ¡ f T´\`Wj\VhT_\`hplUTI¤ hn[d¤r«. . . . /0 02%' . GIHKM%b`MWYbVMz\VHKbVMUMrMUYM%T"djCHkM%piß«. hvXkb`M K4 çæGIHkM [ HkM%pig¤ hnKkd¤r«. %'. D. 76. A%.
(56) 8 ÒjÔz% kk Ì%Íŵ ³»mÒ¼¨µªÐÔ"Ô}µ·ÍVÐÔ¶8Ì%ÔK¼ Ì ÍmÛŵªÐÔ
(57) . N}. ï .(/¦ ï > ò ô óò l%X[\ hpnv\`d3T´M}lÅ\`hdvnKT%«G dhpnYdY²vM8h¥\}êXKTVM\`HkMM%nq\Vb`^¬L8MUnqX -
(58) -
(59) -
(60) « GIHkMrHkMUig¤ hpnK[d¤ \`HKW\.hTIi>dYiki>MU§¿XkighT.T´HKd¤ nhpnYXkb`M 4k« ó ñ . ï ï .(/ dvbP{>M%vhnKnkM%bmT%çPGIHkhTzHKM%pihTPM%nKWY{kM}3¤ HkMUn¬\`HkMlmHkMUlm²q§¿{kX[\V\VdYn
(61) ( $-
(62) % -#1
(63) ÆdYn8\VdvidjB\VHKM]LWjhpniKWjnKM%KhTâTVM \³dYnß« õ HkMUi8\`M Z\³hTâkhpTVikWë^YMUdvn+WrL8MUT`TVWYYMI¤ hn[d¤ W\MUWYlmHLWjhpn©XknlÅ\VhpdYnlUWjppTU«3GIHkMhn[dvbVLWj\VhpdYn¤ hn[d¤ hpT*WjX[\`dYLW\`hplUWjp^[hTVlUWjbm[MUW\ MUWvlmHnkM%¤XknlÅ\VhpdYnl%Wjp¨«.GIHkM XKTVM%bPl%WYn3WjT´d+[hTVLhT`T]h\zLWjnXKWYp^Y« õ \PT_\mWjbV\´§¿Xkißê\VHkhT]HKM%pi hpT]T´M%\Id « . . ó ó ï (. /âõ {WjpddYn©HKM%pi©¤ hnKkd¤ WYiki>MUWjbmTrdvn©\VHkML8WYhn<{kX[\´\`dYnKT*WjnK<Wjb`MUWYTdY \VHkM hnq\`M%bVªWYl Mv« ¾¿\PWYikiM}WjbmT.W+TVHkdYbV\][MUpWë^¢ªWY{dvX[\zHKWY¥æW+TVMUl%dYnK£ W·\`M%b.\`HkM*l%XkbmT´dvb.HKWYT.M%nq\VMUbVM} WjnKxL8dYM}3hpnKTVhp[M+W{kXk\´\VdvndYbÆWjnWjb`MUW¤ HkMUbVMW{KWjppdqdvnHKM%pixhTr[M%KnkMUß«+GIHkM{KWjppdqdvn HkM%pighpT khpTVikWë^YMUd ¬¤ HKM%n\VHkMÆl%Xkb`TVdYb"pMUWëYM}T³\VHkMr{kXk\´\VdvngdYb"\VHkMÆWYbVM}WkêdYbIh ^vdYX\_^qi>MÆWjn^ ²YMU^dYng\`HkMƲvM%^{dqWjbm« õ \PT_\mWjbV\´§¿Xkißê[\`HkM {KWYpddYngHkMUihT.WYl \VhpW\VM}« G d+TVM \zh¥\]d ê>[hTVWY{kM \VHkMÆlmHKMUlm²q§¨{KX[\´\`dYnM%nq\Vb`^+L8M%nX $)(# ( ' $ #$# -
(64) B«
(65) @B # Æ!" $$ 0 õ T"ikbVMUhdvXKT´p^LMUnq\VhpdYnkM}êq\VHkMz\VddYT ä ßå3WYnK 8 ]Wjb`M]hpnv\`M%bVªWYl%MU¤ h\VH \VHKbVdvXkYH\`HkMzKM dvbVLWj\`T.àâáBãWjnKáB%Á·ìzí b`MUTViM}lÅ\`hvM%p^Y« ( 2 . %*'+$ %'%)+%-,/ #" $. *znl McL8hnKhL8hpÙ%MUßê}^vdYXl%WYnlUWjp ä ßå*\`d.[b`W뤬\VHkM³ ¡ fYbmWjikHP{^zl phlm²qhpnk dvnz\`HkM $ %-' 5)-# &(' )-# {KX[\´\`dYnß« ä ßåWjiki>MUWYb`T WYTCWzL8M%nX[§¿{KWjbcWjn*[hTVikpWë^[T WP¤ hnKkd¤¤ h¥\`HWPTVhnkvMIT´\`W\`M WjnK*nkdz\VbmWjnKTVh¥§ \`hdvnß« ä ßåghpnqh\VM}Tc^YdvX*\`dÆM Z[ikpdYb`M T_\`M%i{^8T_\`M%i8\VHKM] ¡ fÝYbmWjikH «Gd [dÆTVdKêYiKbVM}TVTC\`HkM.L8dYXT´M pM ·\ {KX[\´\`dYndYnWT´\`W\`M]\`d*M%Z[ikdvbVMWjn+¤ HkhpMP²YMUM%ikhpnk*\VHkM{kXk\´\VdvniKbVM}TVTVMUê[bmWj*\VHkMPL8dYXKTVMz\VdT´dvL8M i>dvTVh\VhpdYn©¤ HkMUbVM ä ßåéTVHKWjp³[bmWë¤6Wjb`dYXkn Ò¹·¹ß\`HkMTVXKlUl MUT`TVdYbmTrdjI\VHKMT´\`Wj\VMWYnK\VHKM+\VbmWjnT´h\VhpdYnKT pMUWv[hpnk\Vd\VHkMULg«öCZ[ikpdYb`MUxT_\mW\VM+WYbVM[bmWë¤ n¬¤ h\VHWgTVhnKYpM8l%hbml pM8¤ HkhpMXknKM Z[ikpdYb`MUdYnkM}TrWjb`M kb`Wë¤ n¤ h¥\`H\_¤³drl hpbml pMUTU« hvXkb`MrNUtT´HKd¤.T TVM%vM%bmWj[[bmWë¤ hnKvT dj>\VHkM.T`WjL8M ¤ hpnK[d¤±l dYb`b`MUTVidvnK[hpnk \`dT´XKlUl M}TVTVhvMPT´\VMUiKT dYM Z[ikpdYbmW\`hdvnß« " %*) .02%*'!#" 02%-3 ' " $ ' . 8 hTW&.% §¿¤ hpnK[d¤ TVhL*XkW\Vdvb dvb+z% Kk ikbVdvYbmWjLTUêc¤ HkhplmH±T´XKikidvb´\mThnq\VMUb`WvlÅ\`hvML8dYXKTVM § {WYTVMUÆTVhL*XkW\VhpdYnWjnK*T´dvXkbml M³l%d[[M"TV^L {>dYphpl³[M%{KXkYvhnk«GIHkM z% kk l d[[M"L XT_\c{>M"l%dYL8ikhpM} ¤ h\VH\VHkM ' &5 dvi[\VhpdYn êv¤ HkhlmHvM%nkMUb`Wj\VM}T #±l d[[Mv«cGIHkM%nl dYL8ikhppM.\VHKM%#¦l%d[[M.\`d*vM \"WYn+dY{ke_MUlÅ\ l%d[[MPKMv« æ dYXlUWjng{kXkhppgWYnKbVXkng^vdYXkbId¤ nM Z[MUl%X[\`WY{kMÆTVhpL XkW\`dYbIhng\_¤"d[h >MUbVMUnv\.¤IWë^[T%« æ dvX lUWjn¬khb`MUl \Vp^phpnk²^YdvXkbP kK ikb`dYvb`WYL dv{[e_MUl \Pl%dkMÆ\Vd\VHKM )(
(66) '8ph{kbmWjb`^WjnK3bVXkn¬\VHkM ( . Ki bVd[[XKl%MU¬M Z[MUl%X[\`WY{kMvêßdYbP^YdvXlUWjnxXKT´M*\VHKM 8 l%dYL8LWjnK« ¡ hpnKl MTVhL*XkpWj\VhpdYndY{[e_M}lÅ\KpMUTl%WYn {>M*oqXkh\VM {khêXT´hpnk 8 hTzikbVM%M%bmWj{kpMr¤ HkMUnkM%vM%b]i>dvT`TVh{kpMY« èéHKM%n3hpnKTVhp[M jê>^YdYX3lUWjnhpnYdY²vM \`HkM\`WYiMriKpWë^vM%b Þëb`MUl dvb`kM%b³WYpd¤ hpnk+z% Kk TVMUT`T´hpdYnTVWëhpnkWjnKikWë^{KWYlm²B« õ \`WYiMrhT.WKpMrhpn \`HkMl%XkbVb`M%nq\Æ[hpbVM}lÅ\`dYb`^Y«¾¿\l dYnq\mWjhpnKTbVM}l dvb`[M}¬MUYMUnv\mTrhpnl%TVhL*XkcdYb`LW\}«¾¿\`T nKWjL8MhTr\`HkM\`WYiM kø D. FEG IH . 4 /.
(67) NUw. z¶ÒÍ]Ë]ÐjÜKÒ¹ºµ. nWjL8M¤ h\VH¦M%Zq\`M%nKTVhpdYn $ &-5 K«GIHkMM Z[MUl%X[\VhpdYn¦TVMUoqXkM%nl MUTvM%nkMUb`Wj\VMU{q^\VHkMgdYXk\VikX[\+T´\`Wj\VXKT lmHKMUlm²hnK+Wjb`MÆT´XKlmHKpMUTU« ¡ d+^vdYXl%WYnikpWë^\VHkMT´M}oqXkM%nKl%Mrhng\`HkM*TVhpL XkW\`dYb}«IfgdvbVMUdYMUbUêq\VHKMÆ\`WYiM iKpWë^vM%b Þëb`MUl dvb`kM%bæikb`dhpkMUTI[h >MUbVMUnv\.iKpWë^+L8d[[M}Tr¢ªT´\VM%ig{^T´\VMUißêKTVhpM%nq\UêªWvT_\}êß«p««ÿ£Å« +#$ÆC & + , ¾Õn\`HkhpT]T´M}lÅ\VhpdYn ê[¤³MÆTVHkd¤(HKd¤ \VdvM%b`h¥^WTVLWjp TV^qnlmHkbVdvnkdYXTâ{kXT.Wjb`{kh\VM%b ¤ b`h\´\VMUnghn3z% kk XT´hpnk [ « #". ) - . " ) . % 0 GIHKhpT M ZkWYLiKMI¤IWYTdYb`hvhnKWYp^P\Vb`MUWj\VMU hnfl fghpWjn T\VHKMUTVhpTUê A 4#CKWjnKWYkWYi[\VM}Æhpn8P kK hpn A w C¨« #³dvnKTVhp[MUbP\VHkM8dvpd¤ hnKhpn[dYb`LWjcTViM}l hl%Wj\VhpdYnßç õ bmWjnkvM*dY³XKTVM%bmTPL8Wë^l WjhpLWYlUl MUT`Tz\VdW{kXKT \`Hkb`dYXkvH*hpnkikX[\³¤ hb`MU T
(68)
(69) K« õ \æL8dvT´\ædYnKM"b`MUoqXkM}T_\`MUWYlUl MUT`TCL XT_\æ{>M YbmWjnq\VM} ¢FW\IdYX[\`ikX[\I¤ hb` M "!$#&%(')%(* £âWj\³MUWvlmHT´\VM%i êWYnKM%Z[WvlÅ\`^8dYnKMzhpnl%WvT´M]\VHkMUbVMzhpT"M >M}lÅ\VhpYMU^WYn WvlÅ\`XKWjb`MUoqXkM}T_\}« öæWvlmHXKTVM%b TVHKWY³{Ml dYnKnkMUl \VMUx\`dW<»mÌ%¹·¹º«¬öæWvlmHl MU"bVM}l MUhvMUTÆWb`MUoqXkM}T_\r\`Hkb`dYXkvHWjn©hpnkikX[\ TVhpYnKWY 4-
(70) ,+5-
(71) ").- B« ¾¿\ Wvlm²nkd¤ M}[YM}TC\VHKMWvl%l%MUT`Tæ\`d*\`HkMP{kXKT"\VHKbVdvXkYH\`HkMdYX[\`ikX[\.TVhvnKWj /5)B« õ \Vdv²YMUnbVhpnk hT"hnq\`bVd[[XKl%MU8dvb"WƪWjh\VHWjnK+TV^L8LM%\Vb`hplzT´dvXk\VhpdYnß« õ W\mlmHhTâhpnq\Vb`d[[XKl M}hpnMUWvlmH l%M%p dvb.\`HkMÆ\`dY²YMUn3iKWvTVTVhnKK«.GIHkMl M%pCWjnK3W+nkM \_¤"dYb`²dYæl MUT]WYbVM hpXT_\`b`Wj\VMU3hnYXkb`M |k«zèM TokenOut. GrantOut GrantOut AckOut1 RequestIn1 TokenOut Cell TokenIn GrantIn. RequestIn. AckOut. GrantOut AckOut2 RequestIn2 TokenOut Cell TokenIn GrantIn. GrantOut AckOut3 RequestIn3 TokenOut Cell TokenIn GrantIn TokenIn. GrantIn. hvXkb`M|KçæGIHkMrl hpb`l%Xkh\`TIdvb.Wl%M%pßWjnKgWb`hnk8dY 8l MUT%« HWëYMz\VdM%nT´Xkb`MP\VHKWj\Uç %'. D. 76. A%.
(72) 8 ÒjÔz% kk Ì%Íŵ ³»mÒ¼¨µªÐÔ"Ô}µ·ÍVÐÔ¶8Ì%ÔK¼ Ì ÍmÛŵªÐÔ
(73) . N ,. YN « G ¤"d8XKTVM%bmT l%WjnnkdY\]WYl%l%MUT`T³\Vd\VHkMr{KXKT.TVhL*Xk¥\mWjnkMUdYXKTVp^Y«p« u[«I¾¿B\VHkMUbVM hTæTVdYL8M bVM}oqXkMUT´\æhn\`HkM.b`hnkê\VHKM%n+WjnWvl%l M}TVT \`dr\VHKM {kXKTæhTcdv{[\`WYhnkM}{q^T´dvL8M XKT´MUbU« k«I¾¿æW*XT´MUb.hpT]l dYnT_\mWjnq\Vp^+b`MUoqXkMUT´\Vhpnk\VHKM%nh\.M%YMUnq\VXKWYp^WYlUl M}TVTVMUT"\`d8\VHkMr{kXT.W\]TVdYL8Mri>dYhpnv\ hn\`HkMX[\VXKbVMv«« GIHKMÆikb`dYi>M%bV\VhpMUTrN WYnK3uWYbVMÛ%Ò Ì ¼¨½rdYnkM*WjnKgikb`dYi>M%bV\_^[8hpTzWphvM%nkM}TVT dvnkMY« ¾ÕngªWvlÅ\}êK\`HkM phvM%nkM}TVT iKbVdviMUb´\_^ l%WYn{>MÆ{>dYXknKkMU{^\VHkM nqXKL {>M%b djCXKTVM%bmTIhn\`HkMrbVhpnkêk¤ HkhlmHhTI\VHKMrL8WjZ[hLWjB\`hL8M dvb \VHkM"\Vdv²YMUnÆ\VdP{>M"b`MUl%M%hpYM}r{^r\VHkMIl dvnKT´\`Wjnq\`^rb`MUoqXkM}T_\`hnkPXKTVM%b}«GIHkM z% kk TVdYXkbml M³ikb`dYYbmWjL dvb.W8l M%pßhT%ç -#15
(74) &-
(75) &(
(76) )( )/' $
(77) $ %-#
(78) $ &(# 15
(79)
(80) $ $$5)4
(81) ,+5
(82) ).- %-' ).- - #"/
(83) $- # 5) $5$) %-' )-5) #"/-
(84) "5) /5)
(85) -
(86) % &$&(
(87) 1 "')-
(88) %-' ).- #% - #"/-
(89) .-
(90) 1#
(91) -1. $%-
(92)
(93) $) 4-
(94) ,+5-
(95) ").- )
(96)
(97) & ) /"5)
(98) $ -
(99)
(100) & ) %-' $)5)
(101) -1. .
(102) -
(103) % &$&(
(104) 1 "')-
(105) -# /-
(106) $- 1$# ' ' ))( /
(107) & ) -#"/
(108) 5)
(109) -1 GIHKMTVhpYnKWY%-' )"5)hpT]W*¤IWë^8\Vd´iKWvTVTIWYbmWjnq\WjpdYnk*\VHkMrb`hpnkbVdvL6\VHkM\`dY²vM%nHkdY[M%bI\`d8\VHkM. b`T´\âXKTVM%bâ\VHKWj\³hTâb`MUoqXkM}T_\`hnkrhpn\`HkMzT`WjL8M.hpnKT´\`Wjnq\}êv¤ HkMUnkM%vM%bâ\VHkM]\VdY²vM%nHkdvpkM%bâhTænKdj\³b`MUoqXkM}T_\`hnK hpn\`HkM*hpnKT´\`WYnv\}«PGIHKM YbmWjnq\zWYpd¤.TI\`dWvl%l M}TVT.\VHkM*{kXKTz¤ h¥\`HkdYXk\PHKWëhpnk\`HkM \`dY²vM%nß«PGIHkM vb`WYnv\zhpT b`MUl%M%hpYM}\VHKbVdvXkYH\VHkMÆTVhpYnKWY %-' ).- « GIHkMÆz% Kk ikb`dYvb`WYL TVdYXKb`l%M]dvb.W8bVhpnkdjCw8l%M%ppTIhTUç. 15 &$& /& # 15
(110) /)#) %-# 5) &(# 15
(111) - ) # 5) $5$) -#"/-
(112) . ' )-# -/
(113) )
(114) %( ) ' ) ) -
(115) ! % ") ( )-' ).
(116) & ) -#"/
(117) -
(118) & # 15
(119) /) ') &
(120) &(
(121) ) )
(122) $5(/'% )-
(123) % ( )
(124) $ -%#
(125) $%5$$ '%' $
(126) ' -1 # 5%-
(127) )- ! # % ' $5(/'
(128) $ &(# 15
(129) $% )
(130) % $$5)4
(131) ,+5
(132) ).- 4-,
(133) +5-
(134) ").- 4-"
(135) +5
(136) ")- 4-
(137) ,+5
(138) -").- . kø D. FEG IH . 4 /. .
(139) N3. z¶ÒÍ]Ë]ÐjÜKÒ¹ºµ. # 5) $5$) /5$) /5) /"5) /5) . '$ % 5$ - ( ) ' -# /-
(140)
(141) % 5$
(142) $ $ ' 4-
(143) ,+5
Documents relatifs
constat, unanime en Colombie, que la résolution des conflits par élimination de “l’opposant” est l’une des caractéristiques de la violence nationale. Première
Automatic test data generation, structural testing, constraint solving techniques, global constraints 1.. Structural testing techniques are widely used in unit or module testing
It is obvious that the steel showed the plastic strain memory effects at each test temperature, in other words, in spite of the hardness of the steel cyclic stress,
Les cités et leur territoire d'influence sont administrées par de puissantes familles, celles de l'aristocratie terrienne et marchande, qui tirent leur légitimité de
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
In this paper, we have defined the steady-state control problem for MDP, and shown that this question is decidable for (ergodic) MDP in polynomial time, and for labeled MDP
Trois autres échantillons du pool CHAT étaient également gardés au Center for Disease Control et ont été inclus dans cette analyse (CHAT pool 13, CHAT type 1 Wy4B-5, CHAT 1FL)..
Un habitat de La Tène moyenne et finale à Berry-au-Bac au lieu-dit “ Le Chemin de la Pêcherie ” (Aisne).. Jérôme Dubouloz, Michel Plateaux,
