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

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

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



Дискрет. матем.:
Год:
Том:
Выпуск:
Страница:
Найти






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


Дискрет. матем., 2016, том 28, выпуск 1, страницы 87–100 (Mi dm1359)  

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

О тестах замыкания для контактных схем

К. А. Попков

ИПМ им. М. В. Келдыша РАН

Аннотация: Рассматривается задача синтеза двухполюсных контактных схем, реализующих булевы функции от $n$ переменных и допускающих короткие проверяющие и диагностические тесты относительно замыканий контактов. Установлено, что почти все булевы функции от $n$ переменных реализуемы неизбыточными двухполюсными контактными схемами, допускающими единичные проверяющие, полные проверяющие и единичные диагностические тесты константной длины. Доказано также, что: 1) любую булеву функцию $f(x_1,\ldots,x_n)$ можно реализовать неизбыточной двухполюсной контактной схемой, содержащей не более одной входной переменной, отличной от переменных $x_1,\ldots,x_n$, и допускающей единичный и полный проверяющий тесты длины не более $2n$; 2) любую булеву функцию $f(x_1,\ldots,x_n)$ можно реализовать неизбыточной двухполюсной контактной схемой, содержащей не более двух входных переменных, отличных от переменных $x_1,\ldots,x_n$, и допускающей единичный диагностический тест длины не более $4n$. Работа выполнена при поддержке РФФИ, проект № 14-01-00598 (“Вопросы синтеза, сложности и контроля управляющих систем”) и программы фундаментальных исследований ОМН РАН “Алгебраические и комбинаторные методы математической кибернетики и информационные системы нового поколения”(проект “Задачи оптимального синтеза управляющих систем”).

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

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


DOI: https://doi.org/10.4213/dm1359

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

Англоязычная версия:
Discrete Mathematics and Applications, 2016, 26:5, 299–308

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

Тип публикации: Статья
УДК: 519.718.7
Статья поступила: 28.07.2015

Образец цитирования: К. А. Попков, “О тестах замыкания для контактных схем”, Дискрет. матем., 28:1 (2016), 87–100; Discrete Math. Appl., 26:5 (2016), 299–308

Цитирование в формате AMSBIB
\RBibitem{Pop16}
\by К.~А.~Попков
\paper О тестах замыкания для контактных схем
\jour Дискрет. матем.
\yr 2016
\vol 28
\issue 1
\pages 87--100
\mathnet{http://mi.mathnet.ru/dm1359}
\crossref{https://doi.org/10.4213/dm1359}
\mathscinet{http://www.ams.org/mathscinet-getitem?mr=3527010}
\elib{http://elibrary.ru/item.asp?id=25707500}
\transl
\jour Discrete Math. Appl.
\yr 2016
\vol 26
\issue 5
\pages 299--308
\crossref{https://doi.org/10.1515/dma-2016-0025}
\isi{http://gateway.isiknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&DestLinkType=FullRecord&DestApp=ALL_WOS&KeyUT=000390939400005}
\scopus{http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-84997017300}


Образцы ссылок на эту страницу:
  • http://mi.mathnet.ru/dm1359
  • https://doi.org/10.4213/dm1359
  • http://mi.mathnet.ru/rus/dm/v28/i1/p87

    ОТПРАВИТЬ: 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), 66–86  mathnet  crossref  elib; K. A. Popkov, “On fault detection tests of contact break for contact circuits”, Discrete Math. Appl., 28:6 (2018), 369–383  crossref  isi
    2. К. А. Попков, “О диагностических тестах размыкания для контактных схем”, Препринты ИПМ им. М. В. Келдыша, 2018, 271, 24 с.  mathnet  crossref
    3. К. А. Попков, “Короткие полные проверяющие тесты для схем из двухвходовых функциональных элементов”, Дискретн. анализ и исслед. опер., 26:1 (2019), 89–113  mathnet  crossref
  • Дискретная математика
    Просмотров:
    Эта страница:219
    Полный текст:8
    Литература:46
    Первая стр.:54

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