• Aucun résultat trouvé

Diagnosability Of Asynchronous Discrete Event Systems in Partial Order Semantics

N/A
N/A
Protected

Academic year: 2021

Partager "Diagnosability Of Asynchronous Discrete Event Systems in Partial Order Semantics"

Copied!
29
0
0

Texte intégral

(1)

HAL Id: inria-00070750

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

Submitted on 19 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,

in Partial Order Semantics

Stefan Haar

To cite this version:

Stefan Haar. Diagnosability Of Asynchronous Discrete Event Systems in Partial Order Semantics.

[Research Report] RR-5248, INRIA. 2004, pp.25. �inria-00070750�

(2)

ISRN INRIA/RR--5248--FR+ENG

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

Diagnosability Of Asynchronous Discrete Event Systems in Partial Order Semantics

Stefan Haar

N˚5248

Juillet 2004

Systèmes communicants

(3)
(4)

456''+78 %9#.%213-'&

:;=<?>A@CBED @F@CGIH

JLKNMPORQS/TUM,VW?S/SYX[Z]\^VU_`ZaORM

bdcW?ePTOM,fg\hMPO c \^iCj$WkS

l

_?m[mW

c

O2nNT

c

TUVo]T

c

Vo[TpZYqkrksutavxwzy?X]\|{^{|TO}s`~k~`t6ws?r-m]_`€kTUM

