Automatic Distribution of Reactive Systems for Asynchronous Networks of Processors

(1)

HAL Id: inria-00073196

https://hal.inria.fr/inria-00073196

Submitted on 24 May 2006

HAL is a multi-disciplinary open access archive for the deposit and dissemination of sci- entific research documents, whether they are pub- lished or not. The documents may come from teaching and research institutions in France or

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 établissements d’enseignement et de recherche français ou étrangers, des laboratoires

Automatic Distribution of Reactive Systems for Asynchronous Networks of Processors

Paul Caspi, Alain Girault, Daniel Pilaud

To cite this version:

Paul Caspi, Alain Girault, Daniel Pilaud. Automatic Distribution of Reactive Systems for Asyn-

chronous Networks of Processors. RR-3491, INRIA. 1998. �inria-00073196�

(2)

a p p o r t

d e r e c h e r c h e

INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE

Automatic Distribution of Reactive Systems for Asynchronous Networks of Processors

Paul Caspi , Alain Girault , Daniel Pilaud

N ˚ 3491

Septembre 1998

TH ` EME 4

(3)

(4)

3

4657289:;=<7'>!?@2

ACBEDFCGHBJIKLNMPOQFRBELTSVU/LTWXBEDFZY\[9O^]BESLT_`F>AaLZFNBEDbc

d>egf

hi2haj;kmlonpiqsrptvuwnpx`y.hu>x{zsuwn|i2np}~t-unx{y

h}s}wu

f

hi2h}#x`iHzsrphsh}

#

xvhu!a

tvzzEx

u h

h e h e

hy;v-j{.klohzsuhi;

hH`vkm-2ztvvh}

'\ ¡-`¢

d>e

n|}#z£tvzEh

t

h}}h}¤u

e

h"z

x`rhi¥x-¦?t`qsuwx{iHt-uwn|tvrrp

n|}wu

n|qsunpys

ht`uwnp§vh}ws}uwhi2}¨©ªh«

}u

} e x\¬u

e

tvu*u

e

hq}hx-¦1}sy

e

x`ysx{q}4r|tvys{qt-`h}!tvrrpx\¬!}!t'ytvuq

t-r?zt

t-rprphr

h}

n|zsunx{y/x-¦1}~q

e

}ws}uwhi2}®

h¯

`t

rh}}x-¦Et`y`

n|}u

npquwnpx`y;z

x{srhiH}¨

d>e

hyg®`t

h}wn

h

;

n|}u

npquwnpx`y;tvyEh4ht`}wnpr"}~z£hn«£h

®vtvy

tv

e

nph§`h

¬>npu e ue

h*t-rpvx

npu

e

i°z

h}why{uwh

e h

h`¨

d>e

n|}

np}u

np£qsuwnpx`y2uwh

e

ysn|±oqsh!z

x\§{n

h}

np}u

n|qsuwh

z

xv

tviH}?¬>npu e u e h

}~tvi2h(}~t\¦²huN`®uwh}ut`y

³

hqs¦´t`nprnpuwnph}2tv};x

npy£t

ª}h±oqshy{unptvr1z

xv

tviH}¨/µ?n|ytvrrpv®u

e

h(n|i2zrhihy{ut-unx{y

x-¦1}~q

e

n|}u

npquwh

z

x`

tviH}4x`yr

h±oqsn

h}!t9§vh

/}npiHzsrphx`iHi;qynpt-uwnpx`yz

x`uwxsx`r^¶·w«

}u!n|y/«

}wuCx`qsu~¸

±oqshqh}º¹»®u e h

h{

h

q£n|ysHu

e

hyshh

¦²x

r|t

vh

n|}wu

n|qsuh

ht-r¯Ruwn|ihhshqsun§`h}¨

¼/½{¾6¿À;Á \Â@`¢

tv}oy£

e

x{ysx`q£}9x`iHiqysn|t-unx{y}®

np}u

n|qsuwh

z

xsh}~}npysE®

htvun§`hP}ws}uwhi2}®*t`qsuwx{i2tvuwn|

n|}wu

n|qsunx{yg®£}sy

e

x`ysx{q}1r|tvy`qtvvh}¨

ÃÄ2Å

ÆÇRÈÉ

Å

Æ*Ê?Ë|ÇTÌRÍÎ

ÏoÐ4Ñ»ÒXÒ-ÓwÑ»Ô?Õ×Ö*Ø²ÙJÙEÙÏoÔTÑ»ÖXÚRÑ»ÛNÜZÕ×ÐºÖXÚÐºÖ"ÝÐ»ÞßÜà)Ñ»ÔTÓ1Ù£ÖXáºÕ×ÖXÓÓÔTÕ×ÖXáXâ

ã#ä;å

æç\èêé6ë-ìsíXî

Ñ»ïXð|âñgÑ»ÚTÒXÕßò?Õ×ó!Ñ»áXâÞÔ

ô^õ´ö

ç\è×ëX÷²øgè×ù-íXú

ðêÑ»Õ×Ö{âû?Õ×ÔRÑ»ïXðÜRò?Õ×ÖXÔZÕêÑ»ð×ÒvÓÚwâÞpÔ

üýþ?ý

Ñ»ÖXÿ õ´ö

ç\è×ëoí Ñ»ÖXÕ×Óð|â

î

Õ×ðêÑ»ïXÿ-ò?Õ×ÖÔTÕêÑ»ð×Ò-ÓÚâÞÔ

Unit´e de recherche INRIA Rhˆone-Alpes

(5)

'>*@?* "&/¤0/!

½ ½ ¢

huat

unprh2u

t-npuwh

q z

x`sr

f

hih

hHr|t

hzt

uwnpuwnpx`yPt`qsuwx{iHt-uwn|±oqsh

h9}ws}u

f

hih}

htvuwn¦´}¨Cx`q}

i2x`y{u

x`y£}!uwx{qsu

t`£x

±oqshrh}*r|tvys{t-`h}>}oy£

e

x{ysh}Cz£h

i2huwuwhy{u

h2z

x`

tviHi2h

ytvuq

hrprphi2hy{u

h;uwhrp}

}o}u

f

hi2h}

hH¦´tx{y z£t

t-rpr

f

hrh`®)huh9npy

hzEhy

tviHi2hy{u

h'ux`qsuh}x`y{u

t-n|y{uwh

h

hqsunx{yg¨! *z

f

h}"hrpt£®r|t

hzt

ununx{y

h}n

hh2zEhqsu!"hu

hH¦´t`nprhi2hy{u;}~z

hnß«

hh2hux`suhyoqsh9

"tvh

f

t/r

t-rpvx

npu

e

ih'z

h}why{u

hHn|nT¨

huwuh

i

hu e x h h

hzt

ununx{yz£h

i2hu

x`suhysn

h}az

xv

t`i2i2h}

hzt

unp}!tX§`h"r|t(i#"hi2h;}$"q hu

hhuCrph}i"hi2h}

zEx`}~}wn|snprnpu

h}

hi2n|}whatvqz£x`npy{u4hu

huwh}u>±oqshzEx`q

h}4z

xv

tviHi2h}¤hy`u

tvrn|}

h}x

npytvn

h}¨&%¤yo«Ey)®{r|t2in|}h

hy!'qs§

h

huwhr|}4z

xv

tviHi2h}

hzt

uwn|}1yhy

hh}}npuwhC±oq

qyz

x`uwxsx`rh

hx`iHi;q£ysnpt-unx{y'u

f

h}1}npiHzsrph¶

h}

«£rph}

tvuwuwhy{uwh/·«

}u#n|y«

}wu4x`qu¸{¹º®£h"±oqsn

h

qsnpu#r|t2utvnrprh

hr

h

hqsuwn¦

hzt

uwnT¨

( Á ¿ ¡*) ½ ¢

x{iHi;qysn|tvuwnpx`y}*tv}oy£

e

x{ysh}®stvrpqsr

hzt

unZ®}s}wu

f

hi2h}

htvuwn¦´}®

hz£t

uwnpuwnpx`y.tvqsux`iHt-unp±oqsh`®

r|tvys{t-vh}4}wsy

e

x`yh}¨

(6)

: ;

H P/#

<>=< [email protected]@KJML3JMF@ONPJ

M,#"( &() *

t

h4x`iHzqsuh

}ws}uwhiH}u

e

t-u

htvu^x`y{uwn|yoqsx`q£}wrpuwx;u

e

hn

hy{§{n

x`yi2hy{u®`t-u¤t"}zEhh

9

huh

¯

i2npyh

{.u

e

hr|t-uuwh

*Q

(RR¨

d>e

n|}*r|tv}~}!xv¦^}ws}uwhiH}Cx`y{u

t`}wu~}®x{y/x`ysh

e

tvy

¬>npu

e

7 HS, T UV&(

¶Zrpt`}}n|t-r?z

xv

