Электронные ресурсы

Базы данных


Статьи из журналов: 2001-2014 - результаты поиска

Вид поиска

Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=легкотестируемые схемы<.>)
Общее количество найденных документов : 4
Показаны документы с 1 по 4
1.
519.8
Б 833


    Бородина, Ю. В.
    Синтез легкотестируемых схем в базисе {&, v, {-} при однотипных константных неисправностях на выходах элементов [Текст] / Ю. В. Бородина // Дискретная математика. - 2005. - Т. 17, N 1. - Библиогр.: с. 140 . - ISSN 0234-0860
УДК
ББК 22.18
Рубрики: Математика--Исследование операций
Кл.слова (ненормированные):
легкотестируемые схемы -- однотипные константные неисправности -- базис {&, v, {-} -- булевы функции -- синтез легкотестируемых схем -- константные неисправности
Аннотация: Предложен метод синтеза легкотестируемых схем из функциональных элементов в базисе {&, v, {-}, реализующих булевы функции, в дизъюнктивной нормальной форме которых не более h переменных присутствуют как с отрицанием, так и без отрицания.


Найти похожие

2.
519.7
К 629


    Коляда, С. С.
    О единичных проверяющих тестах для константных неисправностей на выходах функциональных элементов [Текст] / С. С. Коляда // Вестник Московского университета. Сер. 1. Математика. Механика. - 2011. - № 6. - С. 47-49 : рис. - Библиогр.: с. 49 . - ISSN 0201-7385
УДК
ББК 22.18
Рубрики: Математика
   Математическая кибернетика

Кл.слова (ненормированные):
схемы из функциональных элементов -- единичные проверяющие тесты -- константные неисправности -- теоремы -- легкотестируемые схемы -- тесты
Аннотация: Рассматриваются схемы в базисах из функциональных элементов, имеющих не более двух входов. Устанавливается возможность реализации любой булевой функции от n переменных схемой, допускающей при константных неисправностях единичные проверяющие тесты линейной по n длины.


Найти похожие

3.
519.7
Р 693


    Романов, Д. С. (кандидат физико-математических наук).
    Метод синтеза легкотестируемых схем в одном базисе, допускающих единичные проверяющие тесты константной длины [Текст] / Д. С. Романов // Вестник Московского университета. Сер. 1. Математика. Механика. - 2012. - № 2. - С. 24-29 : 2 рис. - Библиогр. в примеч. . - ISSN 0201-7385
УДК
ББК 22.18
Рубрики: Математика
   Математическая кибернетика

Кл.слова (ненормированные):
схемы из функциональных элементов -- проверяющие тесты -- константная неисправность на выходе элемента -- функция Шеннона -- Шеннона функция -- легкотестируемые схемы -- теоремы -- доказательства
Аннотация: Предлагается метод синтеза неизбыточных схем из функциональных элементов в одном базисе, реализующих произвольные булевы функции и допускающих единичные проверяющие тесты длины не более 4 при инверсных и произвольных константных неисправностях на выходах элементов.


Найти похожие

4.
519.7
К 629


    Коляда, С. С.
    Единичные проверяющие тесты для схем из функциональных элементов / С. С. Коляда // Вестник Московского университета. Серия 1, Математика. Механика. - 2013. - № 4. - С. 32-34 . - ISSN 0201-7385
УДК
ББК 22.18
Рубрики: Математика
   Математическая кибернетика

Кл.слова (ненормированные):
схемы из функциональных элементов -- единичные проверяющие тесты -- константные неисправности -- теоремы -- легкотестируемые схемы -- тесты
Аннотация: Рассматриваются схемы из функциональных элементов в произвольных полных конечных базисах. Устанавливается возможность реализации любой булевой функции от n переменных неизбыточной схемой, допускающей при константных неисправностях на выходах элементов единичные проверяющие тесты линейной по n длины.


Найти похожие

 
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)