RUS  ENG
Полная версия
ЖУРНАЛЫ // Ученые записки Казанского университета. Серия Физико-математические науки // Архив

Учён. зап. Казан. гос. ун-та. Сер. Физ.-матем. науки, 2009, том 151, книга 2, страницы 133–138 (Mi uzku755)

Пятнадцатая международная конференция "Проблемы теоретической кибернетики"

О синтезе легкотестируемых схем и об оценках длины тестов

Н. П. Редькин

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

Аннотация: В статье рассматриваются единичные проверяющие тесты для схем из функциональных элементов при инверсных неисправностях на выходах элементов, проверяющие тесты для схем в случае однотипных константных неисправностей на выходах элементов, единичные диагностические тесты для схем в бесконечном базисе, минимальные тесты для схем, реализующих дизъюнкцию. Приводятся новые оценки длины этих тестов. Эти оценки в ряде случаев являются неулучшаемыми.

Ключевые слова: булевы функции, схемы из функциональных элементов, неисправности элементов, проверяющий тест, диагностический тест.

УДК: 519.95

Поступила в редакцию: 01.04.2009



© МИАН, 2024