tviH}>¬

e

x`}h;n|yzqsu~}Ct

h2tX§Xtvnr|tvrh;tvu*u

e

hEh`npyynpys.x-¦^u

e

hn

hshqsuwnpx`yg®gt`y

¬ e

n|

e

hrnp§vh

u e hn

x`quzqsu~}*¬

e

hy/uwh

i2n|yt-unpyXW¤¦²x

n|y}ut`yh;x`iHzsnprh

}º¹»®Jtvy

x{y/u

e

hxvu e h

!e

tvy

¬>npu

e

#') 7 M,#"( *&(Y

,*

¶´¬

e

np eP

ht`ux`y{unpyoqsx{q}wrp.uwx(u

e

hn

hy{§on

x`y£ihy{u®6qsuat-u*u

e

hn

x\¬!yP}zEhh

W4¦²x

n|y}wu~tvyh;x{z£h

tvuwn|ys

}o}uwhiH}»¹º¨ *i2x`y

htvuwnp§vh}o}uwhiH}Ct

hi2x`}u*xv¦u

e

hnpy

q}wu

n|t-r

ht-r¯Ruwn|ih}ws}uwhiH};¶Zx{y{u

xvrT®E}~qz£h

§on|}wnpx`y)®

tvy

}wnp`y£t-r¯Rz

xsh}}npy }s}wuhiH}º¹»®*t`}(¬#hrprCt`}iHtvys¯RiHtv

e

npysh npy{uwh

¦´t`h}¨

d>e

h}hª}o}uwhiH}

e

tX§`hPu

e

hªiHt-n|y

¦²xvrprpx\¬>npys2¦²ht-uq

h}W

Z\[

s\ ))½ )]Z ¢

4urphtv}u®?u e h

h}n{y i;q}uutM^-h9n|y{uwxPtvx{qy{uu

e

h(zt

tvrrphrpn|}i EhuN¬#hhy u e

h'}s}wuhi

tvy

npu}hy`§on

x{yi2hy{u¨`_Px

hx\§vh

®Eu

e

h}whH}ws}uwhi2}at

hxv¦²uwhy n|iHzsrhi2hy{uwh

x`yªzt

t-rprphrt

e

nuhuq

h}®

¬ e hu

e h

¦²x

^

ht`}wx{y}x-¦)zEh

¦²x

iHtvyh>npy

htv}hv®v¦´tvqsrpu^uwx`rh

t`yh>x

¦´qy£uwnpx`y£t-rpnuN.¶´`hxv

t`z

e

n|tvr

np}u

n¯

qsuwnpx`yJ¹»¨µn|yt-rprpv®\npun|}x{y{§vhynhy`u@tvy

ytvuq

t-r`uwx

h}n{y"}q£

e

}ws}uwhiH}@tv}}hu~}xv¦zt

t-rprhr`x`iHz£x{yshy{u~}

u e

tvu4xox`zEh

t-uwhauxHt`

e

nph§vhau

e

h"npy{uhy

h

£h

e

tX§onx

¨

Z\a

½ ½ b]cV]Z ¢ d>e

h}wh}o}uwhiH}2tvr¬4tXs}

ht`u2npy u e

hP}t`ih.¬4tX³uwx u e

h}~tvi2h/npy£zqsu}¨

d>e

np}9z

xv¯

z£h

uN i2tM^-h}"u

e

hn

h}np`yg®tvytvrs}np};tvy

³

hqs`vn|ysht`}wnph

¨ d>e

q}®?nu2}

e

x{qsr

Ehz

h}wh

§`h

` u e h

npiHzsrphi2hy{u~t-uwnpx`y)¨

Zed

½ gf Á \ ) ½0h i]² ½ ½ c6`¢ d>e

h}h

h±oqsn

hi2hy{u} x`y£h

y Exvu

e u e h npyz£qsu

t-uhVtvy

ue h npyo¯

zqsuj\x`qsu~zqsu

h}~zEx`y}h/uwn|ih`¨

d>e

h t hn|y

q£h

{ u e hPhy{§{n

x`yi2hy{u9tvy

iq}u'npiHzEh

t-un§`hrp Eh

i2tvu

e h

¨5kChyhv®Eu

e

h.iq}wu!Ehhsz

h}}h

n|yu

e

h;}~z£hn«Etvuwnpx`y}®£u

e

h.i;q}u*EhutM^-hyn|y{uwx't`x{qy{u

q

npysHu e h

h}np`yg®t`y

u e

hn

}~t-unp}w¦´tvuwnpx`y.i;q}u>£h

e

h^-h

x{y(u

e

h"npiHzsrphi2hy`u~t-unx{yg¨

Z

'½ )]Z si])]´ ¾ ¢ d>e

np}n|}zEh

~e

tvz£}u

e

hn

i2x`}u;n|iHz£x

u~tvy{u"¦²ht-uq

h.tv}u

e

h}h}s}wuhiH}2t

h'x-¦²uhy npuwn|tvr

x`ysh}¨9µEx

n|y}wu~tvyhv®@u

e

h'x`y}h±oqshyh}ax-¦#t}x-¦²uN¬4t

h2h

~

x

n|y tvy t-n

t\¦²uatvqsux`iHt-unpHzsnprx`u"x

n|y³t

y{q£rpht

zsr|tvy{u4x`y{u

x`rrph

t h

n|}t`}wu

x{q}¨

d>e

h h¦²x

h*u

e

h}h}s}wuhiH}

h±oqsn

h

npvx

x`q£}

h}wnp`yihu e x }

tv}#¬¤hrr@tv}#¦²x

iHt-rg§`h

nß«Et-unx{y'x-¦?u

e

hn

£h

e

tX§onx

¨

z

xv

tviHi2n|ys;r|tvys{qt-`hC¬#hrpr)}~qsnuh

uwxHu e h

h}n{y(xv¦

ht`uwnp§vha}o}uwhiH}>}

e

x{qsr

u e h

h¦²x

h"Ehaz£t

t-rprhr

tvy

huwh

i2n|ysnp}uwn|-®Etvy

t-rprpx\¬¦²x

iHt-r)Eh

e

tX§onpx

t-rgtvy

uwhiHz£x

tvrg§vh

n«Etvuwnpx`yg¨

<>=)l mno@pJML3qDXnrHs5qosutJ\BivvrHs5B+D'n

l{sy

e

x`yx`q}r|tvy`qtvvh}

e

tX§vh!Ehhy'npy{u

x

qh

n|y9u

e

hC!w

}^ux;iHt!^vh>u

e

hz

x`

tviHi2npyxv¦

htvuwnp§vh!}o}uwhiH}

ht`}wnph

*Q

jRR¨

d>e

h;zq

zEx`}hx-¦u

e

h}hr|tvys{qt-`h}4n|}!uwx9`n§`h"u e h

h}np`ysh

n

ht-ruwn|ih2z

npi2npuwnp§vh}®£u

e

q}

h

q£n|ys

u e h2

e

t`yh;x-¦¤z

xv

t`iHin|ys'i2n|}x`yhzsunx{y}¨-xy}uwht

xv¦^u

e

h2npy{uh

rhtX§{n|ys(z£t

t

np`i.®£u

e

hPt

h2tv}h

x{y

u e

hH}n|i;qsrput`yshnpuN z

npy£n|zsrhMWtvrr^z£t

t-rprhr?t`uwnp§onunh}"}

e t

hu

e

h9}t`ih

n|}

huwh2uwn|i2h'}t-rphv¨

x{y

huhrpv®gu

e

np}

i2ht`y}#u

e

tvuzyC{,|!np}#§onph¬#h

t`}1u

e

h/·zt`^Xt-vh¸}y|>¬

e h

h`y9tvy

|!t

h}wn|i;qsrput`yshx{q}¨&%#tv

e

t`un§onpuN'tvy(u

e

hy

Eh

t-uh

x`yu e h

np}~

huhunpi2h}~tvrhM~su

e

n|}

e

t`}4u

e

ha¦²x`rrpx\¬>npy2t

§\tvy{utvvh}9W

(7)

j Z d

npi2h

htv}x`ysn|ys{}#t

haiHt

h"htv}nh

¨

Z xy`uh

rhtX§onpysv¯R£tv}h

ysx{yo¯

huh

in|ysn|}i

n|}t`zz£ht

}®@¬

e

n|

e

iHtM^-h};z

x`

tvi

hqs`vn|ys£®@uwh}uwn|ysE®?t`y

§Xtvrn

tvuwn|ysHhtv}nph

¨

x`y£h

ysn|ysu

e

h(n|i2zrhihy{ut-unx{yg®u

e

h(n

htn|}uwx z x-huu

e

n|}

n|}~

huwh(uwn|ih.}t-rph'x`y{uxPu

e

h.z

e

s}wn|tvr

uwn|i2hv¨ *}'u

e h }~tvrhn|}

