Составители:
102
что свидетельствует об отсутствии избыточности переменных
булевого описаний соответствующих БФ, кроме этого получен-
ные веса имеют значения кратные двум, что подтверждает кор-
ректность их вычисления.
3.
Контроль факта избыточности переменных булевого описаний
БФ, задающую функцию
y выхода НДДС, на кодовых перехо-
дах дает
{}
2xP
x
y
P
2
1
==
⎭
⎬
⎫
⎩
⎨
⎧
∂
∂
;
{}
2xP
x
y
P
1
2
==
⎭
⎬
⎫
⎩
⎨
⎧
∂
∂
,
что свидетельствует об отсутствии избыточности переменных
булевого описаний функции
y выхода, кроме этого полученные
веса имеют значения кратные двум, что подтверждает коррект-
ность их вычисления.
4.
Контроль постановочного описания ННДС в форме ДПВ с полу-
ченным его аналитическим представлением, определяемым со-
ответ-ствующими БФ, в форме
–– проверки детектируемости состояний НДДС по соответст-
вующим булевым переменным дает
0x
x
y
2
1
≠=
∂
∂
; 0x
x
y
1
2
≠=
∂
∂
,
что свидетельствует о детектируемости состояний НДДС
по этим переменным;
–– проверки достижимости состояний НДДС по соответст-
вующим булевым переменным дает
0xx
u
21
1
≠=
∂
∂
µ
; 0xx
u
21
2
≠=
∂
∂
µ
,
что свидетельствует о достижимости состояний НДДС по
входной переменной
u .
Выполнение п.5 алгоритма авторы сочли возможным опустить. ■
Примечание 2.7 (ПМ2.7). Следует заметить, что при решении за-
дач минимизации БФ использование аппарата селлерсовского диффе-
ренцирования, в отличие от соответствующих методов минимизации
БФ, при своей простоте позволяет одновременно исследовать среду
БФ: определять и ранжировать ее переменные по степени их значимо-
сти, проверять корректность БФ; в рамках ДДС – производить анализ
детектируемости и достижимости
состояний, а также корректности со-
ставления ГСА-описания ее функционирования в фазе перехода от
«вербальной» версии ГСА к ее формальной версии. □
Страницы
- « первая
- ‹ предыдущая
- …
- 165
- 166
- 167
- 168
- 169
- …
- следующая ›
- последняя »
