Двоичные динамические системы дискретной автоматики. Мельников А.А - 207 стр.

UptoLike

ВУЗ: 

Университет ИТМО | Санкт-Петербург

Составители: 

Рубрика: 

193
сочетательному закону
()
!mn!m
!n
C
m
n
−
=
множество
'
P
«композици-
онных» параметров в форме произведения параметров из множества
P мощности
[]
P=
χ
;
χ
β
– коэффициент, значение которого при-
надлежит множеству
{}
1,0 , а агрегирование переменных
x
осуществ-
ляется с использованием следующей рекуррентной процедуры (3.48) –
(3.53):
() ()()
(
)
(
)
() ()
()
{}
(3.48)
θηγα
γα
α
η
θ
η
ηη
ν
,1,1,0,
;pp,,p,pf:,a,a;n,1j,i
kxkxa
kxakxaa1kxf1kx
1
21ji0
æ
n
1æ
1
1n2
nni
jnjnijji0iii
C
C
n
~
==
==
⊕⊕⊕
⊕
⊕
⊕
⊕
=+=+
=
=
=
−−≤
−−
∑
Κ
ΚΚ
Κ
Κ
λ
λ
λ
() () {}
0x
~
;,1,0kxargkx
~
æ
n
1æ
C ≠==
⎪
⎭
⎪
⎬
⎫
⎪
⎩
⎪
⎨
⎧
≠=
=
λλ
λ
λ
λ
κνα
(3.49)
() () ()()
∏∏
==
+=+=+
n
1æ
ææ
n
1æ
æ
1kxf1kx1kx
~
λ
(3.50)
() ()
(
)
(
)()
() ()
(3.51)n,1j,i,kx
~
kxa
kxakxaa1kxf1kx
1
nn1
jnjn1jj10iii
=⊕⊕⊕
⊕
⊕
⊕
⊕
=+=+
=
−−
∑
λλ
λ
ΚΚ
Κ
Κ
α
κ
() ()
(
)
(
)()
() ()
(3.52)n,1j,i,kxkxa
kxakxaa1kx
~
f1kx
~
æ
n
1æ
1
1n2
nn1
jnjn1jj10
C
n
=
′
⊕⊕⊕
⊕
⊕
⊕
⊕
=+=+
=
=
−−≤
−−
∑
λ
λ
λλλ
ΚΚ
Κ
Κ
α
ν
() () {}
Μ
λ
λλ
λ
λ
0x
~
;,1,0kxargkx
~
æ
n
1æ
C ≠=
′
−=
′
⎪
⎭
⎪
⎬
⎫
⎪
⎩
⎪
⎨
⎧
≠
′
=
′
=
′
′
κκνα
(3.53)
□
Доказательство. Из выражения (3.48) видно, что на каждом шаге
выполнения рекуррентной процедуры формируются агрегированные
переменные
λ
x
~
, представленные сочетаниями булевых переменных
i
x
состояния ДДС в форме соответствующих конъюнкций. Начальный
шаг рекурсии характеризуется мощностью алфавита

Страницы