np}~

huhv®

.#/#

xsq

}'EhuN¬#hhy uN¬¤x x`y}hqsuwnp§vhn|y}utvy{u~}Wªh§vh

ou

e

npy iq}u

e

t`zz£hy/tv}#nß¦u

e

hz

xsh}~}wx

¤

qyysn|ysHu

e

haz

x`

tvi¥¬#h

hCn|yo«Eysnpuwhr(¦´tv}u¨

d>e

n|}4n|}4u e h

&./01X&*/&#/X

¨

¦?x`q

}hv®s}q£

e

tvyn|yo«Eysnpuwhr(¦´tv}u4z

xsh}}x

xoh}>ysx`u4hsnp}u®£qsu>nu>}~q'h}4u

e

tvu4t`y{9npyz£qsu!£h"u

ht-uh

Eh¦²x

h.u

e

h/yshsuHx`yhv¨gxy x h uwx §vh

n¦² u e n|}9x`y

nunx{yg®^x{ysh(x{ysr yhh

}ux^oysx\¬ u e

hiHt\snpiHtvr¤n|yzqsu

¦

h±oqshy£v®tvy

tvy qzzEh

£x{qy

x`y=u

e h hshqsuwnpx`yVuwn|ih xv¦;u

e h x`shu/z

xv

t`i¨7µ£x

u e

n|}zq

z£x{}wh`®

}oy£

e

x{ysx`q£}¤r|tvy`qtvvh}

e

tX§`h

hrpnpEh

t-uhrp

h}u

npuwh

u e

hiH}whr§`h}4ux'z

x`

tviH}¤u

e

tvu!tvy.Eh;x{i2znrph

npy{ux

t.«Eysnpuwh

huh

in|ysn|}wunpHn|y{uwh

z

huh

tvquwx`iHtvuwx`y)®@tx{y{u

xvr^}u

qu~q

h9¬

e

x`}h2u

t`y}nunx{y}t

h

huh

i2npysn|}uwn|

}h±oqshy{unptvr6z

x`

tviH}1x{z£h

tvuwn|ys;x{yt;«Eysnpuwh"i2hi2x

`¨&%#tv e u

tvy}nunx{yg®o¬

e

x`}hhshqsuwnpx`yuwn|i2hn|}>}ut-unpt-rpr

x{iHzqsut`srphv®x

h}~zEx`y

}#ux9u

e

h}s}wuhi

ht`uwnpx`y(uwx't`y(n|yzqsu¨

d>e

h h;t

h2yoqi2h

x`q}*rpt`ys`qtvvh}*t`}wh

qzEx`yu

e

h2}sy

e

x`y{

e

szExvu

e

h}np}9W Q

RT® !"

Q

RT®

#

%$'&(!

Q

w(RR®

#

()+*,(!

Q

.-RT®l _0/

Q1

RT®243'&'5*,(!

Q

RT®'678$'9:

Q

`RR®@tvy

l Q

(RR¨

h}ht

e

x{y

}oy£

e

x{ysx`q£}rpt`ys`qtvvh}x`iHzsnpr|t-uwnpx`y

e

tv}rph

uxu

e h

¶·

ohu x

h¸{¹@hyx

n|ys"¦²x

iHt-u^¦²x

t`qsuwx{i2tvut£¨

xNu>n|}4u

e

h"x{qsuzqu>¦²x

iHt-u4x-¦?u

e

h;<"£®= !"tvy

67+$:9:x`iHzsnprph

} Q

v(RT¨

µ£x

t'Ehuwuh

q£y

h

}utvy

npy9x-¦u

e

h}wsy

e

x`y{

e

sz£x`u

e

h}wn|}®£rphu!q}C}wu~q

/}wx{ihahst`iHzsrh}>n|y08¨

2n|}4tvynpiHzEh

t-uwnp§vha}oy£

e

x{ysx`q£}1z

xv

t`i2i2n|ys;r|tvy`qtvvhv¨:>4h}n

h}#§\t

npt`srh}®{u

e

hr|tvy`qtvvhCiHt`ysnß¯

zqsr|t-uh}

?!. U

Wt"}wnp`y£t-r£tvyH£h

"( UX

x '1

®otvy

tvyHEh*tvy

#@.i?!. U

¶´npu}1z

h}whyh>t`y9£h>uh}uwh

¹»®

tvy

A'%?!. U

¶´npu'tvy Ehhi2nuuwh

¹»®>x

t U9 Uo?!. U

¶Znu'tvy Ehhi2nuuwh

t`y

nu~}'z

h}hyh.tvy Eh

uwh}wuh

¹º¨

d>e

hax`iHiqysn|t-unx{y(i2h

e

tvysn|}i¥n|}#u e h

&./07.0}7 B !

W^tvy{'}wnp`y£t-rJhi2nuuwh

{'}x`i2hx{ysh

t-u>t2vnp§vhy(n|y}ut`y`u4n|}

hhn§`h

{'h§vh

sEx

(t-u4u

e

h}t`ihn|y}wu~tvy{u¨E_ x hx\§vh

®{u

e

huhiHzEx

t-r)z

npi2npuwnp§vh}4x-¦

9t

hn|y`u~qsnpuwnp§vhv®£¬

e

np

e

¬>nprr)iHtM^-hau

e

ha¦²x`rrpx\¬>n|ysHhtviHzsrph}4htv}9uwx'qy

h

}wu~tvy

W

Z l{npy£h2u

e

hHx{y`u

x`r@n|}aztv}~}h

n|y}ut`y`ur.¦

x`i t(«Eysn|}

e

npys/}ut-uhi2hy{uuwx.u

e

h9yshsuCx{yshv®gu

e

h2}utvuwhihy{u

C@[email protected]

np}4h±{qn§\t-rphy{u>ux

CBDC=E.FSR.TUIJKBLBMNV

¨

Z µ£x

u e

h}~tvi2h

htv}x`yg®on|y(u

e

h}wu~t-uhi2hy{u

JBWJXYHZT\[8]_^@`abUN)L

J.c'EdFHef_`gO

J@MNHJhWJXYO

u e

h}n{yt-r ef_`g np}!}n|i;qsrput`yshx{q}#¬>nu e u e h 1

w_ikjxoq

~

hyhCxv¦?u

e

h}wnp`y£t-r [8]_^@`ab ¨

Z

d>e

h

h^n|}@ysxCysxvunx{y"x-¦£z

e

s}npt-rvunpi2h¤npy}n

h¤tC}wsy

e

x`yx`q})z

x`

tvi.®qu

t-u e h

tvyax

h

hr|t-uwnpx`y£}

e

n|z

£huN¬¤hhy'h§vhy`u~}¶Z}npiqsru~tvyshnuNtvy

z

hh

hyhX¹º¨

d>e

h"z

e

o}n|t-rJuwn|i2h"np}#u

e

q£}>tvyhsuwh

ytvrJ}np`ytvrZ®srpn^vh

tvy{ xvu e h

hsuwh

y£t-r4}wnp`ytvrZ¨ *}Ht

h}~qsrpu®¤x`ysh/t`y ¬ nuhhnu

e h

CBlLhXF\agm8].^\DnJBMoR.T\[babg x

C@lLXF\agm8]_^pDnJBMQGHIhb)qfB^r

¨

s

ÏtÓuwvxu"ywz|{~}¤Ú´ÜRÑ~ÜZÓó>ÓÖÜà)Ñ»ÕÜZÚÞÐºÔ6ÜtÓ{4*ÐÛÛwïÔTÓÖXÛÓ^Ð»Þ£ÜtXÓÚZÕ×áºÖ\Ñ»ð)}â

(8)

Z xy(u

e

h}wu~t-uhi2hy{u

X)JBJBM)Fpm FnJBM

BLdc8JhFnExM

JBMNXJBJBM)FO

X)JBJBM)FQFnJBM

BLdc8JhFnExMUJ@J

JBMNXJBJBM)FO

htv

e

x`iHz£x{yshy{u@x-¦su

e

h#zt

t-rprphrvx`y}u

qu@tvy

htvugn|y

hz£hy

hy`ur"ux!npu}?}wnp`ytvr-¨ *}?t!x`y}h±oqshyh`®

u e hz

xv

t`i

htvu~}4hnpu e h

uwx

m

tvrx{yshv®

t-rpx`ysh`®sx

m

t`y

t-u>u

e

h}t`ihaunpi2hv¨

d>e

h}wh>}~i2tvrr£htviHzsrph}}

e

x\¬ u e tvuu

e

h!}sy

e

x`y{

e

ozExvu

e

h}n|}rht

}^uwxa§vh

;y£t-uq

tvr£x

h`®-u

e

q}¤t-rprx\¬>n|ys

u e h h}wnp`ysh

uwx

4E#) ( /X S/0#6( ¤

