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

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

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



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






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


Препринты ИПМ им. М. В. Келдыша, 2016, 014, 20 страниц (Mi ipmp2090)  

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

К. А. Попков


Аннотация: Рассматривается задача синтеза двухполюсных контактных схем, реализующих булевы функции от $n$ переменных и допускающих короткие проверяющие и диагностические тесты относительно замыканий контактов. Установлено, что почти все булевы функции от $n$ переменных реализуемы неизбыточными двухполюсными контактными схемами, допускающими единичные проверяющие, полные проверяющие и единичные диагностические тесты замыкания константной длины. Доказаны также следующие факты: (1) любую булеву функцию $f(x_1,…,x_n)$ можно реализовать неизбыточной двухполюсной контактной схемой, содержащей не более одной входной переменной, отличной от переменных $x_1,…,x_n$, и допускающей единичный и полный проверяющий тесты замыкания длины не более $2n$; (2) любую булеву функцию $f(x_1,…,x_n)$ можно реализовать неизбыточной двухполюсной контактной схемой, содержащей не более двух входных переменных, отличных от переменных $x_1,…,x_n$, и допускающей единичный диагностический тест замыкания длины не более $4n$.

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

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


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

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

Образец цитирования: К. А. Попков, “О тестах замыкания для контактных схем”, Препринты ИПМ им. М. В. Келдыша, 2016, 014, 20 с.

Цитирование в формате AMSBIB
\RBibitem{Pop16}
\by К.~А.~Попков
\paper О тестах замыкания для контактных схем
\jour Препринты ИПМ им.~М.~В.~Келдыша
\yr 2016
\papernumber 014
\totalpages 20
\mathnet{http://mi.mathnet.ru/ipmp2090}


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

    ОТПРАВИТЬ: 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
  • Препринты Института прикладной математики им. М. В. Келдыша РАН
    Просмотров:
    Эта страница:101
    Полный текст:15
    Литература:27

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