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

UptoLike

ВУЗ: 

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

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

Рубрика: 

183
Для рационального использования ресурса помехозащиты, что
проявляется в минимальной избыточности кодовых реализаций векто-
ра состояния ДДС, введем определение, опирающееся на
О3.12 степе-
ни
xi
R
востребованности булевой переменной
i
x
кода состояния ДДС,
вычисляемой в силу (3.19).
Определение 3.14 (О3.14). Оценкой степени востребованности
(ОСВ)
булевой переменной
i
x ДДС в силу (3.24) будем называть вели-
чину
∑
∈∈===
∗∗
=
∗
∑
RR
iSjiSixi
m
j
jiSrqi
rprpp ,;
ˆˆˆ
)22.3(
1
P
κκκ
, (3.33)
где
∗
κ
ˆ
– нормирующий коэффициент, определяемый спецификой ре-
шаемой задачи конструирования ДДС
. □
Вычисленную с помощью (3.33) величину ОСВ для булевых пере-
менных
n,1i,x
i
= , образующих вектор состояния ДДС, необходимо
учесть в (3.22) при выборе ресурса помехозащиты с использованием
(3.24), (3.25). Из выражения (3.33), нетрудно видеть, что значение
оценки
rqi
p удовлетворяет неравенству
1p0
rqi
<
<
, (3.34)
в силу чего эта оценка справедливо может быть использована для
уточнения величины (3.22) вероятности
p
элементарного сбоя в форме
rqii
ppp
=
~
. (3.35)
Введем в рассмотрение следующие определения.
Определение 3.15 (О3.15).
Под глобально-мажорантным ресурсом
помехозащиты
maxгл
λ
будем понимать число nn
изб
−
=
~
λ
избыточных
разрядов кода
()
nn,
~
, параметры nn,
~
которого связаны соотношени-
ем (3.24) или (3.25) так, что
избmaxгл
λ
λ
=
. □
Определение 3.16 (О3.16).
Под локально-мажорантным ресурсом
помехозащиты
maxL
λ
будем понимать число nn
Lизб
−
=
~
λ
избыточных
разрядов кода
()
nn
L
,
~
, параметры nn
L
,
~
которого связаны соотноше-
нием (3.24) или (3.25), где вероятность
p
является решением уравне-
ния
{}
nipp
rqi
i
,1,maxarg ==
. □
Понятие минорантного ресурса помехозащиты введем с помощью
следующего определения.
Определение 3.17 (О3.17). Пусть
{
}
n,1i,pminargp
rqi
i
minв
==
представляет собой минимальное значение оценки востребованности
булевых переменных кода состояния, тогда
(
)
n,n
~
minmin
λ
λ
=
, где nn,
~

Страницы