x\§{n

n|ys u e h h}n{ysh

¬>nu e n

ht-rCuwhi2zEx

t-rz

npi2npuwnp§vh}'

ht-ur

h

qh}4u

e

hyoqi;Eh

xv¦z

xv

t`iHin|ys2h

~

x }¨

d>e

h

tX¬!£tv^Hn|}4u

e

tvu®x{yhx`iHzsnprh

®su

e

h"hshquwnpx`y.uwn|i2h

x-¦u

e

h;z

xv

t`i®Ei;q}u*iHt-u~

e u e

huhiHzEx

t-r}~z£hn«Etvuwnpx`y}¨ >>qsu!x-¦^x`q

}wh"u

e

h;}~tvi2h;z

x`rhi t n|}wh}>¬>nu

e

tvy.tv}sy

e

x`ysx{q}#z

x`

tviHi2npyr|tvys{qt-`hCrpn^-h 68(¨

µnpy£t-rpr`®nu>n|}>n|iHz£x

u~tvy{u4uwx'ysx`uwh"u

e

t-u>u

e

h}wsy

e

x`yx`q}4tvz£z

x{tv ee

tv}!Ehhy.§Xtvrn

tvuwh

u e

x{qs

e

}h§vh

tvr

ht-r¯Rrn¦²h!z

x-hu}¨Vxy

hh

®`t`yHnpy

q}wu

n|t-r£§vh

}nx{yxv¦ !82hsnp}u}9W@npu^n|}^u

e

hl

l % uwxoxvr

h§`hrpx`zEh

{g9'$^¨ xNu"n|};q£}wh

{

#

5+,&' h5=g%5³¦²x

u e

h(x{y{u

xvr¯Rx`iHiHtvy

}wxv¦²uN¬#t

hHx-¦4u

e

h(yoqrpht

zsr|tvy{u}®g{ 6 89:.()g(!/¦²x

u e

h£n

e

uCx{y{u

xvr}ws}uwhiH}Cx-¦1u

e h 6+! 6! 6®6t`}*¬#hrprtv}` !w'x`u

e h

x{iHztvysnph}*npyPu

e

hu

tvy}~z£x

u!t`y

x`y{u

xvr¯Rx`iHiHtvy

n|y

q}u

v¨ Cyn|y

q}u

nptvr§`h

}wnpx`y/xv¦<"'n|}*tvrp}x

}uq

nph

{#";('x(" 6%$@()g%9'&¨

<>='& ( G7J!FrXG*)toFG s5q vrHs+)-,@ONPJ

_ t`y`

htvun§`h}ws}uwhiH}

e

tX§`hux £h

np}u

np£qsuwh

x{y }wh§vh

t-r>x`iHzqsunpys³rpxstvuwnpx`y}®^¦²x

§Xt

npx`q£}

htv}x`y}9W

zEh

¦²x

i2t`yh>n|y

htv}hv®-rpxst-unx{y2x-¦)}why}x

}tvy

tvuqtvuwx

}®-¦´t`qsru1uwxvrph

tvy£hv¨

d>e

n|}^n|}u

e

ht`}wh4x-¦gu

e h

$Cj

x{y{u

xvrg}ws}uwhi®

h§`hrpx`zEh

t-u

#

5+,&'h=5g%5¦²x

yoqrpht

zsrpt`y{u}¨

h

4e

h hu

e

tvu

np}u

n|qsuwnpx`y

e

t`}4uwx9£h"}~z£hn«£h

{'u

e

ha}s}wuhi

h}n{ysh

¨ d>e

h

hhsnp}u>tz

npx

n

u

e£

hh¬4tXs}#uwx'tv

e

nh§vha}q

e t

n|}wu

n|qsunx{y W

`¨/.

Á gf+])]c10P ½ f s\ s ½ )¾ ½ ¡32 f+]½ ¡ ½Á54 Á @X¡ ½ f? Á 0EX

®snZ¨hv¨p®sn|y

hzEhy

hy{uwrp¦

x{i nu~}>x{y`uhsu®

tvy

iHtM^`n|ysªu

e

hix`iHiqysn|t-uhv¨

d>e

n|}Hx`qr

Eh.u

e

h/n

htvr#}xvr|qsuwnpx`y £htvq£}wh.nuH}hhiH}uwx £h.u e h

htv}nph}u1x`yhv¨76Cyo¦²x

u~qytvuwhrpv®

¨0_ t98Jh;:<|}

e

t`}4}

e

x\¬!y'u

e

tvu®sn|y'vhysh

t-rT®sx{i2znrpnpy}hzt

tvuwhrp9zsnphh}#x-¦

z x`

tviH}gn|y{uwxC}h±oqshy{uwn|t-r

huh

in|ysn|}wunp¤z

xv

tviH}gn|}?npy£x

~

hu

Q

RT¨ik*x\¬#h§`h

® ¨

tXsi2x`y

z

x{z£x{}wh}

npy Q 1

R>}x`i2h'

nuh

npt.¦²x

huwh

i2n|ysnpyP¬

e

hu e h x

ysxvu;t zsnhh'xv¦! z

x`

tvinp}}whzt

t-uhrp

x`iHzsnpr|tvsrphv¨# !r|}wxE®2<"Pvnp§vh}

nuh

npt¦²x

x{iHzsnrpn|ysPi2x

qsrh};}hzt

tvuwhr ¶·tv}~t

h¸/i2x

hX¹»¨

yPu

e

h9xvu e h

ae

tvy

®}hzt

tvuwhHx`iHzsnprpnpys.n|y`uxysx`y }wh±oqshy{uwn|t-rz

xv

t`iH}*n|}"t-rp¬#tXs}*¦²ht`}wn|srph!Wu

e

n|}anp}

u e h #

3:&=" ?> }xvr|qsunx{yz

h}hy{uh

npy

Q

(RR¨

@

ÏtÓ"ÚZÜTÑ~ÜTÓó>ÓÖÜBADCDEGF;E*Hz } zJIKE*H#LMEONGF;EQP;ÜZÓÚZÜZÚ*ÜtXÓ"ÒXÔZÓwÚZÓÖXÛÓ"Ð»ÞÜtXÓ"ÚZÕ×áºÖ\Ñ»ð};Ñ»ÖXÿ tXÑ»Ú!ÜtXÓÚRÑ»ó>ÓCÚTÓó!Ñ»ÖÜTÕ×ÛÚ*Ñ»Ú>ÜtXÓ

ÚZÜTÑ~ÜZÓwó>ÓÖÜySRUT zJIKE*H#L#EONGF;E#Pâ

(9)

¨

)Á

? ))¾ ¡ Á

gfi])]c 0. /

Á

\¡

½

f?

Á

0EX

npy{uwx;x`ysh*}h±oqshy{uwn|t-r£z

xv

t`i ¦²x

ht`

e

rxstvuwnpx`yg®{}wx;u

e

tvu

htv e z

xv

t`i i2tX.x{i2iqysn|tvuwha¬>nu e u e

h;xvu e h

}¨

d>e

np}>n|}>u

e

h·t`}wu

t`u4

tvz

e

i2hu e x

¸9q}h

¦²x

#

%$!&(!Hz

xv

tviH}

Q

RR¨

£¨/.

Á

gf+])]c10 2 ½ Á

@\¡

½

f?

Á

0EX ]c6

Á

ª]c10 )

½/Á

½

¡- f@

Á

0£\

®tvy

u e

hy

np}u

n|qsuwn|ys9u

e

np}

hy{u

tvrnh

z

xv

t`i ux\¬#t

}at`}iHt`y`Pz

x`

tviH}Ct`}rxstvuwnpx`y}®)}x.u

e

t-uahtv

e

rpxstvuwnpx`yPx{ysrp

e

tv}ux

z£h

¦²x

i npu}2x\¬!y x`iHzqsu~t-uwnpx`y£}

Q

RR¨ >>tv}h

qzEx`y u e

hx`iHi2x`y ¦²x

iHt-u

®?u

e

n|}9i2hu e x

t`y Eh

tvzzsrpnph

uwx'tvy{'}sy

e

x`ysx{q}#rpt`ys`qtvvh`¨

d>e

hrpt`}wu4uN¬#x2i2hu e x

}4t

hax`iHzsrphi2hy`u~t

TW@u e h

np}u

n|qsuwnpx`yx-¦}wx{q

hCz

x`

tviH}¤tX§`xvn

}¤u

e

h"z

x`srphi

x-¦x

h*}nh*hzsrpx`}npx`yg®`¬

e

nrph*u e h

np}u

np£qsuwnpx`y9xv¦gx`ohu¤z

x`

tviH}x986h

}^u

e

hCt

§\tvy{utvvh>x-¦)x{zsuwn|i2nnpy;u e h

hy{u

t-rpnh

x`iHzsnprph

tvy

hqs`vn|ysHu

e

hhy{u

t-rpnh

x`ohu!z

