HAL Id: inria-00073764
https://hal.inria.fr/inria-00073764
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,
Efficient Descriptor-Vector Multiplications in Stochastic Automata Networks
Paulo Fernandes, Brigitte Plateau, William J. Stewart
To cite this version:
Paulo Fernandes, Brigitte Plateau, William J. Stewart. Efficient Descriptor-Vector Multiplications in
Stochastic Automata Networks. [Research Report] RR-2935, INRIA. 1996. �inria-00073764�
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
Efficient Descriptor-Vector Multiplications in Stochastic Automata Networks
Paulo Fernandes, Brigitte Plateau, William J. Stewart
N ˚ 2935
10 juillet 1996
TH ` EME 1
6 "78()(:9;<>=?*@A
B)CEDFHGJI*KML&N*C>NOKQPSRTUL&VHWXVZY[Y[K$B4F\CEY[K]C>D*^T_`VHFHFaV\C>bdce3fgYSKQhC>LYji
k<lgm
nopnqrtsun&vwn&xzy|{1n'}vw~|v}
m
nopn[v
3wz
n'}
sxz
z
}n
n[
l n l
nMzMrq&
yn}q&zQ4rM+xQn&v
A ¡&¢£j¤¥z¢z¦ k<l
§v4x>n
n{xopn&v¨]yopn
&x*§vwvwyn[v¨©
oy|}wªv
y|}w
v)}
n'}«
z¬
v
z®
v¯}
l
xQv}¨xzy|}
opx}x°3±\}§v«n³²
¬
«´}
l
x}«
l
n,}
l
no0xj}
§'n[v<}
l
x}
n
n&vwnM}<}
l
n+xy|}
o0xj}µx
M}xz
~¶
v¯}xM}A·jxzyn[v¸}
l
n¹
v¯}
®
>n
w®ºz
o©}
l n
En
x}w
¶»xzvw§,}
xz³}n
xj}·Qn
v
y|}
opn'}
l
v&¸|}
l
x}
®
opx}
³{]²\·zn[%}
Q
oy}w~z¸§v<z·zn&»]~
¼]½¾
½
¿
ÀÁÂÃ À*Ä
½
Å
ÀÁÂgà ÀwÆ
« l n n à À
§vÇ}
l
n4]yo+»En
z®
v¯}x}wn&v<}
l
n¨È\ÉZÊpxy|}
o0xj}
´xË!§v}
l
n¨]yo+»En
®
xzy|}
o0xj}x+
} l n)n'}«
z¬
°5ÌÍnM}
y'n}
l
n)
'n&|}
z®
xQnn
xzÎn[p}wn&v
Q
|y'}<xz0
·znx]yo»>n
z®
nopo0xzv
n
}
l
§v
|y%}[°
k<l
n n&vwy}
®
} l
n[v¯n4nopo0xzvxz
«vyv<}
v l
«Ï}
l
x}}
l
v
n§xj}·Qn~4v¯o0x|]yo»>n
*z®E
En
x}w
v§vvwy|Ð1'nM}+o0xzM~4
xQ%}w§xz|xzvwn&v
z®
Q}n
n&v¯}*«
l
§
l
} l nxy}
o0x}x)
M}µx
®
yE%}w
Exxz
}vwop~+
v¯}xzQ}}
xzv¯}w
Ev°Ñy
} l n o
Q
nQ¸«Çnv l
«
l
«Ò}
l
nxy|}
o0xj}µx+v l
y´»>n
z
|n
n&1}
xz
l
n·Qn)}
l
§v°
Ó$ÔMÕXÖ×Ø £jÙ¡z¦ Ú x
¬z
·1
l
xv¸>ÛM}
l
xQv}4xzy|}
opx}xpn}«
Qw¬
v&¸Ü)nn
xzÎn[1}nv
z
xzn»
x¸
Ý
n[%}
z
²\|n[vw
|}
z
oy}w&xj}w
5°
Þ§ßà
áwâHã[ä
à
áåæâ\çHè'é
ê<ëºì¨íî5ïð|ìñò|ó¯ô%ôõaöS÷3øS÷ù*ì4úûHü>ý÷¯þúûaÿöS÷ùwò%ôSóîõa÷ ÷÷øS÷zòjõ\ú¯÷5÷ùH÷¯úµõ\üùHö%õZûH÷øûHü[÷
ñ !#"ï*ë$!gëípï*ë$&% î0ï('!)+*,%ÿ'û-Sõ,a÷ û+.
è0/21 3[á
òú[ø<ñXí!%+4 "5ºñ&6!-4Xñ7'#8í#9%õH÷÷þ÷ û
%>õ,a÷ û ó 'ô2:;2*<
=
ëºì¨íî5ïð|ìñò|ó¯ô%ôõaöS÷3øS÷ù*ì4úûHü>ý÷¯þúûaÿöS÷ùwò%ôSóîõa÷ ÷÷øS÷zòjõ\ú¯÷5÷ùH÷¯úµõ\üùHö%õZûH÷øûHü[÷
ñ !#"ï*ë$!gëípï*ë$&% î0ï('!)+*,%ÿ'û-Sõ,a÷ û+.
è0/21 3[á
òú[ø<ñXí!%+4 "5ºñ&6!-4Xñ7'#8í#9%õH÷÷þ÷ û
%>õ,a÷ û ó 'ô2:;2*<
>?
÷ júµõZûHþ÷ 'û(@5ñA%þBSö[ûa÷õC"0ÿ÷ ÷'òDEMñ úµõFÿjúG"ûHúûH÷H'#SÿI'÷õHùaÿûJ'ò5ú÷ÿ9%üMòCñ!LK2MN;OP5JK%ôN[ò-'"&íE5÷5
ùH÷¯úµõF\üùHöQ%õZûH÷ø¨ÿGjúµõZû#2R"0
??
ìS5J;%ôNK2<úSøñgñ 75J;SóT%ô;2*
(" 6 "+7d().0132,(45 ",
Ô ¡ Ô ¦
Çn}x
}nun}wy|n)n[vÇ
w
»
m
nopn&vÇ]yoJun
Myn[v
v|un&vÇx
§x
un[v
y}w
A|n)o
m
nn&v
n
un&vwn&xzy|{0xzy|}
o0xj}wn[vÇv¯}
l
xQv}Myn[v°±Xn&v¯}»n&´
]yMyn¨v¯Xn&vo0xj}
§'n[vMy
n
un&vwnM}nM}
n&vxzy|}
o0xj}wn[vn
Q}n&n&Q}Myn4|n[v
Ev}µxM}wn[vÇ]yo nu
Myn&v&¸]n4
y|}|n¨
<un x}w
A|n4»Exzvwn
n}
y|}n4oJun'}
l
|n¨³}un
xj}·Qnz¸|'n&y|y,
w
|y³}o0xj}
§'n²H·Qn&%}ny
n[v}
<un)x
x
®ºz
oyn
¼]½¾
½
¿
ÀÁÂ Ã À*Ä
½
Å
ÀÁÂ Ã ÀwÆ
gm
y à n&v¯}n0
o+»
n1un}x}v|y ÈH²\
m
nopn0xy|}
o0xj}n0n'}+Ë n1
o+»
npxzy|}
opx}wn[v|y
un&vwn&xzy|{ °
yv¨M}
|y§v
v¨n0
n|}|n0
w
|y}¨}wn&v
Q
n**un<un
xvun4n}
w
y·
vMynMyn&v¨nopopn&v
vwy
n'}
<un x}wny
° 5n&v
un[v¯y}x}v|nn&vn&oopn[vEn
opn}¯}wn&M})|n4o
M}
n
Myn'n4>n'}³})
o+»
n
un xj}
vn[v}vwy|Ð1vwxzQ}xzv<|n
o»
n&y|{AxQvÇ
x}wQyn&v
m
yAn&v<xzy|}
opx}wn[v
M}wnnM}|n&v
}µxy|{p|n<}
xEv¯}w
v
®º
%}
n&v*n}
0vwopnopn&Q}
Ev}µxM}v&°"!nyv&¸z
yv
Ev#
z
n
xv<nMyn& n[vxy|}
o0xj}n&v
·QnM}
n'}
n
x*un&vx%$,
»|}n
n
un[v¯y}x}&°
&Ø ¢[¡ Ö ¥('Ô ¦ l x )
n1|n Ú x
w¬Q
·X¸5s´un[v¯n[xy xy|}
o0xj}n&vv¯}
l
xQv}Myn[v¸
m
n»
np}wn&v
Q
nn
*un<un xvun&nz¸
Ú
y³}§xj}
,·zn&'}wn&y
²|n[vw
|}wn&y
°
: ;
*ª",'
k<l
nyvwn
®&(*+$,<#-"=.0 12##>34?67@98-=A
Û|
vB§v»En[
oÍE
n&xzvwz~©op
z
}xM}0
>n
w®ºz
o0xno
n§vwvwyn[v
n§xj}wn[}
Ex
xn&xA|v¯}
»y|}wn[0
oy|}wn
vw~]v¯}wn&o0v°*vÇv¯yE
l
o
|n&v»>n&
opn¨E
n&xzvwz~A
opn{ ¸v
x§v
n[v<}
l
n
opn'{|}~
®
} l n4o
|n&0
n&vv°
³}
l
y
l
v¯~|v¯}wn&opv3xxz~|v¯}v
l
xS·Qn<x¨]yo+»En
®X
} l n o
|n&v}
x}wn&zno0v*x}*}
l
n&
vw
vwxza¸Q³}
§v*
}y]yvwyx]}
|v
·Qn
} l
xj}}
l
n&vwnx
n<xQ|nMyx}wnQ°
k<l
nyEv¯n
z®
Myn&yn¨n'}«
z¬
o
|n
§v)op³}n&»M~,}
l
n0
v}
xzM}µvo
vwn&»]~ªxzvv¯yop|}
vnn[|n&}
´¬
n&n$}
l
n+o
|n&}
xz%}µx»nz°
k<l
n n&vwy}v
»|}xzn[
®ºw
o } l n4o+~
§xz
®
xS·Sxz§x»n¨x
w
{|opx}wn¨v
y}w
vx
n
®º
n MynM}w~0}
M
w
vwv}
»>nopn&xz
®
yH°Û]oy§xj}
v&x$»>nn'{n&vv¯·zn&~n'{|En&vw·Qnz°
k<l
§vn&xS·Qn&v<o
|n§v}
l
xj}
x n»xzvwn&
Ú x
¬z
·p
l
xv&¸]»y|}
l n
n¨x§v
¸Q}
l
n¨|³Ð1y³}n[vx
n«n
'yopn&Q}n& ° k<l
n4vwÎ&n
z®
} l
n3v¯}x}wn3vwxzn*zn&n
xj}n&)vv
§x
zn}
l
xj}5}nC>n[%}·Qn~
zl
»}v } l n3
opy|}µxj}
®
xv
y}w
g°
k<l
v*§v}
yn«
l
n'}
l n } l n Ú x
¬z
·
l
x
n&vwy}v
®º
o x4v}
l
xzv¯}w§
n}
|n'}
®ºz
opxz§vwo´¸
z®º
o
xpv¯}
x
l }
®ºQ
«<x
Ú x
w¬Q
·0
l
x´xzx~]În
°
± 0o0x]~Ev}µxn&v&¸}
l
nÛ|
Ò®ºz
o0xvwo§v3xzpxz
§xj}wn
l
nz°
x
xn&x0v¯}
»y|}wn[
vw~|v}no0v4x
n
®
}n ·]n&«Çn[¹xQv
n&'}w
v
z®
op
n&Q}µv¨}
l
xj}
>n
xj}npo
Q
n
Q
n[vwvn>n|²
nM}w~z¸
nMy
~$
®º
n MynM}¨M}wn
xQ%}
¹vwy
l
xQv)vw~]
l
ÎA}
l
n&
xz'}w
v&¸
z)
>n
xj²
}px}|DCXn
nM}
xj}wn[v|n>nE|
A}
l
nv¯}xj}n
®
Ex
}v
®
} l n
·Qn
x>vw~|v}no,°
k<l
vv<n{|xQ%}~
} l
n,·]n&«
M}1xz
|}wn[ »]~ Û|
v&°
k<l
n,
op
n&Q}µvpx
no
|nn& xzvE|·]§|yxzv}
l
xzv¯}w§
xzy|}
o0xj}x)}
l
xj}ÇM}wn
xQ%}3«}
l
n[xz
l0
} l n
°Ñy
} l n o
Q
nQ¸}
l
nv¯}xj}nvwxznn'{|
vw
w
»n&o xQv²
v
'§xj}n&0«}
l Ú x
¬z
·
l
x1o
|n§v3§vÇo}wQx}wn[1»]~}
l n ®
xz'}3}
l
xj}}
l
n¨v}µxj}n}
xEv¯}w
0o0xj}
{
§v)
}v¯}
Q
n[ ¸
z
n·Qn¹znn
xj}wn[ °± v¯}wn[xz ¸ }4v
n
n[v¯n&Q}n&$»]~x]yo»>n
¨z®
oyE
l
vwopxzn
o0x}
n&v&¸
n
®ºQ
n&xQ
l+z®
} l nv¯}
l
xzv¯}w§<xy|}
o0xj}µx}
l
x}Ç
v}³}y|}wn<}
l
nvw~]v¯}wn&o,¸QxE
®º
o}
l
n[v¯n
xz
n&n&·zn&Q}
®ºQ
o0xj}
o0xS~¹»>n|n}wn
opn&©«}
l
y|}+n{|§'}w~
®ºz
op,}
l
nAQ
»x3opx}
³{ °
k<l
no§x}w
A§v3}
l
x}<x
vw§|n
x»nvxS·]on&o
z
~§vÇnCXn&%}n&A»M~0v¯}
Q
4}
l
no0x}
³{0
} l
§v
®
xzv l
g°<ÌÍn
}Ǥv l }
z·zn¨}
l
nop
n[vwvw
´}
l
x}«n
n&Qx
$Û|
vxQvx0xzxzn&x
®ºz
xzEo
n
w
»n&o0v¸
yv¯}3}
l
xj}}
l n
n§vx§
l
n}
l
xj}<³}$vxo
4}
l
n}
]
§v*}
l
xj}<o
|nn
v
o0xS~Íyvwnz°ª±\}§v
®
x
~
»]·M
yEv¨}
l
x}}
l
n
opn&o
Q
~ nMy
n&on&M}vx
n1opopxz?E3³}
n&opxzEv4}
v
l
« } l xj}}
l
§v
n&v
}
on4x}}
l
n
v¯}
z®
xp
zl
»}w·zn4xzo
yM}
®
opy|}µxj}
}opnQ°
ÛM}
l
xzv¯}w§0y|}
o0xj}µx
n}«
Qw¬
v¨xEÍ}
l n
n§xj}n&Í
'n&|}
®/(+,%#-?2FGH$5.0IJ+K9#
l
xS·zn1»>n&
opnx l
}}
®
n&vwn&x
l
n&nM}+~Qn&x
v&°
k<l
§v
n&vwn&x
l©l
xQv
®º
yv¯n[
Jx
n&xQv
vwy
l
xQv4}
l
n´|n&·zn&
opnM}
®
§xzyxzzn&v
®ºz
vw>n&'
®
~]ÍÛ|
vx©}
l
n
¬
¸ML³q[|¸ÇqNHO\¸x
} l
nª|n&·zn
on&M}
z®
vwy}x»nªv
y|}w
opn'}
l
vp}
l
xj}1xz
En
x}wn
} l
n,}
xvw³}
Jo0xj}
{
Q·Qn1xQvÇx+
opxQ%}Û
|n&v
}
z
°
k<l
n)n·zn&
opnM}
z®
xzzyxzzn[v
®ºz
vwEn['
®
~Mv}
l
xzv¯}w§
w
'n[vwvxzn&»
xQv§vo0xz~ª
'n
n&$«}
l
v}
y'}wy
x
>n
}wn&v
®
} l n+n'}v
A
op
vw³}
xj²
}~z¸|nMy·jxnnz¸|n}°PBx«}
l } l
n4o0xz
®
} l
n&vwn4v¯>n&$>xj}
v
M}
Ú x
w¬Q
·0
l
xv
®ºz
} l n+
opy|}µxj}
®
>n
w®ºz
opxz'non[xzvwy
n&v&Lq-NM¸ |¸X-O\°³}
l
y
l
xAÛ|
o0xS~´»En+·]n&«Çn[$xzvx
v¯}
l
xQv}
'n[vwv4xzQn»
x¸g}v
z
QExy
v¯n0«<xzv)}
·M§|n1xzÍnÐ1'nM}x©
]·zn&n&M}
opn}
l
z~
®ºz
} l n1v}y|~
z®
MyxzQ}³}·Qn
x}
l n } l
x©v¯}
y%}y
xz
w
En
}n[v
®
opn'{¹vw~|v²
}no0v&¸GL-O\°
n·Qn
}l
n&n[vwv&¸
opy|}µxj}
x
n&vwy}vvwy
l
xzv4}
l
v¯n1
n[v¯n&Q}n&¹©}
l
§vxzEn
xz
xzv
»Enxzn[´}
l
n
M}wn{]}
z®
v¯}
l
xQv})
'n&vvxzn&»
xzv&°
k<l
n n1x
np}«
$
·zn
w
§|´
n
v¨©}
l
nAxz&xj}w
z®
xz]~
Ú x
w¬Q
·M§x¹o
n$opn'²
®
y%}
v
®
} l
np]yo»>n
¨z®
v¯}xj}n&v&¸gx $ v¯}x
xQ
l
§v}
|n·Qn
ª}n&
l
Myn[v}
l
xj}4opopÎn
} l
n)Myo»>n
®
v¯}xj}n&v0}
l
n)o
|nH°*±Û|
v&¸|³}<vÇ
vv¯»n}
o0x
¬
nyvwnyvwn
z®
vw~Mopopn'}
n&vxzv
«ngxzvyop1xz´·Sx
yEvv¯y>n
vw³}
z®
} l nxy}
o0x}x+}
0
n&|yE'n)}
l
n+
opy}xj}
x
»y
ng¸ Lqz¸|¸S O\°Ñy
} l n o
z
nz¸[=L³q[-OH¸v¯}
y'}wy
xQ
w
En
}n[v
®
} l n Ú x
¬z
·
l
x4
x
l A
v¯>n'²
$>'§x~}
l n
y
n&'n
z®
'~|'n&v$Bx
nyvwn&p}
opy|}wn¨v¯}wn&xQ|~0v}µxj}nv
y|}w
v&°Ì¹n)
M}
y|}
} l
xj}vwopx
¸]x1n·zn&1o
z
nn{M}nvw·zn
n&vwy}v
l
xS·zn
n&·]
yv¯~p»En&n´|n·Qn
>n&00}
l
n)
M}wn{M}
z®
n'}
gn}vx$v¯}
l
xQv}4xQ%}w·]³}~n'}«
z¬
v°Ñ
Q
n'{xzonQ¸ LNM¸|¸>¸5q ¸>z|¸>Q+O\¸En Qy·jxj²
nE'n
n&x}w
v<xzvw~]opon}
n[vx
nyEv¯n[A}
|n&
n[xzvwn}
l
n4
opy}xj}
x »y
n
®
»|}µx
>n
w®ºz
o0xn1|§'n&v&°Í± Lq[+O\¸
n&|y'}w
}n&
l
Myn[v
®ºQ
n}
3n}vx
nAyvwn& y%}
«}
l
vwnEv¯}w·]³}~
n[v¯y³}µv4}
nxz»nxÇ
opy|}x}w
v}
»En1>n
w®ºz
opn&
x
n[|yn& vwn'}
z®
o0x
w¬
Qv&°¹± Lq&-O\¸n[x
~©|n>nE|nM}1v¯y»n'}µvpx
nAn'{|
}wn[ xzJ}wn
xj}·QnA
'n[|y
nA
« l
l
xz
»ExXv
y|}
A§v
»|}µxn&
®ºw
o Ex
}w§x v
y}w
v&°± L]¸|O
y%}
®ºz
o0vx
n
®º
yE
n'}
*n}v4o
|n&v&¸5yvw¸Í}
l n $
v¯}&¸5}
l
n1v¯}x}wn1vwxzn0v}
y'}wy
n0xÍÍ}
l
n1vwn&
¸
«
w
En
}n[v°ª± L³qS+O}+§vv l
«©}
l
xj}}
l
n1}wn&v
z
v¯}
y'}wy
n
®
} l n}
xvw³}
o0xj}
{Ío0xS~©»En
n{]}
xz%}n&
®º
o`xv}
l
xzv¯}w§
n}
n'}&¸gxzª LqO*}
l
x}}
l
v¨&x»>nyv¯n[ªnÐ0n&M}w~,}
«
Qw¬
«}
l } l n
n[xz
l
xz»n)v¯}x}wn4v¯Exz'n¨$x´³}n
xj}w·zn¨
'n[|y
nz°
n4}
l
n]yo»>n
®
v}µxj}n&v
l
xzvnC>n[%}w·zn&~´»>nn ${|n& ¸}
l
n+
w
»no
z®
on&o
z
~´xz$
o+²
y|}x}w
1}opn¨v}Xoyv¯}<»En¨xz
n[vwvwn& ¸
®ºz
} l
n)]yo+»En
Çz®
v¯}xj}n&vÇn
®
}opxS~0v¯}wX»>n§x
znQ°Ì }
l
Û
v&¸}
l
nyvwn
z®
x
oExz%}´|n&v
}
z
n&vx
«<xS~ } vwx}w§v
®
~] } l n $ v¯}
®
} l n&vwnz¸
xz³}
l
y
l
«}
l }l
nn&n&J}
ͬ
n&n xÍopo+yo
z®
}«
·zn[%}
z
v
z®
n&}
l n Myx}
} l
n´Q
»x
]yo+»En
Çz®
v}µxj}n&v&¸]xz1
vwn
x»~+o
Q
n}
l
xA}«
®ºz
o
Q
n)v
l
§v¯§x}wn[p
w
n&|y
n&vvwy
l
xzv
} l nÜ
Ú
sÛ1opn'}
l
¸|«n¨&x
}xC
z
0}
»>n&
opn)
op§xznM}<xz»
y|}opno
z
~ n My
nopn&Q}µv°
v
®x
xzv4
opy|}x}w
Í}wopn1§v
'n
n[ ¸vw'np}
l
n0]yopn
&xopn'}
l
v4yvwn& x np}wn
x}w·znz¸
}¨v)o
z
}xzM}}
´¬
n&nª»
} l } l
nMyo»>n
¨®
}wn
x}w
v)xª}
l
npxo
yM}
z®
opy}xj}
>n
}wn
x}w
J}
xopo+yo,°
k<l
n]yo+»En
0®
}wn
x}w
vn&n&|n[ }
opy|}n}
l
n$v
y}w
} x
nMy
n&ªxQ'y
xQ'~,|n>nv
$}
l
n+opn'}
l
¹
l
vwng°)±¹xA
n&·]
yvEx>n
¸ LOH¸ })«<xzv)v l
«
l
«
wz
n&%}
0opn'}
l
vvwy
l
xQv3
>xzAÜ
Ú
sÛ0
y§0»En)yvwn&p}
vwy»v¯}xzQ}xz~
n[|y'n
} l
n]yo»>n
*z®
}wn
x}w
vn&n&|n[+«
l
np
opx
n[«}
l } l
n»xzvw
«Çn
on}
l
°*|}w
xz~z¸
v opn
n&vwy}v«n
nx§v
Q·Qn$
'n
p}
l
n|n&·zn
on&M}
®
n&
|}w
0v¯}
xj}wn&zn&v<}
l
xj}
o0xS~1»>nyvwn&}
v¯>nn[A}
l
n4}wn
xj}·Qn¨
w
n&vv<n·zn&
®y } l n
¸»y}oy
l «
z¬
v}
no0xv<}
»En
n¹}
l
v¨x
}y§x
o0xzg°± }
l
v¨Ex>n
«n
nM}
xj}n
Í
'n&y
n[v}
l
xj}xz
« yv
}
$¬
n&n©}
l
nAxo
yQ}
z®
opy}xj}
©En
}wn
xj}
Í}
x,opo+yo,°ªÛ]En['$Exz~z¸«n0«v l }
v¯}wyE|~A}
l
n
v¯}
®
En
¯®ºQ
op1x0o0xj}
{]²H·Qn&'}
z
o+y³}§x}w
$«
l
n&,}
l
no0x}
³{,vv}
z
n&,xzvx
opxQ%}Û|
|n&v
}
z
¸5vwE'np}
l
v4§vx$v¯}wn&¹}
l
xj}§v
®
yExopnM}µx*}
x³}n
xj}·Qnopn}
l
v
xzv»]~
®x
¸]}
l
n4o0x
Q
v¯}En
³}n
xj}
g°
±\}Ív¹«Çn&²
¬
«}
l
xj}Í«
l
n } l nJo0x}
n&v$}
l
xj}
n&
n&vwnM}$}
l n xy|}
o0xj}µxÒ
M}x
~
v¯}xzM}<·jxzyn[v¸]}
l
n
v}
z®
>n
w®ºz
oppxpo0xj}
{]²H·Qn&%}
z
oy}w~A§v<z·zn&»]~
¼ ½ ¾ ½
¿
ÀÁÂ Ã À Ä ½
Å
ÀÁÂ Ã À
« l n n à À
§v)}
l
n0Myo»>n
z®
v¯}xj}n&v¨Í}
l
n0È ÉZÊ
xy}
o0x}
©xE¹Ë §v)}
l
n0]yo+»En
4®
xy|}
o0xj}µx
} l nAn}«
Qw¬
°$Ì
l
n& } l nxzy|}
opx}xªx
nA
}n>n|n&M}&¸*«
l
§
l
§v+xz«<xS~|v¨}
l
n´xQv¯nQ¸
Aº®ºz
}l n
Ǥvwn}
l
no
|nxz´»>n
opn'}wn&~,|n[
op
vwn&,xEA}
l
nn{|xQ%}v
y|}w
$
opy|}n&
®º
o
} l n<v
y|}
z®
} l
nÇ|·]|yEx|n&n&v$B%¸S}
l
n]yo+»En
®
o+y³}§x}w
v*&x»>n&
opn<oy
l
x
Qn
°
ÌÍn4
·]|n4x]yo»>n
®
nopo0xzv}
l
x}x
«yv<}
v l
«Ò}
l
xj}}
l
§v
n&x}w·zn&~Avwo0x ]yo»>n
z®
En
x}w
v§v)vwy|Ð1'nM}¨Ío0x]~ªxQv¯n[v«
l
l } l
n0xy}
o0x}xAx
n
})|n&En&|nM}[¸5x«Çn
v
l
«
l
«Ò}
l
nxy|}
o0xj}µxv l
y»>nx
xzzn[0}
xQ
l
n&·zn)}
l
v&°
y
xzEn
§v´v¯n}
y|},xQv
®º
«v&° ±Ï}
l
nÍn'{]}$v¯n[%}
Ò«ÇnÍ
·]|n¹x ]yo»>n
,z®
»xzvw§
w
En
}n[v
z®
}nv
z
xzQn»
x«
l
l
«n«|nn[}
l
y
l
y|}}
l
nx>n
°Û|n&%}
0
n[v¯n&Q}µv}
l n
n&v
|}
z¨®
x´Û
xE»
n ~
n·]n«v}
l
n0nCXn&%}µv
®
v¯~]
l
Î&n·QnM}v4xz
®
y%}
x
} xzvw³}
x}wn[v°
k<l
n´»xzvw|n&v
|}
Q
²\·zn[%}
Q
oy³}§xj}
J
'n[|y
n1vQ·Qn Û]n[%}
xz¶x¶x
Q
}
l o
w
·]§|n&
®ºQ
} l nª
®
yE%}w
Ex&xzvwnz°Ò± ÒÛ]n[%}w
ÒÍ«n$M}
w
|yn,}
l n
Qnn
xzÎn[}wn&v
Q
w
|y'}
n|}x1
w
·Qnx]yo+»En
<®
nopo0xzv<
'n
4}
l
§vÇ
w
|y'}&°
k<l
n n[v¯y³}
z®
} l
n[v¯nAn&oo0xQv+xz
«v4yv}
|n&·zn&
x x
Q
}
l o
®ºQ
n'Ð1n&Q}~©
opy|}wx
n&v
|}
z
²H·Qn&'}
z
|y%}3xz+}
l
§v*§vv l
«p1Û]n[%}w
0°
k<l
§v*§v
®º
«Çn[»]~+v
opn]yopn
§x
n{|En
opnM}v<ªÛ]n&'}w
)Nx
y
yEv¯
vªÛ]n&'}w
°
(4'*Í ,+
6
# ,*(
!n$En¨}«
o0xj}
§'n[v x xzv
®º
«v
¾
ÂwÂ
Â
µÂ
Ã
¾ "!
ÂwÂ
!
Â#
!
Â$
!
Â#%
!
µÂ
!
&
!
$
!
&%
!
$µÂ
!
$&
!
$$
!
$&%(')+*
k<l
n
<G9@%-,
¾
/.0?§vQ·Qn´»M~
,
¾1
ÂwÂ
Â#
µÂ
&
A
q+B
± zn&n
xH¸}
|n $n´}
l
n}nv
z
|y'}
z®
}«
o0xj}
§'n[v¸2
z®
|opnvw
v A¼
ÂpÄ3Â BxE
z®
|opnvw
v A¼
Ä435
B%¸g}§v)
]·zn&nM}}
,
»vwn
·zn}
l
x})}
l
n}wn&v
Q
w
|yE%}4o0xj}
{
l
xzv
opnEv¯
v A¼ Â ¼
Ä43Â36
B)xzo0xS~ª»>n0
v¯§|n
n[xzv4
vw§v}
®
¼
Â73Â
»
¬
v¨n&xz
l¹l
xS·]
opnEv¯
v A¼
Ä36 B'¸Xa°nz°¸>}
l
n|opn&v¯
Ev
z®
1°
k
vw>n&'
®
~$x0x
}yx
n&n&on&M}&¸X³}¨v¯yÐ0n&v
} vwEn['
®
~´}
l
n»
¬
«
l
§
l } l
nnnopn&Q}
'y
vx,}
l
n
v¯}w
ª«}
l
}
l
x}»
¬´z®
}l n
n&n&opnM}+yE|n
vw|n
x}w
g°
k<l
yv¸* } l n,x»
·zn1n{|xzopnQ¸}
l
n´nnopn&Q}98
%7:
A¾
&
!
Â$
Bv
¹}
l n A Æ B»
¬
xz¹x})
vw}w
Aq Æ B
®
}l x}4»
¬ ° k<l
n}wnEv
Q
w
|y'}
, ¾ ;.< v
n$n[©»]~ÍxQvwvwQ,}
l
nnnopnM}
z®,
} l
x}v+©}
l n AÈ Æ>=
B4
vw³}
®
»
¬ AÈÂ Æ?= Â
B'¸}
l n
·jxzyn
ÀA@?B@
!
ÀDCEBEC
°*ÌÍnv
l
x «
}wn)}
l
vxQv
8FHG
ÀI@KJB#@#LNM
G
ÀDCHJBECLNO
¾ À@ B@ ! ÀC BC *
k<l
n
* <@& 1 z®
}«
)HP%#
o0xj}
§'n[vQ xR §v|n $n[ª$}wn
o0v
®
}wn&v
z
w
|y'}v
xQv
/S0 ¾ T./UHV
CXW UHV
@
./
A B
« l n n à Â
§v}
l n
z
|n
®
&E
à } l n
z
|n
®
E U V } l
n§|n&Q}³}~´o0xj}
{
z®*z
|n
à x
W
n
n[v¯n&Q}µv}
l
nyEv¯yxz
>n
xj}
z®
o0x}
³{pxz|}w
5°Û]n»
} l
vw|n[v
®
} l
v
En
x}w
A
o0xj}
{
xQ|}w
Bo+yv}
l
xS·Qnǧ|nM}&x||on&vw
v¸z³}
®º
«v5}
l
xj}}nv
z
xz|³}
§v*|n$En&
®ºz
v QyEx
n
o0x}
n&v
~Q°*Û
opn4op
z
}xzQ}
>n
}wn&v
z®
}nv
z
|y'}vxE´xQ|}w
vx
n
vv
x}w·M}~
T.
A . , B ¾ A
T./5B . ,
xE /S
A S , B ¾ A
TS/5B S , °
!§v¯}
»y}w·M}~
·Qn
AºQ
x
~0o0x}
³{%B<xz|³}
A W
5B . A?,
W
B ¾ T.
, W
. , W
T.
W . °
opx}w»}~A«}
l AºQ
|x
~0o0xj}
{%BÇoy}w&xj}w
A Ä
5B . A?,
Ä B ¾ A
T.
, B Ä A .
B'°
opx}w»}~A«}
l AºQ
|x
~0o0xj}
{%BÇ]·zn
vw
A
T./5B
 ¾ Â
.0 Â °
k<l
nxQvwv
'§xj}w·]³}~,
>n
}~$on&v)}
l
xj}¨}
l n
En
x}w
v
½
ÁÂ G L
xz
½
ÁÂ
G L x n+«Çn&
n$n[ °±Ex
}w§'y§x
¸
»vwn
·znÇ}
l
xj}*}
l
n<}wnEv
Q
vwyo
®
Ë }n
opvo0xS~4»>n«
}¯}n0xzv}
l n A
yEv¯yxzB
o0x}
³{vwyo
®
Ë}n
opv&¸|n&xQ
l
}n
o
vwv¯}w
®
x,Ë,²
®º
§1}nv
z
|y'}&°*ÌÍn
l
xS·zn
½
ÁÂ
G L ¾ ½
Å
ÁÂ U V @
. ./U V
@
.0 G L
./U V
@
. .0U V
Æ
« l n n Ã
§v<}
l n
Q
n
<®
} l n4o0xj}
{ G L xU
V
§v<}
l
n4|n&M}w}~1o0xj}
{
®z
|n
à °
k<l
n
En
x}
z
v .x4S x
n
}
oo+y|}x}w·znQ°
«Çn&·zn
¸M«Çn¨v
l
x
l
xS·zn)nn[
®
xEv¯n&y
²
opoy}xj}·]}~
w
En
}~A}
l
x}o0xS~»>n
®ºQ
o0xzÎn[$xzv
®º
«v&°gn'} »Enx0>n
oy|}µxj}w
z®
}l n
vwn'}
®
M}nzn
Lq
Æ Æ
***
Æ
Ë>O\°
k<l
n&}
l n
npn'{|v¯}v¨xEn
o+y|}x}w
¹opx}
³{ ¸ "!X¸
®Çz
|n
$#
½
ÀÁÂ
à À ¸ vwy
l } l
x}
½
%
ÁÂ
G L ¾ "!
½
%
ÁÂ G! G LL
&
! *
]®®
} l
§v´
w
En
}~ o0xS~¶»En
®º
yÒ L|qO4«
l n
n&'(! §v´n'{|³}~ Q·Qng°?Ñy
} l n
®ºQ
o0xj}
´
n
}
l
n4
>n
}wn&v
z®
}wn&v
z
xzn&»
xo0xS~1»>n
®º
yE !xS·]
LqzqOH°
)
.01Ç2,(4g*'
6
"+7d()(89;<X=?*@1
ÌÍn3
vwn
xv¯}
l
xQv}*xzy|}
opx}x<n}«
Qw¬
} l x}
vwv¯}v
z®
Ë?|·]yxMv}
l
xzv¯}w§*xy|}
o0xj}µx
} l xj}xz'}o
z
n
z
n[vwvE|n>nnM}w~
®
n&xQ
l4
} l n ° k<l
nÇ]yo»>n
®
v¯}xj}n&v}
l
n+*]ÉZÊxzy|}
o0xj}
v l
xzX»>n)|n&
}n&»]~
Ã
®ºz
* ¾ q Æ Æ
***
Æ Ë ° Ú v¯}
z®
}wn5¸
n vÇ
x>v}
l
n)
opy|}µxj}
®
}l n
v¯}x}w
x
~,
»Ex»}~ª|§v}
»y|}
g¸ ,*¸
Q
}
xvwn&M}¨|§v¯}
»y}w
v4x}¨x
»}
x
~´}wopn&v.-%¸ , A- B%¸
z®
} l n
·zn
xz Ë0/||opn&v¯
Ex v¯~|v¯}wn&o´°
N
k<l
y
l
y|}+}
l
§v0x>n
¸3«n,
n&vwnM}
n&vwy}v
J}
l
n$»xzvw§v
z®
M}w]y
yv¯²H}won$Û|
v&¸<xz³²
}
l
y
l }l n
n&vwy}v4x
npnMyxz~ª·jx¹¹}
l
n1
M}wn'{]}
®
|§vw
n}wn²a}opn1Û|
v°´Ü)·Qn©Ë
'
% %
v¯}
l
xQv}xy|}
o0xj}µx¸
G
ÂL
Æ G
L
Æ
***
Æ G½ L
¸]«}
l
xzvv
'§xj}n&0 $³}n&vwo0xXQnn
x}
z
v&¸
G
Â#L
Æ G
&L
Æ
***
Æ G½ L
¸|xz0
»xz»}~v¯}
»y|}w
v , G ÂL
A- B Æ , G L
A- B Æ
***
Æ , G½ L A- BÇxj}Ç}won-%¸M}
l n
$³}n&vwo0x3znn
xj}
Qz®
} l
n1Ë0/]opnEv¯
xz*v¯~|v¯}wno,¸«
l
l
«n1v
l
xz
n ®n }
xzv)}
l n I@ K$#
IJ 9#
¸§v<z·zn&»]~
¾ ½
ÁÂ
G L ¾ ½
Å
ÁÂ UHV
@
. .0UV @ . G L
./UHV @
. ./UHV *
k<l
n)
w
»x»³}~Av¯}
»y|}w
®
}l
nË$²\|opnvw
xzgv¯~|v¯}wno xj}}wopn-3§v
, A-B ¾ ½
%
ÁÂ
, G L A- B *
³}
l
y
l
vwy
l
v¯~|v¯}wno0v)o0xS~$n'{|§v}[¸X}
l
npo
z
n+yEv¯yxz*xzvwn
&'y
v)«
l
n¹}
l
n+}
xEv¯}w
v
z®3
n
xzy|}
o0xj}
©opxS~Í|n>nE
©}
l
nv¯}x}wn
®
xªvwn&
g°
k<l
n nAx
n0»xzvw§x~ª}«
«xS~|v4 « l
§
l
v¯}
l
xQv}¨xzy|}
opx}x+M}n
xz%}
qz°
k<l
n xj}wn4x}«
l
l
x}
xEv¯}w
´o0xS~
'y
n¨xzy|}
o0xj}
o0xS~1»>nx
?@ 0®
}l n
v}µxj}n
®
}l n xy|}
o0xj}µx°Û]y
l }
xzv¯}w
Evx
n4&xn[
" #
} xEv¯}w
v&°
|° } xvw³}
n0xy|}
o0xj}
¹opxS~
@9$
x}
xvw³}
ª}
y
n
Q
o
Q
n } l n
xy|}
o0xj}µx°)̹nx
«
®ºQ
» } l } l n+
vv¯»}~
®
x 1 #$%# )
n§xj}w
Ev
l
g¸>¹«
l
§
l
x0xz'}w
+
n<xzy|}
o0xj}
A}l
no0xQv}n
BxQ%}yx~
&xQv¯
vx}
xEv¯}w
+
n
Q
o
z
n
} l n
xy}
o0x}x A} l
n<vw§xS·zn&v$B%¸jxz
®ºQ
} l nxQv¯n
®
x
9
«
l
l } l
n<
n&vwnE'n Aºz
x»vwnE'n+B
z®
}«
4z
o
Q
nxzy|}
opx}x)1|n&vwQxj}n&pv¯}xj}n&v*&xyvwn&v AZz
n·QnM}v$B}
xEv¯}w
v
}
¹
&'y
°,̹n
n ®n }
vwy
l }
xEv¯}w
v
n&%}·Qn~yE|n
} l
nAxopn
z® , 9 ' JI
} xvw}w
v&°Û]~]
l
Î}
xvw}w
vo0xS~Ax§v
»>n
®
y'}w
xza°
k<l
n´n&n&opnM}vpJ}
l
n,o0xj}
{
n&
n[v¯n&M}xj}
z®
x]~Jvwzn´v¯}
l
xQv}´xy|}
o0xj}
x
nn&³}
l n
v¯}xzM}v&¸H°nQ°¸
n&Qxj}·Qn
n[xÇMyo»>n
v¸
z®
y%}
v
®º
o}
l
nAz
»Ex3v¯}x}wnvwxQ'np}
}l n
n&Qx}w·zn
n&xzv&°
k5
xvw}w
xj}n&v}
l
x}¨|n&En&
~
ª}
l
npv}µxj}wn
®
} l npxy|}
o0xj}
ª}vwn
® ¸
xz }
J}
l
nv¯}x}wn
®
x]~
}l n
xy|}
o0xj}
g¸<x
n´}
xM}wnM}µv1x y
vwn&v&¸
v¯}xzM}
} xzvw³}
xj}n&v&°p vw~]
l
Î}
xvw}w
ÍopxS~»En0n&³}
l n
4®
y%}
x
Q
Ev}µxM}&°0± x]~
Q·QnÒxzy|}
opx}
g¸}
xEv¯}w
v1}
l
x},x
n
},v¯~]
l
Î& } xvw³}
vAx
n¹vwxz¶}
»>n
H$#
} xzvw³}
v°
! #"%$'&)(+*,- ./0$+,-132415,678'!,+"09
5n'}4yvn
}wnp»]~
G L
: Æ * ¾ q Æ Æ
***
Æ Ë ¸ } l n0opx}
³{Í
Ev¯§v}
~
®
} l n}
xEv¯}w
v)}
l
xj}
x n
&xÇ}
G L °
k<l
ng¸}
l
n,x
}
®
} l n,z
»xzÇ $}wn[v¯o0x<zn&n
xj}
z
} l x}0
vw§v}µvy³²
Myn&~
®
&x¨}
xEv¯}w
v,o0xS~Ò»>n
»|}xzn[ »M~
®ºz
o¶}
l
n©}wn&v
Q
v¯yo
®
} l n o0xj}
§'n&v
