Finite Digital Synchronous Circuits are characterized by 2

)LQLWH 'LJLWDO 6\QFKURQRXV &LUFXLWV
DUH FKDUDFWHUL]HG E\
$OJHEUDLF 7UXWK 7DEOHV
-HDQ 9XLOOHPLQ
(FROH 1RUPDOH 6XSu
HULHXUH UXH G
8OP 3DULV FHGH[ )UDQFH
-HDQ9XLOOHPLQ#HQVIU
$EVWUDFW $ GLJLWDO IXQFWLRQ PDSV VHTXHQFHV RI ELQDU\ LQSXWV LQWR VH
TXHQFHV RI ELQDU\ RXWSXWV ,W LV FDXVDO ZKHQ WKH RXWSXW DW F\FOH
ERROHDQ IXQFWLRQ RI WKH LQSXW IURP F\FOHV WKURXJK
$ FDXVDO GLJLWDO IXQFWLRQ
VHTXHQFH RI ELWV )1
I
1
1
LV D
LV FKDUDFWHUL]HG E\ LWV WUXWK WDEOH DQ LQnQLWH
3 )1 ] 1
ZKLFK JDWKHUV DOO RXWSXWV IRU DOO LQSXWV ,W LV LGHQ
WLnHG WR WKH SRZHU VHULHV
nHOG ) ZLWK FRHpFLHQWV LQ WKH WZR HOHPHQWV
7KHRUHP $ GLJLWDO IXQFWLRQ FDQ EH FRPSXWHG E\ D nQLWH GLJLWDO V\Q
FKURQRXV FLUFXLW LI DQG RQO\ LI LW LV
]
FDXVDO DQG LWV WUXWK WDEOH LV DQ
DOJHEUDLF QXPEHU RYHU ) > @ WKH nHOG RI SRO\QRPLDO IUDFWLRQV
PRG $ GDWD VWUXFWXUH UHFXUVLYH VDPSOLQJ LV LQWURGXFHG WR SURYLGH D FDQRQL
I
FDO UHSUHVHQWDWLRQ IRU HDFK nQLWH FDXVDO IXQFWLRQ
6'' I
WKURXJK nQLWH DOJRULWKPV LQWR D FLUFXLW
DQG D SRO\QRPLDO SRO\
I
,W FDQ EH PDSSHG
DQ DXWRPDWRQ
HDFK LV FKDUDFWHULVWLF RI
I
6%$ I
2QH FDQ WKXV DXWR
PDWLFDOO\ V\QWKHVL]H D FDQRQLFDO FLUFXLW RU VRIWZDUH FRGH IRU FRPSXWLQJ
DQ\ nQLWH FDXVDO IXQFWLRQ
I
SUHVHQWHG LQ VRPH HmHFWLYH IRUP 7KURXJK
UHFXUVLYH VDPSOLQJ RQH FDQ YHULI\ LQ nQLWH WLPH WKH YDOLGLW\ RI DQ\ KDUG
ZDUH FLUFXLW RU VRIWZDUH SURJUDP IRU FRPSXWLQJ
I
3K\VLFDO 'HWHUPLQLVWLF 'LJLWDO 6\VWHP
&RQVLGHU D
GLVFUHWH WLPH GLJLWDO V\VWHP UHFHLYHV LQSXW ELWV
I
I'
'
[1 % I J
LQnQLWH
\ I[
'
1 %
DW HDFK LQWHJHU F\FOH
DQG HPLWV RXWSXW ELWV
RI WKLV V\VWHP LV WR PDS
VHTXHQFHV RI LQSXW ELWV
LQnQLWH VHTXHQFHV RI RXWSXW ELWV
ZKHUH
\1 &DOO
1 \1 %
[
GLJLWDO
WKH V\VWHP
7KH
IXQFWLRQ
LQWR
[1
VXFK D IXQFWLRQ
LV WKH VHW RI LQnQLWH ELQDU\ VHTXHQFHV 2XU
DLP LV WR FKDUDFWHUL]H ZKLFK IXQFWLRQV FDQ EH FRPSXWHG E\ GHWHUPLQLVWLF GLJLWDO
SK\VLFDO
V\VWHPV VXFK DV HOHFWURQLF FLUFXLWV DQG ZKLFK
7R VLPSOLI\ ZH H[FOXGH
IXQFWLRQ RI VXFK
H[RWLF
DQDORJ
>@ DQG
FDQQRW
V\VWHPV $V ORQJ DV WKH
V\VWHPV UHPDLQV GHWHUPLQLVWLF DQG GLJLWDO DQ HTXLYDOHQW
V\VWHP PD\ EH LPSOHPHQWHG WKURXJK D
DV\QFKURQRXV
7KURXJKRXW WKLV WH[W UHVHUYH WKH OHWWHU
GLJLWDO V\QFKURQRXV
HOHFWURQLF FKLS 7KH
1 WR UDQJH RYHU WKH QDWXUDO QXPEHUV 1 1
'LJLWDO 6\QFKURQRXV &LUFXLW '6& SURYLGHV D PDWKHPDWLFDO
IRUP DQG IXQFWLRQ RI WKLV FODVV RI SK\VLFDO V\VWHPV
FRQFHSW RI
IRU WKH
(VWDEOLVKHG WHFKQLTXHV H[LVW WR PDS nQLWH
UHFRQnJXUDEOH V\VWHPV
FKLSV >@ :LWK
IURP D nQLWH
'6&
UHSUHVHQWDWLRQ IRU
'6&
GHVFULSWLRQV LQWR VLOLFRQ
>@ WKH SURFHVV FDQ EH IXOO\ DXWRPDWHG
I
PDWKHPDWLFDOO\ FRPSXWLQJ FRPSLOH D
SURJUDPPDEOH GHYLFH LQ RUGHU
ELQDU\ FRQnJXUDWLRQ DQG GRZQORDG LQWR VRPH
WR
SK\VLFDOO\
FRPSXWH
RI IXQFWLRQV GHnQHG E\
I
PRGHO
:LWKRXW IXUWKHU DUJXPHQW DGPLW KHUH WKDW WKH FODVV
nQLWH
'6&
FDSWXUHV WKH SURSHU PDWKHPDWLFDO FRQFHSW
IURP WKH PRWLYDWLRQ TXHVWLRQ 1R UHJDUG LV JLYHQ WR VL]H OLPLWDWLRQV DULVLQJ IURP
WHFKQRORJ\ HFRQRPLFV RU HOVH
\W
W
^ 3K\VLFDO FLUFXLWV DUH FRQVWUDLQHG E\ WLPH FDXVDOLW\ RXWSXW DW WLPH PD\
W W
[W
RQO\ GHSHQG XSRQ LQSXWV IURP WKH SDVW ^ )URP WKHLU SK\VLFDO QDWXUH HOHFWURQLF FLUFXLWV PXVW EH
nQLWH
&DXVDOLW\ DQG nQLWHQHVV DUH WKXV QHFHVVDU\ FRQGLWLRQV IRU GLJLWDO IXQFWLRQV
SK\VLFDO GHYLFHV :H VKRZ WKDW WKH\
nQLWH FDXVDO IXQFWLRQV LQ D FRQVWUXFWLYH ZD\
WR EH FRPSXWDEOH E\ GHWHUPLQLVWLF
nFLHQW DQG FKDUDFWHUL]H
,QnQLWH
6''
3URFHGXUH
$ nUVW DQVZHU WR WKH PRWLYDWLQJ TXHVWLRQ LV SURYLGHG LQ >@ WKURXJK DQ
6\QFKURQRXV 'HFLVLRQ 'LDJUDPV
FRQVWUXFWLRQ WKH
DUH VXI
LQnQLWH
6''
7KHRUHP 9XLOOHPLQ >@
I
I
7R DQ\ FDXVDO IXQFWLRQ RQH FDQ DVVRFLDWH D FDQRQLFDO FLUFXLW 6'' '6& IRU
FRPSXWLQJ &LUFXLW 6'' LV nQLWH LI DQG RQO\ LI IXQFWLRQ LV FRPSXWDEOH E\ VRPH
nQLWH V\VWHP
I
<HW WKH
LQnQLWH
I
J
DQG
K
J K
FRQVWUXFWLRQ UHOLHV RQ WKH DELOLW\ WR WHVW IRU HTXDOLW\
6''
EHWZHHQ GLJLWDO IXQFWLRQV
ZKHQ
I
JK
QRW FRPSXWDEOH LQ JHQHUDO HYHQ
WKH GHnQLWLRQ RI nQLWHQHVV LV QRW
WR WKH SURFHGXUH LV LOOVSHFLnHG
7KLV RSHUDWLRQ LV
DUH ERWK FRPSXWDEOH $OVR
PDGH H[SOLFLW LQ 7KHRUHP DQG WKH LQSXW
6XFK OLPLWDWLRQV DUH SDUWO\ UHPRYHG E\ %HUU\ >@ DQG :LQNHOPDQ >@ ERWK
EDVH LPSOHPHQWDWLRQV RI WKH
E\ D
)LQLWH 6WDWH 0DFKLQHV
%LQDU\ $OJHEUD
6''
SURFHGXUH RQ UHSUHVHQWLQJ GLJLWDO IXQFWLRQV
)60
%
1
D'
3 D1]1
3 D1]1 ' ` 1 ) ] =D]
,QnQLWH ELQDU\ VHTXHQFHV '
GLJLWDO VHTXHQFH
KDYH D ULFK PDWKHPDWLFDO VWUXFWXUH $
FRGHV LQ D XQLTXH ZD\ WKH VHW
LQWHJHUV WKH IRUPDO SRZHU VHULHV
IDJ I1 D1
WKH DGLF
I
D
J
RI
:H LGHQWLI\ DOO UHSUHVHQWDWLRQV DQG ZULWH
VHH >@ IRU H[DPSOH
LQWHJHU
J b
1
]
] %LQDU\ $OJHEUD
l'>?]] jl bdm LPSRUWV DOO XQGHUO\LQJ RSHUDWLRQV LQWR D VLQJOH VWUXFWXUH
b
K'>?L %RROHDQ $OJHEUD
K']jlL
K' bdL
XSVDPSOLQJ
[ [ ]
[ [1 [1 `
LV D
LVRPRUSKLF WR VHWV 1 RI LQWHJHUV
LV D ULQJ LVRPRUSKLF WR WKH IRUPDO SRZHU VHULHV ) LV D ULQJ LVRPRUSKLF WR WKH DGLF LQWHJHUV = 7KH
RSHUDWRU LV QRWHG
RSHUDWRU LV QRWHG
]
[ l [
7KH
GRZQVDPSOLQJ
6HH WKH UHODWHG 1REOH LGHQWLWLHV LQ WKH
DSSHQGL[
,Q DGGLWLRQ WR WKH D[LRPDWLF UHODWLRQV LPSOLHG E\ HDFK RI WKH WKUHH VWUXFWXUHV
LQ '
K\EULG
UHODWLRQV H[LVW EHWZHHQ WKH RSHUDWRUV LQ %LQDU\ $OJHEUD 6RPH
DUH OLVWHG LQ WKH DSSHQGL[ 7KHUH DUH PRUH LQGHHG HDFK DULWKPHWLFDO FLUFXLW
;[
;\ b
LPSOHPHQWV VRPH K\EULG UHODWLRQ >@ )RU H[DPSOH EDVH FRGLQJ LV GHnQHG E\
N›
1
N
N
N
1
N›
,W LV DOVR NQRZQ DV %RRWK FRGLQJ
\
[
)
[
j[
= FRQWDLQV QRWHZRUWK\ VXEVWUXFWXUHV
7KH LQnQLWH %LQDU\ $OJHEUD '
1
+HUH %
PRG ERRWK 3ROLVK FRGH LQ >@ DQG PD\ EH
FRPSXWHG E\ WKH K\EULG IRUPXOD
ERRWK 1
N
| | 1 | = | 3 | 3 | $ | | = %1
DUH WKH nQLWH VHTXHQFHV 3 WKH
=
XOWLPDWHO\ SHULRGLF
VHTXHQFHV 3 WKRVH
RI SHULRG OHQJWK 1 $ WKH DOJHEUDLF GHnQLWLRQ DQG = WKH
FRPSXWDEOH
DGLF LQWHJHUV 7KH DSSHQGL[ OLVWV WKH FORVXUH SURSHUWLHV RI WKHVH VHWV ZLWK UHVSHFW
WR %LQDU\ $OJHEUD RSHUDWLRQV
&DXVDO )XQFWLRQ
N[N 4
N][N N[N
/HW
XOWUDPHWULF ND EN ›
[ N N N ][N
DE '
ND b EN ND j EN
DGLF QRUP RI
' GLVWDQFH
EHWZHHQ GLJLWDO
GHQRWH WKH
7KH
ND b EN
INDNNENJ
PD[
DQG
VHTXHQFHV
1RWH WKDW
LV
'HnQLWLRQ $ GLJLWDO IXQFWLRQ LV FDXVDO ZKHQ WKH IROORZLQJ HTXLYDOHQW VWDWH
PHQWV KROG
DE NI D b I E N › ND b EN
'
(DFK RXWSXW ELW LV D %RROHDQ IXQFWLRQ 1
GHSHQGV RQ WKH nUVW 1 ELWV RI LQSXW
I %1 % ZKLFK H[FOXVLYHO\
\1 I1 [ [ ccc [1 [1 I1 [ \ \1 I [ I1 [ 3 I1 [ ]1
?>j]lm bd FDXVDO DQWLoRS ]
QRW FDXVDO
FDXVDO
\1 [1
I FDXVDO
[
7KH RSHUDWRUV
nQHG E\
I
\ I[
ZKHQ
DQG GRZQVDPSOLQJ
LV D
b
DUH
DUH
GLJLWDO IXQFWLRQ ZLWK D VLQJOH LQSXW
7KH
b
GH
:H VLPSO\ VD\
DQG D VLQJOH RXWSXW
RWKHUZLVH ZH H[SOLFLWO\ VWDWH WKH QXPEHU RI LQSXWV DQG RXWSXWV
7UXWK 7DEOH
I [ I1 [ FRPELQHV
% LQWR D XQLTXH GLJLWDO
'HnQLWLRQ 7KH WUXWK WDEOH RI D FDXVDO IXQFWLRQ
%1
WKH WDEOHV IRU HDFK %RROHDQ IXQFWLRQ 1
' GHnQHG E\
VHTXHQFH WUXWK ) 1 I I )
I E E cccE E
F b DQG 3 E 1 b KHUH P EORJ 1
3URSRVLWLRQ 7KH WUXWK WDEOH )
WUXWK I ' LV D
GLJLWDO FRGH
IRU HDFK FDXVDO IXQFWLRQ I WUXWK ) ' '
WUXWK I
WUXWK I WUXWK I > J
WUXWK I > WUXWK J 3URSRVLWLRQ )RU FDXVDO I DQG J
WUXWK I ? J
WUXWK I ? WUXWK J WUXWK ]I
I
] ] WUXWK IH )1
P
N
N ›P N P Pb
b
RQHWRRQH
P
$OWKRXJK LW LV WUDGLWLRQDOO\ DVVRFLDWHG WR D
nQLWH VWDWH DXWRPDWRQ
nQLWH
$XWRPDWLF 6HTXHQFH
SUHVHQWHG E\ D
FDXVDO
I
WKH GHnQLWLRQ RI DQ
ZKLFK LV H[SOLFLWO\
DXWRPDWLF VHTXHQFH
>@ PD\ EH H[WHQGHG WR DOO FDXVDO IXQFWLRQV nQLWH DQG LQnQLWH
'HnQLWLRQ 7KH DXWRPDWLF
WKH FDXVDO IXQFWLRQ E\
I
DXWR
VHTXHQFH
I
D1 ' LV DVVRFLDWHG WR
I E E cccE E 3 E HOVH P EORJ 1 F DQG 1
ZKHUH P
LI 1
I [ [1 FDQQRW
\ \1 I [
I
VDPH
[ [? [ ] b[j[
7
ccc 3URSRVLWLRQ /HW I EH FDXVDO 7KH GHULYHG
IXQFWLRQV J [
I ][
DQG K [
]I ] [ DUH VXFK WKDW
DXWR I
WUXWK J WUXWK I
] DXWR K D1
P
,Q JHQHUDO WKH YDOXH
Pb
P
N
N ›P N RI FDXVDO
DW
EH
UHFRQVWUXFWHG IURP LWV DXWRPDWLF VHTXHQFH DXWR ,QGHHG FRQVLGHU WKH FDXVDO
nUVWELW QXPEHU DXWRnUVWELW
KDYH
b
DQG ]HURWHVW WUXWK]HURWHVW
DXWR]HURWHVW
%RWK KDYH WKH
FDXVDO
b
7LPH 5HYHUVDO
b
IH LV GHnQHG E\
;
IH [
I1 [1 ccc[ ]1
'HnQLWLRQ 7KH WLPH UHYHUVHG IXQFWLRQ
ZKHUH WKH FDXVDO IXQFWLRQ
DXWRPDWLF
:KLOH WUXWKnUVWELW
I LV JLYHQ GHnQLWLRQ E\
I [ ; I1 [ ccc[1 ]1
ZH
7KH
UHYHUVHG
IH )1H
WUXWK WDEOH WUXWK H
1
I I] I D ] [ DE 1D J
bE
/HW SUHn[ I )1
ccc I
IH
LV UHODWHG WR WUXWK E WKURXJK
E DQG VXp[ SUHn[ 3URSRVLWLRQ 7KH FODVV RI FDXVDO IXQFWLRQV LV FORVHG XQGHU FRPSRVLWLRQ SUH
n[ VXp[
DQG WLPH UHYHUVDO RSHUDWLRQV
1
F0
F1
2
F2
F6
8
4
F10
9
3
F4
F8
10
F3
5
6
F7
12
F12
11
F5
F9
14
F11
13
)LJ 6HTXHQWLDO 'HFLVLRQ 7UHH IRU WKH WUXWK WDEOH 7
F13
15
)1 8QLYHUVDO &DXVDO 0DFKLQHV
6HTXHQWLDO 'HFLVLRQ 7UHH
VGW I
I
'HnQLWLRQ 7KH 6HTXHQWLDO 'HFLVLRQ 7UHH
IRU FRPSXWLQJ FDXVDO LV
D FRPSOHWH LQnQLWH ELQDU\ WUHH nJ $ GLJLWDO LQSXW ' VSHFLnHV D XQLTXH
SDWK WKURXJK WKH WUHH VWDUW DW WKH URRW IRU F\FOH DW F\FOH 1 PRYH GRZQ WR WKH
ULJKW RWKHUZLVH $UFV LQ WKH WUHH DUH ODEHOHG LQ KLHUDUFKLFDO RUGHU
OHIW LI 1
E\ ELWV IURP WKH WLPH UHYHUVHG WUXWK 2XWSXW
LV WKH GLJLWDO VHTXHQFH
RI DUF ODEHOV DORQJ WKH SDWK VSHFLnHG E\ LQSXW [
IH
[
[
\ I[
6HTXHQWLDO 0XOWLSOH[HU
$ 'LJLWDO 6\QFKURQRXV FLUFXLW
'6&
LV REWDLQHG E\ FRPSRVLQJ SULPLWLYH FRP
SRQHQWV WKH UHJLVWHU UHJ DQG %RROHDQ FRPELQDWLRQDO PHPRU\OHVV RSHUDWRUV
7KHUH LV D UHVWULFWLRQ RQ FRPSRVLWLRQ DOO FRPELQDWLRQDO SDWKV WKURXJK D FKDLQ
0
x
1
f(x)
F1
F0
F5
0
)LJ 6HTXHQWLDO PXOWLSOH[HU IRU WKH WUXWK WDEOH 0
11f
1
01f
x
0
1
10f
0
1
F4
F3
00f
1
F2
0
x
1
1f
1
0
0f
)1 RI %RROHDQ RSHUDWRUV PXVW EH nQLWH 7KLV LPSOLHV WKDW HDFK IHHGEDFN ORRS PXVW
FRQWDLQ DW OHDVW RQH PHPRU\ HOHPHQW UHJ SRVLWLYH IHHGEDFN
[ ][ [ UHJ [ ][
PX[ FED
F ? E F ? D F ? E j D j D
VHTXHQWLDO PXOWLSOH[HU 60 I
UHJ
60 I
UHJ
7KH RSHUDWRUV UHJ UHJ PX[ VHUYH DV D EDVH IRU WKH 6'' SURFHGXUH UHJ
[
LVWHUV UHJ UHJ 7KH
LQ
[
DQG PXOWLSOH[HU
IURP >@ LV VKRZQ LQ nJ 7KH UHJLVWHUV
DQG IRU
DUH ODEHOHG IRU
I
E\ WUXWK LQ GLUHFW RUGHU
6KDUH &RPPRQ ([SUHVVLRQV
7KH QH[W VWHS LQ WKH LQnQLWH
6''
FRQVWUXFWLRQ >@ LV WR VKDUH DOO FRPPRQ
VXEH[SUHVVLRQV ZKLFK DSSHDU LQ WKH SURFHVV WKH UHVXOW LV WKH 6HTXHQWLDO 'HFL
I
60
VLRQ 'LDJUDP 6'' IRU
VHH nJ 6LPLODUO\ IRU
6HTXHQWLDO %LQDU\ $XWRPDWRQ 6%$ VHH nJ I
6'7
ZH REWDLQ WKH
)LQLWH &DXVDO )XQFWLRQ
7KH FDXVDO IXQFWLRQV PHQWLRQHG VR IDU PD\ DOO EH UHDOL]HG E\ nQLWH FLUFXLWV DQG
nQLWH VWDWH PDFKLQHV
)60
H[FHSW IRU
E
d
l m
DQG
ZKLFK DUH LQnQLWH >@
E ] 3 E1]1 LV DOJH
'HnQLWLRQ 'LJLWDO VHTXHQFH LV DOJHEUDLF ZKHQ EUDLF RYHU ) /HW $ GHQRWH WKH VHW RI DOJHEUDLF VHTXHQFHV
]
7]
WUXWK]HURWHVW LV DOJHEUDLF DV URRW RI PRG I LV nQLWH LI DQG RQO\ LI WKH IROORZLQJ HTXLYDOHQWV KROG
3URSRVLWLRQ &DXVDO
I
I
7 ] 7 D
LV FRPSXWHG E\ D nQLWH FLUFXLW '6&
E
LV FRPSXWHG E\ D nQLWH VWDWH PDFKLQH
F SUHn[ LV nQLWH
G VXp[ LV nQLWH
H WUXWK LV DOJHEUDLF
I
I
I
)60
3URRI 7KH HTXLYDOHQFH EHWZHHQ D DQG E LV ZHOONQRZQ 7KH HTXLYDOHQFH
EHWZHHQ E F DQG G IROORZV IURP FODVVLFDO DXWRPDWD WKHRU\ >@
7KH HTXLYDOHQFH EHWZHHQ G DQG H LV HVWDEOLVKHG WKURXJK D UHVXOW LQ WKH
WKHRU\ RI DXWRPDWLF VHTXHQFHV &DOO DXWRPDWLF D VHTXHQFH
D
I
DXWR IRU VRPH
)60
I
D'
VXFK WKDW
7KHRUHP &KULVWRO .DPDH 0HQGt
HV )UDQFH 5DX]\ >@
$ GLJLWDO VHTXHQFH LV DXWRPDWLF LI DQG RQO\ LI LW LV DOJHEUDLF
&RPELQH 7KHRUHP ZLWK 3URSRVLWLRQ WR FRPSOHWH WKH SURRI RI 3URSRVLWLRQ KHQFH WKDW RI 7KHRUHP 3URSRVLWLRQ )LQLWH FDXVDO IXQFWLRQV DUH FORVHG XQGHU FRPSRVLWLRQ SUHn[
VXp[ DQG WLPH UHYHUVDO
7KHRUHP 7KH FODVV $ RI DOJHEUDLF VHTXHQFHV LV FORVHG XQGHU
]]
b
%RROHDQ RSHUDWLRQV > ? DQG VKLIWV
FDUU\IUHH SRO\QRPLDO RSHUDWLRQV j l m
XSVDPSOLQJ GRZQVDPSOLQJ DQG WLPH UHYHUVDO
DSSOLFDWLRQ RI DQ\ nQLWH FDXVDO IXQFWLRQ KHQFH b
3URRI %RROHDQ FORVXUH IROORZV IURP 3URSRVLWLRQ 3RO\QRPLDO PDQLSXODWLRQV
VKRZ WKH FORVXUH XQGHU FDUU\IUHH RSHUDWLRQV
j l DQG VKLIWV ,WHP IROORZV
IURP 7KHRUHP $ QRYHO FRQVWUXFWLRQ LV JLYHQ IRU SURYLQJ LWHP ,W LPSOLHV
LQ SDUWLFXODU WKDW $ LV FORVHG XQGHU RUGLQDU\ DGGLWLRQ DQG VXEWUDFWLRQ ZLWK
FDUULHV :H FRQMHFWXUH WKDW $ LV DOVR FORVHG XQGHU PXOWLSOLFDWLRQ
d DQG GLYLVLRQ
7UDQVFHQGHQWDO 1XPEHUV
,I RQH LQWHUSUHWV D GLJLWDO VHTXHQFH
RU
]
RQH JHWV D UHDO QXPEHU I
QXPEHU UHDO I
[
[ []
WUXWK 5
5
[
LQ EDVH
7R HDFK FDXVDO
D]
I
UDWKHU WKDQ DVVRFLDWH WKH UHDO
7KHRUHP /R[WRQ YDQ GHU 3RRUWHQ >@ ,I $ LV DOJHEUDLF
WKHQ HLWKHU 4 LV UDWLRQDO RU LW LV WUDQVFHQGHQWDO LQ WKH XVXDO VHQVH RYHU
4
D
c c c
RYHU 4 6LPLODUO\ IRU UHDOERRWK
\ [
\1 [1
8SVDPSOLQJ
DQG
0
\1 I1 [ c c c [1
c c c LV WUDQVFHQGHQWDO
$V D FRQVHTXHQFH UHDO]HURWHVW
LV FDXVDO DQG
LV WKH PLGGOH ELW
0
7KH PLGGOH ELW VHTXHQFH LV WKH WUXWK WDEOH
\ 1
WUXWK
c c c 1R nQLWH FLU
FXLW H[LVWV WR LPSOHPHQW XSVDPSOLQJ >@ ,W IROORZV IURP 7KHRUHP WKDW WKH
PLGGOH ELW VHULHV
0]
]
LV WUDQVFHQGHQWDO RYHU ) > @ 6LPLODUO\ IRU WUXWKl DQG
WUXWKd ,W LV QRW NQRZQ LI UHDO
c c c LV WUDQVFHQGHQWDO
RYHU 4 RU QRW VLPLODUO\ IRU UHDOl DQG UHDOd
)LQLWH 6'' 3URFHGXUH
)RU
I
)60
I
FDXVDO DQG nQLWH GHnQH VL]H DV WKH QXPEHU RI VWDWHV LQ WKH PLQLPDO
) '
6
6 I) J > ] 6 > ] ] 6 6` ' VHH >@ IRU FRPSXWLQJ
I
)RU
ZKHUH WKH OHDVW n[HG SRLQW
b
GHnQH
b
)
VDPSOH
b
DV
LV D VHW RI GLJLWDO VHTXHQFHV
7KHRUHP (DFK RI WKH IROORZLQJ HTXLYDOHQW VWDWHPHQWV SURYLGHV D FDQRQL
I nQLWH FDXVDO ZLWK VL]H I Q DQG ) WUXWK I VDPSOH ) LV nQLWH RI VL]H Q
IRU FRPSXWLQJ I ZLWK Q VWDWHV
6%$ I LV WKH PLQLPDO
FLUFXLW ZLWK Q PXOWLSOH[HUV DQG DW PRVW Q UHJLV
6'' IH LV D nQLWH
WHUV UHJ RU UHJ )
WUXWK I LV WKH
DOJHEUDLF VROXWLRQ WR WKH V\VWHP TXDGUD I PDGH RI Q ELQDU\ TXDGUDWLF HTXDWLRQV
FDO UHSUHVHQWDWLRQ IRU
)60
'6&
XQLTXH
7KLV LV HVWDEOLVKHG WKURXJK DQ HmHFWLYH DOJRULWKP UHFXUVLYH VDPSOLQJ DQG GDWD
VWUXFWXUH ,Q WKLV H[WHQWHG DEVWUDFW ZH VLPSO\ SUHVHQW WKH FRPSXWHU JHQHUDWHG
RXWSXW IURP WKH SURFHGXUH IRU RQH H[DPSOH %RRWK FRGLQJ DV GHnQHG E\ DQG ZKHUH VL]HERRWK
)RU
5HFXUVLYH 6DPSOLQJ
I
I
WUXWKERRWK FRPSXWH VDPSOH I
I
I
I
I I I I
I
J
c c c
c c c
c c c
c c c
1
0/0
1/1
2
0/0
1/1
5
0/1
1/0
11
0/1
1/0
[
)LJ 7KH DXWRPDWRQ 6%$ERRWK ZKHUH ERRWK 6%$ 3URFHGXUH
&KDUDFWHULVWLF &LUFXLW 3RO\QRPLDO
$ ELQDU\ TXDGUDWLF HTXDWLRQ KDV WKH IRUP
IRU
DE )
DQG
IJK '
j [ I D E] ]J ]K
II I I I
PRG 7UXWK WDEOHV LQ VDPSOHERRWK
J
DUH UHODWHG E\ WKH IROORZLQJ V\VWHP RI ELQDU\ TXDGUDWLF HTXDWLRQV 7KURXJK
I ] ] ] I I ] ] I ] I I
] I ] I I
] ] I TXDGUDWLF HOLPLQDWLRQ
)
D E) F ) G )
D ] ] ] ] ] ] ]
E
] ] ] F ] ] ] ] ] G ] ] ] ] ] GHULYH TXDG
TXDGERRWK
PRG 7KURXJK DOJHEUDLF VLPSOLnFDWLRQV REWDLQ WKH LUUHGXFLEOH FKDUDFWHULVWLF SRO\QR
)
) ] ] ] ]
PLDO SRO\ERRWK RI ZKLFK
I
] ] ] ) )
)
WUXWKERRWK
$ GHFLPDO H[SUHVVLRQ IRU SRO\ERRWK
LV WKH RQO\ URRW
PRG x
x
x
x
1
110f
0
0
tr
1
ftr
ftr(x)
0
tr
10f
0
1
1
0
J
)LJ 7KH FLUFXLW 6''ERRWK
6'' SURFHGXUH
7KH FLUFXLW V\QWKHVL]HG E\ WKH
6''
J
SURFHGXUH LQYROYHV WKH WLPH UHYHUVHG GR
J
J
PDLQ 7R NHHS WKH FRUUHVSRQGHQFH ZLWK 7KHRUHP ZH VKRZ WKH FLUFXLW 6''ERRWK
LQ nJ 7KLV FLUFXLW FRPSXWHV WKH IXQFWLRQ ERRWK GHnQHG WKURXJK WLPH UHYHUVDO
LQ HTXDWLRQ )RU 6''ERRWK
6%$ERRWK RQH nQGV VWDWHV
)HHGIRUZDUG &LUFXLW
3URSRVLWLRQ )HHGIRUZDUG FLUFXLW 7KH IROORZLQJ DUH FKDUDFWHULVWLF HTXLY
DOHQWV IRU nQLWH FDXVDO
I WR EH IUHH RI
IHHGEDFN
I
IH 3 LV XOWLPDWHO\ SHULRGLF ZLWK SHULRG OHQJWK
SRO\ IH
D ] b ) IRU D 1
6'' LV DF\FOLF
)
WUXWK E
E IRU
E 1
3URSRVLWLRQ &RPELQDWLRQDO FLUFXLW 7KH IROORZLQJ DUH FKDUDFWHULVWLF
HTXLYDOHQWV IRU nQLWH FDXVDO
I
IH
I ZLWK L LQSXWV WR EH
PHPRU\OHVV
6'' FRQWDLQV QR UHJLVWHU
IH
b ›)
›
L L
SRO\ IH
D ] b ) IRU VRPH LQWHJHU D VL]H )
WUXWK 3 LV SHULRGLF LH
IRU VRPH LQWHJHU › L
%''
)RU %RROHDQ IXQFWLRQV WKH
'LDJUDPV
6''
ZLWK SHULRG OHQJWK L L
SURFHGXUH LV WKH VDPH DV WKH %LQDU\ 'HFLVLRQ
SURFHGXUH IURP >@
$SSHQGL[
:H XVH RSHUDWRUV IURP %LQDU\ $OJHEUD XQDU\ RSHUDWLRQV
DQG ELQDU\ RSHUDWLRQV
b d
I> j ? l m
J
I
]] J
b
7KH ELQDU\ RSHUDWRUV DUH
OLVWHG KHUH LQ RUGHU RI LQFUHDVLQJ V\QWDFWLF SUHFHGHQFH VR DV WR VDYH SDUHQWKHVHV
D D D DjD
D ] ]D
]] D D ? b ] D ] D
]D
]D
^
] D n E ] D n ] E n I> ? jJ
] D n E ]D n ]E n I> ? j bJ
] D n E ]D n E D n ]E n Id lJ
^ K' j j lL
,QWHJUDO 'RPDLQ
D'
mD
Dl mD D
D RGG D m ]E / ]E 1
^ K' b dL
D bD b D E D>E D?E
DjE ] D?E D E D3> E 1 D j4E D ? E 1 E b E
E
D l D
D D ]
D D
D D ] ] D
D D
D
> D
^
] D ] D
]D ] D
DnE
D n E
n I> ? jJ
DnE
D n E
n I> ? j l mJ
^ K' > ?L LV D %RROHDQ DOJHEUD
K' j ?L LV D %RROHDQ ULQJ
? VHH >@
b
b
b
b
b
b
b
IRU
IRU
IRU
LV DQ
LH D FRPPXWDWLYH ULQJ ZLWKRXW
GLYLVRU RI $Q HOHPHQW
KDV D SRO\QRPLDO LQYHUVH LI DQG RQO\ LI
LV
VXFK WKDW
LV DQ ,QWHJUDO 'RPDLQ
Lm
b
IRU
IRU
:H OLVW WKH NQRZQ FORVXUH SURSHUWLHV IRU RSHUDWRUV DQG VXEVWUXFWXUHV LQ %LQDU\
$OJHEUD
^
^
^
^
^
] ]] ]] ]] ]] 1
l m b d J
) LV FORVHG XQGHU I > j ?
b
l dJ
1 LV FORVHG XQGHU I> j ?
b
b dJ
= LV FORVHG XQGHU I > j ?
b
l b dJ
3 LV FORVHG XQGHU I > j ?
b
l m bJ 7KH FORVXUH XQGHU FDUU\
$ LV FORVHG XQGHU I > j ?
IUHH SURGXFW LV VKRZQ LQ >@ ,W LV VKRZQ LQ >@ WKDW $ LV QRW FORVHG XQGHU
PXOWLSOLFDWLRQ
d
ZLWK FDUULHV
^ 3 = DQG = DUH FORVHG XQGHU DOO RSHUDWLRQV
5HIHUHQFHV
& 0HDG
$1$/2* 9/6, $1' 1(85$/ 6<67(06 $GGLVRQ:HVOH\ 3ULQFLSOHV RI &026 9/6, 'HVLJQ $GGLVRQ:HVOH\ 1 :HVWH . (VKUDJLDQ
- 9XLOOHPLQ 3 %HUWLQ ' 5RQFLQ 0 6KDQG + 7RXDWL 3 %RXFDUG 3URJUDPPDEOH
$FWLYH 0HPRULHV 5HFRQnJXUDEOH 6\VWHPV &RPH RI $JH ,((( 7UDQV RQ 9/6, 9RO
12 SS - 9XLOOHPLQ 2Q FLUFXLWV DQG QXPEHUV ,((( 7UDQV RQ &RPSXWHUV SS ^
*uHUDUG %HUU\ SULYDWH FRPPXQLFDWLRQ .ODXV :LQNHOPDQ SULYDWH FRPPXQLFDWLRQ 6 (LOHQEHUJ $XWRPDWD /DQJXDJHV DQG 0DFKLQHV $FDGHPLF 3UHVV : - *LOEHUW 0RGHUQ $OJHEUD ZLWK $SSOLFDWLRQV $ :LOH\,QWHUVFLHQFH SXEOLFDWLRQ
-RKQ :LOH\ 6RQV 1HZ <RUN - 3 $OORXFKH $XWRPDWHV nQLV HQ WKuHRULH GHV QRPEUHV LQ ([SRVLWLRQHV 0DWKHPDW
LFDH SS ^ 0 0HQGtHV )UDQFH 6RPH DSSOLFDWLRQV RI WKH WKHRU\ RI DXWRPDWD LQ 3URVSHFWV RI
0DWK 6FL :RUOG 6FL 3XE SS ^ * &KULVWRO 7 .DPDH 0 0HQGtHV )UDQFH * 5DX]\ 6XLWHV DOJtHEULTXHV DXWRPDWHV
HW VXEVWLWXWLRQV LQ %XOO 6RF 0DWK )UDQFH SS ^ -+ /R[WRQ $- YDQ GHU 3RRUWHQ $ULWKPHWLF SURSHUWLHV RI WKH VROXWLRQV RI D FODVV
RI IXQFWLRQDO HTXDWLRQV - 5HLQH $QJHZ 0DWK SS ^ 5 ( %U\DQW *UDSKEDVHG $OJRULWKPV IRU %RROHDQ )XQFWLRQ 0DQLSXODWLRQ LQ ,(((
7UDQV RQ &RPSXWHUV SS ^ -3 $OORXFKH - 6KDOOLW 7KH ULQJ RI NUHJXODU VHTXHQFHV LQ 7KHRUHW &RPSXW 6FL
SS ^
6 /HKU - 6KDOOLW - 7URPS 2Q WKH YHFWRU VSDFH RI WKH DXWRPDWLF UHDOV LQ 7KHRUHW
&RPSXW 6FL SS ^