Аннотация:
Рассматривается задача синтеза неизбыточных схем из функциональных элементов, реализующих булевы функции от n переменных и допускающих короткие единичные проверяющие тесты относительно однотипных константных неисправностей на выходах элементов, в базисе {&,¬} и схожих базисах. Для каждой булевой функции, допускающей реализацию неизбыточной схемой, найдено минимально возможное значение длины такого теста. В частности, доказано, что оно не превосходит трёх.
Работа выполнена при поддержке гранта РНФ, проект № 14-21-00025 П.
Реферативные базы данных:
Тип публикации:
Статья
УДК:519.718.7
Образец цитирования:
К. А. Попков, “Единичные проверяющие тесты для схем из функциональных элементов в базисе “конъюнкция-отрицание””, ПДМ, 2017, № 38, 66–88
\RBibitem{Pop17}
\by К.~А.~Попков
\paper Единичные проверяющие тесты для схем из функциональных элементов в~базисе ``конъюнкция-отрицание''
\jour ПДМ
\yr 2017
\issue 38
\pages 66--88
\mathnet{http://mi.mathnet.ru/pdm602}
\crossref{https://doi.org/10.17223/20710410/38/5}
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/pdm602
https://www.mathnet.ru/rus/pdm/y2017/i4/p66
Эта публикация цитируется в следующих 4 статьяx:
К. А. Попков, “О самокорректирующихся схемах из ненадежных функциональных элементов,
имеющих не более двух входов”, Матем. заметки, 111:1 (2022), 145–148; K. A. Popkov, “On Self-Correcting Logic Circuits of Unreliable Gates with at Most Two Inputs”, Math. Notes, 111:1 (2022), 157–160
К. А. Попков, “Короткие единичные проверяющие тесты для схем при произвольных неисправностях функциональных элементов”, ПДМ, 2022, № 55, 59–76
К. А. Попков, “О схемах, допускающих короткие единичные проверяющие тесты при произвольных неисправностях функциональных элементов”, ПДМ, 2021, № 51, 85–100
К. А. Попков, “Короткие единичные тесты для схем при произвольных константных неисправностях на выходах элементов”, Дискрет. матем., 30:3 (2018), 99–116; K. A. Popkov, “Short single tests for circuits with arbitrary stuck-at faults at outputs of gates”, Discrete Math. Appl., 29:5 (2019), 321–333
Цитирование в формате AMSBIB
Обратная связь: