Synchronizing Periodic Clocks in Kahn Networks
Texte intégral
(2) INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE. Synchronizing Periodic Clocks in Kahn Networks Albert Cohen, Marc Duranton1 , Christine Eisenbeis, Claire Pagetti, Florence Plateau2 and Marc Pouzet2. N° 5603 2005. N 0249-6399. ISRN INRIA/RR--5603--FR+ENG. Thème COM. apport de recherche.
(3)
(4)
(5)
(6)
(7)
(8) !
(9) #"%$ '&()+* , -.0/214365798;:14<=?>A@+36BDCE3F@G<H5I8;< 1 =?79:36JLK5FJL<1NM J0KI14<O/?1PJ0KP=?79.L@+JL361RQS@+T+145I5IJU=WVX.L8;361P<B41 Q,.Y@G5I1Z@+E 2 @G<[\>]@+3IBDQX8+E^P1_5 2 `acb6d9egfihSjlknmZoqpsrtb6d9eIpiuv4d9dgwcxcyzu{_x4r|p }~Uveri u|aedo }1 acyypXie6pte6{_~Uu|aO{_Gv4~U{rtv_~Uye6p64yxqav_exOc`ace ertace6~tz{xp 2 O}?cc}?ye6~t~Ue,{xjN{~Uye f2w~tye,xcy_e6~Uptyro4q}W{~Uyp6qc~|{xue {c+v_~tr qe~Ue6u|ace6~Uu|acex+4_ k¢¡44,k£_¤g{¥4e6p ¦ §¨6©ª«c¬_©_¯® ec~Uv_+v4pte{Xc~Uv_¥_~|{ddyxc¥ dvqqec{_xg{_xc¥_w{_¥_eqe6qyzu{rteI rUvSay¥4aq°L+e~t±²v_~Ud{xue psrt~Ue6{_dyxc¥,{_ccyu6{rtyv_xGp³x{~trtyzuwcz{~I´e psrtwqog~teI{°0rUydeiZyzqev_°Ypsrt~Ue6{_d9yxc¥X±²v_~e6d+e6cce6de° cy{Rqe6Zyue6p6µyxuwqyxc¥Nay¥4aq°Yce¶xcyrtyv_x·`¸p6³R`acyzp,{_xc¥_wG{¥_ecwyzcpgv_x¹rtacepsoZxu|ac~Uv_xv_wpc~Uv° ¥4~U{_dd9yxc¥ºdvqqe6{_xRv_x qv_d{yxq°ps+e6uy¶+u »Zxcv´ie6q¥4ekn+e~UyvZcyuge4v_wqrtyv_xRv_±?prU~teI{dpiknrtv {_v´¯uv4~t~Ue6urs°YZo4°uv4xpsrt~Uwu¼rUyv4x c~Uv_+e~trtye6pgv± rtaceR{cyzu{rtyv_x½rUv +ec~tv4ex·Zo¹rtae¾uv_dcye6~6³ `ae6ptec~Uv_+e~trtye6pyxuwceXcwc¿+e6~2~Ue6ÀPwcy~te6dexPrUp{_xºqe6{Foqp?Ger´2e6exºyxccwqri{xGv_wqrUcwqrprU~teI{dp³ f2v4~t~Ue6urtxceIptpv_±rUace ydce6dexPrU{rtyv_x¾yp qyÁºuwcrXrtvº{4ptpte6pUp´iyrUa¾rt~|{_qyrtyv_xG{ÂÃ{4psoZxu|a~tv4xcv_wp|Ä{q° ~tvP{_u|aceIp³ mZwGu|ac~tv4Ge6~srUyeIp{~UeirUe6qyv_wpWrtv{_x{oZÅeiZogaG{xÆZqwcertv,rUace uv4dcyx{rtv_~UyzupWv_±;Zyzqev¶GrUe~|p dgwcrtyceXc{r|{,~U{rteIp{x9±²v4~td{rUp6³v_~?eÇc{dce_rUaceXce6pty¥4xv±Huv4d9dgwcxcyzu{rtyxc¥,cwq¿;e~|p+er´ee6x ¶GrUe~Uyxc¥¾c~UvqueIptpte6p9²yd{¥_epUu{_yxc¥µÀ4wG{yroRe6xca{xGuede6x4rIOerUu³ÈÄÉ´iacv4pteuvZu|»qpqv¾xcv_r,psrt~Uyzu¼rto d{rUu|a¾yprteIqyv4wp{_x¾e~U~tv4~s°Yc~Uv_xce4³`O´vºuv4ddwcxcyzu{rtyxc¥+e~Uyvqqyzuc~UvZue6pUpseIp{~Ue,qe¶Gxce6R{4p n Ê Ë¼ÌÍ;ÎUÏqÐtÑÍ;ÑÒZË y±Grtace6ou{_xg+eydcedexPrUe6gyx9rtaev4~Ucyx{_~to °ÄptoPxGu|ac~tv4xcv_wGpHdvqqeq´iyrta{Sµh wq¿+e6~2v_±µptyÅ6e n ³ ® eSeÇZrUexº{guv4~teSpsoZxu|ac~Uv_xv_wp{rU{°0ÓGv´Ô0z{x¥_w{_¥_e´iyrta{ xcv_rtyv_xºv_±HGe6~tyvqqyu uvqu|»qp6+{_xNqeIpsy¥_x¹{º~Uez{Çqe6Ruvqu|»Ru{_uwcwGpgÂ0{roZGeptoZpsrte6dÕ±²v_~uvZu|»qp|ÄrUv{v´Öxcv_xDpsrt~Uyzu¼rto ptoZxu|ac~Uv_xcv4wpÆc~UvqueIptpte6pHrtvSGeuv4d9+v4pte6H³µ`acyzpO~Uez{Çc{rtyv_x,yzp{4ptptvquyz{rUe6´iyrtag{XpswqroZcyx¥ ~Uwceyx rUace2uvqu|»Su{zuwwp6³µ×Xez{Fo_Fcwc¿+e6~Oyxpse6~srUyv4x {x,uv_xPrt~Uv_PuvqqeW±²v4~HrUace6ptecwq¿;e~|p{~Ue{wqrUv_d{rUyu6{o yxq±²e6~t~Ue6 ±²~tv4dØrtae uvZu|»ºroP+e6prUac~Uv_wc¥4a{ptoZpsrte6d{rtyzuSc~Uv_¥_~|{dÙrU~U{_xps±²v_~Ud{rtyv_xH³ ÚRÛPÜ;ÝUÞß ªà¨_ á {acx½ er´v_~U»Zp6mqoPxGu|ac~tv4xcv_wGp}~tv4¥_~|{ddyx¥µ{xc¥4w{¥4e6p6Oie6{_2`yde_ây¥_aq° }e6~s±²v4~td{xGueSd+e6cce6NmZoqpsrtedp6q¸ yzqevºmPrU~teI{dyxc¥. Unité de recherche INRIA Futurs Parc Club Orsay Université, ZAC des Vignes,.
(10) 9
(11) O$)
(12) iØ , i
(13)
(14) i¯$ ¯i iO! "%$ ¨
(15) v_wpXc~ 6ptexPrtv4xpiwcxNdvqqb6e9qec~Uv_¥4~U{_dd{rtyv_xerSwcxNz{xc¥P{¥_e 6qyg{_wqǾ{_ccyu6{rUyv4xp qe rU~U{_yrUedexPrµceWÓwqÇƳx {_~srUyuwcye~IIxcv_wp rUwqyv_xpOeIpHc~Uv_¥4~U{_d9deIpÆZy6vqe6psrtyxIpµ{_wqÇptoqprUbde6p e6xq±²v_wypdgwcrUy d Iqy{q{~ieÇqedceS+v_w~i{gr 6 6Zyptyv4x a{_wqrte, ¶xcyrtyv_xH³f2eSz{x¥4{¥4eXpte{_pteSptwc~ e dvqqb6eqe c~Uv_¥4~U{_dd{rtyv_x½ptoPxGu|ac~tv4xceºer9ptwc~gz{Npt Iuy¶Guyr ¾qwÉcv_d{yxceº°e6pÓwqǽv_xPrgwx u6{_qe6xue6dexPr 6~tyvqqyzÀ4we cyO+e~Uder qeuv_xue4v_y~ce6pic~Uv_¥4~U{_dd9eIpiuv4~t~Ue6urUp{~Xuv_xGprU~twurtyv_xH cv_xPrSe6pSc~Uv_~ty r 6pSqepsoZxu|ac~Uv_xyuyr gptv_xPrXc~Uv_w eIp G{~euv4dcyz{rUewc~I³gf2e6pSc~Uv_~ty r 6ppsv4xPr v4qrte6xZwce6p{_~iyxGpse6~srUyv4xqe,wq¿+e6~Uper qe,~UerU{_~UpexPrt~UeeIpÓwqÇptv_~trU{_xPrUperiÓwcÇexPrU~U{_x4r|p³W?e6p ptv_xPrrt~Ub6picyÁºuye6p {rtrte6yxc~te,c{_xpeIpi{c~tvqu|aceIpSÂ0{_ptoZxu|ac~Uv_xceIpUÄrt~|{_qyrtyv_xxceeIp³ {_x{oqpse z{ d{yxqeueIp?~tv4c~ty r 6p2e6psr2rU~tbIp2 yu6{rte gu6{wpteXceXz{uv_dyx{rtv4y~Ueyxqwcyrte G{~We u{4qexuedexPr?qeIp¶rt~Ue6p6_er?eIpWdwrUyce6p2 yr|per?±²v_~Ud{rUpWqeIp?qv4xcx 6e6p6³µxG{~trtyzuwcye6~6 ! yxpte~trtyv_x¾qeIpcwq¿;e~|pieriewc~ic~Uv_¥4~U{_dd{rtyv_xºe6xPrt~UeSe6pc~tvque6pUpswp2¶rt~|{xPr|p,²~ 6qwurtyv_#x "{¥4~U{_xq° cypUpse6dexPrµ$ yd{_¥_e6p6F{ d yv4~U{rtyv_xqe?z{ÀPw{_yr ?ce6pHyd{¥4e6p|Ä+e6psrH±Ã{_psrtyzqyewpteerµ±Ã{_uyedexPrµptv_w~Uue % e6~t~Uewc~|pv_~|ptÀPwcee6pu6{_qe6xue6dexPrUp cw ÓwqÇ exPrt~UeºueIp,c~UvZue6pUpswGpxce ptv_xPr {_pprU~tyzu¼rUedexPre6x a{_pte_³O×XewcÇSc~UvqueIptptwpÆuv4ddwcxcyzÀPw{xPr|pÆpsv4x4rOcyr|pHxq°psoZxu|a~tv4xce6p;pty_ypÆ+ew_exPr &rt~UeWydc de6x4r 6p {xpie dvqqbe v4~Uqyx{_y~UeºÂðYptoZxu|ac~Uv_xceFÄ?e6xRyxG'p 6~U{_x4rwxRcwq¿;e~qe,rU{_ye xH³iv4wpe6xc~tyzu|acyzptptv_xGp wx z{xc¥P{¥4(e Óvr|p,qe9cv_xcx 6e6p6OptoPxGu|ac~tv4xcee6x wcy{v_wqr|{xPrSz{xcvrUyv4x¹$ acv4~tv_¥4e6p# ~UyvZcyÀPwceIp wcypuv_xpsrt~Uwcyzpsv4xp wcxÔu{_uwci$ av_~Uv4¥_eDÂ0psoqpsrtbde¾qeroP+e6p9+v_wc~9e6p9acv_~Uv_¥_eIpUÄ À4wy+e~Uder{ uv_d+v4ptyrUyv4xÉqec~tvque6pUpswpgxcv4x psrt~Uyurtede6x4rptoPxGu|ac~tv4xce6p6³Éf2ertrte~te6{Çq{rtyv_xÉpte~U{_d9b6xc e wcxce ptyd9ei~Ub¥4eiqeptv_wps°LroPG{¥_ec{_xpeu6{zuwcG$ av_~Uv4¥_e6p6³O yxpte~trtyv_xqei~UerU{_~Upqe cwq¿;e~|p_{_yxGpsy ÀPwcegeuvqqe9qeuv_xPrU~ )4ece9ue6pXcwq¿;e~|pXptv_xPrS{_wqrtv4d{rtyzÀPwcede6x4rSyxc±²e~ 6p {_~srUy~Sqe6pXroZ+e6pSqe6p av_~Uv4¥_e6p2{_~iwcxcert~|{xGp±²v4~td{rUyv4xqec~Uv_¥4~U{_dd9eIppsoqpsr d{rtyzÀ4we_³ *ß ©I¨ Ý ¬ + ¨Ô 6pte6{_wqÇ qe¾c~Uvque6pUptwpqe á {acxO2O{_xc¥4{_¥_eIpgqeR~tv4¥_~|{dd{rtyv_x psoZxu|ac~Uv_xe6p6 rUedpi~ e60cptoqprUbde6pe6d{_~UÀPw I,p gaG{wqrUe6p+e~t±²v_~Ud{_xueIpPrU~U{_yrUedexPr qeSÓwqÇZy 6v³.
(16) ÌÍ+Î|ÏZÐtÑÍ Í Ð
(17) ÃÑ ÃÎÑ6ÎË. . g )O ?)µ
(18) `ae~U{_cyze_v4wcrtyv_xv±ÆedgGeIcqeIºpsoqpsrte6drUe6u|acxcv4v4¥_o4±Ã{F_v4~teIgZojRvZv_~Ue pWz{F´Ô{_xpr|{x{~|cp yzpWyxu~Ue6{4psyxc¥4ogcw~t~Uyx¥XrUace G{~U~tye~|pGer´2e6exrtae qe6pty¥_xv±HpU{±²eroP°u~UyrUyu6{L~Ue6{°Lrtyd9e{_x9acy¥_aq° +e~t±²v_~Ud{xueSptoqprUedp6³]¥4vZvZeÇc{_d9eyzprtace cv_d{yxv_±ay¥4aq°Le6xPyzqe6v{_ccyu6{rUyv4xpq´iae~Ue rUe~|{°Yv_+e~|{rUyv4xp+e~pte6uv_x ²v_xcyÇZe6Huv4d9+v_xexPrUp|Ä2yxa{~|º~Ue6{_°Lrtyde ´iyÆ+e uv4dd9v4x yxuv_xq° ptwcde~XqeZyzue6p yx¾rUacedyzZrte6~td¾³ix¾rUacypSpty¥4x{°L~tvqueIptptyxc¥9cv_d{yxHGuv_dcwqrUe°YyxPrUexpty4e,»_e6~txce6p wGpseIrtvgGed{GeIrtvptGeIuy¶Gu¶ÇZeIa{_~Uq´{~UeÂ0XmZtfÄ?±²v_~+e~t±²v_~Ud{_xue4quv4psr6P+v´2e6~{_xºc~Ue° cyurU{yyro~Ue6{4psv4xp²~Ue6{_°LrtydeIij errtae2uv4dcyxceI,yxGu~Ue6{_pteWyxd{_pt»Suv4psrUpµ{x,yx rUace?{_~tyz{cyyro v_±pswcGv4~srUe6R{¥_v4~tyrtadpe6{4cpirUv {ºpsrt~Uv_xc¥~teIptptwc~UeXrUv´{_~Upic~Uv_¥_~|{dd{e4cqv_d{yxq°ps+e6uy¶+u ce6pty¥4xpqG{z{xuyxc¥grtae psv_± r´{_~te{xa{_~Uq´{~Uepsa{_~teIp³ xq±²v_~trtwcxG{rte6o4Æ¥_e6xce~|{°Lwc~t+v4pte {~|u|acyrteIu¼rtw~teIp {xGDuv4dcye~|p {_~tegxcvr,ptwcyr|{ce ±²v4~ rUaceqe° pty¥_x½v±~Ue6{_°Lrtyd e Í acy¥_aq°Y+e~t±²v_~Ud{_xueNÂÃd{_pUpsy_e6o¹{~|{e Ä ÐtÑ_Ð !" $# % psoqpsrted9°Yv_xq°u|acy &%' ! (L³S`Ov {4u|acye_e rte~|{°Yv_+e~|{rUyv4xp+e~pseIuv_xGÆrUacedyzZ°Lrte~Ud dwcrty°uv_~Ue ¸SH ® v_~SpswGe6~UpUu{_{_~ {_~Uu|ayrUe6u¼rUwc~Ue6pi´iy~Ue6ÀPwcy~te +vrUaD{acy¥_aN±²~teIÀ4wexuo{_xR{ºz{~U¥_e qyeg{_~teI{cG´iyrUaD{+v´2e6~ cwc¥_er yxuv_d{rUye´iyrta¹d9vPpr,e6d+e6cqeI¹d{_~t»4er|p³9iu|acye6Zyxc¥¾{acy¥4ace~ uv_dcwqrUeqexptyroD{x¹psrty ~teIpse6~tZyxc¥c~tv4¥_~|{dd{cyyro yzp?{u|a{e6xc¥_e±²v4~rUace u|acv4yuev±H{xº{_cc~Uv_c~Uyz{rtei{_~Uu|acyrteIu¼rUwc~te4_c~Uv° ¥4~U{_dd9yxc¥z{x¥_w{_¥_e2{_xuv_dcye6~6³µ`?oZcyzu{_o_{Xv´½+v´e~qe6pty¥4x ~Ue6ÀPwcy~teIpHrUaceuvqu|»S±²~Ue6ÀPwcexGuo v_±Ærtaceu|acyrtvgGe{_p?v´{4p+v4pUpsyce_ZyxrtacepU{dev_~|qe6~?v±Hd{_¥_xcyrtwceX{_p?rtaeXcyÇqe;uvqu|»gv_±Hrtace Zyzqev{cyzu{rtyv_%x ;rUacypSde6{_xpXrta{rXrUacv_wGpt{_xcpXv±?v4Ge6~U{rtyv_xp Ge6~uoquegdgwpr+e9ptwpsrU{yxceINyx ~Ue6{_°Lrtyde_qeÇZv4yrUyxc¥dgwcrUye,e4ezp2v_±G{~|{e6yzpsdØyxrtace uv_dcwqrUe,»_e6~txce60³ xPrte6~teIprUyx¥_o_ÆrUacepsoZxu|ac~Uv_xv_wpSeÇqeIuwqrUyv4x {_~U{4qy¥_d & (?{v´pX±²v4~rtace¥4exce6~U{rtyv_xNv_±uwGp° rUv_d¾{~|{e6Wa{~|q´{~Ue{x ptv± r´{~UeptoqprUedp,´iyrta Î|ÑмРUÎ) Ê # Ì Ê Î|ÑÍË
(19) )0мÒÎ)*ÃÑͽË
(20) )0мÒÎ)LÒqÐ ÐtÑ Ê.
(21) Ð )+, ¼Ë Æyxuwqyxc¥¾~teI{°0rUyde9{xD~teIpsv4wc~Uueguv_xpsrt~|{yxPrUp6³`aypSdvqqeWderyxqwpsrt~Uy{_Wpswu6ueIptp ±²v_~ pU{±²eroP°Yu~tyrtyzu{_0F~Ue6{_urty_epsoqpsrtedp6Frtac~Uv_w¥_az{x¥_w{_¥_e6pOy»_e -/.10325476 & 8 (Y: 9<;7=>5?5@ ÂLmqu{4qeIÄ &%'BA (c{xG CD=E>5@F?5@6 & G (Y³WYryzp2rtaZwpx{rtwc~|{Grtv9yxZ4e6psrty¥4{rUerUaceS{_ccyu6{cyyrov_±µpswGu|aº{_xc¥_wG{¥_eIpW±²v4~2rUaceqe° pty¥_x v_±´{_~t~|{xPr|{ceacy¥_aq°Y+e~t±²v_~Ud{_xue2psoqpsrtedpµy»_eacy¥_aq°YexG ZycevX{_ccyu6{rUyv4xp³`acyzpµG{+e~yp ±²vquwpseI9v_xdvqqeL_z{xc¥4w{¥4ei{xuv_dcy{rtyv_xypUptwce6p6³WhXcrtyd9yÅ6{rtyv_xHP{wqrUv_d{rUyuG{~|{e6yÅ6{rtyv_x {_xd{_ccyxc¥{~Uee± ri±²v_~±²wqrUwc~te,´v_~U»;³ `µv,exq±²v4~Uue2~Ue6{_°Lrtydei{x9~Ue6ptv_wc~|ueIpOc~Uv_+e~trtye6p6rUacepsoZxu|a~tv4xcv_wp{_~U{4qy¥_d {_pUptwcde6p{,uv4dg° dv4xuvqu|»±²v4~{Æ~te6¥_yzprUe~|pq{xG{_xv4e~|{G~teIqyurU{_cea{_~Uc´{_~teS´iace~Ue,uv4d9dgwcxcyzu{rtyv_xp{xG uv_dcwqr|{rUyv4xp?u6{xº+eX~tv4exrtvrU{_»_e e6pUp?rta{_x {uvqu|»P°Yuoque_³× wceXrtvg´iy~UeXcez{FoZp64{d{_pUpsy_e6o G{~|{e6psoqpsrted9°Yv_xq°u|acy aG{_prUvNGeqyZyzqe6 yxPrtvRdgwcrUye4{4psoZxu|a~tv4xcv_wpuvqu|»Dqv4d{yxp Hrtace ptvu6{eIJ I Ñ # K Ì LË|ÌÍ;ÎUÏqÐtÑÍ;ÑÒZNË MOÑIÎ K Ì ÌÍ;ÎUÏqÐtÑÍ;ÑÒZË * O mcÄXdvZce &%':' (Y³`acyzpX±Ã{_u¼r,a{4pX{ psrt~Uv_x¥Ryd{4u¼rgv4x½rtaeº±²v_~Ud{yÅI{rUyv4x½v±psoZxu|a~tv4xcv_wp eÇqe6uwqrtyv_x·yrUpte± {xG½v_x rUace{4ptptvquyz{rteI uv_dcy{rtyv_x ÂÃuvZceS¥4exce6~U{rtyv_xGÄpsrt~|{rUe¥_ye6p &%'P (Y³ ×XwceºrUv¾rtaceuv4d9eÇZyroDv_±iacy¥4aq°YGe6~s±²v4~td{xGue{cyzu{rtyv_xp {_x¹rtv¾rUace yxPrt~UyxGpsyzuuv4dcyx{° rUv_~Uyu6pv±ÆpsoZxu|a~tv4xcv_wpeÇZeIuwqrUyv4xH_´e´iyptacv´ rta{Qr RÒ S)+ % SÎ ÑIÎ " 4Ñ T ÍcË a{F_e2rtv,+e uv4xptyZ° e6~teI{r2rtacT e $ SÃÎ )+ÃÑÍ UB ³`acyzp?yzp?rtaceSu{_ptei±²v4~2dvqqwcz{~qe6pty¥4xp´iyrtapse6{~|{rUe uv4dcyz{rUyv4x a{_pte6p6I{_xS±²v_~µ{psyxc¥4e?ptoqprUed]´iyrUa dwcrtyce?yxccwqr "Fv4wqrtcwcrµ{_pUpsvquy{rte6S´iyrtacy¿;e~UexPrO~Ue6{_°Lrtyde uvqu|»qpÂÃe_³ ¥³4Zyzqevpsrt~Ue6{_dyxc¥Zļ³ ® ertaZwp2xceeI9rtvuv_dGvPpse yxce+exqe6xPrto9pUu|ace6cwceIc~UvZue6pUpseIp³ V ÏZ Í ÐtÑ6Î Ë|XË WY E)+Z?Ñ[Ð Ë Â á }?SÄ &' B¤ (Gu6{x{_uuv_ddvqc{rUe2±²v4~pswGu|a9{uv4dGvPpsyrtyv_xH4uv_d+expU{rUyx¥ ±²v4~rUacevqu{{_ptoZxu|ac~Uv_xZorta~tv4wc¥_aRwcxZ+v_wcxGqe6¾cvqu|»Zyxc¥µhcwq¿;e~|p]³ \wqr{v´iyxc¥º{¥4v4{ . . ^3^`_!ab
(22) c
(23) d
(24) e.
(25) 8. Ñ6Ï ÍÒqÐ Í Y) ÑÍ zË Í # EzË $ )+)* ) . Ò Í YiÑÒ$G E). ptoZxu|ac~Uv_xcv4wp eÇqe6uwcrtyv_xÉ~Ue6ÀPwcy~Ue6p9{_cqyrtyv_xG{iuv4xprU~U{_yxPr|pv4xÉrUaceRuv_d+v4ptyrUyv4xH³ ® eyxPrt~Uvqqwue rUace uv4xue6qriv± n° ˼ÌÍ;ÎUÏqÐtÑÍ;ÑÒZË uvZu|»qprUvg±²v4~td{_yÅeSrtae6pte uv_xGuecrUpi{xGuv_xpsrt~|{yxPrUp6³`aypuv_xq° ueqrqe6pUu~UyGeIpx{rtwc~|{ortaegpted{xPrtyzup v± á }?´iyrUaD+v_wcxce6Æ;pr|{rUyu6{o¾uv4d9wqrU{_cegcwq¿;e~ ptyÅe6p6³`ayp,eÇZrtexGpsyv_x½{v´pSrtaceºdvqqwcz{~guv_d+v4ptyrUyv4x v±yxce+exqe6xPrto pUu|aceIqwce6 uv4d9+v° xexPrUp2´iyrUaºdwrUyce +e~UyvZcyuXuvZu|»qp2pt{rtyzp±²oZyxc¥{ ptydceÓGv´°Lc~Ue6pte~U{rUyv4xuv_xpsrt~|{yxPr6_rtac~Uv_wc¥4a rUaceº{wcrtv_d{rtyzugyxq±²e6~te6xuev_±+v_wcxGqe6 qe6{Foqp,{xG h¯cwq¿;e~|p6³ºjRv_~Ue9rte6u|axcyu6{o4Ov4wc~,d{yx uv_xPrt~Uycwqrtyv_xGp{_~teSrUace±²v_v´iyxc¥G³ ® e qe¶xeN{ ~Uez{ÇqeI uvqu|»P°LeIÀPwcy{_e6xue¾c~UyxGuyce4u6{eI n°YptoZxu|ac~Uv_xZo_³ ¥_y_e6xÔuvqu|» yp ° ˼ÌÍ+Î|ÏZÐtÑÍ :# ´iyrUa½{xcv_rtace6~ uvZu|» y±rtace6~teeÇqyzpr|p,{Rc{r|{°LÓv´!Â0u{wGpt{_yrocÄ ck c~U1e6pte~UPnyxc¥´{Foºv±Wd{»Zyxc¥ ck ptoZxu|ac~Uv_xcv4wp´ickyrU2a ck {coZyxc¥º{uv4xpsrU{xPrXcez{Foºrtv ck {x yxpte~trtyxc¥{_x yxPrUe~Ud9eIqyz{rte21psyÅe° n h cwq¿;e~I ³ `2acyzpOc~Uyxuyceypµuwc~U~UexPrtoX~Ue6psrt~Uyzu¼rteI 2 rtv+e~Uyvqqyzuuvqu|»Zpice¶xceI¾{_p+e~UyvqqyzuSyxq¶GxcyrUe,cyx{~Uoº´v_~|cp³ ® eqe¶xce{,~te6{Çqe6ºptoZxu|ac~Uv_xcv4wp±²wcxurtyv_x{_G~tv4¥_~|{ddyxc¥,z{x¥_w{_¥_e__rtaceuvqu|»u{zuwwp v±´iacyzu|a½yzp eÇZrUexqeI½´iyrta n°psoZxu|a~tv4xPo4³x½~U{4u¼rtyzue4rtace u{4ptptyzu{2psoZxu|ac~Uv_xv_wp uvqu|» u{_uwcwGp,u{x +eºqe¶Gxce6 {_p{roZ+eptoqprUed¾³x v_~|qe~SrUvN{v´ °ptoPxGu|ac~tv4xZo_Æ´e9eÇZrtexG yrS´iyrUa¾r´2vº{4cqyrtyv_x{_µptwcqroZcyxc¥~UwceIp³i`ace~teIpsv4wqrUyv4xyzpirUacexDnGe6~s±²v4~tde6wptyxc¥ {xR{4 acvquwcxcy¶Gu{rtyv_xH³ ® epsacv´rta{r e4e~Uo n°YptoZxu|ac~Uv_xcv4wpXc~tv4¥_~|{dlu6{x GerU~U{_xps±²v_~Ud9eIDyxPrtvR{RptoPxGu|ac~tv4xcv_wGp v_xceÂ0°psoZxu|ac~Uv_xv_wp|ļZ~Uecz{_uyxc¥9+v_wcxce6cwq¿;e~|pZoptv_de,psoZxu|ac~Uv_xv_wpuvqqe4³
(26) `ae ¶~|prv_xeyzp dv4psrtortace6v_~UerUyu6{µ{_xN~Ue6cwueIpirtae n°psoZxu|a~tv4xcv_wpc~tv4¥_~|{d!rtv{ ptoZxu|ac~Uv_xcv4wpv4xce¾Â °ptoPxGu|ac~tv4xcv_wGpUÄ´iyrUa
(27) Ë ) )+ÃÎ K Ì Í;!Ñ ZWÍ
(28) Ð ÃÑ ÃÎÎ ÑIÎ Ë OeÇqc~Ue6pUps° yce¾yxÔrtaev4~ty¥_yx{_0uv_~Ueu6{zuwcwp6³ xq±²v_~trtwcxG{rte6o4?rUacyzpprU~U{rte¥4o½~teIÀPwcy~Ue6p{_xÉeÇZ° +v_xexPrtyz{Sdedv_~UoÔ{_xuvZce ptyÅ6eNrtvÔu|a{~|{_urte6~tyÅeN{_uv4x4rU~tv4XpsrU{rte6p v± dgwcrUye uv_ddwxcyu6{rUyxc¥hÖcwq¿;e~|p³
(29) `aepte6uv_xprU~U{rte6¥_o~teIqwue6p2rtacec~Uv_¥4~U{_drUv{gptoZxu|ac~Uv_xcv4wp?v4xceSeÇqc~Ue6pUpsyce yx{_x u{4ptptyzu{+²xcv4x+e~Uyvqqyzu6ĵptoPxGu|ac~tv4xcv_wGpOu{_uwcwpwqrydcedexPrUph cwq¿;e~|pµ´iae~Ue rUaceic~Ue6ptexue2v4~W{ptexuev±+{rU{SyzpWu{_qrtwc~Ue6gZoqoZx{_d9yzu{_o uv4dcwqrteIuvZu|»qp6³µ`ace de6d9v4~to{xRuvqqe psyÅeGeIuv_de,yxe6{~ yxRrUace,rUvrU{_Hcwq¿;e~SpsyÅeg{x¾{c~tv4c~Uy{rteS±²v_~ {Dc~|{_u¼rUyu6{2ydcedexPr|{rtyv_xO³ ® yrtacv4wqr9v4wc~9{_xc¥_w{_¥_eeÇPrUexptyv_xp rtv¹~teI{_ptv_x½{+v_wqr °ptoPxGu|ac~tv4xcv_wGp+e~UyvqqyzuXuvqu|»qp6Pyriypa{_~Uºrtv9c~Uv_erUa{rrtaeuvqqeS{4u¼rUw{o+eaG{F_e6p n {4pX{v4pUp°YeIptpXh ´iace6x {rdv4psr n rtv_»4expS{~UeptexPr,{xDxcvro_erX~Ue6ue6y4e6·ÂÃwptyxc¥ {_psrt~|{_u¼ryx4rUe~Uc~UerU{rtyv_xv_~idvqqe°u|ace6u|»Zyxc¥rUvZv_zpUij `ace¾psrt~Uwu¼rUwc~tev±irUacecvZuwcdexPrgyzprtace±²v_v´iyxc¥G³Dx pte6urtyv_x ¡q´2edvrty{rUeºrtaewpte v_± rUace¾dvZcev_± n°psoZxu|ac~Uv_xZo¹±²v_~c~Uv_¥4~U{_dd9yxc¥ acy¥4aq°YGe6~s±²v4~td{xGuePyzqe6v {_ccyu6{rUyv4xpgrtac~Uv_wc¥4a rUace~teIpse6x4r|{rUyv4xv_±{ qv´ixpUu{_e6~{cyzu{rtyv_xH³ mZeIu¼rUyv4xDyx4rU~tvqqwGue6pX{ºuv4~te ptoZxu|ac~Uv_xcv4wpiz{xq° ¥4w{¥4e 9 ;7=E>5?5@ {xÔyrUppted{xPrtyzup62rtace6xÔ~teIpse6x4r|p{x {_pUpsvquy{rte6 u{_uwcwGpv_xÔGe6~tyvqqyu _ "!_ # _ $%& _ '_ ( )+*,- *. _/10 2
(30) d4365 - _ 7 _ _ )+ ! -*.)8 9;:=<&- $ )+% ) _!> _ - ) _ ) (!?7 ) _ @!_ > !ACBED 7 $$F > 7 )+ 7 ! @- ) 7 !4 H G" ck 1 ck ! ck_ 2 ck ! _ ) *.% !7I J< A 1 2 K AG_$7 ) _ L !4 ) _ %) 7 -NM. OQP ^O6R.
(31) . ÌÍ+Î|ÏZÐtÑÍ Í Ð
(32) ÃÑ ÃÎÑ6ÎË. uvqu|»qp6³ mqe6u¼rUyv4x 8 yzpv4wc~d{yxÔuv_xPrt~Uywqrtyv_x HRyrºeÇZrUexcprtacyzpºu{_uwcwp9rtv·uv_dyxceRpsrt~Ue6{_dp i´ yrta n°psoZxu|a~tv4xcyÅI{ceuvqu|»qp6³ mZe6urtyv_x qe6pUu~Uy+e6puvqqe¾¥_exe~|{rtyv_x psrt~|{rte6¥_ye6p¾Â ±²v4~º{xZo n° ptoZxu|ac~Uv_xcyÅ6{_ceºc~Uv_¥_~|{dºÄG{_pte6½v4x·rt~|{xGpsz{rUyv4x rtv {Ncwc~Ueo·ptoPxGu|ac~tv4xcv_wGpZo½{wqrUv_d{rUyu6{o yxpte~trtyxc¥Dwq¿+e6~Up9´iyrtaÔdyxcyd{iptyÅ6e_³·ie6{rte6É´2v4~t»qpg{~UeqyzptuwpUpseI·yxÔmZeIu¼rtyv_xÔq?+e±²v4~te´2e uv_xuwGqeyxNmZeIu¼rtyv_x A ³ )µ
(33) S$)µ
(34) hXw~Xd{yxDdv_rtyF{rtyxc¥¾{ccyzu{rUyv4xp {_~tegZyqe6vpsrt~Ue6{_d c~tvque6pUpsyxc¥±²v4~Say¥4aq°Yce¶xcyrtyv_x `¸ &%' !(L³ `ae6pte{_¥4v_~UyrUacdp9ce6{´iyrtaÔcyzu¼rtw~teRpUu{yxc¥yurtwc~UeRuv_d+v4ptyrUyv4x]ÂÃcyurtwc~Ue°Yyxq°Lyurtwc~UeIÄ2{xG ÀPw{_yro,exa{xuedexPr²yxuwcyxc¥,yurtwc~Ue~U{rtewcq°uv4xP4e~|psyv_xGpuv4xZ_e~trtyxc¥ rtace±²~|{de~U{rtev±+rtace cyptcz{Fo_e6NPyzqe6vÆqe°Yyx4rUe~U{4uyxc¥±²v4~Xc~Uv_¥4~teIptpty_e pUu~Ueex pswu|a¹{_p ÓG{r{_xceWqyzps{Foqp6+pta{~UcxceIptp ydc~Uv_ede6x4rIiuv_v_~excaG{xuedexPr6ierUu_³ ij}~Uvque6pUptyxc¥É~teIÀ4wy~Ue6pºuv_xptyzqe~|{ceR~Ue6ptv_wc~|ueIpi{xG yxZ_v44e6p{F{_~tyerov_±y+eyxe6¾{¥_v4~tyrtacdpv_x¾dgwcrUycydexGpsyv_x{_HprU~teI{dp6³ }ayyGp pDyxceÉv_±av_de·exPrUe~trU{yxcdexPrDe6xc¥_yxceIpRyp cwcyr v_xÖdeIqy{c~tvque6pUpsv4~Up±²v4~Nacy¥_aq° +e~t±²v_~Ud{xueº{x ay¥4aq°YÀPw{_yroDdgwcrtyd9eIqyz{D{cyzu{rtyv_xp6³Rcv4~yxpr|{xue_rtae eÇZ+e~Uyz{Nâv4d9e ±Ã{_dyoDv_±u|acypºÂ0pswGu|a¹{4prtace}2 X¤P__4Ä & ¡_G (2u6{x¹Geº±²v_wcx¹v4x `¸ °YuexPrt~Uyzug~tvqqwurUp ptwu|a½{_p {_x{v_¥G4{_x{v_¥ "qy¥_yrU{_0P{xºcy¥4yr|{Æ`¸Apter|p2{_xº~Ue6uey_e6~Up64uv_xcxceIu¼rUe6 cy¥4yr|{;`¸pqacv4de dw° rUydeIqy{pte~U_e6~Up6Z{xacv_de,e6x4rUe~trU{_yxcde6x4ruexPrte6~Up6³ .
(35) .
(36) . + , . . "! )# %&*. .
(37) "! $#% &'( . y¥_wc~Ue ' HW`ace qv´ixpUu{_e6~ `aceIpse{_ccyu6{rUyv4xpÆyxP4v__eW{ipterHv±cpUu{_e6~Up;~Ue6ptyÅ6eyd{¥4e6pÆyx,~Ue6{°Lrtyd9e4³hXwc~Æ~Uwcxcxcyxc¥ieÇq{_dce yzpi{9uz{_pUpsyzu{_;cv´ixptu6{e~ &' B(Yqeyurte6yx¾y¥_wc~Ue ' ³WYr uv4xP4e~trUp{9acy¥4ace¶xcyrtyv_x ÂÃâX×SÄZyzqev pty¥_x{_0 cyÇZe6p+e~±²~U{_d9e4qyxPrUvº{9psrU{_xc{_~Uqe¶GxcyrUyv4x½Â0mq×Äv_wcrtcwqri±²v4~ `¸ pUu~UeexO × 1080 rUa{ryzp 1920 H720 × 480 ' ³i acv4~tyÅv4xPrU{;¶GrUe~i/ k .10kn~teIqwue6prUacexZwcdgGe6~v±WcyÇqezpyxN{yxce,±²~Uv_d 1920 qv´ixrtv Z º o y P x t r e U ~ + _ v z { t r y c x ¥9{_u|»4er|pv±9cyÇqezp³ 720 ¡q³i\~te6v_~|qe~Uyxc¥gdvqqwceX3 k 2(46572 89492Hkpsrtv_~Ue6pi9yxe6pv± 720 cyÇqezp³ c³i 4e~trtyzu{_¶rte6~; k :"0k ~Ue6qwue6p?rtaceSxZwcd+e~v_±Hyxce6pyx{ ±²~U{_d9eX±²~Uv_d 1080 qv´ixPrtv 480 Zo yx4rUe~UGv4{rtyxc¥9{_u|»4erUpv_±9cyÇqezp³ `ace,~tvqueIptptyxc¥gv_±{9¥_y_e6x ±²~|{deyxP4v__eIp{uv_xpsrU{_x4rixZwcdgGe6~iv±µv4Ge6~U{rtyv_xpv4xrUacyzp±²~U{_d9e v4xco_³Ù(qeIpsy¥_xrtvZv_Syp rtaZwpeÇZ+e6urteI rtvÔ{wqrUv_d{rUyu6{oÔc~Uvqqwue¹{xeÁºuyexPr¾uvqqeN±²v4~{_x e6d+e6cce6Ô{~|u|acyrUe6urtwc~Ue_rUv¹u|aceIu|» rta{r9~Ue6{_°Lrtydeuv_xpsrt~|{yxPrUp9{~UepU{rUyps¶e6H?{xÉrtv¹v_crtyd9yÅe <>=. G K) _> A?7 ) _ - !7I ?' % @8 > ( )+ R BADC )+BEFA6GH / E!>. ^3^`_!ab
(38) c
(39) d
(40) e. =. / IH I9 _ ) _ @!_ ! M.
(41) . Ñ6Ï ÍÒqÐ Í Y) ÑÍ zË Í # EzË $ )+)* ) . Ò Í YiÑÒ$G E). rUace dedv4~to ±²vPv_rtc~Uyx4rv_±WyxPrte6~tdeIqy{rte c{rU{{_x¾v±rtaeuv4x4rU~tv4Huvqqe4³`aceed+e6qe6RptoqprUed ce6pty¥4xce~ yzpgvZv_»Zyxc¥¾±²v_~9{Rc~Uv_¥4~U{_d9dyxc¥Rz{xc¥4w{¥4egrUa{r9v¿;e~|p c~Ue6uypteo rtaceIpserUac~Ueeº±²eI{rUwc~teIp {_xd9v4~tec~Ue6uypteo_q´iayu|a Ë
(42) ) )*ÃÎ KÌ ¥_w{_~U{_xPrteeIp2±²v_wc~iydGv4~sr|{xPric~tv4Ge6~srUyeIp H ' ³i{c~UvZv±rta{r6;{_uuv_~|qyxc¥9rtvº´v_~|prt°Yu6{_pteeÇqe6uwqrtyv_x¾rUyde aZoZGv_rtaceIpseIprtace ±²~U{_d9eg{x¾cyÇqe ~U{rte´iyH+e ptwpr|{yxce6% ¡q³i{xºe6{w{rUyv4xv±;rtaceSqez{Fo9yxPrt~Uvqqwue6Zo9rtaceSqv´ixpUu{e~WyxrUace Zyzqev ~tvqueIptptyxc¥ u|a{yxH y0³ e_³qrUace qez{Foº+e±²v4~teSrtae,v_wqrUcwqrc~Uvque6pUppr|{~trUp~Ue6ueyPyxc¥9cyÇZe6p c³i{9c~tvZv_±OrtaG{rirtae psoqpsrted a{_p+v_wxqe6dedv_~Uoº~Ue6ÀPwcy~te6dexPrUp 8 ³i{x e6F{_wG{rtyv_x v_±de6d9v4~to ~teIÀPwcy~Uede6x4r|p2rtv prUv_~Ue¾{rU{·´iyrUacyx rUaceNc~UvqueIptpte6p6{_xÔrtv cwq¿;e~irUace psrt~Ue6{d!c~tvqqwGue6Zortae,_e~trtyzu{_;¶rte~iyx±²~tv4xPrv_±µrUacev_wqrUcwqr ~tvqueIptp6³ xNrtace6v_~Uo_;psoZxu|ac~Uv_xv_wpiz{x¥_w{_¥_e6pX{~Ue ´eptwcyrte6RrtvºrUace9ydcedexPr|{rtyv_xDv±Wrtae9qv´ixGptu6{e~I {_v´iyxc¥9rtvº+v_wcxGR~teIpsv4wc~|ue~teIÀPwcy~Uede6x4r|p{xGR{_pUpseIptp~Ue6{_°Lrtyde eÇqe6uwqrtyv_xO³ er6+´2e´iyµptacv´ rUa{reÇqyzprUyx¥gptoPxGu|ac~tv4xcv_wGpW{_xc¥_wG{¥_eIpd{»4eXptwu|a {_x yd9e6d9e6xPrU{rUyv4xrteIqyv_wp{xGe~U~tv4~s°Yc~Uv_xce4³ .
(43) !"#$&%('$)+*. `µe6u|axcyu6{o4Irtaceptu6{yxc¥X{¥_v_~UyrtacdAc~UvZcwueIpHyrUp °0rUa v_wqrUcwqri ÄOPoSyx4rUe~UGv4{rtyxc¥ Xuv_xGpseIuwqrUy4e yÇqezp  p Ä´ey¥_aPrUe6Zo9uvZeÁºuyexPrUp?¥_y_e6x9yx {,t~teIqerUe~Ud9yxceIotd{rt~UyǾ²eÇq{_dce v±O{, 8 ca{_pte6p °0r|{p+v_j oZca{_pteS¶rte~ &' B( ÄEH ot =. 5 X. pt×1920/720+k ×. uvZe± (k, t dvq. 64).. k=0. y¥_wc~UeD¡¹psacv´p{¹¶G~Upsrº_e6~Uptyv4xÉv_±XrUaceNacv4~tyÅv4x4r|{¶rte6~6yd9e6d9e6xPrte6 yx {½prU~tyzu¼rUoÔpsoZxq° |u a~tv4xcv_wpz{x¥_w{_¥_eptwu|aº{_p<9 ;,/..- -!/32,10?3232@ & P (Gv_~ 9<;7=>5?5@ &'!A ( H{r?e4e~Uo rtv4HZ{,xce´ cyÇqe v_±i{_x½yxPrUe~Ux{de6d9v4~to¹v±ptyÅ6e rUaceºv4wqrtcwcr65Ryzp eIÀPw{ 4 yzppsrtv_~Ue6¹yx rtace ¶~|pr+v4ptyrtyv_x rUvrtaceyxPrte6~t+v_z{rUyv4xv_±psyÇuv_xpte6uowq1rty_ecyÇqezp³ ® ecvxcvrXcerU{_yHrtace6{4uue6pUprtvrtaeuvZeÁºuye6x4r ´iayu|a u6{xº+e e6xuvqqeIyxrtaceptoPxGu|ac~tv4xcv_wGp±²wcxurtyv_x f ³`aceXydcedexPr|{rtyv_xv± f yp2v_wcrv_±Ærtace pUuv4GeSv±Ortacyzp{+e~ q´eX´iyH{4ptptwcdeSyrptwcdp2yrUpi9{~U¥_wd9e6xPrUp6³ xeÇqe6uwcrtyv_x yzpqe¶Gxce6Zortace psrt~Ue6{_d¯v±{wce6p±²v4~ie6{_u|a{~Uy{_ce_cptee,y¥4wc~te ¡Z³ xgrtaceiptoZxu|ac~Uv_xcv4wpHdvqqeLeI{_u|a {~Uyz{ce "eÇqc~Ue6pUpsyv_xyzpWu|a{~|{_urte~UyÅe6+vrUagZo,yrUppsrt~Ue6{dÖv_± {_wceIp?{_xZogyrUp EÎ Ñ6Î Z~Uez{rUy4ertv,rUace ¥4v4{uvqu|»;4u6{eI8 7!9:<;³W`ace uvqu|»gv_±H{xZogeÇqc~teIptptyv_x yp?{xyxc¶xcyrte psrt~Ue6{_dv± {x 1 ´iace6~te 0 psrU{_xcp±²v4~rtace {_ptexue{x 1 ±²v_~rUacec~Ue6ptexGue_³³ ¥³ e y± = yzpi{xyxPrUe¥_e6~i{~Uy{_ce40Prtace6> x =@?)A{_xB =a{F_eXrtae pt{_d9e,uvqu|»;³ ØptoZxu|ac~Uv_xcv4wpSc~tvque6pUp rU~U{_xps±²v_~Udp,{_x yxccwcrguvqu|»NyxPrUv¾{_x v4wqrtwqrguvqu|»;³`ayprU~U{_xps±²v_~t° d{rtyv_xRyzp e6xuvqqeIRyxDrtacegc~UvZue6pUp Î ÑIÎ
(44) Ë _Í )0Òq[Ð v4~ Î Ñ6Î )LÌ ³f2vqu|»qp pty¥4x{rUwc~teIp {_~te v_± rte6x ~Uez{rUy4e rUv½psv4d9eRuvqu|»½{~Uy{_ce6p6³ ³ ¥³2rtaceNuvqu|»Épty¥4x{rUwc~Uev_± rtaeRyxu~te6dexPrU{rtyv_xÉ~tvqueIptp ce¶xceIP& o CD5FE;GHD3IJ=
(45) KL=?3ANM,yzp ³ f2e6{_~to_qrUace acv4~tyÅv4xPrU{;¶GrUe~ ."0d∀α.α wpsr a→{F4αe,{qy¿;e~UexPrXuvqu|»psy¥_x{rtwc~Ue_ZrUvºd{r|u|arUace c~Uv° cwu¼rUyv4x v_± 3 yÇqezp9±²v_~ 8 yxcwqrcyÇqe6p6³ jRv4~te6v_e6~6rtae¾pty¥_x{_~tvqueIptptyxc¥ {_¥4v_~UyrUacd qe¶xe6p OQP ^O6R.
(46) ÌÍ+Î|ÏZÐtÑÍ Í Ð
(47) ÃÑ ÃÎÑ6ÎË A.
(48) o o2 o1 1 o3 o2 o4 o3 o o 5 4 o6 o5 f (o1 , o2 , o3 , o4 , o5 , o6 ). o1 o2 o3 o4 o5 o6. y¥4wc~te ¡FHy~Upsriydcede6x4r|{rUyv4xv_±
(49) ! " $#%& '() *+,&- .0/1/0/ 2 f (o1 , o2 , o3 , o4 , o5 , o6 ) 3##% 4 (! #54 6(7 $#%4 8((. . 3 3 0 0 0 0 0 3. 4 7 5 6 10 4 7 5 6 10 3 4 7 5 6 0 3 4 7 5 0 0 3 4 7 0 0 0 3 4 0 0 0 0 3 7 14 22 28 38. .10. . y¥_wc~Ue,FHmZoZxu|ac~Uv_xcv4wpydcede6x4r|{rUyv4x¾{_xeÇqe6uwqrtyv_x¾v±. 3 3. 4. 7 7. 5. 6 10 14. ."0. ~teIuyzpse6ogrtace rtydeX´iace6xºe4e~UogyÇqe+yzp?e6d9yrsrUe65 HrUace °Lrta v_wqrUcwqri{c+e6{_~Up2{r?rUace ° rUayxcwqr6³Yr?u{_xg+e±Ã{_urtv4~teI yx{S+e~UyvqqyzuGe6a{FZyv4~vt±ÆpsyÅei¤Â ±²v4~rtacyzpW{_~srUyuwc{_~Wpttu6×{y1920/720 xc¥S±Ã{4u¼rtv4~6 yxN¥4exce6~U{_ÆrtacepUu{yxc¥±Ã{_urtv_~XypS{ºG{~|{derUe~v_±Wrtace¶rUe~X±²wcxurtyv_xGijS psv4wqrUyv4xNpsav_wczR+e rtv ce¶xce¾{xÔ{wqÇqyyz{~Uo½prU~teI{d I D:9¹´iayu|aÔuv_wx4r|pgrtacexZwcd+e~yxccwqr|p{xÉ¥_w{_~Ucprtaee¿+eIu¼rty_e v4wqrtwqrv± 5cpse6e,µy¥_w~te,c³ x c~U{4u¼rUyue_Grtaceuv4xpsyzqe6~teIR{ccyzu{rUyv4xpaG{F_e{ Ge6~tyvqqyuGe6a{FZyv4~6³S`aZwpX{º¶~|prpsydcy¶c° u6{rUyv4xuv_xptypsrUpyxexca{_xuyxc¥9rtae psoZxPrU{Ç{xpted{xPrtyzup´iyrtarUace,xcvrUyv4xv_7±
(50) Ð ÃÑ ÃÎ9Î ÑIÎ Ë ³ .
(51) <; &>=&@? 'BA&# $!. e6{°Lrtyd9e uv_xpsrt~|{yxPrUpv_xrUace,¶rte6~Upi{_~te qeIqwue6±²~tv4d¯rUace±²~U{_de,~U{rte:HrUace yxccwqrS{xv_wqrUcwqr ~tvqueIptpte6pe6xq±²v_~|uerUa{r±²~U{_d9eIp {~UeºptexPrg{xG ~teIuey_eI {rg_4âÅ4³`acyzp deI{xprUa{râ ×!cyÇqe6p {_~t~Uy_e,{r 30 × 1920 × 1080 = 62, 208, 000Hz knu6{eIrtacegâ × yÇqeuvqu|»kn{_xNmq×cyÇqe6p {r 30 × 720 ku6{eIºrUacemq×ÖyÇqeµuvZu|»ky0³ e_³c9rtyde6piptv´e~I³ f2v4xpsyzqe6~t×yxc480 ¥ rtac=eN10, qv´i368, xGptu6{000Hz e~eÇc{dce_?rtaceNce6pty¥4xce~´v_wczÉy»_ertv½»Zxcv´ØrUa{rrUaceNqe6{Fo +e±²v4~te¾pteeyxc¥Drtace¶~|prv_wqrUcwqrcyÇqeyp{4u¼rtwG{D o CFEHGIGIG ¬ Ü ¬ + Û ¨ v_±rtace¾â × yÇqeiuvqu|»;yL³ e4³ O { x ¹ U r a { r t r c a º e d y c x y d _ { t p y Å e v i ± U r c a º e c wc¿+e6~+er´eex rUace 4e~trtyzu{_W¶rte~9{x¹v4wqrtcwcr 192.915µs ~tvqueIptpyzp JIJKGMLON5PHÛ +è ³ mZoZxu|a~tv4xcv_wpz{x¥_w{_¥_e6proZcyzu{_o v_¿+e6~ ptwu|a¾¥_w{_~U{_x4rUeeIpi{x¾psrU{rUyu e{w{rUyv4xpiZoº±²v4~Uuyx¥ rUace,c~Uv_¥4~U{_d9de6~rtveÇqcyzuyrrtace ptoZxu|ac~Uv_xcv4wp2eÇqe6uwqrtyv_xv±µrtace {_ccyu6{rtyv_xO³ e4e~trtace6eIptp6Zrtace wGpsev±Æ{xZoptoZxu|ac~Uv_xcv4wp{_xc¥_wG{¥_e~Ue6ÀPwcy~teIpOrUaceqeIpsy¥_xce6~rtv Q SÃÎ K)*NÌ Q . Í ) {ptoPxGu|ac~tv4xcv_wGp uvqqeRrtvÉcwq¿;e~ºrUaceNv4wqrt¥4v_yxc¥½cyÇZe6p{rºrUaceD~tv4Ge6~ºv_wqrUcwqr ~|{rUe_³Öxc±²v_~trtwcx{rte6o4icyÇqe6p{~Ue ~tvqqwue6Zo9rtaeXqv´ixpUu{_e6~W±²v_v´iyxc¥g{ +e~Uyvqqyzucwcruv_dceÇe4exPr2uvqu|»;³`aeXptoPxGu|ac~tv4xcv_wGp uvqqe±²v_~rtaceºwq¿+e6~a{_xqe6p rtace psrtv4~U{_¥_ev±ieI{_u|a Ge6xqyxc¥N´i~UyrUe±²~Uv_dlrUace 4e~trtyzu{_¶rUe~gyxPrtv {¹qeIqyu6{rUe6 ~te6¥_yzprUe~IWwcxPrtyrtacertyde±²v_~9rtace¾v4wqrtcwcr~tvqueIptpgrUvD±²erUu|a rtacyzpcyÇZe6iyp9~Ue6{4u|ace6Ƴ. ^3^`_!ab
(52) c
(53) d
(54) e.
(55) ¤. Ñ6Ï ÍÒqÐ Í Y) ÑÍ zË Í # EzË $ )+)* ) . Ò Í YiÑÒ$G E). v_~|uyxc¥9rtacec~tv4¥_~|{dde~2rtvc~UvZyceXrUaceptoZxu|ac~Uv_xcv4wpcwq¿;e~Xuvqqe,ypirtaZwprUe6qyv_wp {xc~Ue6{_»Zp dvqqwcz{~uv4dGvPpsyrtyv_xH³S`acyzpSpUu|ace6d9egypXe4exNdv4~te9uv_dceÇRy±?´eyxuwqegrtace9~Ue6{µcyÇZe6~U{rte_ yxuwcyxc¥cz{x»Pyxc¥+e~Uyvqcp &%' ! (L³ xrtace?±²v_v´iyxc¥F´e?qeIpsy¥_x{ {_xc¥_wG{¥_erUa{r´iyPd{»_ertaceuv4d9wqrU{rtyv_x,v±Gc~tvque6pUpÆ{rte6xuye6p {_xcwq¿;e~ ptyÅ6e6pi{_wqrtv4d{rtyzuqwptyxc¥eÇqcyuyr+e~Uyvqqyzuuvqu|»Zp6³
(56)
(57) `ayppseIu¼rtyv_x yxPrt~UvZcwueIp {·ptydceDc{rU{°0Óv´!±²wcxurtyv_x{_ z{xc¥4w{¥4eRv_x yxq¶xcyrteD{rU{ÉprU~teI{dp³ `ayp2{_xc¥_wG{¥_e a{_p{ Â0prU~tyzu¼rUocÄ2psoZxu|ac~Uv_xv_wp2pse6d{_xPrtyzup64e6xq±²v_~|ueIZo{gpsv_°Yu6{eI ÎEÑ6κΠÎÒR ÒZË {groZ+e psoqpsrted¯rtv~tese6urxcv_x¾psoZxu|a~tv4xcv_wpc~Uv_¥4~U{_dp4±²v_v´iyxc¥ & P ' ¡B(L³ . . *# +* *
(58) +*. ® euv_xptyzqe~ Í Í K) # Í Ð¼ÌZ?ÑÐ[ Ë Wy0³ e_³W´2v4~Up,v± (0 + 1)ω ³ ® e{~Ued9vPprUo¹yx4rUe~Ue6psrteI½yx·{ ptwcpter v_±rtaceºyx{_~toD´2v4~Ucp6µu6{eI Í Í K) Ð
(59) ÃÑG !ÃÎ # Í Ð¼Ì Z?ÑÐ[ Ë qe¶Gxce6 ZoNrUace±²v4v´iyx¥ ¥4~U{_dd{_~H w v u. ::= u(v) ::= 0 | 1 | 0.v | 1.v ::= | 0 | 1 | 0.u | 1.u. ´iae~Ue = lim vn yprtacegyxc¶xcyrte~Ue+erUyrUyv4xRv± Ð
(60) ÃÑG v G{_x u yzp {c~Ue¶Çv_± w ³vrUe rUa{r ´v_~|cp2y(v) x (0 + 1)nω uv_~U~Ue6ptGv4xeÇc{4u¼rtoº´iyrtartace cy{4qyuSxZwcdgGe6~Up´iacvPpseyx4rUe~Ue6psr2±²v4~psoZxu|a~tv4xPo ´{_p2¶~|psricypUuv4e~Ue6Zo & ¡ A (Y³ ® ecexcv_rte,Zo Q rtace pteriv±yxc¶xcyrte,+e~UyvqqyzuScyxG{~Uoº´2v4~UpPrtayp pteruv_yxuyzqe,´iyrtartace,~|{rUyv4x{Æqyz{_cyuSxZwcd+e~|p 2 & ¡ A (Y³ Oer qe6xcvrUeºrUace exc¥_rta v± ³ Her qe6xcvrUeºrUace xZwcdgGe6~gv_± ' pgyx w {x |w| rtace xZwcdgGe6~,|w| v±_pSyx w ³Oer w[n] qexwvrte9rUace n|w|°0rU1a ertrte~v± w ±²v4~ n ∈ N {xG w[1..n] rtacec0~Ue¶cÇ v_±ex¥rta n v± w ³ºx rUace~te6d{yxcyx¥´e´iy?{_´{Foqpuv_xGpsyzqe~,yxq¶xyrUeGe6~tyvqqyuyx{_~toN´v_~|cp ´iyrtaDyxq¶GxcyrUegxZwcdgGe6~ v_± ' pv_~Xe6ÀPwcy{exPrto_+´iyrUaN+e~Uyvq (v) uv_xPr|{yxcyx¥º{rXe6{4prXv_xce ' ³ `acyzp uv_~U~teIps+v_xGcprUv~te6dvPyxc¥grtace,yxPrte6¥_e~xZwcdgGe6~Up±²~Uv_d Q2 {_xuv_xGpsyzqe~Uyxc¥gv4xco Q2 − N ³ `ace6~tegyp{_xNyxc¶xcyrtexZwcd+e~Sv±?~Ue~teIpse6x4r|{rUyv4xp±²v_~{x yxc¶xcyrte9Ge6~tyvqqyucyx{~Uo¾´2v4~UƳSxq° cee6H (0101) ypeIÀPw{Prtv (01) {xrtv 01(01) ³Ov_~trtwcx{rte6o4rtace6~teeÇqyzpr|pW{ xv_~Ud{_Z~te6c~teIpse6xPrU{rUyv4x ±²v4~{xZo yxq¶xcyrtei+e~UyvZcyucyx{_~to,´v_~| w HµyrypWrtace ÂÃwcxcyzÀ4weIÄptacv_~trteIprW~Uec~Ue6ptexPrU{rtyv_xgv±rUace±²v_~Ud c´iayu|aype6ÀPwcyF{_e6xPrrUv9rtace,~Uec~Ue6ptexPr|{rtyv_x´iyrUartace ptacv_~trteIpric~Ue¶Ç{x+e~UyvqƳ u(v)® e qexvrte,Zo v rtace,~te¶cÇ ~Uez{rtyv_xO³`aZwper w {xG w0 +eXr´vcyx{~Uoº´v_~|cp w v w0 ⇒ y x {_~to¾´v_~|½Â²+v4pUpsycoRyxc¶xcyrteIÄHpswGu|aRrta{r w.v = w0 ³,cv4~XyxpsrU{_xue4 010101 yp{ c~te¶cÇRv± ∃v ³ (01) Oer qexcv_rteSrtaeS+v4ptyrtyv_xv±OrUace °Lrta yx ³ ® e,aG{F_e 1 = 1 [1.w]p = [w]p−1 + 1 y± p > 1[w] {_xp [0.w] = [w] + 1 ³Wµyx{_o_cperwG1piqew¶xertacDe Ð[ |Î[1.w]. $ Í;Î ~te6{rtyv_x qe¶xceIZo p. p. w1 w2 ⇐⇒ ∀p ≥ 1, [w1 ]p ≤ [w2 ]p .. OQP ^O6R.
(61) ÌÍ+Î|ÏZÐtÑÍ Í Ð
(62) ÃÑ ÃÎÑ6ÎË P. ³ ¥G³ (10) (01) 0(01) (001) ³?`ayp ~te6{rtyv_xypX{YF Ð
(63) )* ÑÐ[ : Ð v4x¾yxq¶GxcyrUecyx{_~toº´v_~|cp6³ Yr,{GprU~U{4u¼rUprtaceu{_wpU{yro¾~Uez{rtyv_xDv_xDpsrt~Ue6{_d uv_dcwqr|{rUyv4xp;e4³ ¥G³+rtv¾u|aceIu|»rUa{rv_wcrtcwqr|p{~Ue ~tvqqwue6Ge±²v_~Ue,uv_xGpswcde6~Up~Ue6ÀPwceIprrtace6dÕ{4pyxcwqrUp6³ ® eiu{x9{zpsvSqe¶Gxce?rUacewcc+e~+v_wcx wtw0 {xG v´2e6~O+v_wcx wuw0 v±r´2vXyxq¶GxcyrUeGe6~tyvqqyu yx{_~to ´2v4~Ucp´iyrta ∀p ≥ 1, [w t w0 ]p = max([w]p , [w0 ]p ) ∀p ≥ 1, [w u w0 ]p = min([w]p , [w0 ]p ).. ³ ¥³ 1(10) t (01) = (01) {xG 1(10) u (01) = 1(10) (1001) u (0110) = (10) {x (1001) t ³ (0110) = (01) `ace,pterv±yxq¶GxcyrUecyxG{~Uo´2v4~Ucp2yzp{uv_dcerteSz{rsrUyue_³ ® eS~Ue6u6{Æpsv4d9eS¥_e6xce~|{;qe¶xcyrtyv_xp v4xv4~Uce~Ue6 pter|p³ Û N © NÃß C «q©6© N ¬ Û &C
(64) L +v4pter (L, ) zË Ë E) RÒ : TZ K)²Ï Í Ñ[Ð : Ð[Ð E )+ÃÑÍ L ÑË E) zË Rz{rsrUyue Í K) gË¼Ò # Ë ) S ⊆ L Ï Ë
(65) Ë )Ò : Ð # ÑÒqÍ (L, , t, u) EU! Ð¼Ì ? # [Ð )
(66) Ë ) Ñ Z< Ð ÑÒq/ Í uS tS Í L )+)*ÃÎ YzË9Î|Ñ ] ). Ì ÑFË|
(67) Ë # Ì Í Í K) Ë|Ò # Ë E) S ⊆ L Ï Ë (L, , ⊥, >, t, u) U! м # : #
(68) Ë )WÒ Ð ÑÒq/ Í tS /Í [Ð )
(69) Ë ) !Ñ Z< Ð ÑÒqÍ uS Í+Î ⊥ = ∅ z]Ë )²FÏ Í Ò Í Ï ,Ë¼Ò [Ð Ò > = tL zË ) ª Kß L?Û ªF© NÃÛ ¨ C"! FÏ Ë E) (0 + 1)ω , , t, u, (1), (0) zË Î|Ñ ] ) Y )*)+ÃÎ xGqeeIÆZoyxcwu¼rUyv4xRv_x¾rtaeqe¶GxcyrUyv4xNv±rUaceptwcc~UedwdÕ{_xyxq¶Gdwcd¾Grtacegwcc+e~X{_x¾v´2e6~ +v_wxcp{_~teº{_´{Foqp,qe¶Gxce6¹±²v4~ e4e~UoN¶xcyrtepswcGpserUp6³¾jNv_~Uev_e6~ > = (0) {_x ⊥ = (1) psyxue ±²v_~X{ ³?cv4~{x¾yxq¶xcyrtepter S Í$# (S) = w ´iae~Ue [w] = Ë¼Ò {[w0 ] | w0 ∈ S} [(0)]p = ∞ p p ±²v4~ie4e~Uo p ∈ N ³ p > 0 4exPrtwG{o4rtace2±²v_v´iyxc¥X~te6d{~U»{_v´pµd9vPprv_+e~|{rUyv4xpµv_xyxq¶xyrUe+e~UyvZcyu2cyx{~Uo´2v4~Ucp rUvGe uv_dcwqrUe6v_x¶xcyrte,´v_~|cp6³ Û ·«q&ª % C LXÍÌ ÐÑ # Í ?Í K)
(70) Ð ÃÑ ÃÎ # Í Ð¼Ì Z?ÑÐ FËÎ Í # 9[Ð [Ð Ë Í ) Z K)²Ï [Ð Q ¼Ë /Í
(71) Ð ÃÑ Ë ZµÏcÑFË Í :)²ÏPËË )+z'Ë #|ÌNËÑ ¾Î|Ñ Í !K)+ÃÑÍ ÑÍc
(72) Ë , $ Ð )*Z?Ñ Í Í K)
(73) Ð ÃGÑ !ÃÎ # Í Ð¼Ì Z?Ñ[Ð Ë / ) ( . ºÎ Í )LÐ Í*Ë #ÑÐ )²FÏ. Q [Ð ¼Ë|
(74) Ë ÃÑÍË Ñ # w / Í w0 Í )Ñ F
(75) Ð )*ÃÎRÒ Ð w = u(v) Í w0 = u0 (v 0 ) Q Ð [Ð ¼Ë Í ) )+KUB Ë a(b) / Í 0 0) ZµÏ ÃÎ|Ï Ë ,ËÑ 9ÎUÑ RÒ ) )*ÃÑÍcË ( NÎ Í]Î|ÏcÑIÑFË +#ÑÐ Íca
(76) Ë (b ) Í+Î a a0 b / Í b0 ˼ÒÎUÏ )²Ï ) |a| = |a0| = max(|u|, |u0|) /Í Ï [Ð Î
(77) Ë ) Í F,Ë #ÑÐ e6{4pruv_ddv_x dgwcrtyc-e /. Í : Ë¼Ò : ÑFË. |b| = |b0 | = Î (|v|, |v 0 |) ZµF Ï ¹!Ñ )²FÏ ÐDÎ Ë zË
(78) Ë )LÐ FÏ ) #Ñ
(79) Ð Z [Ð p = |u0| − |u| /Í n = Î (|v|, |v0 |) ) Ï Í |u| ≤ |u0 | +)²F Í Í w = u.v[1] · · · v[p]. (v[p + 1] · · · v[p + |v|])n/|v| / w0 = u0 .(v 0n/|v | ) 010(001100) / # |Î|Ñ. Í 10001(10) M : Z zË +SÑ/ Í T01000(110000) Ì $Í #ÑÐUÎ T) Ï ) [Ð 10001(101010) Q ¼Ë /Í Ë¼1Ò 0 Q ËÏ U! T)²FÏ 9Ë ! ÍGÒ # Ð9Ñ # Ë w = Í a(b) Í w0 = a0 (b0 ) Z K)²Ï |a|1 = |a0 |1 = max(|u|1 , |u0 |1 ) / |b|1 = |b0 |1 = Î (|v|1 , |v 0 |1 ) . / $ Í $ C+Ë¼Ò ÑEË |u|1 ≤ |u0|1 Í |v|1 ≤ |v0 |1 p = |u0|1 −|u|1 r = [v]p Í n = Î (|v|1 , |v0 |1) 0. ^3^`_!ab
(80) c
(81) d
(82) e.
(83) '. . Ñ6Ï ÍÒqÐ Í Y) ÑÍ zË Í # EzË $ )+)* ) . Ò Í YiÑÒ$G E). )²ÏF Í w = u.v[1] · · · v[r]. (v[r+1] · · · v[r+|v|])n/|v|1 Í w0 = u0 .(v 0n/|v0 |1 ) 010(001100) Í/ # UÎ|Ñ. 010001(100001) Í/ 10001(101010) ! 10001(10) ÏF Ë
(84) ) Í) Ð[ ¼Ë
(85) )+ Í Î Ë zË w = a(b) Í/ w0 = a0(b0) Z K)²Ï |a|1 = |a0| Í |b|1 = |b0| . Í/ $ C2Ë¼Ò : ÑFË. |u|1 ≤ |u0 | Í |v|1 ≤ |v 0 | p = |u0 |1 − |u| r = [v]p Í n = Î (|v|1 , |v 0 |) ²) ÏF Í w = u.v[1] · · · v[r]. (v[r + 1] · · · v[r + |v|])n/|v|1 Í/ w0 = u0.(v0n/|v0 |) 010(001100) Í/ # 10001(10) U Î|Ñ 0100011000011(000011) Í 10001(10). v_~XrtacepU{»_ev±2ptydcyzuyro_Æ´e´iyW{_pUptwcde rtae~Ue6{± rUe~Xrta{rSe6_e6~to¾yxq¶xcyrte9Ge6~tyvqqyzucyx{_~to ´v_~|ºaG{_pi{x¾yxq¶xcyrte,xZwcdgGe6~iv± ' p6qy0³ e_³qyzpiGe6~tyvq av_zcpi{re6{4priv_xe ' ³ . ? $ * $
(86) ? $ . uvqu|»,±²v4~Wyxc¶xcyrtepsrt~Ue6{dpWu6{x9Ge{_x9yxq¶xyrUeicyxG{~Uo ´2v4~Ugv_~W{,uv_dGvPpsyrtyv_x9v±+yxc¶xcyrtecyx{_~to ´v_~|cp6q{_piqe¶xce6ZorUace±²v_v´iyxc¥9¥_~|{dd{~GH clk ::= w | clk on w w ∈ (0 + 1)ω. Y± ck ypg{Ruvqu|»D{x w yzp {_x¹yxq¶xyrUeºcyx{~UoD´v_~|ÆHrUacex ÎÑIÎ v_± ck q´iace~Ue w ypyrUpte±pterv4xuvqu|» ck ³ ³ ¥³ (01) 5<D (101) = (010101) 5<D (101) = (010001) ³. v_~Ud{_o_. clk w clk. 5D. w. ck. 5<D. w. qe6xcvrUe6p { ¼Ë Ò # Ê Ë Q. . 0 1 0 1 0 1 0 1 0 1 ... (01) 1 0 1 0 1 ... (101) 0 1 0 0 0 1 0 0 0 1 ... (0100). ypyxqwGu¼rty_e6oqe¶Gxce6¾{_p±²v4v´pH on 0.w on w0 1.w on 0.w0 1.w on 1.w0. = 0. (w on w0 ) = 0. (w on w0 ) = 1. (w on w0 ). ª ßKL?ß ¨ N © NÃß C I KU! Í w Í w0 )+Z?Ñ Í ?ÍK) # Í Ð¼Ì Z?ÑÐ[ Ë4 w 5<D w0 zË ÈËÑ Í Í ?ÍK) # Í Ð¼Ì Z?ÑÐ[ ?Ë )*zË*#|Ì! Í )²ÏF " Ò )*ÃÑÍ [w 5 D w0 ] = [w0 ] #ÑÐ K p ≥ 1 p [w] xGqeeIÆqy±rtae °0rUa{_wcev_± yp cZrtae °Lrta¾{wcev± 5 D 0 yzpxceIue6pUpU{~Uyoºcqv_rtace6~t´iyzpseSyryp rUace p°0rUa ' v± wn  ±²v4~Xptv_de p w≥ 1ļ³mZyxue nw0 ypXuv_e6~teIw{rrtawe ~U{rte,v_± ' piyx w Grtace n°LrtaR{_wce v_± w 5<D w0 yprUace [w] °Lrta ' yx w0 ³ `ace±²v4v´iyxc¥g~Ue6ptpwcrypi{uv_~Uv_{_~tov±rtae,c~te6Zyv4wpc~tv4Ge6~sro4³ ª Kß L?ß ¨ N © NÃß DE sß OÝ «¨6¨ ß ¬ N «q© N N © Ü M7 ) w w Í w # N) Ïq[Ð N Í Í K) # Í Ð¼Ì Z?ÑÐ[ FË 3 ! F Ï Í w1 5<D (w2 5<D w3 ) = (w1 5<D w2 ) 5 1D w23 xGqeeI [w ] 5<D 5D ³ w ] = [w1 ][w ] â v´2e6_1e~I[wPrtace on v_+e~|{rUv_~ypixvru=v4d9[wdg1wqrU{rtwy_2e4][w³ ® ] e,a{F4eXrUace±²v_v´iyxc¥9~Ue6ptwcGr H p. 2. 3 p. 2 [w3 ]p. 3 p. OQP ^O6R.
(87) ÌÍ+Î|ÏZÐtÑÍ Í Ð
(88) ÃÑ ÃÎÑ6ÎË. ·«. 2Û. '$'. ( Ï U!. Í ¹ÑÍÌ # )²ÏF Ð[. M7 ) w, w0 # +) Z?Ñ Í Í K) # Í Ð¼Ì Z?ÑÐ FË / w w0 #4 / < 5 D . Q$zË
(89) )ÃË u ∈ (0 + 1)ω ˼ÒÎUÏ ) Ï ) w0 = u w ª ßHßU³+! ÏF Z?ÑÐ[ u = Q 0[w0]p−[w]p .1 ÍcË
(90) Z< Ð|Ë )²ÏF YT C. Ö+e~UyvZcyu uvqu|»ypX{puvZu|»´iacv4pte psrt~Ue6{d yp Ge6~tyvqqyzu³`ace +e~Uyvqqyzu,uvqu|»Zp {~Ue qe¶xe6R{_p ±²v4v´pH clk ::= w | clk w ∈ Q2. 5<D. w. `ace?c~te6Zyv4wpÆ~Ue6ptwcr|pÆv_x uvqu|»qpÆacv4,{_xSdv_~Uev_e6~Æ}~Uv_+v4ptyrUyv4x ' +e6uv_de6pµ{x,{¥_v4~tyrtadHÆer wGpWuv_xGpsyzqe~µr´vSyxq¶xyrUe+e~UyvZcyucyx{~Uo,´v_~|cp w = u (v ) {x w = u (v ) ´iyrta |u | = |u | {_x |v | = |v | ³º`acyzp,yzp,+v4pUpsyce9+e6u6{wptev±~te61d{~U» 1 ' ³º1 `ace6x w2 = 2w 25<D w = 1u1 (v ) 2yp uv_dcwq1rUe61 Zo 2|u | = |u | |u | = |u | [u ] = [u ] {x |v3 | =1 |v | |v2 | =3 |v3 | 1 3 1 2 1 3 p 2 [u ] 3 1 3 1 2 1 ³3 [v ] = [v ] 1 p. 3 p. . 2 [v1 ]p. *$ * + 3?
(91) L!* @?. A. ® eºyxPrt~UvZcwueº{Nuv_~Ueºc{r|{°LÓv´z{x¥_w{_¥_ev_x½yxq¶xcyrteprU~teI{dp³YrUpgpsoZxPrU{ǹqe6~ty_eIpS±²~tv4d &%' !(L³ ÇZ~teIptptyv4xp  Ä?{_~teXd{4qe v_±Ouv4xpr|{xPrpsrt~Ue6{_dpX ÄP{_~tyz{ce6pX ļq{_y~|pX ļZvZu6{;qe¶GxcyrUyv4xp v_±,±²wcxurtyv_xpv_e~prU~teI{d {~Uy{_ceIpN e ;; x =i eļ ·{cyzu{xrtyv_xp  e(e)e,Äe yxcyrtyz{yÅ6e6qe6{Foqp  7 Ä,{x rUace±²v_v´iyxc¥NpU{dcyxc¥¾±²wcxurtyv_xp H e ;<D pe yp rtacept{_d9eI¹psrt~Ue6{_d£v_± e v_x ptev_d egGe6e~tyvqqyuuvqu|» pe H{x 3;; ypXrtaeuv_dgcyxG{rtyv_xDv_+e~|{rtv4~Xv_±2uv4dce6dexPrU{_~toRpsrt~Ue6{dp ÂôiyrUav4cGvPpsyrte2Ge6~tyvqqyzu?uvqu|»qpUÄ;yxv4~Uce~HrUv±²v4~tdÖ{iv_xc¥4e~prU~teI{d : 9{xG6 : DE{_~teWrUace2u{4ptptyzu{ {4uue6pUpƱ²wcxurtyv_xp6³ p{ ptoPxPr|{_u¼rUyu2psw¥4{~I e ; D!5 9 pe ypOrtaepU{dce6 psrt~Ue6{_d]y± e v_x,rUacexce¥P{rtyv_x v_±µ+e~Uyvqqyzu,uvqu|» pe ³ Ø~tv4¥_~|{d yzp,d{_qev_±{Rpte6ÀPwce6xuev±qeIuz{~|{rUyv4xpSv±iprU~teI{dl±²wxu¼rUyv4xpº. D!5FE; Ä {_x Ge6~tyvqqyuuvqu|»qp 4 ;3G 5FE p = peļ³ cv_~eÇq{_dce 4 ;1G 5FE half = (01) qe¶Gxce6x(x) pgrtaeR=a{e± +e~UyvZcyu9uvqu|»·Â rtaeº{rte~Ux{rtyxc¥yr pte6ÀPwcexGueIÄX{xGNrUacyp,uvqu|»Nu6{x¹Gewpte6¹{¥P{yxRrtv¾cwcyz {_x v_rtace6~ v4xcey»4e 4 ;1G 5FE half = half 5<D half ³X}e~Uyvqqyzu uvqu|»qp u{_xRGeuv4dcyxceI¾´iyrUaD+vPv4eI{x v4Ge6~U{rtv4~Up6³ v_rterta{ruvqu|»q2p {_~te Ë) )+ÃÎ eÇqc~Ue6pUpsyv_xp´iacyu|a¹u{_xNGe9psydcy¶eID{rSuv4dcye rUyde yxPrtv9rtae,xcv_~Ud{;±²v_~Ud u(v) v±µyxq¶xyrUe Ge6~tyvqqyzuXyx{_~to ´2v4~Ucp6³ ;;. ::= x | i | (e, e) | e 7 e | e ;<D pex| =3;e| ;e(e) | e: 9 pe e e :HDE e | e 9 9 e | e| D!5NE; x(x) = e | d; d ::= ;3G 5FE p = pe | ; ::= 4 5<D pe | D!5 9 pe | pe 5 pe | pe pe ::= p | w | pe. e. d. . pe. ® eDu{_x e6{_ptyo c~tv4¥_~|{d rUaceDqv´ixpUu{_e6~yx rUacyzp{_xc¥_wG{¥_e4³Yr yzpºdgwu|a psydce6~rtaG{x yx { uz{_pUptyu6{WpsoZxu|a~tv4xcv_wpXz{xc¥4w{¥4e_H{F_v4ycyxc¥{F´i»Z´{_~UN{_wqÇqyyz{~Uo{_~tyz{ce6p6Hptee9rtaceav_~UyÅ6v_xPrU{_ ¶GrUe~iyx¾y¥_wc~Ue 8 ³ C )+-@%&) _ $ ) !. ^3^`_!ab
(92) c
(93) d
(94) e. x. ". e. #%$. e. _'& C. ! * >0 2 (3 M.
(95) '. ¡. Ñ6Ï ÍÒqÐ Í Y) ÑÍ zË Í # EzË $ )+)* ) .
(96) o1 .0/1/0/ 2 # o1 o2 o3 o4 o5 o6 ( (10100100). µy¥_w~te 8 HW}e6~tyvqqyuuvqu|». . Ò Í YiÑÒ$G E). ! 3#0 (100000) ( " # i i i i i i ( !#1 ( 1 2 3 4 5 6 # i1 i2 i3 i4 i5 i6 (. .
Documents relatifs
Les pratiques funéraires observées pour ces tombes dites "isolées" ne diffèrent en rien de celles mises en œuvre dans les ensembles funéraires ruraux comptant
La loi du 29 juillet 1998 relative à la lutte contre les exclu- sions comporte un chapitre concernant les « Mesures d’urgence contre le saturnisme infantile dans le code de
Finally, the proposed migration-cost aware ACO-based algorithm outperforms FFD and Sercon in the number of released PMs and requires less migrations than FFD and V-MAN when used in
L’objectif de cette étude visait (1) la reconstitution de l’alimentation de 33 sujets du site de la nécropole de l’Ilot de la Boucherie à Amiens (III-Vème siècles ap JC)
One of the main improvement that must be made is the ability to speak with the companions in natural language. The current system features a set of vocal commands, for
Developing an extremely high impe dance, the condenser mike needs amplification close to the mike , (studio versions f rom the early thirties on actually included
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
Les crustae sont taillées dans un calcaire marmoréen blanc, à gros grains, identique à celui des crustae du pourtour de la salle S; approximativement carrés ou