Аннотация:
Доказано, что любую неконстантную булеву функцию от n переменных можно реализовать неизбыточной схемой из функциональных элементов в базисе {&,⊕,¬}, допускающей при n⩾3 единичный проверяющий тест длины не более 6n−10 относительно произвольных неисправностей элементов.
\RBibitem{Pop22}
\by К.~А.~Попков
\paper Короткие единичные проверяющие тесты для схем при произвольных неисправностях функциональных элементов
\jour ПДМ
\yr 2022
\issue 55
\pages 59--76
\mathnet{http://mi.mathnet.ru/pdm760}
\crossref{https://doi.org/10.17223/20710410/55/4}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=4409563}
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/pdm760
https://www.mathnet.ru/rus/pdm/y2022/i1/p59
Эта публикация цитируется в следующих 2 статьяx:
К. А. Попков, “О реализации линейных булевых функций самокорректирующимися схемами из ненадежных функциональных элементов”, Матем. заметки, 115:1 (2024), 91–107; K. A. Popkov, “Implementation of Linear Boolean Functions by Self-Correcting Circuits of Unreliable Logic Gates”, Math. Notes, 115:1 (2024), 77–88
A. N. Mal'tsev, “Shannon Function of the Test Length with Respect to Gate Input Identification”, Comput Math Model, 33:4 (2022), 501
Цитирование в формате AMSBIB
Обратная связь: