• Keine Ergebnisse gefunden

An Improved Method for the Computation of Affine Lower Bound Functions for Polynomials

N/A
N/A
Protected

Academic year: 2022

Aktie "An Improved Method for the Computation of Affine Lower Bound Functions for Polynomials"

Copied!
10
0
0

Wird geladen.... (Jetzt Volltext ansehen)

Volltext

(1)

"!$#%'&)( * &,+-.#/( 01#2!3+-4&657#2 98:+<;=+>?#@ #A0CB .&

D #EF&)!HGI#28JK( L98J.M,+<>N#2/OF0P#@!RQ#2SUTK.#2 >V;WSXO

YZ

[

\]^`_

abdc

e

=f hg ikj3ml

n"o$pqsrPtpdumvw4xyPzdw|{~}br|vmp{€p‚ƒt^r„zdv†…t‡r1{~ˆŠ‰p‹ƒŒ?pd}oŽw|…t^r„{€ˆ

4wm)‘m’Ž’d“,‚tŽ{”•Ž•$–

Œ—xx˜ ‘™š–$•h›–šœ$œ’



ž Ÿ„¡

£¢s¤„¥U¦€¥U§¨£¢©

¡Nª

¢«¥¬

¡?ª

§¨­)®«¯|°²±

ª£¡Nª

§¨³

ª

§¨­



ž Ÿ„¡

£¢s¤„¥U¦€¥U§¨£¢´µ¯·¶¹¸º¦¬

¡Nª

§»­k®|¯|°´µ¯·¶¹¸º¦¬

¡Nª

§¨¸º¯„³~¼½§¾³€³€¥¯„³€£¢

¡ ¶ª

¿

¯«§»ÀV¥¦£³~§

ªÂÁ¡?ªšÃ

¸º¯|³ ª¡

¯«Ä

Ÿ„¡

£¢=ÅÆUÇVǫȄÉNǺʗ˗É

Ã

¸º¯„³ ª£¡

¯«ÄVȷ̘¥U¦€¬

¡

¯—Í

Î ¬ ¡

§»ÏÑзҫ¦¥Ò«¦§¨¯

ª

³£Ó§¨¯·¶¹¸V¦€¬

¡Nª

§»­PÔ®«¯«§Ö՗­V¸º¯|³ ª¡

¯«ÄºÔ°·¥

×/×/× ª€ª ¡Nª ª¡ ª

Konstanzer Online-Publikations-System (KOPS) URL: http://www.ub.uni-konstanz.de/kops/volltexte/2007/2215/

URN: http://nbn-resolving.de/urn:nbn:de:bsz:352-opus-22156

(2)

9

,$;:%$<=)+,<>? ?@A,BDCE)F&GBH>

IJ

KL+MONQPARSLUTWVXYZ[\P]^L+N`_bac*d^egfih+jlk

m nopqr%sgtu8pv+rwo

x

fWP]fyP^MzS|{}V~P€ON}‚TiV_ƒN`L…„†V~KP]ˆ‡‰KPl{}h+fiV~Pˆ‡‰VOL…S.M~fiONQPŠ‡‰KPl{}h+fiV~P‹fyŒEVO‡wlSLUSOe…V~KPŽhfWe…†VOL+h+SOP{}N

fWPzM~TiVO„lSOTVOlh+fWegfiQSh+fiV~Pz_‘j^NQPASg„LUSOPl{Uj.SOP]’„†V~KP]zSL+V~SO{“jAfWŒwKŒHNQ]cw”‡(ŒH†NQ{`fWSOTfWPŽhHN`L+NQŒHhSL+N

{}V~PŽON}’NQP€ONQTiVO†NQŒ`Z*f•c–NOciZKPfi‡‰VOLUegTW—g„†NQŒHhKP]^N`LUNQŒHh+fWegSh+fWPM{}V~PŽON}’‡‰KlP{}h+fiV~PŒ`Z^{}‡Dcw˜–™šZ*›œZQž Ÿ¡c

¢

NQ{`SOKŒHN£VO‡¤h+j^NQfiLŒ+fWe…lTyfW{`fih¥—.SOP]¦NQSOŒHN£VO‡,{}V~e…lK^h+Sh+fWV~PZ8{}V~PlŒHh+SOP€hSOP]‹S§¨P^N¨TiV _GN`L„†V~KP]

‡©KP{}h+fiV~PŒ8SL+N¤NQŒH†NQ{`fWSOTWTW—%KŒHN`‡©KT•c8ªƒV~PlŒHh+SOP€h6„†V~KPl]%‡©KP{}h+fiV~PŒ8SL+N¤h+j^VOL+V~KM~jTi—EKŒ+NQ]E_‘jNQPfyP€hHN`L+SOT

{}V~e…lKh+Sh+fiV~P¦hHNQ{UjlPfW«œK^NQŒ%SL+NgS*TWfiNQ].hHV’M~TiVO„lSOT(VOh+fWegfiQSh+fWV~PZ{}‡¬cz˜®­šZ'¯šZ(O}Ÿ¡cg°wV_ƒN`ON`LQZ_‘j^NQP

KŒ+fyP^Mz{}V~PŒHh+SOPŽh„V~KlP]±‡©KP{}h+fiV~PlŒ`Z8SOTyT²fWP^‡‰VOLUegSh+fWV~P±S„†V~K^hEh+j^N4Œ+jS†N³VO‡,h+j^N³M~fWONQPˆ‡©KP{}h+fiV~P‹fWŒ

TiV~ŒHh`cb[{}V~e…L+V~egfyŒHNz„†N`h¥_ƒN`NQP#{}V~P€ON}#NQP€ONQTiVO†NQŒ`Z‘_‘jfW{“j´L+NQ«œKfiL+N’fyP´h+j^N.MONQP^N`LUSOT\{`SOŒHN|e<K{“j

{}V~e…lKh+Sh+fiV~PSOTN}XVOLUh`ZSOP]4{}V~PŒHh+SOPŽhTiV_ƒN`L,„†V~KP]³‡‰KPl{}h+fiV~PŒƒSL+NS§¨P^NTiV_ƒN`L,„†V~KP]¨‡‰KPl{}h+fiV~PŒ`c

µ

PŠ˜–¶·Ÿ8_GN…{}V~P{}NQPŽhHLUShHNV~P|Œ+K{“jz„†V~KP]z‡‰KlP{}h+fiV~PŒ‘‡¸VOLe<KlTih+fiSLUfWShHNE†V~Ti—šP^V~egfySOTWŒ`c¹j^NQŒ+NE„†V~KP]

‡©KP{}h+fiV~PŒSL+NA{}V~PŒHhHLUK{}hHNQ]´‡¸L+V~eh+j^N’{}VŽN`§³{`fiNQP€h+ŒgVO‡wh+j^NzN}œlSOPlŒ+fiV~PŠVO‡h+j^NºM~fiONQP †V~Ti—šP^V~egfWSOT

fWPŽhHV

¢

N`LUPŒ+hHNQfWPz†V~Ti—šP^V~egfySOTWŒ`c

x

VOLL+VO†N`L+h+fiNQŒVO‡

¢

N`LUPŒHhHNQfWPz†V~Ti—œPV~egfWSOTWŒ,h+jNEL+NQSO]^N`LfWŒwL+N`‡‰N`L+L+NQ]

hHV?˜–žšZ,»^Z%`¼^Z%Q™Ÿ¡c

µ

P7h+j^N±KPlfi·SL“fWShHN.{`SOŒ+N±h+j^N¦{}V~e…lK^h+Sh+fWV~PSOT_ƒVOL+½¾‡‰VOL’{}V~PŒHhHL“K{}h+fWP^M Œ+K{“j

„†V~KP].‡©KP{}h+fiV~PŒfyŒ%P^N`M~TWfiM~fW„lTiNOZ†„lK^h%fWP|h+jN¨e<KlTih+fiSLUfWShHN…{`SOŒHN³SzTWfWP^NQSLL+VOMOL“SOegegfWP^MºlL+VO„lTiNQe

jSOŒ¤hHV…„†NŒHV~TiONQ]c

µ

P£h+j^N„LUSOPl{Uj4SOP]4„†V~KP]³‡¸L“SOe…N`_GVOLU½³fih,egS—£jSlNQP³h+jSh,V~P^N%jlSOŒ¤hHVgŒHV~TiON

Œ+K^„lL+VO„lTiNQe¨ŒV~P‹PœKe…N`LUV~KŒ<ŒUK^„„†VQšNQŒEVO‡,h+jN£ŒHh+SLUh+fWP^M.L+N`M~fiV~PZ6ŒHV.h+jSh‡¸VOLjfiM~j^N`L]fWegNQPŒ+fiV~PŒ

ŒHV~TišfWP^Mh+j^N<TWfWP^NQSL¤L+VOMOL“SOegegfWP^M…lL+VO„lTiNQegŒƒ„†NQ{}V~e…NQŒwSg{}V~e…lK^h+Sh+fWV~PSOT„lK^L“]^NQPc

µ

