|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
О тестах замыкания для контактных схемстатья
- Автор: Попков К.А.
- Журнал: Препринты ИПМ им. М.В. Келдыша
- Номер: 14
- Год издания: 2016
- Издательство: ИПМ им. М.В. Келдыша РАН
- Местоположение издательства: Москва
- Первая страница: 1
- Последняя страница: 20
- Аннотация: Рассматривается задача синтеза двухполюсных контактных схем, реализующих булевы функции от n переменных и допускающих короткие проверяющие и диагностические тесты относительно замыканий контактов. Установлено, что почти все булевы функции от n переменных реализуемы неизбыточными двухполюсными контактными схемами, допускающими единичные проверяющие, полные проверяющие и единичные диагностические тесты замыкания константной длины. Доказаны также следующие факты: 1) любую булеву функцию f(x_1,…,x_n) можно реализовать неизбыточной двухполюсной контактной схемой, содержащей не более одной входной переменной, отличной от переменных x_1,…,x_n, и допускающей единичный и полный проверяющий тесты замыкания длины не более 2n; 2) любую булеву функцию f(x_1,…,x_n) можно реализовать неизбыточной двухполюсной контактной схемой, содержащей не более двух входных переменных, отличных от переменных x_1,…,x_n, и допускающей единичный диагностический тест замыкания длины не более 4n. Ссылка на страницу статьи в Интернете: http://library.keldysh.ru/preprint.asp?id=2016-14
- Добавил в систему: Попков Кирилл Андреевич
Прикрепленные файлы
| № | Имя | Описание | Имя файла | Размер | Добавлен |
|---|---|---|---|---|---|
| 1. | Полный текст | prep2016_14.pdf | 399,2 КБ | 14 апреля 2016 [Popkov_KA] |