Program Supervision : Yakl and Pegase+ Reference and User Manual
Texte intégral
(2) INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE. Program Supervision: YAKL and P EGASE+ Reference and User Manual Sabine Moisan. N° 5066 December 2003. ISSN 0249-6399. ISRN INRIA/RR--5066--FR+ENG. THÈME 3. apport de recherche.
(3)
(4)
(5)
(6) "!#%$'&)(
(7) *+-,.(/ 01234%56 %$879;:<= %> A? @CBADFEHGIKJCDFLM@CE NPORQS=TUVXWZY\[]T_^a`cbd[aegfcYORfcShS=TijSk`lbmOnegYRTco epSk`rqcT_s_outRflYRYRv_T_s_oRbfcYRYn`rewsas]`lYnbTMs x.^]flyzT[|{|^aegfcY }4`l~R~fc^[4tT^aT_bmORT_^abmOnTYCH rclVX|T_bTSCT^rlcUV8M\~n`rqcT_s. % _3Rll NPORewstfbnShT_Y\[6tT_sab^aepTMsbfcYnbT_~[as`lYnth[]fufcpsH[aOn`3[66T4O`lT4tT_lTpfl~CT_t fc^.[]ORT¢¡£]¤r¥ £]§r¨ª©d«¡R¬£dM®w©d®¯¤3°%[a`cs±³²4NPORT´^as[¢~n`l^[¢ews¢`
(8) ^]T T^aTYnbTSk`rYun`rjonOnepbmOµepY\[]^afutRnbTMs[]OnTbfcYnbT_~[as ep¦ YulfcgcT_tegY+[aOReps[a`cs±+`ls¶Tp`cs[]OnT
(9) ~R^afl~Cfcs]T_t ±uYRf3gTMtqlT=w`rYRqcn`rqcTk`rYnt+epY T^aTYbT
(10) T_YRqlepYRT=[]f `cbmORepTlT
(11) []ORews[a`ls]±³²·NPORT¸sTMbflYt¹~n`r^][ews=`ºns]T^M» sSk`rYun`lFoORepbmO"tT[m`reppshCfr[]O-[]ORT¸¼¢½¾¿ÀtTi sab^aep~[]epflY
(12) w`rYnqln`lqlT|`lYntk[aORTÁ¢ÂnýÄ_ÂnÅÆT_YRqlepYRTl²HWÇ[`rwsf~R^af3\ewtTMsTÈ`lS=~RgTMs6`lYnt
(13) S=T[]ORftfcgfcqlewb`r ^aT_bflS=S=TYntn`3[]epflYs[afktTcTpfl~¸`~n^]fcql^m`rS;s]R~T_^]uewsepflYÉsÊs[]T_SËeg[]O¸¼¢½¾A¿h`rYnt¸Á¢ÂnýÄ_ÂnŲ ̵Í\γÏaÐÑ 3ÒAl ~R^]fcql^m`rSÓsn~T_^]uewsepflYÔo³±uYRf3pT_tqcTiÇn`ls]T_tµs]Êsz[aTSks_oC±uYRf3pT_tRqlTtRT_sab^aeg~[aegfcYÀw`rYi qcn`rqcTlouepY T^aTYnbTTYRqcegYRT. 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.
(14) > %$ %AA 1 h %4> $% 24%56 $ A>_A $É +"! Ó&)(k*¹·,(. TtRfubRS=TY\[tv_b^]eg[¶pT_sPbflYnbT~[ms6T[¶pT_s¶fc[]epps\RTYRfls6`cflYns6tvcTpfl~R~Cv_s¶~CflR^¶p`.
(15)
(16) [lbmORT¶tT¡C® g¤ Z§ ¦ ¬ l¬H¡C£]¤ ¦ £]§r¨¨k¬©m² `¢~R^aTS=egQ_^]T~n`r^][]epTTMsz[HRYSk`rYuRT_\tRT6^av v_^]T_YnbT \ReuepY\[]^afutRRe [ pT_sbflYbT~R[astRTÀbT[[]Tº[ lbmOnTlo4`repYns]e \RTºpTºw`rYRq\`rqlTµtTtT_sab^aeg~R[]epflY T[ÉgTµS=fr[aTR^Ét » egY v_^]T_YnbT \RTÀYRflns%~R^afl~Cfcs]flYns
(17) ~fcR^w`¹^av_`rpewsT_^_² `·sTMbfcYntTº~n`l^[aegTÀT_s[%RY Sk`lY\nT|tÔ» [aegpews]`r[]epfl! Y \Re tRv[a`legppT4gT|p`lYRqc`lqlT¼¢½¾¿T[6pT¢S=fr[aTR^PÁ¢ÂnýÄ_ÂnŲ T[][]T¢~`r^][]epT4~R^afl~Cfcs]T4`rnsaseCtT_sTÈTS=~RpT_s6T[ tRT_s¶^]TMbfcShS=T_YntR`3[aegfcYns¶S=v[]OnfutRflpflql"e \RT_s6~CflR^4tv_lT_gfc~R~T_^PRYÉs]Êsz[aQS=TtT~Regpfr[m`rqcT|T_Y%[aegpews]`lYc[ ¼|½¾¿T[|Á¢ÂnýÄ_ÂnŲ # Ñ M Ï % $
(18) º ~Reppfr[a`lqlTtRT~R^aflqc^a`lS=ShTMsoCsÊs[]Q_ShTM's &n`ls]TtT=bfcYRYn`lepsas]`lYnbTMsop`lYRqc`lqlTtRTtTMszi b^]ep~[aegfcYÉtTMsbfcYRYn`rewsas]`lYnbTMsouS=fr[aTR^4t » epY v^aTYnbT.
(19) ¼|½¾¿À§3° ÀÁ¢ÂnýÄ_ ¬¬£a¬°a¬§3° ©¬£ À§3°n«n§ U.
(20) % $ PN ORews4tfbRS=TY\[¢tT_`lpsPeg[]OµbflYnbT~[ms`rYnt[]fuflwsPepY%¡C£]¤ ¦ £]§r¨Ë©d«¡R¬£dM®w©d®¯¤3°² NPORT£]¬¬£]¬°m¬¨k§3°«n§repY\[]^afutRnbTMs.[]OnT¢bfcYnbT_~[asfr []OnT¢~R^aflqc^a`lS sn~T_^]uewsepflY=[m`ls]±h`cs.6T_g³`ls [aORT~R^afl~Cfcs]T_tp`lYRqln`lqlT`rYnt%TYnqlepYRT[]fk`lbmOnegT_lT|[]ORewsP[a`cs±³² x.^aflqc^a`lS s]R~CT^aueps]egfcY·ewsh`º[a`cs± []O`3[=epshns]n`rppÊ+`cbmORepTlTMt+uÊ·`ºOuRSk`rY"T_egYRqo`rYt¹ORewbmO b_`rY T`r[aflSk`3[aT_t"\Ê"sfl [z¶`l^]TÉ[]fufcps_² NPORews=[a`cs±·epS=~RpegTMs=[]f¹Sk`rYneg~Rnp`r[]Tm¤3°m¬z¡ F©doPs]nbmO `ls tn`3[a`no ~R^aflql^m`rSks_oCs]T \RT_YnbTMsfr~R^aflqc^a`lSkso³T[mbr²hNPORT[m`ls]±µeps~n^]TMsT_Yc[aT_tµepY+bmOn`r~[aT^=l² T=On`cT q\`3[aORT^aT_t[]ORTPns]T RbflYbT~R[asHepYh`lYh`lnsz[a^a`cbd[HqlT_YRT^m`ruS=ftTORewbmO[]Ouns.tTMs]b^]epTMsA[]ORT ~R^aflql^m`rS s]R~CT^aueps]egfcYkflY\[]fcgfcqlÊ d²NPORTS=futRTjoutRT[a`legpT_tegYÉbmOn`r~R[]T^ou`rws]fRYntRT^agepYRT_s[]OnT|Sk`repY^aT_`csfcYRepYRq ~nOn`ls]T_s
(21) []On`r[É`r^aTÀ`l~R~RpegTMt ORegpTÀ~CT^] fl^aS=egYnq¹[]ORTÀ[a`cs± fr~R^aflqc^a`lS s]R~CT^a\ews]egfcYÔ²WZY fc^atT_^k[]f tRT_sab^aegCT`lYnt Sk`rYRep~RRw`3[aTÀ[aORT`lns[]^m`lbd[¸bfcYnbT_~[as_o4¶TÀYRT_T_t`·[]^m`lb[a`rngTº^aT~n^]TMsT_Yc[m`3[aegfcYÔo® ¬ s]flS=ThsÊuY\[a`rȳ²NPOnT=s]ÊuY\[a`3ȵews`S=T_`lYns|[]f¸bfcY\cTYRepTY\[agʵtTMs]b^]epT[]OnThbflYnbT~[ms|TÈeps[]epYRqÉegY[]ORT [aORTfc^]T[]ewb`lS=ftTj²NPOnTh¼|½¾¿w`rYRqcn`rqcTegY\[a^]ftnbT_tegY bmOn`r~R[]T^Uno ~R^]f3uewtT_s`ÉsÊuY\[a`rȵ fl^[]ORT bflYnbT~[ms
(22) epY fln^S=ftTj² WÇ[ÉepsT_`ls]Ê"[]f-^aT_`ct fl^É`¹OuRSk`rY CTepYRq-`lYnt `rY `l[]fcSk`3[]ewbº~`r^msT_^ O`lsT_TY+tTcTpfl~CT_tº[]On`r[[a^a`lYns]p`r[]T_s|eg[epY\[]fµbfcS=~R[]T_^tR`3[m`%s[]^anbd[aR^aT_s|[]On`r[b`rYT=Sk`rY`rqlTMt uÊÀs]fr [zP`r^aT[]fuflws²hWZY+flR^`l~R~R^afc`cbmOµ[]f¸~R^aflqc^a`lS9sR~CT^aueps]epflYº[aORT=[]fufcps`l^]Th±uYRf3gTMtqlTij`ls]T_t s]Êsz[aTSks|¬° ® °C¬©H[]On`r[6S=epShewb¢[]ORTsz[a^a`r[]TqcÊfl`rY
(23) TÈu~CT^][epY
(24) [aORT¢ns]T4fl []ORT|~R^]fcql^m`rSks_² 4YTYRqcegYRT ~CT^] fl^aSks`l¦g6[]ORTÉ^aT_`ls]flYnegYRqµ~nOn`ls]T_septT_Y\[]eg´nT_t-egY¹[aORTÉShftT_F²·{|YRT
(25) ~`r^][]ewbRw`r^TYRqcegYRTco.Yn`rS=TMt Á|ÂnýÄÂÅo6ews
(26) tT[a`reppT_t egY bmOn`l~[]T_^ n² WÇ[ms
(27) `rpqlfc^]eg[]ORS ewskepY bmOn`r^aqlTÉfr[]ORTµ^aT_`csfcYRepYRq `lYnt"[]ORT bflY\[]^aflppegYRqhfr[]ORTs[]^anb[]R^aT_s_oR`lb_bfl^mtepYRq[]fh[]ORTnYntT^apÊ\epYRq=S=ftTj² WZYÀ[]ORTÉ«u©¬£ ©¨k§3°«n§ ~n`r^][_o bmOn`l~[]T_^ k~n^]TMsT_Yc[ms4[aORT Rg.s]ÊuYc[m`3ȵfr¼|½¾¿`rYntº[]ORT^]T \Reg^aTi S=T_Yc[ms fl^A[]ORTP~n`l^as]T!^ M[a^a`lYns]p`r[]fl^Mo`lYntbmOn`l~[]T_^.|s]RS=Sk`r^aeps]T_sS=T[]OnfutRflpflqlewb`ll^aT_bflS=S=TYntR`r[]epflYns [af%tT_lT_gfc~À`
(28) ~R^aflqc^a`lSªs]R~CT^a\ews]egfcYÀsÊs[]T_S1eg[]O¼¢½¾A¿
(29) `lYntÀÁ¢ÂÃÔ½Ä_ÂnŲ On`l~[]T_^kegpgsz[a^a`r[]T_s fcY+TÈR`rS=~RpT_sOnf3 [aORTS=T[aORftflpflqcÊÀb`lY¹T%`r~R~RpepT_t+`rYnt¹bmO`r~[aT^¸qcegcT_s`µs]egS=~RpTbflS=~RpT[]T TÈR`rS=~RpTfr`º±uYRf3pT_tqcT
(30) n`ls]Tl² On`l~[]T_#^ "ÀqleplTMs`lY·f3lT_^]uepT fr[aORT%qc^a`l~RORewb
(31) ns]T^hepYc[aT^]¯`lbT [aOn`3[|eps~n^]f3uewtT_t%[]f=[aORTTÈu~CT^][as[]f
(32) R^af34s]T`lYntÉS=futRe ʸ`k±uYRf3pT_tqcT`ls]Tlon`cs6T_g`lsP[afk[]^m`lbT `lYµTÈT_b[]epflYµfl`k±uYRf3gTMtqlTij`ls]T_tÉsÊs[]TS¸%² $AegY`rpgÊcoCbmOn`l~[]T_^_
(33) ~R^]f3uewtT_s4egY fc^]Sk`r[]epflYµ`rCfl[ Onf3 []f=epYns[a`rp`lYntsT`lg³[aORT[]fuflws_²HN¶f=`l~R~CTYntegÈT_s`l^]T`ltntT_t fl^S=fl^aTegYR fl^aS=`r[]epflY¸`rCfl[ ¼|½¾¿tRTYRfl[a`3[aegfcYn`rsT_S=`lY\[]ewbs`lYnt=`rCfl[[aORT4peps[fr ~CfcsasepRpTT^a^]fc^.S=T_sas]`lqlT_sA[aOn`3[6S=`ÊOn`r~n~T_Y tRR^]epYRq=~n`l^as]egYnqfl' &½¾A¿hsfcR^abT¢´gTMs². ((*),+.-0/0101.
(34) . §® °C¬ À¤3®w©§3°. '(. .
(35) ¼|½¾¿À§3° ÀÁ¢ÂnýÄ_ ¬¬£a¬°a¬§3° ©¬£ À§3°n«n§ .
(36) . ((*),+.-0/0101. .
(37) . §® °C¬ À¤3®w©§3°. '(. .
(38) ¼|½¾¿À§3° ÀÁ¢ÂnýÄ_ ¬¬£a¬°a¬§3° ©¬£ À§3°n«n§ . . . . .
(39) . . . . . ORTkns]T=frPTÈeps[]epYRq¸pegR^m`r^aepT_sfr¶~R^aflql^m`rSksOn`csTMbflS=T
(40) `¸b^aeg[]ewb`r.^aT_s]fln^abTepY+S=`lYuÊÀtewszi beg~ngepYRT_s_²uT_lT_^a`lte!CT_^]T_Yc[gepR^m`r^aegTMsfr~n^]fcql^m`rSksPOn`lTT_TYÀtT_lT_gfc~TMt¸egYÀtRflSk`repYns4pep±lTs]egqcYn`r ~n^]fbTMs]s]epYRqnoepSk`rqcTÉ~n^]fbTMs]s]epYRq`lYnt s]begT_Yc[ae ´CbÉbflS=~R[aegYnqn² NPORT_s]T¸gepR^m`r^aegTMsbflYns]ewsz[kfr` p`l^]qcT YuRST_^frHbflS=~RpTÈ%~R^]fcql^m`rSks_o\^aeg[[]T_Y%uÊs]~CT_bew`rpewsz[msPegY¸flYnTfl[aORT_s]T~n`r^][]ewbnp`l^PtRflSk`repYns`rYt fl []T_YÉ`l~R~RpegTMt
(41) uÊkYRflYRiÇs]~TMbew`rpeps[as¶epY[aORT_s]TtflSk`repYns_².Nf=`lbmORepTcT|`h~n`l^[aepbRp`l^6qcfc`lFousT_lT_^a`l~R^afri qc^a`lSks4On`cT[]fÉCTfc^]q\`rYRewsTMt¸egY+`
(42) ~np`lY`rYtµ[]OnTep^TÈT_bR[]epflYºOn`cs|[]fÉThS=flYReg[]fc^]TMtµegYfl^mtT^|[]f ~CT^] fl^aS[aORT4CT_s[~CfcsasepRpTP[]^aT_`3[aS=TY\[_²#"¢s]egYnqsnbmOkpepR^a`l^]epT_sH^aT \Rep^aT_sHCfr[]OkTÈu[]TYseplTTÈu~CT^aepTYnbT eg[]OÉ[aORTns]TfrA[]ORT~R^]fcql^m`rSksP`rYnt¸tT[a`legpT_tɱuYRf3pT_tqcTfl[aORTf3lT_^a`lgC[m`ls]±
(43) fl^OnepbmO¸[aORTÊÉ`r^aT `l~R~RpegTMt ²#"¢s]n`rpgÊcorqleplT_YfcYRpÊ[]ORTpepR^a`l^]Êfl~R^aflqc^a`lSkso3`YRf3uepbTPepsHRY`rRpTP[]fs]flplT6[]ORT4bflS=~RpT[]T ~n^]fbTMs]s]epYRq[m`ls]±³² $&%'$ :< Hd| A% x^]fcql^m`rSksP`r^aTfl []T_Yµ\epT¶T_tÉ`ls4gepS=e [aT_tÉ[]f
(44) s]fln^abTfc^flyzTMbd[¢bfutRT_s_²)(¶[¢`rY¸T'CTMbd[]eplTgfcYRqh[]T^aS Sk`lYn`rqcTS=TY\[%s]ORflnpt `lps]f·[m`r±cTºegY\[af"`lb_bfcRY\[É`3[][a`cbmORT_t ±uYRf3pT_tRqlTÀ`csteplT_^as]T`cs
(45) ±uYRf3pT_tqcT `lfc[[]OnTk~RR^a~f\sTcoÔ[]OnT
(46) s]begT_Yc[ae ´Cbh flRYntn`3[]epflYso [aORT
(47) epY\[]TYtT_t+`r~n~Rgewb`r[]epflYns_o [aORTbfcYnteg[]epflYnsfl `l~R~Rpepb_`rReppe [zÊco[aORT=^]TMsn [ms¢fl~n`ls[[]T_s[as_o³[]OnT±uYRf3PiÇORf3fr6TlT_^]ÊtR`Ê%TYntns]T^mso³T[abr²NPOnepslT_^i sa`3[aegpT=±uYRf3gTMtqlTOn`lsCTT_Y¹`lbbRSnp`r[]T_tÀf3lT_^|[aORT=ÊlTM`r^ms+* []ORTkpeg Tij[]epShT=fl[]OnTk~R^]fcql^m`rSks-,4`rYt ewssab`3[][]T_^]TMt`rS=fcYRqkte.³T^aTY\[~CTfl~ngTcoORfk`r^a%T ]s]flR^mbTMs ¢fl±uYRf3pT_tqcT`lfc[~R^]fcql^m`rSks_ocT_e [aORT^ CT_b_`rns]T%[]ORT_Ê·±uYRf3 []ORTÉ[aORTfc^]ʹCTORepYnt-[]ORTµbfutRTloCT_b_`rns]T%[]ORT_ʹOn`lTÉ^]nY·[]OnTÉ~n^]fcql^m`rSksfcY YuRS=T_^]fcns=tR`3[m`Rofc^hCT_b_`rns]TÉ[]ORT_Ê·On`cT^ae [][]TY fl^=S=fteg´nT_t-[]ORTºbftTl²0/¸fl^aTf3cT^Mo.YRfr[=flYRpÊ epYntepueptRn`r.~R^aflqc^a`lSks4R[`lps]f%sT RbfcSRepYn`3[aegfcYns|fr¶s]TcT^m`rA~R^aflql^m`rSks4[]fÉ~T_^ fc^]S9bflS=~RpTÈ [m`ls]±s|`l^]T~`r^][|fr[]ORTh±uYRf3gTMtqlTc²1.cTY tTT_~ÀS=egYnegYRq%egY\[af[aORThs]fln^abTbftThfr~R^aflqc^a`lSks4tfuT_s Ynfr[~R^af3ueptT=T_YRflRqcO+egY fc^]Sk`r[]epflYÔ² ÔflYnq%[aT^aS Sk`rY`rqlT_S=TY\[`rYnt [aegpews]`r[]epflY+frsbmO pepR^a`l^]epT_s ^aT \Rep^aT_sPte!CT_^]T_Yc[P[zÊu~CT_sfl±uYRf3PiÇORf3 ^a`lYRqlepYRq ^]fcSË`rYÉTÈu[aTYns]egcTTÈ~T_^]epTYbTe [aOÉ[]ORTtR`Ê\ij[]fli. ((*),+.-0/0101.
(48) §® °C¬ À¤3®w©§3° . tn`ʺns]Tkfr¶[]ORT
(49) ~n^]fcql^m`rSks|[]fº`¸tT[m`repgTMt+±uYRf3gTMtqlThfr¶[]OnT
(50) ~ROuÊsewb`l.~R^]fbT_sasfl^Sk`3[aORTSk`3[aepb_`r s[]^anb[]R^aT[]ORT_ÊepSh~ngT_ShT_Y\[_² WZYntRTT_tÔoÔ[]OnTk~R^]fcql^m`rSks`rYnt[]OnTep^nsT=CTpflYRq¸[afµ`ÉbflS=~n`lY\Ê ~n`r[]^aegS=flYuÊ [aOn`3[s]ORflnptYRfr[ CTpfcs[¢`rYnt%[aOn`3[|s]ORfcRptÉCTT_`csÊ
(51) []fk^aTiÇnsT`lYnt%[]fkSk`repY\[a`legYÔ²¶NPOn`3[|epsOuÊÉbflS=~n`lYRepT_sYRT_T_t%[]f ±cTT_~[a^a`cbm±fr `rp[]ORTYnT_bTMs]sa`r^aÊs±uepgwsH fc^H[]ORTfc~[]epSk`rns]Tfr³~R^aflql^m`rSks_oM fl^.Cfr[]O=ns]T^`cs]s]ewsz[m`rYnbT `lYntɱuYRf3gTMtqlTSk`rYn`lqlT_ShT_Y\[P~nR^]~Cfcs]T_s_² |s4`rYµ`rYs¶T^¶[]f=[aORews4ews]s]RTlon6T~R^afl~Cfcs]T`rYµ`r~R~n^]f\`lbmO `ls]T_t%flY ÓbflYbT~R[]n`l¶S=ftT_P fl^=TÈ~CT^][as_otT_s]epqlYRT_^ash`rYnt"ns]T^msfl|~R^aflqc^a`lSks`rppf3egYRqÀ[]ORT_S []f bfcShSRYRewb`r[]T+`rCfl[¸~R^aflql^m`rSks
(52) `lYnt [aORTep^¸ns]Teg[]OÆ`·RYne ´nTMt [aT^aS=egYRfcgfcqlÊ* n`csTMt fcY qlT_YRT^aepbµbflYnbT~[mso4s]nbmO `lstR`3[m`Ro~R^aflqc^a`lS=s_o6s]T \RT_YnbTMskfr~R^aflqc^a`lSksoPtR`3[m` nf3oPT[mbr² ,d² unbmOµbfcYnbT_~[as`l^]T^aT_bR^]^aTY\[`rYntÉb`lY%CTqc`r[]ORT_^]TMtepY¸` ¦ ¬°C¬£]§ A¤3° Z¤ p¤ ¦ T M°³¤ g¬ ¬ l¬© £d® ¡ F®¯¤r!° g§r° «n§ ¬h[]f¹^aT~R^aT_s]TY\[k`rYnt"Sk`rYRep~RRw`3[aTµ`rns[]^m`lb[ tT_sab^aep~[]epl. bfcYnbT_~[as_² $Rfc^4[]Oneps|~RR^a¦ ~f\sTco¶TOn`cTtT´¦YRT_tµ¦ ¼|½¾¿no`lYµfl~CTYµw`rYRqcn`rqcTORewbmOµ~R^]f3uewtT_s TÈ~CT^][aseg[]O¹`Éns]T^]iF ^aegT_YntpÊÀs]Ê\Y\[m`3ÈÀ`rYt `ɶTptT´nYRT_t s]TSk`rY\[]ewbs fc^[]ORT%bflYbT~R[asepY flR^S=ftT_ flS=~R[aT^ Z¤_¤ ©Ô[afT_Yns]R^]T¶[aORTbflYsewsz[aTYnbÊfr[]ORTPTÈ~R^aT_sas]T_t±uYRf3pT_tRqlTlo[affl~CT^m`3[]epflY`rpeps]T e [egY\[]fºbflS=~R[aT^tn`3[a`µs[]^anb[]R^aT_s`lYnt[]fµ~R^aftnbTkT ³T_bd[aegcT
(53) sÊs[]T_S=s[]fºORT_g~+^aRY []ORT_S *¯s]TS=e ,z`rR[]flSk`r[]ewb`rppÊlo~R^af3ueptTMtk[aOn`3[¢`lg³[aORTYRT_bT_sas]`l^]Êk±uYRf3pT_tqcT|ewsP~R^afl~CT^agÊ= fc^]Sk`lgewsTMt NT_bmORYne \RTMsfrÔ~n^]fcql^m`rS s]R~CT^a\ews]egfcYkOn`lT¢`[z6fl flwt=flyzTMbd[]epl
(54) T Cfr[aOk[]f¯`lfln^.[]ORTb`l~Re [m`rpe i sa`3[aegfcYflC±uYRf3pT_tRqlTP`rCfl[.[aORT4ns]TPfr bflS=~RpTÈh~R^aflql^m`rSksA`rYnt[affl~CT^m`3[]epflY`rpeps]T[aORews.[]eppepsa`3[aegfcY fc^ns]T^ms6Ynfr[¢s]~TMbew`rpeps]T_t%egYÉ[aORTtflSk`legYÔ² NPORTS=`lYn`rqcTS=TY\[fr.~R^aflqc^a`lSks6ews4qcTYRT_^a`lgpÊk~CT^] fl^aShTMtÉ\ʸ`=~CT^msfcY * []T_^]S=T_t%[aORT%¬ ¡R¬£ epY [aORTP flppf3egYRq ,A`rYntheg[^]T_gepT_sHfcYh`w`r^aqlTP`rS=flnYc[.flC±uYRf3pT_tqcTl² 4fr[fcYRpÊ[]ORT4bftTgepYRTMsocR[`rws]f [aORT¢±uYRf3pT_tRqlT4`rCflR[ORf3 []f^aRYk~R^aflqc^a`lSksorOnf3"[afT3`lgn`r[]T[aORTep^¶^]TMsRg[as_olOnf3"[af[]nYRT4[aORTS¸o Onf3[af%bfcSRepYRT[aORTS1 fl^|ORepqlORT_^4gT_lT_bfcS=~R[a`r[]epflYns_onT[abl²eps¢YRT_bT_sas]`l^]Êc²¶NPOuns_oOnTYµTÈ~CT^][as iÇORf
(55) O`lT[aOReps±uYRf3PiÇORf3Pi`r^aTYnfr[`3`legw`rRpTfl^ORT_Yµ[]ORT_ʸ^]T[]ep^]Tfl^¢pT_`cTloe [eps|YRTMbT_sasa`r^aÊ
(56) []f ±cTT_~µ[]ORews~R^afubT_sasepYRq%±\Ynf3gTMtqlTepY`lYÀRYtT^msz[m`rYntn`rRpT`lYntº~CfcsasepRpʸfl~CT^m`3[]epflY`rÔ fc^]S¸²&ubmO ±uYRf3pT_tRqlT4ewsPsT_ptfcSSk`ltTTÈ~Rpepbe [PepY%tfbnShT_Y\[a`3[aegfcY%`lYntb_`rYRYRfl[6CT flRYntegYÉsfcR^mbT|bftT_s ² $&% %> k2 % AA k % À
(57) A 5 Ak OnTY `rY`rpÊus]epYRq+[]ORT `lb[]ep\eg[zÊ-flnsepYRq-`·Y\nSCT^flbflS=~RpTÈ ~R^aflqc^a`lS=s fc^%`rY `l~R~Rpepb_`3[aegcT ~nR^]~Cfcs]TlonegYntRT~CTYntT_Y\[]pÊ%flA[aORT~R^aflRpTSªfrH[]OnT`r~R~ngewb`r[]epflY *z® ¬ ¶[]OnTqlf\`r frH[aORTns]T^¢`lYntÉ[]ORT s]TSk`lYc[aepb_sPfr[]ORTtR`r[a` ,doeg[¢`r~R~CT_`l^as¶[aOn`3[¢`hpfr[frH~R^aflRpTSksbfcS=T| ^aflS;[]ORT~R^afbTMs]s]egYnqeg[as]Tgz² eplT_Y`sT[AfltR`3[m`[af|~R^afbTMs]sA`rYnt`¢s]T[.fr~R^]fcql^m`rSksÔ`l~R~Rpepb_`rRpT6fcY[]OnTPtn`3[a`no[]ORT6´n^msz[H~CflepYc[ ewsH[afRYntT_^as[a`lYnthOn`3[6T_`lbmO=~R^aflqc^a`lS tfuT_s_on® ¬ .nRegwtk`S=ftTnfr³[]ORT¢YRT_bT_sas]`l^]ÊbflYnbT~[mso\sbmO `cs~R^]fcql^m`rSks_o³tn`3[a`noÔ`rYnt s]f%fcYÔ² 4 []T^aP`r^mtRsoÔs]epYnbTk`ÉsepYRqlpTh~R^]fcql^m`rSÓewsYRfr[ns]n`rppʺs
(58) begT_Yc[. ). ). ). 0) ). 0). !#"$#%'&)(* #"+,*-&.!/*1032#%'4'5-4 ,% 6.5-%7/+894 :;6<4 #=>!$35?A@ 3"CBD%'*-&#=*E/+%',">FG/+@*-89*H&3*H,4'= I/ #&AFJ"K L5H/!4'" )"+: 5H"K&#*-D*C/+,4'*-8HM. '(. .
(59) ¼|½¾¿À§3° ÀÁ¢ÂnýÄ_ ¬¬£a¬°a¬§3° ©¬£ À§3°n«n§ . ". [afksfcgcT`=bfcS=~RgTÈ~R^afbT_sas]egYRq^]T\RT_s[_ou[aORTTYntijns]T^PSnsz[´qlR^aT|fc[4ORewbmO%~n^]fcql^m`rSks6b_`rYÉT bflSRegYnT_t[]fcqlT[]ORT_^`rYntOnf3²NPOn`3[AS=T_`rYs ±uYRf3egYnqORf3 []f¢bmORfuf\sT.ORewbmO~R^aflqc^a`lSsOnflRwtbfcShT ´^as[_o[aORTYhORewbmOfcYRT_sASk`Ê flpgf3or`lYnts]fflY[af|T_lT_Yc[an`rppÊRReppt z~n^]fcql^m`rSÆbflSRepYn`3[aegfcYns [aOn`3[ `cbmORepTlT`rY¸`r~n~Rgewb`r[]epflYÉqlf\`rj² /¸fc^]T_f3lT_^_ocORTYÉSRg[]ep~RpTbflSRepYn`3[aegfcYnsP`r^aT|~CfcsasepRpTs]flS=Tb`lYCT~n^]T T^a^]TMt * fc^PTÈR`rS=~RpTlo tRT~CTYntepYRqkfcY[aORT`ltT \n`lbÊkfrH~R^]fcql^m`rS T_`r[]R^aT_sPeg[]O¸^aT_s]~TMbd[P[]f=[aORTtR`r[a`=`3[On`lYnt ,d² NPORT_YÔor[afTÈT_b[]T4`bmORf\sT_YhbflSRegY`3[]epflYo3[]ORTsT_^.On`lsA[af`lbd[an`rppÊ^]nY[aORT4~R^aflqc^a`lS=s_oORewbmO epS=~RpegTMs±uYRf3epYRq[]ORT_eg^6~R^aT_bews]T4b`rppegYRqsÊuY\[a`rȳol[]fcqlT[aORT^e [aOk[]ORT_eg^6ns]n`r~n`r^m`rS=T[aT^.3`rpRTMsoc[]ORT [zÊu~CT¸fr¢epYR~R[k[aORTÊ·`cbbT~[Mo6`rYt¹[]OnT¸[zÊ\~CTÉfr|fc[]~n[=[]ORT_Ê·~R^afutRnbT * CT_b_`rns]T[aORTµw`3[[aT^=epg CT_bflS=TepYR~RR[as fl^|[]OnT fcgpf3egYnq
(60) ~R^aflql^m`rSks¢egY `bfcSRepYn`r[]epflY ,²|WZY\[]T_^]Y`rHtR`3[m`3!i nf3ÆS=`lYn`rqcegYnq CT[z¶TT_Y+~R^]fcql^m`rSksSk`ÊÀCT_bflS=TklT_^]Ê te
(61) bR [[]fµOn`lYntpTloATl² qn²Ée ¢tn`3[a`µ`l^]T=[afµT%teps]~n`r[abmORTMt `lS=flYRq
(62) te!³T^aTY\[¢~R^aflqc^a`lS=s_² $AepYn`rpgÊconeg`3[¢`lY\ÊÉ~CflepYc[|fr.TÈT_b[]epflYo[]ORThbR^a^aTY\[4^]TMsn [ms4`r^aTYRfr[ sa`3[aeps¯`lb[]fc^]Êco3[]ORT|ns]T^Snsz[6egY T_^6OnepbmOk~R^aTuepflns]pÊTÈTMb[aT_t=~R^aflqc^a`lSeps¯`rRg[zÊlo\ORT[]ORT_^eg[6b`lY CT^aTiÇ^aRY¹e [aO·YRT_~n`r^m`rS=T[aT^3`lgRTMs`lYnt¹ORf3 []fbflS=~RR[]T
(63) [aORTYnT3`rpRT_s_oHfl^ORT[aORT^he [ Sns[PCT^aT~Rw`lbT_t%\Ê%`rYRfl[]ORT_^~R^]fcql^m`rS¸² 1.cT^aʵTYntijns]T^b`lYºYRfl[On`cTs]nbmO`%tTT_~ÀRYtT^msz[m`rYntRegYRqÉfr[]ORTh~R^aflql^m`rSÓs]TSk`rY\[]ewbs`rYt s]ÊuY\[a`3È ².{|YRT6~Cfcsas]egRpTPsfcg[aegfcY[]f[aORepsA~R^aflngT_Seps[]fns]T`4[af\fc\[]On`r[[a^a`lYns~`r^aTY\[]pÊS=`lYn`rqcT_s[]ORT ~n^]fbTMs]s]epYRq¢bfcS=~RgTÈe [zÊco3egYhfl^mtT^[]f`rR[]flSk`r[]T[aORTPT_`csÊ^aTns]T6flR[]OnT¶~n^]fcql^m`rSks² ¢S=flYRqte!CT_^]T_Yc[ [aT_bmORYne \RTMs fc^^aTns]Tlo.¶T~n^]fc~f\sT
(64) ~n^]fcql^m`rS s]R~CT^aueps]egfcY¹[]TMbmORYR"e \RT_sORewbmO-`repS `3[kb`r~R[]R^aegYnq [aORT±uYRf3pT_tRqlTkfr4~n^]fcql^m`rS9ns]TepY·fc^atT_^[]fÀ ^]T_Tk[]OnTns]T^ ^]fcS [aORT~n^]fbTMs]s]epYRqºtT[m`repps_²ÀNPORT fcyzT_b[]eplT%eps[]f¯`lbegpeg[a`3[aT[aORT¸`r[aflSk`3[aegfcY-fr`rY·TÈuews[]epYRq~n^]fbTMs]s]epYRq`cbd[]epue [zÊco.egYtT~CTYntRTY\[]pÊ fl`rYuÊ"`l~R~Rpepb_`3[]epflY²NPORepsS=T_`rYs=[]f `r[aflSk`3[aT¸[]ORT~Rp`lYRYRepYRq-`lYnt []ORTbflY\[a^]fc4frTÈTMb[aegfcY fl~R^]fcql^m`rSks *]¬ ¦ poTÈewsz[aegYRqÀegY·`µpepR^a`l^]Ê ,|[af`lb_bfcSh~ngewsO¹`µ~n^]fbTMs]s]epYRqµflyzTMbd[aegcTloAORT^aT
(65) T_`cbmO ~n^]fcql^m`rS bflS=~R[aT_s6flYRT¢s[]T_~
(66) fr [aORT¢~n^]fbTMs]s]epYRqn²#"¢s]egYnq`~R^aflqc^a`lS s]R~T_^]uewsepflY
(67) s]Êsz[aTS¸ou`ns]T^M» s epYR~RR[
(68) ^]T cnT_s[h~R^aftnbT_sk`ls=fc[]~n[=[]ORTµTÈuTMb[aegfcYns=fr|[]ORTº`l~R~R^afl~R^aew`3[]T%~R^aflql^m`rSkse [aO []ORT_eg^ ^aT_s]Rg[]epYRqktR`3[m`R² .
(69) . ! #"$ %$&(')+*, .-# !. ~R^]fcql^m`rSs]R~CT^a\ews]egfcY=s]Êsz[aTS [zÊ\~nepb_`rpgÊ=`ltRtR^]TMs]s]T_sA[z¶f±\epYntRsfr ns]T^msolTÈ~T_^[ms`lYnthTYntuiÇns]T^ms² NPOnTkTÈ~T_^[±uYRf34s[aORTkgepR^m`r^aegTMs» ~n^]fcql^m`rSkso s]fºtTcTpfl~ns±uYRf3pT_tqcT=n`ls]T_s_²R$ fl^[aORews~RR^a~Cfcs]T. TÈ~T_^[msÔb`lYsT`~n^]fcRgT_SKs]flpuegYRqPT_Y\uep^]fcYRS=TY\[ÔbfcYc[m`repYRepYRqP[]ORTn`ls]epbH±uYRf3pT_tRqlTH^]T_~R^aT_s]TY\[a`r[]epflY `lYnt+^aT_`ls]flYnegYRqµs[]^anbd[aR^aT_s_²¸NPOnepsS=`lYun`rewshtT_tewb`r[]TMt []fºTÈu~CT^][asRRepptRegYRqÀ±\Ynf3gTMtqlTkn`csTMso sepYRqh[]ORT~n^]fcRgT_ShiÇs]flpuegYRqTYuueg^aflYnShT_Y\[`cs]s]fbew`3[aT_t
(70) eg[]OºÁ|ÂnÃÔ½AÄÂ%ep0Y /!½ 14½² ¢YT_YntuiÇnsT_^b`rY CTYRT´R[fr¶`lgA[aORT=TÈ~T_^[aeps]Tk`rCfl[[]OnThR[]epgews]`r[]epflY frP`%s]T[fr6~R^]fcql^m`rSks_o [aOR^aflRqcO=[]ORT^]TMsn [aegYRq±\Ynf3gTMtqlTijn`csTMt=sÊs[]TS¸3² 24,T 3s]ORT¢eppC`cbd[]`rpgÊ=ns]T4[aORT|s]Êsz[aTS []fhsfcgcT ` ~R^aflngT_SÉo¶eg[]ORfc[On`uepYRq¹`rYuÊ·TÈ~CT^][]ewsTµ`lfc[k[]ORT`rpqlfl^aeg[]ORS=ewb%tT[a`legwskfr[]OnTµ~R^]fcql^m`rSks_² NPOnTfcYRpÊk[]ORepYRqh[]fktf=ews6[]fktT´YRT[]ORT~R^aflngT_SË`rYnt[]OnT~n^]fcql^m`rSsn~T_^]uewsepflYÉsÊs[]TSªsfcgcT_s¶e [ `l[]fcYRflS=fcnspÊfc^¶`ctueps]T_sOn`3[P`r^aT4~CfcsasepRpT|s]flp[]epflYns_²HNPORT|T_YntuiÇns]T^6b_`rYk[aORTY%bflYbTY\[a^a`r[]T4fcY [aORT=`r~R~Rpewb`3[aegfcYºflRyzT_bd[aegcTloCe [aORflR[CTepYRq¸teps[]^m`lb[]TMtµuÊÉ~n^]fbTMs]s]epYRq
(71) ~R^aflRpTSks_E² ¢fr[aT[aOn`3[[]ORT T_YntuiÇns]T^PepsPYnfr[YRT_bT_sas]`l^]eppÊ=`hOuRSk`rYRijCTepYRqhR[¢b`lYÉ`lps]fCT`hsfl [z¶`l^]TS=futRRgTcoR`lsPews6[]ORTb_`ls]T eg[]Oµ`lYÉ`l[]fcYRflS=fls¶s]Êsz[aTS¸². ((*),+.-0/0101.
(72) §® °C¬ À¤3®w©§3°. M . -# . ! #"$ %$&('. WZYsz[aT_`lt·fr|tT_lT_gfc~RegYnqÀT_`cbmO (+ ^aflS#sab^m`3[mbmOÔoH6T¸tT_s]epqlY-T_YRqlepYRTMso.epYntT_~T_YntTY\[kfrs~CT_be ´b `l~R~Rpepb_`3[aegfcYnso n[ÊlT[tRT_tewb`r[]T_tÀ[]fÉ[aORT=~n`r^][]ewbRw`r^[m`ls]±µfr6~n^]fcql^m`rS sn~T_^]uewsepflYÔ² ~R^aflql^m`rS s]R~CT^aueps]egfcYºTYuuep^]fcYRS=TY\[_o³`lsasfbep`r[]T_tºe [aOº[]OnTT_YRqlepYRTlo³ewsnsTMtºuʵ`%s]~CT_bew`rpewsz[fr6`%gepR^m`r^aÊ%fl ~n^]fcql^m`rSks[afÉnRegwt `%±uYRf3pT_tRqlT`ls]Tl²NPOnTh^aT_s]Rg[ *z® ¬ h[]ORT=T_YRqlepYRT=~Rpns[]ORT=±uYRf3pT_tqcT`ls]T ~ngns[]ORTkpegn^a`l^]ʵfl¶~R^aflqc^a`lSks ,¢eps`¸±uYRf3pT_tRqlTiÇn`csTMtºsÊs[]T_S fl^~n^]fcql^m`rS sn~T_^]uewsepflY ORewbmO b_`rY%T[aegpeps]T_t%uÊ
(73) `rYÉTYntijns]T^¶[af^aRY%`lYÉ`l~R~Rpepb_`3[aegfcYÔ².x.^]fcql^m`rSs]R~T_^]uewsepflYeps`lT_^]Ê=qlT_YRT^m`r ~n^]fcRgT_S¸oc`rYt~n^]fcql^m`rSs]R~T_^]uewsepflYh[aT_bmORYR"e \RT_sS=`ÊT|`r~R~RpepT_t[]f`lYuÊtflSk`legY=ORT_^]T4bflS=~RpTÈ ~n^]fbTMs]s]epYRqºewsYRTMbTMs]sa`r^aÊ`lYnt·ORT_^]TT_`lbmO"sRRij~R^afbTMs]s]egYnqºbfl^a^aT_s]~fcYntRs[af`sReg[a`lRpT%bmOn`legY·fl s]TcT^m`rHn`csewbh~R^]fcql^m`rSks_²=Nf¸[a`cbm±ugTh[]OnepsqlTYnT^m`rpe [zÊcoÔ6T=~R^af3ueptRThCfr[aO¹±uYRf3gTMtqlThS=ftTws`rYt s]fr [zP`r^aTP[]fufcpsORepbmO%`r^aT4egYtT~CTYntRTY\[6fl`rYuÊh`l~R~Rpepb_`3[aegfcY
(74) `rYntkfl`rYuÊhgepR^m`r^aÊfrÔ~n^]fcql^m`rSks² T P`rY\[¶[]ORT_S;[afkTCfr[]O¸qcTYRT_^a`l#*® ¬ 6epYntT_~T_YntTY\[4flA`r~n~Rgewb`r[]epflY¸tflSk`legYns`lYnt%~R^]fcql^m`rSks-,`rYt TÈegngTconORewbmO¸ShTM`rYns[]On`r[4[]ORTp`cbm±fr.bT_^[m`repYÉ[zÊ\~CTflA±uYRf3pT_tqcTOn`ls[]fkCTbfcSh~CTYs]`r[]T_tÉuÊ ~Cf3¶T^] RbfcY\[]^aflÔS=T_bmO`rYRewsSks_onpeg±cTs]fl~RORews[]ewb`3[aT_t¸^aT~n`leg^¢ShTMbmOn`rYneps]Sks²NPORTqcfc`lÔfrH[]OnTS=ftT `lYntÉfrA[]ORT~R^]fc~f\sTMt%[]fuflwsPeps4[]f
(75) `lgpf34sPTÈ~CT^][asP[af z~n`cbm±3`rql!T `=^m`KbfutRTegY\[]f
(76) `lY zepY fl^aSk`3[aegcT S=ftRp0T do ORewbmObflY\[a`legYns|[aORT=±\Ynf3gTMtqlTflYÀOnf3[]fÉ^]nYÀeg[_oÔORf3[]fÉT3`rpn`3[aTeg[as^aT_s]Rg[as_o ORf3 [af=[]RYnTe [MoT[abl²6WÇ[|b_`rY¸CTuegT_6TMtÉ`csTYb`r~sRw`3[aegYnqk~R^]fcql^m`rSks_oR`ltRtepYRqkw`ÊlT_^as¶frte!³T^aTY\[¢±uegYt fl±\Ynf3gTMtqlTh[]fsfcR^abTkbftT_<s *z© ° Z§ F® |© j£]§ Z¬ ¦ ® `rYnt ©¬¨=§r° j® ,o.`lss]ORf3Y¹epY+´nqlR^aTµl²pl² Ê\Y\[m`lbd[aepb±\Ynf3gTMtqlTbflYns]eps[as¢frb_`rpgepYRqs]ÊuYc[m`3È onfc^atRT^¢`lYnt¸[zÊu~TfrepYR~R[!flR[]~R[`r^aqlRS=T_Yc[mso fc^=TlT_Y"epY fc^]Sk`3[aegfcY"s]nbmO `ls=fl~CT^m`3[aegYnq s]Êsz[aTS#fc^kShT_S=fl^aʹ^]T cneg^aT_t ²\[a^a`r[]Tqcepb%±uYRf3pT_tqcT bfl^a^]TMs~CflYtRsH[]f[]OnT|P`Ê[af`cs]s]TSRgT|~R^aflql^m`rSksH fc^¶bflS=~RpTÈ=[a`cs±s_² uTSk`rY\[aepb¢±\Ynf3gTMtqlT4ews6[]ORT s]~CT_bew`rpewsz[M» s.±uYRf3PiÇORf3 `rCfl[[]ORT4sT|fr³[]ORT¢~R^]fcql^m`rSks.`rYth[]ORTtT_beps]egfcYnsH[aOn`3[PsORfcRwt=T4Sk`ctT Tc² q²On`r[H`l^]T6[]OnTPtRepsab^aegS=epYn`rY\[.bmOn`r^m`lb[]T_^]ewsz[aepb_sÔfl`¢~n^]fcql^m`rS¸oORf3+[]f~CT^] fl^aS^]TMsRg[HT3`rpn`3[aegfcY fc^¯`legpR^aT|On`lYntpegYnqn² unbmO~`lbm±3`rqcegYRqTYROn`lYnbTMs[aORT~R^]fcql^m`rS)e [aO%`rpC[]ORTYRTMbT_sasa`r^aʱuYRf3pT_tqcT [af
(77) ns]T`lYnt¸^]TijsTeg[|epYÀte!³T^aTY\[|s]e [an`3[aegfcYnso[]fÉtfbRS=T_Yc[|e [`rYnt¸[af
(78) ORT_g~ºSk`legY\[a`legYµeg[_²|WZYµ[]Oneps P`Êlou[aORTs]~TMbew`rpeps[_» s^aT_`csfcYRegYnq±uYRf3pT_tqcTS=`Ê%T* ~n`l^[aep`lgpÊ
(79) fl^4 RgpÊ ,PepYc[aTqc^a`r[]T_tÔ²NPORT^aT_s]R [ ewsnYntT^ms[a`rYtR`rRpT4`rYt=^]T_ns]`lRpT\Êhfr[aORT^~T_fl~RpT4epY
(80) `ltRteg[]epflY=[af[]OnT|s]~TMbew`rpeps[ORftTMsepqlYnT_t=fl^ epS=~RpTS=TY\[]TMtµ[aORThbftTl²¢e!³T^aTY\[b_`3[aTqlfc^]epT_s4fr±uYRf3pT_tqcTSk`ÊÉCT=te.³T^aTY\[aep`r[]T_tµ[]fÉ~T_^ fc^]S ~n^]fcql^m`rS s]R~CT^aueps]egfcY k±uYRf3pT_tqcT`rCfl[h[]OnT%`r~n~Rgewb`r[]epflY-tRflSk`repYÔo`rCflR[[aORT%~n^]fcql^m`rSksfr¢` ~`r^][]ewbRw`r^4pepR^a`l^]ÊÉ`ls¢6T_gA`ls¢`lfc[4[aORTTÈu~CT^][]ews]TtflSk`legY *¯egSk`rqcT~R^afbT_sas]egYRq= fc^¢TÈ`lS=~RgT ,Pfl^ `lfc[P[]ORT~n^]fcRgT_SËs]flp\epYRqks[]^m`3[]T_qlÊc² ubmOÉ`ShftngTews6nYntT^ms[a`rYtR`rRpT\Êkfl[]ORT_^6~CT^ms]flYns[]On`lY[aORTs~CT_bep`lgewsz[PORf=tT_s]epqlYRTMt`rYt epS=~RpTS=TY\[]TMt¹[aORT%bfutRTlo`rYt·te!CT_^]T_Yc[=S=ftRpT_shb`rY-T¸bfcYRYRT_b[]TMt¹egY-`l^]epflsP`Êus fl^hS=fl^aT bflS=~RpTÈ
(81) [m`ls]±s² /¸fc^]T= fc^]Sk`lgpÊloflR^S=ftT_ewsn`ls]T_t fcY·`µsT[fr`r^aqlRS=T_Yc[[zÊu~CT_s`lYnt¹`µs]T[frfc~T_^a`r[]fl^ms_² $nfl^4`h~n`l^[aepbRp`l^`r~R~Rpewb`3[aegfcYÔo tRTYRfl[]T_s¶[aORTs]T[4frH`3`repp`lRgTfl~CT^m`3[afl^msP`rYn t
(82) [aORTsT[4fr[]ORT_eg^ epYR~RR[`lYntºfc[]~n[`l^]qcRS=TY\[¢[zÊu~CT_s_² 1`lbmOfl~CT^m`3[afl^ Æews^]T_~R^]TMsT_Y\[]T_tº\Ê +*Ao Ho ,do OnT^aT 0* ^aT_s]~Ô² ,
(83) )ews¢[]ORThfl^mtT^aT_tµs]T[fr.[zÊu~CT_s|fr! epYR~RR[ *¯^]TMs~Ô²flR[]~R[ ,¢`l^]qcRS=TY\[as `lYn"t ¸[aORT z~n^]fl[]fbfcflAns]0T ^]T_p`r[]T_t[]#f * ej² Tc²H[]ORTs]TSk`rY\[aepb±uYRf3pT_tqcTlouegY%[]OnT fl^aS;frH`hs]T[ fl.egY T_^]T_YnbTtT_beps]egfcYns[af
(84) Sk`rYRep~RRw`3[aT[]OnTfl~CT^m`3[afl^ ,d² $Rfc^4[]OnTs[]^m`3[]T_qlewb±uYRf3gTMtqlTco[]OnTS=ftT ~n^]f3uewtT_ss]TcT^m`rbfcS=~f\seg[]epflY¹fc~T_^a`r[]epflYn<s s]T \RTYbTloH`rg[]T_^]Y`3[]eplTco~n`l^a`lgpTjoeg[]T_^a`r[]epflYÔoAT[mbr²É[]f ^aT_bR^mseplT_gÊ=fl^aqc`lYRewsTfl~CT^m`3[afl^msepY\[]fkS=fl^aT`lns[]^m`lbd[fcYRT_s_². '(. .
(85) ¼|½¾¿À§3° ÀÁ¢ÂnýÄ_ ¬¬£a¬°a¬§3° ©¬£ À§3°n«n§ . c. raw code syntactic layer i/o specifications (data, parameters, formats), command−line synatx. semantic layer characteristics, sub−modules selection/sequencing, parameter tuning, result evaluation strategic layer failure handling strategy, operating mode, etc.. $AepqlR^aTl²px.^aflqc^a`lSsn~T_^]uewsepflY~R^]f3uewtT_sA`sne [m`rRpT¶ ^a`lShT_6fc^]± fc^A~`lbm±3`rqcegYRq^m`·bftTPns]egYRq. Rt e.³T^aTY\[k[zÊu~TMs
(86) fl±uYRf3pT_tqcTl² flYnbT~[an`rpgÊcobftT_s`r^aTÉ^m`r~n~TMt"eg[]O w`ÊlT_^as=flsÊuY\[a`cbd[]ewbro s]TSk`lYc[aepb`rYts[]^m`3[]T_qlewb4±uYRf3pT_tqcT4[af fc^]SS=ftRpT_s_².NPORewsb`rY%TtfcYRTegY¸`^aT_bR^mseplT¯`csOnegfcY fc^S=fl^aTbflS=~RpTÈ
(87) [m`ls]±s² . . . -% . NfepSh~ngT_ShT_Y\[te!CT_^]T_Yc[Ô~n^]fcql^m`rS s]R~T_^]uewsepflYs]Êsz[aTSkso_6T.O`lT.tTcTpfl~CT_t`¶ ^m`rS=T¶fl^a±³oYn`rS=T_gÊ [aORT /.½ 14½TYuueg^aflYRS=T_Yc[ /¸fle "l j².WÇ[4ews4tT_lfr[aT_t%fl[]OÉ[]fk±uYRf3pT_tRqlTn`ls]T`rYntÉepY T^aTYnbTTYRqcegYRT tRT_s]egqcYÔ² WÇ[ÉegY\[]T_ql^m`3[aT_s
(88) fcY\[]flpflqcepb_`r¢`cs
(89) ¶Tp`cs~n^]fcRgT_ShiÇs]flpuegYRq¹S=ftT_ps_²)NPORTÀ[a`cs± flY\[aflpflqlÊ bfl^a^]TMs~CflYtRs[]f+[]T_S=~Rp`r[]TMs= fl^k±uYRf3pT_tqcT¸n`ls]TµbflY\[aTY\[as eg[eps
(90) egS=~RpTS=TY\[aT_t `ls
(91) ` pegn^a`l^]Ê·fl ^aTiÇnsa`rRpTbflS=~CflYRT_Yc[ms *¯`rsz[a^a`cbd[bw`lsasTMs ,4[]On`r[b`rY CT=tRT^aegcT_tºOnTY flY\[]fcgfcqlʸTÈu[]T_Yns]egfcYns`r^aT YnTT_tRT_t ² ±uYRf3pT_tRqlTn`csT4TMteg[]fl^[]On`r[¶s]R~R~Cfl^][as6¼¢½¾A¿ews6`lps]f~R^af3\ewtTMt=\Ê[]OnT¢~Rw`3[] fl^aSɲHWÇ[¶eps ~`r^m`rS=T[a^]ewsTMth\Êh[aORT|qc^a`lS=S=`l^fr [aORT¢w`rYnqln`lqlTl'² 4Y%TlfcgR[]epflYkfr [aORTsÊuY\[a`rÈ[aO\s6bfl^a^]TMs~CflYntns [af`bmOn`rYRqcTegY[]ORT|ql^m`rS=Sk`r^^aRpT_s_² unbmO`lY`r~R~n^]f\`lbmOk`rpgf34s[]f^]T_nsT¢TÈeps[]epYRqTpTS=TY\[as6ORT_Y ~Cfcsas]egRpTloc[]fTÈu[]T_Ynt=[]OnTS ORTYkYnT_bTMs]sa`r^aÊfc^.[]fhbfcYnsews[]TY\[agÊh`ltRtkYnT flYRTMseg[]ORfc[6S=fteg ÊuegYRq [aORT=fr[aORT^ms²=NPORT=pegR^m`r^aʸfr¶^]Tijnsa`rngT=bfcSh~CflYnTY\[as`rws]f%~R^af3ueptRT_segYsz[a^]nb[]epflYns| fc^^]eg[]epYRqÉ[]ORT ^aT_`csfcYRepYRqsz[a^a`r[]T_qlÊ fl^P`~R^aflqc^a`lS)s]R~T_^]uewsepflYkT_YRqlepYRT`ls¶`rY`lgqcfl^ae [aORS [aRYRTMt
(92) uÊk`s]T[6flb^aeg[]Ti ^aew`R² tRteg[]epflYn`lC[]fuflwsP`r^aT`lps]f~n^]f3uewtT_tegY%[]ORTT_Y\uep^]fcYRS=TY\[_os]nbmO%`cs`±uYRf3pT_tRqlT¢cT^ae ´Cb`3[aegfcY [afuflp±\eg[k`ltR`l~[]TMt+[]f[]ORTÉTYnqlepYRT%epY-sTco`ºqc^a`l~RORewb`r6egY\[aT^]¯`lbT%fl[]O"[]f\ews]n`rpeps]T
(93) [aORTµbfcYc[aTY\[as fl` ±uYRf3pT_tqcT¸n`ls]Tµ`rYnt"[]f+^aRY []ORTºs]flpuegYnq fl`+~n^]fcRgT_S¸² $epqln^]T+l² sOnf34sh[]ORTµf3cT^m`rp `l^abmOne [aT_bd[aR^aT|fl[aORT /.!½ 1¢½ÀT_Yu\ep^aflYRS=TY\[M² NPORT /.!½ 1¢½+~Rw`3[ fc^]S1ews¢qcTYRT_^]ewb`rYtµbns[]fcShewsa`rRpTl²WÇ[`rpgf3¶T_tÉns¢[]fÉtT´nYnT[]OR^aTThte!CT_^]T_Yc[ ~n^]fcql^m`rS s]R~CT^a\ews]egfcY¹TYRqcegYRTMsoA[aOn`3[h~R^]fc~f\sTk3`l^]ew`rY\[asfrP[]OnTqlT_YRT^m`r6flY\[]fcgfcqlÊÀ`lYnt¹~R^aflngT_Si s]flpuegYnqS=T_bmO`rYRewsS1`rYnt[]Ouns4egS=~RpegTMtÉShfteg´b_`3[]epflYsfr[]ORTfcY\[]flpflqcÊk`rYntÉfrA[]OnTsÊuY\[a`rÈfrA[]ORT
(94). ((*),+.-0/0101. .
(95) §® °C¬ À¤3®w©§3°. Expert End−User. Graphical interfaces for visualisation and execution. Graphical interfaces for execution. Language for knowledge description (Yakl). Engine Designer Interface for engine design. Communications. Knowledge Base verificator Parser/Translator of Yakl. Structures and instructions Programming language C++/Lisp. $AegqcR^aThc² 4^mbmORe [aT_b[]R^aTfr3/½!14½ `rYt[afuflws¶ fl^TYnqlepYRTtT_s]egqcYRT^ms_o\TÈ~T_^[mson`lYnt%TYntuiÇns]T^ms tRT_sab^aeg~[aegfcYw`rYRqcn`rqcTl²NPORTMsT¶TYnqlepYRT_sH`r^aTn^]epT nÊtTMs]b^]epCT_tOnT^aT_`3 [aT^H`rYnt[]ORT4Á|ÂnÃÔ½AÄ TYRqcegYRT ORewbmO%ews¶[]ORTS=f\sz[4ns]T_t ewstT[a`reppgTMt%epY¸bmOn`r~[aT^4Un² NPORTÁ¢ÂnýÄ_ TYnqlepYRT¢ews`ls]T_t=flY
(96) `ORepT^m`r^mbmORepb_`r~Rw`rYnYRegYnqS=T[aORft oue [¶¶`cs.[]OnT4´n^msz[6TYRqcegYRT [af+egY\[]^aftnbT[aORTµbflYbT~R[=fl=¤d¡ j®¯¤3°C§ .sRRijfc~T_^a`r[]fl^hepY `+s]T \RTY\[aep`lPtRT_bfcS=~f\seg[]epflY `rYnt-[]ORT bfl^a^]TMs~CflYtegYnq¶YnT¹±uegYtfrTÈ~CT^][iZtT´YRT_tb^]eg[]T_^]ew`R² ¢ YRfr[aORT^AepSh~Cfl^][a`lY\[egS=~R^af3lT_S=TY\[bfcYnbT_^]Yns [aORT¯`reppR^]TOn`lYntpegYnqhS=TMbmOn`rYRews]SÉoOnepbmO¸epYc[a^]ftbT_s`lYRfr[aORT^P±uepYntÉfrAb^]eg[]T_^]ew` * ¬Z¡R§3® £ ,² NPORT4Á ¿\Ľ t 1c" RTYnqlepYRTbflSRepYRT_sAORepT^m`r^mbmORewb`ru`rYttÊuYn`lS=epb¶fl~CT^m`3[afl^]ij`ls]T_t~Rw`rYRYnegYRq. S=T[]ORftRs_²NPORewssTMbflYtµ~Rw`rYRYRepYRqÉS=T[]OnfutSk`3[mbmORT_s¢[]ORTktTMs]b^]ep~[aegfcYºfrCfr[aOÀ[aORT[zÊ\~CTk`rYntº[]ORT bflY\[]T_Y\[as=frepYR~R[ms
(97) `rYnt fc[]~RR[askeg[]O fl~CT^m`3[afl^=~R^aT_bflYnteg[]epflYsk`rYnt"T ³T_b[as_²NPORT_s]TµbfcYnbT_~[as `l^]T[]OunsCT[][]T_^TÈ~Rpfleg[]TMtº[aOn`rY egY¹Á¢ÂÃÔ½Ä_³²=WZY¹`ltRtRe [aegfcYÔoÁ ¿\Ľ +epY\[]^afutRnbTMs=«°C¤3£ l¬£]¬ l¬¥ m¤r¨¢¡R¤©d® j®¯¤3°no³`=YRT_[zÊu~CTfr.bfcSh~Cfcs]eg[]Tfl~CT^m`3[afl^4tTMbfcSh~Cfcs]eg[]epflY¸`rYnt ¬® ¦ ¯©¶ fl^|`3[[a^]epR[aT_sfl `l^]qcRS=TY\[¶[zÊ\~CT_s_² $AepYn`rpgÊco¢[aORT ·  w½ T_YRqlepYRTÀepY\[]^aftnbTMs¸`ltRteg[]epflY`rbflYbT~R[asÉYRTTMtT_t fl^Ée [ms¸OuÊ\n^]ewt `rYt ~CT^ms]~TMbd[]eplTij`ls]T_t+~Rw`rYRYnegYRq S=T[aORft o. fl^hTÈR`lSh~ngT%¡¬£m©Ç¡¬ F® 3¬©flY-tn`3[a``rYnt ¬m#§
(98) ¡C£]¬ a¤r° r® ¥ j®¯¤3°n©6fcY%fc~T_^a`r[]fl^ms * ~R^aT_bflYntRe [aegfcYns¶[]On`r[¢`rpgf3 `=T[[aT^´R[4eg[]Oºtn`3[a`[afkT`lYn`rpÊsTMt%`lYnteg[]O fcyzT_b[]eplTcoR[¢b`lY%CT^aTw`3ÈT_tORTYµ`rYÉfl~R[]epS=`ls]flp[]epflY¸b`lYRYRfr[CT^]TM`lbmORTMt ,d²
(99).
(100). . , . ' $ -$& '. /µfl^aT¢ fc^]Sk`rppÊlo¶Tb_`rYµtT´nYRT[]ORT~n^]fcql^m`rS;s]R~T_^]uewsepflY%~R^afubT_sas`ls¶ fcgpf34sK eplT_YÉ`csPegYn~R<[ ~ e l²p² Y `=sT[4frA~R^]fcql^m`rSks6~ o * TÈewsz[aegYnqhTÈT_bR[a`rngTbftTMs , _^a~ ^mb ¸`ºsT[flP^aT~n^]TMsT_Yc[m`3[aegfcYns^a~ fl[]ORT%~R^]fcql^m`rSks~ `rYnt¹fl[]ORT_eg^ns]Tlo.~Rpns` * ~CfcsasepRpÊ=TS=~[zÊ ,s]T[¶frÔ^aT~R^aT_s]TY\[m`3[]epflYs.^ab 4frÔ±uYRf3YbflSnegYn`r[]epflYns6b ¢fl []ORT|~R^]fcql^m`rSks Mb^ !`=sT[4fr.tT_beps]epflY¸b^ae [aT^aep` . '(. .
(101) ¼|½¾¿À§3° ÀÁ¢ÂnýÄ_ ¬¬£a¬°a¬§3° ©¬£ À§3°n«n§ `hs]T[4flAepYR~RR[¢tR`3[m` *¯^]TM`rÔtR`r[a`noqleplTYÉuÊk[]OnTTYntuiÇns]T^P fc^4`~`r^][]ewbRw`r^b`csT , `=s]T[frHTÈ~CT_b[a`3[aegfcYns`rCflR[Pfc[]~n[¢tR`3[m` *]¬ ¦ ³[aORTep^[zÊu~T`lYntÉY\nSCT^ , 6`=sT[4frHbflYsz[a^a`legY\[as¶fcY%TÈu~CT_b[]TMt%fc[]~n[¢tR`3[m` . MU. . eg[4~R^aftnbTMs`lsPfc[]~RR[< !_~ ~ `lYnt =~n`r^][]ew`rCfl^mtT^6flY
(102) ~ 3s !cou`SR [aeps]T[Mo`rwsfYn`rS=T_t`¡ p§3°no ® ¬ ` bfcSRepYn`3[aegfcY%flA~n^]fcql^m`rSks*¯e [aOµ`hbfl^a^]TMbd[4tR`r[a` nf3K`lYnt%ORT^aT[]ORTsa`rS=T~R^aflql^m`rSSk`Ê `r~R~CT_`l^4sT_lT_^a`l[aegS=TMs , `ks]T[fr.`lb[]n`l fl[a~R[¢tR`r[a`=sbmO[aOn`33[
(103) * ),do
(104) R ´ps TÈ~CT_bd[m`3[aegfcYnso
(105) ORfcptns² $&% ª>$É $ +5 %É k %#23#AA k % À
(106) A ¢^[ae ´Cbew`regY\[]T_gpepqlTYbTº[aT_bmORYne \RTMsOn`cTºCTTYKns]T_t [af"T_SCfutRÊ"[aORT TÈ~T_^[aeps]TÀfcY []OnTns]TÀfl ~n^]fcql^m`rSksoHepY-fc^atT_^[afORT_g~ `ºYnflYiZs~CT_bep`lgews[ns]T^k`r~n~RgÊ [aORT¸~R^]fcql^m`rSksepY tRe.³T^aTY\[=6fc^]±uepYRq T_Yu\ep^aflYRS=TY\[ms²WZYntT_T_t oÔ`±uYRf3gTMtqlTij`ls]T_tµs]Êus[]T_SÓS=`ʵSk`lYn`rqcT[]ORT=pegn^a`l^]ÊÉns]Tlo³ ^aTTepYRq%[]ORT sT_^flCtfcegYRqsfSk`rYun`lgpÊl²ANPORepsH`leptb`rY^a`lYRqlT ^]fcS`ltuewsfc^]ÊqlneptT¶pTlT_uR~[af¢ ngpÊ`rR[]flSk`r[]ewb ~n^]fcql^m`rS S=flYReg[]fc^]epYRqksÊs[]T_S=s_² YRf3pT_tRqlTiÇn`csTMt[aT_bmORYR"e \RT_s[]On`r[6`r^aTns]T_t=[afRRepwt=~R^]fcql^m`rS s]R~CT^aueps]egfcY
(107) sÊs[]T_S=s`lbmORepTcT Cfr[aOºflRyzT_bd[aegcT_sfl|¤m¡R¬£a§ j®¯¤3°C§ C¡£]¤ g¬¨h¥Ç©¤ M® ° ¦ `rYt M°³¤ g¬ ¦ ¬ m§m¡C® ǧ ®w©§ j®¯¤3°º`rCflR[¢~R^aflql^m`rS sTc² YRf3pT_tqcTiÇn`ls]T_tÉ[aT_bmORYRe"\RT_s`lgpf3Æ[]OnThYnT_bTMs]sa`r^aʸTÈ~CT^][]ewsT[]fÉTkb_`r~[aR^]TMtÀ`lYnts[]fc^]TMt fc^[aORTs]R~R~Cfl^][fl`YRf3uewbT4fc^6`rY%`r[aflYRfcShfcnss]Êsz[aTS ~T_^ fc^]S=epYRq~R^aflqc^a`lS)s]R~CT^a\ews]egfcYÔ²ANPOneps ±uYRf3PiÇORf3 flYbTÉegY\[]T_ql^m`3[aT_t¹epY\[]f+`À±uYRf3pT_tqcTn`csT%Sk`r±lTMs[aORews=[]epgewsa`3[]epflY"~f\s]s]epRgT * T_lT_Y-epY ^aflnnsz[4`l[]fcS=`r[]ewbsÊs[]TSks-,d² $Aep^as[_o`r[aflSk`3[aepb `rYt T
(108) begT_Yc[¸fl~CT^m`3[aegfcYn`rpews]`r[]epflY epY[aORTsT frh~R^]fcql^m`rSks
(109) ewsÉYRT_bT_sas]`l^]Ê tRRTµ[]f+[aORTÀw`r^aqlTµ`lShfcRY\[
(110) frTÈewsz[aegYnq¹~R^]fcql^m`rSksh[]O`3[%`l^]Tµ^aRY uÊ"T_YntuiÇnsT_^as=Onf·T_gfcYRq+[]f tRe.³T^aTY\[tRflSk`repYns_² $Rfl^|TÈR`rS=~RpTloCepS=`lqlT~n^]fbTMs]s]epYRqk~R^aflql^m`rSks`l^]TS=fc^]T`lYnt¸S=fl^aTfr [aTYºsTMt uÊ|~ROuÊus]ewbew`rYns_o_negfcgfcqlewsz[msoM`ls[]^aflYRfcShews[as_oT[mbr²po_fc^ÔTcTYepY`r[aflSk`3[aepbH~R^afbTMs]s]egYnq4bmOn`repYns_²x.^aflql^m`rS s]R~CT^aueps]egfcYs]Êus[]T_Sksf CT_^6YRfcY%s]~TMbew`rpeps[6sT_^as6ORTp~%bflYnbT^aYRepYRq[aORTbmOnflewbTlo\~n`l^a`lShT[]^aeps]epYRq`rYt s]T \RT_YnbepYRq¸fr¶~R^aflql^m`rSks_²hNPOnTÊÀSk`lYn`rqcT[aORT
(111) sT_gTMbd[aegfcYfl6[aORTkTMsz[~n^]fcql^m`rSkso³[aORTep^fc^atT_^]epYRqo [aORTÀtR`r[a` nf34s`rS=flYRq+~R^aflqc^a`lSksoP`rYnt"[aORTÊ `r[aflSk`3[aepb_`rpgÊ tT[aT_b[~R^aflRpTSks
(112) `lYnt n`lbm±\[]^m`lbm± egYnT_bTMs]sa`r^aÊ"[]f ~T_^ fc^]S ^aT~n`leg^ms_²;NPORTÊ [m`r±lT epYc[af `cbbflRY\[É[]ORT+s~CT_be ´Cbs¸fr~R^]fcql^m`rSks_o[]ORT epY\[]T_^]S=T_tRep`r[]T fl^aSk`3[][]epYRq
(113) frtR`r[a`noR[]OnTbfcS=~RgTÈÉb_`rpgepYRqs]ÊuYc[m`3ÈT_s_oRT[abr%² ~R^]fcql^m`rSËs]R~CT^aueps]egfcY s]Êsz[aTS ~R^af3\ewtTMs TYntijns]T^msÔeg[]O^]TMbflYR´nqlR^m`3[aegfcY`rYnt`ctR`r~[m`3[aegfcYb`r~`rRepgeg[]epT_s_oORewbmO`r^aTb^anbew`r. ((*),+.-0/0101.
(114) . §® °C¬ À¤3®w©§3°. [af[aORTb_`ls]T4frA`r[aflSk`3[aepb~n^]fbTMs]s]epYRqbmOn`legYns_²HWZYs]flS=T|b_`ls]T_s_o\`tep`lgfcqSk`Ê=fub_bR^6e [aO
(115) [aORT|T_Yntui sT_^HijfcYhs]flS=TP~fcegY\[ms.^]T_gT_3`rY\[H[]fORews 3ORT^.bflS=~T[]T_YnbTiegY=fc^atT_^A[]fbfcgpT_b[.egY fc^]Sk`r[]epflYh[]fqlneptT [aORT^aT_`ls]flYnegYRq~R^afubT_sas * [zÊu~Rewb`lgpÊk[]fk`cs]s]T_sas6[]ORT \n`lgeg[zÊ
(116) fr.`h^]TMsn [ ,d² uTMbfcYnt o¢~n^]fcql^m`rS s]R~CT^aueps]egfcY []TMbmORYR"e cnT_sÉ`rwsf-`lgpf3ÓTÈ~CT^][as[]f"bflYns[]eg[]R[]T+`-bfc^]~Cfl^m`3[aT S=T_Shfc^]Ê`lfc[H[]ORT¶ns]T¶fln~R^aflqc^a`lS=sÔ[]On`r[.TÈeps[HegY[]ORT_eg^.bflS=~n`rYuÊc²NPORews R ´ps.`|^]T \Reg^aTS=T_Yc[ fl^ bflS=~n`lYRegTMs²HWZYntRTT_tÔoORTYÉTÈ~CT^][as¶iÇORfO`lT|[]ORews±uYRf3PiÇORf3PiA`l^]TYRfl[`3`legw`rRpT¢fc^ORTY%[]OnTÊ ^aT[aeg^aTfl^pT_`cTlou[]OnTbfcSh~`rYuÊ
(117) P`rY\[as¶[afk±lTT_~[aORews4~R^afbT_sas]egYRqh±uYRf3pT_tqcTepYµ`rY¸RYntRT^msz[m`rYntR`lRpT `lYntµ~CfcsasepRpʸfl~CT^m`3[]epflY`rÔ fc^]S¸²NPORews¢±uYRf3pT_tqcTewss]TwtfcS1TÈ~Rgewbeg[]TMtµepYtfbnShT_Y\[a`3[aegfcYÀ`rYt b_`rYRYnfr[6CT| flRYnt
(118) egYÉsfcR^abT¢bftTMs² 1HÈ~Rpewbeg[]pÊ
(119) bw`r^ae ÊuepYRqs]nbmO`±uYRf3pT_tRqlT4Sk`r±cT_s6^]TMtT_s]epqlY
(120) `rYt S=fteg´b`r[]epflYÉfr.bftTMsPT_`ls]epT^M² $&% ª>$É $ AA k % À
(121) '. k 4 "±uYRf3pT_tqcTiÇn`ls]T_t~R^aflqc^a`lS s]R~CT^a\ews]egfcYsÊs[]TST_SRw`3[aT_s[]ORTPs[]^m`3[]T_qlÊfr`lYTÈ~CT^][AepY[aORT¶nsT fl []ORT|~R^aflql^m`rSks_² |s6`lY\Êh±uYRf3pT_tqcTiÇn`ls]T_t=s]Êus[]T_S e [6[zÊ\~nepb_`rpgÊ=R^aT_`l±usR~
(122) epY\[]f`qlT_YRT^m`rRepY T_^i T_YnbTT_YRqlepYRTloR`h±uYRf3pT_tqcT|`ls]TtRT_tewb`r[]T_t[]fk`h~n`l^[aepbRp`l^tflSk`repYÔoR`lYnt%`¯`cbd[n`ls]TtT_sab^aepRegYnq `=s]~TMbeg´b~R^aflRpTSËegY%[]ORTtRflSk`repY *¯s]TT´nqln^]T=l² U ,²HWZY%[aORTb`csTfrH~R^aflqc^a`lS s]R~CT^aueps]egfcY . User. request Program Supervision system Π PS engine. Ι. Data. Ο. Knowledge Base (rpi , rcj &crk ). Ι. Ο. Programs (pi). Fact Base. $AepqlR^aT l² U Ó±uYRf3gTMtqlTij`ls]T_t¹~R^aflqc^a`lS sR~CT^aueps]epflY"s]Êsz[aTS#OnTp~ns
(123) ` ns]T^h[]f¹ns]Tµ`+sT[=fl n~ ^]fcql^m`rSksP fl^s]flpuegYRq%`^aT \RTMsz[flYÀepYR~RR[tR`r[a`# [af%fc[a`legYºfc[]~n[tR`3[m`
(124) oÔ`ls¢[]ORT=^aT_s]R [ms¢fl [aORTTÈT_b[]epflY%fr`~Rp`lY ².WÇ[¶ewsPbflS=~Cfcs]T_tkfl`~R^]fcql^m`rS sR~CT^aueps]epflY
(125) T_YRqlepYRT`rYnt%`±uYRf3pT_tqcT `ls]Tl²KNPOnTº±uYRf3gTMtqlT¸n`csTºbflY\[a`legYs=[]ORTÀ^]~`rYnt ^mb ^]T_~R^aT_s]TY\[a`r[]epflYns=fl~R^aflqc^a`lSks=~`rYt bflSRegY`3[]epflYs6flA~n^]fcql^m`rSks6b loR`lsP¶Tp`ls¶[aORT^aT~R^aT_s]TY\[a`r[]epflYns6frH3`r^aegfcnsPtT_beps]epflY¸b^ae [aT^aep`hb^ ² NPORT4~R^aflqc^a`lS s]R~T_^]uewsepflY *¯x) ,.T_YRqlepYRT4ews`r~n~Rgewb`r[]epflYiÇepYntT~CTYtTY\[_²HWÇ[Sk`ÊnsT4`lY
(126) `rÈep i ep`l^]Ê^aRgT6TYRqcegYnT.[]f|~R^]fbT_sas []OnT6te!CT_^]T_Y\[TÈ~CT^][_» sb^]eg[]T_^]ew` * TÈ~R^]TMs]s]T_tuÊ^aRgTMsÔepYÁ¢ÂÃÔ½Ä_ , []On`r[¢`r^aTnsTMt¸tR^aegYRq=^aT_`csfcYRegYnqn².NPORT^aflpTfl[aORTTYnqlepYRTepsP[afkns]T|[aORT±uYRf3pT_tqcTs[]fc^]TMt egY[]ORT±uYRf3pT_tqcT4n`ls]T4 fc^6T'CTMbd[aegcT|~Rw`rYnYRegYnqno\TÈT_b[]epflYÉ`rYnt
(127) bflY\[]^aflfrTÈT_bR[]epflY
(128) flÔ[]ORT ~R^aflql^m`rSksPepYºte!CT_^]T_Yc[|6fc^]±uepYRq=TYuueg^aflYRS=T_Yc[ms²6WÇ[|T_SRw`3[aT_sP[aORTs[]^m`3[]T_qlÊ%fr.`rYµTÈ~CT^][¢epY []ORTPns]TPfrn~n^]fcql^m`rSks² s]R~CT^aueps]egfcYs]Êus[]T_SewsA`lRpT[afTÈT_bR[]TP`rpu[]ORTte!CT_^]T_Y\[[a^]TM`3[]S=T_Yc[ ~ROn`csTMs * S=fl^aTfl^gTMs]s-,.`rR[]flSk`r[]ewb`rppÊl²|T~CTYtegYnqflYh[aORT¢s]Êus[]T_Sks`rYtfcY=[]ORT|`r~R~Rpewb`3[aegfcY '(. .
(129) ¼|½¾¿À§3° ÀÁ¢ÂnýÄ_ ¬¬£a¬°a¬§3° ©¬£ À§3°n«n§ . . t flSk`legY[]ORT~ROn`csTMsPb`rY%TbflS=~RpT[]T_gÊkfc^PflYRpÊk~n`r^][]pÊ
(130) `rR[]flSk`r[]T_tÔ²HNfhTlT_Y\[]n`lgpÊ=fl[m`repY s]`r[]ewsz¯`cbd[afl^aÊfc[]~RR[as_o.[]ORT%^]TM`ls]flYRepYRqºT_YRqlepYRT%TÈ~Rpfl^aT_s[aORT%tRe.³T^aTY\[=~f\s]s]egnegpe [aegTMs*Fte!CT_^i TY\[^aT_`csfcYRegYnq%R^m`rYbmORT_s-,`rYnt¹bflS=~R[aT_s[aORTkTMsz[flYRTcoeg[]O¹^aT_s]~TMbd[[afµTÈ~T_^[b^]eg[]T_^]ew`Ro `3`repp`lRgTepY[aORT±uYRf3pT_tqcT`ls]Tl² NPORTns]n`r T_YRqlepYRTbÊubgTflA^aT_`csfcYRegYnq~RO`ls]T_s¶[]fks]flplT`hns]T^M» sP~R^aflngT_S;eps¢tT_sab^aegCT_t%epY¸` qlT_YRT^m`r³S=ftTÔflA^aT_s]flp[aegfcYepY¸s]T_b[]epflYµ² ,² NPORT±uYRf3pT_tRqlT
(131) n`csTeps^]eg[[aTY·uÊ+`rY·TÈ~T_^[ e [=tT~CTYtRshflY+[]OnT%`r~n~Rgewb`r[]epflY·tfcSk`repY `rYntÉfcY%[aORTs]T[4flA~R^aflqc^a`lSks[aOn`3[4ewsS=ftTppT_t ² bmORegT_uegYRq=~R^aflqc^a`lS;sn~T_^]uewsepflYÉ^]T \Reg^aT_s `µbpT_`l^tRT_sab^aeg~[aegfcYfl6[aORTk±uYRf3pT_tqcT=`cs]s]fbew`3[aT_tºeg[]O+~R^aflqc^a`lSks`lYntORf3[aORTÊ sORfcRwt T`l~R~RpegTMt%[]fksfcgcT`~n^]fcRgT_S¸²NPORTtT_sab^aeg~R[]epflYnsPOn`cT¢[afkT`csbpfcs]T`lsP~CfcsasepRpT|[af=[]ORT TÈ~CT^][as|ShftT_Fo³[af
(132) ¯`cbepgeg[a`r[]T±uYRf3pT_tRqlT`cb \Rewseg[]epflYÔ²NPORT_ʸs]ORfcRptÀ`rwsf
(133) CT=s
(134) begT_Yc[| fl^ []ORTTYnqlepYRT[]fhsT_gTMbd[6[]ORT|~R^]fcql^m`rSks_or[]fegYne [aep`lgewsT4[]ORT_eg^¶~n`r^m`rS=T[]T^ms_or[]fSk`rYn`lqlT4YRfcYk[]^aep\ew`r tR`3[m`3!i nf3o`rYnt [af-bfcSRepYRTµ[aORTÀ~n^]fcql^m`rSksh[]f·~n^]ftnbTÀ`·sa`3[aeps¯`lb[]fl^aÊ·~Rw`rYKtT~CTYntRegYRq flY-[]ORTÉegYn~R[ktR`3[m`RobfcYns[]^m`repYc[mso.`lYnt¹^aT \RT_s[_²¹NPORT%±uYRf3gTMtqlTn`ls]TT_Ynb`l~nsnp`r[]T_s[]Oneps TÈ~CT^][]ewsT flYK~R^]fcql^m`rSks`lYnt ~n^]fbTMs]s]epYRqno® ¬ ª±uYRf3gTMtqlT `rCfl[É[]OnT bfl^a^]TMbd[%sT fr` gepR^m`r^aÊ fr~R^aflqc^a`lSks²NPORewsÉ~R^]epSk`r^aegpÊ egYbpntT_sµtRT_sab^aeg~[aegfcYns%fr[aORT+~R^]fcql^m`rSks`lYnt fl []ORT_eg^P`r^aqlnShT_Y\[as_olR[`rws]fTÈ~CT^][]ewsT4fcY
(135) ORf3 [af~T_^ fc^]S`l[]fcS=`r[]ewb`lgpÊhtRe.³T^aTY\[¶`cbd[aegfcYnso sbmO`lsegYReg[]ew`rpews]`r[]epflYkfrÔ~n^]fcql^m`rS ~`r^m`rS=T[aT^mso\`lsasTMs]s]S=TY\[frÔ~R^aflqc^a`lS TÈuTMb[aegfcYk^]TMsn [mso T[mbr² unbmO¹`l[]fcS=`r[]ewb=`lbd[aegfcYns~R^af3\ewtTh[]OnT=´nYn`rs]Êsz[aTS9eg[]O nTÈegReppe [zÊ `rYnt^]fcRns[]YRTMs]s `rq\`repYnsz[¢bmO`rYRqcT_sPfrs]e [an`3[aegfcYns_² qcTYRT_^a`l S=futRTfl.±\Ynf3gTMtqlT fl^¢~R^]fcql^m`rSËs]R~CT^aueps]egfcY eps|~R^aT_s]TY\[]TMt¸egYºs]T_b[]epflYR²gcJ² 4fr[aT[aOn`3[TlT_YµegY`kqleplT_Y¸tRflSk`repYµ[]OnT^aTeps¢YRf
(136) RYne \RT¶`Ê frS=ftT_gepYRq[]ORT±uYRf3gTMtqlTc²#TT¼¢½¾A¿tfbRS=TY\[a`r[]epflYk fc^PtRT[a`legws6flYOnf3 []f=tT_sab^aegCT|` ±uYRf3gTMtqlTn`csTc²HWÇ[¢sORfcRwtCTYRfr[aT_t%[]O`3[4tR^aegYnq[aORT^aT_`ls]flYnegYRqh~R^afbT_sas_oc[aORT±uYRf3pT_tqcT n`ls]Teps4YRfr[S=fte ´T_t ² {|YnbT[]ORT±uYRf3pT_tRqlTiÇn`csTMt¢s]Êus[]T_SKO`ls CTT_YqlTYnT^m`3[]TMt4 ^aflSK[]OnTTÈ~CT^][_» s ±uYRf3gTMtqlT.`ls]T `rYntº[]ORThTYnqlepYRTlo³[aORTT_YntuiÇns]T^flYRpʵOn`ls¢[]fÉ~R^af3ueptT[]ORT=s]Êus[]T_SÓe [aOepY fl^aSk`3[aegfcYÀ`rCfl[ []ORTµtR`r[a`egYsz[m`rYnbT_sfr4[aORTµbR^a^]T_Y\[~R^aflRpTS [af s]flplTÉ`rYnt"`rY-`lns[]^m`lbd[hqlf\`r6[]f+`lbmORepTcT *¯`lShfcYRq[]Onfcs]T¢`lb_bT~R[]T_thuÊ[]ORT¢s]Êsz[aTS ,d²HNPORT¯`cbd[`ls]TORTYnbT¢tT_~T_YntRsfcY=[]ORT¢TYntuiÇns]T^M» s ~R^aflRpTS `rYntbflY\[m`repYnsH[]OnT|tR`r[a`epYns[a`rYbT_s6tT_sab^aepRegYnq[]ORews6~R^]fcRpTS `rYntk`lg[]ORT|YRT_bT_sas]`l^]Ê TYuueg^aflYnShT_Y\[a`ruepY fl^aSk`3[aegfcYÔ²A|R^aegYnq|[aORT^aT_`ls]flYnegYRq|frC[]ORTP±uYRf3pT_tqcTiÇn`ls]T_tsÊs[]TS sfcS=T tR`3[m`epYº[aORT¯`lbd[n`csTS=`ʵCThShfteg´nTMtºfl^s]flS=Tfl[]ORT_^`ctRtTMt *¯b^]TM`3[aT_tº`cs¢^aT_s]Rg[fl[]ORT TÈT_b[]epflY¸flfl~CT^m`3[afl^ms ,² WZY+`ltnte [aegfcYº[af[aORT_s]T=ns`r.bfcSh~CflYnTY\[as_oÔ`~n^]fcql^m`rS sn~T_^]uewsepflYÀs]Êsz[aTS9epYnbgntRT_s|[]ORT=pegn^a`l^]Ê flTÈT_b[a`lRpTº~R^aflql^m`rSks_²N¶f·±uepYntRs%frepYc[aT^]¯`lbT_s`l^]Tº`lps]f-`ctRtT_t []f·[aORews%`l^abmOReg[]TMbd[aR^]
(137) T ` *¯ql^m`r~ROnepb_`r ,¶nsT_^iÇepYc[aT^]¯`lbT`lYntµ`kbfcS=SRYRewb`r[]epflYµepY\[]T^]¯`lbTT[z6T_TY¸[aORT (¸`rYntÉ[aORTpegn^a`l^]Ê fl~R^aflqc^a`lSks². ((*),+.-0/0101.
(138) M. §® °C¬ À¤3®w©§3°. '(. .
(139) ¼|½¾¿À§3° ÀÁ¢ÂnýÄ_ ¬¬£a¬°a¬§3° ©¬£ À§3°n«n§ . . 3. .
(140) . . 0 . . . . TOn`cT¢ewtTY\[]eg´nTMt
(141) [aORTegS=~Cfl^][a`rY\[bfcYnbT_~[asPepYulflplTMtkepYÉ`~R^aflql^m`rS s]R~T_^]uewsepflY%~R^afubT_sas² PN OnT_s]T|bfcYnbT_~[as¶On`cT¢CTT_YS=ftTpgTMtk ^aflS [aORT|~CflepY\[¶fluegT_ frAsfl [z¶`l^]T4^aTsT`ls66T_g `ls ^aflS [aORT~CflepY\[hfl4uegT_fr4~R^aflqc^a`lS s]R~T_^]uewsepflY-egY-tn`3[a`À~R^afubT_sasepYRqÀ`lYnt·`l^[ae ´bep`lepY\[]TppegqcTYnbTlo.epY fc^atRT^h[]f+qlT[=[]ORTµS=fcs[keptRTpÊ·nsa`rRpT¸^]T_~R^]TMsT_Y\[a`3[aegfcYÔ²"NPOneps
(142) bmO`r~[aT^ks±cT[mbmORT_s[]OnTµ~R^]fc~f\sTMt S=ftT_F² A À$ %% ª>$É1:<k$%4>À AA
(143)
(144) A %'$ NPOnT±\Ynf3gTMtqlTS=ftTAtT´nYnT_sP[aORTs[]^anbd[aR^]TflH~n^]fcql^m`rS;tTMs]b^]ep~[]epflYs4`rYntÉOn`r[4epsas]RT_s~np`Ê` ^aflpTegY%[]ORTbflS=~f\seg[]epflY%frH`s]flp[]epflY%ns]egYRqh[aORT~R^]fcql^m`rSks_²WÇ[eps¶[aOuns`qcRewtTpegYnT|[aOn`3[T_Yn`rRpT_s [af
(145) ^aT~R^aT_s]TY\[¢~R^aflqc^a`lSksP[]f
(146) CT^aTiÇns]T_tµ`lYntº`kqcReptRTpegYRTflYºOnf3K[af^aTiÇns]T[]ORT_SÉ ² )tRT_sab^aeg~[aegfcY [aORT^aT fc^]TÉsOnflRwt¹YRfl[hfcYRgÊ·tRT_sab^aegCTÉ`À~R^aflql^m`rS R[
(147) `lps]fµ[]OnTÉepY fc^]Sk`3[aegfcY¹[]O`3[=epshYRT_T_tTMt¹[]f `l~R~RpÊ
(148) eg[4egYµte!CT_^]T_Y\[s]eg[]n`r[]epflYns_² ,3. "' -# &*. #*. WZY
(149) []ORewsPsTMbd[]epflY6TtT´nYnT4[]OnT¢[aT^aS=s6¶T¢epg³CT¢ns]egYnqepY
(150) []Oneps¶S=ftTj².Nfh`lbmORepTcT4T ³T_b[]eplT¢S=ftui T_gpepYRqfl~R^]fcql^m`rSÓsn~T_^]uewsepflYÔoC¶T´n^msz[tT´YRT`lYºflY\[]fcgfcqlÊÉORewbmOÀbfcYc[m`repYns4qcTYRT_^a`lbflYnbT~[mso s]nbmO`csPtR`3[m`fl^P~R^aflqc^a`lSks²ANPOReps¶fcYc[aflpflqcÊ~R^af3ueptRT_sTÈ~T_^[ms6eg[]O ~n`3[][]T^aYns &* fl^P^aTnsa`rngT¢[]TShi ~np`r[]T_s-,A[aOn`3[[aORTÊhepgegYns[a`lY\[]ew`3[]T¢e [aOk^]TMs~CT_b[[]f`tRflSk`repY oc[]OnT^aTuÊfc[a`legYRepYRq`tRflSk`repYkflYi [aflpflqcÊl² $nfl^HTÈR`rS=~RpTloegepSk`rqlT6~R^afubT_sasepYRq4ews[]ORTPtfcS=`legYo[]ORT_ÊS=`Êfc[a`legY`rYepSk`rqcTiÇ~R^]fbT_sasepYRq fcY\[]flpflqcʵbflY\[m`repYRegYnq%[aORTktT_sab^aep~[]epflY frPegSk`lqlT_s`lYntÀepSk`rqcTh~n^]fbTMs]s]epYRq%~n^]fcql^m`rSks²h}T´YRegYnq¸` s[]T_~k R^][]ORT_^_o\[aORTÊ=Sk`ÊT_lT_Yk fbns6flY`~n`r^][]ewbnp`l^`r~R~ngewb`r[]epflYÔousbmO`ls ` tT[aT_b[]epflY epY
(151) []Oneps. ). 0)). ). 0 ) ) 0) 0)
(152) "+:#!3* 2#89"=8!/+FJ +: "84 )3,!/ )#5-* FG/!#*-FG/,4'5-. /+232#%'4'5H/!4'" &#"FG/+4 8,*1:;*-8, ! "D!3* "( 9*-5- : "K5-$# "+:5-"= #4 ,4'" "8D4'FG/+=*2#8,"K5-*-!!4 3=G/+8,* 2 "!,4'(#%'* /+#2 2#%'4'5H/,4'" E&#"FG/+4 3CM. ((*),+.-0/0101.
Documents relatifs
In infantile Pompe disease patients, the glycogen storage diffusely affects brainstem motor and sensory neurons, and the whole spinal cord sensory neurons, interneurons, and
De ce point de vue, il est possible d’affirmer que la mission est accomplie : les projets de renouvellement urbain (GPV et ORU) élaborés depuis 1998 dans une centaine de villes
cosinus (en bleu à gauche) et d’une droite (en noir à droite) sur les données simulées pour 4 années à une température de 45°C, avec un bruit de fond interne réduit de 100,
Florence CARRÉ ~ Réoccupations funéraires de sépultures collectives néolithiques dans la boucle du
2 Vue plus en détails dans le chapitre 1... 2 phénomène d’agrégation des protéines amyloïdes en fibres et d’autres facteurs impor- tants doivent être pris en compte comme
In this chapter, we prove an a posteriori error estimates for the generalized overlapping domain decomposition method with Dirichlet boundary conditions on the boundaries for
Revue française d’héraldique et de sigillographie – Études en ligne – 2020-10 © Société française d’héraldique et de sigillographie, Paris,
Dans ce cas, comme les coulées du Bras de Sainte-Suzanne appartiennent au massif de La Montagne daté à plus de 2 Ma (McDougall, 1971), l’ensemble des coulées pahoehoe