P¦h+jfWŒ%lS†N`L_GNglL+NQŒHNQPŽhES’e…N`h+j^Vš]¦‡‰VOL<{}V~PŒ+hHLUK{}h+fWP^M’ŒUK{Uj±S§³P^N¨TiV _GN`L<„V~KlP].‡‰KPl{}h+fiV~PŒ

‡‰VOLƒ†V~Ti—šP^V~egfySOTWŒ6_‘jfy{UjgLUNQ«ŽKfWL+NQŒ(h+j^N{}V~e…lKh+Sh+fiV~P£VO‡'Œ+TiVO†NQŒ`ZŽh+j^N\Œ+V~TWK^h+fiV~P³VO‡'SŒH—œŒ+hHNQe¿VO‡TWfWP^NQSL

NQ«œKSh+fiV~PŒ`ZƒSOP]´S¦ŒHNQ«œK^NQP{}NzVO‡w„lSO{U½ Œ+K^„lŒHh+fWh+K^h+fiV~PŒ`cŠ¹jfWŒ…egN`h+j^Vœ] fyP‚MONQP^N`LUSOT,L+NQ«œKfiLUNQŒ‡¸N`_ƒN`L

SLUfih+jle…N`h+fW{VO†N`LUSh+fiV~PŒ,SOPl]’jSOŒTiV _GN`L\{}V~e…lTiN}^fih¬—³h+jSOP’V~K^LL+N`šfiV~KŒ,SlL+V~SO{UjzfWPˆ˜–¶ Ÿ¡c

¹jN³VOL+M~SOPlfWŒ+Sh+fiV~P‹VO‡‘h+j^N£lS†N`LfWŒ<SOŒ‡‰V~TWTiV _‘Œ`À

µ

Pˆh+jN£P^N}šh…ŒHNQ{}h+fiV~PŠ_ƒN£LUNQ{`SOTWTGŒ+V~e…N4„lSOŒ+fW{

]^N`ÁlPlfih+fiV~PŒGSOP]£L+VO†N`L+h+fiNQŒ²VO‡

¢

N`LUPŒHhHNQfyP¨†V~Ti—šP^V~egfWSOTyŒ`c[w§¨P^NTiV_ƒN`L,„†V~KP]¨‡‰KPl{}h+fiV~PŒG„lSOŒHNQ]£V~P

¢

N`LUPŒHhHNQfyPzN}šlSOPŒ+fWV~P’hHVOMON`h+j^N`L_‘fWh+jASOPAN`L+L+VOL\„†V~KP]zSLUN<LUNQŒHNQP€hHNQ]|fWP|dœNQ{}h+fiV~P|™œc\¹‘j^NEL+NQŒUKTih+Œ

SL+NEfyTWTWKŒHhHL“ShHNQ]³„œ—4PŽKegN`LUfW{`SOT†N}^SOe…lTiNQŒfyPzdœNQ{}h+fiV~Pº»^c

x

fWPlSOTWTi—OZ^ŒHV~e…NE{}V~Pl{`TWKŒ+fiV~PlŒ,SL+N%M~fiONQPc

ÂHÃÄÅÆUǡȮɓÊ.ËÍÌwΏˮϡкϡРÑ<ҷƓӥÐÔOѬǡÑÕˮӬкָנØÙÉUÇ¡ÚÆUÏ¡Ë®ÛOÜÒƓӥзРÉ`ӬР̕ӬÐQÝ·È®ÑEÞ6ÉFנ̩ϥƓ׷ߓÜàšÉ“Ì©Ï•ØiƓӥЦáHâ“â}ãUäFåÜ(æ8ç‰èUé“ä}âFã

Þ6ÉFנ̩ϥƓנßƓ׷êΏˮϡÐgϡзÑwÒÆUÓ¬ÐQÔOÑDÇ¡ÑÕˮӥÐ4ëÆ+ϡзÑÕÚÆ+Ï¡Ë®ÛÝ·×·ê³ì`Ï¥ÆUϡˮ̩ϡˮÛOÜí×·Ë®î}ÑDǡ̕˖Ï+ïÆUσÞ6ÉFנ̩ϥƓ׷ߓðÑÕÚƓˮÈiñwò}ÆUÇ¡È®ÉUʎóØÙРç

Û}ɓ׷̩ϥƓנßFÄê Ñ

ô¬õ

Äà^Ä·ìQÚ,ˮϡÐˮ̆Ώ˖ϡБϡРÑ8ָ׷̩ϡ˖ϡݠφءïÝ Ç

õ

×·òFѬÎƓ׷êÏ¡Ñ8ҷɓǡ̕ӥÐQÝ·×·òÜ ÒƓӥзРÉ`ӬР̕ӬÐQÝ·È®ÑÞ6ÉF×·Ì©Ï¥ÆU×·ßFÜ àšÉ“Ì©Ï•ØiƓӥÐ<áÕâFâFãUä}åQÜ

æ8ç‰è“éUä}âFãƒÞ6ÉF×·Ì©Ï¥ÆU×·ßFð ÑÕÚÆUËÍÈiñl̕Ú,˖ϡÐOóØöРçyÛ}ÉFנ̩ϥƓנßFÄê Ñ

(3)

N‘]^N`Á*P^NƒeKTih+fyfWP]fW{}NQŒ !#"%$'&zSOŒ6ONQ{}hHVOLUŒ`ZŽ_‘j^N`L+N¤h+j^N)(º{}V~e…†V~P^NQPŽh+Œ6SL+NP^V~PPN`M~Sh+fiON

fWPŽhHN`MON`LUŒ`cº¹j^N¨ONQ{}hHVOLUŒ¼zSOP]¾¨]^NQP^VOhHN³h+j^N³eKTih+fyfWP]fW{}NQŒ\_‘fWh+jˆSOTWT({}V~egV~PNQP€h+Œ<NQ«ŽKlSOT(hHVA¼zVOL

ZL+NQŒ+NQ{}h+fWONQTi—OZ_‘jfW{“j¦Œ+j^V~KTy]AP^VOh%{`SOKlŒHN…SOeE„lfWM~Kfih¥—OcgªƒV~e…*SLUfWŒHV~PŒSL+N…KŒ+NQ]|NQP€hHL+—œ_‘fWŒ+NOc<[\TWŒHV

h+j^N¦SLUfih+jle…N`h+fW{.VO†N`LUShHVOLUŒ4V~P eKTih+fWfWPl]fW{}NQŒ¨SLUN|]N`ÁlP^NQ]7{}V~e…†V~P^NQPŽh¥_‘fWŒ+N|ŒUK{Uj7h+jSh*,+.-zÀ/

+0- 1" +0-" $ & Z‡‰VOL2+3345687)SOP]:9*‰_wfih+j;-=<´¼>$“c

x

VOL@?BA;C

"

fWh+Œ,e<KTWh+fi†V_ƒN`LUŒ,SL+N

?EDÀ/

"

F

GIH

?EDKJ

G ՝!$

L

KTih+fi†V_ƒN`LUŒVO‡weKTih+fyfWP]fW{}NQŒESL+N’P^VOhL+NQ«œKfiL+NQ]Šj^N`L+NNM,fWPŒ+hHNQSO]‹_ƒNºŒ+jSOTWTƒ_L“fihHNOQPI

"

‡‰VOLgS

ŒHNQ«œK^NQP{}N%VO‡(O47%eKTih+fyfWP]fW{}NQŒQc

x

VOLwh+j^NEŒ+Ke _ƒNEKŒ+Nh+j^NEP^VOh+Sh+fiV~P

R

SDH P

À/

RUT

S

DT H P

RWV

S

DV H P •ž8$

[0e<KTWh+fi·SL“fWShHN†V~Ti—œPV~egfWSOTYXzVO‡]^N`MOL+N`NZ-[\-# !-]"%$'&‹{`SOP’„†NL+N`LUNQŒHNQP€hHNQ]ASOŒ

X?^$_

R

SDH

Pa`

D

?aD _‘fih+j

` D

AbCb+¼Ocdecf-g‘SOP]

`

R_h

¼i •™8$

¹j^N6¥h+j

¢

N`LUPŒHhHNQfWP’V~TW—œP^V~e¨fWSOTVO‡8]^N`MOLUN`NZ-fWŒ

j D

?$ƒÀ/lk

-

#m

?ED՝5n?^$

RKo

Dg ‰»Y$

_‘j^N`LUNh+j^N‘MONQPN`LUSOTWfi`NQ]¨„lfWP^V~egfySOT^{}VŽN`§¨{`fWNQP€h¤fWŒ(]^N`Á*P^NQ]g„œ—np

R

D]q À/

"

r

GsH pRJ

DKJ!q

ZœSOPl]t?ºfWŒ({}V~PŽh+SOfWP^NQ]£fWP

h+j^N‘KlPfih6„†VQtuv ˜¼iQFŸ

" c µ

h²fWŒ6_ƒNQTWTUw¡½šP^V _‘P…h+jShGh+j^N

¢

N`LUPŒHhHNQfyPg†V~Ti—šP^V~egfWSOTWŒ8‡‰VOLUe S%„lSOŒ+fWŒ(fyP…h+j^N

ŒHlSO{}NVO‡6eKTih+fiSLUfWShHN\†V~Ti—šP^V~egfWSOTWŒQZœSOP]4NQSO{“j’†V~Ti—šP^V~egfWSOTfWP4h+j^N‡‰VOLUex•™8$,{`SOPº„†N\LUN`L+NQŒHNQPŽhHNQ]

fWPºfih+Œ

¢

N`L“PŒHhHNQfWP4‡‰VOLUe"V ON`Lu

X=?$y

R

SDH

Pz D j D

