Материал: Kontrolnaya_пример варианта номер 30
Условные
вероятности
того,
что проверка принимает значение 1 или
0 соответственно при условии, что
состояние находится в Lk
-й части таблицы:
;
.
Для π1 имеем:
Для π2:
Для π3:
Для π4:
Для π5:
Для π7:
Для π8:
Для π9:
Для π10:
Для π11:
Для π12:
Производя подобные вычисления, заполняем столбец Ii2 в табл. 2. В тест по максимальному значению выбирается π4, разбивающий каждую часть табл. 2 на две части.
В результате получается табл. 3, состоящая из четырех частей L1..L4. Строка проверки π4 поставлена первой. Здесь оказывается уже выделенным состояние S0, S4, из которого состоит часть L1.
Отбор следующей проверки в тест (третий шаг) производится по табл. 3 с использованием формулы
,
(3)
где
,
и
имеют
тот же смысл, что и в (2)
;
;
;
.
Если в какой-то части Lk таблицы проверке πi соответствует только единицы или только нули, то для этой части информация равна 0.
Второй шаг минимизации
Lk |
L1 |
L2 |
L3 |
L4 |
Ii3 |
||||
PLk |
0,8 |
0,02 |
0,09 |
0,09 |
|
||||
ni |
S0 |
S4 |
S1 |
S6 |
S7 |
S2 |
S3 |
S5 |
|
pj |
0,8 |
0,02 |
0,05 |
0,02 |
0,02 |
0,05 |
0,02 |
0,02 |
|
π4 |
1 |
0 |
1 |
1 |
1 |
0 |
0 |
0 |
0 |
π1 |
1 |
1 |
0 |
1 |
1 |
1 |
1 |
1 |
0,0892 |
π2 |
1 |
1 |
1 |
0 |
1 |
0 |
1 |
1 |
0,1580 |
π3 |
1 |
1 |
0 |
1 |
1 |
0 |
0 |
1 |
0,1580 |
π5 |
1 |
0 |
0 |
1 |
1 |
1 |
0 |
0 |
0,1784 |
π7 |
1 |
1 |
0 |
0 |
0 |
0 |
1 |
1 |
0,0892 |
π8 |
1 |
0 |
1 |
0 |
0 |
1 |
1 |
0 |
0,1580 |
π9 |
1 |
1 |
0 |
1 |
1 |
1 |
0 |
0 |
0,1784 |
π10 |
1 |
1 |
1 |
1 |
1 |
0 |
0 |
1 |
0,0688 |
π11 |
1 |
1 |
1 |
0 |
1 |
0 |
0 |
0 |
0,0688 |
π12 |
1 |
1 |
1 |
1 |
1 |
0 |
1 |
1 |
0,0892 |
Для π1 имеем:
;
Для π2:
;
Для π3:
;
Для π5:
;
Для π7:
;
Для π8:
;
Для π9:
;
Для π10:
;
Для π11:
;
Для π12:
;
В результате четвертого шага расчета получаем значения информации, записанные в соответствующую графу табл. 3. Из нее выбирается тест π5, которая выделяет состояния S1, S2 (табл. 4). Здесь столбцы Lk , к=1...7 определяют выделенные состояния.
В L3 и L6 заключены не различённые пока друг от друга состояния S6, S7 и S3, S5. Они различаются проверками π2, π3, π8, π10, π11. Любая из них может быть отобрана в тест. Пусть отобрана, например, π2, как проще измеряемая.
В результате получается табл. 5, в которой записаны только отобранные в тест проверки.
Таблица 4
Третий шаг минимизации
Lk |
L1 |
L2 |
L3 |
L4 |
L5 |
L6 |
Ii4 |
||
PLk |
0,8 |
0,02 |
0,04 |
0,05 |
0,05 |
0,04 |
|
||
Sj |
S0 |
S4 |
S6 |
S7 |
S1 |
S2 |
S3 |
S5 |
|
pj |
0,8 |
0,02 |
0,02 |
0,02 |
0,05 |
0,05 |
0,02 |
0,02 |
|
π5 |
1 |
0 |
1 |
1 |
0 |
1 |
0 |
0 |
0 |
π1 |
1 |
1 |
1 |
1 |
0 |
1 |
1 |
1 |
0 |
π2 |
1 |
1 |
0 |
1 |
1 |
0 |
1 |
1 |
0,0400 |
π3 |
1 |
1 |
1 |
1 |
0 |
0 |
0 |
1 |
0,0400 |
π7 |
1 |
1 |
0 |
0 |
0 |
0 |
1 |
1 |
0 |
π8 |
1 |
0 |
0 |
0 |
1 |
1 |
1 |
0 |
0,0400 |
π9 |
1 |
1 |
1 |
1 |
0 |
1 |
0 |
0 |
0 |
π10 |
1 |
1 |
1 |
1 |
1 |
0 |
0 |
1 |
0,0400 |
π11 |
1 |
1 |
0 |
1 |
1 |
0 |
0 |
0 |
0,0400 |
π12 |
1 |
1 |
1 |
1 |
1 |
0 |
1 |
1 |
0 |