ƒ‚ „U…†u‡[ˆ?…?‰ ŠZ6Oc X[{^K‹_kMAKLZ]Vo c WkZ[W?X]MUŒUn[\^MAO c \|i]XNOTInMAKNMAOTUS/MUŒ=Z[T\|Oo]T c €?{^W?i]_?{kMAOR_uORTdZ[W c €k{|Wki]_`{uOR\|S/T

_ c TŽ_=u_`\^{^_?i[{|Tk’‘gXNOWkS_uOR_`“”i_?MTUn•nN\h_`€kZ[WkM\^MgOo]T c T–—W c T c TU_kVo[TUM}\˜OM’{|\^S/\˜O_uO\^W?ZM2ORo[T c T?™š_ nN\|›CT c TUZkO

_?m[m c Wk_kVošŒui]_?MTUn-W?Z b TO c \NZ]TOœX[Z[–—W?{hnN\|Z]€kMUŒ`&_kMm c W?mCWkMTUn-\|ZŸž =¡” ŠOd\hM¢S/W`OR\|u_uORTUnŽiLK6Oo]T2m c W?i[{^TS

W?–0T?TUZaO$VW cc T{h_uOR\|WkZŽ\^ZORT{^TUVWkS/SYX[Z[\hV_`O\^W?Z]MdZ[TOP&W cR£ S_`Z_`€?TUS/TZaOUŒL_`Z]n/XMATIMdW?Z]{|KŽ{|WNVU_`{MAOR_`OTIMŒ

\^ZVW?S-i[\|Z_uO\^W?Zƒ,\˜ORo _-m]_ c O\h_`{CW c nNT c S/WNnNT{FW?–šO\^S/T?df}\^_?€?Z[WaMA\hMœ\hM&mT c–—W cS/TIniLK¤VW cRc T{h_uO\^W?ZW?–

ORo[TgWki]MT c ?TUn/m_ c O\h_`{]W c n[T c _?{^_ c S¥m]_`OAOT c ZM$_?Z]nm]_ c OR\^_?{]W c nNT c T¦NTIVXNOR\|WkZ]MdW?–0Oo[T‹MAKNMAOTUS¥S/WNnNTU{§

‘}Md\^Z/Oo[T}V{h_?MRMA\hV_?{]_`XNORW?S_uO_6MATOAOR\|Z[€Œ`ORo[Tgm c TUMTZVT,W`–0\^ZLa\hM\|i[{^T9Oc _`ZMA\|O\^W?Z]M c _?\^MTUM ORo[Tgm c W?i]{|TUS/M

W?–¢W?i]MT c u_`i[\^{|\|OPKƒ_?Z]n•nN\h_`€?Z]WkMR_`i[\^{|\|OPKƒW?–d_/€?\^?TZ•MKNMPORTSŸ ŠZŸOo[\hM2m_`mCT c Œ]&T€?\^?T_¤n[T¨]Z[\|O\^W?Z•W?–

&TU_ £ _?Z]n©MPO c WkZ[€«ª?¬­®¯±°u²?¬³µ´¶³µ·”¸ƒ_`Zn5¹u³º²»?¼Cªu­²?¬³µ´¶³µ·§¸ \^Z½OT c SMW?–9m_ c O\h_`{^{|KxW c nNT c TUn¾T¦NTIVXNOR\|WkZ]MŒ

_?Z]n¤Vo]_ c _kV±ORT c \|¿UT2nN\^_?€?Z[WaM_?i[{^T2MAKNMAOTSMU™?ORo[T‹Vo]_ c _?VOT c \^¿\^Z[€6m c W?mCT c OPKŽVU_`ZiCT}T›CTIV±O\^?TU{|K/kT c \˜¨]TIn

XMA\^Z[€_-¨]Z[\|OTVWkS/m[{|TOT6m

c

T¨]¦ƒW`–'Oo[T6Z[TO2X[ZN–—Wk{^nN\^Z[€

À•ÁaÂFÃRÄYÅ †uÆ „?‰ _kMAKLZ]Vo cWkZ[W?X]M&nN\h_`€kZ[WkMR_`i[\^{^\˜OPKkŒ b TOc \šZ[TOMŒ]X[ZN–—W?{hnN\^Z[€kMUŒ[_`{h_ c SVW ccT{h_uOR\|WkZš

ÇhÈ0ɍÊÌËUÍ9É,Î Ï^ÊÌДÑÒ

Ó ÔUÕ=Ö=Ö`ױؗٔÚPÛ ÜÝ Ù”Þ=Ú ß‹à'áâšàã ÖIا×äºÚPåæٍç èé èNê¢ë ì”ÚPÚ Ù§Þ=Ú ì”íÙ§ÚPì

îï±ïð]ñ—ò±òó±ó±ó]ôhïõöõ÷øæùFôhúøûü[ôhýþòRþÿþ±ïòæÿõÿUõï[ô^îUïAù

Û

îï±ïð]ñ—ò±òó±ó±ó]ô¶ùúNôµõöõöNôhïAù0ôhý±þ

×±Ø,ױاÚ

í ×±Ø

Ù§í×

Unité de recherche INRIA Rennes

(5)

„ ‰

Å …I„ à ˆ ‰

f}\h_`€?Z]WkMAO\hV_`i]\|{^\˜O¢_?MKaZVo

c

WkZ[T?Œ

l

UMTU_?XN¦’nNT

b

TO

c

\§Œ=nm]{|\h_`€kTUMUŒIVW

cRc

U{^_`O\^W?Z}n_?{^_

c

S/TUMU

(6)

…U† Å Æ ˆ`…Å

Á …U† Á …I„Ž‡

Æ-†u‡

ˆ

† Å ˆ Á „I„ Á „

„ Â

ˆ† Å Å '„§‡

Å „§„

º‡ Å „I‡N‚!"º… Â

#

t%$ bœc TUm]_ c _uOR\|WkZ]M9_`Z]n& _`\^Z•fgT¨]Z[\|O\^W?Z 6‹6‹66‹6‹6’6‹66‹6‹6‹66’6'$=r

s (}iMAT cu_`i]{|T‹fg\h_`€kZ[WkMR_`i]\|{^\˜OPK ‹66’6‹6‹66‹6‹6’6‹66‹6‹6‹66’6'$)

*+ ‡N†u‡[ˆ?… Á †",?‡[…Å Å - º‡ Å „I‡N‚"º… /.

0 *1 Á ˆ234 º‡ Å „I‡N‚!"º…  /5

6

%$ ‘87gTUVTUMRM_

c

Kj$WkZ]nN\|O\^W?Z 6‹66’6‹6‹66‹6‹6’6‹66‹6‹6‹66’6'$I 

6 s j$W?S/m[{^TORT bdc

T¨[¦ 6‹6‹6‹66’6‹6‹66‹6‹6’6‹66‹6‹6‹66’6#s9$

: ;

-8 !œ'

< Á º‡ Å „º„>= † Å ‚ Á

@?]_?\|{^X

c

TYnN\h_`€?Z]WkM\^M9–—W

c

n[\^MRV

c

TORTTkTZaO’MKNMPORTSM2\hM}_ƒV

c

X]V\h_`{'OR_kM

£

\^Z _`X[OW?S_`O\hVVWkZkO

c

Wk{§BA9o[T¹`³º²»?¼Cªu­³h­DCC¯ªk¬´^®E¥o]_?M

c

TIVTU\|kTUn SYX]Vo _`OAORTZaO\^W?Z•\^ZŸOo[T-{|\|OT

c

_`OX

c

T?Œ

MTT ž Œ $?Œ sI¡GF/\|OŽVW?Z]M\^MAORMUŒ \|Z«_?i]MAO

c

_?V±OYOT

c

SMŒ\^Z«nNTOT

c

S/\|Z]\|Z[€ mWaMM\|i]{|T¤iCTo_=a\^W

c

M6\^Z«_•m]_

c“

OR\^_?{|{^K W?i]MT

c

u_`i[{^T6MAKNMAOTS Oo_uO}_

c

TVW?S/m]_uOR\|i]{|T6,\|Oo•ORo[TWki]MAT

c

kTUnm]_uOOT

c

Z•W?–¢_?{^_

c

SMUŒ[\”Tk$ORo]_uO

T¦Nm[{^_?\|ZaORo[TgWki]MAT c u_?i[{|TgiTUo]_=L\|W c  Š ZOo]T’nN\hMRV c TOT}TkTZaO&_?m[m c Wk_?VoŒkMKLMAOTUS7iTUo]_=L\|W c \hM$S/WNnNTU{|TIn

_kM‹_ c T€kX[{^_ c {h_`Z]€?X]_?€?T?Œ0_?Z]n•ORo[TMAKNMAOTS \|ORMT{|–&_kM’$TU{|{d_kMgORo[TnN\h_`€?Z]WkMT c _ c TŽS/WNnNT{^TUnx_?M}¨]Z[\|OT

MAOR_`OT’S_?Vo[\^Z[TUMIHJ?¢J&LK±™_`Z]n¤Oo[TUKƒMAKLZ]Vo c WkZ[\|¿UT}WkZ¾ªk¬±­®¯±°=²k¬´|®/®°=®¼]·§­±MA9o[TZŒL–º_`X[{|OPK¤iCTo]_=L\^W c \^M

n[TOT cS/\^Z[TUniLK c TU_knN\|Z]€YORo[TMPO_uORT’W?–'ORo[TnN\h_`€kZ[WkMT c 

º‡

Å „I‡N‚!J—…  A9o[T £ TUK-m c W?mCT c OPK-Oo]_`O&o]_kM¢ORW-iCTgkT c \˜¨]TIn/iLK-ORo[T‹MATOX[mLH—Oo]_`O&\hMUŒ?ORo[T’MX[i]MTO

W?–šW?i]MT c u_`i[{^T,{^TOAORT c M$_?Z]n/ORo[TN?¢J& Mœ\^ZL?W?{^?TInOK –—W c Oo]\^MœOW-$W c£ Œa\^M’¹u³º²»?¼Cªu­²?¬³µ´¶³µ·§¸u Š O&MAO\^m[X[{h_uORTUM

T¦N\^MAOTUZ]VTW?–,MW?S/TƒVW?Z]MAOR_?ZaOS/_`¦N\|S_`{œ{|TUZ[€`ORoPMX]Vo½ORo]_uOIŒ',o]_`OTU?T c Oo[TƒV\c VX]S/MAOR_?Z]VTIMŒ \|–,_

–º_?X[{|O$WNVVX c MœZ[Wu6ŒkOo[T}{|WkZ[€?TIMPO$MTQaX[TUZ]VTg{|TI_?nN\^Z[€ORWY_Yn[\^_?€?Z[WaMAT c MPO_uORT2Oo_uO$\^Z]nN\hV_`OTIM¢Oo_uOœ–º_?X[{|OUŒ

O_ £ TUM_uOSŽWaMPORPpMAOTUm]M/–c W?S Z[Wu6S?]W c ORo[T S/W c TŸ–—W c S_`{gnNT¨]Z[\|O\^W?ZšŒ9–—Wk{|{^Wu,\^Z[€ JN_`S/m]_`Oo+TO

_?{§ ž ~=¡ÌŒœ{^TO>T iCTŸ_¾m

c

T¨]¦a“æV{^WkMTUn {^_?Z[€?X]_?€?TUHµOo]T•iTUo]_=L\|W

c

W?–gORo[T•MAKNMAOTS OW½iT•nN\h_`€kZ[WkMTUnK

WukT

c

ORo[T T?TUZaOŽ_`{^m[o]_?iTO

A

ŒdnNTUZ[W`ORTWVYX

A

Oo[TŸMTO-W?–Žª?¬­®¯±°u²?¬´|®/_?Z]n[Z\V

, A] V ORo]_uO/W`–

^

¼Fª?¬­®¯±°u²?¬´|® T?TUZaORMU$f}TZ[W?OT+_a`

AbDc V b

ORo[Tm

c

W`ePTIV±O\^W?ZOWƒW?i]MT

c

u_`i[{^T‹$W

c

n[MUŒLOo_uOg\hMŒ]Oo[T

o]W?S/W?S/W

c

m[o[\hMS ORo]_uO6T

c

_kMATIM}_?{|{X[Z[Wki]MT

c

=_?i[{^T-TU?TZaOM}_?Z]n {^TU_=kTUM}W?i]MT

c

u_`i[{^TYWkZ[TUM’X[ZVo]_`Z[€kTUn0™

S/W

c

TUWu?T

c

ŒC{|TO+deX'ZV iCTŽOo[TMTO6W`–f²

^

´¶·§­hguiA9o[TZUT \^M¤¹`³º²»?¼Cª=­²k¬´|®\˜›«Oo[T

c

TŽT¦N\hMPOM@Pkjklm

n

×±Ø ì§í,ÖoíåPíÙµÝçp0Ú$ÛIاױ֋٧Þ=Úq±Ú ÚPØ

oísr

ٔí× Û=Údí

ituwvyx çzpíٔÞ|{

Õ=غ٧Þ=ÚPØÖ

ؗ٧íٔí× ÚPÛYí Ù§×\}~

ˀÏςæуAÊ

ë`ٔÞIÚ

اÚPì”Õoٔì„q±í…Ú Ü`Úo×hp ڇ†UÙ§Ú Û’Ù§×9ٔÞ

Ù å

ì”Ú

(7)

MX]Vo•ORo]_uOIŒF–—W

c

_`ZLKŸ$W

c n T ½,\|Oo j d}Œ0_`ZLKLj

Ab

M‹ORošLj T _`Z]n P

MR_uOR\^MA¨]TIM

j __ "!$# %'&)( H$K

* T c T?Œ+,anNTZ]W`OTIMdORW`O_`{C{|TUZ[€`ORošŒN_`Z]n-+,% Oo[T’ZLX[SYiCT c W`–0–º_?X[{˜O9TkTZaORM$W`–š&W c n.+ œj$W?Z]nN\|O\^W?Z H$K

S/TI_`Z]M}Oo_uO6TkT c K•iTUo]_=L\|W c

Oo_uO6m c WLn[X]VTIMgORo[TM_?S/T/MTQaX[TUZ]VTŽW`–&W?i]MT c u_`i[{^TYTU?TUZkOM‹_?M/

n[WaTIMŒNVW?ZaOR_?\|Z]M$_uO9{|TI_?MAO$WkZ[T2–º_?X[{˜O9TkTZaOF¢_?{|{CT¦LOTUZ]M\|WkZ]MœW?–0 W?–'_uO&{|TI_?MAO&{^TZ]€`OoP ,\|{^{FS_ £ TgOo[T

–º_?X[{|Og_`m[m]_ c TUZaOU

ƒ„ Â

ˆ'† Å Å „+ƺ‡ Å „º„ A9o[T¾m c TIMATUZaOm]_?mT c \hMƒS/W?O\^=_`OTIn5iLK Oo[T½nN\h_`€?Z]WkM\^MW`–6O c X[{^K

_kMAKLZ]Vo

c

WkZ[W?X]M9MKNMPORTSMŒ]\|ZŸ,o[\hVo Oo[TY_?iWukT6nNT¨]Z]\˜OR\|WkZ•\^M,Z]W`Og_?n[TQaX]_uORT_?M9\|O}MAOR_`Zn[M2M\|Z]VT6\˜O}\^M

i_?MTUnxW?Z©_Ÿ€?{^W?i]_?{dMPO_uORT¤_`XNORW?S_uORW?Z¾SŽWNnNTU{§AW MTTŽORo[T¤{^\|S/\|OR_uOR\|WkZ]M6W?–$ORo]_uOS/WNnNT{”ŒVW?ZMA\hnNT

c

Z]TOP&W

cR£

TUn6MKNMPORTSMUŒ=MX]VoŽ_?M MAo[Wu,Z6WkZORo[T${^T–µOo]_?Z]nYM\^n[Tœ\^Z1? \|€kX

c

TD$?A9o[T

c

T?Œ=ORo[T9MATUZ]MAW

c

MKNMPORTS

local time

1

2

4

s s s s s5

3

F F

F

F

F F

F

A A A A A

A A

F A

? \^€?X c T>$ F21®Jf·3/

^

C]®¯±°U³h­±³ºªu¼©ªfY¼C®·54œª`¯76?®¹¤­±¸=­·æ® EY­98$¯±³˜»;:L·<3>=}´^²u¯wE-­@?§­BA

^

²u¯®­DCƒ²u¼C¹Nf²

^

´¶·º­@?"E³µ¯GF

E´|®­DC

\hMnN\hMAO c \|i[X[OTUn3F-MT?T c _?{¢{|WNVU_`{dMTZ]MW c M6_ c T¤_uOOR_?Vo]TUn OW MW?S/T/Z[WNnNTUMYW`–&Oo[TƒZ[TOP&W cR£ HºMo[Wu,Z½\^Z

i]{^_kV £ KIHœ_kVo½{|WNV_?{œMTZ]MW c o]_kM6W?Z]{|K¾_Ÿm]_ c O\h_`{dL\^T¥W`–&Oo[TMAKNMAOTSŸŒ_`Z]n¾\|ORMY{|WNV_?{¢O\^S/T¤\hM6Z[W`O

MKLZ]Vo c W?Z[\^¿TInƒ,\|OoŸORo]_uO}W`–W`Oo]T c MTZ]MW c MU$‘2{h_ c SM,_ c T c TUmW c ORTUnŸ_?MKLZ]Vo c W?Z[WkX]M{|K/ORW/Oo[T€k{|Wki]_`{

MX[mCT

c

L\^MW

c

Œ¢nNTm[\hV±ORTUn«\|Z € c

TK?Œ¢,o]\^Vo mT

c

–—W

c

SMŽnN\^_?€?Z[WaMA\hMU™¢Oo[\hMŽ\^M-ORo[TƒOPKLm[\hV_?{&_

c

Vo]\˜ORTUV±ORX

c

Tƒ\^Z

ORT{^TUVW?S/SYX[Z]\^VU_uO\^W?ZM$Z]TOP&W

cR£

S/_?Z]_`€kTS/TZaO2MKLMAOTUSM&OWNn[_=KLH§MATUTŽžsut`¡

(8)

< Á ÁLÁ

Æ

-ÌÅ

† ‡ = ‡N†=…º‡ Å

†uÆ

Á

†„

Á ‡

…ºˆ?„ HdkTZ•\|–Oo[TW

c

n[T

c

W`–TkTZaORM2S/_=KiT-VW

cRc TUV±OR{|K

Wki]MT

c

?TUn {|WNV_?{|{^K©iLK TU_kVo«\^Z]nN\^L\^nNX_`{,MATUZ]MW

c

ŒœVWkSŽS-X[Z[\hV_`O\^Z[€¾_?{^_

c S TU?TUZkOMŽa\h_ Oo[TŸZ[TOP$W c£

VU_`X]MTUM$_{^WkMRMœW?–MAKLZ]Vo

c

WkZ[\|¿I_uOR\|WkZ3F'_kMœ_

c

TUMX[{|OUŒaOo]T}\^ZaOT

c

{^TU_=L\|Z]€6W`–TU?TZaOMœVWkS/SYX[Z[\hV_`OTIn/OW-Oo[T

MX[mCT c L\^MW c \hM2¼Fªu¼F¹?®·Ì®¯wE-³µ¼³h­±·§³EMA9o[T c \^€?oaOœm[\hV±ORX c TgW`–š,o]_`OdOo[T’MAX]mT c L\hMAW c VWk{|{^TUVORMd\hMœOo[T c T–—W c T

_ C[²`¯±·§³º²`´µ´¶¸©ªu¯¹k®¯®¹«MATOUŒ c _uOo]T c ORo]_`Z _©­®9A

^

®¼ E®ŒW`–}_?{^_ cSMU™dMATUT¤Oo]Tm]_`OAORT c Z©–—W c S/TUn©iLK¾Oo[T

MyQaX]_ c TUMdW?Z/Oo]T c \^€?oaOœo_`Z]nM\^n[T2W`–„? \^€?X c TI$?‰A9o[TgMKNMPORTS¥\˜OMATU{˜–šiCT\^Z[€ŽnN\^MAOc \^i[XNOTIn0Œa$Tg_?{^MW6o]_=kT

m_ c O\h_`{^{|KxW c nNT c TUn¾MVTZ]_ c \^WkM‹W?–Mf²

^

´¶·§­ H§V\c V{|TIM\^Z ? \|€kX c T $K±Œ_?M-V_`ZnN\^n]_uOTIM‹–—W c T¦Nm[{h_`\^Z[\|Z]€•Oo[T

_?{^_ c S m]_uOOT c ZWki]MAT c kTUn-iLKYORo[T}MTZ]MW c MU4A9o]_`Oœ\^MUŒa$T2Z]TTUnŽORWYVWkS/m[XNOTkŒ?–—W c nN\h_`€kZ[WkM\hMŒ`m_ c O\h_`{^{|K

W c n[T c TUnŽMATORM¢W?–FTU?TUZkOM Oo]_`OœS_=KYo]_=kT9WLVUVX cRc TUn/_`Z]nšŒ?o]_knYORo[TKŽWNVVX ccTUnšŒ`$WkX[{hn-o_=?T9m c WLn[X]VTIn

ORo[T’W?i]MT c ?TIn/m]_uOOT c ZƒW?–'_`{h_ c SM T}TUSŽm]o]_?M\|¿UT2ORo]_uO9TU_kVoƒMAXVoƒm]_ cOR\^_?{W c nNT cœc Tm c TUMTZaOMœ\^Zƒ\|ORM

ORX c Z¾_?ZxTQkX]\|u_`{^TZVTV{h_?MRM’W`–&MTQaX[TUZ]VTIMŒšOoLX]M‹m]_kMM\|Z]€ORWŸm]_ c O\h_`{W c nNT c M‹_`{^{^Wu2MŒ0\^Zx€kTZ[T c _?{§Œš_

MX[i]MAOR_?ZaO\h_`{F€k_?\|Z¤\^Z T¤V\^TZ]VK? Š Z _ŽMTUVW?Z]nMPORTmUH—Z[W?O&O cTI_uORTUn¤o]T c TK±ŒLORo[T/´¶³6k®´¶³:]ªUªI¹‹W?– MRVTZ_ c \|WaM

o_?MœOWYiCT‹VW?S/m]_ c TIn0ŒkOW/MATU{|TIV±OUŒN_?SŽWkZ[€6ORo[T’MRVTUZ]_ c \^WkMdW?›CT c TIniLKŽOo[T’S/WLn[T{”ŒLOo[T’S/WkMAO$m c W?i]_?i[{^T

T¦Nm[{^_?Z]_uOR\|WkZ¤–—W

c

Oo[T6€k\|kTZ W?i]MT

c

u_uO\^W?Z™LMTT/ž$¡š–—W

c

_/VW?ZMPO

c

X]VO\^W?Z W`–MAX]Vo {^\

£

T{^\|o[WLWNn[MU

A9o[T6m

c

TIMATUZkO2_

c

OR\^V{|T

c

TUV_?{|{hM$Oo[T‹–—W

c

S_?{F–

c

_?SŽTU$W

c£

–—W

c

nN\h_`€?Z]WkM\^M$–—W

c

m_

c

O\h_`{^{|KW

c

nNT

c

TIn

c

X[Z]M

€k\|kTZŽ\|Z ž u¡ÌŒk_`ZnYTIMPO_`i[{^\^Mo[TIM Oo[T2_knNTQaX]_`OT,nNT¨Z[\˜OR\|WkZ/W`–d¹u³º²»?¼Cªu­²?¬³µ´¶³µ·§¸u\A9o[T2nNT¨Z[\˜OR\|WkZ/€?TZ]T

c

_`{|“

\^¿TIMdORo[T‹V{h_?MRMA\hV_?{]W?Z]Tg€?\^?TUZšŒk–—W c Oo[T‹_`XNORW?S_uORW?Z¤VU_?MT?Œa\|Zxž ~=¡”ŒaORWYm]_ cOR\^_?{W c nNT c iCTo]_=L\^W c Œk,o]T c T

&TU_ £ _`Z]n MAOc W?Z[€nN\h_`€kZ[WkMR_`i[\^{^\˜OPK/,\^{|{šo_=?T}OW/iTn[\^MAO\^Z[€?X]\^Mo[TUnš T6€k\|kT’_/Vo]_ c _kV±OT c \^¿U_`O\^W?Z¤W?–

n[\^_?€?Z[WaM_?i[{|TMKNMPORTSMŒ¢_?Z]n©MAo]Wu o[Wu7Wki]MAT c u_?i[\|{^\|OPKx_`Zn©nN\^_?€?Z[WaM_?i[\^{|\|OPKxVU_`Z©iCTƒVo[TUV £ TUn¾W?Z _

¨Z[\˜ORTVWkZ]MPO cXV±O|H—Z]_?S/T{^K?Œ[_Ž¨]Z[\|OT6m cT¨[¦ƒW`–'Oo[TMKNMPORTS X[ZN–—W?{hnN\^Z[€#K

45%& %&' 8 4 &%,%,

b

TO

c

\gZ[TORMƒ_

c

TŸ&T{^{˜“ÌTUMAOR_?i[{^\^Mo[TUn –—W

c

S_`{gSŽWNnNTU{^MUŒ,,o[WaMAT _knNTQaX]_kVK –—W

c

S/WNnNT{^{|\^Z[€«n[\^MAO

c

\|i]XNOTIn

MKNMPORTSMš\hMš,\hnNTU{|K c TIVWk€?Z[\^¿TIn0‘ b TOc \?Z[TO'\hM_,i[\^m]_ c OR\˜ORTœ€ c _`m]o‹VW?S/mCWkMTUn‹W`–#CF´|² E®­ c TUm c TIMATUZaO\^Z[€

mCWkMRM\|i[{^T6{^WLVU_`{MAOR_`OTIMŒC_`Z]n½·”¯²u¼]­±³µ·§³ºª`¼[­&Oo]_`Og{|TI_?n–c W?S _`ZŸ\|Z]m[XNO’MTO}W`–m[{^_kVTIM9OWƒ_?Z•W?XNORm[XNO}MTO

W?–m[{h_?VTUM’™F·Ìª 6?®¼[­œ\^Z]nN\hV_`OT}Oo]_`O2_{^WLVU_`{0VWkZ]nN\|O\^W?Zo[W?{hn[MU b TOc \CZ]TORM&“–—W c ORo[T}–—W c S/_?{0nNT¨]Z]\˜OR\|WkZ

MTT‹iCT{^Wu “&V_`ZŸiCTMATUTZ•_?M2Z]_uORX c _?{0€?TUZ[T c _`{^\|¿I_uOR\|WkZƒW`– ¨]Z[\|OT-_`XNORW?S_uO_Fœ\|Z]n[TTUnšŒ[TkT c K?N‘pV_?Z

iCT c Tm c TUMTZaOTIn-_kM¢_ b TO c \[Z[TOd,o[WkMT9O c _`ZMA\|O\^W?Z]Mo_=?T9T¦[_?VO{^KW?Z]T,\|Z[m]XNOœ_`Z]nŽWkZ[T,W?XNORm[XNOdm[{h_?VT?Œ

_?Z]n,\˜ORo T¦[_?V±OR{|KƒW?Z[T’OW £ TUZWkZORo[T‹\|Z]\˜OR\^_?{MPO_uORT?

‘,VUVW c nN\^Z[€?{^K?Œ ORo[T MTS_?ZkOR\^VUMYW?– b 7_`{^{|Wu2M-_ €kTZ[T c _?{|\^¿U_`O\^W?Z©Wu?T c ORo]_uO/W`–g_?XNOWkS/_`OR_OF¤‘2XN“

ORW?S_uORW?ZiCTo]_=L\^W?X c V_`ZiCT’T¦Nm c TUMRMATIn-iLK 4œªu¯¹u­±Œa,o]\^Voƒ_ c Tg{|\^Z[TU_ c {^KYW c n[T c TUn_`Zn/o]_=?Tg_{|TUZ[€`ORo

€k\|kTZŸiLK•VW?X]ZkOR\|Z]€/Oo[T-{|TOAOT c MU b TO c \'Z[TO’iTUo]_=L\|WkX c MŒ[WkZ•Oo]TW`ORo[T c o]_`Z]nšŒCVU_`Z•iCT c Tm c TUMTZaOTIn

iLK Eªu¼ '»

^

¯²u·”³ºªu¼]­ŒOo_uO}\hMUŒFMTOMgiCTU_ c \^Z[€ƒ_ C[²`¯±·§³º²`´œªu¯¹k®¯,ORo]_uO’\^M}Z[W?O}{^\|Z[TI_ c \|Z €kTZ[T c _?{§™C\^Z]MPORTU_kn

W?–œ{^TZ[€?OošŒ0&T-,\^{^{¢iTŽS_`Z[\^m[X[{h_uOR\|Z[€ :[®³˜»;:L·dW?–$MAXVo m c

WNVTUMRMTUMUŒF_Z[W?O\^W?Z W?–œ,o[\hVo ORo[T

c

T-T¦N\^MAORM

_-{^Wu$T

c

_?Z]n _`ZƒX]m[mT

c

?T

c

M\|WkZM\|ZVT‹W?Z[T‹V_?ZS/TI_?MX

c

T}Oo]T’m

c

Wk€

c

TUMRMœW?–Oo]TŽ´^®R²u­±·&²?¹`°=²`¼ E®¹¤´^ª E²u´

CF¯ª ER®­­±Œ[W

c

ORo[T E/ªu­·,²?¹`°=²`¼ E®¹ª`¼C®

T–—W c T}VW?S/\^Z[€i]_kV £ ORWORo[TUMTgZ[W?O\^W?Z]MUŒkMW?S/T2S/W cT2i_?V £ € c W?X[Zn-W?–0Oo[T}$W c£ m c TUMTZaOTIn/o[T c T?

A9o]\^M’m]_?mT c T¦Nm[{|W c TIM,ORo[T_?MKaZVo c WkZ[W?XM2nN\h_`€?Z]WkM\^M’_`m[m c Wa_?VoŸ–c W?S ž =¡”ŒX]MA\^Z[€ b TOc \¢Z[TOM Hb 7}MyK

_kM2\|ORM}S_`\^ZŸOWLW?{&™CVW?S/m]_ cT¤ž ŒCt[Œ0s )U¡W?ZŸORo[T1A9o[TUW c K _?Z]n•_`m]m[{|\hV_`O\^W?Z•W?– b 7gMUD?[W c ORo[TYXMATW?–

b 7gM¢\^Z¤nN\h_`€?Z]WkM\^MUŒ`VWkSŽm_ c T’ž$U [Œks` NŒO$

6

Œ9$)U¡K±,¯R²u¼ E9:L³µ¼L» CC¯ª E®±­­®±­g_?Z]n

^

¼fª`´|¹u³µ¼L»u­,W`– b 7}Md&T c T

W c \^€?\^Z]_?{|{^Kgm c W?mCWkMTUn’iLK@72\^T{hMATUZšŒ b {^W`O £ \^ZY_`Zn \|Z]M £ TU{]žs 6

¡”Œu_`Zn‹X]MATIn‹–—W c E/ªI¹?®´ E :]®9E 6`³µ¼a»?Œ?MTT & V

(9)

& \|{^{^_?Z žs?rI¡š_`Zn.HœMm]_

c

¿U_YTO&_?{§9ž

6

Œ9)I¡Ì™aOo[TUKo]_=?T2iCTTUZƒX]MTUn¤–—W

c

MAX[mCT

c

L\^MW

c

K/VW?ZaO

c

Wk{]\^Z žs?sLŒ[s ¡”

&c

_`Z]Vo]\|Z[€m

c

WNVTIMMTUM

c

TUm

c

TIMATUZaO,Oo[TŽMATOgW`–dT¦LTIVXNOR\|WkZ]M2W?–d_

b

TO

c

\ Z[TO’\|Z _¤Z[TO‹MPO

c

X]VOX

c

T?ŒX]M\|Z[€

component 1

component 2

7 1 1 1

1 5 6

α

α α

2 3 44

γ δ η

1 7

4 3 2 2 γ

11 7 5 6

2 3

β

ζ

γ δ η

2

1 7

4 3

4 3 α

5 7 γ

δ 5

3

2 4

1

7

η ζ δ α

6 β

γ

? \^€?X c T2sF

^

¼¼]³µ¼L»Y®a²zE CF´|® 3 ?Ì´|®Jf·C²Ž¬¯²u¼ E :N³µ¼a» CC¯ª E®±­­3fªu¯ ?̯±³˜» :N·C²`¼C¹Ž² Eªu¼ '»

^

¯²u·”³ºªu¼

ª f ¬®³µ¼L» ®k·Ì®¼C¹k®¹¤¬¸ƒ²¤¼C®B4 ®°u®¼]·/?<E®¼]·æ®¯DC

_?Z _?MKLZ]Vo c W?Z[WkX]M,MTS_`ZaO\hVMg,\˜ORo {^WNV_`{MAOR_uORTUM}_`Z]n•m_ c O\h_`{^{|K W c nNT c TUn OR\|S/Tk6j$WkSŽS/WkZ m c T¨[¦NTUM

W?–¢T¦NTUVXNO\^W?Z]Mg_ c TMAo]_ c TIn0Œ_?Z]nŸT¦NTIVXNOR\|WkZ]M2nN\|›CT c\^Z[€¤WkZ[{^K\^Z MAWkS/T\|ZaORT c {|TI_=a\^Z[€/W`–¢\^Z]nNTUmTUZ]nNTZaO

O c _?Z]M\˜OR\|WkZ]M¢_ c T c TUm c TUMTZaOTIn-WkZ[{^KYW?ZVT?™?Oo[\hMdS/TUTORMdOo[TgZ[TTIn[MdW?–F_kMAKLZ]Vo c W?Z]W?X]M¢nN\h_`€kZ[WkM\hMŒ`,o]T c T

MW?S/T c TUVW c nNTUn _`{h_ c S MATQkX]TZ]VTUM2nN\|›FT c W?Z[{^KL\h_/Oo]T\|ZaORT c {|TI_=a\^Z[€W?–¢VW?Z]VX cRc TUZkOg_?{^_ c SMUŒ]o[TUZ]VT

\|Od\hMdnNTUM\c _?i[{|T9Z[W?O¢OWnN\hMAO\^Z[€?X[\hMo-ORo[TSŸŒa_`Z]n/M\|S/\^{^_ c {^K6–—W c Oo[T,\^ZaOT c {^TU_=L\|Z]€}W?–FVW?Z]VX cc TZaO–º_`X]{˜OM

Á …I„Y‡

Æ Å Å Å †=!4§„«„ T‹,\^{|{FZ[Wu5€k\|kT}MW?S/T’i]_?M\^V’nNT¨]Z[\|O\^W?Z]M$OWŽ{h_=K/Oo[T’€ c W?X[Zn[M

Á

—…Å

®·º­-²`¼C¹.:[ªzE/ªzE/ª`¯GC :L³h­wE-­ = Z[TO/³h­Ž²·§¯±³CF´|®

c

4 :[®¯® ²`¼C¹

²`¯®’¹u³h­! ªu³µ¼·'­®·º­,ªfm[{h_?VTIM}²`¼C¹-O c _`ZMA\|O\^W?Z]M'²u¼F¹

c#"

!%$ & '($) 9³h­9·:]®+*Wu c TU{^_`O\^W?Zš

, ®¼Cªu·”³µ¼a» ¬¸.-Ÿ·:[®-¯®´|²u·”³ºªu¼F²u´OCC¯ªI¹

^

E·'&²u¼F¹¬¸0/

b

·:[®-·”¯²u¼]­±³µ·§³µ°u® E´|ªu­

^

¯®/ªfY¬³µ¼C²`¯±¸ƒ¯®´|²u·”³ºªu¼1/2

­®· 6,c b ²u¼F¹13 ,c - 64ª`¯²•¼CªI¹?®05Wj67&89}¹?®¼Cª`·Ì®9:;5

, < 5 =5 c 5?>•·:]®¤m c TUMTO

²`¼C¹5@:

, < 5 =5 c 5 > ·:[®ƒmCWkMAORMTOªfA5 = Z[TO6o[WkS/W?S/W c m[o[\hMAS f¯ªEB ·æª ,³h­¤² E²yC C `DE&FHGI

c J&K œ­

^

E9:Ÿ·:[²`·D3

L C

! BX%

C

' XM $²`¼C¹

N fªu¯-®°u®¯±¸¼FªU¹k®5 ªf+6 COPRQ `:5

c : C S5 Y²u¼F¹ CTOQDP `J5@:

c C S5 :

³µ¼C¹

^

E®Ž¬³ ®9E·§³ºª`¼[­

U¤ˆ?ˆ'†=† Á ˆ Á Á …U„ A'$W-Z[WNnNTUMV55 W`–_Z]TO+ _ c TY³µ¼-Eªu¼XW$³E·'] c \|OAORTZ15ZY.5 —ŒL\|–šOo]T c TgT¦N\hMPO

O c _?Z]M\˜OR\|WkZ]M+[\;[ j1 MX]Vo/Oo]_`O@Hº\‚K+[]^[ Œ H—\^\‚K : [`_ : [ ]ba[Œa_?Z]n Hº\|\^\‚K)[

65_`Z]nc[ 65 ¢‘5Z[WNnNT 5•\^M,MR_`\hn¤ORWiT6\^Z¾­®´f9F Eª`¼;W&³E·9\|›d5@Y.5

(10)

Á

—…

Å @

=}¼«WNVVX

cc

TZVTŽZ[TO-?

CŸ³h­¤²•¼C®·|V c

R4¢³µ·:½·:[®®´^®E®¼·º­¤ªf

E²`´µ´|®¹•VWkZ]nN\|O\^W?Z]MŽ²u¼C¹ƒ·:[ª=­®Žªf©TU?TUZkOM\¢­²`·§³h­f¸u³µ¼a»·:[®Ž²?¹k¹u³µ·”³ºªu¼C²`´9CF¯ªyC]®¯±·§³º®­B3

L

¼Cª­®´f9F Eªu¼XW&³E·<3 @5 j & ` 5@Y.5 !58

N

6 ³h­Y²NC]²u¯±·”³º²u´ ª`¯¹?®¯B3 @5 j & ` 5 3 5 !8

@5 j & ` < 5 `J5 @3M5> 3 8

¼Cª¬R²)E 6 4œ²u¯R¹¬¯²u¼ E :N³µ¼a» 3Njk` : &

(’VUVX cRc TUZ]VT Z[TORM_ c TŸX]MT–—X[{9ORW c Tm c TIMATUZkO/T¦NTIVXNOR\|WkZ]M/W`– b TO c \,Z[TOMŒ9MTTŸiTU{|WuIFŸTIMMTZaO\h_`{

n[KaZ_`S/\^VU_`{Cm c W?mCT c O\^TUMœ_ c T}L\^M\|i]{|T’L\^_Oo[T}OWkmWk{|Wk€?\hV_`{CMPO c XV±OX c T}W`–šORo[T}i]\|m]_ c OR\˜ORTg€ c _?m[oLw+X[Z[{^\£ T

–—W c$b TO c \0Z[TOM T‹_kMMX[S/T2ORo]_uO9ORo[T’MTO

, V $W`–S/\^Z[\^S/_?{FZ[WNnNTUM&W`– V #\^M9VW?ZaOR_?\|Z[TIn

\^Z!’‰72WNnNTIMV5Ÿ_?Z]nF5 F_ c T.ERª`¼ E ^

¯±¯®¼]·'] c \|OAORTZ15#"$J5 §ŒN\|–'Z[TU\˜ORo[T c 5

65 ºŒNZ[W c 5 65'ŒLZ[W c 5@Y25

o]W?{hn0’‘ FÌ­®·g\hM}_MATO%"W`–dm]_?\

c

,\^MT-VW?Z]VX

cRc

TUZkO’VW?ZnN\˜OR\|WkZ]MU™š_¤S_u¦N\^S/_?{ VW`“æMATO&%6

c OI‹MTO

\^Z]V{|X]M\^W?Z \^M2VU_`{^{|TIn_ E ^ ·

Á …†

Á …U„ A9o[TŽMPO_uOR\^V-MPO c X]VOX c TYW?–dZ[TO‹\hMg€k\|kTZ _nNKLZ]_`S/\hVM}a\h_S_ cR£ \|Z]€kM|F}‘ E²u¯76`³µ¼a»•W?–

Z]TO\^M,_ŽSYX]{˜OR\˜“æMATO(' `DHGI

c <*)

B&J,+`B(B( (>‹W?– m]{^_kVTUMU

Á

—…Å

k

= b TO c \Z[TO?-

C¤³h­-²IC[²`³µ¯ ' .'/ 4 :[®¯® 3³h­-²ƒ¼C®· 4¢³µ·:¨]Z[\|OT ¼CªI¹?®

­®·Y²`¼C¹0'/«²u¼5\^Z[\|O\h_`{IE²u¯76`³µ¼a»( j ³h­•TZ_`i[{^TUn ²u·'7 4¢¯±³µ·§·æ®¼1' I c2

f' 435

)

fª`¯¤®°u®¯±¸63 j%: [/7"f8' I c2

+[ E²`¼ ¨ c T ,´|®²?¹`³µ¼a» ·Ìª' , 9'#I%:[ #:7[R:;84¢¯±³µ·æ®' I c2 '

;

:]®/­®· <='/ ªf

c

TU_kVo]_`i]{|TE/²`¯76u³µ¼L»u­¤ªf ³h­-·:[®Ž­wE²u´µ´|®­±·2­®· <-='/ .Eªu¼]·æ²u³µ¼³µ¼a»>' ²`¼C¹

­ ^

E9:©·:[²`·?' j<-='/ ²`¼C¹@' I c2

' ’·æª»a®·:]®¯³EDCC´¶¸A' j<-9';B-,®·”¯±³2¼F®· ³h­MR_u–—T

³f6' ! |X

<*)

& >Ifªu¯¤®°u®¯±¸' jC<-EDF ;G7"fV ³h­-­²f®\g³µ· :[²u­² d¼]³µ·æ®/¼

^

E/¬®¯ŽªfŽ¯®²)E :]²?¬´|®

­±·æ²u·æ®±­98$¹k®¼Fªu·æ®·:L³h­6¼

^

E¬®¯²u­H ;

TVWkZ]MA\hnNT c W?Z[{^KƒMR_u–—T b TO c \šZ[TORM9o[T cTkŒNo[TZVT6S_ cR£ \|Z[€aM9V_`Z iCT c TU€k_ c nNTInƒ_?M9m]{^_kVT6MATORMU

-†u‡

ˆ

= †

Å ˆ Á

„I„

Á

„9‡

Æ -ÌÅ ºÆ

„ (’VUVX

cRc

TUZ]VT¢Z]TORM V_?ZYMT

c

?Tœ_kM_2MTS_`ZaOR\^VUMš–—W

cb TO

c \

Z]TORMUŒ\”T?_

b

TO

c

\œZ[TO MYiTUo]_=L\|WkX

c

V_`Z½iCTX[ZN–—Wk{^nNTIn½\|ZaORWŸ_?Z½WLVUVX

cRc

TZ]VTŽZ]TO,o[WaMAT¤MAO

c

X]V±ORX

c T

c

Tm

c

TIMATUZkOM$Oo[T6mCWkMRMA\^i[{^T‹T¦NTUVXNO\^W?Z]MF

Á

—…

Å ?

=i

c

_?Z]Vo[\^Z[ۥm

c

WLVTUMRM•ªfG-2®·”¯±³g¼F®· ³h­Ÿ²>C]²u³µ¯GI' S6 C R4 :]®¯® ³h­ ²u¼

ª E9E

^

¯±¯R®¼ ER®¼C®·$²`¼C¹ C ³h­Y²:[ªEªEªu¯GC :L³h­wE f¯ªzE ·æªAd¢­

^

E9:Ÿ·:[²`·D3

J

·:]®9¯®­±·§¯±³ E·§³ºª`¼¤ªf

C

·æªDEŽ³µ¼ S $³h­9²‹¬³ ®E·”³ºªu¼¬®·54œ®®¼iEŽ³µ¼ S 9²u¼F¹D ?”·:[®$­®·ªf$³µ¼]³µ·”³º²u´µ´¶¸

E/²`¯76?®¹ICC´|²)E®±­DC&²u¼F¹

J

fªu¯-²`´µ´#KJLK j : K/ : K ²`¼C¹ C ,K; C ,K ·ÌªR»k®·:[®¯6³E CF´¶¸K MK

4'ªu¯I I 4œª ¬¯R²u¼ E9:L³µ¼L» CF¯ª ER®­­®±­RI g³h­² m c T¨[¦ ?§­®®ƒ¬®´|ª 4 C ª f&I>4¢¯±³µ·§·æ®¼>I ONPIg³f/·:[®¯®

®k³h­±·º­,²u¼ƒ³µ¼; ®9E·”³µ°=® :[ªzE/ªzE/ª`¯GC :N³h­ŒEPQ f¯ªE ³µ¼·Ìª+60­

^

E9:/·:[²`·RQ5³µ¼F¹

^

E®­,²-¬³ ®9E·§³ºª`¼ ¬®·4œ®®¼

·:[®Y³µ¼]³µ·”³º²u´E

^

·§­ ²`¼C¹S $²u¼C¹¤·:]® EªzE C]ª=­±³µ·”³ºªu¼ C -TQ ERª`³µ¼ E³º¹?®­ 4¢³µ·: C

(11)

KORo[TW

c

TUS s W`–žrI¡”Œ?Oo[T

c

T9T¦L\hMAORM¢_’X[Z[\‚QaX[T|H—X[mŽORW‹_?Z/\^MW?S/W

c

m[o[\hMS>KN9“ÌS/_`¦N\|S_`{Li

c

_`ZVo[\|Z]€

m c

WNVTIMMUŒNV_?{|{^TUnƒOo[T

^

¼fªu´|¹`³µ¼a»W`–@z_`Z]n nNTZ]W`OTIn•

Á

—…Å = ­ ^ ¬ Fæ¼F®· ªf ³h­²HºMAO c X]V±ORX c _`{Kœm c T¨[¦©ª f)d,4¢¯±³µ·”·Ì®¼ NM6³

L ? X

N

³h­-V_?X]MR_`{^{|KƒV{|WaMATIn03,³f5

65 ²u¼F¹05 j d·:[®¼K5 j &²u¼F¹

fªu¯-²`´µ´ ®°=®¼]·§­8K KIj©³EDCC´¶³º®­6KD:@X

; :]®’­®·œª f‰CF¯® TL®±­g³h­6¹?®¼Cª`·Ì®¹ =kCC¯® ©ªf1V ³h­‹²VW?ZN¨€?X c _uOR\|WkZ ³f¾³h­6VW?Z *\^VOA“”–c TUT

µ®;Y¼Cª¤·54œªƒ¼CªI¹?®­ f¯ªE²u¯R®Y³µ¼Eªu¼;W&³8,¹?®¼Cª`·Ì®/²=­ ·:[®Y­®·9ª f-²u´µ´Eªu¼ »

^

¯R²u·”³ºªu¼[­R&²`¼C¹

²u­ !"E·:[®­

^

¬­®·9ªf# Eªu¼·Ì²`³µ¼]³µ¼L»¤·:[® d¼³µ·Ì® ERª`¼ »

^

¯²`·§³ºª`¼[­

TUVU_`X]MTW`–gj$W?ZnN\˜OR\|WkZ Œ_ ¨]Z[\|OT¤VWkZN¨]€kX

c

_`O\^W?Z$¾OT

c

S/\^Z]_uORTUM_`O-_•VX[OUŒ ,o[\^Vo½&T¤nNTZ]W`OT

% ‹W

c

'&]fgTUZ[W`ORT/Oo[T¤MTOW?–&VWkZN¨]€kX

c

_`O\^W?Z]M‹_kM"œ™_UE²k³E²u´šVWkZN¨]€kX

c

_`O\^W?Z H—6

c OUƒMTO

\^Z]V{|X]M\^W?ZK’\hMV_?{|{^TUn½_¾¯

^ ¼ _`Znx€kTZ[T

c

\hV_?{|{^K nNTUZ[W`ORTUn)(2™$T¤nNTUZ[W`ORT/Oo[TMATOW`–

c

X[ZM6_?M*’?[W

c

_?ZƒTU?TZaOSKkŒ[nNTZ]W`OT6_kM+ K-,‹Oo[T6MS/_?{|{^TUMAO2VWkZN¨]€?X c _`O\^W?ZƒVW?ZaOR_?\|Z[\^Z[€>KkŒ[_`Z]n _?M.0/K-132$Oo]T‹MS_`{^{|TIMPO

VW?ZN¨€?X c _uOR\|WkZxVWkZaOR_`\^Z[\^Z[€ :K? T¤Z[W`ORT/Oo]_`O4 N’\hM_•VWkS/m[{|TOT¤{h_uOO\hVT Hº,\˜ORo©X[Z[\^W?Z _?M

ePWk\|ZŸ_`Znƒ\^ZaOT c MTUV±OR\|WkZ_kM$S/TUTO,W?mCT c _uOR\|WkZK±Œ[_?Z]nORo]_uO 5 Nœ\^M,_/VWkS/m[{|TOT‹{^Wu$T c MTS/\^{^_`OAO\hVT

o_=a\^Z[€ 4! NY_kM-_¾VWkS/m[{|TOT {|Wu&T c MAX]iN“ÌMTS/\^{^_`OAOR\^VT? A'$W¾VW?Z[¨]€?X c _uOR\|WkZ]M _?Z]n 9_ c T

EªzE C]²u·”³º¬´^®Œ[ c \|OAOTUZ687 §Œa\|›) & \hM9_-VW?ZN¨€?X c _uOR\|WkZš‰(}iLL\^W?X]M{|KkŒ>N9 F\|S/m[{^\|TIM87 §ŒLi[XNO

Z]W`OœL\hVT,?T c MR_[72W?OT,–—X c Oo]T c ORo]_uO:7$\^Mg¼Cªu·C_`Z/TQaX[\^u_`{^TZ]VT c T{h_uO\^W?Z„F\^ZR?'\^€?X c Tgs[Œ`OR_ £ T2_kM; Oo[T

\^Z[\|O\h_`{¢VX[OUŒ

, < !̌0,o[T c T< \hM}Oo[TŽ€ c TK=<“”{h_`iCT{^TUn TkTZaOUŒ0_`Zn)">

, ?!̌š,\˜ORo8?«Oo[TŽW?Z[{^K

?š“”{h_`iCT{^TUnxTkTZaOW?ZxOo[T{^Wu&T c‹c \^€?oaO6o]_?Z]nxM\hnNTW`–B?'\^€?X c T¤sNRA9o]TZ@ 7

_?Z]n$ 7">`Œ'i[XNO

A

7BC> ±D?]W c _?Z•T?TUZaOGKF]jD MAX]VoŸORo]_uOA: KiXE _`Zn•MAX]VoŸORo]_uO’Z[W¤TU?TZaO2\^Z)•\hM2\^Z VW?Z *]\hV±O

,\|OoFKkŒCVU_`Z¤iCT@Eªu¼ E²`·Ì®¼C²`·Ì®¹g,\˜ORoBKkŒN c \|OAORTZFG Kk™N\^Z¤Oo]\^M9V_kMATkŒLW?Z[T’nNTUnNXVTUM&TI_?M\|{^KŽOo]_`O+:K

S-X]MAO}iCTŽ_ VWaMATO}W`–

6“ÌS_u¦N\^S/_?{'VW?Z]nN\|O\^W?ZM}\^Z)Œš_`Z]n•Oo[T Eªu¼ E²`·Ì®¼C²`·§³ºª`¼FHK

,9& < K> &CKD:

\hM}Oo[T/MS/_?{|{^TUMAO’VW?ZN¨€?X c _uOR\|WkZ•Oo]_`O‹VW?ZaOR_?\|ZM

< K > &|A9o[T c T{h_uOR\|WkZDG¥_`Zn•Oo]TŽVW?Z]VU_uOTUZ]_uOR\|WkZ

WkmT c _`O\^W?Z¤T¦LOTZnƒORW-m c T¨[¦NTUMF  c \|OTIGK\˜› ?̳CA: K|XJ'H—\”Tk : K\^M&Z[W?O9Z]TUVTIMMR_ c \^{|K/S_u¦N\^S/_?{‚K

_?Z]n ?̳µ³C6K|j

] ŒN_`Z]nƒnNTZ[W?OTkŒa\^ZORo]_uO,V_kMATkŒa_kMKIH K

,E& < K >&>KD:2ORo[T Eª`¼ E²u·æ®¼F²u·”³ºªu¼ W?–L _?Z]nCKkNA9o]T-VWkZ]V_`OTUZ]_uOR\|WkZ WkmT

c

_`O\^W?Z•€kTZ[T

c

_?{|\^¿TIM9OWm]_`\

c

M2W`–œVWkZN¨]€kX

c

_`O\^W?Z]MUŒ]\^Z•ORo[T–—Wk{|{^Wu,\|Z]€

9_=K?

-… Å- ˆ Å

†u‡N…Å „ ‘gZLKY¨]Z]\˜ORT’VW?ZN¨]€kX c _uO\^W?Z –c W?S Oo[T}X[ZN–—W?{hnN\^Z[€ ANH C

W?– '6 '/ 9\^Z]nNX]VTUM}_Ÿ­7:L³ –c WkSORo[TYW c \^€?\^Z]_`{0Z]TO S6.'/;9OW2 & '6 ' & 9,\|Oo

X]ZN–—W?{hnN\^Z[€O & & & %N & C& ±Œ],o[T c T

'&

, C %

\hM’Oo]TŽS_

c£

\^Z[€ _kMMWNV\h_uORTUn•ORW Oo[TVX[O‹€kTZ[T

c

_`OTIn iLK)iA9o[TUZšŒš–—W

c

_`ZLK Wj9"P&[ŒOo[T

c

TŽ\^M6_

X]Z[\QaX[T’VWkZN¨]€?X

c

_`O\^W?Z)- j8•ORo]_uO&o]_?M!ƒ_kMdm

c

T¨]¦/_?Z]n¤MX]Vo/Oo]_`O/A)- ]

ƒ\^Mœ\^MW?S/W

c

m[o[\hV`Œ

Q

p0Ú písoso ×ÙFÛ=íìºÙ”í q±ÕIíì”Þ9Ü`ÚæÙp0ÚPÚ

R ì§ÚPÚ

ì

!S

ƒÏ

Û ì ʇƒÏ

×

×Û=ÚPìçÕ=ì§í q¢ì”ÚæÙڇ†UÙ§Ú ì”í× ìCÚPÙ§å

ٔ×d×±Ö`ÚPØ

Ù§Ú

× Ù§Þ=Ú¢åPױاغÚPì”Ö`× Û=í q ÚæÙ§ìçu×±ÜUÙ

í ÚPÛ

ìšÙ§Þ=Údí Û=Õ=åPÚPےì§Õ=Ü ÚæÙ§ì ×

Ù§Þ=Ú

&Ü=íÚ Ù ÚæÙ

Références

Documents relatifs

Unité de recherche INRIA Rennes, Irisa, Campus universitaire de Beaulieu, 35042 RENNES Cedex Unité de recherche INRIA Rhône-Alpes, 655, avenue de l’Europe, 38330 MONTBONNOT ST

Unité de recherche INRIA Rennes, Irisa, Campus universitaire de Beaulieu, 35042 RENNES Cedex Unité de recherche INRIA Rhône-Alpes, 655, avenue de l’Europe, 38330 MONTBONNOT ST

Unité de recherche INRIA Rennes, Irisa, Campus universitaire de Beaulieu, 35042 RENNES Cedex Unité de recherche INRIA Rhône-Alpes, 655, avenue de l’Europe, 38330 MONTBONNOT ST

Unité de recherche INRIA Rennes, Irisa, Campus universitaire de Beaulieu, 35042 RENNES Cedex Unité de recherche INRIA Rhône-Alpes, 655, avenue de l’Europe, 38330 MONTBONNOT ST

Unité de recherche INRIA Rennes, Irisa, Campus universitaire de Beaulieu, 35042 RENNES Cedex Unité de recherche INRIA Rhône-Alpes, 655, avenue de l’Europe, 38330 MONTBONNOT ST

Unité de recherche INRIA Rennes, Irisa, Campus universitaire de Beaulieu, 35042 RENNES Cedex Unité de recherche INRIA Rhône-Alpes, 655, avenue de l’Europe, 38330 MONTBONNOT ST

Unité de recherche INRIA Rennes, Irisa, Campus universitaire de Beaulieu, 35042 RENNES Cedex Unité de recherche INRIA Rhône-Alpes, 655, avenue de l’Europe, 38330 MONTBONNOT ST

Unité de recherche INRIA Rennes, Irisa, Campus universitaire de Beaulieu, 35042 RENNES Cedex Unité de recherche INRIA Rhône-Alpes, 655, avenue de l’Europe, 38330 MONTBONNOT ST