?^${ •¶8$

_‘j^N`LUNh+j^N}|~€ƒ‚%„ƒ…'~ †‡‚‰ˆŠ1~\‹Œˆ †#~‚a…„

z D

SL+N%M~fiONQP’„Ž—

z D D

S

 H P pD

 q

p R

 q ` 

‡¸VOL ¼tcdecf-g Ž8$

[b‡‰KPl]SOe…NQPŽh+SOTL+VO†N`L+h¬—¨‡‰VOL‘V~K^LSlL+V~SO{UjAfWŒ,h+j^Nˆ{ŠI‚’‘I~“O”>•i–‡–%—a€˜Šƒ—%~€…\™

š k ?

X?$˜m

ÀN?BA;uœ›0ŒžƒŸs(^ 

š k

g9s-

z D m

ÀŽ¼¡cd¢cf-ƒ›O ¡­N$

_‘j^N`LUN…h+j^N¨{}V~PŽON}ˆjŽKTyT6fWŒ]^NQP^VOhHNQ]ˆ„Ž—£žŸ1(^ *c³¹jN…V~fyP€h+Œ p D]¤

R

¥¦

q

SL+N¨{`SOTyTiNQ]fˆŠI‚a…\€˜ŠI–œ—iŠI†‚E…„VO‡X'c

¹j^NNQPl{`TiV~Œ+K^L+N¡­N$¤—œfiNQTy]Œ¤h+j^N%fWP^NQ«œKSOTWfWh+fiNQŒ

e¨fWP§

z D

À~¼cdecf-Q¨}c£X=?$©c´e¨S·a§

z D

À~¼tcdecŒ-'¨ •¯8$

(4)

‡‰VOL³SOTWT)? Aulc VOL£NQSOŒHNAVO‡\lL+NQŒHNQPŽh+Sh+fiV~P´_ƒNAŒ+jlSOTWT,ŒHV~e…N`h+fWegNQŒ¨Œ+fWeglTi—‹KlŒHN

z D

hHV‹]^NQP^VOhHNAh+j^N

{}V~PŽhHL+V~T(†V~fWPŽh%SOŒ+ŒHVš{`fWShHNQ]±_wfih+j¦h+j^N

¢

N`LUPlŒHhHNQfWP±{}VœN`§¨{`fiNQPŽh

z D

Z'_‘j^N`LUN…h+j^N¨{}V~PŽhHN}œhŒ+j^V~KTy]¦egS½ON

h+jfWŒ<KPSOe<„lfiM~K^V~KlŒ`c

š†V~P^NQP€h+fySh+fiV~P±V~P‚{}V~PŽhHL+V~TƒV~fyP€h+Œ`Z

¢

N`LUPŒHhHNQfyPˆ{}VœN`§¨{`fiNQPŽh+Œ`Z(VOLONQ{}hHVOLUŒ…fWŒ

SOTWŒHVP^VOh²LUNQ«ŽKfWL+NQ]gj^N`L+NNMšh+j^N`LUN`‡¸VOL+N

z P

z "

fWŒ²S<ŒHNQ«ŽKNQP{}N‘VO‡[(Z4Š,{}V~PŽhHL+V~T†V~fWP€h+Œ²VOL

¢

N`LUPlŒHhHNQfWP

{}VœN`§¨{`fiNQPŽh+Œ}‰_‘fih+j

z  z D

$“ZlSOP]

!

"

fWŒSgŒ+NQ«ŽK^NQPl{}NVO‡(¦ONQ{}hHVOL“Œ`c

o Ur (q£r\t…ost…ou8pv+r\o

µ

Ph+jfWŒ6ŒHNQ{}h+fiV~Pg_GNŒ+jV_´j^V _ S§¨P^NTiV _GN`L²„V~KlP]‡‰KPl{}h+fiV~PŒ8‡¸VOLGe<KTWh+fi·SL“fWShHNG†V~Ti—šP^V~egfySOTWŒ'„*SOŒHNQ]

V~P

¢

N`LUPŒHhHNQfyP‚N}œlSOPlŒ+fiV~P {`SOP „†Nº{}V~PŒHhHLUKl{}hHNQ]‚„Ž—ŠV~PTi—ŠŒHV~TišfWP^M|S¦ŒH—œŒ+hHNQe VO‡wTWfyP^NQSLNQ«ŽKSh+fWV~PŒ

hHVOMON`h+j^N`L…_‘fWh+jˆS.ŒHNQ«ŽKNQP{}N4VO‡,„lSO{+½ŠŒ+K^„lŒHh+fWh+K^h+fiV~PŒ`c’¹‘j^N³Œ+fye…lTiNQŒHhEh¥—œN£VO‡S§¨P^N4TiV _GN`L„†V~KP]

‡©KP{}h+fiV~P‚fWŒ…S¦{}V~PŒ+h+SOP€hgV~PNOc‚¹‘j^NºTiN`‡¸h˜w¥jlSOP]‚Œ+fW]^N4VO‡¡•¯8$fWe…lTWfWNQŒEh+jSh¨h+j^Nº{}V~PŒHh+SOPŽhg‡‰KlP{}h+fiV~P

L+V œfy]^NQ]4„Ž—£h+j^NEe¨fWPfWeKe

¢

N`L“PŒHhHNQfWP’{}VœN`§¨{`fiNQPŽh

ž P

?$_

z

D

7egfyP§

z D

À€¼tcfecf-Q¨ •›8$

fWŒSOP‹S§³P^N£TWV_ƒN`L„†V~KPl]±‡©KP{}h+fiV~Pˆ‡¸VOLh+j^N³V~TW—œP^V~e¨fWSOTX M~fiONQPŠ„Ž—Œ•™8$EV ON`L…h+j^N£KlPfih%„†VQ0uc

¹j^N…‡‰V~TWTiV _‘fWP^M4{}V~PŒHhHL“K{}h+fiV~P±SOfWe¨ŒhHV’ÁlP]|jŽ—Ž†N`L+*TWSOP^NQŒlSOŒ+ŒUfWP^M4h+j^L+V~K^M~j|h+jN¨{}V~P€hHLUV~T6†V~fWP€h

z P

©SOŒ+ŒHVš{`fWShHNQ]4_‘fWh+j¨h+j^NegfyPfWeKe

¢

N`LUPŒHhHNQfyP£{}VœN`§¨{`fiNQPŽh

z

D

$²_‘jfW{“j³SlL+VQ^fWegShHN\‡‰L+V~e „NQTWV_7h+j^N

TiV _GN`LlSL+h\VO‡²h+jN{}V~PŽON}|jœKTWT'VO‡(h+j^N{}V~P€hHLUV~TV~fyP€h+Œ\fWP{}L+NQSOŒUfWP^M~Ti—4_ƒNQTWT•c

µ

P.SO]]fih+fWV~P’hHV

z P Z†_ƒN _‘fWTyTG]^NQŒUfiM~PShHN;( SO]]fih+fWV~PSOT¤{}V~P€hHL+V~TV~fyP€h+Œ

z !

z " c dœh+SLUh+fWP^M|_‘fih+j ž P

Z²_ƒNº_‘fWTWT¤{}V~PŒ+hHLUK{}h

‡‰L+V~e"h+j^NQŒHN<{}V~P€hHL+V~T'†V~fWP€h+Œ,S¨ŒHNQ«ŽKNQP{}N%VO‡6S§¨P^NETWV_ƒN`L„†V~KP]4‡©KP{}h+fiV~PŒ)ž1 žƒ"c

NENQPl]’K^

_‘fih+jOžƒ"lZ^SEjŽ—Ž†N`L+*TWSOP^N_‘jlfW{Uj¨lSOŒ+ŒHNQŒGh+j^L+V~K^M~j£STiV_ƒN`LG‡©SO{}N`h¤VO‡h+j^N\{}V~P€ON}4jŽKTyTŒHlSOPPNQ]g„œ—gh+j^N

{}V~PŽhHL+V~T†V~fWPŽh+Œ

z

P1 1

z " c µ

Pgh+j^N{}V~K^LUŒHN,VO‡†h+jfyŒ6{}V~PŒHhHLUK{}h+fWV~PZ~_ƒN,_‘fWTWTœMONQP^N`LUShHN\SŒHN`h(VO‡†TWfWP^NQSL“Ti—

fWP]N`NQPl]^NQP€h¤ONQ{}hHVOLUŒZ§

!

"

¨<SOP]º_ƒN%_‘fWTyT{}V~eglK^hHN<ŒUTiVO†NQŒ¤‡¸L+V~e

z P hHV

z 

fWP’]lfiL+NQ{}h+fiV~P

 c

[\TWŒHV^Z



_‘fWTyT*]^NQPVOhHN%h+j^N%ONQ{}hHVOL{}V~PP^NQ{}h+fWPM

z

PSOPl]

z  c

! #"%$'&)(+*-,

.0/2143658795;:<1>=?5>/2@BAC

D

N`hE

FGGGGH 

¼ccc

¼

IKJ

JJJ

L

ªƒV~e…*K^hHN%Œ+TiVO†NQŒNM

D

‡‰L+V~e"h+j^N<{}V~P€hHL+V~T'†V~fWP€h

z D hHV

z

PfWP’]fiLUNQ{}h+fiV~P À

M

D z D 5 z P

DT

RT 5 DT RT

‡‰VOL‘SOTWTi'_wfih+j h P

D

N`h6

„†NgSºeKTih+fWfyP]^N}º_‘fih+j¦Œ+e¨SOTWTiNQŒHhS„lŒHV~TWKhHN…·SOTWKNVO‡¤SOŒ+ŒHVš{`fWShHNQ]±ŒUTiVO†NOM

