Короткие единичные проверяющие тесты размыкания для контактных схем с двумя и более дополнительными полюсами
Рассматривается задача синтеза многополюсных контактных схем, реализующих заданные булевы функции между полюсами A и B и допускающих короткие единичные проверяющие тесты относительно размыканий контактов. Для каждой булевой функции от n переменных и каждого тестового полюсного множества, содержащ...
| Опубликовано в: : | Прикладная дискретная математика № 71. С. 63-74 |
|---|---|
| Главный автор: | |
| Формат: | Статья в сборнике |
| Язык: | Russian |
| Предметы: | |
| Online-ссылка: | https://vital.lib.tsu.ru/vital/access/manager/Repository/koha:001291162 Перейти в каталог НБ ТГУ |
| Итог: | Рассматривается задача синтеза многополюсных контактных схем, реализующих заданные булевы функции между полюсами A и B и допускающих короткие единичные проверяющие тесты относительно размыканий контактов. Для каждой булевой функции от n переменных и каждого тестового полюсного множества, содержащего хотя бы две отличных от {A, B} и непересекающихся пары полюсов, найдено минимально возможное значение длины такого теста. В частности, доказано, что оно не превосходит 2. |
|---|---|
| Библиография: | Библиогр.: 11 назв. |
| ISSN: | 2071-0410 |