ДИСК 1-6 семестр 250 грн 250
Добавить свое фото
Регистрация в сети КИС Плюс
Вход в КИС ПЛЮС
Новости
GUIKT
DUIKT
Zosik, KIS-kiev.narod.ru
| Заказать
курсовой за 15 грн ДИСК 1-6 семестр 250 грн 250 Добавить свое фото Регистрация в сети КИС Плюс Вход в КИС ПЛЮС Новости |
GUIKT DUIKT Zosik, KIS-kiev.narod.ru |
5 |
2.1 В число обязательных проверок включается:
- проверки выходных элементов, вошедших в МПТ;
- проверки элементов, у которых только один выход соединен только с одним входом.
Поб={π1.1, π1.2, π5, π6}
2.2 Построение усеченной ТФН.
Таблица 2.1
|
Проверки элементов |
Состояния ОД |
|||||||
|
S0 |
S1.1 |
S1.2 |
S2 |
Sэ |
S4 |
S5 |
S6 |
|
|
Π1.1 |
1 |
0 |
1 |
1 |
1 |
1 |
1 |
1 |
|
Π1.2 |
1 |
1 |
0 |
1 |
1 |
1 |
1 |
1 |
|
Π5 |
1 |
1 |
0 |
0 |
1 |
1 |
0 |
1 |
|
Π6 |
1 |
0 |
0 |
0 |
0 |
0 |
0 |
0 |
Из анализа табл. 2.1 следует, что в усеченной ТФН для множества Поб существуют неразличимые состояния – {S2 S5}; {Sэ S4}; {Sэ S6}; {S4 S6}.
Для различения пар состояний, не различимых обязательными проверками, строится таблица покрытий и определяется множество дополнительных проверок Пдоп. Столбцы таблицы покрытий (см. табл. 2.2) обозначаются парами состояний, не различимых обязательными проверками, а строки – проверками, не вошедшими в число обязательных. В клетках таблицы 1 – если проверка Πi различает состояние, 0 – в противном случае.
Таблица 2.2
|
Проверки элементов |
Пары состояний |
|||
|
{S2 S5} |
{Sэ S4} |
{Sэ S6} |
{S4 S6} |
|
|
Π2 |
1 |
0 |
0 |
0 |
|
Π3 |
1 |
0 |
1 |
1 |
|
Π4 |
1 |
1 |
0 |
1 |
|
Π7 |
1 |
0 |
1 |
1 |
Во множество дополнительных включается минимальное число проверок, строки которых покрывают все столбцы таблицы покрытий. В данном случае 3 множества дополнительных проверок π1доп={π3}; π2доп={π4}; π3доп={π7}.
Size: 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13
|
|
||||
|
||||
|
|
||||
|
|
||||
|
