|
Интеллектуальные системы. Теория и приложения, 2019, том 23, выпуск 3, страницы 97–130
(Mi ista242)
|
|
|
|
Эта публикация цитируется в 5 научных статьях (всего в 5 статьях)
Часть 3. Математические модели
Короткие единичные проверяющие тесты для контактных схем при обрывах и замыканиях контактов
К. А. Попков
Аннотация:
Рассматривается задача реализации булевых функций неизбыточными двухполюсными контактными схемами, допускающими короткие единичные проверяющие тесты относительно обрывов и замыканий контактов. Описаны все функции, для которых минимальная длина указанного теста равна 0, 1, 2 и 3. Доказано, что для почти всех булевых функций от n переменных эта длина равна 4.
Ключевые слова:
контактная схема, булева функция, обрыв контакта, замыкание контакта, единичный проверяющий тест.
Образец цитирования:
К. А. Попков, “Короткие единичные проверяющие тесты для контактных схем при обрывах и замыканиях контактов”, Интеллектуальные системы. Теория и приложения, 23:3 (2019), 97–130
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/ista242 https://www.mathnet.ru/rus/ista/v23/i3/p97
|
Статистика просмотров: |
Страница аннотации: | 174 | PDF полного текста: | 34 | Список литературы: | 23 |
|