xv

t`i7Eh¦²x

h

np}u

np£qsuwn|ysHnu¨

<>= ( G7J!FrXG*)toFG s5q N @ FHns

d>e

h9t-rpvx

npu

e

i:¬¤h9z

h}hy{unpyªu

e

n|}"zt`z£h

np}"t`}wh

x{y u e

hHx`ohu"x

h

n|}wu

n|qsunx{yªi2hu e x

x`qsurn|ysh

n|y

µn{q

h2`¨

zt

t-rprhr6x`ohu!z

xv

t`i }h±oqshy{uwn|t-rgx`shu>z

xv

t`i }wsy

e

x`yx`q}#zt

t-rprphr)z

xv

t`i

x`iHzsnprh

zt

t-rprhrnh

µn{q

hHMW

t

tvrrphrpnt-unx{y'}~

e

hi2h

rpht

rpv®vu

e

n|}¤t`zz

x`tv eH

t-n|}wh}^u

e

h!¦²x`rrpx\¬>npy;±oqsh}uwnpx`y W?¬

e

2yxvu1u~t!^vh*t

§\t`y`u~t-`h!x-¦)u

e

hCzt

tvrrphrJtv}~z£hu~}

x-¦>u

e

h(n|ysnpuwn|t-r¤z

x`

tviH}auwx

n

huwrp }sy`u

e

h}nh(x`iHi;qynpt-uwn|ys/«Eynuh(u

tvy£}wnpuwnpx`y³}s}wuhiH} © h(¬>nprpr¤ysx`u

n|}q}~}4u

e

n|}>n|y(¦´qrr

hutvnr|}!t`y

wq£}wu>rpnp}u!}x`i2h

htv}x`y}#u

e

t-uwq}uwn¦²(u

e

hz

x`zEx`}h

tvzz

x`t`

e W

Z t

t-rprhrn|}i=npy"u

e

h4}wsy

e

x`yx`q}gr|tvy`qtvvh}t-n|i2}@t-u?tvyaht`}wnph

tvy

ix

qrpt

h}

n|zsuwnpx`yaxv¦u

e

h#}ws}uwhi®

tvy

iHtX(ysxvu>iHt-u~

e u e

h"n|y{uwhy

h

n|i2zrhihy{ut-unx{y/zt

t-rprhrn|}~i¨

Z

x`iHzsnprn|ys;u

e

haz

x`

tvi npy{ux2t}wn|ysvrphu

tvy}nunx{y'}o}uwhi iHtXHEhaq}wh¦´qsrT®snpytvy{9tv}hv®{¦²x

hqs`vn|ys

tvy

§vh

n«Etvuwnpx`yzq

z£x{}wh}

Q

-j®)v,RT¨

Z l{sy

e

x`ysx{q}4zt

t-rprhrn|}~i n|}!ysxvu*¬¤hrr¯REh

e

tX§vh

¦²x

}whzt

t-uhax`iHzsnprn|ys'iHt-uuwh

}¨

d>e

q}®£n¦^x`iHiqysn¯

t-unpy

huwh

i2npynp}uwn|*u

t`y}nunx{y'}ws}uwhi2}#t

h

h}wn

h

®ou

e

hn

n

hu4}oy{u

e

h}np}#iHtX9ysxvu4£hht`}wnph

u e

t`y

u e hz

x`zEx`}h

i2hu e x ¨

(10)

-

q

tvr`x

nu

e

i¶

h}~

n|£h

npy2l{huwnpx`y"{¹J«

}u

q£zsrn|tvuwh}u

e

h1hy{u

t-rpnh

z

xv

tvi=uwx*iHt!^vh^x`yh1x{z`

¦²x

ht`

e

rxst-uwnpx`y)¨xNuu

e

hy

hi2x\§vh}>npy ht`

e

x`z{.u

e

h2n|y}wu

q£uwnpx`y£}Cysx`u

hrph§\tvy{uCuwx(u

e

hq

~

hy`uCrxst-uwnpx`y)®

tvx

n|ys'ux(u e h

np}u

np£qsuwnpx`yP}~zEhn«Et-uwnpx`y£}Cz

x\§on

h

{/u

e

hHq}h

¨ 4uu

e

n|}az£x`npy{u®Ju

e

hHz

x`

tvi,x-¦^htv

e

rpxot-unx{y"i2tM^-h}

h¦²h

hy£h})uwx*§\t

n|tvsrph}u

e

tvu@t

h^x`iHzqsuh

tvu@t

n|}utvy{u@rxstvuwnpx`yg¨

q

tvr`x

nu

e

i=u

e

hyt

}

x{iHi;qysn|tvuwnpx`ynpy£}wu

quwnpx`y}4ux9ht`

e z

xv

t`i¥uwx9}wx`r§`hau

e

h}wh

tvut

hz£hy

hy£nph}a¶´rpn^-h"n|y

Q

s®£R²¹º¨µnpytvrrpv®

}x`i2h"z

x{srphiH}4rn^-h"z

xv

t`i

h}wsy

e£

x{ysnt-unx{y'tvy

h

qy

tvy{u>i2h}~}tvvhahrpnpi2n|yt-unx{yt

h"t

h}~}wh

¨

<>= B+v}@CrAsOI5@OrIoG@

l{huwnpx`y.

h}~

npEh}#u

e h

¦²x

iHtvu®ou e h

n|}u

npquwnpx`y(}~zEhn«Et-uwnpx`y£}®stvy

(

n|}q}~}wh}¤u

e

ha

e

x`}hyx`iHiqysn¯

tvuwnpx`yHz

npi2npuwnp§vh}¨^l{huwnpx`y9"z

h}hy{u~}npy2¦´qsrpr

hutvnr|}^u e h

n|}u

npquwnpx`yHt-rpvx

npu

e

i.¨ }iHtvrrEhtviHzsrph>np}1q}wh

uwxnrpr|q}wu

tvuwh!htv

e

}uwhz}¨ *rp}x£®`¦²x

htv

e

}uwhzg®ou

e

hCuwn|i2hCtvy

i2hi2x

2x`iHzsrphsnpuN2t

h*x`iHzqsuh

¨1l{hunx{y9j

x`quwrpnpysh}1u

e

hCx

~

hu~ysh}~}^z

xox-¦gx-¦)u e h

n|}u

npquwnpx`y'tvr`x

nu

e

i.¨µnpy£t-rpr`®lohunx{y

x`yrpq

h}1t`y

l{hunx{y

1

} e

x\¬!}4}wx{ih"zEx`}~}wn|srpha¦´qsuq

h

h}ht

e ¨

<7/ !

>4h¦²x

h

h}

n|sn|ys u e h n|}u

npquwnpx`yt-rpvx

npu

e

i®4¬#h z h}hy{u'u

e h

¦²x

iHt-u®>u

e

hP¬4tX ¦²x

}~z£hn¦²onpys t

n|}wu

n|qsunx{yg®£t`y

u e

hx{iHi;qysn|tvuwnpx`y.z

npi2npuwnp§vh}4¬#h"q}hv¨

lu=< mno@ s>rXN BiF

7x`iHzsnprpnpys/i2hu e x

ux\¬#t

}!«Eysnpuwh9}ut-uh2t`qsuwx{iHt-ut

e

tv}C«

}uCEhhyªn|y`u

x

q£h

¦²x

®tvy

u e

hy

t tvzsuh

uwx~'"tvy

67+$:9'-¨

>>tv}npt-rpr`®@u

e

h(n

htnp}uwxªutM^-h(t

§\tvy{utvvh9x-¦!u

e

h(r|tvy`qtvvh

huwh

i2npynp}~i.¨ xNutvrrpx\¬!}"u

e

hqnr

n|ys£®^tvu

x{iHzsnrph¯Ruwn|i2hv®gxv¦1u

e

h2u

hhx-¦1u

e

hHz

x`

tvi £h

e

tX§onx

}¨

d>e

np}u

hhn|}npy

hh

npys«Eysnpuwhv®)£qsuanuat`y Eh;¦²x`r

h

n|y`uxªt/«Jysnuh.t`qsuwx{iHt-uwx{y ¬ e x`}hEh

e

tX§{npx

np}h±oqsnp§\t-rphy{u;ux u e hEh

e

tX§onpx

xv¦!u

e

h.z

xv

tvi.¨

d>e

n|}2x`y{u

x`r

tvquwx`iHtvuwx`yn|}>tv}~}wxsn|t-uh

¬>nu

e

t;«Jysnuhi2hi2x

9¦²x

zEh

¦²x

i2npy2x{z£h

tvuwnpx`y}#x\§`h

npys«Eysnpuwh"uNsz£h}¨

d>e

h>}~qh}~}x-¦Eu

e

n|}^i2hu e x

