Национальный цифровой ресурс Руконт - межотраслевая электронная библиотека (ЭБС) на базе технологии Контекстум (всего произведений: 634794)
Контекстум
.
Вестник Московского университета. Серия 15. Вычислительная математика и кибернетика  / №3 2015

О ЕДИНИЧНЫХ ПРОВЕРЯЮЩИХ ТЕСТАХ КОНСТАНТНОЙ ДЛИНЫ ДЛЯ ОБОБЩЕННЫХ ИТЕРАТИВНЫХ КОНТАКТНЫХ СХЕМ (60,00 руб.)

0   0
Доступно в Google Play
Первый авторРоманов
АвторыРоманова Е.Ю.
Страниц9
60,00р
ID356825
АннотацияВ статье устанавливается, что для произвольной отличной от константы булевой функции существует тестопригодная, реализующая функцию, обобщенная итеративная контактная схема, допускающая единичный проверяющий тест константной длины.
УДК519.718
Романов, Д.С. О ЕДИНИЧНЫХ ПРОВЕРЯЮЩИХ ТЕСТАХ КОНСТАНТНОЙ ДЛИНЫ ДЛЯ ОБОБЩЕННЫХ ИТЕРАТИВНЫХ КОНТАКТНЫХ СХЕМ / Д.С. Романов, Е.Ю. Романова // Вестник Московского университета. Серия 15. Вычислительная математика и кибернетика .— 2015 .— №3 .— С. 42-50 .— URL: https://rucont.ru/efd/356825 (дата обращения: 25.04.2024)

Предпросмотр (выдержки из произведения)

В статье устанавливается, что для произвольной отличной от константы булевой функции существует тестопригодная, реализующая функцию, обобщенная итеративная контактная схема, допускающая единичный проверяющий тест константной длины. <...>

Облако ключевых слов *

519.718 вычисл вычислительные методы единичный тест икиберн константная длина константы функции легкотестированные схемы матем метода математики направления научно- нелинейные управляющие обобщенная схема работа факульет роман романа системное программирование схема вестн тесты длины
* - вычисляется автоматически
.