RUS  ENG ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ЛИЧНЫЙ КАБИНЕТ
Общая информация
Последний выпуск
Архив
Импакт-фактор
Подписка
Правила для авторов

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS



Дискрет. матем.:
Год:
Том:
Выпуск:
Страница:
Найти






Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация


Дискрет. матем., 2014, том 26, выпуск 2, страницы 83–99 (Mi dm1282)  

Эта публикация цитируется в 1 научной статье (всего в 1 статье)

Проверяющие и диагностические тесты для функциональных элементов

К. А. Попков

МГУ им. М. В. Ломоносова

Аннотация: Рассматриваются задачи проверки исправности и диагностики состояний $N$ функциональных элементов, реализующих в исправном состоянии заданную булеву функцию $f(x_1,\ldots,x_n)$, путём составления из них схем с одним выходом и наблюдения выдаваемых этими схемами значений на любых входных наборах значений переменных. Допускаются произвольные константные неисправности на выходах функциональных элементов; при этом предполагается, что не более $k$ элементов неисправны, где $k$ – заданное натуральное число, не превосходящее $N$. Требуется минимизировать число схем, необходимых для проверки исправности и определения состояний всех функциональных элементов. Доказано, что, если $f\notin\{x_1&\ldots&x_n,\:x_1\vee\ldots\vee x_n,\:\overline{x_1}\}$ и выполнено некоторое условие на $k$ и $N$, то для проверки исправности всех элементов достаточно $2k+1$ схем. Если при этом функция $f$ нелинейна, то для определения состояний всех элементов также достаточно $2k+1$ схем.

Ключевые слова: функциональный элемент, неисправность, схема, проверяющий тест, диагностический тест.

DOI: https://doi.org/10.4213/dm1282

Полный текст: PDF файл (750 kB)
Список литературы: PDF файл   HTML файл

Англоязычная версия:
Discrete Mathematics and Applications, 2014, 24:4, 213–225

Реферативные базы данных:

Тип публикации: Статья
УДК: 519.718.7
Статья поступила: 14.02.2014

Образец цитирования: К. А. Попков, “Проверяющие и диагностические тесты для функциональных элементов”, Дискрет. матем., 26:2 (2014), 83–99; Discrete Math. Appl., 24:4 (2014), 213–225

Цитирование в формате AMSBIB
\RBibitem{Pop14}
\by К.~А.~Попков
\paper Проверяющие и диагностические тесты для функциональных элементов
\jour Дискрет. матем.
\yr 2014
\vol 26
\issue 2
\pages 83--99
\mathnet{http://mi.mathnet.ru/dm1282}
\crossref{https://doi.org/10.4213/dm1282}
\mathscinet{http://www.ams.org/mathscinet-getitem?mr=3288147}
\elib{http://elibrary.ru/item.asp?id=21826377}
\transl
\jour Discrete Math. Appl.
\yr 2014
\vol 24
\issue 4
\pages 213--225
\crossref{https://doi.org/10.1515/dma-2014-0020}
\scopus{http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-84925362015}


Образцы ссылок на эту страницу:
  • http://mi.mathnet.ru/dm1282
  • https://doi.org/10.4213/dm1282
  • http://mi.mathnet.ru/rus/dm/v26/i2/p83

    ОТПРАВИТЬ: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru


    Citing articles on Google Scholar: Russian citations, English citations
    Related articles on Google Scholar: Russian articles, English articles

    Эта публикация цитируется в следующих статьяx:
    1. К. А. Попков, “Оценки длин тестов для функциональных элементов при большом числе допустимых неисправностей”, Дискретн. анализ и исслед. опер., 22:5 (2015), 52–70  mathnet  crossref  mathscinet  elib; K. A. Popkov, “Estimations on lengths of tests of functional elements under a large number of permissible faults”, J. Appl. Industr. Math., 9:4 (2015), 559–569  crossref
  • Дискретная математика
    Просмотров:
    Эта страница:186
    Полный текст:23
    Литература:55
    Первая стр.:58

     
    Обратная связь:
     Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2019