8 / 15
А.Г. Андреев, Г.В. Казаков, В.В. Корянов
8
Инженерный журнал: наука и инновации
# 6·2016
Если АСУ КА представлена в виде определенной структуры ЭППД
(т. е. в виде информационно-технологической схемы), то можно полу-
чить аналитические выражения для оценки показателей ее качества.
Показатели достоверности и реализуемости данных рассчитыва-
ют по одним и тем же алгоритмам.
Исходя из структуры
k
-го ТУ
s
-го ЭППД (т. е. ТУ
sk
), вероятность
искажения данных, не обнаруженных
i
-й процедурой выходного кон-
троля, определится выражением
ЧД
ЧО
ТС
П
– 1)
0
(
С
1 – 1 –
1– 1– 1– 1–
),
0, 1, 2, , ; 1, 2,
[(
)(
)(
)(
)(
)] (
,
,
sk
s k
sk
sk
sk
sk
sk
s
s
k
Q
Q
Q Q Q Q P
Q s
S k
K
β
ϕ
=
= =
… =
…
где
s
K
— число ТУ
sk
, входящих в состав ЭППД
s
;
)
( – 1
s k
Q
— вероят-
ность искажения данных на выходе предыдущего, (
k
– 1)-го ТУ
s
-го ЭППД, т. е. ТУ
s
(
k
– 1)
;
ЧД
sk
Q
,
ЧО
sk
Q
,
ТС
sk
Q
,
ПС
sk
Q
— вероятность иска-
жения данных соответственно человеком-документалистом, челове-
ком-оператором на ТУ
sk
; техническими средствами, программными
средствами ТУ
sk
;
) (
k sk
P
β
ϕ
— функция от вероятности ошибки второго
рода, вычисляемая для каждого вида процедуры контроля информа-
ции на ТУ
sk
.
Для синтаксического контроля данных
0
0
s
Q
≈
, поскольку ин-
формация базы данных (БД) АСУ КА считается эталонной.
Поскольку в любом ЭППД циркулирует семантически однород-
ная информация, показатель достоверности (реализуемости) данных
полета КА на выходе ЭППД определяется показателем достоверно-
сти последнего из последовательно соединенных ТУ.
Если входные данные в программном обеспечении АСУ КА
прошли семантический контроль с помощью программных средств,
а информация БД — многократный визуальный контроль, то послед-
няя считается эталонной с точностью до вероятностей ошибок второ-
го рода семантического и визуального контроля данных, записывае-
мых в БД АСУ КА, т. е. информация БД не является эталонной,
а считается таковой.
Поскольку, как следует из определения ЭППД, выходная инфор-
мация для разных ЭППД представляет собой семантически разно-
родный массив данных, записанный на определенном носителе ин-
формации, то показатель достоверности подготовки данных D
д
опре-
деляется минимальным значением вероятности отсутствия ошибок в
данных на выходе каждого ЭППД:
д
D min(1 ),
s
s
Q
= −
где 1 –
s
Q
=
s
Р
— вероятность отсутствия ошибок в данных на вы-
ходе
s
-го ЭППД.