Головная страница ИПМ Библиотеки, издания  •  Поиск публикаций  English 
Публикация

№ 14, Москва, 2016 г.
Авторы: Попков К.А.
О тестах замыкания для контактных схем
Аннотация:
Рассматривается задача синтеза двухполюсных контактных схем, реализующих булевы функции от n переменных и допускающих короткие проверяющие и диагностические тесты относительно замыканий контактов. Установлено, что почти все булевы функции от n переменных реализуемы неизбыточными двухполюсными контактными схемами, допускающими единичные проверяющие, полные проверяющие и единичные диагностические тесты замыкания константной длины. Доказаны также следующие факты: 1) любую булеву функцию f(x1,…,xn) можно реализовать неизбыточной двухполюсной контактной схемой, содержащей не более одной входной переменной, отличной от переменных x1,…,xn, и допускающей единичный и полный проверяющий тесты замыкания длины не более 2n; 2) любую булеву функцию f(x1,…,xn) можно реализовать неизбыточной двухполюсной контактной схемой, содержащей не более двух входных переменных, отличных от переменных x1,…,xn, и допускающей единичный диагностический тест замыкания длины не более 4n.
Ключевые слова:
контактная схема, замыкание контакта, единичный проверяющий тест, полный проверяющий тест, единичный диагностический тест
Язык публикации: русский, страниц: 20
Направление исследований:
Математическое моделирование в актуальных проблемах науки и техники
Полный текст: Сведения об авторах:
  • Попков Кирилл Андреевич,  ,  ИПМ им. М.В. Келдыша РАН