Synthesis of Synchronous Sequential Logic Circuits from Partial Input

1 downloads 0 Views 162KB Size Report
Programmable Array Logic which is commercially available as GAL. We are ... circuits at the lowest level, in the actual logic devices, using realatime input/output.
6\QWKHVLVRI6\QFKURQRXV6HTXHQWLDO/RJLF&LUFXLWV IURP3DUWLDO,QSXW2XWSXW6HTXHQFHV &KDL\DVLW0DQRYLW&KDWFKDZLW$SRUQWHZDQDQG3UDEKDV&KRQJVWLWYDWDQD 'HSDUWPHQWRI&RPSXWHU(QJLQHHULQJ)DFXOW\RI(QJLQHHULQJ&KXODORQJNRUQ8QLYHUVLW\ %DQJNRN7KDLODQG SUDEKDV#FKXODDFWK

$EVWUDFW 7KLV ZRUN WDNHV D GLIIHUHQW DSSURDFK WR V\QWKHVL]H D V\QFKURQRXV VHTXHQWLDO ORJLF FLUFXLW  7KH LQSXW RI WKH V\QWKHVL]HU LV D SDUWLDO LQSXWRXWSXW VHTXHQFH 7KLV W\SH RI VSHFLILFDWLRQ LV QRW VXLWDEOH IRU FRQYHQWLRQDO V\QWKHVLV PHWKRGV*HQHWLF$OJRULWKP *$ ZDVDSSOLHGWRV\QWKHVL]HWKHGHVLUHGFLUFXLW WKDWSHUIRUPVDFFRUGLQJWRWKHLQSXWRXWSXWVHTXHQFHV*$VHDUFKHVIRUFLUFXLWV WKDW UHSUHVHQW WKH GHVLUHG VWDWH WUDQVLWLRQ IXQFWLRQ $GGLWLRQDO FRPELQDWLRQ FLUFXLWV WKDW PDS VWDWHV WR WKH FRUUHVSRQGLQJ RXWSXWV DUH V\QWKHVL]HG E\ FRQYHQWLRQDO PHWKRGV 7KH WDUJHW RI RXU V\QWKHVLV LV D W\SH RI UHJLVWHUHG 3URJUDPPDEOH $UUD\ /RJLF ZKLFK LV FRPPHUFLDOO\ DYDLODEOH DV *$/ :H DUH DEOHWRV\QWKHVL]HYDULRXVW\SHVRIV\QFKURQRXVVHTXHQWLDOORJLFFLUFXLWVXFKDV FRXQWHUVHULDODGGHUIUHTXHQF\GLYLGHUPRGXORGHWHFWRUDQGSDULW\FKHFNHU

,QWURGXFWLRQ 7KHFRQYHQWLRQDOPHWKRGWRV\QWKHVL]HDVHTXHQWLDOORJLFFLUFXLWUHTXLUHVNQRZOHGJH RI WKH FLUFXLW¶V EHKDYLRU LQ WKH IRUP RI D VWDWH GLDJUDP  $ VHTXHQWLDO QHWZRUN LV D FRPPRQ VWDUWLQJ SRLQW IRU VHTXHQWLDO V\QWKHVLV V\VWHP VXFK DV %HUNHOH\ 6\QWKHVLV 6\VWHP 6,6 >@  :H DLP WR UHDOL]H DQ HYROYDEOH KDUGZDUH WKDW FDQ PLPLF RWKHU VHTXHQWLDOFLUFXLWE\REVHUYLQJLWVSDUWLDOLQSXWRXWSXWVHTXHQFHV,QWKLVFDVHFLUFXLW VSHFLILFDWLRQVDUHLQWKHIRUPRISDUWLDOLQSXWRXWSXWVHTXHQFHVZKLFKDUHQRWVXLWDEOH WRV\QWKHVL]HDFLUFXLWE\WKHFRQYHQWLRQDOPHWKRG*HQHWLF$OJRULWKP *$ >@LV XVHG WR VHDUFK IRU FLUFXLWV WKDW UHSUHVHQW WKH GHVLUHG VWDWH WUDQVLWLRQ IXQFWLRQ $GGLWLRQDO FRPELQDWLRQ FLUFXLWV WKDW PDS VWDWHV WR WKH FRUUHVSRQGLQJ RXWSXWV DUH V\QWKHVL]HG E\ FRQYHQWLRQDO PHWKRGV 7KH VLPXODWHG HYROXWLRQ KDV EHHQ XVHG WR V\QWKHVL]HDILQLWHVWDWHPDFKLQH )60 LQ>@ZKHUHWKHUHVXOWLQJ)60FDQSUHGLFW WKHRXWSXWV\PEROEDVHGRQWKH VHTXHQFHRILQSXWV\PEROVREVHUYHG,QFRQWUDVWWR UHSUHVHQWLQJ FLUFXLWV DV )60V >@ SURSRVHV WKH DXWRPDWHG KDUGZDUH GHVLJQ DW WKH +DUGZDUH 'HVFULSWLRQ /DQJXDJH OHYHO  XVLQJ *$  >@ GHVFULEHV WKH HYROXWLRQ RI KDUGZDUH DW IXQFWLRQOHYHO EDVHG RQ UHFRQILJXUDEOH ORJLF GHYLFHV  >@ HYROYHG FLUFXLWV DW WKH ORZHVW OHYHO LQ WKH DFWXDO ORJLF GHYLFHV XVLQJ UHDOWLPH LQSXWRXWSXW 2XUZRUNLVVLPLODUWR>@LQWKHXVHRI)60EXWZHXVH)60DVWKHPRGHORIWKH GHVLUHGFLUFXLWEHKDYLRU:HDLPWRHYROYHWKHFLUFXLWDWWKHORJLFGHYLFHOHYHOVLPLODU