n|}`qt

t`y{uwhh

®X«

}wu{u

e

h>rpt`ys`q£t-vh

huh

i2npysn|}~i®{tvy

}hx{y

`;u

e

h!}ut-¯

uwn|¤§vh

n«Etvuwnpx`y}@z£h

¦²x

i2h

£h¦²x

h e

t`y

¨µn|yt-rprpv®\u

e

h¤r|tvys{qt-`h^}wsy

e£

x{ysnp}~i ht-ur

h

q£h}u

e

h#hzsrpx`}npx`y

x-¦u

e

hy{q£i;Eh

x-¦}wu~t-uh}¨

d>e

h£hysh«Eu}!t

hMW

Z xy(`hysh

tvrZ®su

e

htvqsux`iHt-ux`y(x`su~t-n|ysh

n|}>in|ysn|iHt-rT¨

Z

d>e

hah±oqsnp§Xtvrhy{u!z

x`

tvi7n|}!zq

hrp(}h±oqshy{unptvrZ¨

Z

d>e

h"}wsy

e

x`y{

e

sz£x`u

e

h}wn|}>t`yEh"ht`}wnprp(

e

h^vh

¨

Z l{h§`h

t-rouwxoxvr|}^tvyH£hCtvzzsrpnph

uwx"u e h

h}~qsrunpytvqsux`iHt-ux`yg®\¦²x

n|y}wu~tvyh!x

h>`hysh

tvuwx

}®-tvqsux`iHt-ux`y

in|ysn|i2nh

}®\¦²x

iHtvr{§`h

nß«Jt-unx{yux{x`rp}®-§on|}qtvrnn|ysauwxox`rp}®-n|y`uh

¦´tvh#`hysh

tvuwx

}@tvy

x

h

n|}u

npquwx

}¨

d>e

h't`qsuwx{i2tvuwx{yP¦²x

iHt-uq£}wh

npy x{iHzsnrpn|ys £®2 !" t`y

6 8$'9:2n|}"u

e h

¦²x

iHtvu¨ Cy

z

xv

tvi np}!t9«Eysnpuwh

huwh

i2n|ysn|}wunpt`qsuwx{iHt-uwx{y.¬>nu

e

tH«Eysnpuwh;i2hix

¦²x

z£h

¦²x

i2n|ys9x`zEh

t-unx{y}>x\§vh

n|yo«Eysnpuwh'uNszEh}¨P>4t`}wn|tvrrpv®?tz

xv

tvi np}tPrn|}wu;x-¦>}wu~t-uwh}®?ht`

e

x`y{u~t-n|ysnpyP}wx{ih'z£q

hr }wh±oqshy{uwn|t-r¤x

hv®

hz

h}hy{uwh

{tU";($ ¶Cn

huh

*srpnp

tvz e Q

,R´¹»¨%" ($ t`uwnpx`y£}>t

hxv¦@uN¬#x^`n|y

}9W

(11)

Z

x`y{u

xvrgtvuwnpx`y}9W

sn|yt

huwh

i2n|ysn|}wunp"

tvy£

e

npy`}9W E

¶´hsz

h}}nx{y(uh}uwn|yso¹>tvy

X)JBJBM)F ¶Z}n{yt-rz

h}whyhauwh}¯

uwn|yss¹»®

}ut-uh

e

tvyvh!W LhF)L ¨

Z l{h±oqshy`unptvr)tvuwnpx`y}9W

tv}~}n{yi2hy{u}4ux2n|y{uwh

ytvrg§\t

npt`srh}W J ®

}n{yt-rghin|}~}wnpx`y}9W

L F )FG

®

hsuh

yt-r)z

xsh

q

hat-rprp}9W

LL

Y

¨

_Px

hx\§vh

®t`y

z

x`

tvi np}t*z

xsh

q

h1¬

e

n|

e

hshquwh}®\ht`

e

unpi2h#nun|}?t-rprh

® T

u

tvy}npuwnpx`yxv¦£u e h

tvquwx`iHtvuwx`y)¨ Cy.npy{uwh

¦´t`hnp}4n|y/

e t

vhCx-¦utM^`n|ys¦

x{i u e h"hy{§on

x`yi2hy`u#u

e

h"npyz£qsu}4¦²x

u e

hz

xv

t`i.®{t`y

tvrrpn|ysu

e h

tvquwx`iHtvuwx`yªz

xoh

q

h`¨}xy u e

np}ahshquwnpx`y }~

e

hih`®gnpy£zqsu}"t

hHqz

t-uh

{u

e

h9z

xv

t`i

n|y`uh

¦´tvh¬

e

nrph"x`qsu~zqsu~}!t

hChi2nuuwh

{'u

e

hz

xv

t`i npu}hr¦¨

lu=)l zv}@VD G1LoG q B G JMFrXG )-t3FHGsuq

d>e

h np}u

np£qsuwnpx`y"}~z£hn«Etvuwnpx`y}@i;q}u

h}~qsrpu)npyau

e

h^rpxst-rpnt-unx{yx-¦sht`

e

tvunx{yx`y"t>rpxst-unx{yg¨

¦x{q

}whu

e

np}

rpxot-rpnt-unx{yiq}wuEh!qysn|±oqsh!tvy

qy£tvi;n{qsx`q}¨OkCx\¬¤h§vh

®\u

e

h!z

x`srphi xv¦6t`

e

nph§onpyCu

e

h!£h}wurpxstvrntvuwnpx`y

¬>nprryxvu>£ht

h}~}wh

n|y.u

e

n|}!zt`z£h

¨

4u(u

e

hª}x`q

h z xv

tvi rh§vhrZ®>¬#hªiHtX tv}~}wnp`y ¦²x

n|y}wu~tvyhªt³rpxstvuwnpx`y uwx ht`

e

npyz£qsu.t`y

x{qsuzqu

§\t

npt`srph;x-¦¤u

e

hHiHt-n|y z xsh

q

h`¨ >#Pz

x{zt-{t-uwnpx`y)®Etrxstvuwnpx`yPtvy ue

hy EhHt`}}np`ysh

uwx.htv

e

§Xt

n|tvrhx-¦

u e hz

x`

tvi.¨

4u4u

e h

rph§vhrZ®s¬#h"t`y

n

hur.tv}~}wnp`ytHqysn|±{qh"rxstvuwnpx`yuwxHht`

e

§\t

n|tvsrphax-¦?u

e

hz

xv

t`i.¨

lu='& nszsuJ G7q DTs5NPN tqG DTBiFHGsuq vr'GNPGFHGIu@OJ

µnpy£t-rpr`®)}wx{ih¦²x

i:x-¦#x`iHiqysn|t-unx{y t`y

}sy

e

x`ysntvuwnpx`yi2h

e

t`ysn|}i

hiHt-n|y}uwx/EhH

e

x`}hyg¨l e t h

§\t

npt`srph}

x'ysx`u!t-rprx\¬ }wsy

e£

x{ysnt-unx{yEhuN¬#hhy.z£t

t-rprhr)z

xsh}~}wh}®qyrh}}!}x`i2hx`iHzsrphi2h

e

tvysn|}i np}

qsnprpu*x`y/ux`z/xv¦u

e

hi.¨3_Px

hx\§vh

®su

e

hiHt!^vha¦²x

i2tvr§`h

nß«Et-unx{y

e t h ¨ d>e

hxvu e h

}wx`rpqsunx{y.np}i2h}~}tvvh

zt`}}npy£¨+_Ph}~}~t-vhazt`}}npyn|y

np}u

n|qsuwh

}ws}uwhiH}>tvy/£h}sy

e

x`ysx{q}¤x

tv}sy

e

x`ysx{q}

Q

XRW

Z *}oy£

e

x{ysx`q£}*i2h}~}tvvh;z£tv}~}wn|ysyh§vh

rxs^o}u

e

hH}why

h ¨ d>e

n|}

h±{qn

h}tvyªqyo£x{qy

h

q86h

~)n|y

z

t`unphv®tPEx`qy

h

£q8Jh

n|};q£}wh

tvy

u e

h.}why

h

¬>nprr4srpxo^ª¬

e

hy³u

e

h/q86h

n|}¦´qsrprT¨ >4htvq}h

u e h}hy

h

ysh§vh

>e

tv}>ux9¬#tvnu®£t

e

np

e h

h

hhax-¦zt

t-rprhrn|}~i t`y.Ehtv

e

nh§vh

¨>_Px

hx\§`h

®{}hy

npy

}wu~t-uwhi2hy{u}Ht`y Ehi2x\§vh

tv^{¬4t

¬ e

nprh

hhnp§{n|ys }wu~t-uhi2hy{u}9tvy £hPi2x\§vh

¦²x

¬4t

®¬

e

n|

e

in|ysn|i2nh}4u

e

h"¬#tvnunpysHunpi2h"n|y

qh

{(u

e

hx`iHiqysn|t-unx{yyhuN¬#x

^E¨

Z l{sy

e

x`ysx{q}"i2h}~}tvvh9ztv}~}npysPq£}wh}ysxPq86h

®}wxPExvu

e

}why

h

}t`y

hhn§`h

}"tvy srpxs^J¨ xy u e np}

}why}whnpu#rpht

}#uwxHq}hrph}~}¤¬4t-npuwn|ys2uwn|i2h}>tvy

