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

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

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


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




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

Известия высших учебных заведений. Математика, 2012, номер 2, страницы 13–22 (Mi ivm8429)  
Эта публикация цитируется в 14 научных статьях (всего в 14 статьях)

О надежности неветвящихся программ в произвольном полном конечном базисе

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

Кафедра дискретной математики, Пензенский государственный университет, г. Пенза, Россия
PDF полного текста (214 kB) Список цитирования (14)
Список литературы:
PDF
HTML
Аннотация: Рассматривается реализация булевых функций неветвящимися программами с условной остановкой в произвольном полном конечном базисе. Предполагается, что операторы условной остановки абсолютно надежны, а все вычислительные операторы базиса независимо друг от друга с вероятностью $\varepsilon$ из интервала (0,1/2) подвержены инверсным неисправностям на выходах. Доказано, что любую булеву функцию можно реализовать программой с ненадежностью $\varepsilon+81\varepsilon^2$ при всех $\varepsilon\in(0,1/960]$.
Ключевые слова: булевы функции, неветвящиеся программы, оператор условной остановки, синтез, надежность.
Поступила: 02.02.2011
Англоязычная версия:
Russian Mathematics (Izvestiya VUZ. Matematika), 2012, Volume 56, Issue 2, Pages 10–18
DOI: https://doi.org/10.3103/S1066369X12020028
Реферативные базы данных:
Тип публикации: Статья
УДК: 519.718
Образец цитирования: М. А. Алехина, С. М. Грабовская, “О надежности неветвящихся программ в произвольном полном конечном базисе”, Изв. вузов. Матем., 2012, № 2, 13–22; Russian Math. (Iz. VUZ), 56:2 (2012), 10–18
Цитирование в формате AMSBIB
\RBibitem{AleGra12}
\by М.~А.~Алехина, С.~М.~Грабовская
\paper О надежности неветвящихся программ в~произвольном полном конечном базисе
\jour Изв. вузов. Матем.
\yr 2012
\issue 2
\pages 13--22
\mathnet{http://mi.mathnet.ru/ivm8429}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=3076525}
\transl
\jour Russian Math. (Iz. VUZ)
\yr 2012
\vol 56
\issue 2
\pages 10--18
\crossref{https://doi.org/10.3103/S1066369X12020028}
\scopus{https://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-84862637798}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/ivm8429
  • https://www.mathnet.ru/rus/ivm/y2012/i2/p13
    • Эта публикация цитируется в следующих 14 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Известия высших учебных заведений. Математика Russian Mathematics (Izvestiya VUZ. Matematika)
    Статистика просмотров:
    Страница аннотации:247
    PDF полного текста:52
    Список литературы:27
    Первая страница:2
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024