WR >@  7KH IROORZLQJ VHFWLRQV GHVFULEH RXU V\QWKHVLV PHWKRG WKH H[SHULPHQW LQ V\QWKHVL]LQJYDULRXVVLPSOHVHTXHQWLDOFLUFXLWVDQGWKHDQDO\VLVRIWKHUHVXOW1RWDEO\ WKHDQDO\VLVDERXW WKH OHQJWK RI WKH LQSXWRXWSXW VHTXHQFH ZKLFK KDV LPSOLFDWLRQ RQ WKHHIILFLHQF\RIWKHV\QWKHVL]HU

7KHV\QWKHVL]HU :HXVH3URJUDPPDEOH/RJLF'HYLFH 3/' DVRXUWDUJHWVWUXFWXUH)RUVLPSOLFLW\ZH XVHG *$/ VWUXFWXUH ZKLFK LV FRPSRVHG RI URZV RI WZROHYHO VXPRISURGXFW 3URJUDPPDEOH$UUD\/RJLF 3$/ FRQQHFWHGWR'IOLSIORSV7KHLPSOHPHQWHGPRGHO KDVIRXUORJLFWHUPVSHURQHIOLSIORSDQGKDVDWRWDORIIRXUIOLSIORSV$FLUFXLWLV VSHFLILHG E\ D OLQHDU ELWVWULQJ UHSUHVHQWLQJ DOO FRQQHFWLRQ SRLQWV ZKLFK LV HQWLUHO\ ELWVLQOHQJWK:HDSSOLHG*HQHWLF$OJRULWKPWRV\QWKHVL]HVLPSOHFLUFXLWVVXFK DVFRXQWHUVHULDODGGHUIUHTXHQF\GLYLGHUPRGXORGHWHFWRUDQGSDULW\FKHFNHU7KH VSHFLILFDWLRQRIDGHVLUHGFLUFXLWLVLQWKHIRUPRIDSDUWLDOLQSXWRXWSXWVHTXHQFH7KH FLUFXLWDFTXLUHGIURPWKHHYROXWLRQSURFHVVZLOOUHDOL]HRQO\WKHVWDWHWUDQVLWLRQSDUW 7KHRXWOLQHRIWKHV\QWKHVL]HU¶VVWHSVLVDVIROORZV VDPSOHDSDUWLDOLQSXWRXWSXWVHTXHQFHIURPWKHWDUJHWFLUFXLW XVHWKHVHTXHQFHDVLQSXWVRIWKHV\QWKHVL]HUSURJUDP YHULI\WKHUHVXOWLQJFLUFXLWLIWKHUXQ\LHOGVDVROXWLRQZLWKLQJHQHUDWLRQV EHFDXVH*$LVDSUREDELOLVWLFDOJRULWKPQRWDOOUXQVDUHVXFFHVVIXOLQ\LHOGLQJ DVROXWLRQE\WKHVSHFLILFJHQHUDWLRQ *HQHWLF2SHUDWLRQV (DFKLQGLYLGXDOLVUHSUHVHQWHGE\DELWELWVWULQJ:HGHILQHGJHQHWLFRSHUDWRUVDV IROORZV 5HSURGXFWLRQ7HQQHZRIIVSULQJVVXUYLYHLQWKH QH[W JHQHUDWLRQ E\ VHOHFWLQJ WKH ILUVW  ILWWHVW LQGLYLGXDOV RUGHUHG E\ FRPELQHG UDQN PHWKRG >@ FDOFXODWHGIURPHDFKLQGLYLGXDO¶VILWQHVVUDQNDQGLWVGLYHUVLW\UDQN  &URVVRYHU 0RUH LQGLYLGXDOV EHLQJ DGGHG WR WKH SRSXODWLRQ DUH SURGXFHG E\ XQLIRUP FURVVRYHU >@ $OO SRVVLEOH SDLUV DPRQJ  DOUHDG\ VHOHFWHG LQGLYLGXDOVDUHXVHGWRSURGXFHQHZRIIVSULQJV7KDWLV ZHZLOO KDYHQHZ LQGLYLGXDOV 0XWDWLRQ/DVWLQGLYLGXDOVEHLQJDGGHGDUHPXWDWHG YHUVLRQRIWKH ILUVW  VHOHFWHG LQGLYLGXDOV 7KH PXWDWLRQ SURFHVV LV FRQWUROOHG VR WKDW LW FKDQJHV H[DFWO\ELWVRIHDFKLQGLYLGXDO :HDOVRDGGVRPHPRUHFRQVWUDLQWV)LUVWZHDYRLGFUHDWLQJDSURGXFWWHUPZKLFK DOZD\V EH ³´ 6HFRQG FRQQHFWLRQ SRLQWV WR XQXVHG LQSXW VLJQDOV DUH OHIW XQZLUHG 7KLVUHGXFHVWKHVHDUFKVSDFHRIWKHSUREOHPDQGOHWVWKHSURJUDPFRQFHQWUDWHRQWKH FRQQHFWLRQSRLQWVWKDWGRDIIHFWWKHIXQFWLRQRIWKHFLUFXLW

)LWQHVV(YDOXDWLRQ $QLQGLYLGXDOLVHYDOXDWHGE\WKHIROORZLQJVWHSV IHHGRQHLQSXWWRWKHFLUFXLWDQGFORFNWKHFLUFXLW QH[WVWDWHRIWKHFLUFXLWZRXOGEHPDSSHGZLWKWKHFRUUHVSRQGLQJRXWSXWUHFRUG WKH QXPEHU RI WLPHV WKH VWDWH KDV EHHQ PDSSHG WR RXWSXW ³´ DQG ³´ LQGHSHQGHQWO\ UHSHDWVWHSVDQGXQWLOWKHHQGRIWKHVHTXHQFH $IWHUWKHVHTXHQFHLVFRPSOHWHGWKHILWQHVVYDOXHRIWKHLQGLYLGXDO)LVFRPSXWHG E\ L 6  ­ PD[ S  T  S RUT   ) ¦ IL ZKHUH I  ® L  ¯ PLQ S  T  RWKHUZLVH ZKHUH I LVWKHILWQHVVYDOXHRIVWDWHL S LVWKHQXPEHURIWLPHVLQZKLFKVWDWHLKDVWREHPDSSHGZLWKRXWSXW³´ T LVWKHQXPEHURIWLPHVLQZKLFKVWDWHLKDVWREHPDSSHGZLWKRXWSXW³´ 6 LVWKHQXPEHURIVWDWHVHTXDOWRIRUWKH*$/VWUXFWXUH L

L

L

L

L

L

L

L

L L

%DVHGRQ0RRUH¶V PRGHODVWDWHRIDQ)60 PXVWEH PDSSHGWRRQO\ RQH RXWSXW YDOXH7KHUHIRUHDQ\VWDWHWKDWLVPDSSHGWRERWK³´DQG³´ZLOOFDXVHDSHQDOW\LQ WKH ILWQHVV YDOXH DV VKRZQ LQ WKH IRUPXOD )RU 0HDO\¶V PRGHO WKH HYDOXDWLRQ LV VLPLODU7KHGLIIHUHQFHLVWKDWRXWSXWYDOXHVDUHPDSSHGWRWUDQVLWLRQSDWKVLQVWHDGRI VWDWHV