h

qh}4zt

tvrrphrpnp}~i.¨

d>e

h hy

h §vx`q£}¤q}h

{(r|tv}~}wn|tvr

ht-r¯Tunpi2hrpt`ys`qtvvh}C¶68(^®7585(a®tvy

}xHx`yE¹¤t

h"t¦²x

i x-¦}oy£

e

x{ysx`q£}#i2h}}~t-`hzt`}}n|ys£¨

(12)

e

xox`}h#t`}wsy

e

x`yx`q}?i2h}~}tvvh4ztv}~}wn|ysan|yu

e

h4¦²x

i xv¦JuN¬#xaµixNµ

±oqshqsh}?¦²x

ht`

e

ztvn

xv¦Jrpxst-unx{y}®

x`yh.n|y ht`

e n

hunx{yg¨

d>e

np}Hn|}'±oqsnpuwh

e

htvz npy uwh

iH}Hxv¦Chshqsunx{y hy`§on

e

huN¬#x

¦²xvrprpx\¬>npys9x`iHi;qynpt-uwnpx`ytvuwnpx`y}9W

Z t(}hy

n|ys.tvunx{y W )F N)J_F+EdMChF8E_LBM W)C )J ¬ e h h N)J_F8ExMChF8E@L@M n|}Cu

e

h2rxst-uwnpx`yPuwx\¬4t

}>¬

e

n|

e

u e h}hy

npysHn|}

x`yh!~ )F }#t

haysx{y.rxs^{npyX~

Z tvy

t

hhnp§{n|ys/tvuwnpx`y W W)CX+E@CBlJ )JhFDBL )X=KBJ ¬ e h h BL )X=KBJ np}au

e

hHrxstvuwnpx`yP¦

x{i:¬

e

np e u e h

hhnp§onpy2t`uwnpx`yn|}

x`yh!~

JhF }4t

h"srpxs^`n|ysH¬

e

hy(u

e

h±oqshqsh"n|}4hiHzsuN`¨

u e h

i2x

h

h±oqsn

h!u

e

tvu1u

e

hCyshuN¬¤x

^2z

h}h

§vh>u

e

h*x

h

n|ys;t`y

u e

h*n|y{uwh

npuN2x-¦i2h}~}tvvh}¨

d>e

np}

¬>nprrhy£}q

h;u

e

t-ua§\t-r|qsh}Ct

h2ysxvuai2nßsh

qzg®)z

x\§on

h u e

t-ua}why

n|ys/tvunx{y}t

h;n|y}wh

uh

x`yx{yshrpxstvuwnpx`y

n|yPu

e

h2}~tvi2h;x

h

t`}*u

e

hHx

~

h}~z£x{y

n|ys

hhn§on|ys(t`uwnpx`y£}*n|yPu

e

hx`u e h

rpxstvuwnpx`yg¨µ£x

n|y}utvy£hv®gt`}}~qi2h

u e

t-u!rpxst-unx{y w9}why

}C}qh}}n§`hrp'§\t-r|qsh}*j(tvy

uwx'rpxst-unx{y v®Et`y

u e

t-u!rpxst-unx{y i;q}u*t`}}n{y.§Xtvrpqh

j.uwx.§Xt

n|tvrh Ptvy

§Xtvrpqh

uwx/§\t

npt`srph

Y ¨ y rpxstvuwnpx`y w¬¤h

e

tX§`h;u

e

hHt`unx{y

F.R

¦²xvrprpx\¬¤h

rptvuwh

{ )FdR G ¨Oxy}h

uwn|ysHu

e

ht`unx{y} JhF T tvy

Y )JhFT n|y.u

e

tvu>x

h

x{y(rpxst-unx{y "¬>nprpr)hy}~q

h

u e t-u>u

e

h"§Xtvrpqh}>t

hau

tvy}~i2nuuwh

x

~

huwrpv¨

0/ P) ;2»0

xyhtv

e

}wu~t-uh#xv¦Eu

e

h>tvqsux`iHt-ux`yg®-u

e

h>x

h4n|}zq

hrp}wh±{qhy{uwn|t-rT¨µEx

}npiHzsrpnpnuN`®-x`q

np}u

np£qsuwnpx`y2t-rpvx

npu e i

¬>nprr)x{z£h

tvuwh"t-u4u

e

h}wu~t-uhrph§`hrT¨ExNu!x{y}wn|}u}4x-¦@«£§vh"}uwhz}>¬

e

n|

e

¬#hz

h}hy{u4}qh}}n§`hrpTW

`¨

hzsrn|tvuwnpx`ytvy

rpxot-rpnt-unx{yg®

¨>npy}h

uwnpx`yx-¦}why

n|ys9}wu~t-uhi2hy{u}¶)F }º¹»®

£¨>npy}h

uwnpx`yx-¦

hhn§on|ys9}wu~t-uwhi2hy{u}a¶)JhF }º¹»®

jE¨!}wsy

e

x`ynt-uwnpx`y'x-¦

np}u

n|qsuwh

z

x`

tviH}®

¨>hrpnpi2n|yt-unx{y(xv¦

h

q£y

tvy{u4hi2n|}}npx`y}¨

& =< sEFBVFHG s5qJ

xy.u

e

h}h±oqshrZ®s¬#h"x{y}wn

h u e

ha¦²x`rrpx\¬>npy2z

h

npt-uwh}W

Z *y/tvuwnpx`y

1 U

ux9trpxstvuwnpx`ynß¦u

e

n|}>rpxst-unx{yiq}u!x`iHzquwh"u

e

np}!t`unx{yg¨

Z §\t

npt`srh

U

ux(tHrxst-uwnpx`y.n¦u

e

n|}!rpxst-unx{y.rxstvrrpx`iHzqsuh}>u

e

n|}!§\t

npt`srphv¨ %#±oqsn§\tvrhy`ur`®¬#h

}tX9u

e

t-u>u

e

h"rxst-uwnpx`y 4EX

u e ha§\t

npt`srphv¨

Z rpxstvuwnpx`y . (

t2§Xt

n|tvrhnß¦u

e

np}4rpxstvuwnpx`y.i;q}u!x{i2z£qsuwht`yt`uwnpx`yu

e

t-u!q}h}4u

e

np}!§Xt

n|tvrh2¶Zt`}!t

np

e

u¯

e

t`y

§\t-r|qshax-¦tvy.tv}~}n{yi2hy{u4x

n|yt9

tvy£

e

npyo¹»¨

(13)

9w

& =)l 3B+N v-,@

t-uwh;u

e

h;tvr`x

nu

e i }uwhz}C¬>nu e ue

h;¦²xvrprx\¬>n|ys

z

xv

tvi.®s¦²x

¬ e

n|

e

¬#hx`ysrp.vnp§vh"u

e

hx

h;x-¦

}ut-uh}wHW

}utvuwh%w

E FnJBM

Y O

L )F )F wY!O

JBJ

F)X JO

Y

O

L )F )F wY!O

JBMN+E

LhFL RO

d>e

n|}>z

xv

tvi¥¬>nprpr)£h

n|}u

npquwh

x{y`uxHuN¬¤xHrpxot-unx{y}®t`x

npyux2u

e

ha¦²xvrprpx\¬>npys9}~z£hn«Etvuwnpx`y}9W

rpxot-unx{y w rpxstvuwnpx`yª

Y

& ='& ?A@Cv/,7G DTBiFHGs5q BEq , s DTB ,7G BiFHGs5q

d>e

h z

x{srphi np}(uwx t`}}n{yt³rpxot-unx{y uwx htv

e

tvuwnpx`y xv¦au

e

hªz

x`

tvi.¨ >4t`}wh

qz£x{yu e h

n|}wu

n|qsunx{y

}~z£hn«Etvuwnpx`y}®t qysn|±oqsh(rpxstvuwnpx`y tvy Eht`}}n{ysh

ux htv

e

§\t

npt`srph'x-¦!u

e

h.z

x`

tvi.¨

d>e

h(rpxstvrntvuwnpx`y

t-rpvx

npu

e i x`y£}wn|}wu~}4u

e

hyg®s¦²x

htv

e

tvuwnpx`yg®sn|y/qsnpr

npys9u

e

h"rpnp}u>x-¦?rxstvuwnpx`y}4u

e

t-u

e

tX§vhuwx'x{iHzqsuwh"npuW

Z t2x`y{u

xvrgt`uwnpx`yª¶

E ®

X)JBJBM)F x

LhF)L

¹W@htv

e

rxstvuwnpx`yg®

