Specifying and verifying a transformer station in Signal and SignalGTi

(1)

HAL Id: inria-00074157

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

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-

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,

Specifying and verifying a transformer station in Signal and SignalGTi

Hervé Marchand, Eric Rutten, Mazen Samaan

To cite this version:

Hervé Marchand, Eric Rutten, Mazen Samaan. Specifying and verifying a transformer station in Signal and SignalGTi. [Research Report] RR-2521, INRIA. 1995. �inria-00074157�

(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

Specifying and verifying a transformer station in Signal and SignalGTi

,

!"

,

#$"&%'()

N˚ 2521

March 1995

PROGRAMME 2

(3)

(4)

*,- .,#/10243

57698;:=<64>@?8%A%BC?DFEHGIG#J

<

K8%LMA(NOCP%PC6DHGIGIGQJC>R?'S;6DUT!?'V?W?DHGIGXGIG

Y!Z\[#]QZ_^``baWcdfeC^gihkjlgnmMop`qr[#gtsiu#jva#wxlZ\[#]#Zk^``^y\st[z{aIyF]|aIzvs}a'gt[#]QsihkstaIg

Y!ZM[~aIyF_F

W^xlxr[#ZMyWaZ\ah\laIZkhMvazcQ#cvCd^ZkhM##dfxr^]#aXm

*X¡ Q¢=£a'xlZ\aImMaXzy'y\la{m\x¡ahks¥¤¦hI^y\st[#z7^z¡§#aIZ\s¨¤;hI^y\s}[Qz[©y\la{^jvyM[#`^y\sªhFhkstZ_hkjvs}y¬«qvZMa^®stzl]

qraI¡^§pst[#ZF[©^zaIgtahky\ZMsihxr[#¯%aIZ'yMZk^zlm¬©°[#Z\`baIZFmMyk^yMst[QzjlmMstzl]yMlamMopz¡h\lZ\[#zl[Qjlm^xlxvZM[^Qh\yM[ZMa^Qh\«

y\s}§Qa{Z\a^g¥«±yMst`baFmMopmMy\aI`bmw)^zrx¡^Z\yMsihkjlgi^ZMgtoyMla²l³°´nµ;¶;·gª^zl]#jr^]#aQ¸C¹ClamMopz¡h\lZM[Qzl[#jvmgi^zl]#j¡^]#aIm

¡^§Qa{^`^y\laI`^yMsihI^g¡`[aIg)m\jlxlxr[#ZMy\stzl]by\la{§#^ZMst[#jvmWxl¡^mMaIm'[©y\lapaI§#aXg}[Qxl`baXzyF[©^bh[#zpyMZ\[#g

m\om\yMaI`»º%mMxrahks¥¤¦hI^yMst[#z)wr§QaIZMs¥¤¦hI^yMst[#znwlmMst`jlgi^yMst[#z)wQhk[lpa{]QaIzlaIZk^y\s}[Qz)w¡^z¡st`bxvg}aX`baIzpy_^yMst[z)¸!¹ClaXs}Z

m\aI`^zy\sihkm^ZMa^y'yMlaq¡^mMa[©y\la{§#^ZMst[#jvmWyM[p[Qg}m'papsihI^yMa»y\[ba^Qh\7xlr^mMa^zrstzpyMaI]QZ_^yMastzy\[

l[Q`b[Q]#aIzlaX[#jlmpaIm\s}]Qz¼aIzp§stZ\[#zl`aIzpyMm¸½¹Cla`baIy\l[lp[#gt[#]Qo7^m\mM[lhksi^y\a¾¯CstyM-y\la7l^y_^.¿¡[¯gi^z«

]Qj¡^]Qa²l³°´nµ;¶;·stm{paI`[#zlm\yMZ_^yMa»[Qz7y\labaÀv^`bxlgta[©y\la©Ájlz¡hky\s}[Qz¡^g%paIm_hZMstxlyMst[Qz[©W^`bas}jv`

y\aIzlmMst[Qzx¡[¯%aIZCy\Z_^zvm±©°[QZM`baXZCmMy_^yMst[#z^z¡yMla'mMxrahks¥¤¦hX^yMst[Qz[©styMmW^jlyM[Q`^y\sih%q¡aIr^§st[QZCjlx¡[QzyMla

[lhIhkjvZMZMaXz¡hka'[©¦^z{aXg}ahkyMZ\sªhX^g¡pa©^jlgty¸)¹Cla%mMxrahks¥¤¦hX^yMst[Qz[©¡y\laWhk[#`xlgtakÀlstaIZ_^Z_h\lsihI^gwmMy_^yMak«±q¡^mMa

^z¡xlZ\aIaI`bxvyMst§#aqraI¡^§pst[#ZCstmF`^#aWstz²l³°´nµ;¶;·)ÂÃ'Ä

Å

wr^zakÀly\aIzlmMst[Qz7[©²l³Á´)µ;¶;·¯CstyMy\lazl[QyMst[#zlm

[©yMst`ba'stzpyMaIZ\§#^gtm^z¡xlZ\aIaI`xlyMst§#ay_^m\®pm¸Æv[#ZWy\la§#^gtsil^y\s}[Qzb[©yMlamMxrahks¥¤¦hX^yMst[Qz)w)^]QZ_^xllsihI^g

m\s}`jvgª^yM[QZstm]QaIzlaIZk^yMajlmMstzl]yMvaakÀlahkjly\st[#zaIzp§ps}Z\[#zl`aIzpy©Á[#ZF²l³°´nµ;¶;·¡¸Y!Z\[#xraIZMy\s}aXmZ\auQjlstZMaqpo

y\la^xlxlgtsihI^yMst[#z-^ZMaxlZM[§Qa¾yM[»l[#gi»[Qz=y\labm\x¡ahks¥¤¦hI^y\st[#zÇ[©WyMlahk[Qzy\ZM[Qg}gtaIZwjlm\stzl]7y\laxlZM[p[©

`aIyMl[l^mMm\[lhksi^yMa¯CstyM»²l³°´nµ;¶;·¡¸

ÈÉpÊ;ËMÌÍr#Î!¢Yn[¯aIZ%mMopm\yMaI`mwlhk[Qzy\ZM[Qg;mMopmMy\aI`bmwQ©°[#Z\`^gp`aIyMl[lpmwpZMa^g¥«y\s}`a#wm\ozrhMvZM[#zv[#jlmCgi^z«

]Qj¡^]Qa#w¡l^y_^¿¡[¯wpy_^mM®xlZMaIaX`bxly\s}[Qz)wQ©°[QZM`^gl`baXyMl[lpmwp§#aIZ\s¨¤;hI^y\s}[QzyM[p[#gtmwpm\[©°y±¯C^Z\a'm_^©ÁaIy±o¸

ÏiÐÑ

ÒÓ±ÔÕ

Ñ

ÒÖØ×tÓ±Ù±ÚkÛ

Ü_ÝßÞà)á¡âkàÁãWäæå'çIè±àÁäæé#êMëXìiä¨âkå9ä¨í)íîÞïïâkà±ì°è\ðñò7óôvõèMêMìîàÁä¨ê±ä¨ì

ó

è;ðèØöà±ëkå#ê\èI÷

Ü\ÜMøiù)únøiû è¬ü}ýWëäõþ ýWëkàêþ ëåÿ;äæàÁäæí°ë÷¥à

ÜMÜ\Üøiù)únøiû è¬ü}ýWëäõ à°Þ#ìÁì°è¬åÿßäæà°ä¨íÁë÷¨à

Ü\ÜMÜ\ÜMô ö Øô ú í°è¬àçXä¨êMè ô ð ó

è±ï#ëkà±ìÁè±ýWè±åì IÞ#ëkäëIìîä¨è±à þ ëIìÁâkÞrè\ðè%öàëkå#ê\è

(5)

Ø Q"{$&'%" , % H %

ÉÉ¢ [#jlmxvZl|aIm\aIzpyM[#zvmCsªhs¡gi^FmMxC|ahks¥¤¦hI^y\st[#zbaXygi^F§|aIZMs¥¤¦hI^yMst[#zbjbhk[#zpyMZ[#gtaIjlZC^jvyM[#`^y\sªuQjla

jlzpstmt~k[#z¡hyMaIjlZ'jlzx¡[QmMy\apa'y\Z_^zvm±©°[QZM`^yMst[#zÇ|aIgtahky\ZMsiuQjla#wraIzjlyMstgtstm_^zyCgæ^xvxlZM[lh\la'mMopz¡h\lZ\[#zla

xr[#jlZ'gtaImFmMopmMyaI`baIm'Zl|a^#hky\s¥©°mWy\aI`bxlmFZl|aIaXg}m'aIyFxlgtjlmWxr^ZMy\sihkjlgtsaIZMaI`aIzpyWgtagi^zv]^]Qa²l³°´nµ;¶;·¡¸ ;aIm'gi^z«

]p^]#aXmØm\opz¡h\lZM[QzlaIm!mM[Qzynq¡^ml|aIm!mMjlZ!jlzva`[aIgtaØ`^y\|aI`^yMsiuQjla;mMaXZM§#^zpypam\jlxlxr[#Z\y^jpÀ{ps"!|aXZMaIzpyMaXm

xlr^mMaXmpa%|aI§QaIgt[#xlxraI`aIzpyMmWpjmMopm\yaI`ah[#zpyMZ[#g|a#ºpmMxC|ahks¥¤¦hI^yMst[#z)wv§|aIZMs¥¤¦hI^yMst[#znwpmMst`jlgi^y\s}[Qz)w]|aIzC|ak«

Zk^yMst[Qzpahk[lpa#wpaXyCs}`xlg|aI`aIzpy_^yMst[#zn¸# ßaIjlZ\mCml|aI`^zpyMsiuQjlaIm%mM[Qzy$^gª^q¡^m\a%[QjlyMstgtmpst§QaIZMmC%|aps|aIm&^

h\¡^Qu#jvaWxl¡^mMaFaIystzpyl|aX]#Zl|aXml^zlmCpaIm%aIzp§stZ\[#zlzlaX`baIzpyMm%pahk[Qz¡hkaIxvyMst[#zl[#`[#]'aXzlaIm¸( )^'`Ç|aIyMl[lp[Qgt[«

]Qs}a^mMm\[lhks|aIa{^jgª^zl]^]#a ¿¡[#y\mpa{[#zlzC|aXaIm²l³°´nµ;¶;· aImMy%|ahZMstyMaxr^ZWjvzaÀaX`bxlgtapa{paXm_hkZ\s}xvyMst[#z

©°[Qz¡hky\s}[QzlzlaIgtgtajlzx¡[QmMyMaCpa%yMZk^zlm¬©°[#Z\`^y\st[#z|aXg}ahkyMZ\sªuQjla%aIy!gi^%mMxC|ahks¥¤¦hI^y\st[#zpam\[#z{h[#`bxr[#Z\yMaI`aIzpy

^jlyM[Q`^y\siu#jva)^*g^xlx¡^ZMstyMst[#zjlz7%|a©^jly|aIgtahky\ZMsiuQjla#¸* n^mMxC|ahks¥¤¦hI^yMst[#zpj7hk[Q`bxr[#Z\yMaI`aIzpyWhk[#`*«

xlgtakÀla'^§#ah ls|aIZ_^Z_h\lstapaFxlZl|aXaI`bxly\st[#zaIm\y©^styMaCaIz²l³°´nµ;¶;·)ÂÃ'Ä

Å

w#jvzlaWakÀly\aIzpyMst[#zpa²l³°´nµ;¶;·^§#ah

gtaImzl[#y\st[#zlmstzy\aIZM§#^gtg}aXmabyMaX`bxlmaXybpaby^#h\laImxlZl|aXaI`bxly\st§#aIm¸+ )^§#^g}sil^yMst[#z»pabgi^m\x|ahks¥¤¦hI^ «

y\s}[QzbaIm\yWZl|a^gtstml|aIa,^g^sipajlzmMst`jlgi^y\aIjlZ]QZ_^xllsiuQjla#wp]|aXz|aIZl|ax¡^Z%gaXz§pstZM[QzlzlaI`aIzpy%aÀ|ahkjlyMst[Qz

pa²l³°´nµ;¶;·¡¸- ;aIm'xlZ\[#xlZ\s|aXyl|aImZ\auQjlstmMaImx¡^ZFgæ^xlxlgtsihI^y\s}[Qzbm\[#zpy'xlZM[Qjl§|aIaIm'aIz»yMaIz¡^zpyh[#`bxvyMa{pagi^

m\x|ahks¥¤¦hI^yMst[#z»pjhk[#zpyMZ[#gtaIjlZw.^g^sipajlzva`Ç|aIyMv[aaxvZMaIjl§Qa{^m\mM[lhks|aIa/^*²l³°´nµ;¶;·¡¸

0 Ír XË_ 213É*¢m\om\yaI`apaChk[#zpy\Z#[#gta#wXyMaI`xlm)Zl|aIaIg±wgi^zl]p^]#a!m\ozrhMvZM[#zva#wX¿¡[#y\map[#zvz|aIaImwxlZl|aXaI`bxly\st[#z

pay#^#h\laXmwl[QjlyMstgtmCpa§|aIZMs¥¤¦hX^yMst[Qz)wp`Ç|aIy\l[lpaF©°[#Z\`baIgtgtaImw#m4jlZMaIyl|a{pjgt[#]Qsªhs}aXg¸

(6)

. / {" C%"*

¹Clstmx¡^xraIZxlZ\aImMaXzy\m^zakÀlx¡aIZ\st`baIzpys}z¾yMla012343#51yM[»yMlamMxrahks¥¤¦hX^yMst[Qz)w!st`«

xlgtaI`aIzpy_^yMst[#z^z¡*©°[QZM`^gl§#aXZMs¥¤¦hI^yMst[#z[©637)8 95#":9;#<Mw¡^z¡`b[QZMaWm\x¡ahks¥¤¦hI^gtgto

[©WyMlapahkgi^Zk^y\s}§Qabgi^zv]#j¡^]#a²l³°´nµ;¶;·¡¸*=±ystm{^xlxlgtsta»yM[y\laaImMst]#z¾[©^h[#`bxvg}aÀ7mMyk^yMa«q¡^mMaßw

pstmkhkZMaIy\a{aX§#aIzpyCqraI¡^§pst[#ZC[©!yMlahk[#zpyMZ\[#gtgtaIZC[©^x¡[¯%aIZCy\Z_^zvm±©°[QZM`baXZm\y_^y\st[#z)¸

>Fz-stzpyMaIZ\xlZMaXy_^y\st[#z-[©y\labm\ozrhMvZM[#zpo¾opxr[#y\laImMstmstm{y\¡^y^gtg%yMlaZMaIgtaI§#^zy§#^gtjlaXm{stzp§#[Qg}§Qa

stz^{h[#`bxvjly_^yMst[#z'?Ás}zvxljlywp[QjlyMxvjlyW^z¡stzpyMaIZ\z¡^g;§#^gtjlaIm@%^Z\a'xlZMaIm\aIzpy'mMst`jlgty_^zlaI[#jvmMgto¯CstyMlstzyMla

m\s}zv]#gta's}zvmMy_^zpy[©Øgt[#]QsªhX^gryMst`baC¯ClaXzy\la'mMopmMy\aI`2ZMa^QhkyMmFyM[s}y\mCstzlxljly¸p¹Clstmhk[Qz¡pstyMst[Qzbstmmk^y\s}m¬¤¡a

©°[QZWm\om\yMaI`mW¯Clsih\Z\a^#hky©^m\yMaIZFyM¡^zyMlax¡^Qhka{[©yMvaIstZWaIzp§pstZM[#zv`baIzpymWpopz¡^`bsihkmwQ©°[#ZFs}zvmMy_^z¡hka

stz»mMopz¡h\lZM[Qzl[#jvm¡^Zkp¯C^ZMaQ¸=±y']Qj¡^Zk^zpyMaIaXm{paIy\aIZM`s}zvs}m\`([©y\lamMxrahks¥¤¡a»q¡aIr^§st[QZMmwn^z¡.©^#hs}gts¥«

yk^yMaXmy\laCmMaI`^zpyMsihI^g#`^zlstxljlgi^yMst[#zlm;[Qz{xvZM[#]QZ_^`bmw¯Clsih\^ZMaCjvmMastzyMlaWpa¤¡zlstyMst[#z[©rxlZM[Q]#Z_^`

y\Z_^zvm±©°[QZM`^yMst[#zvmxlZ\aImMaXZM§pstzl]auQjlst§#^gtaIz¡hka'[©qraI¡^§pst[#Z¸=±y\m^#§#^zpy_^]#aWstmFyM[xlZ\[§sipa'm\jlxlxr[#ZMy ©°[#Z

^¯Cl[Qg}amMaIy'[©%yM[p[#gtm^mMm\s}m\yMstzl]yMvapaXmMst]#z[©ZMa^g¥«y\st`ba^xlxvg}sihI^yMst[#zvmw¡^gtgØ^gt[Qzl]by\laIstZ'g}s¥©°a«¬hkolhkgta#¸

¹Cla'mk^`ba ©°[#Z\`^glq¡^m\aImCmMjvxlx¡[QZMyFyMla'[#xraIZk^yMst[QzlmxraIZ¬©°[#Z\`ba*qoyMla'§#^ZMst[#jlm%yM[p[Qg}m%stzby\lapaImMst]Qz

aIzp§pstZM[Qzl`baIzpy\mºpyMva^z¡^gtopmMstm^yCyMlaps"!;aIZMaXzyCgtaI§QaIgtmC[©Ø^qlmMy\Z_^#hyMst[#z)w©°ZM[Q`4ZMauQjlstZMaX`baIzpyMmW[¯CzbyM[

hk[lpaC]QaIzlaIZk^y\s}[Qz)wyMla%st`bxlgtaI`aXzyk^y\s}[QzC[#zm\x¡ahks¥¤¦h%¡^Zkp¯C^ZMa%qpohk[«MpaIm\s}]Qz)wyMla%xraIZ±©°[QZM`^z¡hka9aI§#^«

gtj¡^yMst[#z^z¡[#xvyMst`bs(A^yMst[#z)w3BB#BC>-©±^`bstgtoW[©¦gi^zl]#j¡^]#aIm!stmq¡^mMa[Qz{y\lstmpopx¡[QyMlaIm\stm6;æ#<MwX©°a^y\jlZMstzl]

^`b[#zv]#mMy%[#y\laIZ'!DE8FG8Fv·¡w8HCIJDE8G8F)wß²l³°´nµ;¶;·b^z¡^g}m\[b²Ep¶E8FKML;¶8GEJDQ¸l¹ClaIoxlZ\[§psªahk[Q`bxlgtaIy\a

paXmMst]#zaXz§pstZM[Qzl`baXzy\mwv¯Cs}y\mMaIy\m[©yM[p[#gtmCq¡^mMajlxr[#zy\laIstZC©°[QZM`^grmMaI`^zpyMsihkmw¡^zrb¯Cvsªh\m\jlxp«

xr[#Z\ymMxrahks¥¤¦hI^yMst[#znw©°[QZM`^g#§QaIZMs¥¤¦hX^yMst[Qz)w[#xvyMst`bstm_^yMst[#z'^z¡]QaIzlaIZk^y\s}[Qz{[©¦aÀahkjly_^qlgtahk[lpaQ¸#¹ClaXs}Z

^s}` s}mCy\[mMjlxvx¡[QZMyWy\la{paXmMst]#z[©Ømk^©°aIy±ohkZMsty\sªhX^gØ^xlxlgtsihI^y\st[#zlmwpaImMxrahksi^gtgtoby\l[#m\astzp§#[#gt§pstzl]m\s}]Qz¡^g

xlZ\[lhkaImMm\stzl]^z¡xlZ\[lhkaImMm'hk[#zpy\ZM[#g±¸p¹Cla'm\ozrhMvZM[#zv[#jlmCy\ah\lzl[#gt[Q]#ob^zrstyMmCgi^zv]#j¡^]#aIm^ZMa^§#^stgi^qvg}a

hk[Q`b`aIZ_hksi^g}gtopwI^z¡^xvxlgts}as}zstz¡pjlm\yMZ\sª^g¡hk[Qzy\akÀlyMm6;æ-<¬¸Y!^Zk^gtgtaIgtgtowXZMaIm\a^ZkhM^z¡akÀlx¡aXZMst`baIzpy\m^ZMa

]Q[#stzl][#z[#zzlaI¯ ©°a^yMjlZ\aImwvmMj¡h\7^mCyMla'[Qzla'ZMaIxr[#Z\yMa[#zstzby\lstmCx¡^xraIZ¸

²l³Á´)µ;¶;·stm^ZMa^g¨«±yMst`am\ozrhMvZM[#zvsNAXal^yk^«Á¿¡[¯¼gª^zl]#jr^]#aO;tQP<¬¸3=±yMmCpahgª^Z_^yMst§#aFmMy±opgtaWstmq¡^mMa

[QzbauQj¡^yMst[#zlm%pak¤¡zlstzl]yMlaF§#^gtjlaIm^z¡yMvaWmMopz¡h\lZ\[#zls(A^yMst[#zvm[©)yMla ¿¡[¯Cm[©Øv^y_^hI^gtgtamMst]Qz¡^gtm¸

Y!Z\[lhkaImMm\aIm^Z\aWstz©^Qhky%mMopmMy\aI`bm%[©)auQj¡^yMst[#zvmwp^z¡hk[#`xlstg}stzl]'^²l³Á´)µ;¶;·xlZ\[#]#Zk^`stzp§#[Qgt§#aIm!yMZk^zlm¬«

©°[QZM`s}zv]yMlam\x¡ahs¨¤;hI^y\s}[Qzstzy\[^z7akÀlahjly_^qlgtabhk[lpamM[Qg}§pstzl]yMlstm'mMopmMy\aI`H[©au#jr^yMst[Qzlm^y'a^#h\

Z\a^#hky\st[#z)¸Q¹ClaChk[#`xlstgª^yMst[#z^g}m\[WxraIZ±©Á[#ZM`mhMvah\®stzl]Qm[#zyMvaWhI^jlmk^g¡^z¡yMaI`x¡[QZ_^glhk[QzlmMstm\yMaIz¡ho{[©

y\lam\x¡ahks¥¤¦hI^y\st[#z)w#^z¡'[QxlyMst`bs(A^yMst[#zvm¸\¹ClaW²l³Á´)µ;¶;·'xlZ\[#]QZ_^``bs¥zl]aIzp§pstZM[#zv`baIzpyr©°a^yMjlZ\aIm]QZ_^xvls¥«

hI^g¡apstyM[#ZC^zrm\s}`jvgª^yMst[#zyM[p[#gtmwQhk[#`xlstg}aXZ^z¡[#xvyMst`bs(A^yMst[#z)whk[lpaW]QaIzlaIZk^y\s}[QzstzmMaI§QaIZ_^g¡yk^ZM]QaIy

gi^zv]#j¡^]#aImw¦^z¡^*xlZM[p[©%yM[p[#gß©°[#ZFyMla^z¡^gtom\stmC[©popz¡^`bsihI^g;mMopmMy\aI`bm¸¡¹Cva{[QZMst]#stz¡^g;auQj¡^y\s}[Qz¡^g

z¡^yMjlZ\a[©'²l³°´nµ;¶;·`^®#aImFyM¡^ysty'ZMaIgtstaIm'[#z^*©°[#Z\`^gn`b[lpaIg!stz»yMaIZ\`bm'[©Cx¡[Qgtozv[#`bsi^g)popz¡^`sªh

auQj¡^yMst[#zvmØm\opmMyMaX`bmw^z¡'yMvaxlZ\[p[©¡`aIyMl[l'stmnq¡^m\a[QzyMvay\laI[#Z\o[©;^gt]#aIqvZ_^sih!]QaI[#`aIyMZ\oQ;tcpwR-<¬¸

S'st§QaIz{y\laWm\opz¡h\lZM[Qzl[#jlmCl^y_^ ¿¡[¯-m\y±opg}aC[©Ø²l³Á´)µ;¶;·rw#sty\m`b[lpaIgp[©)yMst`bastmqr^mMa[#zstzlmMyk^zpyMmw#^zr

styMm%^#hky\s}[Qzlm^Z\aCx¡aIZ¬©°[#Z\`ba¯CstyMlstzyMlaCstzlm\y_^zy\mTp²l³Á´)µ;¶;·nÂÃ'Ä

Å

stm^FZMahaIzpyakÀly\aIzlmMst[QzyM¡^yxlZM[§psipaIm

hk[QzlmMy\ZMj¡hyMmF©°[#ZCy\la'mMxrahks¥¤¦hI^yMst[#z[©Øvs}aXZ_^Zkh\lsihI^gnxlZMaIaX`bxly\s}§Qa'y_^m\®pmC[#zstzy\aIZM§#^gtm[©ØyMst`aQ;tR<M¸

£ahk[QzlmMsipaIZs}z»yMvs}mx¡^xraIZy\lab^xlxvg}sihI^yMst[#z[©'²l³°´nµ;¶;·7^z¡½²l³°´nµ;¶;·)ÂÃ'Ä

Å

yM[y\lamMxrahks¥¤¦hI^ «

y\s}[Qz)w!mMst`jlgi^yMst[#z7^z¡§QaIZMs¥¤¦hX^yMst[Qz-[©'yMla^jlyM[Q`^y\sih{hk[QzpyMZM[QgCmMopmMy\aI` [©^xr[¯aIZyMZk^zlm¬©°[#Z\`baIZ

m\y_^y\st[#z)¸C=±y{hk[Qz¡hkaIZ\zlmyMlaZ\aImMxr[#zvmMayM[aXg}ahkyMZ\sªhpak©^jlgtyMm[QzyMlagts}zvaIm'yMZ_^§QaIZMm\stzl]7sty¸8=±ystzp§#[#gt§QaIm

hk[Q`bxlgtakÀstzpyMaIZk^#hky\s}[QzlmqraIy±¯%aIaIzÇhk[#``jlzlsihI^yMstzl]^jlyM[Q`^y_^lwrstzpyMaIZ\ZMjlxvyMst[#z-^z¡xlZ\aIaI`xlyMst[#z»qrak«

¡^§pst[#Z\mw9yMst`baIZ\mb^z¡ yMst`baI[QjlyMmw!ZMa^QhkyMst§psty±o¼yM[-aÀy\aIZMzr^g'aI§#aXzy\mw7B#BB¹Cva©°jlz¡hyMst[#z¡^gts}y±o[©yMla

(7)

451 MV$!23$" 4% 3

hk[QzpyMZM[Qgtg}aXZstmy\[{¡^z¡pgtaCyMvastzpyMaXZMZMjvxlyMst[#z[©ØhkjlZ\ZMaIzpywvyMlaFZMas}Z\ahky\s}[Qz[©)mMjvxlxlgto{m\[#jlZkhkaImw¡^zryMla

Z\ak«aXmMy_^qlgtstmMl`aIzpy{[©hkjlZ\ZMaIzpy©°[Qgtg}[¯Cstzl]^zs}zpy\aIZMZ\jlxlyMst[Qz)¸!¹Clab[Qq#~kahky\st§#astmp[Qjlqlgta#ºnxlZM[QyMahyMstzl]

y\lah[#`bxr[#zvaIzpyMmC[©y\la{y\Z_^zlm±©°[QZM`aIZCstyMmMaXg¨©kw¡^zr`bstzlst`sAXs}zv]yMlapak©^jlgtyWstzyMla{s}m\yMZ\s}qvjlyMst[#z[©

xr[¯aXZ{stz»yMaIZ\`bm[© pjvZ_^y\st[#z-^zrm\sNAXab[©Wy\lastzpyMaIZ\ZMjlxly\am\jlqp«±zlaIy±¯%[#Z\®¦¸n¹ClaaIgtahkyMZ\sihbpak©±^jlgtyMm

hI^zq¡aWaIyMahyMaqpomMaXzlmM[QZMmTpy\laWhk[Qzy\ZM[Qg}gtaIZ9¡^my\[pstmMyMstzl]QstmMq¡aIy±¯%aIaIzmMaI§QaIZ_^g¡y±opxraIm[©ßpa©^jlgty\mw

^z¡qraIy±¯aXaIzyMZk^zlm\s}aXzy^z¡xraIZMm\s}m\yMaIzpy[QzlaIm¸¡¹Cvs}m'm\aIgtahkyMst[Qzstz§Q[#gt§#aXm^xvZM[#y\[lhk[#g±wl¯Csty\7^bhkolhkgta

[©9^yMy\aI`bxly\m^yCyMZ\a^y\s}zv]yMlapak©±^jlgtyCstzbZ\a^#hky\st[#zy\[{xraIZ_haIst§#aaI§#aXzy\m¸

=±zyMlaZMaI`^stz¡paXZW[©%yMlstm'x¡^xraIZw;yMlamMopz¡h\lZ\[#zl[Qjlm{^xlxlZM[p^#h\y\[Z\a^g!y\s}`amMopm\yMaI`m^zrstyMm

xlZ\[#]QZ_^``bstzl]F`baIy\l[lp[#gt[#]Qo{^Z\a'xlZMaIm\aIzpyMastzyMla'gtst]#py%[©)yMva^xlxlgtsihI^y\st[#z)¸3> aIy_^s}gta^#hIh[#jlzpy

[©yMvaxr[¯%aIZmMopmMy\aI` s}y\mMaIg¥© ;tI#<Wstm[#jly\mMsipayMlamkhk[#xra[©Wy\lstmx¡^xraIZ¸pahyMst[#zÇcxlZMaIm\aIzpyMmyMla

²l³°´nµ;¶;·gª^zl]#jr^]#a'^z¡y\la'yMst`baFs}zpy\aIZM§#^g}mC^zrbyk^m\®mC[©²l³°´nµ;¶;·nÂÃ'Ä

Å

¸pahky\st[#z]Qst§#aImW^]QaIzlaIZk^g

paXm_hkZ\s}xvyMst[#z[©lyMlaxr[¯%aIZ)y\Z_^zvm±©°[QZM`baXZ;mMy_^yMst[#z^z¡FyMlaqraI¡^§pst[#Zn[©p[#zla[©ls}y\m)hkaIgtgtmw^z¡aIy_^s}gtm;styMm

m\x¡ahs¨¤;hI^y\s}[Qzstz»²l³°´nµ;¶;·^zr²l³Á´)µ;¶;·nÂÃ'Ä

Å

¸p¹Cla§#aXZMs¥¤¦hI^yMst[#z`baXyMl[lpmC^m\mM[lhksi^y\a¯CstyM»²l³°´nµ;¶;·

stmCpaIm_hZMstq¡astzpahyMst[#z¡wp^zrstyMmC^xlxvg}sihI^yMst[#zy\[{y\la'mMxrahks¥¤¦hI^yMst[#zstzahkyMst[Qzl¸Fstm_hjlmMm\s}[Qzb[Qz

Z\aImMjlgty\m^zrbZ\aIgi^y\a¯%[#ZM®stmC]Qs}§QaIzbstzpahyMst[#z%Rl¸

0 n9"") '7" ,) %2 I

9"*&%

!"$# %'&)( T!L+*'DC?, (.-/)0.12+3406587)0.10.9;:3=<?>(.0@5A91B2$C(D5$0@4)E/06EF(

²l³°´nµ;¶;·%;t#P<;stm^mMopz¡h\lZ\[#zl[QjlmCZMa^g¥«y\st`ba%gª^zl]#jr^]#aQw#l^yk^'¿r[¯Ç[#Z\s}aXzy\a'?HG$IGJ¡pahgª^Z_^yMst§#a@Xwpqljlstgty

^ZM[#jvz¡{^F`s}zvs}`^g®#aIZ\zlaIgr[©¡[Qx¡aXZ_^y\[#Z\m¸Q¹ClstmØgi^zl]#j¡^]#a`^zlstxljvgª^yMaIm;m\st]#z¡^g}mw¯ClsihM^Z\aCjlzpq¡[Qjlzp«

pamMaXZMstaIm[©Cy±opx¡a§#^gtjlaXmw;¯CstyM-^z-^m\mM[lhksi^y\a-hkgt[lh\® aIyMaIZ\`bstzlstzl]yMvamMaIy[©stzlm\y_^zpy\m¯ClaIz

§#^g}jvaImW^Z\aWxlZ\aImMaIzpy¸¦Æv[#Z%stzlmMyk^z¡ha#w¡^mMst]#zr^gKbpaIzl[QyMaImFyMla'mMau#jvaIz¡hka?ML N"@ANAOP[©v^y_^stz¡pakÀlaqpo

y\s}`aQCstz^yMst`ap[Q`^stz8R¸Spst]Qz¡^gtm%[©^m\x¡ahksi^g)®pstz¡hI^gtgtaUTWVSTXYb^Z\ahMr^Z_^QhkyMaXZMs(AIa[#zlgtoqpo

y\laIstZWhkgt[lhM® HG$IGJ¡y\laIstZCxlZ\aImMaIzrhka#¸8S'st§#aIz^mMst]#zr^gK¦wpsty\mWhkgt[h\®s}m%zl[QyMa^mTWVTXYZK;w#`a^zlstzl]yMla

aI§QaIzpyxvZMaIm\aIzpym\s}`jvg}yk^zlaX[#jlm\g}o'¯CstyM8K;¸¹Cla'hk[#zlm\yMZ\j¡hkyMm%[©)y\laCgi^zl]Qj¡^]QahX^zqraCjlmMa*stz^zauQj¡^«

y\s}[Qz¡^g!m\y±ogtay\[mMxrahks¥©°oy\la{Z\aIgi^y\s}[Qzlm'q¡aXy±¯aIaXz7m\s}]Qz¡^gtm HG$IGJ)qraIy±¯aXaIzyMlaXs}Z'§#^g}jvaIm^z¡qraIy±¯aXaIz

y\laIstZhkgt[lh\®pm¸=popmMy\aI`bmC[©au#jr^yMst[QzlmW[Qzm\st]#z¡^g}mW^ZMaqvjlstg}yCjvmMstzl]b^hk[Q`bxr[#mMsty\s}[Qzhk[QzlmMy\ZMj¡hy¸['^yk^

¿¡[¯ ^xlxlgtsihI^yMst[#zlm^ZMa^QhkyMst§pstyMstaImaÀahkjlyMa[§#aIZ%^m\aIy[©)stzlmMyk^zpyMm%stzyMst`ba#ºQ^ya^Qh\bstzlmMyk^zpywQstzlxljly

l^y_^stmC^#hIuQjlstZMa©°ZM[Q`yMvaaÀahkjlyMst[QzaIzp§ps}Z\[#zl`aIzpy¸ \FjlyMxljvyC§#^gtjlaImW^ZMa'xlZM[lpjrhka^QhIhk[#Zkpstzl]yM[

y\lamMopm\yMaI`([©ØauQj¡^yMst[#zlmWh[#zlm\sªaIZMa^mW^zlaIy±¯%[#Z\®b[©Ø[#xraIZk^yMst[Qzlm¸

ÈÉpW]!É31nÍ^%;_!É 1Á]@`'!`rÉaU¹ClaC®#aXZMzlaIgr[©;yMva²l³°´nµ;¶;·gi^zv]#j¡^]#a%s}m9q¡^m\a[#z©°[QjlZ![#xraIZ_^yMst[#zvmw

pa¤¡zlstzl]xlZ\s}`styMst§#aCxlZ\[lhkaImMm\aImwn^z¡^hk[#`x¡[QmMstyMst[#z[Qx¡aXZ_^y\st[#zyM[qljvs}gi*`b[#Z\aWaIgi^q¡[QZ_^y\a'[#zlaIm¸

bdc

25$W^ZMa'stzlmMyk^zpy_^zlaI[#jvmWyMZk^zlm¬©°[#Z\`^yMst[#zlm9[#zyMlal^yk^l¸lÆv[#ZCakÀ¡^`xlgta#wpyMvaak¤¡zlstyMst[Qz

[©^mMst]#z¡^g=e

N

qoyMla©°jlz¡hky\st[#zfnº

g

Q;hie N@j

f ?lknm+o;h$kqprosh#B#BBsh$kut o@

(8)

stmC¯CZMstyMy\aIzstz²l³°´nµ;¶;·rº ¸p¹Clam\s}]Qz¡^gtm;wKpwNB#B#BMwK X^ZMaZ\auQjlstZMa

yM[¡^§Qa'yMla'm_^`ba'hkgt[h\®;¸

b

)N$7[©^mMst]#zr^gK=^QhIhk[QZ_pstzl]»yM[-^q¡[p[Qg}a^z=h[#z¡psty\s}[Qz½s}mº "!# K%$'&=T;X(r¸!¹Cla

[#xraIZ_^z¡pm^z¡»y\labZ\aImMjvg}yp[zv[#y]QaIzlaIZk^gtgto7¡^§QasipaIzpyMsihI^ghkgt[lh\®;¸6pst]Qz¡^g)»stmxlZ\aImMaIzpys¥©

^z¡[Qzlgtos¨©@K^z¡^ZMa'xlZ\aImMaXzy^yy\lam_^`baFyMst`baW^z¡*¡^mCyMla'§#^gtjlaY,+-=TTp¯ClaIz*s}m

xlZMaXmMaIzpywrstyMmC§#^gtjlaWstmCyMr^yC[©@K;¸

b/.

5 ($7 Xº01!2# K43T6576-8 Y9pa¤¡zlaIm'yMvajlzlst[#z[©y±¯%[{m\s}]Qz¡^gtmC[©ØyMvam_^`ba

y±opx¡a#¸p¹Cvahkgt[lh\®[©:0stmyMvajvzlst[#z[©)y\¡^y%[©[Kb^z¡yMr^y%[©;;¸#¹Cva§#^gtjlaC[©:0stmy\la'§#^gtjla

[©@Kb¯ClaIzstyCstmCxlZMaXmMaIzpywr[QZCyM¡^yC[©:s¥©!s}yCstmCxlZ\aImMaXzy'^z¡nKs}m%zl[Qy¸

b/.

)Nw¡^=<_ozr^`bsih>xlZ\[haImMm']#st§pstzl]{^QhIhkaIm\myM[x¡^mMyC§#^g}jvaImC[©^mMst]Qz¡^g±¸lÆv[#ZCakÀ¡^`xlgta#wQyMla

auQj¡^y\st[#z)º ?k Nj

k

N2@

mwv¯Cs}y\stzlstyMsi^gr§#^gtjlaBACpak¤rzlaIm^bpopz¡^`bsihCxvZM[lhkaIm\m¸M=±yWstmCaIz¡h[a

qpo¦º,0 KD!# KE Ç¯CstyMstzlstyMsi^gts(A^y\st[#zF0 KGXG YIHKJr¸ s}]Qz¡^gtm@K^z¡L0 K¡^§#a%yMlaFm_^`baChkgt[h\®;¸

FaIZMst§#a-[Qx¡aXZ_^y\[#Z\mbstz¡hkgtj¡papaXgª^o[QzM stzlmMyk^zpyMm'?NE'O @Xw^z¡¼^P$ G;X3Q'$4R[#xraIZk^yMst[Qz=]Qs¥«

§ps}zv].^QhIhkaIm\m{y\[7^¯Cl[#gta¯Cstz¡p[¯R[©xr^mMy§#^gtjlaIm ?i©ÁZM[#` stzlmMyk^zpyMmQSTyM[nQ@Iwn^m¯%aIgtg^m

hk[#`qvs}zr^yMst[Qzlm[©!q¡[QyM[#xraIZk^yM[QZMm¸

bVU

-(C[©¡xlZM[lhkaXmMmMaXmstm!yMlaC^m\mM[lhksi^y\st§#a^z¡hk[Q`b`jlyk^yMst§Qa)[#xraIZk^yM[QZW< XY>'paIzl[QyMstzl]FyMla

jlzlst[#z[©¡y\lajvz¡paIZ\g}opstzl]FmMopmMy\aI`bmn[©¡auQj¡^yMst[#zvm¸#=±z²l³°´nµ;¶;·¡ws}ynstm)¯CZMsty\yMaIz)º[Z\X^] m X*] p X_#w

©°[#ZFxlZM[lhkaXmMmMaXm`] m ^z¡a] p ¸M=±yhI^z7qra{stzpyMaXZMxlZ\aIyMa^mWx¡^Z_^g}gtaIgtstmM`2¯CstyMm\st]#z¡^g}mFmMjlxvx¡[QZMyMstzl]

stzlmMyk^zpy_^zlaI[#jvmWhk[#``jlzlsihI^y\st[#zq¡aIy±¯%aIaIzxlZM[lhkaIm\mMaIm¸

bÉp6cYdrÉlÎn^MÉpl ØÉl%]ÎÉ,e; f1ÁÉa FaIZ\s}§QaxlZM[lhkaIm\mMaImCr^§#a%q¡aIaXzbpak¤¡zla©°ZM[Q` yMlaCxlZ\st`bstyMst§#a

[Qx¡aIZk^y\[#ZMmwlxlZ\[§psªs}zv]{xlZ\[#]QZ_^``bs¥zl]hk[Q`©°[QZMy¸hgC¸]r¸}wQyMvastzlm\yMZ\j¡hkyMst[Qzji6k Xl&K+Qnm;K)o pw¯Cvsªh\mMxrak«

hks¥¤¡aXmyMlamMopz¡h\lZM[Qzls(A^y\st[#z[©Wm\st]#z¡^g}m K ^z¡=8T;$'&=TXq]Qst§stzl]y\lahkgt[lh\®[©W[lhIhkjvZMZMaXz¡hkaIm[©r

^yyMla§#^gtjlauY,+'-=TT=Kl T8h8/s7¯Clsih\»`baI`[#ZMs(AIaXmW§#^gtjlaXm[©K7^zr»[#jly\xljlyMmyMlaI` ^g}m\[¯ClaIzs

stmyMZMjvaT!yMlaakÀlxlZMaXmMmMst[Qz/1!2#It4u»stm^h[#jlzpyMaXZ[©C[hXhkjlZMZ\aIz¡hkaXm[©WaI§#aXzyBu»q¡aIr^§stzl]»gtst®#ayMla

akÀ¡^`bxlgta']#st§#aXz~jlmMyFq¡aIgt[¯¸ >WZMZk^opm[©mMst]#z¡^gtmW^z¡[©%xlZM[lhkaIm\mMaIm¡^§#aqraIaIz»stzpyMZM[lpjrhka^mW¯%aIgtg¸

v s}aXZ_^Zkh\opwn`b[lpjlgi^Z\sty±o^zrZ\ak«jvmMab[©xvZM[lhkaIm\mMaIm^ZMam\jlxlxr[#Z\yMa½qoyMlaxr[#m\mMstqlstgts}y±o[©Wpak¤¡zlstzl]

xlZ\[lhkaImMm'`[aIgtmwp^z¡stzp§#[#®pstzl]stzlm\y_^z¡hkaIm¸

>Fz-akÀ¡^`bxlgta[©^½²l³°´nµ;¶;·7xlZ\[lhkaImMmstm{y\la©°[Qgtg}[¯Cstzl]hk[#jvzy\aIZz¡^`ba,wyxOhz ?°¯Cvsªh\¾s}myMla

akÀlx¡^z¡pa©°[#Z\`[©!yMla{aIZMst§#ab[Qx¡aXZ_^y\st[#zaD!#9t%u@Iº

{

+Qnl T,ihi9hwyxO,z#4m'|:u~},p

ZX!#40,h

X0,!2#IhE

X*i6k Xl&+Qnm ou p

X_

$'&=T6+ST90hqG;XGWY(J

T;X3

=±yF¡^mF[#zlastzlxvjlyWm\s}]Qz¡^gu;w¡^zr^z[#jvyMxljlyu;¸l¹Cla§#^gtjla'[©y\la{hk[QjlzpyMaIZ'stmrrw¡^z¡styCstmpa¤¡zla

^mCyMla'xlZ\aI§ps}[QjlmC§#^gtjla0,s}zrhkZMaI`aIzpyMaqpo[#zva#¸p¹Cla'xlZMaX§st[QjlmC§#^gtjla0hstmCpahkgi^ZMagt[lhI^g}gtopw#^zr

(9)

R 451 MV$!23$" 4% 3

Ænst]#jvZMa#º>Rhk[QjlzpyMaIZFstz7²l³Á´)µ;¶;·r¸

pa¤¡zlajlmMstzl]y\lapaIgi^ob[Qx¡aXZ_^y\[#ZF[#zmMst]#zr^g;MTpstyMmCstzlstyMsi^g;§#^gtjlaWstmCyMvax¡^Zk^`aIyMaIZ HJr¸=±yWhk[QjlzpyMm

y\la{[lhIhjlZMZ\aIz¡hkaIm[©%yMlastzlxvjlyWaI§QaIzpyu¦ºry\lstmWstmW[Qqly_^s}zvaqom\ozrhMvZM[#zvsNAXs}zv]byMva{xlZ\aImMaXz¡hkab[©yMla

hk[QjlzpyMaIZw;^z¡*qoyMlstmCy\lastz¡hkZ\aI`baIzpyk^yMst[Qzb[#xraIZk^yMst[QzbstyMm\g}a©_wp¯CstyMyMla'[lhIhkjvZMZMaXz¡hkaIm[©)u¦¸

'Í`r cl]@`É ]dc°Í]É ])Wa(¹Cla²l³°´nµ;¶;·bhk[#`xlstg}aXZx¡aXZ±©°[QZM`bm9yMla^zr^gtopmMstm[©)y\lahk[#zvmMstm±«

y\aIz¡hko»[©CyMlamMopm\yMaI`H[©CauQj¡^yMst[#zlmw;^z¡»paIy\aIZM`s}zvaIm'¯ClaIyMvaIZ{y\lamMopz¡h\lZM[Qzls(A^y\st[#zhk[#zlm\yMZk^stzpyMm

qraIy±¯%aIaIz-y\labhkgt[lh\®m[©CmMst]#z¡^gtm^ZMa§QaIZMs¥¤¡a»[QZzl[Qy¸8=±y'stm'q¡^m\a[Qz ^z7stzpyMaIZ\z¡^g9ZMaIxlZ\aImMaXzyk^y\s}[Qz

©°a^yMjvZMstzl]^]#Zk^xl»[©Wl^y_^paIxraIz¡paXz¡hkstaImqraIy±¯aXaIz-[Qx¡aIZk^y\s}[Qzlmwn^jl]Q`baIzpyMa¯CstyM»yMaI`x¡[QZ_^g9s}z«

©°[QZM`^yMst[Qzhk[Q`bstzl]'©ÁZM[#`4y\lahkgt[h\®hI^gihkjlgtjlm¸=Á©Øy\la'xlZM[Q]#Z_^`stmh[#zlm\yMZ_^stzlamM[b^my\[hk[Q`bxljvyMa^

paXyMaIZ\`bstzlstmMy\sªhFm\[#gtjlyMst[Qz)wpyMlaXzakÀlahkjlyk^qlgta{h[a?°stz [#Z8GE8G;¶;µJ@WhI^zq¡a{^jlyM[Q`^yMsihI^gtgtoxlZ\[«

pjrhka;¸9¹Clahk[Q`bxlgtaIy\abxlZ\[#]QZ_^``bs¥zl]baIzp§pstZM[Qzl`baIzpy{^gtmM[7hk[Qzpy_^stzlm^]#Z_^xllsihI^gwnqlgt[lh\®#«Mpsi^]QZ_^`

[QZMstaIzpyMa¾jlm\aIZstzpyMaIZ¬©^#hka¯ClaXZMaxlZM[lhkaXmMmMaXm.^ZMaq¡[ÀlaImgts}zv®#a½qo¯CstZ\aIm{Z\aIxlZ\aImMaIzpy\s}zv]-mMst]Qz¡^gtmw!^m

stgtgtjlmMy\Z_^y\astzÆnst]#jlZ\aQ¸

¹Cvab²l³°´nµ;¶;·aXz§pstZM[Qzl`baXzy'^gtmM[stz¡hkgtj¡paIm^ M# :#"{w;y\[§#aIZ\s¨©Áo7popz¡^`sihWxvZM[#xraIZ\yMstaIm[©

xlZ\[#]QZ_^`mw;stzp§#[Qgt§stzl]mMyk^yMastzp©°[QZM`^yMst[Qz4?ÁstzyMlapaIgi^o#a½mMst]#zr^gtm@^z¡»yMZk^zlm\styMst[#zlms}z¾ZMa^QhkyMst[Qz

y\[[lhIhjlZMZ\aIz¡hkaIm[©[QyMlaXZmMst]#zr^gtm¸vCaXz¡hka#wnstystm'xr[#mMm\stqlgta{y\[b©Á[#ZM`^gtgtomMxrahks¥©°o^z¡§#aXZMs¥©°oyMlamk^«

y\s}m¬©^#hyMst[#z[©popz¡^`bsihI^g;xvZM[#xraIZ\yMstaIm[©y\laq¡aIr^§st[QZMm¸r¹Clstm^m\x¡ahky'¯Cs}gtgnq¡apaIyk^stgtastzpahyMst[#z

r¸

!" ! %80 >([(.C12+3F4 2$4

T!L+*'DC? ,

²l³°´nµ;¶;·nÂÃ'Ä

Å

s}m%^Z\ahkaIzpyCakÀlyMaXzlmMst[#zyM[²l³°´nµ;¶;·¡wQ¡^zrpgts}zv]y_^mM®pmaÀahkjlyMstzl][#zyMst`ba%stzpyMaIZ\§#^gtm^zr

y\laIstZCmMauQjlaXz¡hkstzl]4;t#R<¬¸Q¹Cla'stzpyMaIZ\aImMyC[©ØyMvs}mCstm%yM¡^yv^y_^¿¡[¯ ^z¡m\auQjlaIz¡hs}zv]^m\x¡ahkyMm'^ZMa'qr[#y\

aIzrhk[#`x¡^m\mMa¾stz-y\lam_^`abgi^zv]#j¡^]#a©°Zk^`baX¯[QZM®;w)y\pjlmZMaIgtopstzl]»[#z-y\lam_^`ba`b[lpaXg©°[QZ{y\laIstZ

akÀlahjlyMst[#z»^z¡^zr^gtopmMstm7?i©°[QZy\la{hk[Q`bxlstgi^y\st[#z^z¡§#aXZMs¥¤¦hI^yMst[#z[©hk[QZMZ\ahkyMzvaImMm[©ØxlZ\[#]QZ_^`m@X¸=±z

y\lstm^xvxlZM[p^#h\)w;^bl^y_^¿¡[¯R^xlxlgtsihI^y\st[#zstmhk[QzlmMsipaIZ\ayM[bqraakÀlahkjly\a©ÁZM[#`U^zstzlstyMsi^g;m\y_^yMa[©

styMmF`baI`[#Z\o{^y'^zstzlstyMsi^grstzlmMyk^zpy%wl¯Clsih\s}mCqrak©°[QZMay\la'¤¡Z\mMyFaI§#aIzpyF[©yMlaZMa^QhkyMst§#aakÀlahkjly\s}[Qz)¸

>Rl^y_^¿¡[¯ÇxlZ\[lhkaImMmF¡^mCzv[{y\aIZM`s}zr^yMst[QzmMxrahks¥¤¡astzs}y\mMaIg¥©_ºQyMvaIZMak©Á[#ZMas}y\maXz¡^yCstzlmMyk^zpy hI^z

[Qzlgtoq¡aCpahsªastz{Z\a^#hky\st[#zyM['akÀlyMaIZ\z¡^gvaI§#aIzpy\m[#Z!yMvaCZMa^QhMvs}zv][©¡]#st§QaIz{§#^gtjlaIm¸6v aIz¡hka7stmØxr^ZMy

(10)

K

l8,Qni T Q {

TX

KGX

K(Qy-Y

Ænst]#jlZ\acvºp¹Cst`baCstzpyMaIZ\§#^gtmCmMjlq«¬pst§psipstzl]y\s}`a#¸

[©y\la{aÀahkjlyMst[Qz)wØ^z¡y\layMst`bas}zpy\aIZM§#^gØ[Qz7¯Cvsªh\y\lab^xvxlgtsªhX^yMst[QzakÀlahkjly\aIms}m'y\la{gtak©Áy±«±[#xraIz)w

Z\s}]Qpy±«Mhkgt[#mMabstzpyMaXZM§#^g o ¦¸

cÉ4cM])Ép6d 1 a(¹ClaIo-^Z\as}zpy\ZM[lpj¡hka-stz¾[#Z_aIZyM[»aIz¡^qlgtay\lamMy\ZMj¡hky\jlZMaÇpahk[Q`bxr[#m\s}y\st[#z

[©y\labstzpyMaIZ\§#^g ostzy\[mMjlqp«±stzpyMaIZ\§#^gtm^mstgtgtjlmMy\Z_^y\as}z¤¡]r¸)clw)^z¡»yMvaIstZ{^m\mM[lhksi^y\s}[Qz7¯Csty\

xlZ\[lhkaImMm\aIm ;tR<M¸6j¡h\=^m\jlqp«±s}zpy\aIZM§#^gstm{paXg}st`s}y\aqo[lhIhjlZMZ\aIz¡hkaIm[©Wq¡[Qjlz¡pstzl]aX§#aIzpyMmLs^y

y\labqraI]#stzlzvs}zv]7^z¡=u^yyMvabaIz¡ß¸J=±yr^myMla§#^gtjla*GXihG63TbqraIy±¯%aIaIz¼yMlazvakÀly{[lhIhkjvZMZMaXz¡hka[©

s^zryMlazlakÀly'[lhIhkjlZ\ZMaIzrhka[© u;wr^z¡aQy-Y i,G3T[#yMvaIZM¯CstmMaQ¸=±y'¡^m^zstzlstyMsi^g;§#^g}jvaJ0?GXi,G63ST

[QZ Qy-Yi,G63T@I¸n¹Clstmbstm¯CZMstyMy\aIz)º !#hs)o*uGXGWYJr¸ ;st®Qa o¦w!m\jlqp«±stzy\aIZM§#^gtmb^ZMag}a©°y±«

[Qx¡aIz ^z¡¾ZMst]Qy¬«¬hg}[QmMaß¸¹Clstmbh\l[#sihkastmbhk[QlaIZMaXzy¯CstyM¼y\laqraI¡^§pst[#ZakÀlx¡ahyMa ©°Z\[#` Z\a^#hyMst§#a

^jlyM[Q`^yk^lº^FyMZk^zlm\s}y\st[#zstm`^Qpa^QhIhk[#Zkpstzl]y\[{^FZMahkaXs}§QaaI§#aXzy9[hXhkjlZMZ\aIz¡hka^z¡^'hkjlZ\ZMaIzpyCm\y_^y\a#w

¯Clsih\ZMaIm\jlgtyMmCstz^zvaI¯ m\y_^yMa#¸v aIz¡hka#wry\la's}zvmMy_^zpy¯ClaXZMay\la'aI§#aIzpyC[lhIhkjvZMmWqraIgt[#zv]#mCyM[yMvay\st`ba

stzpyMaIZ\§#^gr[©)y\lahkjlZMZ\aIzpyCmMyk^yMaQwpzl[#y%yM[yM¡^y[©!yMlaFzlaI¯Çm\y_^yMa#¸p¹ClaF[#xraIZ_^yM[QZlyQ

{

8pak¤¡zlaXmCyMla

hk[Q`bxlgtaI`aIzpy)[©ß^z{stzpyMaIZ\§#^glw¯Cvsªh\stm GX\i,G63TC¯ClaIz's}m)Qy-Y ihG63TW^z¡Z\ahkstxlZ\[hX^gtgto¸W\Fx¡aXZ_^y\[#Z\m

Q {

TX^z¡*l8,Qni TZMaIm\x¡ahyMst§#aIgto]#st§QaWyMva[Qx¡aXzlstzl]^z¡bhg}[QmMstzl][lhIhkjlZ\ZMaIz¡haIm[©)y\la'q¡[Qjlz¡pstzl]

aI§QaIzpyMm¸ \'hIhkjvZMZMaXz¡hkaImC[©¦^Cm\s}]Qz¡^g K'stzlmMsipa%stzpyMaIZ\§#^gWhI^zq¡a%mMaXg}ahkyMa*qpo K GXlw^z¡ZMahs}xvZM[lhI^gtgto

[QjlyMm\sªaqpoqKqQy-Yl¸=±zyMlstm%©°Zk^`baX¯[QZM®;whQ

{

TXstm sqQy-Ylwl^zral8,Qni Tstm uFGXl¸

9¡)Wa ¹ClaXo=hk[QzlmMstmMystz¼^mMm\[lhksi^yMstzl]^ ?°m\jlq@¬xlZM[phkaImMm[©WyMla^xvxlgtsªhX^yMst[Qz-¯CstyM¼^ ?ÁmMjlq@\stzly\aIZ±«

§#^gW[© o¼[#zÇ¯Clsih\ÇstybstmakÀlahkjly\a;¸F¹ØZk^#psty\s}[Qz¡^gCxvZM[lhkaIm\mMaIm»stz ²l³Á´)µ;¶;·Ç^ZMa»y_^m\®pm.^QhkyMst§Qa

[Qz o;º)y\laIo^ZMa ("%yMlZ\[#jl]Ql[#jvyyMla¯Cl[#gtab^xlxlgtsihI^y\s}[Qz)¸M=±zlmMsipayMlay_^mM®»s}zpy\aIZM§#^gw

y\lay_^mM®¼xlZ\[haImMmstmb^#hky\st§#as±¸aQ¸}w!xvZMaIm\aIzpy.^z¡¾akÀlahkjly\stzl]-zl[QZM`^gtgto¸=\FjlyMm\sipa7y\lastzy\aIZM§#^g±w!yMla

xlZ\[lhkaImMm'stmW^qvmMaIzpyW^zrby\la§#^g}jvaImstyC®QaIaIxlmFs}zstyMmCstzpyMaIZ\z¡^gnmMy_^yMa{^ZMa'jlz¡^§#^stgª^qlgta#¸=±zmM[Q`baFmMaIzlm\a

stys}m[#jvy[©'yMst`ba#wßs}y\m{hkgt[lh\®q¡aIstzl]hkjly¸!¹^mM®pm^Z\apak¤rzla¾qpoyMlaxlZM[lhkaIm\m »yM[»q¡aakÀlahkjly\a;w

y\laakÀlahkjly\st[#z»s}zpy\aIZM§#^g!lw;^zry\la{m\y_^ZMyMstzl]m\y_^y\a ?±hkjlZ\ZMaIzpywn[#Z'stzlstyMsi^g,@%¯CvaIz ?ÁZMak«"@\aIzpyMaIZ\stzl]yMla

stzpyMaIZ\§#^g±¸.[#ZMa%xlZ\ahkstmMaIgtopwyMla%gi^yMy\aIZ)`a^zvm)yMr^ywX¯ClaIzZMak«±aIzpyMaXZMstzl]'yMla%y_^mM®'stzpyMaIZ\§#^g±wIy\laxvZM[lhkaIm\m

hI^z7qraZMa«m\y_^Z\yMa ©°ZM[Q`(styMmhkjlZ\ZMaIzpym\y_^y\ab^yFyMlastzlm\y_^zpyF¯ClaIZMayMlay_^mM®¯C^m 23 ?HG$IGJ

stz-^yMaI`x¡[QZ_^ZMo©^mMlst[Qz@Iº;y\lstmstm'¯CZMstyMy\aIz"(Q X#¸C>WgtyMaXZMz¡^yMaIgtopw;styhX^zqraZMak«±mMyk^ZMy\a½©°ZM[Q`UstyMm

stzlstyMsi^g#mMyk^y\aW^mpak¤¡zvaqpoyMlaCpahgª^Z_^yMst[#zlm![©¦^gtgpstyMm!mMyk^yMa%§#^Z\si^qlgtaImws¥©¡y\laCy_^mM®¯C^m "2#"

(11)

451 MV$!23$" 4% 3

¹^qvg}a'#º¹ØZk^#hkaXm!©°[#Z!y\laCy_^mM®[©)hk[#jlzpy\s}zv] g w[#z^z¡a^QhMstzpyMaXZM§#^g = ?°sr`ba^zlmns}zvmMsipaT[rº[#jvyMmMsipa#@I¸

?Á`ba^zlstzl]¡º^qr[#ZMy\as}z^ak¤¡zlstyMst§Qa!©^m\lst[#z@Xº T7l&l¸¹Cla%xlZM[lhkaXmMmMaXmW^mMm\[lhksi^yMa¯CstyMs}zpy\aIZM§#^g}m

hI^zyMlaX`bmMaXg}§QaImqrabpahk[Q`bxr[#m\a»stzy\[mMjlqp«±y_^mM®pmºnyMvs}m¯^opwryMlam\x¡ahs¨¤;hI^y\s}[Qz-[©91$1$C[©

hk[Q`bxlgtakÀbqraI¡^§pst[#Z\mCstmCx¡[QmMmMstqlgta#¸

9¡XÉ !É ] 6cM]@`]Î^fØÉpÉ f!cM][`.a =±y;stm)^#h\lstaI§#a^m)^%Z\aImMjlgty![©lhk[#zvmMyMZk^stzlstzl]CstzpyMaIZ\§#^gtm)^zr

y\laIstZqr[#jvz¡pstzl]aI§#aIzpy\mwl^zr^mMm\[lhksi^yMstzl]^#hky\s}§pstyMstaIm%yM[yMlaI` qobh[#zlm\yMZMjrhkyMstzl]lstaIZ_^Z_h\lsihI^g;y_^m\®pm¸

))N)( qraIy±¯aXaIzmMaX§#aIZk^g)yk^m\®mCstmC[Qqly_^s}zvaz¡^yMjlZk^gtgto¯ClaIzy_^mM®pmCmMr^ZMayMla'm_^`baFs}zpy\aIZM§#^gw

[QZC[§#aIZ\gª^xlxlstzl]stzpyMaXZM§#^gtm¸M 2&-y\laIz^`[#jlzpyMm%yM[hk[QzlmMy\Z_^stzlstzl]yMvastzpyMaXZM§#^gtm%[©!yMla

yk^mM®pmwlqpohk[QzlmMy\Z_^s}zvs}zv]yMlaIstZCqr[#jlzrpstzl]aI§#aXzy\m¸CmMstzl]Q X^z¡UTy7nl&)wl^mWpa¤¡zla^q¡[§Qa#wpaIz¡^qlgtaIm

hk[QzpyMZM[Qg![©^#hky\st§sty\s}aXm^zr`b[QZMa'aIgi^qr[#Zk^yMaq¡aIr^§st[QZMmhX^zqramMxrahks¥¤¡a;¸;¹ClstmW¯C^opwps}yFstmWxr[#mMm\stqlgta

y\[mMxrahks¥©°olstaIZ_^Z_h\lsihI^g;x¡^Zk^gtgtaIg;xlgi^#hka! yMZk^zlm\styMst[#zmMopm\yMaI`m¸

Æv[#Z!akÀ¡^`bxlgta#w^'hk[#jvzy\aIZ%q¡aIr^§stzl]^mpak¤¡zvaxlZ\aI§pst[#jlm\g}ohI^zqraW^m\mM[lhksi^y\a¯CstyM^zstzpyMaXZM§#^g

lwrstzy\[^y_^mM®qraI¡^§pstzl]^m'stg}gtjlm\yMZk^yMaqpoyMlayMZk^#hkaXmstz7¹^qvg}a#wr¯ClaIZ\a !2#IhwyxO,z mu p Q X

b^zr #"!#4,w6xO,z mu pDT7nl&l¸l£ahI^z7^gtmM[bak¤¡zla{^*y_^mM®by\¡^y'hI^zq¡am\y_^ZMyMa;wrmMjlm\x¡aIzrpa;w

Z\aImMjl`a;w#^z¡'aIzrpa ?°s±¸a#¸stzpyMaIZ\ZMjlxly\a@ ?ÁZMaIm\x¡ahkyMst§#aXg}aXoqo'aI§QaIzpyMm%$)w'ilw+^z¡8T@I¸¹Clstm!stm^#h\lstaI§#a

§QaIZMomMst`xlgtojlmMstzl]b^h[#`qlstz¡^yMst[#z[©)QWX^z¡ T7l&)º

{

+Qnl T,i,i ,w6xO,z,u#&(#

m'|TWVTXY9x X\GWY)o*s)o*u)o(':o)& },np

ZX ZXD!#4,wyxO,zm x X\GWY p Q Xq

X !#%lQ

{

X !#*' o+&

X _dTy7nl&-,

X., !#,s)o*u X _

$'&=T6+T4GXBYT6+ V7h89 ;oIG;XGWY(Qy-Y ihG63T;o

,%GX\GWY(Qy-Y i,G3T

TX3

¹Clstmstm{^zakÀ¡^`xlgta{[© ^vs}aXZ_^Zkh\o»[©Cy_^mM®pm¸C>y\Z_^#hab[©^hk[QjlzpyMaIZhk[Qzy\ZM[Qg}gta»stzy\lstm¯^os}m

]Qs}§QaIzstzby_^qlgtacl¸

=±yCm\l[¯CmCl[¯ ^zvaI¯ h[#jlzpyMaXZWmMyk^Z\yMmW[Qzba^Qh\stzy\aIZM§#^g$ oIT ;w#¯Cvs}gtaFq¡aIstzl]stz¡^QhkyMst§QaWqraIy±¯aXaIz

m\jlmMxraIzlm\s}[Qzi^z¡ZMaIm\jl`bstzl]B+;¸

¹CvaCaIz¡hk[lpstzl][©)yMst`ba9s}zpy\aIZM§#^g}m%^z¡yk^mM®pmstzpyM['y\la²l³°´nµ;¶;·®#aIZ\zlaIg*;tR<;s}m!st`bxvg}aX`baIzpyMa^m^

xlZ\ak«±xlZM[lhkaIm\mM[QZ{y\[yMla²l³Á´)µ;¶;·hk[Q`bxlstgtaIZwlhI^gtgta²l³°´nµ;¶;·)ÂÃ'Ä

Å

;t <M¸>WxvxlgtsªhX^yMst[QzlmC[#y\laIZ'yM¡^zyMla

[Qzla{pstm_hjlmMm\astzyMlstmCx¡^x¡aIZ'hk[#zrhkaIZMz^zstzy\aIZ_^QhkyMst§QaZMak¿rakÀ]^`a^z¡y\lamMau#jvaIz¡hkstzl][©§ps}m\j¡^g

m\aIZM§Q[#stzl]y_^mM®pmWstz^ZM[#qr[#yC§pstmMst[QzbmMopm\yMaI` ;t<M¸

(12)

¹^qlgtacvºp¹!Z_^#haW©Á[#ZCyMvayk^m\®b[©hk[#jvzy\stzl]¡wlhk[QzpyMZM[Qgtg}abqpoaI§#aIzpy\m $)w ilw,+^zr Tl¸

7W"*"{ i " '( ! Q"{%$&'( n'%"

"$# Z([4([>0@587)( => 2 12$343 0 3 < ([> 1>0@4 3>C(.> 1B0.12+3F4

circuit breaker Higher Power

Transformer

link circuit breaker

departure cell

link cell

arrival cell

departure arrival

circuit breaker

Distribution of the power to the users

Ænst]#jlZ\alºp¹Cla'yM[Qx¡[Qgt[#]#o[©^zaXg}ahkyMZ\sªhx¡[¯%aIZCyMZk^zlm¬©°[#Z\`^yMst[#zxr[#m\y¸

_!É] ^MÍ¡Ép{XvcÁÍS]¾ÍS]¼_!ÉÉ 1ÁÉl 6c 8]!ÉpIÌÍr @aU¹Cla'xljlZ\x¡[QmMa[©^zbaXg}ahkyMZ\sªhxr[¯aIZ

y\Z_^zvm±©°[QZM`baXZWmMyk^y\s}[Qzstm'yM[bgt[¯%aIZWy\la§#[#gtyk^]#a'[©x¡[¯%aIZ'mM[yM¡^yWstyhX^z»q¡apstmMy\ZMstqljly\astzjvZMq¡^z

hkaXzy\aIZMm¸r¹ClaW®pstz¡[©)y\Z_^zlm±©°[QZM`aIZ¯%a^Z\a's}zpy\aIZMaIm\yMastzZMahkaIst§#aImFlst]#§Q[#gty_^]#aCgtstzlaImwp^zrmMaI§QaIZ_^g

`apstjl`(§#[Qgty_^]Qa{gtstzlaImhk[Q`ba[#jly[©sty{^z¡7s}m\yMZ\s}qvjlyMaxr[¯aXZyM[aIz¡«jlm\aIZMm%;tX#<¬w;^mstg}gtjlm\yMZk^yMa

stzÆ)st]QjlZMabv¸¦Æv[#Z'a^Qh\lst]#»§#[#gtyk^]#agtstzla#w;^yMZ_^zlm±©Á[#ZM`aIZ'gt[¯aIZ\m'yMla§Q[#gty_^]#a#¸M=±zyMvabhk[#jlZ\mMa[©

akÀlxlgt[Qs}yk^y\s}[Qz-[©y\lstmmMopmMy\aI`7w!m\aI§#aXZ_^g'®pstz¡pm[©aXg}ahkyMZ\sªhX^gak©^jvg}y\mbhI^z [hXhkjlZ%?ÁyMlZ\aIay±opxraImb[©

aIgtahyMZMsihI^gak©^jvg}y\m{^Z\ah[#zlm\sªaIZMaßº!xl¡^m\a ¦wrl[Q`b[Qx¡[Qgª^Z;w;[#Z'¯C^yMy\`baIy\ZMsih @Xw;pjlayM[hI^jlmMaXm

stzpyMaIZ\z¡^gF[#ZakÀlyMaIZ\z¡^gFyM[-y\lam\y_^y\st[#z)¸*=±z¼[#ZkpaIZyM[xvZM[#y\ahkyyMla7aI§psªha7^z¡¾y\laaIzp§pstZM[#zv`baIzpyw

m\aI§#aIZk^ghkstZ_hjlstyWqlZ\a^®QaIZMm^Z\axlgi^#hastz^zlaIy±¯%[#ZM®[© ))%stz.s!;aIZ\aIzpyxr^ZMy\mW[©y\lam\y_^y\st[#z ?°[Qz

(13)

451 MV$!23$" 4% 3

y\laW^Z\ZMst§#^gQg}stzlaXmwgtstzl®'gts}zvaImw^zr{paXx¡^Z\yMjlZ\aCg}stzlaXm@I¸¹ClaXmMaWhkstZ_hjlstyqlZMa^®#aXZMm^ZMaC^gtaIZMy\aqpo'mMaIzlm\[#Z\m

^yWps"!¦aIZ\aIzpyWgt[lhI^y\st[#zlm%[#zyMvagtstzlaIm¸

g9^#h\ hs}Zkhkjlsty'qlZMa^®#aXZh[#zpyMZ\[#gtgtaIZpak¤¡zlaXm{^qraI¡^§pst[#Z'qraI]#stzlzlstzl]¯CstyMy\lah[#zp¤¡Z\`^yMst[#z^zr

sipaIzpy\s¨¤;hI^y\s}[Qz[©%yMlay±opx¡a[©yMvapa©^jlgty¸=Á©%yMlapak©^jlgtyWstmh[#zp¤¡Z\`baßw¡y\layMZMa^yM`aIzpyhk[QzlmMstm\yMm

stz[#xraIzlstzl]yMlahkstZ_hkjlsty¬«qlZ\a^®QaIZWpjlZ\stzl]b^]Qst§#aIzpaIgi^opw#y\laIzhkgt[#m\stzl]{styW^]^stz)wp^zrb^©ÁyMaIZW^zl[#y\laIZ

paXgª^opwps¥©Øy\la{pak©±^jlgty%s}mCm\yMstgtg;xlZMaXmMaIzpywry\laIzZ\aIx¡a^yMstzl]yMlaXmMa[Qx¡aIZk^y\s}[Qzlm%©°[QZW^hkaIZMyk^stzzpjl`q¡aXZ[©

hkolhkgtaIm¸;¹ClaxvjlZMxr[#m\a{[©yMlstmFs}mFyM[y\ZMa^yy\Z_^zlmMstaIzpyak©^jvg}y\mTrstzhI^m\a{y\laak©^jvg}yCstmFmMyMstgtg)xvZMaIm\aIzpy

^yWyMva{aIzr[©y\lahkolhkgta#wryMlahkstZ_hkjvs}y¬«qvZMa^®#aIZ'stmW[Qx¡aIzvapak¤¡zvs}y\aIgtowr^z¡.yMlahk[#zpy\ZM[#gnstmW]#st§QaIzyM[

y\laZMaX`b[#y\aW[Qx¡aIZk^y\[#Z¸

pa©^jlgtyC^xlxra^ZMmC[#zyMla'paIx¡^ZMy\jlZMagtstzla#wQstystmxr[#m\mMstqlgtaWy\[{[Qx¡aXzy\lahs}ZkhkjlstyCqlZ\a^®QaIZW^yaIx¡^Z\yMjlZ\a

gtaI§QaIg±w)[QZ^ygts}zv®gtaI§#aIg±wn[#Z^y{^ZMZ\s}§#^ggtaI§#aXg¸@\Fqp§st[QjlmMgtopw;stystmstzyMlas}zpy\aIZMaIm\y[©Wjlm\aIZMmy\¡^yyMla

hkstZkhkjlsty'q¡aqvZM[#®QaIz7^ypaIxr^ZMy\jlZMagtaI§#aXgwr^z¡.zl[#yW^y^lst]#vaIZWgtaI§QaIg±wlmM[yM¡^yWy\la©ÁaI¯aXmMyWjvmMaIZ\m^ZMa

paXxlZMst§#a[©!x¡[¯%aIZ¸v¹ClstmCZMauQjlstZ\aImhk[p[QZ_pstz¡^yMst[#zq¡aIy±¯%aIaIzyMla{s!;aIZ\aIzpyWhkstZ_hkjlstyFqlZMa^®#aIZ'hkaIgtgtm¸

y\laWpaIx¡^ZMy\jlZMa'hkaIgtg±wqrahI^jlmMaFsty)©Áa^y\jlZMaIm%^gtgpyMla%stzy\aIZMaXmMyMstzl]^mMxrahky\m[©¡yMvaW^jly\[#`^yMstmM` qraI¡^§pst[#Zw

aI§QaIzstzyMvs}m'm\s}`xlgts¥¤¡axlZMaXmMaIzpy_^yMst[#zn¸[\FyMlaIZhkaIgtgtmr^§#a^qraI¡^§pst[#Z'¯Clsih\stm[Qzlgtox¡^Z\y[©yMvs}m

[Qzla#¸=±yCstmahk[#`x¡[QmMa*stz^hk[#zp¤rZM`^yMst[#zxvZM[lhkaIm\mwr¯Clsih\^gtm\[{hI^Z\aImC©Á[#Z%sªaIzpyMs¥©°opstzl]yMvay±opxraW[©

Zk^gtgto¸rÆl[QZWa^QhM»[©%yMlabpa©^jlgtyFy±oxraIm ?;w;w¡[QZ @F^paIgi^ohI^z^m\mMaIm\mstyMmWxraIZ\mMstmMy\aIzpy{xlZ\aImMaXz¡hka#¸

¹ClaXo=^Z\ayMaIm\yMa¼stz¾mMauQjlaIzrhka#w%jlzpyMstgW^»pak©^jlgty{stmhk[#zp¤rZM`ba ?°s±¸a#¸twnxlZMaIm\aIzpy^y{y\laaIz¡½[©'yMla

hk[QZMZ\aImMxr[#z¡s}zv]-paIgi^o@I¸)vC[¯%aI§QaIZw!y\lamMauQjlaIzrhkastm{stzpyMaXZMZMjvxlyMa¼^m{m\[[QzÇ^myMlapak©±^jlgty{pstmk^xp«

xra^Z\mwv[#ZC^xlZ\aI§pst[#jlm\g}oaÀv^`bstzlaak©^jvg}yC^xvx¡a^ZMm¸l¹Clstm%gª^yMy\aIZxr[#stzpy%s}zpy\ZM[lpj¡hkaXmW^lstaIZk^ZkhMpo[©

xlZ\aIaI`xlyMst[#z^mCakÀlxlgi^stzla*s}zpahkyMst[#zv¸cv¸t#¸

pstmk^xlxra^Z\a;¸ g^#h\hkstZ_hkjvs}y'qlZ\a^®pstzl]q¡aI]Qstzlm¯CstyMaX`bstyMy\s}zv]yMlahk[#``^z¡y\[[Qx¡aXz7y\labhkstZ_hkjvs}y

T;XaI§QaIzpywjlxr[#z¯Cvsªh\yMla%hkjlZMZ\aIzpypaIgi^o'stm)m\y_^Z\yMa¸

x¡[Qzbhk[#`xlgtaIyMst[#z'[©¡yMlaWaIgi^owyMvahkgt[QmMstzl]'[©¡y\laWhkstZ_hjlstyØqvZMa^®#aIZstm!ZMau#jvs}Z\a;wp^z¡hk[#zp¤rZM`baqpo

y\laZ\ahkaIxvyMst[#z[©,8,Qi T63;¸ \Fz¡hka%yMlahs}Zkhkjlsty!stm;ZMak«±aImMyk^qlgtstmMva;waIsty\laIZ!yMla%pak©^jlgty;¡^m!pstm_^xvx¡a^ZMaßw

^z¡yMla{haIgtg)]#[paImFstzy\[styMmCzl[QZM`^g¡m\y_^yMa#wr[#ZCstyCstmCmMy\stg}g;xvZMaIm\aIzpyºryMlaXz)wryMlay\ZMa^yM`aIzpyCxl¡^m\a']#[paIm

stzpyM['yMvaWzlakÀlyhohg}aW^ ©°yMaXZ^¸æmpaIgi^opw[#Zs¥©;s}y!¯C^my\laCgi^m\yhohg}aQw#y\lahkstZkhkjlstyqlZ\a^®QaIZstmpak¤rzlstyMaIgto

qlZ\[#®QaIz)w¡^z¡styMmW`^z¡^]#aI`aIzpy!s}mCgtak©ÁyCyM[b^ZMaX`b[#y\ahk[#zpyMZ\[#gn[#xraIZ_^yM[#Z¸r¹Cla'mMaIZ\s}aXm[©paXgª^o§#^gtjlaIm

?Ás}zyMla¤¡ZMm\yhkolhkgta#º!¸mwvs}zyMlam\ahk[Qz¡;ºmwvstzyMlayMvs}Zk;º¡m@I¸rstmWyMZ\a^y\a»^m^*mMst]#zr^g±wl^z¡.yMla

=±zy\laC©Á[#gtgt[¯Cs}zv]¡wI¯%aC]#st§QaW^'mMst`bxvg}s¥¤¡a^z¡m\l[#Z\yMaIzvapaIm_hZMstxlyMst[Qzb[©;yMvaWxr[¯aIZ%mMopm\yMaI`y\¡^y

¯%a^ZMahk[#zvmMsipaIZ\s}zv]¡wn®#aIaIxvs}zv]7[Qzlgto7y\la`b[#m\yst`bxr[#Z\y_^zpy^m\x¡ahkyMm[©yMvab[#Z\st]#stz¡^g9mMxrahks¥¤¦hI^yMst[#z

;tI#<M¸)Æv[#Z'akÀ¡^`bxlgta#wr¯%ahk[QzlmMsipaXZ{[Qzlgto[QzlamM[QjlZ_hab[©CakÀlyMaXZMz¡^gstzpyMaIZ\ZMjlxvyMst[#z»stzlmMy\a^#»[©m\aI§#aIZk^g±w

qrahI^jlmMayMla'`ah\¡^zlstm\`bmstzp§#[Qg}§Qab^ZMa'yMvam_^`ba#¸

(14)

!

"

#$

Æns}]QjlZMa'rºp¹Clahk[#zp¤rZM`^yMst[#zxv¡^m\a#º¡^zstzpyMaXZMZMjvxlyMst[#zlstaIZk^ZkhMpop¸

" ! % ( =2'& =0.12+34 2+4

T!L+*'DC?,

0@4)7

T!L+*'D ? ,

(

a*) a,+ _!É7 Í].-vcÁÍS]f@_!¡XÉr¢)]9cl]nÉp f! cÁÍ] _ c°Épl# _nÊ

Ænst]#jlZ\astgtg}jvmMyMZk^y\aImyMla=hQ X5 G6+ 7 Y GQWXxlZ\[haImMmmMxrahks¥¤¡aÇstzÇ²l³Á´)µ;¶;·nÂÃ'Ä

Å

s}zÇÆnst]#jlZ\al¸!¹Cla

®pstz¡pm[©WaIgtahyMZMsihI^gWpak©^jlgtyMm¸!¹ClabstzlxljvyaI§#aXzyLz G =Tbstm{y\labqr^mMahkgt[lh\®7s±¸a#¸twns}ys}myMlahkgt[lh\®7[©

y\lagt[#]QsªhX^grs}zvxljlyMm ;w;wl^z¡ 0?°xlZ\aImMaIzrhka{[©yMlapak©±^jlgtyMm@C^z¡hk[Qzpy_^stzlmCy\lahkgt[lhM®pmF[©Øy\la'y±¯[

[QyMlaIZstzlxljlyaI§#aIzpy\m u L Y / T657y-8 Y^z¡21 G+ iWY /=T57y-8 Y¦¸v¹ClabxvZM[lhkaIm\maI`bstyMm'y\la[#jly\xljlyaX§#aIzpy

y\lamMyk^yMa[©yMvahkaXg}g±¸;¹Cvs}mFgi^yMy\aIZ'stm)Q4536¯ClaIz^z»akÀlyMaXZMz¡^gpak©^jlgty's}m'paIy\ahkyMa ?°Z\ahkaIxvyMst[#z[©

u L Y / T657y-8 Y@F[#Z¯ClaIz-y\labpak©±^jlgtystm{hk[Qzp¤¡Z\`ba ?,/=T65 ,Q XK5@Xw¡[QyMlaXZM¯CstmMas}ys}m5K7,8ni Tb¯ClaIz-^

b

qpo7y\la[lhIhkjlZ\ZMaIz¡ha[©8/=T57y-8 Y4?±hI^jvmMstzl]y\lastzy\aIZMZ\jlxly\s}[Qz[©CaI§#aXZMomMjvqp«¬^QhkyMst§psty±o@I¸;g^Qh\

yMst`baCy\lstmstzpyMaXZM§#^gvs}m%aIzpyMaXZMa;wr^m\jlqp«±xlZM[lhkaXmMmWxraIZ¬©°[#Z\`bmy\lahk[Qzp¤¡Z\`^y\st[#z[©)y\laak©^jvg}yC^m

paIgi^o;º

:

(15)

c 451 MV$!23$" 4% 3

y\laIZMaXqo»^gtmM[yMaIZ\`bstz¡^yMstzl]y\lahk[#zp¤rZM`^yMst[#zy_^mM®;¸

:

3

/=T65 ,QWX5 hX^jlm\s}zv]yMla'stzpyMaIZ\§#^g;yM[bhg}[QmMa#¸

3

Å

stmn]#st§#aIzs}z¹^qlgtalwI¯Cvs}gtaÆnst]#jvZMaFs}gtgtjlm\yMZ_^yMaIm

sty¸

" 8 8

#$

"!

$#%

#$

'&

&((

)

!

*#%$

)

!,+ -#%/.

.

! 0

" /&10

"!

#

&2

(#%$435

2,

2 "

!

"$#%$

#

2&

"

& 6!

6+ "'&

!7+ -#%/.$$" "

#

&

"8

'.

! 0

& 0

"!

#

2&

$#%" 543

29

"

!

(#%$!

#

&

&6

6+8:&

!9+;#%/.$ "

#

&

8

.

! 0<

& 0

=!

#

&

$#% 43

29

)

!

' #%"

#

&

2

!4 +

!4 5>+5

!4 >+ !4

+5

&?+5

&@+

&

"" A

&B0

0

¹^qvg}avºp¹ClahQ X5 G6+ 7 Y GQWXxlZM[lhkaIm\m¸