- , , . ( ).
- : "" "" (). ( ).
- . :
- () , , ;
- , ; ( ) ( ).
- , "" , ( ).
, 1940- , , . . , , , . (1970) Scientific American, (Martin Gardner).
- :
(.)
- : ,
- : ,
- : , ,
- : , ,
- : ,
- : ,
- ()[ 293 ]: , .
( ) , . , , , .
, , ( ), - ,
|
|
A, Q , . : qiaj→qi1aj1dk ( qi, aj, qi1, aj aj1, dk, : (L), (R), (N)). <qi, aj> . , . , , .
( , ), , , . .
, . , , ( ), .
, , . , , , . , ,
9 1
OrCAD , . , .
OrCAD Or egon CAD.
OrCAD Cadence Design Systems. OrCAD . , Texas Instruments.
:
Capture ,
Capture CIS Option Active Parts,
PSpice Analog Digital - ,
PSpice dvanced nalysis ,
PSpice SLPS option Matlab,
PCB Designer ,
SPECCTRA for OrCAD ,
Signal Explorer .
10 1
Cadence, Virtuoso, , 2.4.
C/C++ SystemC, , , ( ) ;
|
|
Verilog/VHDL, , - , ;
2.4- Cadence
, , , ;
, , , .
11 1
102
12 1
Ǩ
12 2
, . () (, .). (=), , . .
n- (n-) , , .
R. n - :
.
.
: x R y. .
.
, =. , .
M , ~. , x y , .
, |. , x y .
n - M: n - , 1 ( ). , : , R f. .
, , ( ), .[1]
, , - . (n -).
, , - , , , .
|
|
. , .
,
: .
(): .
: .
: .
: .
: . .
.
.
() .
.
.
.
:
, A, B, , , . , ,
, , .
, , , , .
, .
, R − 1, B, A (b, a), . , < − 1 = >.
, . R, S ,
, , . - A, .
, < . ,
R S , RS = SR. , R, A, RIA = IAR, IA , A. RR − 1 = I .
:
R (ST) = (RS) T,
(RS) − 1 = S − 1 R − 1,
,
,
,
,
.
, .
, :
: ,
: ,
: .