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

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

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


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




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

Вестник Московского университета. Серия 1: Математика. Механика, 2012, номер 2, страницы 24–29 (Mi vmumm475)  
Эта публикация цитируется в 6 научных статьях (всего в 6 статьях)

Математика

Метод синтеза легкотестируемых схем в одном базисе, допускающих единичные проверяющие тесты константной длины

Д. С. Романов

Московский государственный университет имени М. В. Ломоносова, факультет вычислительной математики и кибернетики
PDF полного текста (295 kB) Список цитирования (6)
Список литературы:
PDF
HTML
Аннотация: В работе предлагается метод синтеза неизбыточных схем из функциональных элементов в базисе $\{ x\& y, x\oplus y, 1,{\bar x}(y\vee z)\vee x(y\sim z)\}$, реализующих произвольные булевы функции и допускающих единичные проверяющие тесты длины не более 4 при инверсных и произвольных константных неисправностях на выходах элементов.
Ключевые слова: схема из функциональных элементов, проверяющий тест, константная неисправность на выходе элемента, инверсная неисправность на выходе элемента, функция Шеннона, легкотестируемая схема.
Финансовая поддержка Номер гранта
Российский фонд фундаментальных исследований 09-01-00817-а
10-01-00768-а
12-01-00964-а
Работа выполнена при финансовой поддержке грантов РФФИ № 09-01-00817-а, 10-01-00768-а и 12-01-00964-а.
Поступила в редакцию: 11.02.2011
Исправленный вариант: 07.09.2011
Англоязычная версия:
Moscow University Mathematics Bulletin, 2012, Volume 67, Issue 2, Pages 69–73
DOI: https://doi.org/10.3103/S0027132212020064
Реферативные базы данных:
Тип публикации: Статья
УДК: 519.718
Образец цитирования: Д. С. Романов, “Метод синтеза легкотестируемых схем в одном базисе, допускающих единичные проверяющие тесты константной длины”, Вестн. Моск. ун-та. Сер. 1. Матем., мех., 2012, № 2, 24–29; Moscow University Mathematics Bulletin, 67:2 (2012), 69–73
Цитирование в формате AMSBIB
\RBibitem{Rom12}
\by Д.~С.~Романов
\paper Метод синтеза легкотестируемых схем в одном базисе, допускающих единичные проверяющие тесты константной длины
\jour Вестн. Моск. ун-та. Сер.~1. Матем., мех.
\yr 2012
\issue 2
\pages 24--29
\mathnet{http://mi.mathnet.ru/vmumm475}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=2985891}
\transl
\jour Moscow University Mathematics Bulletin
\yr 2012
\vol 67
\issue 2
\pages 69--73
\crossref{https://doi.org/10.3103/S0027132212020064}
\scopus{https://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-84870368190}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/vmumm475
  • https://www.mathnet.ru/rus/vmumm/y2012/i2/p24
    • Эта публикация цитируется в следующих 6 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024