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