6L]HRI,QSXW2XWSXW6HTXHQFHV $SDUWLDOLQSXWRXWSXWVHTXHQFHZKLFKLVXVHGDVDFLUFXLW¶VVSHFLILFDWLRQLVDWWDLQHG E\JHQHUDWLQJDVHTXHQFHRILQSXWVIHHGLQJHDFKRQHWRWKHWDUJHWPDFKLQHDQGWKHQ UHFRUGLQJWKHFRUUHVSRQGLQJRXWSXWWKDWWKHPDFKLQHJLYHV7REHDJHQHUDODSSURDFK DQG \LHOG D VLPSOH DQDO\VLV WKH LQSXW VHTXHQFH LV FUHDWHG DW UDQGRP ZLWK XQLIRUP GLVWULEXWLRQ LH DW DQ\ WLPH WKH SUREDELOLW\ WKDW WKH LQSXW ELW EH ³´ DQG ³´ DUH HTXDO  7KHLQSXWVHTXHQFHVKRXOGEHORQJHQRXJK WR H[HUFLVH DOO DVSHFWV RI WKH FLUFXLW¶V IXQFWLRQ,QRWKHUZRUGVLWVKRXOGEHDEOHWRWHVWDOOSDWKVRIWKHVWDWHGLDJUDPRIWKH FLUFXLW $V PHQWLRQHG HDUOLHU LQ WKLV SDSHU ZH XVH WKH *$/ VWUXFWXUH ZKLFK FDQ EH SURJUDPPHG DV D VWDWH VWDWH PDFKLQH ODUJHU WKDQ WKH GHVLUHG FLUFXLW¶V QHHG 7KHUHIRUHWKHLQSXWVHTXHQFHVKRXOGDOVREHORQJHQRXJKWRH[HUFLVHDOOSDWKVRIDQ\ VWDWHFLUFXLW,IWKHVHTXHQFHLVWRRVKRUWLWPD\FDXVHDQDPELJXLW\LQGHVFULELQJ WKHGHVLUHGFLUFXLW,QWKLVSDSHUZHZLOOFDOOWKHOHQJWKRIWKHLQSXWVHTXHQFHZKLFK LV ORQJ HQRXJK WR GHVFULEH H[HUFLVH  RQO\ WKH GHVLUHG FLUFXLW DV ORZHUERXQG OHQJWK DQG FDOO WKH OHQJWK RI WKH LQSXW VHTXHQFH ZKLFK LV ORQJ HQRXJK WR H[HUFLVH DQ\  VWDWHFLUFXLWDVXSSHUERXQGOHQJWK :HFDQILQGWKHSURSHUVL]HRIWKHLQSXWVHTXHQFHE\PDNLQJDQDQDORJ\WRDGLFH UROOLQJSUREOHP&RQVLGHUUROOLQJDGLFHKRZPDQ\WLPHVGRZHKDYHWRUROOLWXQWLO

DOORILWVIDFHVDSSHDU"7KLVSUREOHPLVFDOOHGZDLWLQJWLPHVLQVDPSOLQJ>@LQZKLFK ZHFDQILQGWKHH[SHFWHGYDOXHRIWKHQXPEHURIWLPHVE\WKHIROORZLQJIRUPXOD ½ ­   Q ®   ¾ QLVWKHQXPEHURIIDFHV   Q ¯ ¿ &RQVLGHUDFLUFXLWWKDWKDVLELWLQSXWVJLYLQJSRVVLEOH,  LQSXWSDWWHUQVDQGKDV 6VWDWHV:HDVVXPHWKDWDWDQ\WLPHWKHSUREDELOLW\WKDWWKHFLUFXLWEHLQDQ\VWDWHLV HTXDO6RIURPWKHVWDUWLQJVWDWHZHH[SHFWWKHQXPEHURIVWDWHWUDQVLWLRQVWREH( 6 WR WUDYHUVH WKURXJK DOO VWDWHV RI WKH VWDWH GLDJUDP $QG DW DQ\ VWDWH ZH H[SHFW WKH QXPEHURILQSXWVWREH( , WRWUDYHUVHWKURXJKDOOSDWKVIURPWKDWVWDWH7KHUHIRUHWR WUDYHUVHWKURXJKDOOSDWKVRIWKHVWDWHGLDJUDPZHZRXOGH[SHFWWKHQXPEHURILQSXWV WKHOHQJWKRIWKHLQSXWVHTXHQFHWREH ( Q

L

/ ( 6 u( , 



7KHORZHUERXQGOHQJWKLVFRPSXWHGE\XVLQJ6HTXDOWRWKHQXPEHURIVWDWHVRIWKH FLUFXLW:KLOHWKHXSSHUERXQGOHQJWKLVFRPSXWHGE\XVLQJ6HTXDOWRWKH PD[LPXP QXPEHURIVWDWHVZKLFKWKH*$/VWUXFWXUHFDQUHSUHVHQWLQWKLVFDVH 7DEOH'HVFULSWLRQRIFLUFXLWVLQWKHH[SHULPHQW

&LUFXLW )UHTXHQF\'LYLGHU 2GG3DULW\'HWHFWRU 0RGXOR'HWHFWRU 6HULDO$GGHU 1RWH )UHTXHQF\'LYLGHU 2GG3DULW\'HWHFWRU 0RGXOR'HWHFWRU 6HULDO$GGHU

RI LQSX ELWV    

RIVWDWHV 0RRUH    

0HDO\    

ORZHUERXQG OHQJWK 0RRUH 0HDO\        

XSSHU ERXQG OHQJWK    

JLYHVTXDUHZDYHRXWSXWVRIFORFN¶VIUHTXHQF\GLYLGHGE\ JLYHDQRXWSXW³´ZKHQWKHQXPEHURI³´LQLQSXWVLVRGG JLYHDQRXWSXW³´ZKHQWKHFXUUHQWLQSXWLVWKHQ WK³´Q, JLYHWKHVXPRILQSXWVLQSXWVDUHIHHGLQJIURP/6%WR06%

7KH H[SHULPHQW ZDV GRQH ZLWK PDQ\ LQSXWRXWSXW VHTXHQFHV RI GLIIHUHQW OHQJWKV IRU HDFK SUREOHP 7KH VHOHFWHG OHQJWKV DUH    ORZHUERXQG DQG XSSHUERXQG)RUHDFKOHQJWKDWOHDVWGLIIHUHQWUDQGRPVHTXHQFHVRILQSXWRXWSXWDUH XVHG $QG WKH V\QWKHVL]HU ZDV UHSHDWHGO\ UXQ  WLPHV RQ HDFK VHTXHQFH 7KXV ZH KDGDWOHDVWuHTXDOWRLQGHSHQGHQWUXQVIRUHDFKOHQJWKRIWKHVHTXHQFHIRU RQHSUREOHP7DEOHVKRZVWKHGHWDLOVRIGHVLUHGFLUFXLWVDQGWKHFDOFXODWHGOHQJWKV RIHDFKSUREOHP &LUFXLW9HULILFDWLRQ ,Q WKLV H[SHULPHQW WKH VWDWH GLDJUDPV RI GHVLUHG FLUFXLWV DUH NQRZQ 7KH VWDWH WUDQVLWLRQSDUWRIWKHVWDWHGLDJUDPRIWKHUHVXOWLQJFLUFXLWFDQEHGHULYHGE\IL[LQJWKH FXUUHQWVWDWHDQGIHHGLQJLQDOOSDWWHUQVRILQSXWVDQGUHFRUGLQJVWDWHWUDQVLWLRQV:H

WKHQFRPSDUHWRFKHFNLILWLVHTXLYDOHQWWRWKHNQRZQRQH7KH\FDQEHFRQVLGHUHGWR EHHTXLYDOHQWLIDQGRQO\LIHDFKVWDWHRIRQHGLDJUDPFDQEHPDWFKHGZLWKRQHVWDWH RIWKHRWKHU ,QDJHQHUDOFDVHZKHQZHGRQRWNQRZWKHVWDWHGLDJUDPVRIGHVLUHGFLUFXLWVZH SURSRVHRQHZD\WRYHULI\LW7KHFRQFHSWLVVLPLODUWRWKHGHWHUPLQDWLRQRIWKHVL]HRI LQSXWRXWSXWVHTXHQFHV$QXSSHUERXQGVL]HRILQSXWRXWSXWVHTXHQFHVKRXOGEHXVHG WR WHVW WKH FLUFXLW 2QO\ RQH VHTXHQFH KRZHYHU PLJKW QRW VXIILFH WR WHVW WKH FRUUHFWQHVV HVSHFLDOO\ RI WKH YHU\ ILUVW VWDWHV ,W LV SRVVLEOH WKDW WKH LQSXW VHTXHQFH OHDGVWKHFLUFXLWWRSDVVRQHVWDWHDQGQHYHUJREDFNWRWKDWVWDWHDJDLQ,QWKLVFDVH ZHFDQQRWEHVXUHWKDWRWKHURXWSDWKVIURPWKDWVWDWHOHDGWRWKHFRUUHFWQH[WVWDWHV &RQVHTXHQWO\ZHVKRXOGXVHVHYHUDOWHVWVHTXHQFHVWREHPRUHFRQILGHQW

(IIRUW 7KHH[SHULPHQWLVGRQHRQD0+]ZRUNVWDWLRQ,QWKHZRUVWFDVHRQHUXQXVHV PLQXWHVDQGWHUPLQDWHVDWJHQHUDWLRQZLWKQRVROXWLRQ:HZLOOFDOFXODWHDQG FRPSDUH HPSLULFDO FRPSXWDWLRQDO HIIRUW XVLQJ D PHWKRG ZKLFK LV VOLJKWO\ DGDSWHG IURP.R]D>@DVIROORZV L JHQHUDWLRQQXPEHU 0 SRSXODWLRQVL]H 3 0L FXPXODWLYHSUREDELOLW\RI\LHOGLQJDFRUUHFWVROXWLRQE\JHQHUDWLRQL : 0L FXPXODWLYHSUREDELOLW\RI\LHOGLQJDZURQJVROXWLRQE\JHQHUDWLRQL ; 0L LQVWDQWDQHRXVSUREDELOLW\RI\LHOGLQJDZURQJVROXWLRQE\JHQHUDWLRQL , 0L] LQGLYLGXDOVWKDWPXVWEHSURFHVVHGE\JHQHUDWLRQLZLWKSUREDELOLW\] 5 ] QXPEHURILQGHSHQGHQWUXQVUHTXLUHGWR\LHOGDWOHDVWRQHVXFFHVVIXOUXQ ZLWKSUREDELOLW\] ] SUREDELOLW\RIVDWLVI\LQJWKHVXFFHVVSUHGLFDWHGE\ JHQHUDWLRQLDWOHDVW RQFHLQ5LQGHSHQGHQWUXQV 

]   >  3 0  L @ 5





