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

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

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



Вестн. Моск. ун-та. Сер. 1. Матем., мех.:
Год:
Том:
Выпуск:
Страница:
Найти






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


Вестн. Моск. ун-та. Сер. 1. Матем., мех., 2014, номер 6, страницы 40–44 (Mi vmumm362)  

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

Математика

Проверяющие и диагностические тесты для конъюнкторов, дизъюнкторов и инверторов

К. А. Попков

Московский государственный университет имени М. В. Ломоносова, механико-математический факультет

Аннотация: Рассматриваются задачи проверки исправности и диагностики состояний $N$ функциональных элементов, которые реализуют в исправном состоянии заданную булеву функцию $f\in\{x_1&\ldots&x_n, x_1\vee\ldots\vee x_n, \overline{x_1}\}$ и среди которых не более чем $k$ неисправных, путем составления из них схем с одним выходом и наблюдения выдаваемых этими схемами значений на любых входных наборах значений переменных. Допускаются произвольные константные неисправности на выходах элементов. Требуется минимизировать число схем, необходимых для проверки исправности и определения состояний всех элементов. В работе получены нижние оценки вида $ck(\log_2 N-\log_2 k)$ для числа указанных схем.

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

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

Англоязычная версия:
Moscow University Mathematics Bulletin, 2014, 69:6, 267–271

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

Тип публикации: Статья
УДК: 519.718.7
Поступила в редакцию: 02.12.2013

Образец цитирования: К. А. Попков, “Проверяющие и диагностические тесты для конъюнкторов, дизъюнкторов и инверторов”, Вестн. Моск. ун-та. Сер. 1. Матем., мех., 2014, № 6, 40–44; Moscow University Mathematics Bulletin, 69:6 (2014), 267–271

Цитирование в формате AMSBIB
\RBibitem{Pop14}
\by К.~А.~Попков
\paper Проверяющие и диагностические тесты для конъюнкторов, дизъюнкторов и инверторов
\jour Вестн. Моск. ун-та. Сер.~1. Матем., мех.
\yr 2014
\issue 6
\pages 40--44
\mathnet{http://mi.mathnet.ru/vmumm362}
\mathscinet{http://www.ams.org/mathscinet-getitem?mr=3370849}
\transl
\jour Moscow University Mathematics Bulletin
\yr 2014
\vol 69
\issue 6
\pages 267--271
\crossref{https://doi.org/10.3103/S0027132214060060}
\scopus{http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-84920396930}


Образцы ссылок на эту страницу:
  • http://mi.mathnet.ru/vmumm362
  • http://mi.mathnet.ru/rus/vmumm/y2014/i6/p40

    ОТПРАВИТЬ: 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
    2. К. А. Попков, “О единичных тестах для функциональных элементов”, Дискрет. матем., 27:2 (2015), 73–93  mathnet  crossref  mathscinet  elib; K. A. Popkov, “Single tests for logical gates”, Discrete Math. Appl., 25:6 (2015), 367–382  crossref  isi
  • Просмотров:
    Эта страница:13
    Полный текст:4
    Литература:1

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