асэм контрольная. КОНТРОЛЬНАЯ ГАЙДИС. Решение Исходная таблица состояний Sj S0

• Название: Решение Исходная таблица состояний Sj S0
• Анкор: асэм контрольная
• Дата: 05.01.2023
• Размер: 256.8 Kb.
• Имя файла: КОНТРОЛЬНАЯ ГАЙДИС.docx
• Тип: Решение; #873230
• страница: 2 из 2

Второй шаг минимизации

Lk	L1		L2	L3			L4		Ii3
PLk	0,82		0,05	0,09			0,04
ni	S0	S3	S1	S2	S6	S7	S4	S5
pj	0,8	0,02	0,05	0,05	0,02	0,02	0,02	0,02
π5	1	1	0	1	1	1	0	0	0
π1	1	1	0	1	1	1	1	1	0
π2	1	1	1	1	0	1	1	1	0,068
π3	1	1	1	0	1	1	1	1	0,089
π4	1	0	1	1	1	1	0	0	0
π7	1	1	1	1	0	0	1	1	0,089
π8	1	1	1	1	0	0	0	0	0,089
π9	1	0	1	1	1	1	1	0	0,040
π10	1	1	0	0	1	1	1	1	0,089
π11	1	1	1	1	0	0	1	0	0,056
π12	1	1	1	1	1	1	1	1	0

Для π₁ имеем:

;

Для π₂:

;

Для π₃:

;

Для π₄:

;

Для π₇:

;

Для π₈:

;

Для π₉:

;

Для π₁₀:

;

Для π₁₁:

;

Для π₁₂:

;

В результате четвертого шага расчета получаем значения информации, записанные в соответствующую графу табл. 3. Из нее выбирается тест π₃, которая выделяет состояния S₁, S₂ (табл. 4). Здесь столбцы L_k, к=1...7 определяют выделенные состояния.

В L₃ и L₆ заключены не различённые пока друг от друга состояния S₆, S₇ и S₃, S₅. Они различаются проверками π₂, π_3, π_8, π_10, π₁₁. Любая из них может быть отобрана в тест. Пусть отобрана, например, π₂, как проще измеряемая.

В результате получается табл. 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
π3	1	1	1	1	1	0	1	1	0
π1	1	1	1	1	0	1	1	1	0
π2	1	1	0	1	1	1	1	1	0,0400
π4	1	0	1	1	1	1	0	0	0
π7	1	1	0	0	1	1	1	1	0
π8	1	0	0	0	1	1	1	0	0,0400
π9	1	1	1	1	1	1	0	0	0
π10	1	1	1	1	0	0	1	1	0
π11	1	1	0	0	1	1	1	0	0,0400
π12	1	1	1	1	1	1	1	1	0

Для π₁ имеем:



Для π₂:



Для π₄:



Для π₇:



Для π₈:



Для π₉:



Для π₁₀:



Для π₁₁:



Для π₁₂:



Таблица 5

Результат минимизации

Sj	S0	S1	S2	S3	S4	S5	S6	S7
pj	0,8	0,05	0,05	0,02	0,02	0,02	0,02	0,02
π2	1	1	1	1	1	1	0	1
π3	1	1	0	1	1	1	1	1
π5	1	0	1	1	0	0	1	1
π6	1	1	1	0	0	0	0	0

2. 
   Дерево безусловного алгоритма поиска места отказа.