ª ORJ   ] º « » « ORJ   3 0  L »

5 0  L  ] , 0  L  ]

5

0 u L   u 5 ] 

 

:HSD\DWWHQWLRQRQO\WRWKHFRUUHFWVROXWLRQV:HFRXOGQRWFRXQWWKHUXQ\LHOGLQJ DZURQJVROXWLRQDVDQRUPDOXQVXFFHVVIXOUXQ,IZHGRFRXQWLWWKHFDOFXODWHGHIIRUW ZLOO EH RYHUHVWLPDWHG :H KDYH WR VXEWUDFW , 0L]  E\ WKH QXPEHU RI LQGLYLGXDOV ZKLFKDUHQRWSURGXFHGDIWHUWKHUXQVWRSSHG(PSLULFDOO\WKHUHDUH ; 0M u5UXQV WKDW \LHOG ZURQJ VROXWLRQV DW JHQHUDWLRQ M 7KHUHIRUH LI ZH OHW WKH SURJUDP UXQ WLOO JHQHUDWLRQLL!MWKHQXPEHURILQGLYLGXDOVZKLFKDUHQRWSURGXFHGLVHTXDOWR   ­  ½ 0 ¦ L  M ; 0  M 5 0 ® ¦ L; 0  M 5  ¦ M; 0  M 5 ¾    ¯  ¿ M

L

M

M

L

M

M

L

M

M

0

L



¦ L  M ; 0  M 5 M



 ­ ½ 0 ® 5 u L u : 0  L  5 ¦ M; 0  M ¾   ¯ ¿ M

L



M

&RQVHTXHQWO\  ­ ½ 0 u L   u 5  0 ® 5 u L u : 0  L  5 ¦ M; 0  M ¾    ¯ ¿ 7KHFRPSXWDWLRQDOHIIRUWYDOXH(LVWKHPLQLPXP, 0L] YDU\LQJYDOXHRIL(LV WKH PLQLPXP QXPEHU RI LQGLYLGXDOV QHHGHG WR SURGXFHG WR \LHOG D FRUUHFW VROXWLRQ ZLWK D VDWLVIDFWRULO\ KLJK SUREDELOLW\ ]     +RZHYHU WKH WLPH LQ HYDOXDWLQJ D FLUFXLWDOVRGHSHQGVRQWKHOHQJWKRILQSXWRXWSXWVHTXHQFHV7KXVLWLVQRWHGWKDWWKH OHQJWKRILQSXWRXWSXWVHTXHQFHVVKRXOGEHFRQVLGHUHGDORQJZLWKWKHFRPSXWDWLRQDO HIIRUW M

L

, 0  L  ]

