|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
О синтезе контактных схем, допускающих проверяющие тесты линейной длиныстатья
- Автор: Романов Д.С.
- Сборник: Проблемы теоретической кибернетики. Материалы XVII Международной конференции (Казань, 16-20 июня 2014 г.)
- Серия: Проблемы теоретической кибернетики
- Год издания: 2014
- Место издания: Отечество Казань
- Первая страница: 240
- Последняя страница: 242
- Аннотация: Получены новые линейные верхние оценки длины единичного проверяющего теста, а также полного проверяющего теста замыкания и полного проверяющего теста размыкания при реализации контактными схемами некоторых функций и систем функций, содержащих произвольную булеву функцию.
- Добавил в систему: Романов Дмитрий Сергеевич