An Integrative Framework for Model-Driven Systems Engineering : Towards the Co-Evolution of Simulation, Formal Analysis and Enactment Methodologies for Discrete Event Systems
308
0
0
Texte intégral
(2) 1G¶RUGUH '8 ('63,& . . 81,9(56,7e%/$,6(3$6&$/&/(50217)(55$1',,. ÉCOLE DOCTORALE DES SCIENCES POUR L’INGÉNIEUR DE CLERMONT-FERRAND. PhD Thesis 6XEPLWWHGE\ . HAMZAT OLANREWAJU ALIYU 7RREWDLQWKHGHJUHHRI . PhD in Computer Science . 7LWOHRIWKHWKHVLV . $Q,QWHJUDWLYH)UDPHZRUNIRU0RGHO'ULYHQ6\VWHPV(QJLQHHULQJ 7RZDUGVWKH&R(YROXWLRQRI6LPXODWLRQ)RUPDO$QDO\VLVDQG (QDFWPHQW0HWKRGRORJLHVIRU'LVFUHWH(YHQW6\VWHPV 3XEOLFO\GHIHQGHGRQ'HFHPEHUEHIRUHWKHMXU\ -HDQ3LHUUH0OOHU *UpJRU\=DFKDUHZLF] 0DPDGRX.DED7UDRUp 'DYLG+LOO +HQUL3LHUUHYDO $QGUHDV7RON . . . . . . 5HIHUHH 5HIHUHH 7KHVLV6XSHUYLVRU ([DPLQHUDQG3UHVLGHQWRIWKH-XU\ ([DPLQHU ([DPLQHU.
(3) 1G¶RUGUH '8 ('63,& . . 81,9(56,7e%/$,6(3$6&$/&/(50217)(55$1',,. ÉCOLE DOCTORALE DES SCIENCES POUR L’INGÉNIEUR DE CLERMONT-FERRAND. T h è s e 3UpVHQWpHSDU. HAMZAT OLANREWAJU ALIYU 3RXUREWHQLUOHJUDGHGH . D O C T E U R D’ U N I V E R S I T É . 63e&,$/,7e ,QIRUPDWLTXH . 7LWUHGHODWKqVH . 8QFDGUHG LQWpJUDWLRQSRXUO LQJpQLHULHGLULJpHSDUPRGqOHGHV V\VWqPHV9HUVODFRpYROXWLRQGHODVLPXODWLRQGHO DQDO\VHIRUPHOOH HWGHO¶pPXODWLRQGHVV\VWqPHVjpYpQHPHQWVGLVFUHWV 6RXWHQXHSXEOLTXHPHQWOH'pFHPEUHGHYDQWOHMXU\ -HDQ3LHUUH0OOHU *UpJRU\=DFKDUHZLF] 0DPDGRX.DED7UDRUp 'DYLG+LOO +HQUL3LHUUHYDO $QGUHDV7RON . . . . . . 5DSSRUWHXU 5DSSRUWHXU 'LUHFWHXUGHWKqVH ([DPLQDWHXUHW3UpVLGHQWGX-XU\ ([DPLQDWHXU ([DPLQDWHXU.
(4) . $EVWUDFW 0RGHOEDVHGV\VWHPVHQJLQHHULQJPHWKRGRORJLHVVXFKDV6LPXODWLRQ)RUPDO0HWKRGV )0
(5) DQG (QDFWPHQW KDYH EHHQ XVHG H[WHQVLYHO\ LQ UHFHQW GHFDGHV WR VWXG\ DQDO\]H DQG IRUHFDVW WKH SURSHUWLHV DQG EHKDYLRUV RI FRPSOH[ V\VWHPV 7KH UHVXOWV RI WKHVH DQDO\VHV RIWHQ UHYHDO VXEWOH NQRZOHGJH WKDW FRXOG HQKDQFH GHHSHU XQGHUVWDQGLQJ RI DQ H[LVWLQJ V\VWHP RU SURYLGH WLPHO\ IHHGEDFNV LQWR D GHVLJQ SURFHVV WR DYHUW FRVWO\ DQG FDWDVWURSKLF
(6) HUURUV WKDW PD\ DULVH LQ WKH V\VWHP 4XHVWLRQV DERXW GLIIHUHQW DVSHFWV RI D V\VWHP DUH XVXDOO\ EHVW DQVZHUHG XVLQJ VRPH VSHFLILF DQDO\VLV PHWKRGRORJLHV IRU LQVWDQFH V\VWHP V SHUIRUPDQFH DQG EHKDYLRU LQ VRPH VSHFLILHG H[SHULPHQWDO IUDPHV FDQ EH HIILFLHQWO\ VWXGLHG XVLQJ DSSURSULDWH VLPXODWLRQ PHWKRGRORJLHV 6LPLODUO\ YHULILFDWLRQ RI SURSHUWLHV VXFK DV OLYHQHVV VDIHQHVV DQG IDLUQHVV DUH EHWWHUVWXGLHGZLWKDSSURSULDWHIRUPDOPHWKRGVZKLOHHQDFWPHQWPHWKRGRORJLHVPD\EHXVHGWR YHULI\ DVVXPSWLRQV DERXW VRPH WLPHEDVHG DQG KXPDQLQWKHORRS DFWLYLWLHV DQG EHKDYLRUV 7KHUHIRUHDQH[KDXVWLYHVWXG\RIDFRPSOH[ RUHYHQVHHPLQJO\VLPSOH
(7) V\VWHPRIWHQUHTXLUHV WKH XVH RI GLIIHUHQW DQDO\VLV PHWKRGRORJLHV WR SURGXFH FRPSOHPHQWDU\ DQVZHUV WR OLNHO\ TXHVWLRQV7KHUHLVQRJDLQVD\LQJWKDWDFRPELQDWLRQRIPXOWLSOHDQDO\VLVPHWKRGRORJLHVRIIHUV PRUHSRZHUIXOFDSDELOLWLHVDQGULJRUWRWHVWV\VWHPGHVLJQVWKDQFDQEHDFFRPSOLVKHGZLWKDQ\RI WKHPHWKRGRORJLHVDSSOLHGDORQH:KLOHWKLVH[HUFLVHZLOOSURYLGH QHDU
(8) FRPSOHWHNQRZOHGJHRI FRPSOH[ V\VWHPV DQG KHOSV DQDO\VWV WR PDNH UHOLDEOH DVVXPSWLRQV DQG IRUHFDVWV DERXW WKHLU SURSHUWLHV LWV SUDFWLFDO DGRSWLRQ LV QRW FRPPHQVXUDWH ZLWK WKH WKHRUHWLFDO DGYDQFHPHQWV DQG HYROYLQJIRUPDOLVPVDQGDOJRULWKPVUHVXOWLQJIURP GHFDGHV RIUHVHDUFK E\SUDFWLWLRQHUVRIWKH GLIIHUHQWPHWKRGRORJLHV7KLVVKRUWIDOOKDVEHHQOLQNHGWRWKHSUHUHTXLVLWHPDWKHPDWLFDOVNLOOVIRU GHDOLQJZLWKPRVWIRUPDOLVPVZKLFKLVFRPSRXQGHGE\OLWWOHSRUWDELOLW\RIPRGHOVEHWZHHQWRROV RIGLIIHUHQWPHWKRGRORJLHVWKDWPDNHVLWPRVWO\QHFHVVDU\WREHDUWKHKHUFXOHDQWDVNRIFUHDWLQJ DQG PDQDJLQJ VHYHUDO PRGHOV RI VDPH V\VWHP LQ GLIIHUHQW IRUPDOLVPV $QRWKHU FRQWULEXWLQJ IDFWRU LV WKDW PRVW RI H[LVWLQJ FRPSXWDWLRQDO DQDO\VLV HQYLURQPHQWV DUH GHGLFDWHG WR VSHFLILF DQDO\VLVPHWKRGRORJLHV LHVLPXODWLRQRU)0RUHQDFWPHQW
(9) DQGDUHXVXDOO\GLIILFXOWWRH[WHQG WR DFFRPPRGDWH RWKHU DSSURDFKHV 7KXV RQH PXVW OHDUQ DOO WKH IRUPDOLVPV XQGHUOLQLQJ WKH YDULRXVPHWKRGVWR FUHDWHPRGHOVDQGJRURXQGWRXSGDWHDOORIWKHPZKHQHYHUFHUWDLQ V\VWHP YDULDEOHVFKDQJH7KHFRQWULEXWLRQRIWKLVWKHVLVWRDOOHYLDWLQJWKHEXUGHQVRQXVHUVRIPXOWLSOH DQDO\VLV PHWKRGRORJLHV IRU H[KDXVWLYH VWXG\ RI FRPSOH[ V\VWHPV FDQ EH GHVFULEHG DV D IUDPHZRUNWKDWXVHV0RGHO'ULYHQ(QJLQHHULQJ 0'(
(10) WHFKQRORJLHVWRIHGHUDWHVLPXODWLRQ)0 DQG HQDFWPHQW DQDO\VLV PHWKRGRORJLHV EHKLQG D XQLILHG KLJKOHYHO VSHFLILFDWLRQ ODQJXDJH ZLWK VXSSRUW IRU DXWRPDWHG V\QWKHVLV RI DUWLIDFWV UHTXLUHG E\ WKH GLVSDUDWH PHWKRGRORJLHV 7KLV IUDPHZRUN HQYHORSV IRXU SLHFHV RI FRQWULEXWLRQV L
(11) D PHWKRGRORJ\ WKDW HPXODWHV WKH 0RGHO 'ULYHQ $UFKLWHFWXUH 0'$
(12) WR SURSRVH DQ LQGHSHQGHQW IRUPDOLVP WR LQWHJUDWH WKH GLIIHUHQW DQDO\VLV PHWKRGRORJLHV LL
(13) ,QWHJUDWLRQ RI FRQFHSWV IURP WKH WKUHH PHWKRGRORJLHV WR SURYLGH D FRPPRQ PHWDPRGHO WR XQLWH VRPH VHOHFWHG IRUPDOLVPV IRU VLPXODWLRQ )0 DQG HQDFWPHQW LLL
(14) 0DSSLQJ UXOHV IRU DXWRPDWHG V\QWKHVLV RI DUWLIDFWV IRU VLPXODWLRQ )0 DQG HQDFWPHQW IURP D FRPPRQUHIHUHQFHPRGHORIDV\VWHPDQGLWVUHTXLUHPHQWVLY
(15) $IUDPHZRUNIRUWKHHQDFWPHQWRI L .
(16) GLVFUHWH HYHQW V\VWHPV :HXVHWKHEHYHUDJHYHQGLQJV\VWHP DV DUXQQLQJ H[DPSOHWKURXJKRXW WKHWKHVLV $ PHWKRGRORJ\ WKDW HPXODWHV WKH 0RGHO'ULYHQ $UFKLWHFWXUH 0'$
(17) WR SURSRVH DQ LQGHSHQGHQWIRUPDOLVPWRLQWHJUDWHWKHGLIIHUHQWDQDO\VLVPHWKRGRORJLHV 7KHDSSOLFDWLRQRI 0'$ DSSURDFK WR VRIWZDUH GHYHORSPHQW KDV UHFRUGHG VLJQLILFDQW DGYDQWDJHV VXFK DV UHGXFHG FRGLQJ WLPH DQG HIIRUWV DXWRPDWHG V\QWKHVLV RI HUURUIUHH FRGH DQG LQFUHDVHG WKURXJKSXW 7R UHSOLFDWH WKHVH DGYDQWDJHV LQ WKH SURFHVV RI PRGHOLQJ FRPSOH[ V\VWHPV IRU FRPSOHPHQWDU\ DQDO\VHVZLWKVLPXODWLRQ)0DQGHQDFWPHQWZHSURSRVHDIUDPHZRUNWKDWPLUURUVWKH0'$E\ JHQHUDWLQJWKHPRGHOVIRUWKHGLIIHUHQWDQDO\VLVPHWKRGRORJLHVIURPDUHIHUHQFHPRGHOZKLFKLV LQGHSHQGHQW RI DQ\ RI WKH PHWKRGRORJLHV :LWK WKLV DSSURDFK WKH PRGHOHU QHHGV RQO\ WR EH FRQFHUQHGZLWKWKH FRUUHFW VSHFLILFDWLRQRIWKH UHIHUHQFHPRGHO ZKLOHWKHDUWLIDFWV UHTXLUHGIRU HDFKRIWKHDQDO\VLVPHWKRGRORJLHVFDQEH UH
(18) JHQHUDWHGZLWKOLWWOHHIIRUWV%\WKLVDSSURDFKWKH GRPDLQ H[SHUW LV VKLHOGHG ODUJHO\ IURP WKH HIIRUWV WLPH DQG PDWKHPDWLFDO ULJRU UHTXLUHG WR VSHFLI\ DQGXSGDWH
(19) PRGHOVIRUHDFKRIWKHGLIIHUHQWPHWKRGRORJLHV ,QWHJUDWLRQRIFRQFHSWVH[SUHVVHGLQVHOHFWHGVLPXODWLRQ)0DQGHQDFWPHQWIRUPDOLVPVWR SURYLGHDQLQGHSHQGHQWPHWDPRGHOIRUWKHUHIHUHQFHPRGHOV /DQJXDJHHQJLQHHULQJLVRQH RI WKH FRUQHUVWRQHV RI 0'( 5HVHDUFKHUV LQ WKLV ILHOG KDYH SURSRVHG WHFKQLTXHV WR LQWHJUDWH GLIIHUHQWODQJXDJHVWRIRUPQHZODQJXDJHVLQVRPHVXLWDEOHFLUFXPVWDQFHV RISDUWLFXODULQWHUHVW LQWKLVFRQWH[WLVWKHLQWHJUDWLRQRIGLIIHUHQWPHWDPRGHOVWRSURGXFHDQHZFRKHUHQWRQH,QWKLV WKHVLVZHXVHVRPHRIWKHVHWHFKQLTXHVWRLQWHJUDWHFRQFHSWVIURPVRPHFRQVLGHUDEO\XQLYHUVDO IRUPDOLVPV LQ V\VWHP WKHRU\ DQG VRIWZDUH HQJLQHHULQJ WR GHILQH D XQLILHG ODQJXDJH ZKLFK LV H[SUHVVLYH HQRXJK WR EH DW WKH NHUQHO RI DQ 0'$PLUURUHG IUDPHZRUN WKDW VXSSRUW WKH DXWRPDWHG JHQHUDWLRQ RI DUWLIDFWV IRU WKUHH DQDO\VLV PHWKRGRORJLHV VLPXODWLRQ )0 DQG HQDFWPHQW 0DSSLQJUXOHVIRUDXWRPDWHGV\QWKHVLVRIDUWLIDFWVIRUVLPXODWLRQ)0DQGHQDFWPHQWIURP D FRPPRQ UHIHUHQFH PRGHO RI D V\VWHP DQG LWV UHTXLUHPHQWV 8VLQJ 0'( WHFKQLTXHV SDUWLFXODUO\ PRGHO WUDQVIRUPDWLRQ WHFKQLTXHV WR GHILQH VHSDUDWH PDSSLQJV RI WKH FRQFHSWV GHVFULEHG LQ WKH DIRUHPHQWLRQHG XQLILHG ODQJXDJH WR WKH XQGHUO\LQJ IRUPDOLVPV RI VHOHFWHG IRU VLPXODWLRQ)0DQGHQDFWPHQWPHWKRGRORJLHVLHWKHVHPDQWLFVRIWKHFRQVWUXFWVRIWKHXQLILHG ODQJXDJH DUH JLYHQ E\ WKH VHOHFWHG IRUPDOLVPV 7KHUHIRUH ZH WDNH EHQHILW RI PRGHO WUDQVIRUPDWLRQWHFKQLTXHVWRPDSWKHFRPPRQPHWDPRGHOWRHDFKRIWKHIRUPDOLVPWRDFKLHYH WKHDXWRPDWHGV\QWKHVLVRIWKHDUWLIDFWVUHTXLUHGIRUHDFKRIWKHGLVSDUDWHPHWKRGRORJLHV $ SUHOLPLQDU\ IUDPHZRUN IRU WKH HQDFWPHQW RI GLVFUHWH HYHQW V\VWHPV 8QOLNH VLPXODWLRQ DQG IRUPDO DQDO\VLV ERWK RI ZKLFK KDYH ZHOO HVWDEOLVKHG IRUPDOLVPV DQG RSHUDWLRQDOORJLFDO SURWRFROVWKDWDUHDFFHSWHGE\FRQVLGHUDEO\ODUJHFRPPXQLWLHVHQDFWPHQWPHWKRGRORJ\KDV\HW WR SHUPHDWH VLJQLILFDQWO\ LQWR WKH V\VWHPV HQJLQHHULQJ SUDFWLFH ZLWK GLVFUHWH HYHQW V\VWHPV LQ JHQHUDO 7KH FXUUHQW SUDFWLFHV RI HQDFWPHQW DUH PRVWO\ EDVHG RQ 80/ 8QLILHG 0RGHOLQJ /DQJXDJH
(20) 6\V0/ 6\VWHP0RGHOLQJ /DQJXDJH
(21) DQGWKHLUSURILOHV :H SURSRVHDQHQDFWPHQW LL .
(22) IUDPHZRUNIRUGLVFUHWHHYHQWV\VWHPVZKLFKDGRSWVWUXO\V\VWHPWKHRUHWLFFRQFHSWVWRH[SUHVVD V\VWHPPRGHODQGWKHREMHFWRULHQWHGREVHUYHUGHVLJQSDWWHUQWRGHILQHLWVHQDFWPHQWVHPDQWLFV . .H\ZRUGV 0RGHO'ULYHQ 6\VWHPV (QJLQHHULQJ 6LP6WXGLR +L//6 6LPXODWLRQ )RUPDO $QDO\VLV(QDFWPHQW'(96=7HPSRUDO/RJLF. /LVWRISXEOLFDWLRQV 7KHIROORZLQJDUHWKHMRXUQDODQGFRQIHUHQFHSDSHUVSURGXFHGLQWKHFRXUVHWKLVWKHVLV $OL\X + 2 0DwJD 2 7UDRUp 0 .
(23) 7KH KLJK OHYHO ODQJXDJH IRU V\VWHP VSHFLILFDWLRQ $ PRGHOGULYHQ DSSURDFK WR V\VWHPV HQJLQHHULQJ ,QWHUQDWLRQDO -RXUQDO RI 0RGHOLQJ6LPXODWLRQDQG6FLHQWLILF&RPSXWLQJ
(24) 'MLWRJ , $OL\X + 2 7UDRUp 0 .
(25) 0XOWL3HUVSHFWLYH 0RGHOLQJ RI +HDOWKFDUH 6\VWHPV,QWHUQDWLRQDO-RXUQDORI3ULYDF\DQG+HDOWK,QIRUPDWLRQ0DQDJHPHQWLQSUHVV $OL\X + 2 7UDRUp 0 .
(26) ,QWHJUDWHG )UDPHZRUN IRU 0RGHO'ULYHQ 6\VWHPV (QJLQHHULQJ $ 5HVHDUFK 5RDGPDS ,Q 3URFHHGLQJV RI WKH 6SULQJ 6LPXODWLRQ 0XOWL &RQIHUHQFHV6SULQJ6LP S
(27) $SULO3DVDGHQD&$86$6&6,QWHUQDWLRQDO $OL\X + 2 7UDRUp 0 .
(28) 7RZDUG DQ ,QWHJUDWHG )UDPHZRUN IRU WKH 6LPXODWLRQ )RUPDO $QDO\VLV DQG (QDFWPHQW RI 'LVFUHWH (YHQW 6\VWHPV 0RGHOV ,Q 3URFHHGLQJV RI WKH :LQWHU 6LPXODWLRQ &RQIHUHQFH :6& SS
(29) 'HFHPEHU +XQWLQJWRQ%HDFK&$86$,(((3UHVV $OL\X + 2 7UDRUp 0 .
(30) 7RZDUGV D XQLILHG IUDPHZRUN IRU KROLVWLF VWXG\ DQG DQDO\VLV RI GLVFUHWH HYHQWV V\VWHPV ,Q 3URFHHGLQJV RI 7KH $867 ,QWHUQDWLRQDO &RQIHUHQFH RQ7HFKQRORJ\$867(&+ 2FWREHU$EXMD1LJHULD $OL\X + 2 0DwJD 2 7UDRUp 0 .
(31) $ IUDPHZRUN IRU GLVFUHWH HYHQWV V\VWHPV HQDFWPHQW,Q3URFHHGLQJVRI WK(XURSHDQ6LPXODWLRQDQG0RGHOLQJ&RQIHUHQFH(60 SS
(32) 2FWREHU/HLFHVWHU8.(8526,6(7, 0DwJD 2 $OL\X + 2 7UDRUp 0 .
(33) $ QHZ DSSURDFK WR PRGHOLQJ G\QDPLF VWUXFWXUHV\VWHPV,Q3URFHHGLQJVRI WK(XURSHDQ6LPXODWLRQDQG0RGHOLQJ&RQIHUHQFH (60 SS
(34) 2FWREHU/HLFHVWHU8.(8526,6(7, 'MLWRJ,$OL\X+27UDRUp0.
(35) 7RZDUGVDIUDPHZRUNIRUKROLVWLFDQDO\VLVRI KHDOWKFDUHV\VWHPV,Q3URFHHGLQJVRI WK(XURSHDQ6LPXODWLRQDQG0RGHOOLQJ&RQIHUHQFH (60 2FWREHU+ROLGD\,QQ/HLFHVWHU8QLWHG.LQJGRP . . LLL .
(36) 5pVXPp /HV PpWKRGHV G¶LQJpQLHULH GLULJpH SDU PRGqOH GHV V\VWqPHV WHOOHV TXH OD VLPXODWLRQ O¶DQDO\VH IRUPHOOH HW O¶pPXODWLRQ RQW pWp LQWHQVLYHPHQW XWLOLVpHV FHV GHUQLqUHV DQQpHV SRXU pWXGLHU HW SUpYRLU OHV SURSULpWpV HW OHV FRPSRUWHPHQWV GHV V\VWqPHV FRPSOH[HV /HV UpVXOWDWV GH FHV DQDO\VHV UpYqOHQW GHV FRQQDLVVDQFHV TXL SHXYHQW DPpOLRUHU OD FRPSUpKHQVLRQ G¶XQ V\VWqPH H[LVWDQW RX VRXWHQLU XQ SURFHVVXV GH FRQFHSWLRQ GH PDQLqUH j pYLWHU GHV HUUHXUV FRXWHXVHV HW FDWDVWURSKLTXHV
(37) TXLSRXUUDLHQWVHSURGXLUHGDQV OHV\VWqPH/HVUpSRQVHVjFHUWDLQHVTXHVWLRQV TXHO¶RQVHSRVHVXUXQV\VWqPHVRQWJpQpUDOHPHQWREWHQXHVHQXWLOLVDQWGHVPpWKRGHVG¶DQDO\VH VSpFLILTXHV SDU H[HPSOH OHV SHUIRUPDQFHV HW OHV FRPSRUWHPHQWV G¶XQ V\VWqPH SHXYHQW rWUH pWXGLpV GH IDoRQ HIILFDFH GDQV FHUWDLQV FDGUHV H[SpULPHQWDX[ HQ XWLOLVDQW XQH PpWKRGH DSSURSULpHGHVLPXODWLRQ'HIDoRQVLPLODLUHODYpULILFDWLRQGHSURSULpWpVWHOOHVTXHODYLYDFLWp ODVpFXULWpHWO¶pTXLWpVRQWPLHX[pWXGLpHVHQXWLOLVDQWGHVPpWKRGHVIRUPHOOHVDSSURSULpHVWDQGLV TXH OHV PpWKRGRORJLHV G¶pPXODWLRQ SHXYHQW rWUH XWLOLVpHV SRXU YpULILHU GHV K\SRWKqVHV WHPSRUHOOHVHWGHV DFWLYLWpVHW FRPSRUWHPHQWVLPSOLTXDQWGHVLQWHUDFWLRQVKXPDLQHV'RQFXQH pWXGH H[KDXVWLYH G¶XQ V\VWqPH FRPSOH[H RX PrPH G¶DSSDUHQFH VLPSOH
(38) QpFHVVLWH VRXYHQW O¶XWLOLVDWLRQ GH SOXVLHXUV PpWKRGHV G¶DQDO\VH SRXU SURGXLUH GHV UpSRQVHV FRPSOpPHQWDLUHV DX[ SUREDEOHVTXHVWLRQV 1XOGRXWHTXHODFRPELQDLVRQGHPXOWLSOHVPpWKRGHVG¶DQDO\VHRIIUHSOXV GHSRVVLELOLWpVHWGHULJXHXUSRXUDQDO\VHUXQV\VWqPHTXHQHSHXWOHIDLUHFKDFXQHGHVPpWKRGHV SULVH LQGLYLGXHOOHPHQW 6L FHW H[HUFLFH GH FRPELQDLVRQ
(39) SHUPHW G¶DOOHU YHUV XQH FRQQDLVVDQFH SUHVTXH
(40) FRPSOqWH GHV V\VWqPHV FRPSOH[HV VRQ DGRSWLRQ SUDWLTXH QH YD SDV GH SDLU DYHF OHV DYDQFpHV WKpRULTXHV HQ PDWLqUH GH IRUPDOLVPHV HW G¶DOJRULWKPHV pYROXpV TXL UpVXOWHQW GH GpFHQQLHV GH UHFKHUFKH SDU OHV SUDWLFLHQV GHV GLIIpUHQWHV PpWKRGHV &H GpILFLW SHXW V¶H[SOLTXHU SDUOHVFRPSpWHQFHVPDWKpPDWLTXHVUHTXLVHVSRXUXWLOLVHUFHVIRUPDOLVPHVHQFRPELQDLVRQDYHF ODIDLEOHSRUWDELOLWpGHVPRGqOHVHQWUHOHVRXWLOVGHVGLIIpUHQWHVPpWKRGHV&HWWHGHUQLqUHH[LJHQFH UHQG QpFHVVDLUH OD WkFKH KHUFXOpHQQH GH FUpHU HW GH JpUHU SOXVLHXUV PRGqOHV GX PrPH V\VWqPH GDQVGLIIpUHQWVIRUPDOLVPHVHWSRXUGLIIpUHQWVW\SHVG¶DQDO\VH8QDXWUHIDFWHXUEORTXDQWHVWTXH OD SOXSDUW GHV HQYLURQQHPHQWV G¶DQDO\VH VRQW GpGLpV j XQH PpWKRGH G¶DQDO\VH VSpFLILTXH LH VLPXODWLRQ RX DQDO\VH IRUPHOOH RX pPXODWLRQ
(41) HW VRQW JpQpUDOHPHQW GLIILFLOHV j pWHQGUH SRXU UpDOLVHU G¶DXWUHV W\SHV G¶DQDO\VH $LQVL XQH YDVWH FRQQDLVVDQFH GH IRUPDOLVPHV VXSSRUWDQW OD PXOWLWXGH GH PpWKRGHV G¶DQDO\VH HVW UHTXLVH SRXU SRXYRLU FUpHU OHV GLIIpUHQWV PRGqOHV QpFHVVDLUHV PDLV VXUWRXW XQ SUREOqPH GH FRKpUHQFH VH SRVH ORUVTX¶LO IDXGUD PHWWUH j MRXU VpSDUpPHQWFHVPRGqOHVORUVTXHFHUWDLQHVSDUWLHVGXV\VWqPHFKDQJHQW/DFRQWULEXWLRQGHFHWWH WKqVH HVW G¶DOOpJHU OHV FKDUJHV G¶XQ XWLOLVDWHXU GH PpWKRGHV G DQDO\VH PXOWLSOHV GDQV VD TXrWH G¶H[KDXVWLYLWpGDQVO¶pWXGHGHVV\VWqPHVFRPSOH[HVJUkFHjXQFDGUHTXLXWLOLVHOHVWHFKQRORJLHV G¶,QJpQLHULH 'LULJpH SDU OHV 0RGqOHV ,'0
(42) SRXU IpGpUHU OD VLPXODWLRQ O¶DQDO\VH IRUPHOOH HW O¶pPXODWLRQ&HFLHVWUHQGXSRVVLEOHJUkFHjODGpILQLWLRQG¶XQODQJDJHGHVSpFLILFDWLRQXQLILpGH KDXW QLYHDX VXSSRUWp SDU GHV FDSDFLWpV GH V\QWKqVH DXWRPDWLTXHV G¶DUWpIDFWV UHTXLV SDU OHV GLIIpUHQWHV PpWKRGHV G¶DQDO\VH (Q IDLW FH WUDYDLO GH WKqVH SURSRVH TXDWUH FRQWULEXWLRQV PDMHXUHV TXL VRQW L
(43) XQ FDGUH RSpUDWLRQQHO TXL XWLOLVH O¶$UFKLWHFWXUH 'LULJpH SDU OHV 0RGqOHV LY .
(44) $'0
(45) SRXU VXSSRUWHU FH IRUPDOLVPH GH KDXW QLYHDX LL
(46) O¶LQWpJUDWLRQ GH FRQFHSWV G¶KRUL]RQV PXOWLSOHV SRXU FUpHU XQ PpWDPRGqOH FRPPXQ TXL XQLILH OD VLPXODWLRQ O¶DQDO\VH IRUPHOOH HW O¶pPXODWLRQHWTXLGpILQLWODV\QWD[HDEVWUDLWHGHFHIRUPDOLVPHLLL
(47) GHVUqJOHVGHWUDQVIRUPDWLRQ SRXUODV\QWKqVHDXWRPDWLTXHG¶DUWpIDFWVjGHVWLQDWLRQGHODVLPXODWLRQGHO¶DQDO\VHIRUPHOOHHW GHO¶pPXODWLRQjSDUWLUGHWRXWPRGqOHGHV\VWqPHDFFRPSDJQpG¶XQPRGqOHGHVHVH[LJHQFHVHW LY
(48) XQGRPDLQHVpPDQWLTXHSRXUO¶pPXODWLRQGHV V\VWqPHV jpYqQHPHQWV GLVFUHWV7RXWDX ORQJ GHODWKqVHXQFDVG¶pFROHGHGLVWULEXWLRQDXWRPDWLTXHGHERLVVRQHVWXWLOLVpFRPPHH[HPSOH 8Q FDGUH RSpUDWLRQQHO TXL XWLOLVH O $UFKLWHFWXUH 'LULJpH SDU OHV 0RGqOHV $'0
(49) O DSSOLFDWLRQ GH O¶$'0 SRXU OH GpYHORSSHPHQW GH ORJLFLHOV D HQUHJLVWUp GHV DYDQWDJHV LPSRUWDQWV WHOV TXH OD UpGXFWLRQ GX WHPSV HW GHV HIIRUWV GH FRGDJH OD V\QWKqVH DXWRPDWLVpH GH FRGH VDQV HUUHXU HW O DXJPHQWDWLRQ GHV SHUIRUPDQFHV 3RXU UHSURGXLUH FHV DYDQWDJHV GDQV OH SURFHVVXVGHPRGpOLVDWLRQPXOWLDQDO\VHGHVV\VWqPHVFRPSOH[HVQRXVSURSRVRQVXQFDGUHTXL UHIOqWH O¶DUFKLWHFWXUH $'0 HQ JpQpUDQW GHV PRGqOHV SRXU OHV GLIIpUHQWHV PpWKRGHV G DQDO\VH j SDUWLU G XQ PRGqOH GH UpIpUHQFH TXL HVW LQGpSHQGDQW GH FHV PpWKRGHV $YHF FHWWH DSSURFKH OH PRGpOLVDWHXUGRLWVHXOHPHQWVHSUpRFFXSHUGHODVSpFLILFDWLRQFRUUHFWHGXPRGqOHGHUpIpUHQFH WDQGLV TXH OHV DUWHIDFWV QpFHVVDLUHV SRXU FKDFXQH GHV PpWKRGHV G DQDO\VH SHXYHQW rWUH JpQpUpV DYHF SHX G HIIRUWV 3DU FHWWH DSSURFKH O H[SHUW GX GRPDLQH HVW GpFKDUJp HQ JUDQGH SDUWLH GH O HIIRUW GX WHPSV HW GH OD ULJXHXU PDWKpPDWLTXH UHTXLVH SRXU VSpFLILHU HW PHWWUH j MRXU
(50) GHV PRGqOHVSRXUFKDFXQHGHVPpWKRGHV / LQWpJUDWLRQ GHV FRQFHSWV G¶KRUL]RQV PXOWLSOHV SRXU FUpHU XQ PpWDPRGqOH XQLILFDWHXU O¶LQJpQLHULH GHV ODQJDJHV HVW O XQH GHV SLHUUHV DQJXODLUHV GH O¶,'0 /HV FKHUFKHXUV GDQV FH GRPDLQHRQWSURSRVpGHVWHFKQLTXHVSRXULQWpJUHUGLIIpUHQWVODQJDJHVHQXQQRXYHDXODQJDJHFH VRXVFHUWDLQHVFLUFRQVWDQFHVDSSURSULpHV O LQWpJUDWLRQGHGLIIpUHQWHVPpWDPRGqOHVSRXUSURGXLUH XQQRXYHDXPpWDPRGqOHFRKpUHQWHVWG XQLQWpUrWSDUWLFXOLHUGDQVFHFRQWH[WH'DQVFHWWHWKqVH QRXV XWLOLVRQV FHUWDLQHV GH FHV WHFKQLTXHV SRXU LQWpJUHU GHV FRQFHSWV LVVXV GH OD WKpRULH GHV V\VWqPHVHWGXJpQLHORJLFLHO/HODQJDJHXQLILpUpVXOWDQWHVWDVVH]H[SUHVVLISRXUVHUYLUGHQR\DX j QRWUH FDGUH RSpUDWLRQQHO HW SHUPHWWUH OD JpQpUDWLRQ DXWRPDWLTXH GHV DUWHIDFWV GHVWLQpV UHVSHFWLYHPHQWjODVLPXODWLRQjO¶DQDO\VHIRUPHOOHHWjO¶pPXODWLRQ 'HV UqJOHV GH WUDQVIRUPDWLRQ SRXU OD V\QWKqVH DXWRPDWLTXH G¶DUWpIDFWV HQ XWLOLVDQW OHV WHFKQLTXHV GH O¶,'0 SDUWLFXOLqUHPHQW OHV WHFKQLTXHV GH WUDQVIRUPDWLRQ GH PRGqOHV QRXV GpILQLVVRQVOHVVpPDQWLTXHVGXODQJDJHXQLILpFRQVWUXLWHQSURMHWDQWVRQPpWDPRGqOHGDQVGHV GRPDLQHV VpPDQWLTXHV FRUUHVSRQGDQW j GHV IRUPDOLVPHV DGpTXDWV UHVSHFWLYHPHQW SRXU OD VLPXODWLRQO¶DQDO\VHIRUPHOOHHWO¶pPXODWLRQ&HIDLVDQWQRXVUHQGRQVODV\QWKqVHDXWRPDWLTXH GHVDUWpIDFWVUHTXLVSRVVLEOHV 8Q GRPDLQH VpPDQWLTXH SRXU O¶pPXODWLRQ GHV V\VWqPHV j pYqQHPHQWV GLVFUHWV FRQWUDLUHPHQW j OD VLPXODWLRQ HW j O¶DQDO\VH IRUPHOOH TXL EpQpILFLHQW WRXWHV OHV GHX[ GH IRUPDOLVPHV ELHQ GpILQLV V\QWD[H HW VpPDQWLTXH
(51) HW ELHQ DFFHSWpV SDU GH ODUJH FRPPXQDXWpV VFLHQWLILTXHVO¶pPXODWLRQQ¶DSDVXQJUDQGQLYHDXGHPDWXULWpGDQVO¶LQJpQLHULHGHVV\VWqPHVj pYqQHPHQWV GLVFUHWV /HV SUDWLTXHV FRXUDQWHV G¶pPXODWLRQ VRQW EDVpHV VXU 80/ 8QLILHG Y .
(52) 0RGHOLQJ/DQJXDJH
(53) 6\V0/ 6\VWHP0RGHOLQJ/DQJXDJH
(54) HWOHXUVSURILOV1RXVSURSRVRQVXQ FDGUHVpPDQWLTXHG¶pPXODWLRQSRXUOHVV\VWqPHVjpYqQHPHQWVGLVFUHWVTXLDGRSWHYUDLPHQWOHV FRQFHSWV GH OD WKpRULH GHV V\VWqPHV SRXU GpFULUH XQ V\VWqPH HW TXL IDLW XVDJH GH SDWURQV GH FRQFHSWLRQRULHQWpHREMHW. 0RWV FOpV ,QJpQLHULH 'LULJpH SDU OHV 0RGqOHV 6LP6WXGLR +L//6 6LPXODWLRQ $QDO\VH )RUPHOOH(PXODWLRQ'(96=/RJLTXH7HPSRUHOOH. /LVWHGHSXEOLFDWLRQV /HVDUWLFOHVVXLYDQWVVRQWGHVFRQWULEXWLRQVIDLWHVSHQGDQWFHWWHWKqVH $OL\X + 2 0DwJD 2 7UDRUp 0 .
(55) 7KH KLJK OHYHO ODQJXDJH IRU V\VWHP VSHFLILFDWLRQ $ PRGHOGULYHQ DSSURDFK WR V\VWHPV HQJLQHHULQJ ,QWHUQDWLRQDO -RXUQDO RI 0RGHOLQJ6LPXODWLRQDQG6FLHQWLILF&RPSXWLQJ
(56) 'MLWRJ , $OL\X + 2 7UDRUp 0 .
(57) 0XOWL3HUVSHFWLYH 0RGHOLQJ RI +HDOWKFDUH 6\VWHPV,QWHUQDWLRQDO-RXUQDORI3ULYDF\DQG+HDOWK,QIRUPDWLRQ0DQDJHPHQWLQSUHVV $OL\X + 2 7UDRUp 0 .
(58) ,QWHJUDWHG )UDPHZRUN IRU 0RGHO'ULYHQ 6\VWHPV (QJLQHHULQJ $ 5HVHDUFK 5RDGPDS ,Q 3URFHHGLQJV RI WKH 6SULQJ 6LPXODWLRQ 0XOWL &RQIHUHQFHV6SULQJ6LP S
(59) $SULO3DVDGHQD&$86$6&6,QWHUQDWLRQDO $OL\X + 2 7UDRUp 0 .
(60) 7RZDUG DQ ,QWHJUDWHG )UDPHZRUN IRU WKH 6LPXODWLRQ )RUPDO $QDO\VLV DQG (QDFWPHQW RI 'LVFUHWH (YHQW 6\VWHPV 0RGHOV ,Q 3URFHHGLQJV RI WKH :LQWHU 6LPXODWLRQ &RQIHUHQFH :6& SS
(61) 'HFHPEHU +XQWLQJWRQ%HDFK&$86$,(((3UHVV $OL\X + 2 7UDRUp 0 .
(62) 7RZDUGV D XQLILHG IUDPHZRUN IRU KROLVWLF VWXG\ DQG DQDO\VLV RI GLVFUHWH HYHQWV V\VWHPV ,Q 3URFHHGLQJV RI 7KH $867 ,QWHUQDWLRQDO &RQIHUHQFH RQ7HFKQRORJ\$867(&+ 2FWREHU$EXMD1LJHULD $OL\X + 2 0DwJD 2 7UDRUp 0 .
(63) $ IUDPHZRUN IRU GLVFUHWH HYHQWV V\VWHPV HQDFWPHQW,Q3URFHHGLQJVRI WK(XURSHDQ6LPXODWLRQDQG0RGHOLQJ&RQIHUHQFH(60 SS
(64) 2FWREHU/HLFHVWHU8.(8526,6(7, 0DwJD 2 $OL\X + 2 7UDRUp 0 .
(65) $ QHZ DSSURDFK WR PRGHOLQJ G\QDPLF VWUXFWXUHV\VWHPV,Q3URFHHGLQJVRI WK(XURSHDQ6LPXODWLRQDQG0RGHOLQJ&RQIHUHQFH (60 SS
(66) 2FWREHU/HLFHVWHU8.(8526,6(7, 'MLWRJ,$OL\X+27UDRUp0.
(67) 7RZDUGVDIUDPHZRUNIRUKROLVWLFDQDO\VLVRI KHDOWKFDUHV\VWHPV,Q3URFHHGLQJVRI WK(XURSHDQ6LPXODWLRQDQG0RGHOOLQJ&RQIHUHQFH (60 2FWREHU+ROLGD\,QQ/HLFHVWHU8QLWHG.LQJGRP . YL. .
(68) $FNQRZOHGJPHQWV5HPHUFLHPHQWV $OOSUDLVHVDUHGXHWR$OODKWKH$OPLJKW\WKH&UHDWRUDQG6XVWDLQHURIWKH:RUOGVIRUKDYLQJ EHHQVHHLQJPHWKURXJKLQDOOP\HQGHDYRUVDQGHVSHFLDOO\IRUJLYLQJPHWKHSULYLOHJHWRDWWDLQ WKLVQHZIHDWLQP\DFDGHPLFSXUVXLWV , DP JUHDWO\ LQGHEWHG WR PDQ\ SHRSOH ZKR KDYH KHOSHG PH LQ GLIIHUHQW FDSDFLWLHV GXULQJ P\ MRXUQH\WRREWDLQLQJWKH3K'GHJUHH7REHJLQZLWK,DPSURIRXQGO\JUDWHIXOWRP\VXSHUYLVRU 3URIHVVRU 0DPDGRX .DED 7UDRUp RI 8QLYHUVLWp %ODLVH 3DVFDO ZKR LQ DGGLWLRQ WR KLV H[FHOOHQW JXLGDQFH KLV FDUH DQG XQGHUVWDQGLQJ ZHUH VRPHWLPHV DOO WKDW KHOSHG WR PDLQWDLQ P\ IRFXV GXULQJWKHZRUNRQWKLVWKHVLV , ZRXOG OLNH WR WKDQN DOO PHPEHUV RI P\ WKHVLV FRPPLWWHH 3URIHVVRUV -HDQ3LHUUH 0OOHU RI 8QLYHUVLWp GH 0RQWSHOOLHU *UpJRU\ =DFKDUHZLFK RI 8QLYHUVLWp GH %RUGHDX[ 'DYLG +LOO RI 8QLYHUVLWp %ODLVH 3DVFDO +HQUL 3LHUUHYDO RI 8QLYHUVLWp %ODLVH 3DVFDO DQG $QGUHDV 7RON RI 0,75( &RUSRUDWLRQ 86$ IRU DFFHSWLQJ WR EH LQ P\ FRPPLWWHH DQG IRU WKHLU LQVSLULQJ FRPPHQWV GXULQJ P\ GHIHQVH 7KDQNV DOVR WR 3URI +DQV 9DQJKHOXZH RI WKH 8QLYHUVLW\ RI $QWZHUS%HOJLXPIRUKLVLQVLJKWIXOTXHVWLRQVGXULQJRXUGLVFXVVLRQVDW6SULQ6LP ZKLFKOHG WRWKHSURYLVLRQRIVXSSRUWIRUKLJKOHYHOVSHFLILFDWLRQRIUHTXLUHGSURSHUWLHVLQ+L//6 ,DPJUDWHIXOWRDOOPHPEHUVRIRXU*5H3UHVHDUFKJURXSIRUWKHLUFRQWULEXWLRQVWRWKHVXFFHVVRI P\ ZRUN 0DQ\ WKDQNV WR 2XPDU 0DwJD IRU WKH ZRQGHUIXO PRPHQWV ZH VKDUHG GXULQJ RXU VHYHUDOGLVFXVVLRQVRQWKHVSHFLILFDWLRQRI+L//6DQGIRUKHOSLQJZLWKWKH)UHQFKYHUVLRQRIWKH DEVWUDFW RI WKLV WKHVLV 7KDQNV WR ,JQDFH 'MLWRJ 6KDRZHL :DQJ <RXVVRXI .RQQp 'R\LQ $GHJRNH<RUR'LRXI.HKLQGH(OL$NH+DMDUDK$EGXO:DKDE+DPLGRX7RJR0RXVVD.RLWD +DZD %DGR $OSKD %D]HPR <DQ :DQJ DQG <DQKRQJ :DQJ IRU DOO WKHLU FRPPHQWV DQG LQVLJKWIXOTXHVWLRQVGXULQJRXUZHHNO\*5H3VHVVLRQV 7KH ORYH DQG LQYDOXDEOH VXSSRUWV UHFHLYHG IURP PHPEHUV RI P\ IDPLO\ KDYH DOZD\V EHHQ VLJQLILFDQWLQP\HQGHDYRUV,DPHVSHFLDOO\JUDWHIXOWRP\PRWKHUDQGVLVWHU6LGHHTRKIRUDOO WKHLUVDFULILFHVULJKWIURPWKHRQVHWWRVHHWRP\DFDGHPLFSXUVXLWV7KDQN\RXDOVR0DPDIRU HQGXULQJP\DEVHQFHGXULQJWKHSHULRGRIWKLVZRUN PD\$OODKJUDQW\RXDKHDOWK\ORQJOLIHWR HQMR\ WKH JRRG IUXLWV RI \RXU ODERU , DP DOVR YHU\ JUDWHIXO WR P\ ZLIH 0D UXIDK DQG VRQ $EGXU5DKPDQIRUVKDULQJP\DWWHQWLRQZLWKWKHWKHVLVZKLOHERRVWLQJP\PRUDOHDQGSUD\LQJ SDVVLRQDWHO\IRUP\VXFFHVV , DP SURIRXQGO\ JUDWHIXO WR WKH IULHQGV DQG FROOHDJXHV ZKRVH XQDOOR\HG VXSSRUWV DQG PDJQDQLPLWLHV KDYH KHOSHG WR NHHS PDQ\ WKLQJV LQ SODFH EHKLQG P\ EDFN 0DQ\ WKDQNV WR 0XVWDSKD0DJDML 5D]DT /DVLVL /XTPDQ $EGXO$]HH]4DVLP$GHR\H 0XUWDGKD ,EUDKLP0U 6KHILX*DQL\XDQG'U4DVLP6DODNR-D]DNXPXO/DDKXNKDHUDQ 7KLVZRUNZRXOGQRWKDYHEHHQSRVVLEOHZLWKRXWWKH3K'VFKRODUVKLSRIIHUHGPHE\WKH1LJHULDQ 1DWLRQDO,QIRUPDWLRQ7HFKQRORJ\'HYHORSPHQW $JHQF\ 1,7'$
(69) WKURXJKZKLFKWKHZRUNZDV IXOO\ VSRQVRUHG , DP SURIRXQGO\ JUDWHIXO WR WKH PDQDJHPHQW DQG VWDII RI 1,7'$ IRU DOZD\V YLL .
(70) UHVSRQGLQJWRP\ILQDQFLDOUHTXHVWVWKURXJKRXWWKHSHULRGRIZRUNLQJRQWKLVWKHVLV,DSSUHFLDWH WKH FRXUDJH DQG NLQGQHVV RI 'U .XQOH 2 %DEDOROD RI WKH 8QLYHUVLW\ RI ,ORULQ IRU DFFHSWLQJ WR VWDQGDVP\JXDUDQWRUWR1,7'$WRSDYHZD\IRUWKHUHOHDVHRIWKHJUDQW. +DP]DW2ODQUHZDMX$/,<8 'HFHPEHU &RQWDFW DOLODQUH#\DKRRFRP . . YLLL .
(71) 'HGLFDWLRQ 7RP\0RWKHU . . L[ .
(72) 7DEOHRI&RQWHQWV $EVWUDFWL .H\ZRUGV LLL /LVWRISXEOLFDWLRQVLLL 5pVXPpLY /LVWHGHSXEOLFDWLRQVYL $FNQRZOHGJPHQWV5HPHUFLHPHQWVYLL 'HGLFDWLRQL[ 7DEOHRI&RQWHQWV[ /LVWRI)LJXUHV[YLLL /LVWRI7DEOHV[[LL /LVWRI$FURQ\PV[[LLL. . . *(1(5$/,1752'8&7,21 . 02'(/'5,9(16<67(06(1*,1((5,1*. . 352%/(067$7(0(176. . 5(6($5&+48(67,216$1'027,9$7,216. . 7+(6,6&2175,%87,216. . 7+(6,6287/,1(. /,7(5$785(5(9,(: . ,1752'8&7,21. . 0(7+2'2/2*<63(&,),&$3352$&+(6. . '(968QLILHG3URFHVV '81,3
(73) . . &RPPXQLW\=7RROV &=7
(74) . 3$,5 :,6( ,17(*5$7,216 2) 0(7+2'2/2*<63(&,),& $3352$&+(6 . ='(96. . '(96&RPSLOHU. . &RQVWUDLQWV%DVHG'(96)UDPHZRUN ࣘ'(96
(75) [. .
(76) . '(96DQG7HPSRUDO/RJLFRI$FWLRQ '(967/$
(77) . . 3UR0R%R[. . 0RGHO'ULYHQ'HYHORSPHQWIRU0RGHOLQJDQG6LPXODWLRQ 0''06
(78) . . +RPRPRUSKLF([WHQVLRQRI)RUPDO$QDO\VLV0RGHOIRU6LPXODWLRQ. . . &21&/86,21. . /HVVRQV/HDUQHG. . 3HUVSHFWLYHV. %$&.*5281' . ,1752'8&7,21. . 0'6()250$/,606. . 7KH%HYHUDJH9HQGLQJ6\VWHP $5XQQLQJ([DPSOH. . 'LVFUHWH(YHQW6\VWHP6SHFLILFDWLRQ '(96
(79) . . '(96DWRPLFPRGHO $0
(80) . . '(96FRXSOHGPRGHO &0
(81) . . '(96VSHFLILFDWLRQRIWKHEHYHUDJHYHQGLQJV\VWHP. . %HYHUDJHYHQGLQJPDFKLQH %90
(82) D'(96DWRPLFPRGHO. . %HYHUDJHYHQGLQJPDFKLQHXVHU 8
(83) D'(96DWRPLFPRGHO. . %HYHUDJHYHQGLQJV\VWHP %96
(84) D'(96FRXSOHGPRGHO. . =/DQJXDJH. . %DVLFW\SHGHILQLWLRQ. . )UHHW\SHGHILQLWLRQ. . $[LRPDWLFGHILQLWLRQ . . 6WDWHVFKHPD. . 2SHUDWLRQVFKHPD. . =VFKHPDFDOFXOXV. . 2EMHFW=. . 7HPSRUDO/RJLF. . /LQHDU7HPSRUDO/RJLF. . &RPSXWDWLRQ7UHH/RJLF [L. .
(85) . 3URSHUW\SDWWHUQVLQ7/. 6SHFLILFDWLRQ RI WKH %90 V GHVLJQ UHTXLUHPHQWV EDVHG RQ WKH 7/ SURSHUW\ SDWWHUQV . . 02'(/'5,9(1(1*,1((5,1*. . 0RGHO'ULYHQ$UFKLWHFWXUH. . 2WKHU0'(LQLWLDWLYHV. . 0HWD
(86) 0RGHOLQJ. . 0RGHOLQJ. . 0HWDPRGHOLQJ. . (FRUHPHWDPRGHOLQJODQJXDJH. . 0HWDPRGHOFRPSRVLWLRQWHFKQLTXHV . . . 0RGHO7UDQVIRUPDWLRQ . 0HJDPRGHOLQJ . . 'HILQLWLRQ . . $SSOLFDWLRQVXVHVRIPHJDPRGHOV . . )RUPDOGHVFULSWLRQRIPHJDPRGHOLQJFRQFHSWV . . (OHPHQW2IUHODWLRQ . . 5HSUHVHQWDWLRQ2IUHODWLRQ . . &RQIRUPV7RUHODWLRQ . . 'HFRPSRVHG,QUHODWLRQ . . 7UDQVIRUPDWLRQUHODWLRQV . . (/(0(1762)$/$1*8$*(63(&,),&$7,21 . . $EVWUDFW6\QWD[ . . &RQFUHWH6\QWD[DQG6\QWD[0DSSLQJ . . 6HPDQWLFV6HPDQWLFV'RPDLQDQG6HPDQWLFV0DSSLQJ . . 6HPDQWLFV'HVFULSWLRQ0HWKRGV . . 2SHUDWLRQDOVHPDQWLFV. . 'HQRWDWLRQDOVHPDQWLFV. . $[LRPDWLFVHPDQWLFV [LL. .
(87) . . 7UDQVODWLRQDOVHPDQWLFV. &21&/86,21. 6,0678',2 ,, $1 ,17(*5$7,9( )5$0(:25. )25 02'(/'5,9(16<67(06(1*,1((5,1* . ,1752'8&7,21. . (92/87,212)7+(6,0678',2352-(&7. . 7KH6LP6WXGLR0DQLIHVWR. . $3UHYLRXV7KHVLVRQ6LP6WXGLR. . 7+(6,0678',2,,$3352$&+ . . 0'6(0HWKRGRORJ\,QWHJUDWLRQ$SSURDFKLQ6LP6WXGLR,, . . )XQFWLRQDO5HTXLUHPHQWVRI6LP6WXGLR,,. . 6,0678',2,,$5&+,7(&785(. . 0RGHOZDUH$UWLIDFWVLQ6LP6WXGLR,,. . 'RFXPHQWZDUH$UWLIDFWVLQ6LP6WXGLR,,. . *UDPPDUZDUH$UWLIDFWVLQ6LP6WXGLR,,. . ([HFXWDEOHPRGHOV. . 7UDQVIRUPDWLRQPRGHOV. . 6,0678',2,,352&(6602'(/. . )RUPDO$QDO\VLV$FWLYLW\. . 6LPXODWLRQ$FWLYLW\. . (QDFWPHQW$FWLYLW\. . &21&/86,21. $ '(96%$6(' (1$&70(17 )5$0(:25. )25 ',6&5(7((9(176<67(06 . ,1752'8&7,21. . '(96%$6('(1$&70(17)250$/,60. . 29(59,(:2)2%-(&725,(17(''(6,*13$77(516. . 2EVHUYHU'HVLJQ3DWWHUQ [LLL. .
(88) . &RPPDQG'HVLJQ3DWWHUQ. . 2EVHUYHU3DWWHUQZLWK$V\QFKURQRXV1RWLILFDWLRQVIRU'(6(QDFWPHQW. . (1$&70(17)5$0(:25.)25'(6 . . 0HWDPRGHORIWKH)UDPHZRUN . . (QDFWPHQW3URWRFRO. . $Q,PSOHPHQWDWLRQRIWKH(QDFWPHQW)UDPHZRUN. . &ODVV3RUW>7@. . &ODVV$EVWUDFW6\VWHP. . &ODVV&ORFN. . &ODVV$EVWUDFW$WRPLF6\VWHP. . &ODVV$EVWUDFW&RXSOHG6\VWHP. . (1$&70(172)7+(%(9(5$*(9(1',1*6<67(0. . . %90HQDFWPHQWPRGHO. . %908VHUHQDFWPHQWPRGHO. . %96HQDFWPHQWPRGHO. . (QDFWPHQW([HFXWLRQDQG(QDFWPHQW7UDFHV. . ,QLWLDOL]DWLRQRIWKHHQDFWPHQWSURFHVV. . ([HFXWLRQWUDFHV. . . (QDFWPHQW0RGHOVRIWKH%HYHUDJH9HQGLQJ6\VWHP. &21&/86,21. +L//6 6<17$; . ,1752'8&7,21. . +L//6 $%675$&76<17$;. . 6\VWHP7KHRUHWLF&RQFHSWV$GRSWHGIURP'(96. . 6RIWZDUH(QJLQHHULQJ&RQFHSWV$GRSWHGIURP2EMHFW=. . 0HWDPRGHORI7/3URSHUW\3DWWHUQV. . 'HULYDWLRQRIWKH+L//6 0HWDPRGHO . . ,QWHJUDWLRQRI6\VWHP0RGHOLQJ&RQFHSWVLQ+L//60HWDPRGHO [LY. .
(89) ,QWHJUDWLRQ RI 6\VWHP DQG 5HTXLUHPHQW 0RGHOLQJ &RQFHSWV LQ +L//6 0HWDPRGHO. . +L//6 &21&5(7(6<17$;. . &RQFUHWH1RWDWLRQVIRU6\VWHP6SHFLILFDWLRQ. . &RQFUHWH1RWDWLRQVIRU5HTXLUHPHQW6SHFLILFDWLRQ . . 3URSHUW\VFRSHQRWDWLRQV. . 3URSHUW\SDWWHUQQRWDWLRQV. . +L//663(&,),&$7,212)7+(%96. . +L//6VSHFLILFDWLRQRI%90. . +L//66SHFLILFDWLRQRI%905HTXLUHPHQW. 7HPSRUDOSURSHUW\, %90PXVWQRWGLVSHQVHXQOHVVHQRXJKFRLQVDUHLQVHUWHG WRSD\IRUDVHOHFWHGGULQN 7HPSRUDO SURSHUW\ ,, %90 VKRXOG DOZD\V UHIXQG WKH EDODQFH ZKHQHYHU H[FHVVFRLQVDUHLQVHUWHG 7HPSRUDO SURSHUW\ ,, 2QFH WKH SD\PHQW IRU D GULQN LV FRPSOHWH WKH WUDQVDFWLRQFDQQRWEHFDQFHOHGDQ\ORQJHU . +L//66SHFLILFDWLRQRI%908VHU . . %96 6WUXFWXUHDQG%90 V5HTXLUHPHQWV . . . %90UHTXLUHPHQWV . &21&/86,21 . +L//6 6(0$17,&6 . ,1752'8&7,21 . . 6,08/$7,216(0$17,&6 . . '(960HWDPRGHO . . +L//6WR'(960DSSLQJ. . &RUUHVSRQGHQFHVEHWZHHQWKH+L//6DQG'(966SHFLILFDWLRQVRIWKH%96. . /2*,&$/6(0$17,&6. . =0HWDPRGHO. . +L//6WR=0DSSLQJ [Y. .
(90) . 0DSSLQJ+&ODVVWR=VSHFLILFDWLRQ. . 0DSSLQJ+&ODVV VWDWHVFKHPDVDQGRSHUDWLRQVWR=VFKHPDV. . 0DSSLQJ+6\VWHPWR=VSHFLILFDWLRQ. . 0DSSLQJ+6\VWHP VVWDWHVSDFHWR=VFKHPDV. . 0DSSLQJ+6\VWHP VLQWHUQDOFRQILJXUDWLRQWUDQVLWLRQVWR=RSHUDWLRQVFKHPDV . . 0DSSLQJ+6\VWHP VH[WHUQDOFRQILJXUDWLRQWUDQVLWLRQVWR=RSHUDWLRQVFKHPDV . . . +L//65HTXLUHPHQWWR7HPSRUDO/RJLF. (1$&70(17 (;(&87,21
(91) 6(0$17,&6. . (QDFWPHQW6HPDQWLFVRI+L//6&RPSRVLWH+6\VWHP. . &RGH JHQHUDWRU IUDJPHQW IRU UHTXLUHG SDFNDJHVFRPSRQHQWVDQG FRQVWUXFWRU . . &RGHJHQHUDWRUIUDJPHQWIRUSRUWVDQGFRPSRQHQWVUHJLVWUDWLRQV . . &RGHJHQHUDWRUIUDJPHQWIRUFRXSOLQJUHJLVWUDWLRQV. . 5HODWLRQVEHWZHHQWKHHOHPHQWVRIWKH+L//6DQGHQDFWPHQWPRGHOVRIWKH%96 . . (QDFWPHQW6HPDQWLFVRI+L//6$WRPLF+6\VWHP. &RGH JHQHUDWRU IUDJPHQW IRU DQ DWRPLF V\VWHP FODVV LWV VWDWH VSDFH DQG UHTXLUHGSDFNDJHV . &RGHJHQHUDWRUIUDJPHQWIRUSRUWUHJLVWUDWLRQLQDQDWRPLFV\VWHP. &RGH JHQHUDWRU IUDJPHQW IRU WLPH DGYDQFH DQG V\VWHP LQLWLDOL]DWLRQ LQ DQ DWRPLFV\VWHP FODVV. &RGH JHQHUDWRU VHJPHQWV IRU VWDWH WUDQVLWLRQ IXQFWLRQV RI DQ DWRPLF V\VWHP . FODVV. &RGHJHQHUDWRUVHJPHQWVIRURXWSXWDQGDFWLYLW\IXQFWLRQVRIDQDWRPLFV\VWHP . FODVV. &RGHJHQHUDWRUVHJPHQWVIRURXWSXWDQGDFWLYLW\IXQFWLRQVRIDQDWRPLFV\VWHP . . . (QDFWPHQW6HPDQWLFVRI+L//6+&ODVV. &21&/86,21 [YL. .
(92) . *(1(5$/&21&/86,216 . 6800$5<2)7+(7+(6,6. . 3UREOHPV$GGUHVVHGDQG5HVHDUFK4XHVWLRQV. . /DFNRI UHTXLVLWHORJLFDQGPDWKHPDWLFDOVNLOOV WRGHDO ZLWKPRVW IRUPDOLVPV . /LWWOH FKDQFHV RI SRUWDELOLW\ RI PRGHOV EHWZHHQ FRPSXWDWLRQDO DQDO\VLV PHWKRGRORJLHV . /LWWOHFRH[LVWHQFHRIGLVSDUDWHPHWKRGRORJLHVLQWKHVDPHHQYLURQPHQW. &RQWULEXWLRQVRIWKH7KHVLV. $ PXOWLOD\HUHG IUDPHZRUN WKDW HPXODWHV WKH 0RGHO'ULYHQ $UFKLWHFWXUH 0'$
(93) E\GHILQLQJDXQLILHGPRGHOVSHFLILFDWLRQOD\HURQWRSRIWKHOD\HUVFRQWDLQLQJWKH VSHFLILFDQDO\VLVPHWKRGRORJLHV . $SUHOLPLQDU\IUDPHZRUNIRUWKHHQDFWPHQWRI'(6 . $KLJKOHYHOODQJXDJHZKRVHV\QWD[XQLIRUPO\FRPELQHVWKH'(6FRQFHSWVIRU VLPXODWLRQ)0DQGHQDFWPHQWWRVXSSRUWWKHVSHFLILFDWLRQRIXQLILHGPRGHOVIRUWKHWKUHH PHWKRGRORJLHV )RUPDO PDSSLQJV RI +L//6 FRQFHSWV WR VLPXODWLRQ )0 DQG HQDFWPHQW VHPDQWLFVGRPDLQV. . 3(563(&7,9(6 $SSHQGL[$ -DYD,PSOHPHQWDWLRQRIWKH'(96%DVHG(QDFWPHQW)UDPHZRUN $SSHQGL[% (QDFWPHQWWUDFHVRIWKH%96 %LEOLRJUDSK\ . . . [YLL .
(94) /LVWRI)LJXUHV )LJXUH0'6(PHWKRGRORJ\ )LJXUH$Q0'$OLNHLQWHJUDWLYH0'6(IUDPHZRUN )LJXUH6FKHPDWLFLOOXVWUDWLRQRILVRODWHG0'6(SUDFWLFHV )LJXUH6FKHPDWLFLOOXVWUDWLRQRIWKHEHYHUDJHYHQGLQJV\VWHP )LJXUH6FKHPDWLFLOOXVWUDWLRQRIKLHUDUFKLFDOGHVFULSWLRQRIV\VWHPVZLWK'(96 )LJXUH7HPSODWHVIRU=D[LRPDWLFGHILQLWLRQ )LJXUH$VDPSOHD[LRPDWLFGHILQLWLRQLQWKH%90VSHFLILFDWLRQ )LJXUH=VWDWHVFKHPDWHPSODWHV )LJXUH6WDWHVSDFHRIWKHEHYHUDJHYHQGLQJPDFKLQH )LJXUH,QLWLDOVWDWHRI%90 )LJXUH7HPSODWHVIRU=RSHUDWLRQVFKHPD )LJXUH ,QWHUQDOVWDWHWUDQVLWLRQRSHUDWLRQVRIWKH%90 )LJXUH([WHUQDOWUDQVLWLRQRSHUDWLRQVRIWKH%90 )LJXUH&RQIOXHQWWUDQVLWLRQRSHUDWLRQVRI%90 )LJXUH2XWSXWRSHUDWLRQVRI%90 )LJXUH6\QWDFWLFVWUXFWXUHRIFODVVVFKHPD )LJXUH6\QWDFWLFVWUXFWXUHRI2EMHFW=RSHUDWLRQ )LJXUH2EMHFW=VSHFLILFDWLRQRIWKH%90 )LJXUH7HPSRUDOSURSHUW\VSHFLILFDWLRQSDWWHUQV>'$& '$& @ )LJXUH0RGHODVDQDEVWUDFWUHSUHVHQWDWLRQRIDV\VWHPIRUDSXUSRVH )LJXUH0HWDL]DWLRQYLHZSRLQW )LJXUH 0HWDL]DWLRQYLHZSRLQWVRIWHFKQRORJLFDOVSDFHV )LJXUH$VLPSOLILHG(FRUHNHUQHO )LJXUH0HWDPRGHOFRPSRVLWLRQWHFKQLTXHV )LJXUH0HJDPRGHOHOHPHQW2IUHODWLRQ )LJXUH0HJDPRGHOUHSUHVHQWDWLRQ2IUHODWLRQ )LJXUH0HJDPRGHOFRQIRUPV7RUHODWLRQ )LJXUH0HJDPRGHOGHFRPSRVHG,QUHODWLRQ [YLLL .
(95) )LJXUH0HJDPRGHOSDWWHUQIRUPRGHOWUDQVIRUPDWLRQ )LJXUH(OHPHQWVRIDODQJXDJHVSHFLILFDWLRQ )LJXUH6LP6WXGLRDUFKLWHFWXUH H[FHUSWHGIURP>7RX77+@
(96) )LJXUH6LP6WXGLR,,PHWKRGRORJ\ )LJXUH)XQFWLRQDOUHTXLUHPHQWVRI6LP6WXGLR,, )LJXUH0HJDPRGHORIWKH6LP6WXGLR,,IUDPHZRUN )LJXUH0'6(ZRUNIORZLQ6LP6WXGLR,, )LJXUH2EVHUYHUGHVLJQSDWWHUQ )LJXUH&RPPDQGGHVLJQSDWWHUQ )LJXUH2EVHUYHUGHVLJQSDWWHUQZLWKDV\QFKURQRXVQRWLILFDWLRQV )LJXUH0HWDPRGHORID'(9EDVHGHQDFWPHQWIUDPHZRUNIRU'(6 )LJXUH(QDFWPHQWSURWRFROIRUDWRPLFV\VWHPPRGHOV )LJXUH3DFNDJHGLDJUDPIRUD-DYDLPSOHPHQWDWLRQRIWKHHQDFWPHQWIUDPHZRUN )LJXUH-DYDLPSOHPHQWDWLRQRIJHQHULFFODVV3RUW )LJXUH-DYDLPSOHPHQWDWLRQRIFODVV$EVWUDFW6\VWHP )LJXUH $-DYDLPSOHPHQWDWLRQRI&ORFNFODVV )LJXUH$-DYDLPSOHPHQWDWLRQRIFODVV$EVWUDFW$WRPLF6\VWHP )LJXUH$-DYDLPSOHPHQWDWLRQRIFODVV$EVWUDFW&RXSOHG6\VWHP )LJXUH(QDFWPHQWPRGHO FRGH
(97) RIWKH%90 )LJXUH(QDFWPHQWPRGHO H[HFXWDEOHFRGH
(98) RIWKH%90 VXVHU )LJXUH(QDFWPHQWPRGHORIWKH%96 )LJXUH,QLWLDOL]DWLRQRIWKHHQDFWPHQWSURFHVVRIWKH%96 )LJXUH(QDFWPHQWWUDFHVRIWKH%96 ([FHUSW$ )LJXUH(QDFWPHQWWUDFHVRIWKH%96 ([FHUSW% )LJXUH%XLOGXSWR+L//6 DEVWUDFWV\QWD[ )LJXUH0HWDPRGHORIV\VWHPWKHRUHWLFFRQFHSWVDGRSWHGIURP'(96 )LJXUH6LPSOLILHG2EMHFW=PHWDPRGHO )LJXUH0HWDPRGHORI'Z\HU V7/SURSHUW\SDWWHUQV )LJXUH,QWHUIDFLQJWKH'(96EDVHGDQG2EMHFW=FRQFHSWVLQ+L//6PHWDPRGHO [L[ .
(99) )LJXUH5HRUJDQL]DWLRQRIFRQFHSWVDQGPDUNLQJRIDEVWUDFWFRQFHSWVIRUUHILQHPHQW )LJXUH5HILQHPHQWRIHVVHQWLDOV\VWHPPRGHOLQJFRQFHSWVLQ+L//6PHWDPRGHO )LJXUH(VVHQWLDOHOHPHQWVLQ+L//6PHWDPRGHO )LJXUH 6WDWLFFRQVWUDLQWVRQWKH+L//6PHWDPRGHO )LJXUH5HTXLUHPHQWQRWDWLRQ )LJXUH*HQHULFDQGDUELWUDU\FRQILJXUDWLRQQRWDWLRQV )LJXUH+L//6PRGHORIWKH%90 )LJXUH+L//6QRWDWLRQIRUSURSHUW\67SUHFHGH5JOREDOO\ )LJXUH+L//6VSHFLILFDWLRQRIWHPSRUDOSURSHUW\,RI%90 )LJXUH+L//6UHSUHVHQWDWLRQRIWHPSRUDOSURSHUW\5UHVSRQGVWR6JOREDOO\ )LJXUH+L//6VSHFLILFDWLRQRIWHPSRUDOSURSHUW\,,RI%90 )LJXUH+L//6WHPSODWHIRUWHPSRUDOSURSHUW\6LVDEVHQWDIWHU5 )LJXUH+L//6VSHFLILFDWLRQRIWHPSRUDOSURSHUW\,,,RI%90 )LJXUH +L//6PRGHORI%90 VUHTXLUHPHQWV )LJXUH+L//6VSHFLILFDWLRQRI%908VHU )LJXUH+L//6PRGHORI%96 )LJXUH6HPDQWLFVIUDPHZRUNRI+L//6 )LJXUH'(96PHWDPRGHODQGVWDWLFFRQVWUDLQWV>$07@ )LJXUH0DSSLQJUXOHVRI+L//6FRQFHSWVWR$WRPLF'(96FRQFHSWV>$07@ )LJXUH0DSSLQJ+L//6FRQILJXUDWLRQWUDQVLWLRQVWR'(96SKDVHWUDQVLWLRQV>$07@ )LJXUH0DSSLQJUXOHVRI+L//6FRQFHSWVWR&RXSOHG'(96FRQFHSWVSDUW>$07@ )LJXUH&RUUHVSRQGHQFHVEHWZHHQ+L//6DQG'(96PRGHOVRI%90 )LJXUH&RUUHVSRQGHQFHVEHWZHHQ+L//6DQG'(96PRGHOVRI%96 )LJXUH6LPSOLILHG=PHWDPRGHO )LJXUH +L//6+&ODVVWR=VSHFLILFDWLRQ )LJXUH 0DSSLQJ UXOHV IRU WUDQVODWLQJ +L//6 +&ODVV VWDWH VFKHPD WR = VWDWH VFKHPD DQG +L//6RSHUDWLRQWR=RSHUDWLRQVFKHPD )LJXUH0DSSLQJUXOHIRUWUDQVODWLQJ+L//6DWRPLF+6\VWHPWR=VSHFLILFDWLRQ )LJXUH 0DSSLQJUXOHWRWUDQVODWHWKHVWDWHVSDFHRID+L//6+6\WHPWRD=VWDWHDVFKHPD [[ .
(100) )LJXUH%90H[DPSOHRIWUDQVODWLRQRI+6\VWHP VVWDWHVSDFHWR=VWDWHVFKHPD )LJXUH0DSSLQJUXOHWRWUDQVODWH+L//6LQWHUQDOWUDQVLWLRQWR=VFKHPD )LJXUH%90H[DPSOHRIWKHWUDQVODWLRQRI+L//6LQWHUQDOWUDQVLWLRQWR= )LJXUH0DSSLQJUXOHWRWUDQVODWH+L//6H[WHUQDOWUDQVLWLRQWR=VFKHPD )LJXUH%90H[DPSOHRIWKHWUDQVODWLRQRI+L//6H[WHUQDOWUDQVLWLRQWR= )LJXUH7HPSODWHIRUFUHDWLQJFRXSOHG'(6PRGHOVIRUHQDFWPHQW )LJXUH &RGHJHQHUDWRUIRUFRXSOHGV\VWHPFODVVLWVSRUWVDQGFRPSRQHQWV )LJXUH&RGHJHQHUDWRUIRUSRUWVDQGFRPSRQHQWVUHJLVWUDWLRQV )LJXUH&RGHJHQHUDWRUIRUFRXSOLQJUHJLVWUDWLRQV )LJXUH&RUUHVSRQGHQFHVEHWZHHQ+L//6DQGHQDFWPHQWPRGHOVRIWKH%96 )LJXUH7HPSODWHIRUFUHDWLQJDWRPLFV\VWHPPRGHOVIRUHQDFWPHQW )LJXUH+L//6VSHFLILFDWLRQRIWKH%90 )LJXUH&RGHJHQHUDWRUVHJPHQWIRUDQDWRPLFV\VWHPDQGLWVVWDWHVSDFH )LJXUH $ VDPSOH VWDWH VSDFH DQG SRUW UHJLVWUDWLRQ FRGH RI DQ DWRPLF V\VWHP PRGHO IRU HQDFWPHQW )LJXUH&RGHJHQHUDWRUIUDJPHQWIRULQLWLDOL]DWLRQDQGWLPHDGYDQFHLQDWRPLFV\VWHP )LJXUH6DPSOHHQDFWPHQWFRGHIRUWLPHDGYDQFHDQGLQLWLDOVWDWHVSHFLILFDWLRQV )LJXUH &RGHJHQHUDWRUVHJPHQWVIRUVWDWHWUDQVLWLRQIXQFWLRQV )LJXUH 5HODWLRQVEHWZHHQWKHHQDFWPHQWFRGHIRULQWHUQDOVWDWHWUDQVLWLRQVLQ%90DQGLWV +L//6PRGHO )LJXUH&RGHJHQHUDWRUVHJPHQWVIRURXWSXWDQGDFWLYLW\IXQFWLRQV )LJXUH &RUUHVSRQGHQFHVEHWZHHQWKHHQDFWPHQWFRGHRIRXWSXWRSHUDWLRQVLQ%90DQGLWV +L//6PRGHO )LJXUH&RGHJHQHUDWRUVHJPHQWIRUWUDQVODWLQJ+L//6RSHUDWLRQVWRPHWKRGV )LJXUH&RGHJHQHUDWRUWRWUDQVODWH+L//6+&ODVVWR-DYDFODVV . . [[L .
(101) /LVWRI7DEOHV 7DEOH&RPSDULVRQRIH[LVWLQJ0'6(DSSURDFKHV 7DEOH6WDWHYDULDEOHVLQ'(96VSHFLILFDWLRQRIWKH%90 7DEOH'(96VWDWHYDULDEOHVRIEHYHUDJHYHQGLQJPDFKLQHXVHU 7DEOH7HPSRUDORSHUDWRUVLQ/7/ 7DEOH([LVWHQWLDOSDWKTXDQWLILHUVRPHEUDQFKLQJRSHUDWRU
(102) LQ&7/ 7DEOH8QLYHUVDOSDWKTXDQWLILHUDOOEUDQFKLQJRSHUDWRU
(103) LQ&7/ 7DEOH,QWHQWVRIWKHWHPSRUDOSURSHUW\SDWWHUQVRI'Z\HUHWDO 7DEOH/7/DQG&7/WHPSODWHVIRURFFXUUHQFHSURSHUW\SDWWHUQV 7DEOH/7/DQG&7/WHPSODWHVIRURUGHUSURSHUW\SDWWHUQV 7DEOH+L//6 QRWDWLRQVIRUV\VWHPGHVFULSWLRQ 7DEOH+L//6QRWDWLRQVIRUSURSHUW\VFRSHWHPSODWH 7DEOH+L//6QRWDWLRQVIRUSURSHUW\SDWWHUQWHPSODWHV . . . [[LL .
(104) /LVWRI$FURQ\PV $50,. $V\QFKURQRXV5HPRWH0HWKRG,QYRFDWLRQ. $7/. $7/$67UDQVIRUPDWLRQ/DQJXDJH. $7R030. $7RROIRU0XOWL3DUDGLJP0RGHOLQJ. %30. %XVLQHVV3URFHVV0DQDJHPHQW. &,/. &RPSXWDWLRQ,QGHSHQGHQW/D\HU. &,0. &RPSXWDWLRQ,QGHSHQGHQW0RGHO. &0. &RQFHSWXDO0RGHO. &7/. &RPSXWDWLRQ7HPSRUDO/RJLF. &=7. &RPPXQLW\=7RROV. ''0/. '(96'ULYHQ0RGHOLQJ/DQJXDJH. '(6. 'LVFUHWH(YHQW6\VWHP. '(96. 'LVFUHWH(YHQW6\VWHP6SHFLILFDWLRQ. '(96'62/ '(96'LVWULEXWHG6LPXODWLRQ2EMHFW/LEUDU\ '(960/. '(960RGHOLQJ/DQJXDJH. '(9606. '(960HWD6LPXODWRU. '0/. '(960DUNXS/DQJXDJH. '6/. 'RPDLQ6SHFLILF/DQJXDJHV. '60. 'RPDLQ6SHFLILF0RGHO. '60/. 'RPDLQ6SHFLILF0RGHO/DQJXDJH. '81,3. '(968QLILHG3URFHVV. (). ([SHULPHQWDO)UDPH. (0). (FOLSVH0RGHOLQJ)UDPHZRUN. (03. (FOLSVH0RGHOLQJ3URMHFW. [[LLL .
(105) )0. )RUPDO0HWKRGV. *0(. *HQHULF0RGHOLQJ(QYLURQPHQW. *8,. *UDSKLFDO8VHU,QWHUIDFH. +L//6. +LJK/HYHO/DQJXDJHIRU6\VWHP6SHFLILFDWLRQ. ,1&26(. ,QWHUQDWLRQDO&RXQFLORQ6\VWHPV(QJLQHHULQJ. ,62. ,QWHUQDWLRQDO6WDQGDUGV2UJDQL]DWLRQ. /7/. /LQHDU7HPSRUDO/RJLF. 0 6. 0RGHOLQJDQG6LPXODWLRQ. 00. 0RGHOWR0RGHO7UDQVIRUPDWLRQ. 07. 0RGHOWR7H[W7UDQVIRUPDWLRQ. 0%6(. 0RGHO%DVHG6\VWHPV(QJLQHHULQJ. 0'$. 0RGHO'ULYHQ$UFKLWHFWXUH. 0''06. 0RGHO'ULYHQ'HYHORSPHQWIRU0RGHOLQJDQG6LPXODWLRQ. 0'(. 0RGHO'ULYHQ(QJLQHHULQJ. 0'6(. 0RGHO'ULYHQ6\VWHPV(QJLQHHULQJ. 0,&. 0RGHO,QWHJUDWHG&RPSXWLQJ. 0,0. 0HWKRGRORJ\,QGHSHQGHQW0RGHO. 02). 0HWD2EMHFW)DFLOLW\. 060. 0HWKRGRORJ\6SHFLILF0RGHO. 07/. 0RGHO7UDQVIRUPDWLRQ/DQJXDJH. 09&. 0RGHO9LHZ&RQWUROOHU. 20*. 2EMHFW0DQDJHPHQW*URXS. 3'0. 3ODWIRUP'HVFULSWLRQ0RGHO. 3,/. 3ODWIRUP,QGHSHQGHQW/D\HU. 3,0. 3ODWIRUP,QGHSHQGHQW0RGHO [[LY. .
(106) 3,60. 3ODWIRUP,QGHSHQGHQW6LPXODWLRQ0RGHO. 3UR0R%R[. 3URSHUWLHVDQG GHVLJQ
(107) 0RGHOVGHYHORSHG %R[HG
(108) LQFRQFHUW. 36/. 3ODWIRUP6SHFLILF/D\HU. 360. 3ODWIRUP6SHFLILF0RGHO. 3660. 3ODWIRUP6SHFLILF6LPXODWLRQ0RGHO. 686. 6\VWHPXQGHUVWXG\. 6\V0/. 6\VWHP0RGHOLQJ/DQJXDJH. 7/. 7HPSRUDO/RJLF. 76. 7HFKQRORJLFDO6SDFH. 80/. 8QLILHG0RGHOLQJ/DQJXDJH. ;0,. ;0/0HWDGDWD,QWHUFKDQJH. ;0/. H;WHQVLEOH0DUNXS/DQJXDJH. =0/. =0DUNXS/DQJXDJH. . . [[Y .
(109) . *(1(5$/,1752'8&7,21 02'(/'5,9(16<67(06(1*,1((5,1* 0RGHO%DVHG6\VWHPV(QJLQHHULQJ 0%6(
(110) LVGHILQHGE\WKH ,QWHUQDWLRQDO&RXQFLORQ6\VWHPV (QJLQHHULQJ ,1&26(
(111) DV WKH IRUPDOL]HG DSSOLFDWLRQ RI PRGHOLQJ WR VXSSRUW V\VWHP UHTXLUHPHQWVGHVLJQDQDO\VLVYHULILFDWLRQDQGYDOLGDWLRQDFWLYLWLHVEHJLQQLQJLQWKHFRQFHSWXDO GHVLJQ SKDVH DQG FRQWLQXLQJ WKURXJKRXW GHYHORSPHQW DQG ODWHU OLIH F\FOH>(VW@ ,W ZDV SULPDULO\ HQYLVLRQHG WR DGGUHVV WKH OLPLWDWLRQV RI WKH WUDGLWLRQDO 'RFXPHQW%DVHG 6\VWHPV (QJLQHHULQJSURFHVVWKDWUHOLHVRQWH[WGRFXPHQWVDQGHQJLQHHULQJGDWDLQPDQ\IRUPDWVWRGULYH WKH GHVLJQ LPSOHPHQWDWLRQ DQG PDLQWHQDQFH RI FRPSOH[ V\VWHPV 0LWWDO DQG 0DUWtQ >00@ ILUVW GHILQHG 0RGHO'ULYHQ 6\VWHPV (QJLQHHULQJ 0'6(
(112) DV D GLVFLSOLQH WKDW DSSOLHV 0RGHO 'ULYHQ (QJLQHHULQJ 0'(
(113) SUDFWLFHV WR 0%6( SDUDGLJP WR DXWRPDWH 0%6( SURFHVVHV $FFRUGLQJ WR %RFFLDUHOOL DQG '¶$PEURJLR >%'@ 0'6( VWLPXODWHV D UDGLFDO VKLIW IURP D PHUHO\FRQWHPSODWLYHXVHRIPRGHOVLQ0%6(WRDSURGXFWLYHDQGPRUHHIIHFWLYHXVHE\WKH DSSOLFDWLRQ RI PHWDPRGHOLQJ WHFKQLTXHV DQG DXWRPDWHG PRGHO WUDQVIRUPDWLRQV WR WKH V\VWHPV HQJLQHHULQJGRPDLQWKXVERRVWLQJWKHDGYDQWDJHVRIWKH0%6(DSSURDFK $Q HIILFLHQW GHVLJQ DQG GHYHORSPHQW RI D FRPSOH[ V\VWHP UHTXLUHV DQ LWHUDWLYH SURFHVV RI PRGHOLQJ SHUIRUPDQFH HYDOXDWLRQ ORJLFDO DQDO\VLV IRU UHTXLUHPHQW YHULILFDWLRQV DQG LPSOHPHQWDWLRQ SURWRW\SH
(114) IRU UXQWLPH WHVWLQJ >+.@ 7KLV LWHUDWLYH SURFHVV LV QHFHVVDU\ WR UHYHDO VXEWOH NQRZOHGJH DERXW WKH V\VWHPV ZKLFK DUH LQ PRVW FDVHV EH\RQG LQWXLWLRQ 0RUHRYHUDYLRODWLRQRIUHTXLUHPHQW V
(115) RUXQGHVLUHGEHKDYLRUDWWKLVVWDJHFDQEHDVLJQDORID IXQGDPHQWDOIODZLQWKHGHVLJQWKDWPXVWEHUHVROYHGHDUO\WRIRUHVWDOOFRVWO\HUURUVLQWKHILQDO V\VWHP >=1@ +HQFH WKH NQRZOHGJH JDLQHG IURP HDFK RI WKH LWHUDWLRQV PD\ VHUYH WZR SXUSRVHV
(116) DV DJXLGHIRUGHHSHUXQGHUVWDQGLQJ RIWKHV\VWHP VEHKDYLRUDQGWKHLQIOXHQFHVLW PD\KDYHRQLWVHQYLURQPHQWRUZKLFKWKHHQYLURQPHQWPD\KDYHRQLW
(117) DVDIHHGEDFNWRUHYLVH WKH GHVLJQHG PRGHO DQGRU UHTXLUHPHQWV XQWLO DQ DFFHSWDEOH OHYHO RI VDWLVIDFWLRQ RI FULWLFDO UHTXLUHPHQWVLV JXDUDQWHHGEHIRUH FRPPLWWLQJWLPHDQGUHVRXUFHVWR WKH LPSOHPHQWDWLRQ RIWKH V\VWHP )LJXUH LV D VFKHPDWLF LOOXVWUDWLRQ RI D W\SLFDO 0'6( PHWKRGRORJ\ 7KH V\VWHP XQGHU VWXG\ 686
(118) LV UHSUHVHQWHG DV D PRGHO SRVVLEO\ FRQVLVWLQJ RI LQWHUDFWLQJ FRPSRQHQWV XVLQJ DQ DSSURSULDWHIRUPDOLVP686PD\EHDSK\VLFDOV\VWHPRUDQRQH[LVWHQWFRQFHSWXDOL]HGV\VWHP 6ROYHUUHIHUVWR WKHSURWRFROVDQGDOJRULWKPV IRUDQDO\]LQJWKHV\VWHPPRGHOWR JHQHUDWHVRPH UHVXOWV 7KH FKRLFH RI DQ DSSURSULDWH IRUPDOLVP WR ZULWH WKH V\VWHP PRGHO LV GHWHUPLQHG E\ D QXPEHU RI IDFWRUV VXFK DV WKH SURSHUWLHV RI 686 WR EH DQDO\]HG WKH FDSDELOLWLHV RI VROYHU. .
(119) DYDLODEOH WKH DQDO\VW V H[SHULHQFH HWF 7KH VROYHU GRHV WKH PDQLSXODWLRQ RI WKH V\VWHP PRGHO DQGWKHUHVXOWVREWDLQHGSURYLGHVRPHIHHGEDFNDVPRUHNQRZOHGJHDERXW686WRWKHDQDO\VW. )LJXUH0'6(PHWKRGRORJ\ 7KHLQIRUPDWLRQUHSUHVHQWHGLQWKHPRGHODQGWKHFKRVHQPRGHOLQJIRUPDOLVPDQGVROYHU DOOGHSHQGRQWKHTXHVWLRQVWREHDQVZHUHGDERXWWKHV\VWHPXQGHUVWXG\. 'HSHQGLQJRQWKHTXHVWLRQVWREHDQVZHUHGDERXW6860'6(DSSURDFKHVEDVHGRQWKHRUHWLFDOO\ VRXQG PHWKRGRORJLHV OLNH VLPXODWLRQ )RUPDO 0HWKRGV RU HQDFWPHQW DUH HPSOR\HG LQ WKH LWHUDWLRQORRSVWRPLQHWKHGHVLUHGNQRZOHGJHRIWKH686IURPWKHPRGHO 7KLVWKHVLVH[SORUHVWKHLQWHJUDWLRQRI0'6(WKHRULHVDQGWHFKQRORJLHVDORQJWKUHHGLPHQVLRQV RI GHVLJQ DQDO\VLV DQG YHULILFDWLRQ PHWKRGRORJLHV VLPXODWLRQ IRUPDO PHWKRGV DQG HQDFWPHQW 7KH JRDO LV WR KDUQHVV WKH V\QHUJ\ RI GLYHUVH WRROV DQG H[SHULHQFHV IRU DQ HQFRPSDVVLQJ LQYHVWLJDWLRQRISURSHUWLHVLQ WKHGHVLJQVSDFHRIFRPSOH['LVFUHWH(YHQW 6\VWHPV '(6
(120) 7KH WKUHH PHWKRGRORJLHV SURPRWH UHDVRQLQJ DERXW V\VWHPV IURP VRPHZKDW GLYHUJHQW YLHZSRLQWV WKH\ DUH KRZHYHU RIWHQ QHFHVVDULO\ UHTXLUHG LQ FRPELQDWLRQV IRU VRXQG V\VWHP GHVLJQV $ YLHZSRLQW FDQ EH GHILQHG LQ WKH JHQHUDO FRQWH[W RI VRIWZDUH DQG V\VWHPV HQJLQHHULQJ DV D GHVFULSWLRQ RI DSSURSULDWH PDFKLQHU\ FRQVLVWLQJ RI GRPDLQ ODQJXDJHV VSHFLILFDWLRQV DQG PHWKRGRORJLHV WR FDSWXUH DQG SURFHVV RQH RU PRUH UHODWHG HQJLQHHULQJ RU WHFKQLFDO FRQFHUQV DERXW D V\VWHP DQG WKH LQIRUPDWLRQ DVVRFLDWHG ZLWK VXFK FRQFHUQ V
Documents relatifs