РУАЭСТ (RUAEST)
Облако ключевых слов*
- "проверять"
- "упомянутые функции"
- "нижняя оценка"
- "неисправность"
- "люба схемы"
- "функциональные элементы"
- "люба"
- "шеффер"
- "константная неисправность"
- "базис"
- "41320"
- "штрих"
- "тест"
- "константный"
- "полный тест"
- "штрих шеффера"
- "длина теста"
- "московский университет"
- "x2"
- "вестник университета"
- "оценка длины"
- "доказываться"
- "указанные базисы"
- "пример схемы"
- "длина"
* - вычисляется автоматически
Недавно смотрели:
НИЖНЯЯ ОЦЕНКА ДЛИНЫ ПОЛНОГО ПРОВЕРЯЮЩЕГО ТЕСТА В БАЗИСЕ {x|y}
Доказывается, что для любой схемы в базисе "штрих Шеффера", реализующей функцию x1∨x2 ∨.. .∨Хn, длина полного проверяющего теста в случае константных неисправностей типа "1" не меньше n+1 (n>2). Приводится пример схемы, реализующей упомянутую функцию в указанном базисе, для которой длина полного проверяющего теста равна n+1.
Авторы
Тэги
Тематические рубрики
Предметные рубрики
В этом же номере:
РЯД ПУАНКАРЕ ФИЛЬТРАЦИИ, АССОЦИИРОВАННОЙ С ДИАГРАММОЙ НЬЮТОНА, И ТОПОЛОГИЧЕСКИЙ ТИП ОСОБЕННОСТИ,
ЭКСПЕРИМЕНТАЛЬНОЕ И ТЕОРЕТИЧЕСКОЕ ОПРЕДЕЛЕНИЕ МОДУЛЯ ЮНГА КОМПОЗИТА НА ОСНОВЕ ФЕНОЛЬНЫХ СМОЛ, АРМИРОВАННЫХ КОРОТКИМИ ВОЛОКНАМИ,
...
Резюме по документу**
Доказывается, что для любой схемы в базисе "штрих Шеффера", реализующей функцию x1x2 .. .Хn, длина полного проверяющего теста в случае константных неисправностей типа "1" не меньше n+1 (n>2). <...> Приводится пример схемы, реализующей упомянутую функцию в указанном базисе, для которой длина полного проверяющего теста равна n+1. <...> Доказывается, что для любой схемы в базисе "штрих Шеффера", реализующей функцию x1x2 .. .Хn, длина полного проверяющего теста в случае константных неисправностей типа "1" не меньше n+1 (n>2). <...> Приводится пример схемы, реализующей упомянутую функцию в указанном базисе, для которой длина полного проверяющего теста равна n+1. <...>
** - вычисляется автоматически, возможны погрешности
Похожие документы: