9DOLGDWLQJ 5HTXLUHPHQWV IRU )DXOW 7ROHUDQW 6\VWHPV XVLQJ 0RGHO &KHFNLQJ
)UDQFLV 6FKQHLGHU 6WHYH 0 (DVWHUEURRN -RKQ 5 &DOODKDQ DQG *HUDUG - +RO]PDQQ 1$6$:98 6RIWZDUH 5HVHDUFK /DE
8QLYHUVLW\ ‘ULYH )DLUPRQW :HVW 9LUJLQLD
&RQWDFW VWHYH#UHVHDUFKLYYQDVDJRY
Copyright By PowCoder代写 加微信 powcoder
0RGHO FKHFNLQJ LV VKRZQ WR EH DQ HIIHFWLYH WRRO LQ YDOLGDWLQJ WKH EHKDYLRU RI D IDXOW WROHUDQW HPEHGGHG VSDFHFUDIW FRQWUROOHU 7KH FDVH VWXG\ SUHVHQWHG KHUH VKRZV WKDW E\ MXGLFLRXVO\ DEVWUDFWLQJ DZD\ H[WUDQHRXV FRPSOH[LW\ WKH VWDWH VSDFH RI WKH PRGHO FRXOG EH H[KDXV WLYHO\ VHDUFKHG DOORZLQJ FULWLFDO IXQFWLRQDO UHTXLUHPHQWV WR EH YDOLGDWHG GRZQ WR WKH GHVLJQ OHYHO $EVWUDFWLQJ DZD\ GHWDLO QRW JHUPDQH WR WKH SUREOHP RI LQWHUHVW OHDYHV E\ GHILQLWLRQ D SDUWLDO VSHFLILFDWLRQ EHKLQG 7KH VXFFHVV RI WKLV SURFHGXUH VKRZV WKDW LW LV IHDVLEOH WR HIIHFWLYHO\ YDOLGDWH D SDUWLDO VSHFLILFDWLRQ ZLWK WKLV WHFKQLTXH 7KUHH DQRPDOLHV ZHUH IRXQG LQ WKH V\VWHP 2QH ZDV DQ HUURU LQ WKH GHWDLOHG UHTXLUHPHQWV DQG WKH RWKHU WZR ZHUH PLVV LQJDPELJXRXV UHTXLUHPHQWV %HFDXVH WKH PHWKRG DOORZV YDOLGDWLRQ RI SDUWLDO VSHFLILFDWLRQV LW LV DOVR DQ HIIHFWLYH DSSURDFK IRU PDLQWDLQLQJ ILGHOLW\ EHWZHHQ D FRHYROYLQJ VSHFLILFDWLRQ DQG DQ LPSOHPHQWDWLRQ
,QWURGXFWLRQ
7KLV SDSHU GHVFULEHV D SUDFWLFDO DSSOLFDWLRQ RI PRGHO FKHFNLQJ IRU YDOLGDWLQJ WKH UHTXLUHPHQWV IRU D FRPSOH[ HPEHGGHG V\VWHP 7KH FDVH VWXG\ GHVFULEHG KHUH LV RI D GXDOO\ UHGXQGDQW VSDFHFUDIW FRQWUROOHU LQ ZKLFK D FKHFN SRLQW DQG UROOEDFN VFKHPH LV XVHG WR SURYLGH IDXOW WROHU DQFH GXULQJ WKH H[HFXWLRQ RI FULWLFDO FRQWURO VHTXHQFHV
-HW3URSXOVLRQ/DERUDWRU\&DOLIRUQLD,QVWLWXWHRI7HFKQRORJ\XQGHUD FRQWUDFWZLWKWKH1DWLRQDO$HURQDXWLFVDQG6SDFH$GPLQLVWUDWLRQDQG LQSDUWE\:HVW9LUJLQLD8QLYHUVLW\XQGHU1$6$FRRSHUDWLYHDJUHH PHQW1&&5HIHUHQFHKHUHLQWRDQ\VSHFLILFFRPPHUFLDOSURG XFWSURFHVVRUVHUYLFHE\WUDGHQDPHWUDGHPDUNPDQXIDFWXUHURU RWKHUZLVHGRHVQRWFRQVWLWXWHRULPSO\LWVHQGRUVHPHQWE\WKH8QLWHG 6WDWHV*RYHUQPHQWWKH-HW3URSXOVLRQ/DERUDWRU\&DOLIRUQLD,QVWLWXWH RI7HFKQRORJ\RU:HVW9LUJLQLD8QLYHUVLW\
-HW3URSXOVLRQ/DERUDWRU\&DOLIRUQLD,QVWLWXWHRI7HFKQRORJ\ 063DVDGHQD&$
&RPSXWLQJ6FLHQFHV5HVHDUFK%HOO/DERUDWRULHV/XFHQW7HFKQROR JLHV0XUUD\+LOO1-
7KH VRIWZDUH UHTXLUHPHQWV VSHFLILFDWLRQ IRU WKH VSDFHFUDIW VSHFLILHV WKH UHTXLUHG EHKDYLRU IRU WKH FKHFNSRLQW DQG UROOEDFN VFKHPH +RZHYHU WKH YDOLGLW\ RI WKHVH UHTXLUH PHQWV FRXOG QRW EH GHWHUPLQHG WKURXJK LQVSHFWLRQ ,Q RWKHU ZRUGV LW ZDV QRW SRVVLEOH WR GHWHUPLQH ZKHWKHU WKH EHKDYLRU GHVFULEHG LQ WKHVH UHTXLUHPHQWV ZRXOG SURYLGH WKH GHVLUHG OHYHO RI IDXOW WROHUDQFH 0RUH LPSRUWDQWO\ WHVWLQJ RI WKH HYHQWXDO LPSOHPHQWDWLRQ ZRXOG QRW QHFHV VDULO\ SURYLGH WKLV YDOLGDWLRQ HLWKHU GXH WR WKH GLIILFXOW\ RI HQVXULQJ WHVW FDVH FRYHUDJH IRU DOO SRVVLEOH IDXOW RFFXU UHQFH VFHQDULRV
7KH DSSURDFK GHVFULEHG KHUH XVHV D IRUPDO DXWRPDWD EDVHG PRGHO GHULYHG IURP WKH VSHFLILFDWLRQ :H XVHG YDULRXV KLJKOHYHO VDIHW\ SURSHUWLHV WR YDOLGDWH WKH JHQHU DOL]HG V\VWHP PRGHO H\ V\VWHP IXQFWLRQDO UHTXLUHPHQWV ZHUH WKHQ YDOLGDWHG E\ GHILQLQJ FRUUHVSRQGLQJ OLYHQHVV SURSHUWLHV LQ OLQHDU WHPSRUDO ORJLF ZKLFK ZHUH UHTXLUHG WR EH VDWLVILHG ZKHQ WKH V\VWHP UHVSRQGV WR HUURUV :H XVHG WKH PRGHO FKHFNHU 6SLQ >@ WR LGHQWLI\ WUDFHV LQ WKH PRGHO IRU ZKLFK WKHVH SURSHUWLHV ZHUH YLRODWHG
7KH ZRUN GHVFULEHG LQ WKLV SDSHU IRUPV SDUW RI DQ RQ JRLQJ LQYHVWLJDWLRQ LQWR OLJKWZHLJKW IRUPDO PHWKRGV IRU 99 RI UHTXLUHPHQWV VSHFLILFDWLRQV :H XVH WKH WHUP μOLJKWZHLJKW¶ WR LQGLFDWH WKDW WKH PHWKRGV FDQ EH XVHG WR SHUIRUP SDUWLDO DQDO\VLV RQ SDUWLDO VSHFLILFDWLRQV ZLWKRXW D FRPPLWPHQW WR GHYHORSLQJ DQG EDVHOLQLQJ FRPSOHWH FRQVLVWHQW IRUPDO VSHFLILFDWLRQV 7KH IRUPDO PHWKRGV DUH XVHG WR PRGHO FULWLFDO FKXQNV RI DQ LQIRUPDO VSHFLILFDWLRQ WR FKHFN WKDW NH\ SURSHUWLHV KROG 7KH DLP LV WR ILQG HU URUV UDWKHU WKDQ WR SURYH FRUUHFWQHVV $SSOLFDWLRQ RI WKH PHWKRGV LV GULYHQ E\ WKH QHHGV RI WKH SURMHFW DQG LV XVHG DV D PRGHOLQJ WRRO WR DQVZHU TXHVWLRQV WKDW DULVH GXULQJ YHULILFDWLRQ DQG YDOLGDWLRQ
7KH SDSHU LV RUJDQL]HG DV IROORZV 6HFWLRQ SURYLGHV D PRWLYDWLRQ IRU WKH FDVH VWXG\ E\ EULHIO\ VXUYH\LQJ H[ LVWLQJ DSSURDFKHV WR UHTXLUHPHQWV YDOLGDWLRQ DQG GHPRQ VWUDWLQJ ZK\ WKHVH DSSURDFKHV GR QRW SURYLGH WKH GHVLUHG OHYHO RI DVVXUDQFH :H LQWURGXFH WKH GLVWLQFWLRQ EHWZHHQ YHULI\LQJ UHTXLUHPHQWV WKURXJK FRPSOHWHQHVV DQG FRQVLV WHQF\ FKHFNLQJ DQG YDOLGDWLQJ UHTXLUHPHQWV DJDLQVW UHDO
7KHUHVHDUFKGHVFULEHGLQWKLVSDSHUZDVFDUULHGRXWLQSDUWE\WKH
ZRUOG SURSHUWLHV μFODLPV¶ WKDW VKRXOG IROORZ LI WKH VWDWHPHQW RI WKH UHTXLUHPHQWV LV FRUUHFW
6HFWLRQ LQWURGXFHV WKH GXDOO\ UHGXQGDQW V\VWHP DQG VKRZV KRZ LW ZDV H[SUHVVHG DV D )60 :H VKRZ KRZ WKH V\VWHP EHKDYHV DV D FRPPXQLFDWLRQV V\VWHP PDNLQJ LW SDUWLFXODUO\ DPHQDEOH WR DQDO\VLV XVLQJ WKH PRGHO FKHFNHU 6SLQ
6HFWLRQ GHVFULEHV WKH VWHSV WKDW ZHUH WDNHQ WR RSWL PL]H WKH PRGHO LQ RUGHU WR UHGXFH WKH VL]H RI WKH VWDWH VSDFH :H VKRZ KRZ WKH PRGHO ZDV SDUWLWLRQHG LQWR ILYH VHSDUDWH IDXOW VFHQDULRV DQG H[SODLQ LQ GHWDLO KRZ RQH RI WKHVH VFHQDULRV ZDV FKHFNHG :H GLVFXVV WKH SURFHVV RI FKHFNLQJ WKH PRGHO DJDLQVW FODLPV H[SUHVVHG DV OLQHDU WHPSRUDO ORJLF IRUPXODH 6HFWLRQ SUHVHQWV WKH UHVXOWV RI WKH DQDO\VLV
6HFWLRQ SURYLGHV D GLVFXVVLRQ RI WKH UHVXOWV LQ FOXGLQJ D UHIOHFWLRQ RQ WKH EHQHILWV VHHQ LQ WKH FDVH VWXG\ 7KH LPSRUWDQFH RI SDUWLWLRQLQJ WKH PRGHO LQ RUGHU WR PDNH WKH DQDO\VLV IHDVLEOH LV GLVFXVVHG DORQJ ZLWK VRPH UHIOHF WLRQ RQ WKH UHVXOWLQJ OLPLWDWLRQ RI WKH DQDO\VLV μSDUWLDO DQDO\VLV RI SDUWLDO VSHFLILFDWLRQV¶
6HFWLRQ SUHVHQWV FRQFOXVLRQV DQG GHVFULEHV RXU IX WXUH ZRUN $ VKRUW RYHUYLHZ RI WKH WKHRUHWLFDO EDVLV IRU WKH XVH RI WKH /7/ DQG %FKL DXWRPDWD LV SURYLGHG LQ DSSHQ GL[ $
%DFNJURXQG
5HTXLUHPHQWV YDOLGDWLRQ LV WKH SURFHVV RI GHWHUPLQLQJ WKDW WKH VSHFLILHG UHTXLUHPHQWV FDSWXUH WKH UHDO ZRUOG QHHGV RI WKH VWDNHKROGHUV )RU UHDOWLPH FRQWURO V\VWHPV WKLV LQYROYHV FKHFNLQJ WKDW WKH VSHFLILHG EHKDYLRU ZLOO LQ IDFW SURYLGH VDIH DQG HIIHFWLYH FRQWURO ZLWKRXW LQWURGXF LQJ DQ\ XQGHVLUDEOH HIIHFWV )RU UHDVRQDEO\ FRPSOH[ V\V WHPV YDOLGLW\ RI WKH UHTXLUHPHQWV LV KDUG WR HVWDEOLVK ,QIRUPDO PHWKRGV RQO\ SURYLGH D YHU\ EDVLF OHYHO RI DV VXUDQFH E\ LPSRVLQJ D VWUXFWXUH RQ WKH VSHFLILFDWLRQ WKDW IDFLOLWDWHV LQVSHFWLRQ E\ GRPDLQ H[SHUWV )RUPDO PHWKRGV KDYH WKH SRWHQWLDO WR SURYLGH D PXFK JUHDWHU OHYHO RI DV VXUDQFH WKURXJK WKH FRQVWUXFWLRQ RI D SUHFLVH PRGHO RI WKH UHTXLUHPHQWV ZKLFK FDQ EH WHVWHG DJDLQVW GRPDLQ SURSHUWLHV
$ QXPEHU RI IRUPDO PRGHOLQJ WRROV DUH DYDLODEOH WKDW DUH DSSOLFDEOH WR VRIWZDUH V\VWHPV +HLWPH\HU DQG 0DQ GULROL >@ SURYLGH DQ H[FHOOHQW RYHUYLHZ RI WKH FXUUHQW VWDWH RI WKH DUW +HUH ZH FRQFHQWUDWH RQ VWDWH PDFKLQH PRGHOV ZKLFK FDQ EH XVHG WR WHVW VDIHW\ DQG OLYHQHVV SURSHUWLHV
560/ >@ DQG 6&5 >@ KDYH ERWK EHHQ YHU\ VXFFHVV IXO DW SURYLGLQJ VWDWLF DQDO\VLV WHFKQLTXHV IRU FKHFNLQJ FRPSOHWHQHVV DQG FRQVLVWHQF\ RI VSHFLILFDWLRQV H[SUHVVHG DV GHWHUPLQLVWLF VWDWH PDFKLQHV +RZHYHU IDXOW WROHUDQW V\VWHPV DUH LQKHUHQWO\ QRQGHWHUPLQLVWLF WKDW LV WKH WUDQ
VLWLRQ VFKHPHV DUH UHODWLRQDO QRW IXQFWLRQDO 6\VWHPV ZLWK LQKHUHQW QRQGHWHUPLQLVP DUH QRW HDVLO\ DPHQDEOH WR DQD O\WLF VWDWLF HYDOXDWLRQ PHWKRGV 6\VWHPV WKDW FDQ EH SDUWL WLRQHG LQWR D GHWHUPLQLVWLF DQG D QRQGHWHUPLQLVWLF SDUW FDQ DSSO\ WRROV VXFK DV 560/ RU 6&5 WR YDOLGDWH GHWHU PLQLVWLF FRPSRQHQWV )RU H[DPSOH (DVWHUEURRN >@ KDV UHSRUWHG XVLQJ WKH 6&5 WRRO LQ WKLV ZD\ WR YDOLGDWH WKH )DXOW ‘HWHFWLRQ ,VRODWLRQ DQG 5HFRYHU\ )’,5 UHTXLUH PHQWV IRU D VSDFHFUDIW EXV FRQWUROOHU 7KH GHWHUPLQLVWLF SDUW ZDV PRGHOHG LQ 6&5 DQG WKHQ H[WHQGHG WR LQFOXGH QRQGHWHUPLQLVWLF HOHPHQWV LH IDXOW RFFXUUHQFHV XVLQJ WKH 6SLQ PRGHO FKHFNHU 6XFK D SURFHGXUH ZRXOG EH VXJJHVWHG IRU H[DPSOH ZKHQ DQ RWKHUZLVH GHWHUPLQLVWLF V\VWHP KDG WR EH VKRZQ WR EH UHVLOLHQW XQGHU QRQ GHWHUPLQLVWLF IDXOW LQMHFWLRQ
$Q DQDO\VLV EDVHG PHWKRGRORJ\ VXFK DV 560/ RU 6&5 UHTXLUHV GHWHUPLQLVP LQ WKH XQGHUO\LQJ PRGHO WR SURYH UHTXLUHPHQWV FRPSOHWHQHVV DQG FRQVLVWHQF\ ,Q FRQWUDVW VWDWH VSDFH H[SORUDWLRQ PHWKRGV μPRGHO FKHFN LQJ¶ DUH RSHUDWLRQDO LQ QDWXUH UDWKHU WKDQ DQDO\WLF 7KH\ DOORZ IXQFWLRQDO UHTXLUHPHQWV WR EH YDOLGDWHG RYHU QRQ GHWHUPLQLVWLF ILQLWH VWDWH PDFKLQHV XVLQJ RSWLPL]HG UHDFK DELOLW\ VFKHPHV %\ LQFRUSRUDWLQJ IXQFWLRQDO UHTXLUHPHQWV LQ D QRQGHWHUPLQLVWLF PRGHO UHTXLUHPHQWV SURSHUWLHV FDQ EH YDOLGDWHG 0DQQD DQG 3QHXOL >@ KDYH VKRZQ WKDW YLUWX DOO\ DQ\ H[SUHVVLEOH UHTXLUHPHQWV SURSHUW\ FDQ EH UHSUH VHQWHG DV D VDIHW\ SUHFHGHQFH RU OLYHQHVV SURSHUW\ XVLQJ WKH /LQHDU 7HPSRUDO /RJLF VHH DSSHQGL[ $
7KUHH VXFK PRGHO FKHFNHUV KDYH EHHQ ZLGHO\ XVHG IRU YHULILFDWLRQ RI ORZOHYHO GHVLJQV RI ERWK KDUGZDUH DQG VRIWZDUH DQG FRPPXQLFDWLRQ SURWRFROV 7KH 0XUSKL PRGHO FKHFNHU KDV D ULFK VXSSRUW IRU WHPSRUDO ORJLF DQG DOORZV LQYDULDQWV WR EH H[SUHVVHG LQ WKH PRGHO WR EH FKHFNHG DV WKH VWDWH VSDFH H[SORUDWLRQ HYROYHV ,W VXSSRUWV D VLQJOH VLWH PRGHO RQO\ ZKLFK LV D GLVDGYDQWDJH LQ WKH YDOLGDWLRQ RI FRQFXUUHQW V\VWHPV 7KH 6\PEROLF 0RGHO 9HULILHU 609 KDV EHHQ DSSOLHG VXFFHVVIXOO\ WR FRPPX QLFDWLRQ SURWRFROV 609 FDQ YDOLGDWH V\QFKURQRXV DQG DV\QFKURQRXV V\VWHPV DJDLQVW D V\VWHP VSHFLILFDWLRQ VSHFLILHG LQ WKH WHPSRUDO ORJLF &7/ ,W DOORZV IRU QRQ
‘HWHUPL QLVWLF”
&RXQWHU ([DPSOH *HQHUD WLRQ”
5HTWV H[SUHVVLEOH DV /7/ )RUPXODH”
‘HYHORSHG IRU 99 RI
560/ < 6&5 <
Table 1: System Validation Tools
7&$6 6: $H $LUFUDIW 6:
6LQJOH 3URF HVV 6: &RPPV +: &RPPV 6:
GHWHUPLQLVP LQ WKH VSHFLILFDWLRQV DQG IRU FRQFXUUHQF\ LQ WKH PRGHO ZLWKLQ SURFHGXUHV ,W VXSSRUWV ULFK WHPSRUDO ORJLF VSHFLILFDWLRQV EXW GRHV QRW VXSSRUW FRPSOH[ GDWD VWUXFWXUHV PDNLQJ LW GLIILFXOW WR EXLOG D FRPSOHWH ORZ OHYHO PRGHO %RWK 609 DQG 0XUSKL ZHUH GHVLJQHG IRU YDOLGDWLQJ KDUGZDUH V\VWHPV 7KH 6SLQ PRGHO FKHFNHU ZDV GHVLJQHG IRU YHULILFDWLRQ RI FRPPXQLFDWLRQ SURWRFROV DQG SURYLGHV VXSSRUW IRU D EDVLF VHW RI VRIWZDUH GDWD VWUXF WXUHV
(DFK RI WKH WKUHH PRGHO FKHFNHUV SHUPLWV D ULFK VHW RI WHPSRUDO ORJLF IRUPXODH WR EH LQFRUSRUDWHG LQWR WKH PRG HOLQJ V\VWHP :H FKRVH WR XVH WKH 6SLQ PRGHO FKHFNLQJ V\VWHP IRU WKLV VWXG\ EHFDXVH LW D ZDV GHVLJQHG WR YDOL GDWH VRIWZDUH FRPPXQLFDWLRQV SURWRFROV D LV DOJRULWKPLF LQ QDWXUH F VXSSRUWV GDWD VWUXFWXUHV DOORZLQJ GHWDLO ZKHUH DSSURSULDWH G LQFRUSRUDWHV OLQHDU WHPSRUDO ORJLF SULPLWLYHV DOORZLQJ IXQFWLRQDO UHTXLUHPHQWV WR EH YDOL GDWHG RYHU WKH PRGHO H DQG VLJQLILFDQWO\ EHFDXVH WKH PRGHOLQJ V\VWHP FDQ EH XVHG WR YDOLGDWH IXQFWLRQDO UH TXLUHPHQWV RYHU WUDFHV IURP WKH LPSOHPHQWDWLRQ
GHOLQHDWHG ZLWK D PDUNSRLQW 7KH QH[W JURXS RI LQVWUXF WLRQV PLJKW EH WKH VWRUDJH RI WKH VDPSOH WKDW ZDV MXVW UH WULHYHG DW WKH HQG RI ZKLFK ZRXOG EH DQRWKHU PDUNSRLQW ,I DQ\ RSHUDWLRQ ZHUH LQWHUUXSWHG E\ WKH RFFXUUHQFH RI D IDXOW WKH V\VWHP ZRXOG UHSDLU WKH IDXOW UROO EDFN FRQWURO WR WKH EHJLQQLQJ RI WKH ODVW PDUNSRLQW DQG FRQWLQXH H[H FXWLRQ IURP WKHUH ,W ZRXOG QRW EH QHFHVVDU\ WR ZDVWH EDW WHU\ SRZHU RU WLPH WR UHWULHYH DQRWKHU VDPSOH LI WKDW ZDV DOUHDG\ DFKLHYHG 7KLV SDSHU IRFXVHV RQ WKH YDOLGDWLRQ RI WKH IDXOW WROHUDQFH SURYLGHG E\ WKLV PDUN DQG UROOEDFN SURFHVV
7KH IDXOW FRQWDLQPHQW UHTXLUHPHQWV VSHFLI\ WKDW IDXOW SURWHFWLRQ VKDOO RSHUDWH RQO\ LQ WKH SULPH VWULQJ :KLOH WKH SULPH VWULQJ LV UHSDLULQJ D IDXOW WKH RQOLQH VWULQJ PXVW VWRS H[HFXWLQJ LWV FRS\ RI WKH FULWLFDO VHTXHQFH DQG ZDLW IRU WKH 67% WR WHOO LW WKDW WKH IDXOW KDV EHHQ UHSDLUHG WKHUHE\ VLJQDOLQJ LW WR SURFHHG ZLWK WKH FULWLFDO VHTXHQFH
7KH UROOEDFN UHTXLUHPHQWV VSHFLI\ WKDW WKUHH IXOO VHF RQGV RI H[HFXWLRQ WLPH VKDOO EH DOORZHG WR SDVV DIWHU D QHZ PDUNSRLQW LV HQFRXQWHUHG E\ WKH VRIWZDUH EHIRUH WKH QHZ PDUNSRLQW LV UHFRJQL]HG DV D OHJLWLPDWH UROOEDFN SRLQW 7KLV LV EHFDXVH WKH V\VWHP FRQWUROV H[WHUQDO HOH PHQWV WKDW DUH PRVWO\ PHFKDQLFDO LQ QDWXUH $FFRUGLQJO\ WKH VRIWZDUH LV LQ JHQHUDO DOZD\V DKHDG RI WKH KDUGZDUH 7KH WKUHHVHFRQG GHOD\ JLYHV DQ\ PHFKDQLFDO WDVNV D FKDQFH WR EH FRPSOHWHG DQG IRU DQ\ IDXOWV WKDW RFFXUUHG WR EH SURSHUO\ ORJJHG EHIRUH WKH SUHYLRXV VHFWLRQ RI WKH FULWLFDO VHTXHQFH FDQ EH FRQVLGHUHG VXFFHVVIXOO\ FRPSOHWH 7R LPSOHPHQW WKLV UHTXLUHPHQW HDFK QHZ PDUNSRLQW LV DJHG HDFK VHFRQG E\ RQH VHFRQG E\ PRYLQJ LW RQH OHYHO GHHSHU LQ D WKUHHOHYHO EXIIHU 2QO\ PDUNSRLQWV WKDW KDYH UHDFKHG WKH ERWWRP ZLOO EH HOLJLEOH IRU XVH LQ WKH UROOEDFN SURFHVV )LJXUH VKRZV D KLJK OHYHO VQDSVKRW RI QRUPDO FULWLFDO VHTXHQFH RSHUDWLRQ LQ ERWK VWULQJV
9DOLGDWLRQ 3URFHGXUH 0RGHOLQJ
7KH ILUVW VWHS ZDV WR SURGXFH D VWDWH PRGHO RI WKH '56 V\VWHP 7R PRGHO WKH VSHFLILHG EHKDYLRU ZH WUHDWHG WKH PDUN DQG UROOEDFN SURFHVV DV D FRPPXQLFDWLRQV V\V WHP +RO]PDQQ >@ KDV GHILQHG D FRPPXQLFDWLRQV SURWR FRO DV D ILYH FRPSRQHQW VSHFLILFDWLRQ IRU KRZ FRPPXQLFDWLRQ LV WR EH FDUULHG RXW LQ DQ HUURU IUHH ZD\ DPRQJ WZR RU PRUH VHSDUDWH HOHPHQWV )RU WKH PDUN DQG UROOEDFN SURFHVV WKHVH SURSHUWLHV DUH
7KH VHUYLFH SURYLGHG E\ WKH SURWRFRO LV WR NHHS WKH
SULPH DQG WKH RQOLQH V\VWHPV LQ V\QFKURQL]DWLRQ 7KLV LV GRQH VR WKDW WKH RQOLQH VWULQJ FDQ WDNH RYHU TXLFNO\ VKRXOG WKH SULPH V\VWHP EHFRPH LQRSHUDEOH
’56 +LJK /HYHO 0RGHO ‘HVFULSWLRQ
7KH FDVH VWXG\ GHVFULEHG KHUH LV D ‘XDOO\ 5HGXQGDQW 6\VWHP ’56 IRU D VSDFHFUDIW FRQWUROOHU FRQVLVWLQJ RI WZR KDUGZDUH SODWIRUPV UXQQLQJ LGHQWLFDO VRIWZDUH WR PD[LPL]H V\VWHP UHOLDELOLW\ DQG DYDLODELOLW\ 7KH V\VWHPV H[FKDQJH LQIRUPDWLRQ WR V\QFKURQL]H VRIWZDUH RSHUDWLRQ 2QH RI WKH V\VWHPV KDV FRQWURO RI WKH V\VWHP EXV DQG LV FDOOHG WKH SULPH VWULQJ 7KH RWKHU NQRZQ DV WKH RQOLQH VWULQJ SURYLGHV D EDFNXS H[HFXWLQJ LQ V\QFKURQL]DWLRQ RU DW PRVW ZLWKLQ RQH VHFRQG RI WKH SULPH VWULQJ ,QIRUPDWLRQ LV H[FKDQJHG EHWZHHQ WKH WZR V\VWHPV E\ WKH V\QFKURQRXV UHQGH]YRXV FRPPXQLFDWLRQ RI D ZRUG WDEOH WKH 6WDWH 7DEOH %URDGFDVW 67% EURDGFDVW E\ WKH SULPH VWULQJ RQFH SHU VHFRQG 7KH RQOLQH VWULQJ XVHV WKLV WR NHHS LWVHOI LQ V\QFKURQL]DWLRQ ZLWK WKH SULPH VWULQJ
7KH V\VWHP H[HFXWHV KLJK SULRULW\ SURJUDPV FDOOHG FULWLFDO VHTXHQFHV WKDW PXVW EH WROHUDQW RI DUELWUDU\ IDXOWV 7R WKLV HQG WKH VWULQJV XVH D YDULDQW RI WKH FKHFNSRLQW DQG UROOEDFN SURFHVV IRXQG WR ZRUN ZHOO LQ LQGXVWULDO DSSOLFD WLRQV &KHFNSRLQWV FRUUHVSRQG WR FRPSOHWHG WUDQVDF WLRQV LQ WKH H[HFXWDEOH FRGH 6XFK D FRPSOHWLRQ LV UHIHUUHG WR DV D FRPPLW RSHUDWLRQ PHDQLQJ WKDW LI D V\VWHP FUDVK RFFXUV V\VWHP RSHUDWLRQV FRXOG EH UROOHG EDFN WR WKH SRLQW ZKHUH WKH FRPPLW RFFXUUHG DQG SURFHHG IURP KHUH 7KH VSDFHFUDIW FRQWUROOHU ZRUNV DQDORJRXVO\ H[FHSW WKDW WKH FKHFNSRLQWV DUH UHIHUUHG WR DV PDUNSRLQWV DQG DUH KDUG FRGHG LQWR WKH H[HFXWLQJ SURJUDP
)RU H[DPSOH FRQVLGHU WKH UHWULHYDO DQG UHWXUQ RI D VRLO VDPSOH E\ D UHPRWH URERW 6XFFHVVIXO UHWULHYDO RI WKH VDPSOH LV DQ RSHUDWLRQ WKDW QHHG QRW EH UHSHDWHG 7KH FRGH HQGLQJ LQ WKH FRPSOHWLRQ RI WKLV SURFHVV ZRXOG EH
)ODJ 9DOXH 0HDQLQJ DFWXDOO\ DOVR EDFN WR WKH SULPH VWULQJ E\ WKH SULPH 6)3 IDXOW VWULQJ WR DOORZ WKH SULPH VWULQJ WR FKHFN LWV RZQ V\Q
FOHDUHG FKURQL]DWLRQ
&6 QRW H[HFXWLQJ
7KH LQLWLDO PRGHO ZDV UHSUHVHQWHG XVLQJ VWDWHFKDUWV )LJXUHV DQG VKRZ SRUWLRQV RI WKH VWDWHFKDUWV IRU WKH SULPH DQG RQOLQH VWULQJV UHVSHFWLYHO\
,Q WKH FDVH VWXG\ SUHVHQWHG KHUH FHUWDLQ W\SHV RI IDXOWV DUH RI VXFK D QDWXUH WKDW WKH\ FDQ EH UHSDLUHG E\ WKH SULPH VWULQJ :KHQ D IDXOW RFFXUV WKH WKUHH SURWRFRO IODJV &6 &0 6)3 FKDQJH VWDWH IURP WR 7KLV LQIRUPDWLRQ LV EURDGFDVW WR WKH RQOLQH VWULQJ RQFH SHU VHFRQG :KHQ WKH RQOLQH VWULQJ VHHV WKH 6)3 IODJ LV VHW LW VXVSHQGV RSHUDWLRQ RI WKH H[HFXWLQJ FULWLFDO VHTXHQFH DQG ZDLWV IRU WKH SULPH VWULQJ WR UHSDLU WKH IDXOW 2QFH WKH IDXOW LV UHSDLUHG WKH SULPH VWULQJ FDQ UROO EDFN WR WKH ODVW YDOLG PDUNSRLQW DQG UHVXPH SURFHVVLQJ 7KH RQOLQH VWULQJ ZLOO VHH WKH QHZ 6)3 IODJ LV UHVHW LQ WKH 67% PHVVDJH UROOEDFN WR WKH DJHG EURDGFDVW PDUNSRLQW DQG UHVWDUW LWV FRS\ RI WKH FULWLFDO VHTXHQFH
7KLV H[DPSOH VKRZV D VPDOO VXEVHW RI WKH DFWXDO HOH PHQWV DQG WKHLU SURFHGXUH UXOHV WKDW EHORQJ LQ HDFK FDWH JRU\ 7KH FRPSOHWH SURWRFRO VSHFLILFDWLRQ LV LQ H[FHVV RI SDJHV
(VWLPDWLRQ RI 6WDWH 6SDFH 6L]H
2QFH DQ LQLWLDO PRGHO LV REWDLQHG WKH VWDWH VSDFH VL]H PXVW EH HVWLPDWHG LQ RUGHU WR DVVHVV WKH SRWHQWLDO IRU DXWRPDWHG YDOLGDWLRQ 7KLV ZDV GRQH E\ HVWLPDWLQJ WKH
&6 H[HFXWLQJ
&6 LQDFWLYH DQG QRW VXVSHQGHG
Table 2: Communication Flags
7KH HQYLURQPHQWDO DVVXPSWLRQV DUH WKDW WKH SULPH VWULQJ LQWHUDFWV ZLWK DQ HQWLW\ WKDW SURYLGHV LQIRUPD WLRQ DERXW IDXOWV
7KH PDMRU YRFDEXODU\ FRQVLVWV RI WKH YDULDEOHV 6)3 &6 DQG &0 6)3 LV WKH 6SDFHFUDIW )DXOW 3URWHFWLRQ IODJ :KHQ WKLV IODJ LV VHW WKH V\VWHP KDV H[SHULHQFHG D IDXOW WKDW KDV QRW \HW EHHQ UHSDLUHG 7KH &6 IODJ LV VHW LQ WKH SULPH VWULQJ DQG LQ WKH EDFNXS VWULQJ ZKHQ WKH FULWLFDO VHTXHQFH LV DFWLYH LH UXQQLQJ LQ HDFK UH VSHFWLYH VWULQJ 7KH &0 IODJ LV VHW WR LQGLFDWH WKDW WKH FULWLFDO VHTXHQFH LV DFWLYH RU LQ VWDQGE\ SHQGLQJ WKH UHSDLU RI D IDXOW DQG DFFRUGLQJO\ WR UHPLQG WKH VWULQJV WKDW ZKHQ DQ LQWHUIHULQJ IDXOW LV IL[HG WKH VXVSHQGHG FULWLFDO VHTXHQFH QHHGV WR EH UHVWDUWHG DW WKH ODVW YDOLG DJHG PDUNSRLQW
7KH WKUHH SURWRFRO IODJV HDFK XVH VLQJOH ELW HQFRGLQJ DV VKRZQ LQ 7DEOH
7KH SURFHGXUH UXOHV DUH PRVW FRPSOH[ WR GHDO ZLWK WKH KDUGHVW WR VSHFLI\ WKH PRVW GLIILFXOW WR YDOLGDWH 0RVW RI WKH YDOLGDWLRQ ZRUN RFFXUV KHUH ([DPSOHV IURP WKH PDUN DQG UROOEDFN VXSSRUW DSSOLFDWLRQ DUH WKDW WKH SURWRFRO YDULDEOHV 6)3 &0 DQG &6 DUH WR EH EURDGFDVW RQFH HDFK VHFRQG WR WKH RQOLQH VWULQJ DQG
&6 DFWLYH RU VXVSHQGHG
6)35HVSRQVH $FWLYH
6)35HVSRQVH ‘RQH
6HTXHQFH 6)3 IURPDJHG
35,0(120,1$/
6(48(1&(,’/(
6(48(1&(,’/(
‘RQH $FWLYDWH &ULWLFDO
$FWLYDWH &ULWLFDO 6HTXHQFH
5HVXPH &ULWLFDO 6HTXHQFH IURPDJHG PDUNSRLQW
6)3 $FWLYH LQ 3ULPH 6WULQJ
35,0(120,1$/
2QOLQHLQLW
3ULPHLQLW
3RZHUXS ,GOH
)DXOW ,GOH
3RZHUXS ,GOH
)DXOW ,GOH
6(48(1&(&5,7,&$/
6(48(1&(&5,7,&$/
Figure 1: A partial statechart for the DRS prime string
Figure 2: A partial statechart for the DRS online string
QXPEHU RI VXEVWDWHV QHHGHG LQ WKH 6SLQ PRGHO WR LPSOH PHQW HDFK VWDWH VKRZQ RQ WKH VWDWHFKDUWV )RU H[DPSOH WKH IXOO VWDWHFKDUW IRU WKH SULPH VWULQJ KDV VWDWHV DQG HDFK FRXOG EH LPSOHPHQWHG ZLWK VD\ VXEVWDWHV JLYLQJ D VWDWH VSDFHRI××…×
7KH IXOO VWDWHFKDUW IRU WKH RQOLQH VWULQJ KDV VWDWHV $VVXPLQJ VXEVWDWHV IRU HDFK JLYHV × × … × VWDWHV 7KH UHQGH]YRXV FRPPXQLFDWLRQ FRQWDLQV GDWD HOHPHQWV RI ZKLFK DUH XQXVHG OHDYLQJ D WRWDO RI HOH PHQWV (DFK RI WKHVH UHPDLQLQJ LV DW OHDVW D ELQDU\ IODJ 7KLVJLYHV××…× VWDWHVDVDPLQLPXP 7KLV FRQWULEXWHV WR WKH VWDWH VSDFH RI WKH RQOLQH VWULQJ JLYLQJ × VWDWHV WRWDO
%RWK VWULQJV RSHUDWLQJ DV RQH V\VWHP ZLOO KDYH D VWDWH VSDFH RI
VWDWHV SULPH VWULQJ × VWDWHV RQOLQH VWULQJ VWDWHV
:LWK D &38 WKDW H[HFXWHV VWDWH SHU PLFURVHFRQG WKH V\VWHP ZLOO WUDYHUVH LWV UHDFKDELOLW\ JUDSK LQ DERXW \HDUV
7KH SUREOHP RI LQWHUHVW KHUH LV WR GLVFRYHU WKH IDLOXUH PRGHV RI WKLV V\VWHP 7R EH DEOH WR GR WKLV ZH PXVW UH GXFH WKH VWDWH VSDFH GRZQ WR DQ PDQDJHDEOH VL]H E\ DE VWUDFWLQJ DZD\ VWDWHV WKDW DUH QRW JHUPDQH WR WKH RSHUDWLRQ ZH DUH LQWHUHVWHG LQ QDPHO\ D WKH UHSDLU RI IDXOWV E WKH UROOEDFN SURFHVV DQG F WKH V\QFKURQL]DWLRQ EHWZHHQ WKH SULPH DQG WKH RQOLQH EDFNXS V\VWHPV 7KH UHVXOW LV D SDUWLDO VSHFLILFDWLRQ EXW ZKLFK KDV HQRXJK GHWDLO OHIW WR SDUWLDOO\ YDOLGDWH WKH SURSHUWLHV RI LQWHUHVW
5HGXFLQJ WKH VWDWH VSDFH
7KHUH DUH D QXPEHU RI ZD\V LQ ZKLFK WKH VWDWH VSDFH FDQ EH UHGXFHG WR D VL]H DPHQDEOH WR PRGHO FKHFNLQJ )LUVWO\ WKH IXQFWLRQDO UHTXLUHPHQWV RI WKH V\VWHP PD\ EH SDUWLWLRQHG LQWR HTXLYDOHQFH FODVVHV E\ H[SORLWLQJ QDWXUDO V\PPHWULHV RU VXEFODVVHV WKDW PD\ EH SUHVHQW LQ WKH GR PDLQ 6HFRQGO\ WKH YDOLGDWLRQ WDVN FDQ EH SDUWLWLRQHG E\
程序代写 CS代考 加微信: powcoder QQ: 1823890830 Email: powcoder@163.com