CS作业代写 DV 560/ RU 6&5 WR YDOLGDWH GHWHU􏰂 PLQLVWLF FRPSRQHQWV􏰆 )RU H[DPSOH􏰅 (DVWH

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#UHVHDUFK􏰆LYY􏰆QDVD􏰆JRY

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􏰂 LQJ􏰇DPELJXRXV UHTXLUHPHQWV􏰆 %HFDXVH WKH PHWKRG DOORZV YDOLGDWLRQ RI SDUWLDO VSHFLILFDWLRQV􏰅 LW LV DOVR DQ HIIHFWLYH DSSURDFK IRU PDLQWDLQLQJ ILGHOLW\ EHWZHHQ D FR􏰂HYROYLQJ 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􏰆
-HW􏰝3URSXOVLRQ􏰝/DERUDWRU\􏰞􏰝&DOLIRUQLD􏰝,QVWLWXWH􏰝RI􏰝7HFKQRORJ\􏰞􏰝XQGHU􏰝D FRQWUDFW􏰝ZLWK􏰝WKH􏰝1DWLRQDO􏰝$HURQDXWLFV􏰝DQG􏰝6SDFH􏰝$GPLQLVWUDWLRQ􏰞􏰝DQG LQ􏰝SDUW􏰝E\􏰝:HVW􏰝9LUJLQLD􏰝8QLYHUVLW\􏰝XQGHU􏰝1$6$􏰝FRRSHUDWLYH􏰝DJUHH􏰟 PHQW􏰝􏰪1&&􏰝􏰣􏰟􏰩􏰧􏰩􏰠􏰝5HIHUHQFH􏰝KHUHLQ􏰝WR􏰝DQ\􏰝VSHFLILF􏰝FRPPHUFLDO􏰝SURG􏰟 XFW􏰞􏰝SURFHVV􏰞􏰝RU􏰝VHUYLFH􏰝E\􏰝WUDGH􏰞􏰝QDPH􏰞􏰝WUDGHPDUN􏰞􏰝PDQXIDFWXUHU􏰞􏰝RU RWKHUZLVH􏰞􏰝GRHV􏰝QRW􏰝FRQVWLWXWH􏰝RU􏰝LPSO\􏰝LWV􏰝HQGRUVHPHQW􏰝E\􏰝WKH􏰝8QLWHG 6WDWHV􏰝*RYHUQPHQW􏰞􏰝WKH􏰝-HW􏰝3URSXOVLRQ􏰝/DERUDWRU\􏰞􏰝&DOLIRUQLD􏰝,QVWLWXWH RI􏰝7HFKQRORJ\􏰝RU􏰝:HVW􏰝9LUJLQLD􏰝8QLYHUVLW\
􏰣􏰝-HW􏰝3URSXOVLRQ􏰝/DERUDWRU\􏰝􏰡􏰝&DOLIRUQLD􏰝,QVWLWXWH􏰝RI􏰝7HFKQRORJ\􏰞 06􏰝􏰜􏰣􏰦􏰟􏰣􏰤􏰤􏰝3DVDGHQD􏰞􏰝&$􏰝􏰩􏰜􏰜􏰢􏰩􏰠
􏰤􏰝&RPSXWLQJ􏰝6FLHQFHV􏰝5HVHDUFK􏰞􏰝%HOO􏰝/DERUDWRULHV􏰞􏰝/XFHQW􏰝7HFKQROR􏰟 JLHV􏰞􏰝0XUUD\􏰝+LOO􏰞􏰝1-􏰝􏰢􏰧􏰩􏰧􏰥
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 KLJK􏰂OHYHO 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 9􏰎9 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
􏰝7KH􏰝UHVHDUFK􏰝GHVFULEHG􏰝LQ􏰝WKLV􏰝SDSHU􏰝ZDV􏰝FDUULHG􏰝RXW􏰝LQ􏰝SDUW􏰝E\􏰝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 UHDO􏰂WLPH 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\ QRQ􏰂GHWHUPLQLVWLF􏰅 WKDW LV􏰅 WKH WUDQ􏰂
VLWLRQ VFKHPHV DUH UHODWLRQDO QRW IXQFWLRQDO􏰆 6\VWHPV ZLWK LQKHUHQW QRQ􏰂GHWHUPLQLVP DUH QRW HDVLO\ DPHQDEOH WR DQD􏰂 O\WLF VWDWLF HYDOXDWLRQ PHWKRGV􏰆 6\VWHPV WKDW FDQ EH SDUWL􏰂 WLRQHG LQWR D GHWHUPLQLVWLF DQG D QRQ􏰂GHWHUPLQLVWLF 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 QRQ􏰂GHWHUPLQLVWLF HOHPHQWV 􏰏L􏰆H􏰆 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 QRQ􏰂GHWHUPLQLVWLF 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 ORZ􏰂OHYHO 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 9􏰎9 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 WKUHH􏰂VHFRQG 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 WKUHH􏰂OHYHO 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 L􏰆H􏰆 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)3􏰝5HVSRQVH $FWLYH
6)3􏰝5HVSRQVH ‘RQH
6HTXHQFH 6)3 IURP􏰝DJHG
35,0(􏰝120,1$/
6(48(1&(􏰝,’/(
6(48(1&(􏰝,’/(
‘RQH $FWLYDWH &ULWLFDO
$FWLYDWH &ULWLFDO 6HTXHQFH
5HVXPH &ULWLFDO 6HTXHQFH IURP􏰝DJHG PDUNSRLQW
6)3 $FWLYH LQ 3ULPH 6WULQJ
35,0(􏰝120,1$/
2QOLQH􏰝LQLW
3ULPH􏰝LQLW
3RZHU􏰟XS ,GOH
)DXOW ,GOH
3RZHU􏰟XS ,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