M

([SHULPHQWDQGWKH5HVXOWV )LJVKRZVWKHHYROXWLRQRIDVHULDODGGHU7KHFLUFXLWWKDWSHUIRUPVDFFRUGLQJO\WR WKHLQSXWRXWSXWVHTXHQFHDSSHDUVLQWKHUGJHQHUDWLRQ:HNQRZLWLVDFRUUHFWVHULDO DGGHU DIWHU ZH YHULILHG LW :H FRXOG REVHUYH PDQ\ UHGXQGDQW VWDWHV LQ WKH UHVXOWLQJ FLUFXLWEHFDXVHWKHJLYHQVSDFH VWDWHPDFKLQH LVODUJHUWKDQWKHVROXWLRQ 0D[ILWQHVV



 $YJILWQHVV

VVH LWQ) 

 





















*HQHUDWLRQ

)LJ(YROXWLRQRID6HULDO$GGHU 0HDO\ VL]HRILQSXWVHTXHQFH 

 H J D W Q  H F U H  3  V V H  Q W F H U U  R &  







6L]HRILQSXWVHTXHQFH /RJVFDOH

)LJ   &RUUHFWQHVV DQG VL]H RI VHTXHQFH 6HULDO$GGHU0HDO\ VPRGHO

:HGHILQHWKHFRUUHFWQHVVSHUFHQWDJHDV

