Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
новая папка / Kontrolnaya_пример варианта номер 30.docx
Скачиваний:
24
Добавлен:
10.03.2021
Размер:
290.05 Кб
Скачать

Курсанты, которые выполняют варианты 27-38 должны:

1) произвести минимизацию теста информационным методом;

2) по полученной минимизированной таблице состояний построить дерево безусловного алгоритма поиска места отказа.

  1. Минимизация теста информационным способом

Решение

Таблица 1

Исходная таблица состояний

Sj

S0

S1

S2

S3

S4

S5

S6

S7

Ii1

pj

0,8

0,05

0,05

0,02

0,02

0,02

0,02

0,02

π1

1

0

1

1

1

1

1

1

0,286

π2

1

1

0

1

1

1

0

1

0,366

π3

1

0

0

0

1

1

1

1

0,529

π4

1

1

0

0

0

0

1

1

0,500

π5

1

0

1

0

0

0

1

1

0,500

π6

1

0

0

0

1

0

0

0

0,680

π7

1

0

0

1

1

1

0

0

0,584

π8

1

1

1

1

0

0

0

0

0,402

π9

1

0

1

0

1

0

1

1

0,436

π10

1

1

0

0

1

1

1

1

0,366

π11

1

1

0

0

1

0

0

1

0,500

π12

1

1

0

1

1

1

1

1

0,286

Количество информации, которое несет i-я проверка о состоянии объекта диагностирования на первом шаге отбора:

, (1)

где цифра в индексах левой и правой частей уравнения обозначает номер шага;

- вероятность того, что объект находится в тех m-состояниях из их общего числа N, для которых результат i-й проверки равен 1;

- вероятность нахождения объекта в состоянии Sj, для которого проверке соответствует 1;

m-число состояний, для которых проверка ;

- вероятность того, что объект находится в тех n-состояниях, для которых i-я проверка равна 0;

n-число состояний, для которых ;

(Для рассматриваемого случая N=8).

Сумма всех вероятностей для каждого :

.

В соответствии с этими зависимостями для отбора первой проверки в тест найдем суммы вероятностей тех состояний, для которых , и суммы вероятностей тех состояний, для которых .

Так для π1:

Для π2:

Для π3:

Для π4:

Для π5:

Для π6:

Для π7:

Для π8:

Для π9:

Для π10:

Для π11:

Для π12:

Количество информации, которое несет на первом шаге подсчитывается по формуле (1):

;

Для π2: ;

Для π3: ;

Для π4: ;

Для π5: ;

Для π6: ;

Для π7: ;

Для π8: ;

Для π9: ;

Для π10: ;

Для π11: ;

Для π12: ;

Эти данные записаны в последней колонке табл. 1.

В тест отбирается проверка π6, как дающая максимум информации. По этой проверке табл. 1 делится на две части L1 и L2, представленные в табл. 2.

Для отбора следующей проверки (второй шаг) используется формула

, (2)

где - вероятность того, что состояние объекта попало в часть Lk табл. 2. Она равна сумме вероятностей тех состояний, которые вошли в данную часть таблицы: .

Для табл. 2 получаем ; .

Таблица 2

Соседние файлы в папке новая папка