順序回路(簡単化) - 立命館大学...ritsumeikan ocw 1 8 順序回路(簡単化)...
TRANSCRIPT
1
順序回路(簡単化)
<手順1>等価な状態⇒Q分割
出力の等しいQ
<手順1-1>1次等価なQ
( )65420)1(
0 ,,,, QQQQQB =
( )731)1(
1 ,, QQQB =
},{ )1(1
)1(0
)1( BB=P 10010101100110011010
407
536
045
014
623
712
621
540
QQQQQQQQQQQQQQQQQQQQQQQQ
d wXQ
Ritsumeikan OCW
2
順序回路(簡単化)1次等価なQで分割
)1(kBブロックÞd
712
621
540
10
QQQQQQQQQ
dXQ
( )65420)1(
0 ,,,, QQQQQB =
( )731)1(
1 ,, QQQB =
)1(1
)1(12
)1(0
)1(01
)1(0
)1(00
10
BBQBBQBBQ
dXQ
<手順1-2>
Ritsumeikan OCW
3
順序回路(簡単化)
遷移先ブロックの等しいQ
2次等価なQ
)1(0
)1(07
)1(0
)1(03
)1(1
)1(0
)1(01
)1(0
)1(16
)1(0
)1(05
)1(0
)1(14
)1(0
)1(1
)1(12
)1(0
)1(00
)1( 10
BBQBBQBBBQBBQBBQBBQBBBQBBQ
Pd
XQ
( )50)2(
0 ,QQB =
( )64)2(
2 ,QQB =
},,,{ )2(3
)2(2
)2(1
)2(0
)2( BBBB=P
<手順1-3>
Ritsumeikan OCW
4
順序回路(簡単化)
712
621
540
10
QQQQQQQQQ
dXQ
)2(3
)2(32
)2(2
)2(11
)2(0
)2(20
10
BBQBBQBBQ
dXQ
( )64)2(
2 ,QQB =
<手順1-4> 2次等価なQで分割
)2(kBブロックÞd
Ritsumeikan OCW
5
順序回路(簡単化)
遷移先ブロックの等しいQ
3次等価なQ<手順1-5>
( )31)3(
3 ,QQB =
},,,,{
)3(4
)3(3
)3(2
)3(1
)3(0
)3(
BBBBB=P
)2(2
)2(07
)2(2
)2(13
)2(3
)2(2
)2(11
)2(0
)2(36
)2(0
)2(34
)2(2
2)2(
1
)2(0
)2(25
)2(0
)2(20
)2(0
)2( 10
BBQBBQBBBQBBQBBQB
QBBBQBBQB
Pd
XQ
Ritsumeikan OCW
6
順序回路(簡単化)<手順1-6> 3次等価なQで分割
分割不可
<手順1>終了
31
64
50
QQQQQQ
ººº
7)3(
4
)3(2
)3(13
)3(2
)3(11
)3(3
)3(0
)3(36
)3(0
)3(34
)3(2
2)3(
1
)3(0
)3(25
)3(0
)3(20
)3(0
)3( 10
QBBBQBBQBBBQBBQB
QBBBQBBQB
Pd
XQ
Ritsumeikan OCW
7
順序回路(簡単化)
<手順2>等価な状態を統合<手順2-1>ブロック⇔状態
4)3(
4
3)3(
3
2)3(
2
1)3(
1
0)3(
0
ˆˆˆˆˆ
QBQBQBQBQB
ÛÛÛÛÛ
7)3(
4
)3(2
)3(13
)3(2
)3(11
)3(3
)3(0
)3(36
)3(0
)3(34
)3(2
2)3(
1
)3(0
)3(25
)3(0
)3(20
)3(0
)3( 10
QBBBQBBQBBBQBBQB
QBBBQBBQB
P XQ
Ritsumeikan OCW
8
順序回路(簡単化)<手順2-2> dˆ ÞkQ
( ) 331)3(
3ˆ, QQQB Û=
1)3(
121ˆ),0( QBQQ ÛÎ=d
1)3(
123ˆ),0( QBQQ ÛÎ=d
2)3(
261ˆ),1( QBQQ ÛÎ=d
2)3(
263ˆ),1( QBQQ ÛÎ=d
23
13ˆ)ˆ,1(ˆˆ)ˆ,0(ˆ
QQQQ
==
dd
10010101100110011010
407
536
045
014
623
712
621
540
QQQQQQQQQQQQQQQQQQQQQQQQ
d wXQ
( )( )64
)3(2
2)3(
1
,QQBQB
==
Ritsumeikan OCW
9
順序回路(簡単化)<手順2-3> wˆ ÞkQ
( ) 331)3(
3ˆ, QQQB Û=
0),0( 1 =Qw0),0( 3 =Qw
1),1( 1 =Qw1),1( 3 =Qw
1)ˆ,1(ˆ0)ˆ,0(ˆ
3
3
==
ww
10010101100110011010
407
536
045
014
623
712
621
540
QQQQQQQQQQQQQQQQQQQQQQQQ
d wXQ
Ritsumeikan OCW
10
順序回路
10
111010
12
21
120
****
QQQQ
QQQXQ
d w
不完全定義順序回路状態遷移表⇒一部未定義
Ritsumeikan OCW
11
順序回路状態の分類完全定義順序回路
不完全定義順序回路
(非)等価
(非)両立的 10
111010
12
21
120
****
QQQQ
QQQXQ
d w1010111010
102
021
120
QQQQQQQQQ
XQ
d w出力(不)一致
Ritsumeikan OCW
12
不完全定義順序回路非両立的出力が異なる状態
状態の遷移先⇒0,1
),~(),~( ba QXQX ww ¹
と約束*=* ,1,0
ba QQ ~
Ritsumeikan OCW
13
ba QQ ~
不完全定義順序回路両立的出力が同じ状態
状態の遷移先⇒0,1
),~(),~( ba QXQX ww =
と約束*=* ,1,0
Ritsumeikan OCW
14
不完全定義順序回路
両立的集合
0Q8Q1Q
5Q3Q
どの対も互いに両立的
Ritsumeikan OCW
15
不完全定義順序回路
極大両立的集合
両立的集合 他の両立的集合に包含されない
Ritsumeikan OCW
16
順序回路(簡単化)<手順1>
<手順1-1>
非両立⇒×
状態対⇔マス目
111
011
11010
034
143
302
031
20
QQQQQQQQQQQQ
**
**
d wXQ
非両立的な状態の抽出
32104321
Ritsumeikan OCW
17
順序回路(簡単化)<手順1>
<手順1-2>状態対⇒マス目に記入
非両立的な状態の抽出
111
011
11010
034
143
302
031
20
QQQQQQQQQQQQ
**
**
d wXQ
X=0上段X=1下段* 空欄
23
02
24
230134
0033
1304
0134
32104321
Ritsumeikan OCW
18
順序回路(簡単化)<手順1>
<手順1-3a> 下記の条件⇒抽出
非両立的な状態の抽出
ba QQ~ のとき
bdpacp QQXQQX == ),(),( dd かつ
adpbcp QQXQQX == ),(),( dd かつ
dc QQ ~
Ritsumeikan OCW
19
32104321
順序回路(簡単化)<手順1>
<手順1-3b>非両立的な状態の抽出
ba QQ~ ⇒×
111
011
11010
034
143
302
031
20
QQQQQQQQQQQQ
**
**
d wXQ23
02
24
230134
0033
1304
0134
Ritsumeikan OCW
20
順序回路(簡単化)<手順2a> 極大両立的集合の決定
ba QQ~ ⇒ :別の両立的
集合に属す
ba QQ ,
},,,{ 4210 QQQQ },,,{ 4321 QQQQ30 QQ~
},,,,{ 43210 QQQQQ
Ritsumeikan OCW
21
順序回路(簡単化)<手順2b> 極大両立的集合の決定
32104321
02
24
230134
0033
1304
0134
23
},,,,{ 43210 QQQQQ~ )( 30 QQ
},,,{ 4210 QQQQ },,,{ 4321 QQQQ
},,{ 410 QQQ },,{ 420 QQQ },,{ 431 QQQ },,{ 432 QQQ
)( 21 QQ~ )( 21 QQ~
)( 42 QQ ~
},{ 20 QQ },{ 40 QQ
)( 42 QQ ~
},{ 32 QQ },{ 43 QQ
Ritsumeikan OCW
22
順序回路(簡単化)<手順3a> 部分集合
},,{ 4100 QQQm =C},,{ 4312 QQQm =C
},{ 201 QQm =C},{ 323 QQm =C
極大両立的集合
部分集合 Ci の満たす条件
jipjip
k
XX CCCCCCCQ
Í
ÈÈÈ=$"" ),(,,,
10
d
Ritsumeikan OCW
23
順序回路(簡単化)<手順3b> 部分集合
},{ 410 QQ=C }{ 32 Q=C},{ 201 QQ=C
234
231
),0(),0(
CC
Î=Î=
QQQQ
dd
20 ),0( CC =\d
104
101
),1(),1(
CC
Î=Î=
QQQQ
dd
10 ),1( CC Í\d11
1011
11010
034
143
302
031
20
QQQQQQQQQQQQ
**
**
d wXQ
Ritsumeikan OCW
24
順序回路(簡単化)<手順4>
<手順4-1> 部分集合⇔状態
111
011
11010
034
143
302
031
20
QQQQQQQQQQQQ
**
**
d wXQ
統合
232
1201
0410
ˆ}{
ˆ},{
ˆ},{
QQQ
QQQ
Û=
Û=
Û=
C
C
C
Ritsumeikan OCW
25
順序回路(簡単化)<手順4>
<手順4-2>統合
dˆ ÞkQ
10
20
ˆ)ˆ,1(ˆ
ˆ)ˆ,0(ˆ
=
=
d
d
2234
31 ˆ),0(),0( QQQ
QQ ÛÎþýü
== Cd
d
1104
01 ˆ),1(),1( QQQ
QQ ÛÎþýü
== Cd
d
111
011
11010
034
143
302
031
20
QQQQQQQQQQQQ
**
**
d wXQ
232
1201
0410
ˆ}{
ˆ},{
ˆ},{
QQQQQQQQ
Û=Û=Û=
CCC
Ritsumeikan OCW
26
順序回路(簡単化)<手順4>
<手順4-3>統合
wˆ ÞkQ
111
011
11010
034
143
302
031
20
QQQQQQQQQQQQ
**
**
d wXQ
0410ˆ},{ QQQ Û=C
1)ˆ,1(ˆ
1)ˆ,0(ˆ
0
0
=
=
Q
Q
w
w
1),0(1),0(
4
1
==
ww
1),1(1),1(
4
1
==
ww
Ritsumeikan OCW