QXPEHURIUXQV\LHOGLQJFRUUHFWVROXWLRQV   QXPEHURIUXQV\LHOGLQJVROXWLRQV )LJVKRZVWKHUHODWLRQRIWKHVL]HRILQSXWVHTXHQFHWRWKHSHUFHQWDJHRIFRUUHFW UHVXOWV RI V\QWKHVLV IURP WKH VHTXHQFH RI WKDW VL]H :H XVHG ILYH UDQGRP LQSXW VHTXHQFHV IRU HDFK SRLQW DQG UXQ HDFK LQSXW VHTXHQFH IRU  WLPHV WR PDNH WKH DYHUDJH FRUUHFWQHVV 7KH ORQJHU LQSXW VHTXHQFH LQFUHDVHV WKH FRUUHFWQHVV +RZHYHU WKHFRUUHFWQHVVSHUFHQWDJHEHFRPHVVDWXUDWHGDWWKHODUJHVL]HRILQSXWVHTXHQFH &RUUHFWQHVV3HUFHQWDJH

ORZHUERXQGOHQJWK 

XSSHUERXQGOHQJWK 

    0 W U R  I I (     







6L]HRILQSXWVHTXHQFH /RJVFDOH

)LJ(IIRUWDQGVL]HRILQSXWVHTXHQFH 6HULDODGGHU0HDO\ VPRGHO0 

)LJVKRZVWKHHIIRUWRIHYROYLQJDVHULDODGGHUXVLQJGLIIHUHQWVL]HVRIVHTXHQFHV 7KLV UHVXOW FRQILUPV RXU ORZHUERXQG DQG XSSHUERXQG OHQJWK K\SRWKHVHV $Q\ LQSXW VHTXHQFHWKDWLVVKRUWHUWKDQWKHORZHUERXQGOHQJWKFDQQRW\LHOGDQ\FRUUHFWVROXWLRQ FRQVHTXHQWO\ WKH HIIRUW FDQ QRW EH FRPSXWHG 7KH LQSXW VHTXHQFH ORQJHU WKDQ WKH XSSHUERXQGOHQJWK\LHOGVVDWXUDWHGHIIRUWYDOXHEHFDXVHRIWKHDSSUR[LPDWHO\FRQVWDQW FRUUHFWQHVV SHUFHQWDJH ,W LV SRVVLEOH WR VHOHFW WKH VXLWDEOH VL]H RI LQSXW VHTXHQFH WR PLQLPL]HHIIRUWDQGPD[LPL]HFRUUHFWQHVV7KHVL]HRILQSXWVHTXHQFHVKRXOGEHVPDOO WRPLQLPL]HWKHUXQQLQJWLPH 7DEOHVXPPDUL]HVWKHFRPSXWDWLRQDOHIIRUWRIHDFKSUREOHPXVLQJLQSXWRXWSXW VHTXHQFHVRIXSSHUERXQGOHQJWK 7DEOH7KHVXPPDU\RIFRPSXWDWLRQDOHIIRUW

