• Aucun résultat trouvé

Knowledge-Based Systems for power system control centers: validation and verification?

N/A
N/A
Protected

Academic year: 2022

Partager "Knowledge-Based Systems for power system control centers: validation and verification?"

Copied!
10
0
0

Texte intégral

(1)

Knowledge-Based Systems for Power System Control Centres:

Validation and Verification

Zita A. Vale Carlos Ramos

Jorge Santos

M. Fernanda Fernandes Couto Rosado Albino Marques

University of Porto Faculty of Engineering

Department of Electrical and Computer Engineering Rua dos Bragas - 4099 Porto Codex

Portugal

Fax: 351-2-2041820 Phone: 351-2-2041820 Email: zav@fe.up.pt

Polytechnic Institute of Porto Institute of Engineering Department of Computer Engineering

Rua de S. Tomé - 4200 Porto Portugal

Fax: 351-2-821159 Phone: 351-2-8300922 Email: {csr|jsantos}@ dei.isep.ipp.pt

REN – Portuguese Transmission Network - (EDP Group) Rua Cidade de Goa, 4 – 2685 Sacavém

Portugal

Fax: 351-1-9411318 Phone: 351-1- 9411262

Abstract:

! " # $%$%$'&)((* +-,./*&102,3*04(*&1

(( *$576489:# #* " "* ;( $4&)$'&)<9< < ;=$' &) $>8 ;*&) ?

$@&1(*( ?A ?+B$'$@&1(*( ? $5DC4&).E ;*$' F$':" G&) ; $H,./ I$'

./ F(*( ;$HI ;*J " *G " $5KL*$'3(*( ;$MN02% +B+I O(9+B

*( $8 4$@$'$@ ;P$'(*P+B&).?+B Q$' ;&) $5LP$'&)$'$@A&))&1$@K$'&)2(( $$

R+B(+B* A0S R,* R <./&) R T $U(A*02R$U T+A :Q3&)+B

+B V+B *$5W$8J,8./&) +R KGXA ;J+RX+B *J($@15

$((?+B+B$'$'$ MXP *Y+EXP+B ;Z\[+B./]_^$'+Y`1$' 02$5aLM(*(b+B$

c dXA ;c+eX+B *cF`1f7gPhT`1iG:Tj[8+B./]_^L$@+e`1$' 0k c$'$'$' U( ;*$2

fl &)./&)$'HL$@04$'$'E "* ;m "* ;$nE+B* 8$'$*+E(*8F$' ;D5ago$'(M *

pXPiGh#qrLg`sL$L,*4+B9*(+R J8`1f7gh#`1ic[8+B./^L$')5

XPiGh#qrLgP`t$Nc./:F+B02-*+B(+B M[^L`u v :b M(A*02$%[+B./^L$'

$@ ;&) &)w*$'$Gx+BT j+B y8+B./b02$5/qr y$8,j$'&)$'$'&)F(*(+M* yb

`1f7gPhT`1ic,&) V$'J J D[^L`Q5

[8*+B$z9{L|w}Q~_€|*D{‚9}Q~A‚ƒ1„†…P}Q|*‡Fˆ‚9‰QŠV‚9‹ŒRƒ‚9‰%Ž†ƒ~_‚ƒ)„†‘\‚a~_’;<‚a„†“”’•‰~_’;|*}„†“‚9€’•–—’;˜a~_’;|*}

™

š›œž†Ÿ 8¡8¢œ†£Ÿ›

¤2¥¦8§¨B§©ª'«¬"¥­®¯¥*°¬"±­*®;¯±ªP²³¬"¬D´L§¯±8¥µD¶·¸/¶4·¹2º¥¯®;§­»±µA¥¯K®¶±¥*º±¯§®·¥*­4¥µK±°±»®;¯·»§°)­±®;¦¥¯¼9ª½¾L¶±ª'±

¬"±­®¯±ªJ¯±»±·¿±x¯±§°À_®·¹2±d·­µ¥¯¹2§®·¥*­Á§Â¥*Ã1®\®¶±ª'®§®±¥µb®¶±­±®;¦¥¯¼E§­*¨c¬"¥­®¯¥*°#¬"±­®¯±¥º±¯§®¥¯ª

¹2Ã)ª'®V®;§¼9±8¨B±»·ª'·¥­ªL§»»¥¯¨B·­¸\®¥J®¶·ª·­µ¥¯¹4§®·¥­D½

ÄF­¨B±¯2·­»·¨B±­®n»¥­¨B·®·¥*­ª'«G§3¶Ã)¸/±N¿¥°Ã1¹2±N¥µJ·­µ¥¯¹2§®·¥*­O¹4§©N§¯¯·¿±N®¥Å®¶±ª@±%¬"±­®¯±ª'«¹4§¼·­*¸e·®ª

»¥¯¯±»®n§­¨I±µµA·»·±­®n·­*®;±¯º*¯±®;§®;·¥­O©%§3¶Ã)¹4§­O¥º*±¯§®¥¯4§°¹4¥*ª'®·¹2º¥ª'ª'·Â°±1½LÆr­Å¥¯¨B±¯>®;¥Çª'¥°¿9±%®¶·ª

º*¯¥Â*°±¹4«=ª'¥¹2±3©±§¯ªH§¸/¥*«=±°±»®¯·»§°GÃ)®·°·®;·±ªH±¸/§­I®¥·­ª'®§°°G·­®±°°·¸/±­*®F§ºº*°·»§®·¥­ªH·­®¶±·¯2¬"¥­®¯¥*°

¬"±­®¯±ª½È¾¶±ª'±n§ºº*°·»§®·¥­ª§¯±Ã)ª'Ã)§°°©É­¥¦°±¨B¸/±À_ʧª'±¨dË©ª'®±¹2ª§­*¨x§¯±¹4§·­°©n·­®±­*¨B±¨x®¥º¯¥¿9·¨B±

¥*º±¯§®¥¯ªL¦8·®¶J§ª'ª'·ª'®§­»±«±ª'º±»·§°°©·­J»¯·®·»§°1ª'·®Ã)§®·¥­ª½

¾¶±M»¥¯¯±»®§­¨Y±µµA·»·±­®º±¯µA¥¯¹4§­»±M¥µ\ª@Ã1»¶e§ºº°·»§®·¥­ªR¹4Ã)ª'®P±j¸/Ã)§¯§­®·±¨Z®¶¯¥Ã)¸/¶e̱¯·µA·»§®·¥­

§­¨4ÌP§°·¨B§®·¥­N²ÌÍnÌL´½žÌPÍbÌÇ¥µmÉ­¥¦8°±¨B¸/±À_ÊL§ª@±¨>Ë©ª'®±¹4ª"§¯±\­¥®D§ª"Ã)ª'Ã)§°§ª"¨B±ª@·¯§Â°±\§­¨>§¯±\Ã1ª@Ã1§°°©

Ã)­¨B±¯®§¼±­J·­J§G­*¥­À_ª'©ª'®±¹2§®·»¦8§©)½

¾¶±Mª'©ª@®;±¹4§®·»MÃ)ª'±M¥µ?µ¥¯¹2§°ÌPÍnÌo®±»¶­·Î1Ã)±ªR·ªR§M¼±©jµ¥¯F¹2§¼9·­¸<±­¨BÀAÃ1ª@±¯ªR¹4¥¯±j»¥*­µA·¨B±­®P§Â¥*Ã1®

É­¥*¦8°±¨B¸/±ÀAÊL§ª'±¨RË©ª'®±¹4ª@«9±ª@º±»·§°°©8¦8¶*±­J»¯·®·»§°§ºº°·»§®·¥­*ªL§¯±8»¥*­ª'·¨B±¯±¨l½

(2)

Ó*ÔÖÙÑßè)ÛÔÖ4ÜÞ4åé7êPë#åìîíÔ3àÝÜáÛÕØBâ/Õã_äLÔÒ'ÕØIå1æÒ'ÙÕçïÙÜÅÔÒ'Ò'ÑÒ'ÙÜÓÕÖÔÙ;Ü*ÖÒjÜ*Þ4é7ÜÖÙè)â/è1ÕÒ'Õ%ÏÖÔÝ*Ò'ç4ÑÒ'Ò'ÑÜÝ

ð ÜÝ*Ù;ÖÜÛ ð ÕÝÙÖÕÒÑÝ4ÑÝßÑØBÕÝÙQÔÝÔÛæÒ@ÑÒTÔÝØJÓÜ*á8ÕÖyÖÕÒ'ÙÜÖÔÙÑÜ݆ñ'×Ý*Ôç4ÕÛæPÙÐÕò)è)ÕÒ@Ù;ÑÜÝÒTÑÝ*ó9ÜÛó9ÕØJÑÝ2ÚônÚIÔÝØ

ÙÐÕ2Ò'ÕóÕÖÔÛKç4ÕÙÐÜ*ØBÒ?è)Ò'ÕØlõÏLÐÕ4ÚPônÚvå1é7êPëTå1ì-ÑÒ?ÔÝÔÛæÒ@ÕØB×lö*ÕÑÝâMÒ'ÙÖÕÒ'Ò'ÕØ3Ù;Ð*Õ4Ñç4ÓÜÖÙÔÝßÕ4ÜÞPÔÓÓÛæÑÝâ

ÞÜÖç4ÔÛ1ó9ÕÖÑÞAÑßÔÙÑÜÝJç2ÕÙÐÜØBÒõ

å1ÕßÙÑÜÝ÷HÞAÜßè)ÒÙÐÕç4ÔÑÝÔÒ'ÓÕßÙÒPÖÕÛÔÙÕØxÙÜdÔßò)è)ÑÒ'ÑÙÑÜ*Ý×VÖÕÓÖÕÒ'ÕÝ*Ù;ÔÙ;ÑÜÝÔÝØç4ÔÑÝÙÕÝ*ÔÝßÕRÜ*Þ=ø9ÝÜáÛÕØBâ/Õ

ÑÝJàäLånÔÝØRÑÙÒLÑÝ*Ù;ÕÖÔßÙÑÜ*ÝJá8ÑÙÐJÚônÚÒ'ÙÔâ/ÕÒõ

å1ÕßÙÑÜÝEùdáÑÛÛyØBÕÒ'ßÖÑöÕ>ÙÐÕ2ÚPÔÛÑØBÔÙ;ÑÜÝYÔÝØEÚÕÖÑÞAÑßÔÙÑÜÝYÒ'ÙÔâ/ÕÒnÜÞUåélêë#åìúØBÕóÕÛÜÓç2ÕÝÙ×yÒ'ÓÕßÑÔÛÛæHÙÐÕ

ÞÑÕÛØRÙÕÒ'ÙÒLÔÝØRÙÐÕÝÕÕØRÜÞlÔÓ*ÓÛæÑÝ*â\ÞAÜÖç4ÔÛ1ç4ÕÙÐÜØBÒLÑÝJå1é7êë#å1ìcÚônÚRõ

å1ÕßÙÑÜÝeû%ÓÖÕÒ'ÕÝ*Ù;ÒRÚPìGë#ürÏLêPå×LÔMóÕÖÑÞÑßÔÙÑÜ*ÝeÙ;Ü*ÜÛöÔÒ'ÕØZÑÝeá8ÕÛÛøÝÜáÝeÞAÜÖç4ÔÛTç4ÕÙ;Ð*ÜØBÒJÓÜÑÝÙÑÝâ3ÙÐÕ

ÔØBó9ÔÝÙÔâ/ÕÒ"ÔÝØ>ØBÑÒ'ÔØBó9ÔÝÙÔâ/ÕÒ"ÜÞmÔØBÜÓÙÕØ2ÙÕßÐÝÑò)è1ÕÒõžÏLÐÑÒ"ÙÜÜÛÐÔÒ#ö*ÕÕÝMÒ@è1ßßÕÒ'Ò'ÞAè)ÛwÔÓÓÛÑÕØHÙ;ÜMØBÑÞAÞÕÖÕÝÙ

àäLåQý9åé7êPë#åìGþaêPë ð êP×wÔÝdÕÿÈÓ*ÕÖÙmÒ'æÒ'ÙÕç ÔÓ*ÓÛÑÕØdÙÜ ð ÔÖØBÑÜ*ÛÜâ/æØBÑÒ'ÕÔÒ'ÕÒPØBÑÔâ/ÝÜÒ'ÑÒ'þVÔÝØdÔÝÜÙÐÕÖ=ÕÿÈÓÕÖÙ

Ò@æÒ'ÙÕçkßÖÕÔÙÕØeÙ;ÜÁÔÒ'Ò'ÑÒ'ÙUÑÝ2ÙÜÛÜâ/æxØBÑÒ'ÕÔÒ'ÕÒ4ØBÑÔâ/Ý*ÜÒ'ÑÒJÔÝØeÙÐÕÖÔÓ*æ1õlÑÝÔÛÛæ×TÒ'ÕßÙ;ÑÜÝEÓÖÕÒ'ÕÝÙÒ4Ò'Üç2Õ

ßÜÝßÛè)Ò'ÑÜÝÒõ

