|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
Единичные проверяющие тесты для схем переключательного типастатья
- Авторы: Романов Д.С., Романова Е.Ю.
- Сборник: Дискретные модели в теории управляющих систем. IX Международная конференция, Москва и Подмосковье, 20-22 мая 2015 г
- Редакторы: Алексеев Валерий Борисович, Данилов Борис Радиславович, Романов Дмитрий Сергеевич
- Серия: ISBN 978-5-317-04970-6
- Год издания: 2015
- Место издания: МАКС Пресс Москва
- Первая страница: 205
- Последняя страница: 207
- Аннотация: В работе представлены утверждения о том, что для произвольной отличной от константы булевой функции f от n переменных существуют тестопригодные реализующие функцию f обобщенные итеративные контактные схемы, допускающие а) единичный проверяющий тест замыкания (размыкания) длины O(1), б) единичный проверяющий тест длины O(1), а также имеются тестопригодные моделирующие функцию f двухполюсные обобщенная итеративная контактная схема и контактная схема, допускающие единичные проверяющие тесты длин O(1).
- Добавил в систему: Романов Дмитрий Сергеевич