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

UptoLike

ВУЗ: 

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

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

Рубрика: 

186
[]
{}
[]
==
⎥
⎦
⎤
⎢
⎣
⎡
∈=
=
∗
=
=
∗
=
∑
T
n,1i
i
T
n,1i
m
1j
SjiSjiS
T
n,1i
rqi
r
ˆ
p;p
ˆ
p
κκ
P
[][]
≈==
TT
0,350,350,380,3556566056
160
1
[]
T
0,40,40,40,4≈ .
2.
Вычисление в силу (3.24) оценки локально-мажорантного ре-
сурса помехозащиты
maxL
λ
для исправления сбоев первой крат-
ности дает
{
}
44
rqi
i
104,01014,04,1i,pmaxargpp
~
−−
⋅=⋅⋅===
.
()
3
Pp1pCParg
C12:NN
arg
maxL
доп
n
1si
in
ii
nсбизб
1
n
nn
~
сбоевсиндромов
maxL
изб
изб
изб
изб
=⇒
⎪
⎩
⎪
⎨
⎧
⎭
⎬
⎫
⎩
⎨
⎧
≤−==≡
≥−≥
=
∑
+
+=
−+
+
+
−
λ
λλ
λ
λ
λ
λ
λ
что приводит к выбору образующей матрицы
⎥
⎥
⎥
⎦
⎤
⎢
⎢
⎢
⎣
⎡
=
1101000
0110100
1110010
1010001
4,7
G
помехозащищенного
(
)
4,7 кода.
3.
Построение формализованного описания конструируемой ГДДС
в форме (3.28) – (3.31) приводит с учетом проверочных частей
кодов состояния ГДДС и представления для соответствующих
разрядов помехозащищенного кода вида
{} {}
1231234
mmmxxxxx
ˆ
=
κ
;
100|x011|x000|x110|x101|x010|x
111|x001|x010|x100|x001|x111|x
121110987
654321
для сепаратной информационной части
x
вектора состояния
x
ˆ
ГДДС агрегированное табличное (таблица 3.7) представление
правила
()()
[
]
kukx ,
ˆ
ˆ
λ
и правила
(
)
(
)
[
]
kukx ,
ˆ
δ
. Справедливость
таких действий основывается на том, что сепаратная провероч-
ная часть
G
~
x
вектора
x
ˆ
состояния ГДДС образуется в силу про-
верочных равенств, аргументы которых представляют собой ис-
ключительно компоненты сепаратной информационной части
x
вектора
x
ˆ
состояния ГДДС.

Страницы