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

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

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



Препринты ИПМ им. М. В. Келдыша:
Год:
Том:
Выпуск:
Страница:
Найти






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


Препринты ИПМ им. М. В. Келдыша, 2017, 030, 31 страниц (Mi ipmp2246)  

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

Единичные проверяющие тесты для схем из функциональных элементов в базисе «конъюнкция-отрицание»

К. А. Попков


Аннотация: Рассматривается задача синтеза неизбыточных схем из функциональных элементов, реализующих булевы функции от $n$ переменных и допускающих короткие единичные проверяющие тесты относительно однотипных константных неисправностей на выходах элементов, в базисе $\{&,\neg\}$ и схожих базисах. Для каждой булевой функции, допускающей реализацию неизбыточной схемой, найдено минимально возможное значение длины такого теста. В частности, доказано, что оно не превосходит трëх.

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

Финансовая поддержка Номер гранта
Российская академия наук - Федеральное агентство научных организаций
Работа выполнена при поддержке программы фундаментальных исследований ОМН РАН «Алгебраические и комбинаторные методы математической кибернетики и информационные системы нового поколения» (проект «Задачи оптимального синтеза управляющих систем»).


DOI: https://doi.org/10.20948/prepr-2017-30

Полный текст: PDF файл (490 kB)
Полный текст: http:/.../preprint.asp?id=2017-30&lg=r
Список литературы: PDF файл   HTML файл

Тип публикации: Препринт

Образец цитирования: К. А. Попков, “Единичные проверяющие тесты для схем из функциональных элементов в базисе «конъюнкция-отрицание»”, Препринты ИПМ им. М. В. Келдыша, 2017, 030, 31 с.

Цитирование в формате AMSBIB
\RBibitem{Pop17}
\by К.~А.~Попков
\paper Единичные проверяющие тесты для схем из функциональных элементов в базисе «конъюнкция-отрицание»
\jour Препринты ИПМ им.~М.~В.~Келдыша
\yr 2017
\papernumber 030
\totalpages 31
\mathnet{http://mi.mathnet.ru/ipmp2246}
\crossref{https://doi.org/10.20948/prepr-2017-30}


Образцы ссылок на эту страницу:
  • http://mi.mathnet.ru/ipmp2246
  • http://mi.mathnet.ru/rus/ipmp/y2017/p30

    ОТПРАВИТЬ: 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. Д. С. Романов, Е. Ю. Романова, “Метод синтеза неизбыточных схем, допускающих единичные проверяющие тесты константной длины”, Дискрет. матем., 29:4 (2017), 87–105  mathnet  crossref  elib; D. S. Romanov, E. Yu. Romanova, “A method of synthesis of irredundant circuits admitting single fault detection tests of constant length”, Discrete Math. Appl., 29:1 (2019), 35–48  crossref
    2. К. А. Попков, “Полные проверяющие тесты длины два для схем при произвольных константных неисправностях элементов”, Препринты ИПМ им. М. В. Келдыша, 2017, 104, 16 с.  mathnet  crossref
    3. К. А. Попков, “Короткие единичные тесты для схем при произвольных константных неисправностях на выходах элементов”, Препринты ИПМ им. М. В. Келдыша, 2018, 033, 23 с.  mathnet  crossref
  • Препринты Института прикладной математики им. М. В. Келдыша РАН
    Просмотров:
    Эта страница:55
    Полный текст:9
    Литература:10

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