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

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

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



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






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


Вестн. Моск. ун-та. Сер. 1. Матем., мех., 2012, номер 2, страницы 24–29 (Mi vmumm475)  

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

Математика

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

Д. С. Романов

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

Аннотация: В работе предлагается метод синтеза неизбыточных схем из функциональных элементов в базисе $\{ 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-а.


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

Англоязычная версия:
Moscow University Mathematics Bulletin, 2012, 67:2, 69–73

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

Тип публикации: Статья
УДК: 519.718
Поступила в редакцию: 11.02.2011
Исправленный вариант: 07.09.2011

Образец цитирования: Д. С. Романов, “Метод синтеза легкотестируемых схем в одном базисе, допускающих единичные проверяющие тесты константной длины”, Вестн. Моск. ун-та. Сер. 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://www.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{http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-84870368190}


Образцы ссылок на эту страницу:
  • http://mi.mathnet.ru/vmumm475
  • http://mi.mathnet.ru/rus/vmumm/y2012/i2/p24

    ОТПРАВИТЬ: 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. А. Я. Белов, М. И. Харитонов, “Оценки высоты в смысле Ширшова и на количество фрагментов малого периода”, Фундамент. и прикл. матем., 17:5 (2012), 21–54  mathnet; A. Ya. Belov, M. I. Kharitonov, “Subexponential estimates in the height theorem and estimates on numbers of periodic parts of small periods”, J. Math. Sci., 193:4 (2013), 493–515  crossref
    2. А. Я. Белов, М. И. Харитонов, “Субэкспоненциальные оценки в теореме Ширшова о высоте”, Матем. сб., 203:4 (2012), 81–102  mathnet  crossref  mathscinet  zmath  adsnasa  elib; A. Ya. Belov, M. I. Kharitonov, “Subexponential estimates in Shirshov's theorem on height”, Sb. Math., 203:4 (2012), 534–553  crossref  isi
    3. М. И. Харитонов, “Оценки структуры кусочной периодичности в теореме Ширшова о высоте”, Вестн. Моск. ун-та. Сер. 1. Матем., мех., 2013, № 1, 10–16  mathnet  mathscinet; M. I. Kharitonov, “Piecewise periodicity structure estimates in Shirshov's height theorem”, Moscow University Mathematics Bulletin, 68:1 (2013), 26–31  crossref
    4. С. С. Коляда, “Единичные проверяющие тесты для схем из функциональных элементов”, Вестн. Моск. ун-та. Сер. 1. Матем., мех., 2013, № 4, 32–34  mathnet  mathscinet; S. S. Kolyada, “Single fault detection tests for circuits of functional elements”, Moscow University Mathematics Bulletin, 68:4 (2013), 192–193  crossref
    5. Д. С. Романов, “Метод синтеза легкотестируемых схем, допускающих единичные проверяющие тесты константной длины”, Дискрет. матем., 26:2 (2014), 100–130  mathnet  crossref  mathscinet  elib; D. S. Romanov, “Method of synthesis of easily testable circuits admitting single fault detection tests of constant length”, Discrete Math. Appl., 24:4 (2014), 227–251  crossref
  • Просмотров:
    Эта страница:19
    Полный текст:5
    Литература:1

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