|
Эта публикация цитируется в 1 научной статье (всего в 1 статье)
О единичных тестах для функциональных элементов
К. А. Попков МГУ им. М. В. Ломоносова
Аннотация:
Рассматриваются задачи проверки исправности и диагностики состояний $N$ функциональных элементов, реализующих в исправном состоянии заданную булеву функцию $f(x_1,\ldots,x_n)$, путём составления из них схем с одним выходом и анализа выдаваемых этими схемами значений на любых входных наборах значений переменных. Допускается произвольная константная неисправность на выходе любого одного функционального элемента. Требуется минимизировать число схем, необходимых для проверки исправности и определения состояний всех элементов. В работе получены точные значения для минимально возможного числа указанных схем.
Статья поступила: 26.11.2014
Образец цитирования:
К. А. Попков, “О единичных тестах для функциональных элементов”, Дискрет. матем., 27:2 (2015), 73–93; Discrete Math. Appl., 25:6 (2015), 367–382
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/dm1326https://doi.org/10.4213/dm1326 https://www.mathnet.ru/rus/dm/v27/i2/p73
|
Статистика просмотров: |
Страница аннотации: | 338 | PDF полного текста: | 153 | Список литературы: | 50 | Первая страница: | 27 |
|