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