&LUFXLW )UHTXHQF\'LYLGHU 2GG3DULW\'HWHFWRU 0RGXOR'HWHFWRU 6HULDO$GGHU

0RRUH    

(IIRUW

0HDO\    

&RQFOXVLRQ 7KLVSDSHUGHVFULEHGV\QWKHVLVRIV\QFKURQRXVVHTXHQWLDOORJLFFLUFXLWIURPDSDUWLDO LQSXWRXWSXW VHTXHQFH *$ ZDV DSSOLHG WR V\QWKHVL]H D FLUFXLW WKDW EDVHG RQ 0RRUH DQG0HDO\¶VPRGHORQWKH*$/VWUXFWXUH:HFDQDSSUR[LPDWHWKHVXLWDEOHVL]HRIWKH LQSXWVHTXHQFHWR\LHOGKLJKFRUUHFWQHVVDQGORZHIIRUW7KLVZRUNFDQEHH[WHQGHGLQ PDQ\ZD\V2QHPDMRUDVSHFWLVWKHHQKDQFHPHQWRIWKHHYROXWLRQDU\SURFHVVLQERWK HIIRUWDQGWLPH$QLPSOHPHQWDWLRQRIWKLVZRUNLQUHDOKDUGZDUHWRUHDOL]HDQRQOLQH HYROZDUH>@LVRQHLQWHUHVWLQJDSSURDFK

