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

UptoLike

171
Определение 3.8 (О3.8). Обобщенной относительной оценкой при-
веденной востребованности
[
]
r
булевой переменной
i
x произвольной
ДДС будем называть величину, имеющую два эквивалентных пред-
ставления:
[]
+
=
∑∑
==
n
1k
2
1j
j
k
i
m
m
x2m
1
µ
r
rnm,
u
r
1k
2
1j
j
k
i
m
+=
+
∑∑
==
µ
, (3.12а)
[]
rnm,
u
P
x
P
2m
1
r
1k
i
k
n
1k
i
k
m
+=
+
=
==
µµ
r
(3.12б)
где r,1k,u
k
= булевы переменные входа ДДС.
Нетрудно видеть, что введенные О3.7 и О3.8 дают количественную
оценку востребованности соответствующих булевых переменных в
процедуру динамического кодопреобразования, при этом оценка вы-
числяется с приведением ее к мощности полного множества кодовых
переходов ДДС так, что для выражения (3.10) она определяется норми-
рующим коэффициентом
n
авт
2n
1
ˆ
=
κ
, (3.13)
а для выражений (3.12а), (3.12б) – нормирующим коэффициентом
m
пр
2m
1
ˆ
=
κ
. (3.14)
Разница в коэффициентах обуславливается тем, что значения перемен-
ных
r,1k,u
k
= входа ДДС на кодовых переходах не формируются не-
посредственно средой ДДС так, как формируются значения перемен-
ных состояния посредством БФ
(
)
n,1i,u,x
i
=
µ
возбуждения (2.12), а
лишь принимают участие в процедуре кодопреобразования.
Приведенные соображения уже являются достаточными для реше-
ния поставленной задачи, однако процедура решения становится много
удобнее, если воспользоваться следующими понятиями.
Определение 3.9 (О3.9). Матрицей
f
S чувствительности Селлер-
са
векторной булевой функции
()
()
{
}
m,1n,1 j,xfcoli,xf
iji
== =
к ва-
риациям булевых переменных
i
x называется такая матрица
f
S ,
строки
j
f
s
которой образованы частными производными
()
i
j
ji
x
f
fs
=