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

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

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



Интеллектуальные системы. Теория и приложения:
Год:
Том:
Выпуск:
Страница:
Найти






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


Интеллектуальные системы. Теория и приложения, 2018, том 22, выпуск 3, страницы 131–147 (Mi ista154)  

Синтез легкотестируемых схем при однотипных константных неисправностях на входах и выходах элементов

К. А. Попков

Московский государственный университет имени М. В. Ломоносова

Аннотация: Доказаны следующие утверждения: для любого натурального $k$ и любой булевой константы $p$ существует базис, состоящий из булевой функции от $\max (k + 1; 3)$ переменных и отрицания одной переменной (существует базис, состоящий из булевой функции от не более чем $2,5k +2$ переменных и отрицания этой функции), в котором любую булеву функцию, кроме константы $p$, можно реализовать схемой из функциональных элементов, неизбыточной и допускающей проверяющий (соответственно, диагностический) тест длины не более $2$ относительно не более $k$ однотипных константных неисправностей типа $p$ на входах и выходах элементов. Показано, что при рассмотрении только однотипных константных неисправностей типа $p$ на входах элементов указанные оценки длин тестов можно понизить до $1$.

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

Финансовая поддержка Номер гранта
Российская академия наук - Федеральное агентство научных организаций PRAS-18-01
Работа выполнена при поддержке Программы Президиума РАН № 01«Фундаментальная математика и ее приложения» (грант PRAS-18-01).


Полный текст: PDF файл (371 kB)

Тип публикации: Статья

Образец цитирования: К. А. Попков, “Синтез легкотестируемых схем при однотипных константных неисправностях на входах и выходах элементов”, Интеллектуальные системы. Теория и приложения, 22:3 (2018), 131–147

Цитирование в формате AMSBIB
\RBibitem{Pop18}
\by К.~А.~Попков
\paper Синтез легкотестируемых схем при однотипных константных неисправностях на входах и выходах элементов
\jour Интеллектуальные системы. Теория и приложения
\yr 2018
\vol 22
\issue 3
\pages 131--147
\mathnet{http://mi.mathnet.ru/ista154}


Образцы ссылок на эту страницу:
  • http://mi.mathnet.ru/ista154
  • http://mi.mathnet.ru/rus/ista/v22/i3/p131

    ОТПРАВИТЬ: 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
  • Интеллектуальные системы. Теория и приложения
    Просмотров:
    Эта страница:3
    Полный текст:1

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