5HIHUHQFHV  6HQWRYLFK(6LQJK.0RRQ&6DYRM+ %UD\WRQ 5 DQG 6DQJLRYDQQL9LQFHQWHOOL $ 6HTXHQWLDO FLUFXLW GHVLJQ XVLQJ V\QWKHVLV DQG RSWLPL]DWLRQ 3URF RI ,QW &RQI RQ &RPSXWHU'HVLJQ   +ROODQG-$GDSWDWLRQLQQDWXUDODQGDUWLILFLDOV\VWHPV0,73UHVV   *ROGEHUJ'*HQHWLF$OJRULWKPLQVHDUFKRSWLPL]DWLRQDQGPDFKLQHOHDUQLQJ$GGLVRQ :HVOH\   )RJHO/$XWRQRPRXV$XWRPDWD,QGXVWULDO5HVHDUFK    $QJHOLQH 3 )RJHO ' )RJHO /  $ FRPSDULVRQ RI VHOIDGDSWDWLRQ PHWKRGV IRU ILQLWH VWDWHPDFKLQHLQG\QDPLFHQYLURQPHQW(YROXWLRQ3URJUDPPLQJ9/)RJHO3$QJHOLQH 7%DFN HGV 0,73UHVV    0L]RJXFKL-+HPPL+6KLPRKDUD .3URGXFWLRQ *HQHWLF $OJRULWKPV IRU DXWRPDWHG KDUGZDUH GHVLJQ WKURXJK DQ HYROXWLRQDU\ SURFHVV 3URF RI WKH ILUVW ,((( ,QW &RQI RQ (YROXWLRQDU\&RPSXWDWLRQ    +LJXFKL 7 0XUDNDZD 0 ,ZDWD 0 .DMLWDQL , /LX ( 6DODPL 0 (YROYDEOH KDUGZDUHDWIXQFWLRQOHYHO3URFRI,(((,QW&RQIRQ(YROXWLRQDU\&RPSXWDWLRQ    7KRPSVRQ $ +DUYH\ , +XVEDQGV 3  7KH QDWXUDO ZD\ WR HYROYH KDUGZDUH 3URF RI ,(((,QW&RQIRQ(YROXWLRQDU\&RPSXWDWLRQ    7KRPSVRQ$$QHYROYHGFLUFXLWLQWULQVLFLQVLOLFRQHQWZLQHGZLWKSK\VLFV3URFRIWKH )LUVW ,QW &RQI RQ (YROYDEOH 6\VWHPV )URP %LRORJ\ WR +DUGZDUH ,&(6  /HFWXUH 1RWHVLQ&RPSXWHU6FLHQFHV6SULQJHU9HUODJ   :LQVWRQ3$UWLILFLDO,QWHOOLJHQFH$GGLVRQ:HVOH\    6\VZHUGD*8QLIRUPFURVVRYHULQ*HQHWLF$OJRULWKPV3URFRIWKH7KLUG,QW&RQIRQ *HQHWLF$OJRULWKPV-'6FKDIIHU HG 0RUJDQ.DXIIPDQ    )HOOHU:$QLQWURGXFWLRQWRSUREDELOLW\WKHRU\DQGLWVDSSOLFDWLRQVYRO,:LOH\    .R]D-*HQHWLF3URJUDPPLQJ0,73UHVV   7RPDVVLQL 0 (YROXWLRQDU\ DOJRULWKPV 7RZDUGV (YROYDEOH +DUGZDUH ( 6DQFKH] DQG 0 7RPDVVLQL HGV  YRO  RI /HFWXUH 1RWHV LQ &RPSXWHU 6FLHQFH 6SULQJHU9HUODJ +HLGHOEHUJ    6LSSHU0*RHNH00DQJH'6WDXIIHU$6DQFKH](7RPDVVLQL07KH)LUHIO\ PDFKLQH2QOLQHHYROZDUH3URFRI,(((,QW&RQIRQ(YROXWLRQDU\&RPSXWDWLRQ