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

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

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


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




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

Прикладная дискретная математика, 2019, номер 43, страницы 70–77
DOI: https://doi.org/10.17223/20710410/43/5 (Mi pdm653) 		 
Эта публикация цитируется в 1 научной статье (всего в 1 статье)

Математические основы надежности вычислительных и управляющих систем

О сколь угодно надёжной реализации булевых функций неветвящимися программами с оператором условной остановки в базисах с обобщённой конъюнкцией

С. М. Грабовскаяa, М. А. Алехинаb

a Пензенский государственный университет, г. Пенза, Россия
b Пензенский государственный технологический университет, г. Пенза, Россия
PDF полного текста (597 kB) Список цитирования (1)
Список литературы:
PDF
HTML
DOI: https://doi.org/10.17223/20710410/43/5
Аннотация: Рассматривается реализация булевых функций неветвящимися программами с оператором условной остановки в полном конечном базисе, содержащем обобщённую конъюнкцию. Предполагается, что вычислительные операторы программы независимо друг от друга подвержены неисправностям произвольного типа, в свою очередь, операторы условной остановки также ненадёжны. Доказано, что произвольную булеву функцию можно реализовать сколь угодно надёжной неветвящейся программой.
Ключевые слова: булева функция, неветвящаяся программа, оператор условной остановки, синтез, надёжность.
Финансовая поддержка Номер гранта
Российский фонд фундаментальных исследований 17-01-00451_а
Работа поддержана грантом РФФИ № 17-01-00451-а.
Реферативные базы данных:
Тип публикации: Статья
УДК: 519.718
Образец цитирования: С. М. Грабовская, М. А. Алехина, “О сколь угодно надёжной реализации булевых функций неветвящимися программами с оператором условной остановки в базисах с обобщённой конъюнкцией”, ПДМ, 2019, № 43, 70–77
Цитирование в формате AMSBIB
\RBibitem{GraAle19}
\by С.~М.~Грабовская, М.~А.~Алехина
\paper О сколь угодно надёжной реализации булевых функций неветвящимися программами с оператором условной остановки в~базисах с~обобщённой конъюнкцией
\jour ПДМ
\yr 2019
\issue 43
\pages 70--77
\mathnet{http://mi.mathnet.ru/pdm653}
\crossref{https://doi.org/10.17223/20710410/43/5}
\elib{https://elibrary.ru/item.asp?id=37279957}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/pdm653
  • https://www.mathnet.ru/rus/pdm/y2019/i1/p70
    • Эта публикация цитируется в следующих 1 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Прикладная дискретная математика
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024