Z t§\t

n|tvsrphatv}~}wnp`yi2hy`u9Wu

e

h"rpxst-unx{y(u

e

t-u>x\¬!y£}4u

e

ht`}}n{ysh

§\t

npt`srh`®

Z t2}np`ytvrJhi2np}~}wnpx`yCWu

e

h"rpxst-unx{y}~zEhn«£h

{'u e h

n|}wu

n|qsunx{yg¨

*}atx`y£}wh±{qhyhv®6u

e

h9x`y{u

xvr@np}

hzsrpnpt-uh

x{yPhtv

e

rpxst-unx{yg®6nZ¨hv¨p®ght`

e

zsnphhxv¦¤z

xv

t`i

h}~qsrpuwn|ys

¦

x`i u e h n|}u

npquwnpx`y ¬>nprr

e

tX§vh9u

e

h(}t`i2hHx`y{u

xvr¤}wu

quq

hv¨µ£x

x`q

htviHzsrphv®?¬¤h

e

tX§`hHu

e

h9¦²x`rrpx\¬>n|ys

hzsrpnpt-unx{y W

rxstvuwnpx`y }ut-uh%w

¶w®pX¹ E FnJBM

¶w{¹ Y O

¶w{¹ L )F FwY!O

¶w®pX¹ J@J

¶wX¹

F)X JO

¶w{¹

Y

O

¶w{¹

L )F FwY!O

¶w®pX¹

JBMN=E

¶w®pX¹

LhF)L R8O

(14)

`

µ£x

htv

e

tvunx{yg®\¬#h

e

tX§vh1n|y

n|tvuwh

u e

h¤rpn|}wux-¦Jrxst-uwnpx`y£}u

e

t-ui;q£}wuzEh

¦²x

inu®-nZ¨hv¨p®-u

e

h4rn|}wuxv¦£rxst-uwnpx`y£}

u e

t-u>x\¬!yu

e

n|}!tvuwnpx`yg¨

& = MqJ @CrFHGs5q s JM@Vq G7q JMFBVF@ON @OquFHJiJ

¦²x

iu e h

)F n|y}h

uwnpx`yH}whzt

t-uhrpx`y2htv

e

}wu~t-uwh>xv¦Ju

e

h*t`qsuwx{i2tvuwx{yg¨Vxy2htv

e

}wu~t-uwh`®v¬#h

e

tX§vh>t ";($

¬ e x{}wh9ysx

h}"t

hu

e

h9tvunx{y}®tvy

¬ e

x{}whHrphtX§vh}Ct

hHu e h

)LhFL }¨

d>e

h't-rpvx

npu

e

i x`y£}wn|}wu~}npy tv}~}xonptvuwn|ys

¬>npu

e

htv

e

rxst-uwnpx`y

®st2}hu

^)JJN xv¦?tvrrgu

e

ha§Xt

n|tvrh}¤u

e

t-u4rpxst-unx{y

¬>nprpr)h

utvnpyr'yshh

®z

x\§on

h u e

tvu

u e hn

§\t-r|qsh

e

tv}>ysx`u!z

h§onx{q}r'Ehhy.}hy{u>{(u

e

hn

x\¬!ysn|ysHrxstvuwnpx`yg¨

d>e

hx`iHzqsu~t-unx{y(xv¦@u e h ^JJN

}hu}

t-rprpx\¬!}1u

e

hanpy}h

uwnpx`y(x-¦ )F }#}wx2u

e

tvu#t`y{9rxstvuwnpx`y(u

e

tvu T

t§\t

npt`srhC¦²x

tvnp§vhy(tvuwnpx`y(¬>nrpr

hhnp§vhnpu

Eh¦²x

hau

e

hx`yh

ysh

tvuwnpx`yg¨

x{z£x{}whu

e

h"uN¬¤x2¦²xvrprpx\¬>npysH}u

t-uwhvnph}9W

Z

d>e

h

4V/H . !

}u

t-uwhv9¬

e h

hahtv

e

§Xt

n|tvrhnp}*}why`u>tvu>u

e

h"§`h

'ix{i2hy{u>¬

e

hyu e h

h}uwn|yt-unx{y

rxstvuwnpx`y.yshh

}4npu¨

d>e

n|}>¬>nprri2n|ysn|inh"u

e

hyoqi;Eh

xv¦i2h}}~t-`h}#h

e

t`ysvh

EhuN¬#hhyuN¬#x2rpxstvuwnpx`y}¨

Z

d>e

h

9A U

}u

t-uh`ª¬

e h

hht`

e

§Xt

n|tvrh'n|}2}why`u*wq}ut\¦²uh

nu~}x`iHzqsu~t-unx{y³x`y³npu}

x\¬!ysnpyPrxst-uwnpx`y)¨

d>e

n|};¬>nprpr#n|y

htv}h'u e h

hrptX £huN¬¤hhy³u

e

h.uwn|ih.¬

e

hy tP§\t-r|qshnp}H}hy{ut`y

u e h

uwn|ih9¬

e

hy nu;np}yhh

h

{ u e h

h}uwn|yt-unx{y rxstvuwnpx`yg®?tvy

u e h

h¦²x

h9}

e x

uwhy u e

h'¬4t-npuwn|ys/uwn|ih9x{y

u e h

h}wunpy£t-uwnpx`yrpxot-unx{y ¶

hihi;Eh

u e

t-u>u

e h JBF n|}!srpxs^{npysH¬

e

hy(u

e

h±oqshqh"np}4hi2zuN¹º¨

i2x

haz

hn|}wh"x{iHzt

np}x`y(x-¦?u

e

h"uN¬#x9}wu

tvuwh`nh}#¬>nrprEh"vnp§vhyn|ylohunx{y£¨

1 ¨

d 2 ½ X ½ 0 ¾

µ£x

htv

e

rpxst-unx{y ®ou

e

hat-rpvx

npu

e

i7x{y}np}u}¤npy(zsrpt`n|yst`y9hiHzsuN'}hu ^)JJN! t-u¤htv

e

rht\¦)x-¦@u

e

h" ($®st`y

u e hy/z

x`ztv`t-unpyu

e

h}h"}whu}!t`^{¬#t

ux9u e h

xoxvu#x-¦u

e h ";($ªnpy.u

e

ha¦²xvrprx\¬>n|ysH¬#tXTW

Z © e

hy

htv

e

n|yst`y(t`uwnpx`y£hrx{ysvn|ysuwxHrxst-uwnpx`y

®on¦¦²x

u e

n|}>tvunx{yg®orxst-uwnpx`y

yshh

}4t;§\t

n|tvsrph

u e

tvu1£hrx{ys`}^uwx;t`ysxvu e h

rpxstvuwnpx`yg®`u

e

hy't

2uwx

^)JJN

¶Tysxvuh!u

e

tvu1

tvy

e

npys{}^t-r|}xyshh

§Xt

n|tvrh}»¹º¨

Z © e

hy

htv

e

n|ys t`yVt`}}n{yi2hy{u

J ®>¦²x

htv

e

rxstvuwnpx`y

}~q

e u e

tvu #"

^JJN

®n|y}wh

u.u e h

}wu~t-uwhi2hy{u

)FD

wq}u!t\¦²uh

u e

np}!t`}}np`yi2hy{u¨

d>e

hy

hix\§`h (¦

x{i ht`

e

x`yh

ysh

}whu

^)JJN!

¨

Z © e

hy

ht`

e

npy't'

tvy

e

n|ys'rx{}q

hv®

qzsrpnpt-uh;u

e

h}hu}

^)JJN!

®Jt`y

z

xohh

n|yhtv e

tvy

e

FnJBM

tvy

JBJ

¨

Z © e

hy

htv

e

npysHtH

tvy

e

n|ys

E x

X)J@JBM)F

®v¦²x

ht`

e

rpxst-unx{y

W

qsnpr

u e

h"n|y`uh

}whunx{y(xv¦}hu~} ^JJN$&%('*)

tvy

^)JJN',+

'

¦

x{i tvy

e

h} FnJBM t`y

JBJ ~

n|y'ht`

e

tvy

e

®`n|y}h

u¤tvy(tvunx{y )F D ¦²x

ht`

e

§\t

npt`srh Hx-¦)u

e

h}hu ^)JJN!.- ¶^JJN $&%('*)

/

^)JJhN ',+

'

¹~1n|y³xvu e h

¬¤x

}®t§\t

n|tvsrph'n|}}hy{u¬

e

hy³u

e

h(ut

`hurpxstvuwnpx`y yshh

};nu2n|y}wuht

x-¦

¬ e

hynpu>n|}>x`iHzquwh

~

z xshh

¬>npu e u e

h"npy{uh

}whuwnpx`y ^)JJhN $&%0'*)

/

^)JJN ',+

'

¨