!"# $%&('

)+*,-/.01.0325476987:<;=03>?-/;%@7-/AB:<876DC(-/87EF-/>GAB-387HI-/6903;KJ@7058L234MC1N7-/.03>LHO4PHI.-/>G:<HI:Q4M87-/RS2347C(N7TUHI03.V-/N7N7R<:<23-/HI:<4787;

W TXHYHI@705:Q.ZC147;[H\-3N7N7.0323:<-/HI03>]25@7-/.-/23HI05.:<;=HI:Q25;-/.0HI@70^_47R<RQ4MJ:<876M`

a+bc+d3e3f1g<f7d3h<iUjGkmlnf7o7phQk5jGq9kme3d3rUiUgQsk3j(t_so7uvk3wyx7k5szI{|e/f7j(iX{[kmg<z}g<f(oMsjGk5s~zOoFsk3e/d5z}zIo(em{=g<zOiUe/zIg<o7f e/{zO€Mkk3wBx7k3szYpo7iUh<j]sk5e/d3z

+‚ƒ…„7†‡7ˆn‰QŠG‹+ŒŽ3<‹3Œ/†‘[‹3„7Œ/†Œ/’I‰<‡7“•”7‹3’I–‹5‹3“•†‹3Œ/=‡M“7‰Q“M—(Œ/“MŠ™˜n“7‡7–<‹3ŠG—9‹5šŒ/<Q‡7–‰Q“M—(’I‡•3›7Œ3“7—9‹]’I›7‹

+“7‡7–Q‹5ŠG—9‹‚Œ3=‹–‰Q’I›7‡7œU’Y‰<“7’I‹3†ˆB‹3“M’O‰<‡7“‰<“’I›7‹‰Q“7ž‹3†‹3“75‹Ÿ(‹33›MŒ/“7‰<=Ÿ 

¡

<’O›M‡7œU—9›¢’I›7‹5=‹D5›7Œ/†Œ/3’I‹3†‰<=’I‰Q5]=‹3‹5Ÿ£ˆB‹5†¤DŒ3„7„7‹3Œ3Q‰<“7—9š‰<’‰<]‰<“7’I‹3†‹3=’I‰<“7—•’O‡¥5‡7“7=‰<ŠG‹3†K’I›7‹DŸ1‡M=’5‡7Ÿ1Ÿ(‡7“7<¤

†‹3ž‹3††‹5Š]ŠG‰Q[Œ/ŠGˆBŒ/“M’OŒ3—9‹3‡7ž¦+‚ƒY§

¨B©

ª1«<¬_¬_«<­3®U¯<°I«Q±5²D«Q³µ´B³7¶7·¯Q±5¸G¹9±Lº/­5»U®X«<²=«<°I«Q¶7³µ¼½¾7±P´B³7¶7·¯Q±5¸G¹9±Lº/­5»U®X«<²=«<°I«Q¶7³À¿7¾7º/²[±P«<²Á®U²=®Uº/¯<¯Q¢ÃB±5Ä¢°I«QÅ(±

­3¶7³7²[®XÅ(«Q³M¹MÆ/ÇF³1°I¾7±m¶7°I¾7±3ÄS¾7º3³7¸GÈn«<°¿7¶7²[±3²²[¶7Å1±m¿7Ķ7É7¯<±3Å1²|ı3¯<º/°I±3¸1·«Q°I¾F°I¾7±V­3¶7Å(Å1®U³7«<­3º/°I«<¶7³(ÉM±3°I·±5±3³

°O¾M±Ž±5Êy¿7±5Ä°=ËQ²I̺/³M¸Á°I¾7±+´B³7¶M·¯<±3¸G¹9±+±3³7¹9«<³7±5±3ÄÍÆX½¾7±]¿7º/Ä°I«Q­5«Q¿Mº/°I«Q¶7³•¶7¬Î²[±3ÃB±5ĺ3¯}±3Êy¿M±3Ä°O²V«<²Vº/¯Q²[¶º3¿7¿7¶7«<³7°I±3¸

º/²¿7Ķ7É7¯<±3Å(º/°I«Q­UÆ

Ï\Ð

Ñ1Ò<Ó_Ó_Ò<Ô3ÕUÖ<×IÒQØ5ÙLÒ<ÚÜÛÕXÖ<ØÝÕXÞMßGà/×IÒQÚ7áµâÁãåä7Ø3Úæ×Iä7Øèç|ÕUÖQØÝéà/Ù[ØèÛØ3êUÕUÒQÛØ3ÙPÙ=ë7ì(ØèÔ5ä7à/Ú7á9Ø5Ù=í+×OäMÒQÙ¢Þ7Ûë7Ô3Ø5Ù=ÙPÒ<Ù

Ô3ë7Ú7Ù[ÒQßGØ5ÛØ5ßîÛà/×Iä7Ø5Û(Ô5ë7ì1ÞMÖQØ5ïñð~òFÚó×Iä7ØLëM×OäMØ3ÛFä7à/Ú7ßGíÔ3ä7à/ÚMá9Ø3ÙDÒ<Úó×Iä7Ø¢çôÕUÖ<ØPéà3Ù=ØPì(à/õ¢êXÕUØ5Ù=×IÒQë7ÚÀ×Iä7Ø

Ô3ë7Ú7Ù[ÒQÙ=×IØ5Ú7Ô3õë7Óö×Iä7ØÚ7Ø3÷èçôÕUÖ<Øéà/Ù[ØXð

ø\ù

úöû/ü5ýÿþ 7þIþBûGû Dû! #"$%&'û(()*+,-Mû'-.Áû/7þ.mü5þ+(þ

û/ü3ü,0 7þGþ.Qþ123Oþ+BûGû-û4! 657_þ1û98Qû)*()Uû:7ü3þ.+0 <;30.þ7ü,)*

û:Iû/ý7,&1û/ý.1=><ü)*9Iþ&12)Uûû : ü5þ3ü, (û><ü7ü,þ? 4! A@CB!.D0þ.E,F

7,&1þ.û/ü)* 4G:û4H3 Iû5û4,0<þ,]û!()*EJ3ü ,Oþ1ü7û.12,@

KML

N+OP>P>OQR*ST OU,V3OWXYOW.T-YOWOWZIT-[.U%\W]^:SU,_Z2U%`badcUWe^4[U,WT [U'X+]._OPOQ,YT O]We]PgfR6SUVhOVDW].TiWUQ,UV(VjYfk,l

T-[.U4miYQ,T9n!YV(U:fU,o6R*OfU,V3XYOW.T-U,WYWQ,U:OW+].f_U,fbT ]\7UU,p+T [U%qn!r]pUfYT O]WYStsu%V3qn!rR*V(R*YSSk%fUo*R*OfU

X+]fUvOWP>]fX+YT-O]WwT [YWwT [U#]T [UfYppSOQ,YT O].WV(ldT [OVxX+YOWT UW.YWQU#OVxW].TIR*V(R*YSSk#YR*T-].X+YT OQvYW_

]pUfYT ]fV!T UW_T ]&P]fZ2UT9OT(s

yMz

{H|3}I~€4€‚j‚!ƒ„… ~†€4… ‡~ˆ&„.…-‡.€b~ƒƒ‰Š,~… ‰„.ˆ‚!‹Œ%‚3‚jƒ€Š,‰~*~ˆŽ2*~Ž2€,‚3~ˆ+…-„.„‚D~€:*‚(€,&… „+€‘€„ƒ

{H|3}’ƒ„…-~†‰‰…-“:‰‚3ˆ„…9Ž2*~~ˆ… €€”

•M–

—D˜,™šœ›-ž+˜ Ÿ˜,¡¢£¡ž™¤¥,˜ ¦¨§6£ž+˜ª©«!§­¬™®˜ª¯¢¢>¥°*š› ˜±²¤³Ÿ¡£®7¯¤´µ¡˜™š¦¶› ž+˜ªŸ˜¡¢>£.¡ž™¤¥˜,·

˜±(Ÿ˜,¥™šš¸:¤&¥,™±(˜:£¢˜,ž+˜¡´2˜¤.¥˜±,¹

º

›:±¤› ˜¡˜±(› ¤´»›-£¤£.›-˜x› ¬™›4› ¬˜x› ¼4£¢>¡±(›4Ÿ¡˜±j˜¤› ˜¯¨¯±(™¯®7™¤› ™´2˜±™¡˜¯¡˜,¥› š¸¡˜,š™›-˜,¯¼4›-¬› ¬˜/ž+£±(›

™ŸŸ¡˜¥™› ˜¯»¥¬.™¡™¥› ˜¡±j›-¥±'£¢½©«!§A¹

º

¤¾¢™¥› ·i¿¤£¼4š˜¯´2˜+™¥À*°*±j› £¤¾¬™±=™š¼4™¸±=Á˜,˜¤¾£¤˜+£¢d› ¬˜&±(˜,¡£°*±

¼:˜™¿xŸ.£¤.›-±'£¢4©H«3§/™¤¯Â˜,±(Ÿ˜¥,™šš¸&£¢dÃ4Äş˜¡›h§¸,±(› ˜ž+±Æ¹*Ç:š› ¬£°*´2¬¾› ¬˜¡˜&˜,Äŝ±j›D±(£.ž+˜&› ££š±=¥£.ž+ž+˜,¡¥,™šš¸

(3)

ÈÓÓËÊÛ,ÈÎ ÊÐÖbâ

ã

Ñ(Î ÈÌËÊÑ(ä.ÊÖÙÏß+ÍÎ äÐ.ØÐËÐ.Ù2ÊÍ,Ñ3ÈÖØ+ØÍÉ7Í,ËÐ.ÓÊÖ.ÙÑ(Ò*ÓÓÐÔÎAÎ ÐÐËÑDÈÔÍ'Êß+ÓÐÔÎ ÈÖÎiáÈÛÎ ÐÔÑhÎ-ÐeÍÈÑ(Í'Î-ä.Í%Ó.ÔÐÛ,ÍÑ(ÑÆâåeÖ

Î äÍIÐÎ äÍÔhäÈÖ.ØÝ.Î äÍÏÍ,Ñ(Î ÈÌËÊÑjäß+Í,ÖÎgÐá3Ù2ÐÐ.ØxÔÍ,ËÈÎ ÊÐÖÑdÌ.ÍÎ ×4Í,ÍÖÎ äÍIÍæÅÓÍ,ÔÎ(çÑ èdÈÖØxÎ äÍIÕ7ÖÐ.×4ËÍØÙ2ÍÏÍ,ÖÙ2ÊÖÍÍ,Ô

ÊѽÐá!áÒ*ÖØÈß+Í,ÖÎ ÈË.Êß+Ó.ÐÔÎ ÈÖ.ÛÍ6â2é¨ä.ÍÖxÎ äÍÍ,æÅÓÍÔΠѽÈÔÍÑ(Î ÔÐ.ÖÙ2ËêÏÊÖÉÐËÉ7ÍØÝ.ÌÍËÊÍ,É7ÍÎ äÈÎ?Î äÍÓ.ÔÐëÍÛ,ÎgÊÑdÔÍÈËËê

Êß+Ó.ÐÔÎ ÈÖ.ÎMÈÖØÎ ÔÒ*Ñ(Î9Î äÍ4ÕÖÐ×:ËÍ,ØÙ2Í4ÍÖ.Ù2ÊÖÍ,ÍÔÝ7ÕÖÐ×4ËÍØÙ2Í:ÈÛÜ*Ò*ÊÑ(ÊÎ ÊÐÖ&ÓÔÐÌËÍßÑ!ÈÔÍ4Û,ÐÖÑ(ÊØÍÔÈÌËê4ÔÍØÒ*ÛÍ,؍â

ì

äÍÑ(Í,ÛÐÖ؜ØÊÑ(ÈØÉÈÖÎ ÈÙ2ÍÎ äÈÎbÊѽÓÐÊÖÎ Í؜ÐÒ*Î?ÊѽÊÖxá>ÈÛ,Î?Î äÍÖ.ÍÙ2ÈÎ ÊÐÖxÐá3Î äÍIÑ(ÍÛ,ÐÖØxÈØÉÈÖÎ ÈÙ2ÍIÓÔÍ,Ñ(ÍÖ.Î-Í,؍â

í

Ñ=ÊÎhÔÍ,ÈËËê&Í,ÈÑ(ê&ΠоÊÖÛËÒ*ØÍ&ß+ÐØÊá>ÊÛÈÎ-ÊÐÖÑÏÊÖvÎ äÍîDÒ*ËÍ+ï!ÈÑ(Í+Ðá:È&ðï!ñ»ÐÔ:Ö.ÐÎ òóôäÈÖÙ2ÊÖÙxÔÒ6ËÍÑÏÓÐÑ(Í,ÑÖÐ

Ó.ÔÐÌ.ËÍ,ß+ѽÌÍ,ÛÈÒ*Ñ(ÍÈ=Ü*Ò*ÈÑ(Êõ¶ÖÈÎ-Ò*ÔÈË.ËÈÖÙ2Ò*ÈÙ2ÍÏÊѽÒ*Ñ(Ò*ÈËËêÏÒ6ÑjÍ؜ÈËËÐ×:ÊÖ.ÙÔÒ*ËÍÑdÎ ÐÌÍIÛäÈÖÙ2ÍØxÍ,É7ÍÖ/ÌêÏÓÍ,ÐÓËÍ

Ö.ÐÎ9á>ÈßÊËÊÈÔ?×:ÊÎ ä&Ú%ÔÎ Êá>ÊÛÊÈË

í

ÖÎ ÍËËÊÙ2ÍÖÛ,Í6â

éäÈÎMÛ,ÐÖÑ(Î ÊÎ Ò6Î Í,Ñ!ÈdÔÍÈË6ÓÔÐÌËÍßµÊÑ,ö

÷!øªùú,û*ü6ýþÿ

ÿø ÿ2ÿþÿ,û*ü6ýþÿ-øªüÿ,þ ùÿ

ÿú

ù2ÿh÷

ýÂù.ÿúýÂý>ùú+ù

øÿ2ÿùúû*ü*ý(ý ýø.þøÿ ù

ÿü!jÿø" +ùú

ýÿ#ÿ,ùþ$ý% ÿ,ú

ýû*ü*ÿ&>ø.þ(ü'2ÿ(-ý

ú

ù2ÿ!ý)

ÿ*hü!ÿ+3ù(ÿ:øü#.ÿ4ü(ÿü,

-/.10'234$356,7786:936;6,978<).=>?@>7=1AB2!C7ED/3F7E4$7<)3>5F"G.5F>F6,756;35=%6,936;>6,F"2!F(7EH>CCI5.6J<)3K7 6,97 LMDONP>5G.44$7G6Q.4;>57??@>G>756R

-O9>FSC3F6BT.>56BC73=F&2F&6:.U6,97)6:9>4$=V=>F3=W356,30'7XT4$.YC7<ZF&.?\[]3C>=36,>.5U35=V[]74$>?>G36,>.5_^[]`P[OaRbc5

?3G6,d[ `M[e>F/2F23CCf 5.6gG.5F>=74$7=#3F/F(74$>.2FCf3F/=7F>4$3YC7>5h6,97G3F7.?iLjD/NkR

l

C6:9.20'9%6,9747&F(77<ZFm6:.nY7E=>??@>G2C6;7W75n6,.n?>5=1>5n6,97EFT7G>3C>F7=1C>6,74$36,2!4$7E6,.6,3CI30'477<Z756J3Y.26J6,97

<Z735>50&.?i6,97F(76,74$<)FdC76g2!FOT4.W>=7.24JT74$F.53C=7?@>5>6,>.5FX

o]pqrspt,ruvw&x]qquyz#t,upz(z{|}~t:ptSt:}€j‚/ƒ…„|u†rs}zhzuq{t,ruvzht,ptS„|$}z}vtSpˆ‡uv‰@rs}v‡}

q}†}qSpzrŠ'‹pzt,}…uv}z„|$u†rs}sŒŽt:}…}‘„}|t’z,“”•o pqrspt,ruvrz~t,}v‹Œpz}s‹uv‹t,}zt,z–

s}zr|$pŒqŽ]rvZt:}]|$}pq}v†r|$uv—Z}vt˜pvs){vs}|™|}pq‡r|‡{—)zt,pv‡}z”šZ{!|$rvŠ8t,}z}St:}zt,z–t,}S€M‚Oƒ

rzZ‡uvzrs}|$}sepz%p~›'Œqp‡œ…Œu‘žpvs_uvqŽVt,}Vrv„{tEpvsŸt,}Uu{t,„{t8p|$}U|}pqqŽU‡uvzrs}|$}s

r—)„u|t,pvt”

 ]¡¢$£¤£¥¦§,£¨©ZªJ« ¬¬¨­®B§,¨Z¦®(®¯¢¡S§,°¦§˜§,°¡S±j²/³#°¦®•´¡¡©%¥¨¢$¢$¡¥§,¬µS¥¨©¥¡£¶¡·)¦©·Z£¸Z¹¬¡¸)¡©§,¡·

¦©·h·¨¡®•©¨§k¥¨©§,¦£©)§,¡¥°©£¥¦¬¡¢$¢$¨¢®»º ]¡¢$£¤£¥¦§,£¨©)£®O£©§,¡©·¡·h§,¨)¡¼¦¸)£©¡]§:°¡]£©§,¡¢$£¨¢™¨¤½§,°¡

±j²/³M¦©·#¤£©·#¦©µ¹¨®®£´¬¡ ¡¢$¢¨¢®º

¾

¨¢j¦¿'¢$¡¦§&©¯¸Z´¡¢#¨¤j±j²/³!Àm¨©¬µ¶¦¬£·¦§,£¨©Ÿ£®%¯©·¡¢$§,¦Á¡©;º;« ¬§,°¨¯¿'°e§,°£®%¥¦©Ÿ¿'¯¦¢¦©§,¡¡Àm­ °¡©Ÿ§,°¡

®(µ®§,¡¸Â£®O·¡¹¬¨µ¡·À§,°¦§g£§,®/¹¡¢$¤@¨¢¸Z¦©¥¡ £®O¥¨¢$¢¡¥§,À§,°¡ ¡¼‘£®§,£©¿&¹¢$¨´¬¡¸)®O¸)¦µ ¦¢£®¡]­°¡©)§,°¡¢¡]£®•¦©¡¡·

§,¨h¥°¦©¿'¡ §,°¡ÃB¯¬¡ ²/¦®¡º

 ]¡¢$£¤@£¥¦§,£¨©)£®O¸Z¨¢¡]·£¤@¤@£¥¯¬§k´¡¥¦¯®¡]£§k¢$¡¬£¡®O¨©%¤@¨¢¸Z¦¬¸)¡§:°¨·®•¦©·)¢$¡Ä¯£¢$¡®B§,°¡S·¡¶¡¬¨¹¸)¡©§˜¨¤½§,¨¨¬®

§,¨Å£¸Z¹¬¡¸)¡©§"§,°¡®¡%¸)¡§,°¨·®º« ¬§,°¨¯¿'°ž§,°¡¢¡%¦¢$¡Z¦¬¢$¡¦·µ%®¨¸Z¡Z¦¶¦£¬¦´¬¡%§,¨¨¬®P£©…§:°¡%¸Z¦¢$Á¡§,À½®¹¡¥£¤@£¥

©¡¡·®O¨¤iƘ¨­¡¢J³!µ®§,¡¸Â¦¹¹¬£¥¦§,£¨©®/¯®¯¦¬¬µ ¢¡Ä¯!£¢$¡§,°¡·¡¶¡¬¨¹¸)¡©§Q¨¤i®¹¡¥£¤@£¥§,¨¨¬®/¤¨¢;§,°£®/¹¯¢$¹¨®¡º

«]®j¤@¨¢$¸)¦¬/¸)¡§:°¨·®j¨¤E¶¡¢£¤@£¥¦§:£¨©¢$¡¬µˆ¨©¸Z¦§,°¡¸Z¦§,£¥¦¬O¤¨¯©·¦§,£¨©®À/§,°¡µˆ¦¢$¡ˆ¦´¬¡ˆ§,¨·¡§,¡¥§ ¦n¬¦¢$¿'¡

©¯!¸Z´¡¢™¨¤J¹¨®®£´¬¡]¹¢¨´¬¡¸)®ºÇc©%§:°£®B­¦µÀ£§˜£®B¹¨®®£´¬¡S§:¨1¿'¯¦¢$¦©§,¡¡&§,°¦§i¦S±j²/³h§,°¦§;°¦®m¹¦®®(¡·%§:¢$¨¯¿'°

¦ ¶¡¢£¤@£¥¦§,£¨©)¹°¦®¡S£®•¥¨¢¢$¡¥§˜¦©·Z¡¤¤@£¥£¡©§ºÈ~¨¢¡¨¶¡¢À£§˜£®B¹¨®(®£´¬¡S§,¨Z¦®®¯¢¡S§,°¦§i£§˜­ £¬¬¹¢$¨¶£·¡S¥¨¢$¢$¡¥§

¹¡¢$¤@¨¢$¸)¦©¥¡­ £§,°h¡¼‘¦¸Z¹¬¡®/§,°¦§g°¦¶¡©¨§Q´¡¡©)¥¨©®(£·¡¢¡·#£©h§,°¡ ¶¦¬£·¦§,£¨©)¹°¦®¡º

É

°¡~©¡¼‘§&·£®¦·¶¦©§,¦¿'¡¹¨£©§,¡·Ê¨¯§&¢$¡¤¡¢$®)§,¨_§,°¡·£¤¤@£¥¯¬§:£¡®Z¡©¥¨¯©§,¡¢$¡·Ê£©Ÿ§:°¡¸Z¦£©§,¡©¦©¥¡V¨¤j§,°¡

±j©¨­¬¡·¿'¡ž²O¦®¡!ºOÇc©¤¦¥§,À]§,°¡Å¸Z¦£©§,¡©¦©¥¡…¨¤Z§,°¡…ÃB¯!¬¡…²/¦®¡…°¦®~¦¬¢$¡¦·µÅ´¡¡©‹¥¨©®(£·¡¢¡·Ë´¯§#§,°¡

¸Z¦£©§,¡©¦©¥¡¨¤i§,°¡

¾

¦¥§g²/¦®(¡¦¬®¨h¹¯§,®/®¨¸)¡¹¢¨´¬¡¸)®º

³!¨¸Z¡‹¹¨£©§,¡·Ì·£®(¦·¶¦©§:¦¿'¡®_¨¤Å±j²/³Í¦¢$¡‹¢$¡¦¬¬µ‹·£¤@¤£¥¯¬§U§,¨Î®(¨¬¶¡‹¦®_§,°¡¹¢¨´¬¡¸ £©ÏÁ©¨­ ¬¡·¿'¡

¦¥Ä¯£®£§,£¨©;ºÑÐh¨­¡¶¡¢$À¸Z¨®§g¨¤i§,°¡ ¹¢$¨´¬¡¸)®O¥¦©h´¡¥¨¸)¹¬¡§,¡¬µ®(¨¬¶¡·#¨¢$À¦§Q¬¡¦®§,À´¡¥¨¸Z¡ ¬¡®(®O®¡¢£¨¯®O£¤

¦¬¬™§,°¡1¢$¡Ä¯£¢$¡·Å§:¨¨¬®M¦¢$¡1¹¢¨¶£·¡·iº

¾

£¿'¯!¢$¡ÓÒZ®°¨­ ®P­ °¦§\­ ¡%¥¨©®£·¡¢&§,°¡1¥¨¸)¹¬¡§,¡1¦¢$¥°£§,¡¥§:¯¢$¡n¨¤&¦

±j²/³M¤@¨¢;¦\Ôm¨©§:¢$¨¬!Ôm¡©§,¢$¡!º

É

°£®¦¢$¥°£§,¡¥§:¯¢$¡£©¥¬¯·¡®À&´¡®(£·¡®§,°¡¸Z¨·¯¬¡®V§:°¦§)¦¢$¡¦¬­¦µ®V£©¥¬¯·¡·‹£©¦…±j²/³!À&§,°¡¤@¨¬¬¨­£©¿

¸Z¨·¯¬¡®Õ

Öj×ØÙ ÚÛÜÝ'ÛÞßàá!âãâä,âØ×)Þããâãä,Þ×ä

(4)

åjæçè éêëì'êíîëïð,ê ïññòñð,ïæð

ó]ôPóŸõöö(÷öø,õùøcú

ûOüý1þÿþ ÿýýý þýýý!"ý#%$'&( þ)*þ *ÿý+, ý+ý

*-!..ÿ/0þÿ,ý12ý3

Rule Base Knowledge Base Fact

Base

Inference Engine

Software Interface

User Interface

Explanation s

Events

Orders

V&V Assistant Knowledge

Update Assistant

Knowledge Acquisition Assistant

Expert

Knowledge Engineer

User

Knowledge Engineer/

User /Expert

465879:<;>=@?-AB:DCFE58G;CFG9:D;HJIK0LNMPO

QSRTDUVWXZY*[\][^<U_@V`a.b_ Uc RWYdUe!`fWgWih![j%k'lmU^[nf[oW`pWh[fY*[`TURc RV`a.b_ [W[j%k'lqXr_ UVs]c Rtu`R![o`!^

a`^[`TZWih![Y*[0a.`nf_ [YvQSWwc Y'R`!WwT<Uc ^ZW`xV`RY*c n[^rURxc RV`!a.b_ [W[Y,yY*W[azURn1{ fnt|[c WwUY'U>V`!a.b_ [W[`!R[qv

}

~g€‚ƒ~„

…q†ˆ‡"‰P…qŠŒ‹Ž%‘'…x’“”]“• –—“’˜<–™'š›“œ–žš™–•œ“ž!ši™“–˜Bš›“†6–™<šŸ |Ÿ“*“¡N™<Žž!*¢.‹ **‹ –žž“š£0–™<¤J¥–£0ž“’

Žž’¦–—!“™Žš“’¦§!¨‰©Š>ªm«N¡N›‹m%‘'…¬Ž**‹ *š­œ–ž!ši™–•ƒœ“žš™<“®–—!“™Žš–™¯‹ ž°‹ ž±‹’“žš.Žž!Ž•¨*‹ ­Žž’²—!–£“™

™“,ši–!™<Žš‹ –ž´³¶µ0Ž• “·D¸]¹]º»³¼µ"Ž• “·½¸J¾]º³¶µ0Ž•“·½¸]¿JŽº³¶µ0Ž• “·D¸]¿]§!º«

…q†ˆ‡"‰P…qŠÀ›ŽÁ§““žÂ’“”J“• –—“’ßq,‹ž Ä†6‰PÅoÆ6ÅoÇ Žž!’Üȕ Žž |ŸŽ |“ÉŽž’Ë Á‹ ž*šŽ• •“’˞ŽÉÊ.Š>œ*šŽš‹ –ž

ËJÌ]ÌJÌwÍFÎ ¾ Ì Ÿž’“™PσÆ6¡N‰PÐSÑҖ—“™<Žši‹ ž %*¨*š“¢­«Ó¡'›‹ >¢.Ž±›‹ ž“d‹ >±–žž“±š“’¥Ôši™–Ÿ |›¯ŽƒÆZ–±Ž•Ô‡"™<“Žƒª.“š£–™¤

Šši›!“™ž“š´–˜(’Ÿ—•‹ ±Žši“ı–ž˜<‹ |Ÿ™Žš‹–žÕ£0‹š›Õš›“Äš£–ÕÖ´‹ ±™–µ"‡0Ñ×ÐSТ.Ž±›‹ž!“)š›Žšu,Ÿq—!—–™š´…qœ‡0ʇ

˜<Ÿž±š‹ –ž'‹ žxš›“œ–ž!ši™–•qœ“žš™“q«

…q†ˆ‡"‰P…qŠØ›Žx—Ž*,“’®š™<–!Ÿq |›‚Ž¯”]Ž• ‹ ’Žš‹–ž‚—›Ž*“´Žž’®‹ x—™“*“žš•¨­‹ ž*šŽ• •“’Ù‹žÉ–ž“­–˜ši›!“´š£–Éœ–žš™<–!•

œ“žš™<“'–˜6‰©Š>ªz·ˆµ0“™<¢–‹ ¢Úœ–žš™–•Jœ“žš™<“¥]—™–”]‹ ’‹ ž ™<“Ž• ·½š‹¢“Ž*,‹*šŽž!±“š–x–!—“™Žš–™«

¡N›‹*“±š‹ –ž—™<“*“ž!ši*–!¢.“‹ žš“™“*š‹ ž Ž*—“±š©–!˜'…J†6‡0‰©…JŠÄ—!™<–Û “±š¥“*—!“±‹ Ž• •¨d‹¢—–™šiŽžšZ˜<–™Nš›“d*Ÿ±±“*

–!˜6š›“˜<‹ž!Ž•JŽ——• ‹±Žš‹–žr«

Ü]ÝÞ

ßáàÔâãäàÓå»ãæç

èNéêdëìíîêï*ï>í!ðNñ"êìòð<òîóôòíõuóõö+ñ"ó÷ò öóôò íõ¯ï*éí!øq÷ ö+ï*ôóìô@óï>êóì<÷ ùdóïëíï*ï*ò ú÷ êöøìòõ!ûxôéêöêü]ê÷íë!ý.êõ!ôBíð

ôéê"óëë!÷ò îóôò íõZþÿSõ.ôéê"îóï,ê0íð Jññ é!óïNúêêõîíõï,òöêì<êöxï*ò õîêôéêü]êì<ùúêû|òõõ!òõûóõöï*ëêîòó÷

óì<ìóõû|êý.êõ!ôiïNéóü]ê0úêêõxý.óöêò õxíìöêìrôií.ëì<í!ü]ò öêîí!õöòôò íõï'ð<íìròô*þ

èNéê1ëìíêîôPôiêóý óò ý.êö´ôímëêìðDí!ì<ý ôéê1üJó÷ò öóôò íõ(íð Ãøï*òõ!ûoêÓóýë÷êïóïî÷ íï*ê.óïëíï*ï,òú÷ êxôí

ôéêíõêï>ôéóô@ôéêdóë!ë÷ò îóôiò íõ¯ï,éíø÷ö+ð<óîêòõuôié!êdìêó÷wêõüJòìíõýêõô*þ0îîíìöò õûxôíuôéò ïwòô0óïîíõï*ò öêìêö

ôéóôwüJó÷ òöóôò íõxï*é!íø÷ö1úê0úóï*êö1ý.óò õ÷ ùíõ.ì<êó÷Jò õð<íì<ýóôòí!õxóúíøô-ôéêõ!êôíìwþ

"õíôéêì'ò ý.ëíìôóõôZóï*ëêîô6ôéóô6éóïúêêõîí!õï*ò öêìêöoï*òõ!îêóõêóì<÷ ùï*ôóû|êíð'öêü]ê÷íë!ý.êõ!ôZò ïgôéêƒï*íð<ôóìê

ìêøò ì<êöôí)òõ!ôiêì<ð<óîê ò ôé !"Øóëë!÷ò îóôò íõï%øï*êöò õôéêíõ!ôiìí÷#êõôì<êþwÿSõð<óîôBò ô0óï

ìêó÷ò ï*êöpôié!óôgï*íýê÷ òýòôóôò íõïòýëíï*êöÁúù$% !&Õï*éíø÷ öÁúêîí!õï*ò öêìêöpï,òõîêôié!êoüJêìùúêû|ò õõò õûuò õ

(5)

8%?'412,*-CL,M/9@NAB=3O=3.6=3'?DF);/9O,BP

Q

;,?D=3?.,CL(/9.=2'?&=2OORA,O#/9(,M?').J/*-*-(+,OO,*S=3?&/?&,/(+13HF);/9O,'G.6;),F('T3,@.6I.;,@;/9?)CL,OU.;/.V/9(+,(,NBAB=2(,*

4;,?W.;,OHO.,<X=3OY=2?.,CL(+/9.,*Z=3?W.6;),(+,/91#,?)E=3(+'?)<&,?).M<&/H\[,\E%,(H\O=3CL?=2G+=2@/9?./9?*W=3<&F'OR,\/913<&'O./

@'<&F)12,.6,&(+,[AB=213*-=2?)C$')G.;,DOHO.,<]P-^#;,OR,D=2OROAB,O_O;')A13*-I?/<&,13HI`[,D@')?O=3*-,(,*a*-AB(+=3?C.;,"8?'412,*-CL,

/@NBAB=2O=3.=2')?DF;/9OR,M[H.6;),M,bF,(.OP

^U;,\O./9G+Gc'Gcdefg;/OS*-,E,12')F,*W/9?h/9F)F12=3@/.6=3'?h?/<&,*W^#^Ui`j$k Q l

d'O/9*-'monpqM.6'h/@NBAB=2(,\(,/913mr.=2<",

=3?G+'(+<"/9.=2')?sG+(+'<utv wx"wX/9?*y.'5O,?)*y=3.D.'stzwdteKP^#;=3O7/FF13=2@/9.=2'?{;/O][),,?{=3?O./91312,*s=3?{.;,

tv wx"w|<"/9@;)=2?,O}2<&=3@('~w€‚€6ƒ#/9?*S;)/9O#[,,?DABO,*S=2?D')(+*-,(„.'D'[).6/=2?D<"/9.,(=2/1%.'DE%/912=3*-/9.,MtzwdteKP

^U;=2OU/9FF13=2@/9.=2')?D/9@NBAB=3(+,O#.;,M=3?Go')(+<"/9.=2'?&(+,12/9.,*S.6'&.6;),MO./9.,M')G`.;,M,NBA=3F<",?.V'G.;,,13,@.(=2@/91B?,.4'(+8…P

^U;=2OU=2?G+'(<&/9.=3'?D=3?@13AB*-,OI%?/9<&,12HB†

‡ˆ‰9ˆŠ‹Œ`ŽŠ‰ŠŽ‡#‰9)‘S‘-’2‡“‹Š“ˆ‹Ž‡”2‹•Š–“—2‹‡RŠ‘-–“˜‰9™L’3™›šœ

"žŸ- Mž¡„ž¢ £+¤9¥¦3ž§Dž¡„¨©Bª¨¥¤9¥¦3ž§¨«2¬3ž­¤9¬ž££+ &ž¥ ¤9§ŸS¤9©B¥ž&¤¥6¦3­Mž)£„"¤9§©B¤9¬®¯

°W±

 §&¤9§"¦2§)­¦3Ÿ- §¥V¥¤9²% ¨¢¬2¤­ ³B´#´Uµ`¶$·

°

 §¥ £¦3§"¸L¦3§­¦3Ÿ- §)¥6¹K&žŸ- º¤9§)Ÿ&¨ §Ÿ-¨¥ž$»%¼`½¾»%¿À§ž¥`ž§¬3Á¥

±

¦3¨

²%¦2§)Ÿ$ž)¡U¦3§¡ož£&¤¥6¦3ž§\ª)©¥Â¤9¬3¨ž\¤¬2¬J¥

±

 Ã¤9¬3¤9£&¨¥

±

¤¥¤£+ KÄL § £+¤9¥ ŸªÁÃ¥

±

 K»%Å ½Æ&½5¤9¢¢¬3¦2­¤9¥¦2ž)§¨¯Lǂ§0¥

±

 Ã ¤£+¬3Á

¨R¥6¤ÄL Ãž¡¥

±

 Ã¢£žÈ3 ­¥³É¥

±

¦2¨¤¢¢¬3¦2­¤9¥¦2ž§0ÊM¤9¨©B¨ Ÿ\¥ž0­£+ ¤9¥ K¤K¡o¦3¬2 :­ž§)¥6¤¦2§¦3§ÄD¥

±

¦3¨M¦3§¡+ž£+"¤9¥¦2ž)§„¯Ë½¨M»¼½¾»¿

ʤ9¨Ì§ž¥:¦2§)¨¥¤9¬2¬3 ŸÍ¦3§¥

±

 ÎÅ ž§¥£ž¬MÅ  §)¥6£ ³M¥

±

 ÎŸ- ¥ ­¥¦2ž§ž)¡D¥

±

 Î §)ŸÀž)¡D¥

±

 Î¦3§­¦3Ÿ- §¥

±

¤9ŸÍ¥žª ÎŸ-ž)§ 

"¤9§©B¤9¬3¬2ÁB¯LÅ ž§¥£ž¬JÅ §¥£+ Kž¢ £+¤9¥ž£¨Ê £ Ã¦3§\­

±

¤£+ÄL Ÿž¡U­

±

¤9§ÄL¦3§ÄS¥

±

 Ã"žŸ- Ãž)¡ž¢) £¤9¥¦2ž§7ž¡´#´#µ`¶$·

°

ª)¤9­²K¥6ž&¸L§ž£&¤9¬3¹_¤9¨#¨ž)ž§D¤9¨#¥

±

 ¦2§)­¦3Ÿ- §¥…¦3§D¥

±

 M ¬2 ­¥£+¦3­¤¬%§ ¥ÊMž£²Ãʤ9¨#­¬3 ¤£+ Ÿ`¯

ǂ§¥

±

¦3¨ÏÊM¤Á³¡+¦2¬3 ¨Ï­ž§­ £+§)¦2§ÄY£ ¤9¬É¦2§)­¦3Ÿ- §¥¨

±

¤9Ð% cª  §žª¥¤9¦3§ Ÿ$¤§Ÿ

±

¤9РKª  §\©B¨ Ÿ¦3§\ž£Ÿ- £¥ž\Ф¬2¦3Ÿ-¤9¥ 

»¼½¾»¿À­ž§­¬2©B¨¦3ž§¨Ñ¯¿MÒË¢ £¥¨¦3§Ð%ž¬2Ð% Ÿ"¦2§$¥

±

 º¢£+ž)È2 ­¥­ž&" §¥ Ÿ"¥

±

 ¨ º­ž§­¬3©B¨¦3ž§¨¤9§Ÿ&­ž££+ ­¥¦2ž)§¨¦3§

¥±

 ÓY§žÊM¬3 Ÿ-ÄL Ô#¤9¨ ÊM £+ &¤9Ÿ- Ê

±

 § Ð% £§ ­ ¨¨¤£+ÁB¯

°W±

 §&»¼½¾»¿Õʤ9¨U¦3§¨¥¤9¬3¬2 ŸD¦3§"¥

±

 ºÅ ž§¥£ž¬-Å  §¥£ ³B£+ ­ ¦2Ð%¦2§ÄK£+ ¤9¬3Ör¥¦2" ¦3§¡+ž£+"¤9¥¦2ž)§"¨ §¥ªÁº´#´Uµ`¶$·

° ³

§) Ê×¥ ­

±

§¦2ØB©B ¨]ž¡ÌФ¬2¦3Ÿ-¤9¥¦2ž)§

±

¤Ÿy¥žsª) ¤¢¢¬3¦2 Ÿ`¯U´

±

 WФ9¬3¦2Ÿ-¤¥6¦3ž§5ž¡Ì»%¼`½¾»%¿Ù­ž)§¨¦3Ÿ- £¦2§ÄÀ£ ¤9¬3Ör¥¦2" 

¦3§¡+ž£+"¤9¥¦2ž)§DÊM¤9¨UР£ÁM¦3&¢)ž£+¥¤9§)¥JŸ-©B ¥6ž&¨ Ð% £¤9¬%£ ¤¨ž§¨Ú

Û#ÜÝ&Þß)à+á9âàÜá9ãß)äå2ä)æ_ãçßèBâ3éSêÜMëÜãRë6ÜéSèBäé-Üàà+Üá9âãå2ëèBá9ëå3ßäã#å3äDßàé-ÜàëßDá9ããèBàÜMå3ëã#ìßààÜìëå3ßä

í îïðRñ2ò-óô+õ9öñ3îï&î)÷„ø"ùú3öñ2û)ú2ó÷oõ9ùBú3öðUñ3ðUõ9ï"ñ2ø"ûîôö6õïöVõ9ðûóüöVî÷ýþÿýÕûóô+÷+îô+ø"õ9ïüóöõ9öVñ3ð%óô ò-óûóïò-óïö…÷oôîø öóMõñ2ïõ9ö…ñ3ï÷oî)ô+ø"õ9öñ2îï&÷oú3îMð

!#"$&%'()$&*+,$-.)/0!#1,12,1"*34)25,6,,7189:;+!#$-

$-<9$-*<=

>

?<@1$-1A?",1"B)@ C;?1 :D A "*1%"*7*.@1?E5<%"7F5<"*)"*AG:;1"*$-17H

>JI

HK

@* L 1"?*$-=

>

"1,0M!#%+6N$-646, GA5O6N$-<)O( !#"*$L%M*7!#"*1$PQ1""@

:D1"*$-1R=

>

*7!#"*1S <!"$T%N11!# 1N15<%"*8U@S$-646, V W!#X 1:D+%

!#$ZY

[\*]7^#_*`a\bcXbdR\*c<e\f-gcahUijbkgl,`abl hU_be`a)gf\*cembh(gcXh^#ih(a)`a)\bch

no*p7q#r*stouvwuxVo*vyo*z-{vt|}q#|ov~/s7€ u~0€ spp7sr{‚o*p7q#r*|{‚~0{v{€ stu€ƒsvz„s‚…†{put{&‡U{€,p7o*vsr

ˆ

v<o*tU‰*…†‡

ˆ.Š‹

Œ

syXu<xZt{|({tŽuXt{yvo#q#{|Uyupr{p7{vt|Ut{ut{€Buv{;srruŽov~ƒs‘yupr{t{’;sro*z-st)ouv

‹

‡{ƒ|opq#r*st)ouv‚ux“ovyoz-{v<t)|.”ƒu<{€ stu€ |•sr*ruŽ{z‚t)u&u<tso*v&€ {sr*–—top{?ovx,u€,p7sto*u<v&t)<stRŽs|Ex4u<€,y{z‚tu&{

~0{v{€ st{z˜q#t?€ {|{vto*v<~F{™;sytr”Ot)<{O|sp{Oys€ syt{€,o|to*y|‚s|‚t)<{Oo*vx,u€ pstouvšutsov{z›z-q#€,ov~wsœ€ {sr

ovyo*z-{vt

‹<

q#€,ov~+t{|{‚t{|t|žt{‚{<s’;ouq#€ƒuxƒt{&€ ut{yt)ouvT{#q#op{vtŽs|Ÿ|o*p7q#r*st{z„”&u<{€ stu€ |

p7s ;ov~?t{JŽ<ur*{J|”|t{p¡syt¢s|•oxBsJ€ {sr-ovyoz-{v<tŽs|•ts ;ov~}r*sy{

‹£

vGto*|•Žs”#t{Vo*vx,u€ pstouv#q#|{z7”

n¤¥J…†n

Œ

Žs|U~0{v<{€ st{zs|Uot¦Žuq#rz{q#vz-{€Rs€,{srDovyo*z-{vt

‹



q#{7tuwt)<{Gz-ox4x,o*yq#r*to{|2uxVyu–—u<€,z-ovstov~+u<{€ stu€,|2ov„|{’;{€,sr“|(q<|tsto*uv<|žt)<{G|(o*p7qrstouv„o|2vut‘srŽs”|

yu€ €,{yt¦svzt{Žur{<€,uy{||ps”s’;{tuX{€ {<{st{z|({’;{€,srDtop{|o*vXu<€,z-{€RtuXu<t)so*vXs~0uuzt{|t

‹

£

v›|ot{§uxŸsr*rEt{§z-ox4x,o*yqrto*{|7svzMyu|t|7ov’Dur*’D{z-.to|7 Do*vz›uxt{|(t)|‚s|G<{{všyuv|oz-{€ {z›s|u<r*q#t{r”

{||{vto*srx4u<€Rt{’;sro*z-st)ouvXu<xZn¤¥…•n

Œ

;srruŽov~ƒtuXovy€ {s|({t{yuvx,o*z-{vy{o*vXot|U€ {sr–—to*p7{{s’Do*uq#€

‹

(6)

¯®´¼©»Á#°#®Ã;±­-»*¹,¹4®¬ ®©<¯9¯®´¼©»Á#°#®«¹R¯)®¸¯¢¼±¸†±·¸«Â®®©7°¸(®­ZÄÅU¼»¸¯®´¼©»Á°#®J»*©<Æ;«·Æ;®¸¯¼®J°¸(®«¹B±Ç•®µ7«¯®

Å®¬ µ»©±·9È?©»¯EÉ*ǕÅUÈ.ʑ±©­&«<¹±?¶¬ «À0¬ ±µµ7±Â·®'»µ¶°#·¸®'À0®©®¬ ±¯«¬?É*˨ªÌƒÊÄ;ÅU¼®2±·±¬,µÍµ®¸¸±À0®¸À0®©®¬ ±¯®­

Â<¿¯¼®ÎÏ.ÐÑ7ÐÒ±¬,®¸»*µ7°#·*±¯®­Â¿¯¼®»*µ7¶°#·*¸®¸UÀ0®©<®¬ ±¯®­Â¿¯)¼<®Ë¨ªÌ§Ä

ż»*¸¯)®´¼©<»*Á#°#®«¹B¯®¸¯¢µ7±¿J®°#¸®­X»©±´¼«¸®©¸°#¸(¯)±¯)»«©Ã®»*©À'°¸(®­X¯¼®Jµ«¸(¯¢´«©ÆD®©»®©<¯¢«©®Ã©±µ7®·¿

±}¸°#¸¯±¯»«©+´·*«¸(®}¯«+¯¼®2Ï.«©¯¬ «·¦Ï•®©¯¬,®#ľ¨ª©/¯¼»*¸º±¿ÃÓ¯¼®2«¶®¬,±¯)«<¬•¯¼±¯“»*¸µ±©»¶°#·±¯»*©À¯)¼<®}˨ªÌÍ»¸©«¯

¹,±¬B±º±¿¹4¬ «µÔ¯¼®¯®±µÕ»*©ÆD«·Æ;®­»©X¯¼®±©±·¿¸»¸U«¹BÎËÐǕÎÖM¬ ®¸°#·¯)¸†±©­Xµ7±¿J¶±¬ ¯)»´»¶±¯®J»*©7´«×4«¬,­-»©±¯»«©

µ7®®¯)»©À0¸UÂ<®¯º®®©X¯º«´«©¸(®´°#¯»Æ;®¯®¸¯¸Ä

ż»*¸•¯®´¼©»Á°#®V¼±¸•±··*«<º®­7¯«7¸»µ°#·±¯®V±º»*­-®V¸®¯«¹ž»*©<´»­-®©¯¸•»*©G«¬ ­-®¬“¯«7ÆD±·»*­-±¯®VÎËÐǕÎ֘؟©«º·*®­-À0®

Ù ±¸®±¸U´«µ7¶·®¯®·¿±¸¶«¸¸»Â·®Ä

¨ª©+«¬,­-®¬†¯«Nµ7±²;®}Æ;±·»­-±¯»*«©+¯)®¸¯¸‘¹4±¸¯®¬ Ã<±'¯»µ®2¸»µ°#·*±¯)«<¬•¼<±¸Â®®©/­-®Æ;®·*«<¶®­ZÄ;ÅU¼»¸¸»µ°#·±¯«¬.±··*«º¸¯«

°#¸®ƒ»©´»*­-®©¯Z¹,»*·®¸.¸±ÆD®­G¿ƒÎËÐǕÎ֛±©­7¬ ®¶<·*±¿ƒ¯¼«<¸®ƒ¸»¯)°#±¯»«©¸.«¹,¹4ח·»*©<®ÄÚ¨ª©&¯¼»¸Eº±¿Ã±¹4¯®¬´±¬,¬ ¿»©ÀŸ«©&±

¸(®¯«<¹ƒ¯)®¸¯¸Ã“¯¼®&¹4»·®¸Ÿ¯¼±¯±¬,®&À0®©®¬ ±¯®­wµ±¿&Â<®&°¸(®­w¿N¯¼®N¸»µ°#·±¯«¬'¯«S¶¬ «ÆD»*­-®NÎËÐJdžÎÖÛº»¯¼S¯¼®

´«¬ ¬,®¸¶«©­-»©Àƒ»©¹4«<¬,µ7±¯»*«©BÄ

ż®¸®7µ®¯)¼<«­-¸'«¹JÆ;±·*»­-±¯»*«<©F¼±ÆD®7Â<®®©„´«©<¸»*­-®¬,®­Ü¸°#¹4¹,»*´»*®©¯E¯«F¶°#¯EÎËÐJdžÎÖÔ»©F¸®¬,ÆD»*´®ÃBº»¯¼«°#¯E¯¼®

©<®®­¯«X°#©­-®¬,¯±²D®¹,«¬,µ7±·Æ;®¬ »¹4»´±¯»«©X«¹RÎDËÐJǕÎDֳ؟©«<º·®­-À0® Ù ±¸®Ä

ÝT¼®©&±ƒØŸ©«º·®­-À0®× Ù ±¸(®­‚ÎD¿¸¯®µ7Ã<±¸‘ÎËÐJdžÎ֑ÃÓ»*¸‘»©N´«©¯»*©<°«<°¸°¸(®Ã<¯¼®}©®´®¸¸(»*¯¿'¯«Nµ7±²;®}´¼±©À0®¸‘»©

¯¼®ÞǕ°#·*® Ù ±¸®Þ±¬ »*¸(®¸T¸««©<®¬Ü«¬F·*±¯®¬ßÄJ¨ª©à¯¼®á´±¸®á«¹F¯)¼<®áË«¬ ¯°À0°#®¸®áÅU¬ ±©¸µ7»*¸(¸»*«<©Û©®¯º«<¬,²DÃX¯¼®

»©¯¬ «­-°#´¯»*«<©G«<¹“©®ºá¸(°Â<¸¯±¯»*«©<¸Ãº»¯¼&­-»*¹,¹4®¬,®©¯R¯¿¶®¸E«¹«¶®¬ ±¯»«©&«¬·±¿«°#¯)Ã<¼±¸E±·¬,®±­-¿?»µ¶«<¸®­‚¸«µ7®

µ7«­-»¹4»´±¯»«©¸Ä

È'©­-®¬U¯¼®¸®ƒ´»¬ ´°#µ¸¯±©<´®¸(Ã-»*¯R»*¸.©«¯R¶«¸¸(»*·®ƒ¯«‚±´´®¶¯R¯)¼<®ƒ©®®­7¯«&°#©­-®¬ ¯±²;®'´«µ7¶·*®¯®?Æ;±·»­-±¯»*«©&¯®¸¯¸Ã

±¸¯¼®œ«©®¸7­-®¸´¬,»Â®­³Â®¹,«¬ ®ÄR֑Æ;®©˜»¹Ÿ¯¼®§´«¸¯¸G±¬ ®œ±´´®¶¯±Â·®Ã.¯¼®§¬,®Á#°»¬ ®­M¯»µ®§º«<°·­M«<·*»À0®§¯¼®

؟©«<º·®­-À0®× Ù ±¸®­ÜÎD¿¸¯®µâ¯«F®G®»¯¼®¬V«°#¯‘«¹V¸®¬,ÆD»*´®‚«¬ƒ»*©w¸®¬,ÆD»*´®Gº»*¯¼«<°¯±7ÆD±·*»­-±¯®­„dž°#·® Ù ±¸®‚¹4«<¬

µ7«¬ ®¯»*µ7®¯¼±©­-®¸»¬,±Â·*®#Ä

ż»*¸¶¬,«<·*®µãµ7°¸(¯BÂ<®'±­-­-¬ ®¸¸(®­&¯¼¬ «°#À0¼N¯¼®'°#¸®}«¹±?ÆD®¬ »*¹,»*´±¯»*«<©N¯««·9°¸(»*©À¹,«¬ µ±·¦µ®¯¼«­-¸Ä;ÅU¼®2°#¸®

«<¹U¯¼®¸®'¯)«<«·*¸(ï«&­-®¯®´¯R¶«<¸¸»Â·*®'¶¬,«<·*®µ¸E»©&¯¼®?Ǖ°·®

Ù

±¸®Ã±¹4¯®¬•µ±²D»*©<À´¼±©<À0®¸ÃÓ±·*·«º¸‘¬,®­-°#´»©À¯¼®

¯»µ®¬,®Á°#»¬,®­¯«Xäå2䛯)¼<®©®ºMǕ°·® Ù ±¸®Ä

Ü]ÝÜÓÝ

ߢæ;ç ãèãéÓàÓåãæç

êëìí ì?îìí,ì'ï)îð&ñòóðí†í,ìòôðõôEïð&ôïòí ïBöD÷øJù•öDúÞûDìí ü*ý,ü*þòïü*ðõ&îðí ÿüí ôïïëì?ö÷øù•öúáïìòñ þòí í,üì&ð ï

ò}ôìï“ð<ý†ïìô(ï)ô*ôììò*ü-òïü*ð<õüõ/ðí-ìíEïðœòôô#í ìŸï)ë<ì#òü*ïŸðý.ïëìŸòõôîìí ôð<ý•ö÷øJù†öúPï)ðœò2ôìïUð<ý•í ìò

òõÚðíBôü*ñ*òïìXþòô(ìôøïëð0ëþðõ<ôü-ìí,üõ?ïëìJì! ìþï)ìXí ìü*ò"<üü*ïJòõXþðõý,ü-ìõþìJðýBï)ë<ìïððôïð"ì

ò ü*ì˜üõ# ðîìíXôôïìñô‚òí ìòEü*ï}îòô$-ìþü-ì˜ïð#-ìûDìð šò§û;ìí üý4üþòïüðõšï)ð<ð‘ïð# ìí ý4ðí ñ òõ<ðñòüìô

-ìïìþïüðõœü*õœöD÷Zøù•öDú&%'˜òôô#í,üõ7ï)ë<ì2þðõôüôïìõ<þŸðý.ïëìŸí,ì í,ìôìõ<ï)ì/ÿDõðî*ì(0ì))*Gõœïëìð<ï)ë<ìí‘ëòõ(

ïëìMï)ìôïôOò üìLü*õ+Jòü-òï)üðõ+ ë<òôì}õòñ7ìMý4üìQïìôïô}òí ìMû;ìí,˜ì- <ìõôüû;ì."ìþò#ôì/(#í ü*õ Þï)ë<ìüí

ì¾ìþ#ï)üðõ&üïRîòôEõìþìô(ôòí?ïð&òðþòïì?ò0*ð<ïRðýï)ìþëõ<ü*þò1 <ìí ôðõõìÓòõ2 ëôü*þò9í,ìôð#í,þìô1*üÿ;ì3*üõìô‘òõ

ô4)"<ôïòïü*ðõ<ô65ªï7ô(ììñ7ôOð"ûDü*ð#ôOïëòïGüï7üôOü*ñ ðôô(ü"ì³ïðQþòí,í³ð#ïGï)ë<ðôì³ïìô(ï)ôOòý4ïìí/ìòþëQÿ;õðî*ì(0ì

-òï)üõ?ô(ðïëì7-ìû;ì*ð ìXûDìí ü*ý,ü*þòïü*ð<õïðð-ðý,ý4ìí,ô•òõGìòôVòõ üõì- <ìõôüû;ìVîòVï)ðGòôô4í ìVïëìVÿ;õðî*ì(0ì

#òü*ïñòüõïìõòõþì

8 #ì'ïðNö÷øù•öúáû;ìí,üý4üþòïüðõ+îðí ÿ!9ò'ïðð9úù:5ªêUøJö;öòõïðô<>=@?!AB;CJò*ì<>=!?@ARîòôD-ìû;ì*ð <ìNòðîüõXïð

<ìí ý4ðí ñÔïëìôïí,#þï#í òDòõòôüôUüõXðí-ìíBï)ðE-ìïìþï9ÿDõðî*ì(0ìòõð<ñòü*ìô

F

GIHKJKL,MONIPRQTSVU7WDXY,Z[Y\DS]^Y_D`+]__Da

b)cd,efcgedhijhkhilm4nm3cgofpk nqeo$rDhmhs(tucosvhmwEhnkxcgofpk nqeo$yztd0hk twEhil$s(ocofcntkxhy,cgod0ftk mns(od,nk{

m4o|!od,hi@hm4uofcgm4}!rDp odoDcpoDwhnk~hs(|!hkch{om9hd,o€

7‚ƒ„…†‡Kˆ(‰Š‰‹ŠŒƒ ‚vŒRƒ‚‰KƒŽ7„Eƒ4ŠO)4‰ˆŒ‚vŠ‘‰Kˆ(‰’@‰†ƒ“„E‰‚ŠOƒŽ7”‰•,ŒŽzŒ‹…ŠgŒƒ‚–Šgƒ ƒ†…‚ˆ–Š‘‰

ƒ‚ ‰DŠ‘…Š—•‰‹‰Œ’@‰9˜•‰…Šg‰•™…‹‹‰“Š…‚‹‰DŒ‚~”š”V‹ƒ„„E‚ŒŠg‡›

(7)

œžŸ ¡¢E £¤¥/  Ÿ,¦  ¥§¨ ©©¦ª«v£¦¬¦­ £g ¤®¨Ÿ, ¥£¤¥ ©Ÿ,¯«°©£«–¤®¨ /«§¦ Ÿ,£ £¤¢E¯±3­Ÿ¤®¡¤® ¡² «

¤¢E¢¯³(¤ £¯©´3¥¦®«¯µ)°¯®¥¯ R«¦ ©¤³(¤¶,¤¥ £¤¦ ®·¦¶6¸¹¸»º!®¦ ªD©¯³(¡¯±¯«4«¯®£¤ ©—£¦·³(¯¼@¯©¦¢¯®£.¦¶

¢¦Ÿ,¯¥¦¢©¯½¾ ® ³¿ ³(¯µ° £¯D¸7¹3¸V£¦¦©«À

Á9 Ã3ÄÃÅ,ÃÄÄ,ÃÆÈÇÃÉ ÊËÌÍÃËÎ7ÌÍËÇÃÏÆ(ÐÍ)Î4ÇgÃÆ·ÇÑÓÒ!ÃÄËÅzÔÕÖ9×2ØDËÇÂÚÙÑÊÑÇÑÊËÉÉÂÏÄ,ÏÉÇÃÄËÎÇËÉÎۗÜËÝ@à Þ7ß:àáÞ

ÎÔÎ4ÇgÃÙ¬ÏÊ Æ¿âT×3Å,ÑÄäãÇÑÜÑåÔDÆ(ËÎÃÏÎÃÎæÆ(ËÏåÊ ÑÎËÎ9ÏÊÆ¿ÇÂÃÄ,Ïç Ô)è

é

ÂËÜÃÇÂÃ7ÙEÏËÊEÆ(ËÎÏÆ(Ò@ÏÊÇÏåÃ7ËÎ:ÇÂÃÏÊÑÙEÏÜÔ7Æ(ÃÇÃÉÇËÑÊËÎ4ÊêëÇìÇÂÃíÙÑÎÇìÏÆ(ÃÌÍ)ÏÇgÃíÇÃÉÂÊËÌÍ)ÃíÇÑKçÃÄÅzÑÄÙîÇÂÃ

Ò@ÃÄËÅ,ËÉÏÇËÑ ÊÚÑÅáÊÑ ÊÙEÑÊ ÑÇÑÊËÉÕÖ9×ïè2ðËÄÎÇÛïñÃÉÏÍÎÿÇÂÃÄÿËÎ7ÏÎÃÇæÑÅOÏÊÑÙEÏÜËÃÎíÎçÃÉËÅzËÉÏÜÜÔ¿Ä,ÃÜÏÇÃÆÚØËÇÂ

ÇÂËÎKÇgÔçÃòÑÅÎÔÎ4ÇgÃÙEÎIó

Þ

ÊÇÑÊËÑÍô>õ!ö@÷íØDÂËÉÂVÆ(ÃÇÃÉÇËÑÊVØDÏÎÊÑ Ç¾ÔÃǾÏÆ(Æ(ÄÃÎÎÃÆèä×@ÃÉÑÊ Æ(ÛOøâ ß6ù

Á Þ

×úØDËÜÜ

ÄÃç ÑÄ,ÇÎÑ ÙEÃVûÅ,ÏÜÎ4ÃýüÈÏÊÑÙÏÜËÃÎÈÇÂÏÇÉÑÄÄÃÎçÑ ÊÆ(ÎÈÇѲÃÊ Ò!ËÄ,ÑÊ ÙEÃÊ ÇgηÇg ÏÇÊÑÇÃþ-ËÎÇÎÈÆ(ÍÃvÇÑÿÝ!ÊÑØÜÃÆ(åÃ

ÄÃç Ä,ÃÎÃÊÇÃÆ¿ËÊ~ÙÃÇÏô>ÄÍÜÃÎ9ÍÎÃÆ¿ÇÑ~ÄÍÜÃÎÃÜÃÉÇËÑÊEÙEÃÉÂÏÊËÎÙòè

ø7â ß6ù

Á Þ

×3ÎÔÎÇÃÙ¨ËÎ9ËÊÆ(ÃçÃÊÆ(ÃÊǗÑÅÝ@ÊÑØÜÃÆ(åÃDÆ(ÑÙÏËÊEÏÊÆ¿ÑřÇg ÃDåÄÏÙEÙÏęÍÎÃÆ¿ÇÑ~Ä,ÃçÄÃÎÃÊǗÇg ÃDÄÍ)ÜÃÎ^è

!"

#%$&' ()'*

+',-.'.-,/

0132 4'567'7658

9:<;

='>?@'@?>A

B<C DDEDFGC H

IEJK LDMN JDC H

O

C MC P<CQN

O NMN GMN R

SDEKC HFN!Q O C MCTCQN

UWVXN JC MFEDXQ

Y

N!ZFDNKNDM

UWVXN JC MFEDXQ

[]\^`_badcfefgihkjmlonqpsrutvrua'wyxb\z3c{wyz3_ba'c

|~}fs€%k‚~ƒ…„b†ˆ‡i‰bŠ{ŠŒ‹Ž`ŠŒŠŒ‘’b“bŠŒ•”—–˜3„Ž†ˆ‹Ž’b“bŠŒ‹Ž†ˆ‹™›šœ’b`ž‘Ÿ†ˆ —†ˆ d¡{„b–˜¢Š{¡Œ˜3ž dŠ•£¤¥–Ÿ¦§ž ¨Š›©¨ªv†ˆ‘‘Ÿ’b”«–Ÿ‹™¦¬–‹b˜3ŠŒ ¨†ˆ¡{˜¢–‹b¦

”«–Ÿ˜3„­˜3„bŠ®ž‡qŠ{ ¯†ˆ‘’b‹b¦°†ˆ‘‘—˜3„bŠ±²ŠŒ ¨–³'–¡Œ†ˆ˜3–’b‹­“b ¨’b¡ŒŠ{‡q‡{´uƒµ–‹b¡ŒŠ¶˜¢„™Š±˜3’b’b‘~–Ÿ‡·–Ÿ‹b`Š{“bŠŒ‹™`ŠŒ‹b˜¸’b³œ¹»º¼¦§ d†ˆšœš¯†ˆ ¨½—–‹

“™ d–‹b¡Œ–“b‘Š—†ˆ‹™¾— ¨µ‘Š—‰™†ˆ‡qŠ—¹¸º®¡{†ˆ‹¿‰bŠ«†ˆ‹b†ˆ‘¾Œ‡WŠŒÀ‰b¾«|«}fs€%k‚~ƒÁ´

Â„bŠ®Ão’b‹bŠŒ ¨˜¢Š{ ¯šœ’b`ž‘ŸŠ®†Œ‘Ÿ‘’b”—‡Ä˜3’­ ¨ŠŒ“b ¨ŠŒ‡WŠŒ‹b˜»˜3„bŠ®ŠŒÅ²˜¢Š{ d‹™†ˆ‘— ¨ž‘ŸŠ{‡Ä–Ÿ‹­†ˆ‹­–‹b˜3ŠŒ ¨‹b†ˆ‘«¡Œ†ˆ‹™’b‹b–¡Œ†ˆ‘~³'’b ¨šÆ˜3„b†Œ˜»–‡

 ¨ŠŒ¡{’b¦§‹b–‡qŠŒÄ‰™¾Ç˜3„bŠÇ’™˜¢„™ŠŒ sš¯’b`ž‘ŠŒ‡{´Éȯ’b˜3–¡ŒŠÇ˜3„b†Œ˜Ê˜3„b–‡fšœ’b`ž‘ŸŠË”—’b ¨Ì²‡«–Ÿ‹›˜¢”«’·`– dŠ{¡Œ˜3–’b‹b‡{´²€%˜u¡Œ†ˆ‹›†ˆ‘‡q’·¡{’b‹b²Š{ d˜

˜3„bŠiŠ{Åɘ3ŠŒ ¨‹b†ˆ‘`¹¸º¶–‹b˜3’¬¡Œ†ˆ‹b’™‹b–Ÿ¡{†ˆ‘`³'’™ dšÍ†ˆ‹bœ†ˆ‘‘Ÿ’b”«‡Î˜3’¬¦§ŠŒ‹bŠ{ d†Œ˜¢Ši‹bŠ{”Ï dž‘ŠŒ‡s`µ ¨–‹b¦Ç̐‹b’b”—‘ŠŒ`¦§Šiž“b`†ˆ˜3–‹b¦§½ž†ˆ³'˜3Š{ 

†Œ‹b’bš¯†Œ‘Ÿ–ŠŒ‡k`Š{˜3ŠŒ¡Œ˜3–’b‹b½µ‡W–Ÿ‹b¦v†Œ‹¿ŠŒÅɘ3Š{ d‹b†Œ‘¦§ ¨†ˆš¯šœ†ˆ Ð´

Â„bŠ¯€%‹b˜3Š{ d‹b†Œ‘]ќºÒ‚«`šœ–Ÿ‹™–Ÿ‡q˜3 ¨†ˆ˜3–Ÿ’™‹®š¯’b`ž‘Š¯–‡Ó ¨ŠŒ‡q“b’™‹b‡q–‰b‘ŸŠœ³'’b ~˜3„bŠ¯Š{Åɘ3 d†Œ¡Œ˜3–Ÿ’™‹±†ˆ‹b±¡Œ‘†ˆ‡q‡q–³'–¡Œ†ˆ˜3–’b‹±’™³«†ˆ‘‘Ô˜3„bŠ

–‹b³d’b dšœ†ˆ˜3–Ÿ’™‹•‹™ŠŒŠŒ`Š{›˜3„bŠÀ`ž ¨–Ÿ‹™¦œ†ˆ‹™’bš¯†ˆ‘–ŠŒ‡i`ŠŒ˜3ŠŒ¡{˜3–Ÿ’b‹Ž“b„™†ˆ‡qŠÀ³' ¨’bšÕ˜3„bŠ¯–Ÿ‹b˜3Š{ d‹b†Œ‘¥ ¨µ‘ŠŒ‡¯£Ÿ“b ¨ŠŒ–Ÿ’™µ‡v’™‰b˜3†ˆ–Ÿ‹™ŠŒyª{´

€%‹¯˜¢„™Š—³'– ¨‡q˜Á‡q˜3ŠŒ“¿†ˆ‘‘µ‘Ÿ–˜3ŠŒ ¨†ˆ‘Ÿ‡ÂŠŒÅɘ3 ¨†ˆ¡Œ˜3ŠŒÀ³d d’™šÖ ¨µ‘ŠŒ‡Â†ˆ dŠ«¡Œ‘†ˆ‡q‡q–³'–ŠŒÀ†Œ¡Œ¡Œ’™ d`–‹b¦v˜3’¿˜3„bŠ—³d’b‘‘Ÿ’b”«–Ÿ‹™¦v¡Œ‘†ˆ‡q‡q–³'–¡Œ†ˆ˜3–’b‹]×

ØÚٌیÜÁÝÀޟß]ޟÜÁàážâqÜÁوãbãbä{وådâÂޟæ¿å¨ážçŸä«ÙˆæbÜ3äŒÛ{äŒè`ä{æbÜkéê]ë¿ìŒí%î

ïoðbñbò{óŸôžõqöðbñ¿÷Àöø¥öùÁúŸôžõqùÁûˆü™übýŒûˆþ¨õköñ¿þ¨ôµóý—ò{ðbñbõqý{ÿžôµý{ñbù

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

-

./ 01'2. *3. "4(%&'5$"4"%& ' "%&"0"%76)+05$ 89 2 "':3 <;= !>."? !. %&)+ >,

@

A%& . >#%B.*C>.'"D5E"D %&;9"FG: >AH5E >A.5$'. 289"I2*%&FG7 ! ! "'"J"%K

! %&)+.1"AL1'M. 5E* NOML/ >)+*PNO"C"4FG " >"F !. ,OQ2RSI(**T#/%& . ># %A* !U'

' >. L. ! >"'%&("'*.*=.*. )+* 1"'**='#*("3 >". 2. ",

V

"E2C . '"% 'U=

V

" !"*&WEXBQY%&5$" > 1"Z5$%&)+*[FG " >)+3)+*&"'3 !5$"Z#)+\NOC1"F

! *"$#' I( "]*1 > *_^`' >;9)+*?#"%ba ,

@

c"> !5$"]I2**d#e)+%f"c6)+c]5E89?

NO"''"MFG "' !"FA' >. P3 2#)+<*B"B1'E)+5E.Z%& ."BYg="FG*EhY*)iZjd" !",

-

.[1'\hYkRl V @

Q2g."%& !d5Ec1c0." !"'1d* ! %&c%&. !#' %Z"H* !)+ >$monR* >;9p3q9r9st,

jd"'%& >%. "' >".)+*%#2%&;=%&%"$1'(3'**I("FcI2iu

(8)

viw xEyz{|}E~dz€{!y|z'{1€P‚ƒ{1„'|€M{…†w$‡2|xE†w !x$|€€|ˆ‰wE€Cw {<|€P‡3'>xEw Š‹ˆ…Z‰|{w !y‰€P{„y{<}yzz'{<ˆw

†!w €Cw z{y{{„w(€Cyx$w2{1|x$w2|z$ŒŽY‘’{„y€{ˆ'w(|z{>Š&“+}w Šˆ…2“i€Cw ‘

”–•—G˜™š›iœ•'žŸ ¡>š ˜ž Ÿ¢ £¤¡>¤2š¡!¤(¥¦iŸC T §2•›•'—G˜™š›=™•žŸ ¡!š˜ž Ÿ¨

©

ª¬«­®­¯°±ªL²(±ª¬³$´«­µ«­$¶·°´ ¸!«¶²

¹

º¼»½¾½'¿ÀÁ\Âà ÄCÅÆ»ÇȺLÉÊ=ÀÂÅÄL¾&ËÄÅÌG½'»ÀÅ¿½ZÅÄ¿Í'À1» Ž˾$ÍÃ[»½'»Ç¿'ÌGÃYÎ2ÅÀÂZÇ¿'ÌGÅÆ»Ç&½Ë ÌG» À1Å¿½Z»½¾

»ÇÇ¿'Î(ÄRÀ¿7Ï!Ë ÐÏ!Ë ÄCË ½ÀSÀÂËPÆ¿½ÄÀÏ!»Å½À0¾&Ë Ñ>Ž˾7ÍλPÇÅÀËÏ>»Ç»½'¾7ÅÀÄ2Ï>ËÀ1Ï!»ÆÀ1Å¿½eÑ3Ï!¿ÒÔÓ:Õ2Ö9×ÂÅÄ

¿ÐËÏ>» À1Å¿½ÅÄØ=Ë Ï!Ã(Æ ¿'Ò$Ò$¿'½Å½$½¿½ÙÚÒE¿½¿À¿½'ÅÆ2Äà ÄÀËÒ$ÄÇÅÛ=Ë(ÜiÁ\ºYÝÜiÞ/Ö

ßiàá'âGãäEå2æãç+ä$èdéáêCë1ì!æàáëêMíƒëîàêMëï ðäEéñ(àò$ðäì>òEàêCêàó'ãäEêä ëdàêMñ3éì!ò$äô‹óïZõç+êë<é'áäEãàë1äì>æ ãöó'çië

÷

éáêàô&ä ì!àá'â?ô&àñ3ñ>ä ì!ä áëYø9æ ãç+ä êé'ñMàëêðæ ì>æòEä ëä ì!êùúEéëà

÷

ä7ëîæëYëîéêäeðéëä áëàæã

÷

éáêCë1ì!æàáëêæì!ä

æç+ëéòEæëà

÷

æããïPô&äëä

÷

ëäôùGûYñ3ëä ìëîàê(ë1î'ä

÷

é'áêëì>æ àáë

÷

æá7óä/ä àë1î'ä ì

÷

éáñ>àì!ò$äôAéì

÷

îæá'âGä ôAóïŽëîä

ç+êäìüù

ý

îäJæáéòEæãàäê?ô&äëä

÷

ëàéáþò$éô&ç+ãä ÿå2äì>àñ3à

÷

æëàéá

ý

ééãê

éì9ê_àá æ á æ çiëéá'éò$éç+ê

æ ï

àë1îþáéþç+êäì

àáëä ì!æ

÷

ë1àéá–ù’ëæããé

êëéóä(ì!ç+áàáóæë

÷

î$ò$éô&ä+ù

ý

îäEæ áéò$æ ãàä ê/ô&ä ëä

÷

ë1àéáBóæêà

÷

æããïEì!ä ãàäêPàá ëîäZì>ç+ãä ê/æáô

÷

éáêëì!æàá'ë<æáæãï êàêù

ý

îàê/òEä ëîéôBîæêŽæãì>äæô&ï

ó'ä ä á$çiêCä ôóï2êéò$ä

äãã9áé

áå /å¬ëééãê9æ êèEå\ì!ä ä

÷

ä æáô !"#$&%Mè')($àáêóäì>â*,+.-tù

ý

îä(ì!ç+ãä2ä/Oðæ áêàéáâGä á'ä ì!æëàéá

÷

æáó'ä(ô&éáä2àá$ë

éô&àñ3ñ3äì>äáëò$éô&äê10‘á'éì>òEæãiéì–ä1/Oîæç+êëàø9ä+ù

ûYêä1/Oæò$ð'ãä19ãä ëç+ê

÷

éá'êàô&äì–ëîä2ñ3éããé

àáâ2 30

46587:9#;=<6>@?8ACBD48;=?6>@E F8G=H6I

J6K8L:M#G=H6I@N O#P=Q6R

S6T8U:V#PCWCR@X Y#ZC[C\

]C^#_a`8Z=b6\@c d8e=f6g

d6h8i:j#e=f6g@k l8m=n6o

prqsutwvyx{z=|u}u~zr€|‚vvƒ„uq…uz†w}u…uzr€|‚q€‡~†wtˆtsuv‰*v1…uvŠq€‹vŒ†w…v1qŽ|&}uŒ6v

‘“’•”u–˜—™

šœ›žˆŸ¡ u¢‚ŸŸw£u¤ˆ¥¦›‹¢'§u¢u›‹w¨¥¦›‹©uª›ž§u¢u«¬­ª¤¬­¢u®6¥¦¯*¥1§u¥«ª›‹¥Ÿ±°²¥³¥1«­¥1´µ uª§uŸ=ˆ¢u§‚Ÿ±£u¶·›¸¢u§›‹©u¥¹¢u›‹©u¥1«­©uª§‚®6¸›‹©u¥

w§u°²¢u«²¬&ª›‹ˆ¢‚§º¢u£‚›ªˆ§u¥1®:ª°²›‹¥«2ª§u¢‚¬­ª¤wˆ¥1Ÿž®6¥1›‹¥¨›‹w¢u§»ˆŸy¬­¢u«¥¡¶·Ÿ¥°²¶¤½¼¿¾!©u¥±¥1´µ©uª¶·Ÿ›‹wÀ¥±¬&¢u®6¥±³ªŸ=›¥1Ÿ ªÁ¤w¢u›3¢u°

›‹w¬­¥¯*¥§u¥1«²ª›w§u¯Â›‹©u¥«¶¤w¥Ÿ“¥´µ ‚ª§uŸw¢u§uŸ“ˆ¬& u¤ˆÃ1ˆ§‚¯Âª¤wŸ¢­¬&¢u«²¥³ªŸ›‹¥®›‹w¬­¥›¢&ª§uª¤wß=¥3›‹©u¥1¬­¸£u¶·›Äˆ§& u«²w§u¨1ˆ u¤w¥Åˆ›

³3ˆ¤w¤£u¥ u¢‚ŸŸw£u¤ˆ¥3›‹¢®6¥›‹¥¨1›‡¬­¢u«¥ u¢‚›¥1§u›‹ˆª¤Æ¥1«²«¢u«Ÿ1¼

¾r©u¥Ç®6¥›‹¥¨1›‹¥®Èª§u¢u¬&ª¤ˆw¥ŸÉ¨1¢u¶·¤ˆ®È£u¥Ç¯*«¢u¶· u¥®Èˆ§Ê›‹©u«¥¥Ç¬&ªËˆ¢‚«Ì¨¤wªŸŸ¥1Ÿ1ÍÁ«¥®6¶·§u®6ª§u¨1ø¦¨1ˆ«¨¶·¤wª«²w›‹ÃǪ§u®

w§u¨1¢u§uŸwŸ›‹¥§u¨1øƪ¨¨1¢u«²®6w§u¯2›‹¢Îϝw¯*¶·«²¥3п¼

Ñ&¢u«²¬&ª¤ÒÓ¢u®6¥ Ô´µ©‚ª¶·Ÿ›‹ˆÀÆ¥ÒÕ¢u®6¥

Ö#×=Ø6Ù@Ú8ÛCÜDÝ8×=Ú6Ù@Þ ß8à=á6â

ã#à=ä6â@á8åCæ@ç#à=á6â@è é8ê=ë6ì

í#ê=ë6ì@ë8îCïDð8ê=ë6ì@ñ ò8ó=ô6õ

ö#ó=ô6õ@ô8÷Cø@ù#ó=ô6õ@ú û8ü=ý6þ

ÿ#üCþ@ý8ü=ý6þ

(9)

"!$#&%' (*)

./0123,"4/65

7 23,"/(*-%-#8./-#!90:./0 7 /23 ,"-(

; ,"29!9/23%'/6-)

< .=23>?>4,"4,"/(@/>?," ,-/",A-B%'&/0

< .=%C01/5D#,A"B%'/E.>F/>4,- ,-/", GH,-(*IA,",-/ ; !9#,AJE .!9K0

+ !$K#&-%'(L, ; !$#,A./0123," /5

7 23,"/(*-%-#8./-#!901.6/0 M8!9N0:!$=O,"2P. + !9K#-%-(*, ; !9#, Q /!$0:%'N#, ; !9#,

R =ONST%-#,-/",

; ,-23!9/23%'/(@UF(*," %'#

VWYXZ\[4]A^A_a`b]dcL]edcL]fPgHh\i$jlkDm&Wn]do

prq6sLtudvwsLx6y-s{z3|:vd}Eu"~&y-|:|:t&4t&u"y-sLt&q6€Ot&||:t&‚ƒt&~y"„…sLqƒ†„ vdv"u"v‡u"~&y-|:|t tudy-sLtq6€‰ˆŠ†F„‹v"vdu"vdŒ?8Ž$‘’tsLxƒ|q6‚ƒv‡}t 4vd„ vd€6u"vd|d“-”t„‹|:sL•

sLx6vb‚ƒy-sLudx6t€\–E—8y-~&z3v"|Ay-„‹v˜udq6€6|:t&}v"„‹v"}™t&€š„‹z3~vby-€6y-~&›"|:t&|:•‘tsœ‚ƒvdy-€6|AsLx6y"sy˜€6v"ž|:v"sœq6y-€6q6‚ry-~t&v"|wwt&~~{y-„‹t|v9“8Ÿv"s

z3|udq6€6|:t&}v"„sLx6vw q6~&~q6’t€\– u"t&„ udz9~&y-„„ z3~&v"|d¡

 q6„œ¢£¤¦¥:§6¨ƒ©’ª«\¬4©"­‹©"«\®"©w©d«6¯°ª&«6©"¥®d§6±3²³E¥´*µ"­ ´{µ-«Oª&«6¬ ª«6ª&´L©w²&§6§6¶…·

¸

«6§6´L¹6©d­…¥ª´L±3µ-´Lª§\«O®"§6«\®"©"­‹«6¥´L§O­‹©"³±3«6³µ"«6®"º’»6©"´L¼w©d©"«O¯°­‹§6±3¶6¥§\¬­‹±9²&©"¥·'½1«O´L¹6©’¬4§6²&²§\¼wª&«6¯ ©"¾Tµ"¨ƒ¶6²&©9¿

´L¹6©’­ ±3²&©"¥‡ÀÁdÂÄÃŒÆ-Ç6ÈÊÉ˒ÌdÍ6Î3ÏÐEÑ6Ò’Ó ÒdÔ6Ï&Õ-Ì"ÒdÐEÑ6Öw×LØ6ҒÙ6Ò"ÚT×{ӋÎ3ÏÒ3Û

Ü

Ô6Ô6Ï&Ö"Ý&Ù6Þ Ï&Í6Þ°Ý&Ì"Õ-Ï9ß:Ý&àƒÔ6Ï&Ýá ÝÌdÕ-×LÝÍ\Ù6߁×LÍOӋÎ9Ï&Òãâä3å$æç{æ&èé6ê6èè:æë\ìí’ç*êƒê6ë6çLî-æ&ïOçLð6íwñ ê6ìì&ê6ò’æï6ó ô‹õ3ìí3ö

÷ ð6íwøídè:ù"ô‹æë\í"øEè:æ&çLõ9î"ç*æ&ê6ïOùdî-ïOô‹í"é6ô‹í"èí"ï6ç{î-ïOõ3ï6øídè:æ&ô î-ë\ìí’ô ídøõ9ï\øî-ï6ù"ú’î-ï6øEæ&ç{æèîwó°í"ï\í"ô‹î-ìæ&è:î-çLæ&ê6ïƒê\ñ…çLð6í‡õ3ï6õ3è:í"ø

ì&æ&ç*ídô î"ìûè:æ&çLõ9î"ç*æ&ê6ïüî-ì&ô‹í"î-øúšèç*õ3øæ&í"øýë6úšþô ídí"ù"íýÿŠþFô‹í"ídù"í rê6çLæùdí çLð6î-çaçLð6æ&èOçLú"é6íÊê6ñ˜ô‹í"øõ3ï6øî"ï6ù"úÊù"ê6õ3ì&øüë6í

øídè:æ&ô î-ë\ìíõ9ì&íƒë\î-è:í"è˜î-ô írøô î"òwï î-è˜îOô ídè:õ3ìç ê6ñ’î8ï\ê6òwì&í"øó°írî-ï6î-ì&ú"è:æ&èídìæ&ù"æ&çLî-çLæê6ï é6ô ê\ù"í"èè:åæ&ï6ù"ì&õ3øæï\ó°åñ4ê\ô

íTîré6ìídå$æ&ï6çLí"ô 8æ&í"ò’èûò’æçLðƒíTé6ídô çLèûê\ôçLð6í‡è:çLõ3øú’ê\ñ…øê6ùdõƒí"ï\ç*èè:õ3ù"ðrî-èûùdê6øí"èê6ñ…é\ô î-ùdçLæùdí’î-ï\øƒì&í"ó°î-ìçLí8ç*èå9ê\ô

î"ï6î-ì&ú"è:æ&èAê6ñç*údé6æ&ù"î-ì@è:îré6ìíbù"î-èí"è ÷ ð6íPô õ3ì&í"ë6î"è:íbèð6ê6õ3ìø ô ídñ4ì&í"ù"çHçLð6íPï6î-çLõ3ô‹íbê6ñçLð6æ&èwé6ô‹ê6ù"ídè:è:åƒídî-ï6æ&ï6óOçLð6î-çHæ&ñ

øê\ù"õƒídï6çLî-ô ú è:ê\õ9ô‹ù"ídèbî"ô í õ3è:í"ø çLð6í ô õ3ì&ílë\î-è:í è:ð6ê6õ3ì&ø ô‹í"ñ ìídù"ç$ï6ê6òwì&í"øó°í è:ê\õ9ô‹ù"ídè ÷! #" ù"î"ï øídçLí"ù"ç

çLð6ídè:íwèæçLõ3î-çLæê\ï6èõ3è:æ&ï6ó î-ïOæ$ƒé6ô‹ê%$í"ø'&ƒõ3æ&ï6í)(Êù*ì&õ3è+8ídúrí"çLð6ê6øEñ ê6ô…ì&ê6ó°æ&ù"î-ì9í8é6ô ídè:è:æ&ê6ï6èèæ,ré6ìæ&ñ4æ&ù"î"ç*æ&ê6ï-

.

/10234 56!7 026

8:9%;,<#=%>=@?ACB?>D,E!F;,EG9H<+I%JK?';,JK=%I%A EL>M%E:><N=%?OEL<QPRI%AEG9%?'=%A >OEG;$O>DTSU<N?'I%PCVXW!YZ;$MH[\I%M@ELA I%D][\?M%EGAR?<^U8!9%?<+?

><+=%?OEG<!;,M@OD$SUB?_M%I@FD$?B`a?JK>;$M%EG?M%>M@O?b=%I%A EG>c%;$D,;$EGdbe#?A ;$P);$O>EG;$I%M%b>M%B'e>D,;$B>EG;,I@M-^

8:9%?f<+d<+EG?JK>EG;,OgSU<N?fI%Phe?AR;$P);$O>EG;$I%Mi>M%Bje#>D,;$B>EG;$I%MiJK?EG9%I%B<K;,<Kk?A dH;,JK=%I%A EL>M%ElP)I%AXEG9%?H>OO?=%EG>M@O?HI%P

VXM%I@FD$?B`a?m)W!><+?BKYUd<+EG?Jn<\c%dlEG9%?;$A!?M%BmS<+?A <^o8!9@?lSU<N?lI%Ppe?AR;$P);$O>EL;$I%MqEGI%I%D$<+b%c@><+?BrI%MqPRI%A Jn>DJn?EG9%I@B<+b

;$M%OAR?><+?<:EL9@?OI@M%P);$B?M%O?I%P-EG9%?S<+?AR<!>M%B'?><N?<!EG9%?=%ARI@O?<N<!I%PT;$M%EGA I%BSO;$M%`lO9%>M%`a?<!;$MEG9%?sSD$?W!><N?U^

8:9%;,<t=%>=%?A#B?<+OA ;$c%?BuEG9%?1YUv]wsxYUyze#{he|=%A I%O?<+<^@YvTwsxYy};,<h>nA ?>D$mEG;$Jn?1_M%I%FD,?B`a?mc@><+?B~<+d<+EG?JEGI

><+<+;$<+E€I%=%?A >EGI%A <!I%P-v]I%A ELS`aS?<N?8!A >M%<+JK;,<N<+;,I@M[\I%M%EGARI@D[\?M@ELA ?<o^

‚Tƒ~„x…N†‡ˆ†T‰oŠ‹T…NŒ‡ˆ ŽTN‘

’“T”•ŽTN‘ˆ– —T˜N™š

—›Tœ~™ˆ™Tož‹Ÿ•™Tož‹ •¡ ¢

£¤T¥•¦o§¨ˆ©ˆ©T¦oª‹«•¬ ­

®¯T°•±o²³‹´•µT±o¶‹·•¸ ¹

ºo»x¼~½ˆ½T¾o¿‹À•½T¾o¿‹Á•ÂTºˆ¾oÂȽˆ½T¾o¿‹Á•ÂTºˆ¾oÂËÀ•½T¾o¿‹Á•Ä Å

ÆoÇxÈÉ•Ê•Ë Ì

(10)

ê

Ñ%Ô,åÐGÎ%Î%ã$ëì%ÒÔ,Ø@æíì%×å+ÒßÎ%ØKán×ÐGÑ%Òán×ÐGÔ$Ö×ãÕ)Î@äUØ@ß×ÐGÔ,Î%Ø@å+ë×å+å+äÏRÒå:ÐGÑ%Ò#ßÒÐGÒÖÐGÔ,Î%ØKÎ%Õî×ì%Ø%Î%Ï án×ãå+Ô,ÐGä×ÐGÔ$Î%Ø%åxÔ,Ø1ÐGÑ%Ò

ïXðé

ê Ñ%ÒránÒÐGÑ%Î@ß~äå+ÒßèÕ)Î%ÏlÐGÑ%ÒrÓÒÏ Ô,ÕRÔ,Ö×ÐGÔ,Î%ØñÎ%ÕlÙUÚ]Û#ÜÙUÝ|ïXðòã$×óåôÔ$ØñÐGÑ%ÒqÕ)×ÖÐÐGÑ%×Ð×Øñ×ì%Ø%Î@ÏRáK×ã!å+Ô$ÐGäU×ÐLÔ$Î%ØñÔ$å+ë

áKÎ%å+ЀÎ%Õ-ÐLÔ$ánÒå+ëÏ Òã$×ÐGÒß'ÐGÎÖÎ%Ø%ÖÒâ%ÐGÔ$Î%Ø×Ø%ß'ßÒÓÒã,Î%â@ánÒØ@ÐÒÏRÏ Î%Ï åé

Û#åÙUÚ]Û#ÜÙUÝõïXðöâ%Ï Òå+ÒØ%ÐGåÕ)Ò×ÐGäÏRÒåÐGÑ%×ÐQ×Ï ÒgØ%Î@ÐläUåNäU×ã,ã$ógÖÎ%Ø%å+Ô$ßÒÏ ÒßiÔ,Ø÷ÓÒÏ Ô$Õ)Ô$Ö×ÐGÔ$Î%ØiáKÒÐGÑ%Î%ßå+ëxÞÒHÑ%×ÓÒ

ÖÎ%Ø%å+Ô$ßÒÏ Òßè×ØøÒùúÐGÒØ@å+Ô,Î@ØèÎ%ÕQû ê!ü Ùý)ÐLÑ@ÒÎ%Ï óUé ê Ñ%Òå+ÒrÕ)Ò×ÐGäUÏ ÒåXÔ$Ø%Öã$äßÒqÐGÑ%ÒqÖÎ%Ø@å+Ô,ßÒÏR×ÐLÔ$Î%ØñÎ%ÕlßÔ$å+þ$äUØ@ÖÐGÔ,Î@ØøÔ$Ø

ÿÙUëánäã$ÐGÔ,â%ã$ÒÖÎ%Ø%Öã,äå+Ô$Î%Ø%å+ëÐGÒå+ЀÎ%Õ-ÖÎ%Ø%ßÔ$ÐGÔ,Î@Ø%å+ëÐGÒánâ%Î%Ï ×ãUÎ%â%ÒÏR×ÐGÎ%Ï å!×Ø@ß'ánÒÐG×ý)ÏRäã$Òåé

ÚTÏRÒå+ÒØ%ÐGã$óëÐGÑ%Òhäå+ÒôÎ%Õxán×ÖÑ%Ô$Ø%Òhã$Ò×ÏRØ%Ô$Ø%æÐGÒÖÑ%Ø%ÔäÒåÔ$åì@ÒÔ$Ø%æÖÎ@Ø%å+Ô$ßÒÏ ÒßTé ê Ñ%ÒôÔ,ßÒ×tÔ$åÐGÎgäå+ÒX×ôánÒ×å+äÏRÒXÐGÎ

ÐGÑ%Òå+äÖÖÒå+å!Ô$ØÐGÑ%ÒÖ×å+ÒÎ%ÕTÕR×Ô$ã,äÏ ÒÎ%Õ-ÏRäã$Òå+ë×ã,ã$Î%ÞÔ,Ø%ælåNäUæaæaÒå+ÐGÔ,Ø@ælánÎ%ßÔ$Õ)Ô$Ö×ÐGÔ$Î%Ø%å!Ô$ØÐGÑ%ÒÜäã$Òð!×åNÒUé

"! #$%'&)(+*%,.-/012.3453"6879-:-/,.2.,.;<;>=?;<;<@,.;A01-CBD 2FE%HGJI,46KH,FLM34;<,.;<NHO

=?,.-/343"IPQ@-/3"IH0R=?,.IIKS,4TQU.;<,.D ;<OV*I$W"X OYBZ4W"[OY\\$X] ^_OW"

79KH-/,.^"! 79=?# `9abdce-:fKg# -/@\h^ _$[i$[^Okj"amlS\,.-/nTQU.;<,.D ;<okp ,:qr,.I\D,.satlS\,.-/,42.,F346vuw;<,.-

`9,.x@@-/,.D ,.;<j4OYatI,.2.-/34OY$W"yiOY\\$YX iOYz{,4|-/3"-:U}W"^

p@-/fi"! P@$Yp @-:f OY(Satl \,.-/TQU.;<,.D ;<oV~*%,:G0R€,Mz{,.I6NHOY=?atataamlS\,.-/OYz‚,.|-/@34-/UƒW" i

#;<|,.-:KH_"! $# ;<|,.-/K„&…(+†,:G‡3"\-/3"2.€ˆ24€,.2.f K‰fŠG%I,.6KS,‹|34;<,.;Œ01-}2.;<;<,.2.U‹346ˆ-:,46@6342.U.NHO{=?

\-/2.,46KH;k^-/6%@3"Iatl \,.-/ŽTQU.;<,.D;kA# HqR,.-:D,4Ž701,.-/,.2.,.O‹=?atata57D \@,.-TQ24,.U.O

ce3";<€KHOYp $7$OY\\$W"[X ‘WWW"OY’2.|,.-/OW"_

“{-/,.,.2.,. ["! $“{-/,.,.24,”&%(S•MHGJ34-/6;–3”D ,.€6IKHUm01-—,:qr3"I@34K},.lS\,.-/R;<U.;<,4D;<NHO atl \,.-/RTQU.;<,.D ;™˜uwEš<O+*I$OSBZ/yO

\\$XRW"]XX^ OYBŠqr,.D |,.-/OW"[

“{-/,.,.2.,. y"! $“{-/,.,.24,m3"6%`$TQ€KS€34I&J(Sz‚@634346m\\I2.3"0‚E%ŠG%I,.6KS,tLM34;<,—*,.-/0/2.3"NHO=?,.IIKH,.24,

TQU.;<,4D;<OYB Z: OY\\$i_ ^[rW"OW‘y

`9;<3"6^"! 79$`9;<3"6OYj4“‚-:2.,.;<;—•M•›—’#wcœj4OYatp “`9,4\-/`9atTQ“{TQ79pT™X[^OžPQIUƒW‘^

TQ34;<‘! P@$TQ3";Ÿ&Y*,.-/012.34 4¡4¢,*3"I634 .¡">6,œTQ;<,.D 34;£L34;<,4346;Ÿ,.D¤79€,.2.D,.¢&e*at`9=?•rTQO@D3

z{,.-/-/34D ,.3M6,¥*%,.-:012434 .¡"NHOY¦ŽTQ2•€,4;<;<OYz‚342.@I63"6,M6,MamKS,4€3"-:3–6Œ“{-:OYp ,.2.,.D |,.-MW"

*34I,.^‘! §t$*%34I,J3"6%$¦Ž@-:3"ORj/…atl \,4-:MTQU.;<,.DCGJ€Ž•,4D\-/34I¥`9,.34;<K 01-¨I34-/DF“‚-:2.,.;<;<K …“{HGJ,.-

TQU.;<,4DC79-/IQ79,.,.-/;<j4O =?atama£•-/34;<3"2.; “‚HGJ,.-¨TQU.;<,.D;<O‘qrI$_OQB $Q^OQ\\$¥W"^ [‘W"^rW‘yO4@KH;<

W"^

*34I,.y‘! §t$*%34I,.O4$$¦Ž@-:3"OQ¦Ž$z{,.-/3"6,.;”346w%$¦Ž34-/x@@,.;<O@(STQ“@`9TQadatl \,4-:‚TQU.;<,.D¢01-RI34-/D>“‚-:2.,.;<;<K

346’„\,4-:3"-%;<;<;<342.,‹TQ@|;<3";79-/IQ7,.,.-:;<NHO"%\\I,.679D \@Kƒ`9,:qr,:GJO"qrI$QXOQXOQ\\$

W"_Xi OV79¦©˜%;<;<2.34ª01-r79D\@Kt¦Ž3"2.€,.-/U:š{“{-/,.;<;<OYp ,.2.,.D |,.-/OW" y

*34I,.i 3/! §t$*%34I,.O ›{$z‚34-/3"O 79$`93"D;<O ¦…$z‚,.-/346,4;M3"6%$¦…34-/x@,4;<O (H•HGJ34-/6;M¦…-/,m=V,4IIKH,.R346m634\qR,uw;<,.-

=?,.-/0/3"2.,.;C01-n79-/I79,.,.-k\\I2434;<NSO«=?,.-/3"34I790/,4-:,.2.,¬­=?,.IIKH,.eTQU4;<,.D ;

\\I2.3";®“{HGJ,.-”TQU.;<,.D ;˜=VT4“{¯i"š?O°’„-/I346Oz{I-/634O°uw$TQ$$O°\\$°Xi O°X_P@3"@34-/UªMXz‚,.|-/@34-/U.O

W"i

*34I,.i |H! §t$*%34I,.O¦Ž$z‚,.-:346,.;<O‹79$`9;<346O}$¦…34-/x@,.;<O‹79$`93"D;k346>›—$z‚34-/3"O (HL,4,4-~E%LMTC01-`9,.34ID ,

\\I2.3";—Œ“{ŠG%,4-¥TQU4;<,.Dn79-/IH79,.-/,.;<o?ce€342434J|,9I,.34-/,.6Œ|U,.l \,.-:,.2.,.±<NHOHz‚-/;<=V,4-:3434I

7901,.-:,42.,²TQ242.,.;<;<,.;346ez{3"I@-:,.;0E%ŠG%I,.6KS,4L34;<,46eTQU.;<,4D;²`,.34Ice-:I6~%\\I2.34;<O

L3"KHffOY•M€3"I346OYX_ ^[™’2.|,.-/OW"i

*34I,.‘! §t$*%34I,.OP@$TQ34;<OS79$`93"D;M„(STQ“@`9TQa~@n“‚-:IK}L3";<,.6\\I243401-—€,m“‚-/@KH,4;<,m•M-:3";<D ;<;<

B,4GJ-/fo*,.-/012.34Ž3"6*34I63"NHOr“%“{³‰”“‚-:3"2.2.34IQ\\I2434……“{-/IKHOr›—6-/,.;<O¥=?KHI3",.-/-/34O

\-:IOW‘

ceII,.|,.-/KS_i‘! L$cœII,.|,.-/KHO”j4z{,434;<|IU…TQ@6U…01-‹34´at,.-/KSU…¦Ž3"34KH,.D ,.ŒTQU.;<,.Dv=?,.IIKS,.m%I3"-:D5“{-/2.,4;<;<-/j4O

=?atata•-/34;<3"2.;—Œ“{ŠG%,4-¥TQU4;<,.D ;<OVqrI$W"OY$XOY\\$YXyRW"XyOY¦…34U}W"_i

§mI3434-/,:qr3"y"! B$§tI343"-:,/qr3e346n%$“‚-:,4,.2.,²&A(<Aam0101,.2.qR,²›—KH2434I„z‚-:3"D,/G%-:fµ01-ŸEJHGJI,.6KH,.LM34;<,.6¬TQU4;<,.D ;

*,.-/0/2.3"NHOY=?,.-/3"3"IP@-/3"IŠ0Ratl \,.-:TQU.;<,.D;<OV*%I$OYBZ/^OY\\$X^X i[OW" y

Références

Documents relatifs

The input of this latter is the informal requirements written in natural language and the outputs are a set of models (such as goal model, behavioral model,

Particularly, in the paper we (1) propose a heuristic to determine an order of consideration of hardware resources of the configurable device, depending on its functional and

In this paper, we introduced a validation method based on a lifecycle model called CommonKADS; we introduced the validation lifecycle, extracting test cases from the

Furthermore there are also limitations and synergies depending on the applied V&amp;V techniques (static analysis, testing, model checking, runtime verification, formal proof)..

Different component selection situations must cope with different combinations of incomplete, incorrect, and partial design specifications (Lubars 1986). The component

In this po- sition paper, we elaborate on testing issues arising when using AI methods for systems, consider the case of different stages of AI, and start investigating on

Keywords: Ontology, Knowledge-based system, Data representation, Usability evaluation, ISO 9241, User satisfaction, Longan.. 1

Model order reduction and automatic LP generation are illustrated on a magnetostatic case (based on an electromagnetic device): the magnetic H and B elds are calculated using