D

cQP\NQŒ+fiM~PlShHNgh+j^N

{}V~PŽhHL+V~TƒV~fyP€h

z R DT

R z D TTS

&

Zh+j^N³Œ+TWVONVUytWM

DT

Z6SOP]ˆh+j^N³ONQ{}hHVOLX

DT o D

R

cYP\N`ÁlP^N£h+j^N

TiV _GN`Lw„V~KlP]£‡‰KPl{}h+fiV~P

ž11?$y

z P 4ZU_T

E[

kY?*5 P

-=m

(5)

ž 1(

D

N`h  FGGGGGGGGGGGGH 

ccc



 o



¼ccc

¼ I JJJJJJJJJJJJ

L

Œ+Kl{Uj’h+jlSh  [

67¼iI 1 5 I ՝`¼>$

VOLUegSOTWfi`Nh+jlfWŒ¤ONQ{}hHVOLwh+jœKŒ+TW—*À

 

 ՝O!$

ªƒV~e…*K^hHN%Œ+TiVO†NQŒNM

D

‡¸LUV~e h+j^NE{}V~PŽhHL+V~T†V~fWPŽh

z D hHV

z

PfWPº]lfiL+NQ{}h+fiV~P

 À

M D z D 5‰ž

 o DR $

Do D

R [ 

‡‰VOL‘SOTWT’(N}^{}N`h_‘j^N`LUN

œ5nP

- [ 

7¼i ՝Qž8$

D

N`hZ



„†NgSºe<KlTih+fWfWP]N}’_‘fih+j¦Œ+egSOTyTiNQŒHhS„lŒHV~TWKhHN…·SOTWKNVO‡,SOŒ+Œ+Vœ{`fWShHNQ]ˆŒ+TiVO†NQM

D c P\NQŒ+fiM~PlShHNgh+j^N

{}V~PŽhHL+V~TƒV~fyP€h

z  R DR z D S &

Z6h+j^N4Œ+TiVO†NU

 M D

Z(SOPl]‹h+jN³ONQ{}hHVOLX

 D o D

R c P\N`ÁlP^N£h+j^N

TiV _GN`Lw„V~KlP]£‡‰KPl{}h+fiV~P

ž 

?$_ ž  o

!?$[4 U   [ k ? 5 'P

- m ՝Q™8$

C

: =?1

ÀƒdœV~TišfWP^M ՝`¼>$¤‡‰VOLh+j^N<{}VŽN`§¨{`fWNQP€h+Œ



1 

 o

LUNQ«ŽKfWL+NQŒ¤h+j^NEŒHV~TyK^h+fiV~P4VO‡6SgŒH—šŒHhHNQe VO‡

5 ³TWfWP^NQSL<NQ«ŽKlSh+fiV~PŒEfyP 5 ³KP^½šP^V_wPŒ`c4¹jfWŒ%Œ+—œŒHhHNQe jSOŒSzKPlfW«ŽKNgŒHV~TWK^h+fiV~Pˆ]K^NghHV.h+j^N

TWfWPNQSLfWP]^N`†NQP]^NQPl{}N\SOe…V~PM~ŒHhh+j^N%ONQ{}hHVOL“Œ

1

"

Z^M~fiONQPzfyP4h+j^N‡¸V~TyTiV_‘fyP^Mh+j^N`VOL+NQeºc

#:<@ 14:

~ …



~…”%~‘I~ˆ…#ŠI€{„}†‚ C

"!

†‘I~ ‚

™*…$#%1†‚

!

…”i~'&_€{„ƒ… ˆ{Š)(2—iŠI‚~ ‚E…„tŠ+*

-,

* ŠI€I 1 /."0

”i~ ‚n…”i~}‘I~ˆ…#ŠI€{„0



!



#N€~}–†‡‚~1#I€ƒ–/™ †‚32>~Q—’~‚32>~ ‚E… , * ŠI€ I 1(

.

4

14@ @/5

‰„Ž—ºfWPl]K{}h+fiV~Pa$“À

P\N`ÁlP^N³ONQ{}hHVOLUŒ



SOPSOTiVOMOV~KŒUTi—|„Ž—¦h+S½šfWP^MAh+j^N³ÁlLUŒHh {}V~e…†V~P^NQPŽh+Œ<VO‡

cz¹j^NgLUNQŒ+KTihEjV~TW]Œ

‡‰VOL ¿c\[wŒ+ŒUKe…NEh+jlSh0

 o

!

 o  o

SL+NTWfWP^NQSL“Ti—£fyP]^N`†NQP]^NQPŽh`c

¢

—’SO]l]fWP^M¨SOPAN}šhHLUS

{}V~e…†V~P^NQPŽh`Z6_GNºjSON4h+jSh



 o

SL+N4TWfWP^NQSL“Ti—¦fWP]^N`†NQP]^NQPŽh`c

¢ — ՝`¼>$“ZƒP^VOh+fWP^MAh+jSh

V~PTi—.h+j^NgÁlLUŒHh {}V~e…†V~P^NQPŽh+Œ%VO‡ 

SL+N¨P^V~P`N`L+V^Z_ƒN¨jSON¨h+jSh



