RUS  ENG
Полная версия
ЖУРНАЛЫ // Дискретный анализ и исследование операций // Архив

Дискретн. анализ и исслед. опер., 2008, том 15, выпуск 2, страницы 3–11 (Mi da524)

Эта публикация цитируется в 3 статьях

О минимальных тестах для схем, реализующих дизъюнкцию

С. Р. Беджанова

Московский государственный университет им. М. В. Ломоносова, механико-математический факультет

Аннотация: Исследуются тесты для схем из функциональных элементов, реализующих дизъюнкцию $n$ переменных. В качестве неисправностей рассматриваются инверсные неисправности: на входах схем, на входах элементов схем и на выходах элементов схем. В первом случае для тестов функции установлено, что длина минимального полного проверяющего теста равна единице, длина минимального единичного диагностического теста равна $n$, а длина минимального полного диагностического теста равна $2^n-1$. Во втором и третьем случаях найдены минимальные единичные тесты для схем в базисах $ \{x\vee y\}$ и $\{\overline x, x\to y\}$. Оказалось, что для обоих базисов при неисправностях на выходах элементов минимальные единичные диагностические тесты содержат по два набора, а во всех остальных случаях минимальные единичные тесты содержат по одному набору. Библ. 4.

УДК: 519.95

Статья поступила: 30.01.2008



Реферативные базы данных:


© МИАН, 2024