|
Эта публикация цитируется в 13 научных статьях (всего в 13 статьях)
О проверяющих тестах размыкания для контактных схем
К. А. Попков ИПМ им. М.В. Келдыша РАН
Аннотация:
Рассматривается задача синтеза двухполюсных контактных схем, реализующих заданные булевы функции и допускающих короткие проверяющие тесты относительно размыканий контактов. Для каждой булевой функции от $n$ переменных найдены минимально возможные значения длин единичного и полного проверяющего тестов. В частности, доказано, что они не превосходят $n$.
Ключевые слова:
контактная схема, размыкание контакта, единичный проверяющий тест, полный проверяющий тест.
Статья поступила: 07.08.2017 Переработанный вариант поступил: 18.10.2017
Образец цитирования:
К. А. Попков, “О проверяющих тестах размыкания для контактных схем”, Дискрет. матем., 29:4 (2017), 66–86; Discrete Math. Appl., 28:6 (2018), 369–383
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/dm1447https://doi.org/10.4213/dm1447 https://www.mathnet.ru/rus/dm/v29/i4/p66
|
Статистика просмотров: |
Страница аннотации: | 430 | PDF полного текста: | 124 | Список литературы: | 51 | Первая страница: | 24 |
|