[



W

 [ ¼šZ‡‰VOL

* I 1 5 Z†f•c–NOc

1

fWŒwfWP’h+j^N<VOL+h+j^VOMOV~PSOT{}V~e…*TiNQe…NQPŽh‘VO‡E



!

 o

c\dšfyegfWTWSLUTW—g„Ž—

՝Qž8$“Z_ƒN\jlSQONh+jSh

 [

  [ 

h7¼šZf•c–NOcE



fWŒ¤P^VOhƒVOL+h+j^VOMOV~PSOT†hHV

1

c(¹j^N`L+N`‡‰VOL+N



fWŒ,P^VOhwfWP4h+j^NEŒ+K„lŒHlSO{}NŒHlSOPlP^NQ]4„Ž—

1

 o c 6

x

VOLh+j^NZ(‹fihHN`LUSh+fWV~PŒVO‡6h+j^N<S„V ONSOTWMOVOLUfih+jeºZ*h+j^NEŒHV~TyK^h+fiV~P’VO‡(ŒUK{UjAS¨ŒHNQ«œK^NQP{}N<VO‡(ŒH—œŒ+hHNQegŒ

VO‡wTyfWP^NQSLNQ«ŽKSh+fWV~PŒ_GV~KTy]ŠPVOLUegSOTWTi—¦LUNQ«ŽKfWL+N

7

(824:9t(<;$<SLUfih+je…N`h+fy{¨VO†N`LUSh+fiV~PlŒ`c±°‘V _GN`ON`L

_ƒN¨{`SOP¦h+S½ON³SO]·SOPŽh+SMON¨VO‡¤h+j^N…‡©SO{}h%h+jSh`ZfWP|h+j^N h+jˆfihHN`LUSh+fWV~PZh+j^N…ONQ{}hHVOLUŒ

1

 o

SL+N

(6)

SOŒARSOKlŒ+Œ+fWSOP7NQTWfyegfWPSh+fiV~P7S*TWfiNQ]¾L+V__wfWŒHN¦hHV h+j^N±Œ+fyP^M~TiNf(f5 !$7(f5 !$4e¨ShHLUfف¾_wj^V~ŒHN

L+V _‘Œ‘{}V~PŒUfWŒHh,VO‡8h+j^N%ONQ{}hHVOLUŒ " o

" o " o

SOP]ºLUfiM~jŽh˜w¥jSOP]zŒ+fW]^N¡5Z2

"

!

" o

" $& c µ P

SO]]fWh+fiV~PZSgŒHNQ«œK^NQP{}N<VO‡„lSO{+½Yw¥Œ+K^„lŒ+h+fih+K^h+fiV~P’Œ+hHN`lŒ‘jSOŒ‘hHV¨„†N†N`L+‡‰VOLUe…NQ]c²¹‘j^NQPzSOTihHVOMON`h+jN`LwV~PTW—

(<;_4 9t(

$¤SL“fih+je…N`h+fW{VO†N`LUSh+fWV~PŒ,SL+N%L+NQ«œKfiLUNQ]c

D

N`h

V

"

F

DH

\-

D

47!$

¹j^N`LUNSL+Nh+j^NQP " ¢

N`LUPlŒHhHNQfWP.{}VŽN`§¨{`fWNQP€h+Œ`ZŒ+V£h+jlShwh+j^N…{}V~e…*K^h+Sh+fiV~P.VO‡(h+j^NŒ+TiVO†NQŒ0M

D

՝Qž8$wfWP

SOTWT6fihHN`L“Sh+fiV~PŒL+NQ«œKfiLUNQŒ%ShEe…V~ŒHhZ(

" 4 "

9t($\SLUfih+jle…N`h+fW{VO†N`LUSh+fiV~PŒQc¨¹jfWŒPN`_ SL+V~SO{“j

h+j^N`L+N`‡‰VOL+N,L+NQ«œKfiLUNQŒ8TWNQŒ+Œ{}V~e…lK^h+Sh+fiV~PlSOTšN}XVOL+h(fyP<MONQPN`LUSOT^h+jSOPh+j^N,e…N`h+jVœ]…fWPº˜–¶·Ÿ¡Z€_‘jfW{“jfyŒ„*SOŒHNQ]

V~Pºh+j^N<ŒHV~TWK^h+fiV~P4VO‡SgTWfyP^NQSL,L+VOMOLUSOe¨egfWP^ML+VO„*TiNQe _‘fih+jºK^lhHV

" 5 %{}V~PŒHhHLUSOfyP€h+Œ`c

#:<@ 14:

†…” …”i~}‚ŠN…$#N…\†ŠI‚ Š+*Z…”i~ #

ŠI‘N~ #I–

!

ŠI€ƒ†…” ( ,

†…e” ŠI–2s„* ŠI€ #N–‡– 7¼i 1( …”#8…

ž  k

-_m

z * ŠI€ 7¼i 1

4 14@ @/5

‰„Ž—ºfWPl]K{}h+fiV~Pa$“À

¢

—‰•›8$“Z_GN<SOTiL+NQSO]^—4jSQON<h+jSh@ž

P R D

R S z P cG[wŒ+ŒUKe…Nh+jSh

ž  o k

- m z

8 ‡‰VOLt7¼i 1 5 I

¹j^NQP4_ƒNEjSONE‡‰VOLt7¼…„œ—n՝Q™8$,SOP]ºh+jNEfWP]Kl{}h+fiV~P4j€—œ†VOh+j^NQŒ+fWŒ¤h+jSh

ž  k P

-=m

ž  o 2k

P

-m

4 U   [ k P

- 5 P -=m

z P

µ ‡ tI 1 5´Z_ƒN%{`SOPz{}V~P{`TWKl]^N%KŒ+fWPM;՝`¼>$

ž  k

- m ž  o

2k

- m 4ZU

  [ k

- 5 'P

- m

z 4ZU

  [

z

x

fWPSOTWTW—OZšfW‡  Z_ƒNESlTi—£ÕQž8$¤hHVgVO„lh+SOfWP

ž  k 

- m ž  o k 

- m 4 z  5‰ž

 o D

R $

D o D

R [   [ k  - 5 P

- m

ž  o k 

-œm 4 z 

5‰ž

 o k 

-m

z  6

T

Ö¸×\ɓݠÇ'ÓÕÉFڠݠϥÆ+Ï¡ËÍɓ׷ÌÕÜ ÓD؉ÄìQÑÕÓDÏHÄä ÜΆÑ6зÆHî}ÑӥзÉF̕ÑD×ѠƓÓDÏ¡È V

á6ÓDÉF׷̩ϕǥÆUË®×QÏ¡ÌÕÄ

(7)

PºlSL+h+fy{`KTWSLQZš_ƒNEjSQONEh+jSh

ž " k

-ym

z 7¼i !(y ՝}»Y$

_‘jfy{Uj’e…NQSOPlŒh+jSh@žƒ"4lSOŒ+Œ+NQŒh+j^L+V~KM~j’SOTWT^(O4 %{}V~P€hHLUV~T'†V~fWPŽh+Œ

z

Ps !

z "

cdšfWP{}N žƒ"4fWŒ,„œ—º{}V~Piw

ŒHhHLUKl{}h+fiV~P³STiV _GN`L¤„†V~KP]¨‡‰KPl{}h+fiV~PZ

z

Ps !

z "

eKŒHhGh+j^N`L+N`‡‰VOL+NŒHlSOP£S<TiV _GN`L¤‡©SO{}N`h¤VO‡h+j^N\{}V~PŽON}

jœKTWTVO‡6SOTWT{}V~P€hHLUV~T†V~fWPŽh+Œ`c

[\ŒfWPˆ˜–¶ Ÿ¡Zl_GN%VO„lh+SOfWP’S†V~fWPŽh¥_‘fWŒ+NN`L+L+VOL,„†V~KP]4‡‰VOLh+j^N%KPl]^N`L+NQŒHh+fWe¨Sh+fWP^M‡‰KlP{}h+fiV~P;žƒ"lc

#:<@ 14:

~ …)§

z D ¨ RDH P

2>~ ‚aŠN…'~…”i~}|~ €{‚%„…'~†‚0ˆ{Š!~\‹Œˆ†~ ‚E…„¡Š * #N‚b(g‘#I€ƒ† #8…'~2—iŠI–™I‚aŠ)(†#I–,Š+*

2>~

!

€~~- . 0

”i~‚n…”i~ #‹d‚~}–UŠ¢~€

ŠI•i‚32 *ƒ• ‚ˆ…\†ŠI‚ žƒ"£„ #N…\†„&,~ƒ„v…”i~ # —iŠs„ƒ…'~ €{†ŠI€ƒ†)~ €{€ŠI€

ŠI•i‚32

¼tc£X=?$=5‰žƒ"?$©c´e¨S·

z D

5‰žƒ"

-

À<¼tcdecf- v_?:A uE

µ

Pºh+j^NKPfiSLUfWShHN{`SOŒHNOZh+jfWŒ,N`LUL+VOL„†V~KP]ºŒH†NQ{`fiÁlNQŒ,hHV¨h+j^NE‡¸V~TWTWV_‘fWPM„†V~KPl]4_‘jfW{“jºN}šjlfi„lfih+Œ

«œKSO]^LUSh+fW{{}V~PŽON`L+MONQP{}N_‘fih+j4LUNQŒH†NQ{}h,hHVgh+j^N%_‘fy]^h+j£VO‡8h+jN%fWP€hHN`LU·SOTWŒQZŒHN`N³˜–¶·Ÿ¡c

@B1>@2=?1

•1—8—iŠs„~ (  #I‚320…”#N……”i~ #I„„{• (2—…\†ŠI‚%„BŠ * 0

”i~ŠN€~ (

. ” ŠI–2 ,

…”i~ ‚ …”%~

#˜‹d‚~}–KŠ¢~ € ŠN• ‚ 2 *ƒ•i‚aˆ…\†ŠI‚;ž

" „ #N…\†‡„ &©~ƒ„Z…”i~t~ €{€ŠI€ ŠI•i‚32

¼tc£X?^$=5‰ž " ?^$©c´egS·

š k z D 5 z P

DR 5 D

R 5 z 5 z P DT

R 5 D

R m k - 5 P -m

À%¼tcd,cf-gy

h

P

›O_?:Abu’

x

LUV~e ˜–¶·Ÿ_GN\SOTiL+NQSO]^—…½šP^V _¾h+jShƒS§¨P^NwV~TW—œP^V~e¨fWSOTWŒ6{}V~fWP{`fy]^N_‘fih+jgh+j^NQfiLGS§³P^NwTiV _GN`Lƒ„†V~KP]

‡©KP{}h+fiV~PŒ{}V~PŒHhHL“K{}hHNQ]Šh+j^N`L+NQfWPc

NºL+NQŒ+NQP€hj^N`L+N£‡¸VOLh+j^N£„†V~KP]ˆ‡‰KPl{}h+fiV~PŒ<L+VšfW]^NQ]‹„œ—±h+j^N

S„†VONESOTWMOVOLUfih+je"S…lL+VŽVO‡_‘jfW{“jºfWŒ,Œ+j^VOLUhHN`Lh+jSOP4h+jSh‡‰VOLh+j^N%egVOL+NMONQP^N`LUSOT{`SOŒ+NE{}V~PŒ+fW]N`L+NQ]ºfWP

˜–¶·Ÿ¡c

#:<@ 14:

~ …sX=?$y

` P 4 `

?œ 4t K4

`

">?E"

. 0

”i~ ‚…”i~)–UŠ¢~ €

ŠI•i‚32 *ƒ•i‚aˆ…\†ŠI‚Zžƒ"Oˆ{ŠI†‚aˆ †2>~ƒ„

y†\…”XŒŠI‚;u

.

4 14@ @/5

À

µ

‡EXAfyŒ,S§¨P^NOZh+j^NQPb-^ %SOP]

z D Xg$“Zl¼cd¢c Z*SOP]4_GN<{`SOPz{}V~P{`TWKl]^N‡¸LUV~ex՝}»Y$

žƒ" $y

z X ${ ¼i !(y

dšfWPl{}N\h+jN%ONQ{}hHVOLUŒ

"

SLUN%TWfWP^NQSLUTW—¨fWP]^N`†NQP]NQP€h`Zšh+j^N%ŒHh+ShHNQegNQP€h\‡¸V~TyTiV_‘ŒQc 6

¹jN`VOL+NQe ™œc–»ˆŒUK^MOMONQŒHh+Œ³h+jSh¨SOTWe…V~Œ+h¨S§¨P^N’†V~Ti—šP^V~egfySOTWŒŒ+j^V~KTW]‚„†N’SlL+VQ^fWegShHNQ] L“Sh+j^N`L

_ƒNQTWTl„œ—…h+j^NS§¨P^NTiV_ƒN`L¤„†V~KP]g‡©KP{}h+fWV~Pž " c(¹‘jfWŒ²fyŒ²{}V~P^ÁL“e…NQ]¨„œ—gV~K^L¤PœKe…N`LUfW{`SOTlN}œ†N`LUfWNQP{}NQŒ`c

PK^N¦hHV´LUV~KP]fWPMˆN`L+L+VOL“Œ`ZfWPSO{`{`K^LUSO{`fWNQŒºegSQ—#„†N±fWP€hHLUVœ]Kl{}NQ]#fyP€hHV h+j^N±{`SOTy{`KTWSh+fiV~P7VO‡h+j^N

¢

N`LUPŒHhHNQfyPˆ{}VœN`§¨{`fiNQPŽh+ŒSOPl]±h+j^N£TiV_ƒN`L<„†V~KPl]|‡‰KPl{}h+fiV~PŒ`c

Œ+NQ{`fySOTWTi—AfWh<egS—±jS†NQP¦h+jShh+j^N

{}V~e…lKhHNQ]ˆTiV _GN`L„†V~KP]|‡©KP{}h+fiV~P¦SOTWK^NgfyŒ%MOL+NQShHN`Lh+jSOP±h+jN³{}VOL+L+NQŒ+V~Pl]fWP^M4VOLUfiM~fyPSOT‡‰KlP{}h+fiV~P

(8)

SOTWK^NOc‹¹‘jfWŒegSQ—‚TiNQSO]‚hHV¦N`L+LUV~P^N`V~KŒL+NQŒ+KlTih+Œ…fWP‚SlTWfy{`Sh+fiV~PŒ`c KP{}h+fiV~PŒ_wjfW{Uj‚SL+NºM~KlSLUSOPiw

hHN`NQ]ŠTiV_ƒN`L<„†V~KPl]¦‡‰KlP{}h+fiV~PŒ%fyP¦h+j^N¨lL+NQŒHNQP{}NgVO‡,LUV~KP]fWPM£N`LUL+VOLUŒE{`SOP‹„†NgVO„h+SOfWPNQ]ˆSOTiV~P^MAh+j^N

Œ+K^MOMONQŒ+h+fiV~PŒegSO]NEfWP±˜–¶ Ÿ¡c

µ

P’˜Ž Ÿ_GNfyP€hHL+Vš]K{}N¤STiV _GN`L6„†V~KP]<‡©KP{}h+fiV~P‡‰VOL(KPfiSLUfWShHNƒ†V~Ti—œPV~egfWSOTWŒ_‘jfW{“jfWŒ{}V~e…†V~ŒHNQ]

VO‡h¥_ƒV…S§¨P^N\TiV_ƒN`L¤„V~KlP]…‡©KP{}h+fiV~PŒQc¹‘j^NN}šhHNQPŒ+fiV~P³hHV<h+jN\eKTih+fiSLUfWShHNw{`SOŒHN\fyŒGSOŒG‡¸V~TyTiV_‘ŒQÀ µ P

NQSO{Uj£ŒHhHN`Zœ{}V~e…lK^hHN\Œ+TiVO†NQŒ6SOŒ(„†N`‡‰VOL+NOZ€„*K^h(ŒHNQTiNQ{}h U o



SOŒ²h+j^N‘MOL+NQShHNQŒ+hGP^N`M~Sh+fiON M D

·SOTyK^NOZ€SOP]8U



SOŒwh+j^NŒUegSOTWTiNQŒHh‘V~ŒUfih+fiON M D

SOTWK^NOc

x

L+V~e NQSO{Uj.L+N`šfiV~KŒwTiV_ƒN`L„V~KlP]º‡©KP{}h+fiV~P:ž

 o

ZlMONQP^N`L“ShHN

h¥_ƒV’P^N`_ TiV _GN`L„†V~KP]A‡©KP{}h+fiV~PŒQZKŒUfWP^MU

o



SOP]U

 c µ

PŒHhHNQSO]|VO‡ƒS4ŒHNQ«ŽKNQP{}NVO‡²‡©KP{}h+fiV~PŒQZ*_ƒN

P^V _ŠVO„lh+SOfWP<S‡‰hHN`L=(£fWhHN`LUSh+fiV~PŒ8K^hHVž

"

TiV_ƒN`L„†V~KP]%‡©KP{}h+fWV~PŒ']KN²hHVh+j^Nƒ„lfWPSL+—hHL+N`N¤ŒHhHLUKl{}h+K^L+NOc

¡ _

fih+j¨h+jlfWŒ²e…N`h+jVœ]Zœ_ƒN\{}V~e…*K^hHNwTiV _GN`L¤„†V~KP]g‡‰KPl{}h+fiV~PŒ(‡‰VOL¤S<PœKe<„N`LGVO‡'eKTih+fiSLUfWShHN†V~Ti—šP^VIw

egfWSOTyŒv•™8$wfWP:(‹SLUfWS„*TiNQŒ‘_wfih+jA]N`MOL+N`N¡-y b ;$'&´SOP] zPV~Piw¡`N`L+V4hHN`LUegŒ`c%¹‘j^N<P^V~P%w¡`N`L+V

{}VœN`§¨{`fiNQPŽh+Œ,SL+NLUSOP]^V~egTW—…MONQP^N`LUShHNQ]º_‘fWh+j

` D

A±˜U5%IQFŸ¡cG¹jNQŒHNw„†V~KPl]¨‡©KP{}h+fiV~PlŒGSL+N{}V~e…*SL+NQ]

hHV4h+j^N„†V~KP]’‡©KP{}h+fWV~PŒ‘VO‡GV~K^LL+N`šfiV~KŒ\e…N`h+j^Vš] ˜–¶·Ÿ¡Z_‘jfW{“jAKh+fWTWfi`NQŒwh+j^NTWfWP^NQSL\L+VOMOLUSOe¨egfWP^M

ŒHV~TiON`L ˜ÙFŸ¡Z^SOP]£hHV…{}V~PŒHh+SOPŽh,„†V~KP]¨‡‰KPl{}h+fiV~PŒƒ]^N`ÁlP^NQ]³„Ž—¨h+j^N\e¨fWPfWeKe

¢

N`LUPlŒHhHNQfWP

{}VœN`§¨{`fiNQPŽh

z

PZŽ{}‡Dc@•›8$“c²¹8S„lTiNEwTWfWŒHh+Œ6h+jN‘L+NQŒ+KlTih+Œ6‡‰VOLG]fÙX†N`L+NQPŽh(SOTWK^NQŒ(VO‡^(6ZzZœSOP] M[Œ4‹!$

"

fWŒ

h+j^N%PœKe<„N`L,VO‡

¢

N`LUPŒHhHNQfyPº{}VŽN`§¨{`fWNQP€h+Œ`c

µ

P4NQSO{“jz{`SOŒHN¨`¼O¼gLUSOP]^V~e †V~Ti—šP^V~egfWSOTyŒG_ƒN`L+NMONQP^N`L“ShHNQ]

SOP]h+j^Ne…NQSOP…{}V~eglK^h+Sh+fiV~Ph+fWegN¤SOPl]<N`LUL+VOL(SL+N¤M~fiONQPc6¹j^N¤h+fWegNƒLUNQ«ŽKfWL+NQ]E‡‰VOL6h+j^N,{}V~e…lKh+Sh+fiV~P

VO‡,h+j^N

¢

N`LUPlŒHhHNQfWPˆ{}VœN`§¨{`fiNQPŽh+ŒfWŒEfWPl{`TWK]^NQ]^Mh+jfWŒ%fyŒ%NQ«œKSOT(hHVAh+j^N¨h+fWegNg‡¸VOL<h+j^N³{}V~PlŒHh+SOP€h„†V~KP]

‡©KP{}h+fiV~PŒQc8[\PgK^†N`L„†V~KP]V~Pgh+jN]fWŒ+{}L+N`*SOP{}—E„†N`h¥_ƒN`NQPgh+jN†V~Ti—œPV~egfWSOTšSOP]gfih+Œ6TWV_ƒN`L²„†V~KP]

‡©KP{}h+fiV~P4V ON`Lu³fWŒ{}V~e…lKhHNQ]’SO{`{}VOLU]fWPM…hHV¨¹j^N`VOL+NQe1™œc͙gSOŒ

7egS·

D z D

5‰žƒ" -

¹j^NzL+NQŒ+KTih+Œg_GN`L+NzL+Vš]K{}NQ] _‘fWh+j‹V~P S‹žœc–» R°wAaƒªc²¹j^NzegNQSOP

SOTWK^NQŒ…‡‰VOL¨h+j^NAh¥_ƒV

P^V~Piw¥{}V~PlŒHh+SOP€h…„†V~KPl]ˆ‡©KP{}h+fiV~PlŒ<SL+NºON`LU—‹Œ+fWe¨fWTWSLQZ_‘fih+j‹V~K^LgP^N`_"e…N`h+jVœ]ŠN}^jfi„lfih+fyP^MAS|Œ+TWfWM~j€h

fWe…lL+VONQe…NQPŽh%fWP|SOTWT8„lK^hh+j^N…ÁlLUŒHh{`SOŒHNOc…°‘V _GN`ON`L<‡¸VOL%SOPˆfWP]fišfW]KlSOT†V~Ti—œPV~egfWSOT•ZV~P^N…e…N`h+j^Vš]

egS—#]^NQTyfiON`LºS Œ+fiM~PfiÁ*{`SOP€h+Ti—¾Œ+K^†N`LUfiVOL£„†V~KP]#‡‰KlP{}h+fiV~P#hHV h+j^N¦VOh+j^N`LQZ_‘fWh+j¾h+jN¦L+NQŒ+KTih+Œ£V~PTW—

‡‰L+NQ«ŽKNQP€h+Ti—4fW]^NQPŽh+fW{`SOTfyPºh+j^N (B?žg{`SOŒHNOc

x

VOL2( c¾»gh+j^NE{}V~e…*K^h+Sh+fiV~P’h+fye…N%‡‰VOL‘V~K^L‘PN`_?„†V~KP]

‡©KP{}h+fiV~PŒ8fWŒVO‡h+j^N,Œ+SOe…NƒVOLU]^N`LVO‡le¨SM~Pfih+K]^NƒSOŒ‡¸VOLh+j^N¤{}V~PŒHh+SOPŽh6„†V~KP]E‡‰KPl{}h+fiV~PŒ`ZSOP]fWŒ8e<K{“j

fWe…lL+VONQ]4V ON`Lh+j^NL+N`šfiV~KŒ¤SLUV~SO{Ujc

¢

N`‡‰VOL+NV~P^N{}V~KTW]4h¬—Ž*fW{`SOTWTi—¨{}V~eglK^hHN„†V~KP]³‡‰KPl{}h+fiV~PŒ

fWPºTiNQŒUŒ,h+jSOP’SgŒ+NQ{}V~P]ºV~PTi—£‡‰VOL(‰c‚»%M‡‰VOL‘h+j^N%P^N`_be…N`h+j^Vš]ºh+jfWŒ,{`SOPA]^V~P^N‡‰VOL(‰c ¯œc

7rwou_ “tvUrwo

NgjSONlL+NQŒHNQPŽhHNQ]¦S³P^N`_ e…N`h+jVœ].‡‰VOL\h+jN{}V~eglK^h+Sh+fiV~P.VO‡GS§³P^NTWV_ƒN`L„V~KlP]’‡©KP{}h+fiV~PlŒ‘‡‰VOL

eKTih+fiSLUfWShHNg†V~Ti—šP^V~egfySOTWŒ„lSOŒHNQ]ˆV~P

¢

N`LUPlŒHhHNQfWP‹N}œlSOPlŒ+fiV~PZ8‡¸VOL_‘jfy{UjˆSzMONQP^N`LUSOTƒ{}V~PŒHhHLUKl{}h+fiV~P

L+NQ«œKfiLUfyP^Mˆh+j^N±Œ+V~TWK^h+fiV~P#VO‡<S TyfWP^NQSL4L+VOMOLUSOe¨egfWP^MŠL+VO„lTWNQe _¤SOŒºM~fiONQP fyP˜–¶Ÿ¡c

¢

—#V~K^LºP^N`_

e…N`h+j^Vš]zS§³P^N%„†V~KP]4‡©KP{}h+fiV~PlŒ{`SOPz„†NE{}V~eglK^hHNQ]zeK{“jze…VOL+N{Uj^NQS*Ti—OZ*SOP]Afih‘egS—4h+j^N`L+N`‡‰VOL+N

„†NwVO‡'MOL+NQShHN`LLUSO{}h+fy{`SOT*KŒ+NOc

µ

P]N`NQ]³V~PN\egS—³{}V~e…*K^hHNK^hHV…ž

"

VO‡'h+j^NQŒHNP^N`_7„†V~KP]¨‡‰KPl{}h+fiV~PŒ

‡‰VOL(SŒ+fWP^M~TiN¤M~fiONQP†V~Ti—šP^V~egfySOT€_‘jlfW{UjHV~fWPŽh+Ti—%„†V~KP]h+j^N{}V~PŽON}gjŽKTyTŽVO‡*h+j^N{}V~PŽhHL+V~T^†V~fWPŽh+Œ6e<K{“j

e…VOL+N<{`TiV~ŒHNQTi—³h+jSOPzS…Œ+fyP^M~TiN„†V~KP]4‡©KP{}h+fiV~P4‡‰L+V~e"V~K^L,lL+N`œfWV~KŒ,SL+V~SO{“jZlfWPºTWNQŒ+Œ,h+fWe…NOc

(9)

- /.10243 5627981.17:.+;<2=973 >?/@A;<2B=793 CEDFHG4I2B=8+;62=793

J

=97K!.IL27

J

=97K!.IL27

J

=7K!.1I2B7NMPO)Q

R S T ULSNVXWYZ

[*P$+

U Y \

[*P$+

U Y \

]*($+

U Y \

^ ^ _ ` abaHaaHa!cHa

W bc W c abaHaaHad` a#b`e

W

a#baaHaH^!a ab`)fFd

^ d W a cH` abaHaa

W1g W b`He` abaHaa

g#W W bd/fHf a#baa/^_

W bdH`H_

^ W a ^a

W ^ W

abaHaa

g ` ^#beHd/f abaHaa)fhc ^bi_

WHW a#baH^

g

^#b_!c

g

c ^ ^a e W

abaHaa

g f g bc)_!` abaHa

W ^ ^bjfF`)f a#baaHeH^ ^#bec)f

c c _a dH^_ abaHaH^!c _#bd)fFe abaHa`

g

_ba!c)_ ^beH^ _#ba/_!d

d ^ ^a f!^!` abaHa

WHW

cBbac

g

aba W d g bg _ g cbcHe

g bc/a

g

e ^ _a d/_!d

W

abaHa`

g

db`c

W

ab^!c d#bi^!`

W k

[1!]1l[m!

W a ^ _a _!`Ha!c/` abaH`

W

fb

W c g g bc g

d#bi_!a

g W

$<*( )]

µ

hEfWŒ_ƒVOL+h+j‹P^VOh+fWP^Mºh+jShfWP|h+j^N¨{`KL+L+NQPŽh%ON`LUŒ+fiV~P±VO‡ƒV~KL<SOTiMOVOLUfWh+je h+j^N³{“j^V~fW{}NgVO‡,]fWL+NQ{}h+fiV~P

ONQ{}hHVOLUŒX



՝O!$fWŒ<LUSh+j^N`L…SL+„lfihHL“SL+—Oc¦°‘V _GN`ON`L³V~K^LPœKe…N`L“fW{`SOT²N}š†N`LUfiNQP{}N4Œ+K^MOMONQŒ+h+Œh+jShh+jfWŒ

egS—³fWPon*K^NQP{}N‘h+jN\LUNQŒ+KTih+SOPŽhG„†V~KPl]g‡©KP{}h+fiV~P£©f•c–NOc(_‘jlfW{Uj£TiV_ƒN`L,‡©SO{}N`hƒVO‡h+j^N{}V~P€ON}ºjœKTWTVO‡h+j^N

{}V~PŽhHL+V~TƒV~fyP€h+ŒfWŒ<NQe<KTyShHNQ]a$“c¦[ ‡‰K^h+KL+N³e…Vš]fiÁ*{`Sh+fiV~PˆhHV.h+j^N4SOTiMOVOLUfih+jle egS—ˆh+j^N`LUN`‡¸VOL+N4KŒHN4S

Œ+fWeglTiNGjNQK^LUfWŒHh+fy{(‡©KP{}h+fiV~P<hHV%{Uj^VœV~ŒHN,h+j^NQŒ+NƒONQ{}hHVOL“Œ(fWPSOP…SOTihHN`LUPSh+fWON¤]lfiL+NQ{}h+fiV~PŒ+K{“jh+jSh(Se…VOL+N

Œ+KfWh+S„lTiN‡‰SO{}N`h%VO‡ƒh+j^NgTiV _GN`L<{}V~P€ON}ˆjœKTWTfWŒ]^NQŒ+fWM~PShHNQ]c

fWh+j|h+j^N…VOL+h+j^VOMOV~PSOTyfih¥—|L+NQ«œKfiL+NQegNQP€h

՝`¼>$“Zlh+jN`L+NESL+N (;5 ]^N`MOL+N`NQŒ‘VO‡‡¸L+N`NQ]V~e fWP4h+jfWŒ,Œ+NQTiNQ{}h+fiV~Pc

uqpEor (s?r2elGo\p

¹j^N%SOKh+j^VOLUŒMOL“ShHN`‡‰KTyTi—£SO{U½œPV_‘TiNQ]MON<Œ+K^lVOLUhƒ‡‰L+V~e3h+j^N

L

fWPfWŒHhHLU—¨VO‡

]Kl{`Sh+fiV~P’SOP]ts‘NQŒHNQSLU{“j

VO‡h+j^N

x

NQ]N`LUSOTus‘N`lK^„lTWfy{¨VO‡ER\N`LUe¨SOP€— KP]N`Lg{}V~P€hHLUSO{}h4P^V^c?­·¼€­·¼O¼^c ¹‘j^N`—ŠSOTyŒHV¦h+jSOP^½ZP\LQc

ª¤j^L“fWŒHh+fWSOP

I

SOPlŒ+ŒHV~P4‡‰VOLwjfWŒ¤{`SL+N`‡©KTLUNQSO]fWP^M…VO‡8h+j^NEegSOPœKŒ+{}L“fih,SOP]’jfyŒƒjNQTi‡©KT†{}V~ege…NQPŽh+Œ`c

v ²q^²ouy_

˜ÙFŸ

¢

N`L+½ONQTySOSL

L

ciZ *À

D

fWPNQSL‘a(L+VOMOL“SOegegfWP^M¨ªƒVš]^NOc

‡‰hHÀPww ‡‰hHc®fW{`Œ`c–NQTWNOc–h+K^NOc®PTw lK„w·Ti Œ+V~TiONHw

˜–ž Ÿ…ª,SL+MOVRcŽ¹cŽSOP]£dšjfWŒ+jlSE”ca՝Q›NŽNŽ8$“ZyxH¹j^N

¢

N`L“PŒHhHNQfWP…‡‰VOLUe VO‡†SE†V~Ti—œPV~egfWSOT•Zjz|{

.9}

~„

.~

#N…

.

|@•i€

.

…$#I‚32-#N€+2s„X’ŠI–

.€H‚

|Z†­›ƒœ¯šc

˜–™ Ÿ

x

TiV~Kl]SOŒ’ª\cƒ[<c •ž¼O¼O¼>$“ZtxP\N`hHN`LUegfWPfyŒHh+fW{¦RTiVO„lSOT%”\h+fyegfiQSh+fiV~PÀ±¹‘j^N`VOL+—OZ

L

N`h+j^Vš]Œ`ZSOP]

[wlTyfW{`Sh+fiV~PŒ`Zjz

~€ƒ†~„

~

ŠI‚ˆŠI‚’‘N~“…„—…\†(†‡† #N…\†ŠI‚ #I‚32 †…„‰ˆ©—8—a–†\ˆ #N…\†ŠI‚%„Š’ŠN–

. €

ZE‹ETWK€_ƒN`L

[\{`SO]claGK^„lT•ciZP\VOLU]^LUNQ{UjŽh`Z

¢

V~ŒHhHV~PZ

D

V~P]^V~Pc

˜»Ÿ…RSLUTiVX

I

cZ՝Q›O¯NŽ8$“ZŒxUª¤V~P€ON`L+MONQPŽhz„†V~KPl]Œ£‡¸VOL’h+jN¦LUSOP^MON±VO‡e<KlTih+fiSLUfWShHN|†V~Ti—œPV~egfWSOTWŒ`Zjz



‚a…'~€ƒ‘#I–9Ž #N…”i~ ("#N…\†ˆ„‘’“

,

‹…c

fy{+½ONQT•Z^NQ]fWhHVOLQZ

~ˆ!…\•i€~

~

ŠN…'~ƒ„6†‚•”yŠ)(2—a•%…'~€

ˆ †#~‚aˆƒ~–EŠI–

.

—  —

Z†dšLUfWP^MON`LZ

¢

N`LUTWfyPZ™~­!ƒœ¶NŽœc

˜–¶ Ÿ…RSLUTiVX

I

ciZ

I

SOPŒ+ŒHV~P.ª\clSOP]Ad^egfih+jº[<cla8c•ž¼O¼~™8$“ZEx

D

V_ƒN`L\„V~KlP]4‡‰KlP{}h+fiV~PŒ¤‡‰VOL‘†V~Ti—šP^V~egfUw

SOTyŒ`Zjz˜{

.

”yŠ)(2—a•%…$#N…\†\ŠN‚3#I– #I‚32™ˆ©—8—a–†~2™Ž #N…”i~ ("#N…\†\ˆ „“ZhHV£S†NQSLQc

(10)

˜Ž Ÿ…RSLUTiVX ciZ SOPŒ+Œ+V~P£ª\c€SOPl]£dšegfWh+j…[Ecœac•ž¼O¼~™8$“Zyx P{`TyKŒ+fiV~P…fWŒ+VOhHV~PfW{`fih¬—VO‡{}V~PŽON}Yw¥{}V~Pl{`SQON

N}šhHNQPŒ+fWV~PŒ,‡‰VOL†V~Ti—œPV~egfWSOTWŒG„lSOŒHNQ]ºV~P

¢

N`LUPŒHhHNQfWP4N}šlSOPŒUfiV~PZjzX”yŠ)(2—a•%…\†‚

!

Z*hHV¨S†NQSLQc

˜®­Ÿ°\SOPŒHNQPZ

cos%cœÕQ›O›Ož8$“Z xURTiVO„lSOT'”\lh+fWegfiQSh+fiV~P

Œ+fWP^M

µ

P€hHN`LU·SOT[\PSOTi—šŒ+fWŒ`Zjz

L

SLU{}NQT P\N`½Ž½ON`LZ

µ

P{ciZ

N`_(VOL+½c

˜–¯ Ÿ ‹%NQSL+‡¸VOhHh sEc

¢

c_՝Q›O›NŽ8$“Zux s‘fWMOVOL+V~KŒ%RTiVO„lSOT6dœNQSLU{“jÀ\ªƒV~PŽh+fWPœK^V~KŒ\a(L+VO„*TiNQegŒ`Zjz

~€ƒ†#~ƒ„

~

ŠI‚

ˆ{ŠI‚’‘N~“ „—…\†(†† #N…\†ŠI‚ #I‚32Œ†…„–ˆ©—8—a–†\ˆ #N…\†\ŠN‚%„ ’ŠI–

.  OZ ‹%TWKŽ_GN`L’[\{`SO]ca²K„lT•ciZ P\VOLU]L+NQ{UjŽh`Z

¢

V~ŒHhHV~PZ

D

V~P]V~Pc

˜–› Ÿ

D

fi„†N`L+h+f

D

c SOP]aSOP€hHNQTWfy]^NQŒªcª\ci•ž¼O¼~ž8$“ZlxUªƒV~PŽON}<NQPŽONQTiVO†NQŒ'VO‡*e…V~P^V~egfWSOTyŒVO‡^Vš]]<]N`MOL+N`NOZjz

{

.

–KŠ

#I– „—…\†(v†† #8…\†\ŠI‚ ’ŠI–

“ZQ¶~­!ƒ*ŽO¯œc

˜Ù`¼·Ÿa²LUSOK^hHQŒ+{“jz°<ciZ

¢

VŽNQjle

c*SOP]’aSOTWKŒHQPŽ—

L

c•ž¼O¼~ž8$“ZEx

¢

N`QfiN`LSOP]

¢

wDdœlTWfWPN¹NQ{UjlPfW«œK^NQŒ`Zjz

dšLUfWP^MON`LZ

¢

N`LUTWfyPZ^°‘NQfW]NQTi„†N`L+M^c

˜ÙOFŸ swSh+Œ+{UjN`½g°Ec€SOPl]?sVO½šP^N

I

c՝Q›O¯O¯8$“Zx

N`_7ª¤V~e…lK^hHN`L

L

N`h+j^Vš]Œ6‡‰VOLƒRTiVO„*SOT*”\h+fWe¨fiQSh+fiV~PZjz

TWTWfWŒ¤°wVOL+_ƒVŽVš]

D

h+]ciZ*ª¤jfW{“j^NQŒHhHN`LQc

˜ÙQž Ÿ¹8SQ_¤SLUegSOTySOPf

L

c'SOP]‹dšSOjlfWPfW]fyŒ

c c¢•ž¼O¼~ž8$“Z xUªƒV~P€ON}^fiÁl{`Sh+fWV~PˆSOP]‹RTiVO„lSOTG”\lh+fWegfiQSsw

h+fWV~P±fWP‹ªƒV~PŽh+fWPœK^V~KŒ%SOPl]

L

fiœNQ]iw

µ

PŽhHN`MON`L

V~PTWfWP^NQSL<a(L+VOMOLUSOe¨egfWP^M^ÀE¹‘j^N`VOL+—OZ[\TiMOVOLUfWh+jegŒ`Z

dšVO‡¸h¬_ƒSL+NOZSOPl]³[wlTWfy{`Sh+fiV~PŒ`Zjz

~€ƒ†~„

~

ŠI‚aˆ{ŠI‚’‘I~“–„—…\†(†† #N…\†ŠI‚ #I‚32t†…„ ˆ,—8—–/†ˆ#N…\†ŠI‚%„ŒEŠI–

.

“Z ‹%TWKŽ_ƒN`L‘[w{`SO]cla²K^„*T•ciZPwVOL“]^L+NQ{UjŽh`Z

¢

V~ŒHhHV~PZ

D

V~P]V~Pc

˜ÙQ™ Ÿ†N`hHh+TiN`L

L

cŽSOPl]£RSLUTWVX

I

c՝Q›O›O¯8$“Zyx s‘VO„lKŒHh+PNQŒ+ŒGSOPlSOTi—œŒUfWŒ6VO‡†V~Ti—šP^V~egfWSOTWŒ_wfih+jg†V~Ti—šP^V~egfWSOT

*SLUSOe…N`hHN`L²]^N`†NQP]NQP{}—EKŒ+fyP^M

¢

N`L“PŒHhHNQfWPN}šlSOPŒ+fWV~PZjz

 0 € #I‚%„

.

ˆ•%…#Š)("#N…

.

”yŠI‚E…\€

.

EŠI–

.

OZ»€žO¶ƒ€»€™šc

Referenzen

ÄHNLICHE DOKUMENTE

The paper describes a numerically stable method of minimization of piecewise quadratic convex functions subject to lower and upper bounds.. The presented approach may

We introduce a new method for computing tight affine lower bound functions based on these control points, using a linear least squares approximation of the entire control

We presented three stepwise optimizations of a high-level declarative CLP program com- puting the solutions of a constraint satisfaction problem specifying ranking functions that

However, assigning a truth value to If the car does not start then normally the battery is flat, is not obvious at all; indeed such a truth value does not make sense for instance

We study asymptotic lower and upper bounds for the sizes of constant dimension codes with respect to the subspace or injection distance, which is used in random linear network

Computation of CPA[T ] Lyapunov functions using the Massera function, the Yoshizawa function, and the linear programming approach are on the same suitable triangulation with

As an alternative to solving a linear programming problem, in [9] we proposed a new approach to compute a CPA Lyapunov function for continuous-time systems us- ing a function in

The method presented here is a simple modification of the CPA method where, instead of using linear programming to determine the values at the points of the vertex set, we use