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

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

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



Известия высших учебных заведений. Поволжский регион. Физико-математические науки:
Год:
Том:
Выпуск:
Страница:
Найти






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


Известия высших учебных заведений. Поволжский регион. Физико-математические науки, 2011, выпуск 3, страницы 52–60 (Mi ivpnz582)  

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

Математика

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

С. М. Грабовская

Пензенский государственный университет, Пенза
Список литературы:
Аннотация: Рассматривается реализация булевых функций неветвящимися программами с оператором условной остановки (стоп-оператором) в произвольном полном конечном базисе. В исправном состоянии стоп-оператор прекращает работу программы, если на его вход поступает единица. Предполагается, что и функциональные операторы, и стоп-операторы программы ненадежны, переходят в неисправные состояния независимо друг от друга. Считаем, что вычислительные операторы с вероятностью $\epsilon (\epsilon\in(0,1/2))$ подвержены инверсным неисправностям на выходах. А для операторов условной остановки рассматриваются два типа неисправностей. Неисправность первого типа характеризуется тем, что при поступлении единицы на вход стоп-оператора он с вероятностью $\delta (\delta\in(0,1/2))$ не срабатывает, и, следовательно, работа программы продолжается. Неисправность второго типа такова, что при поступлении нуля на вход стоп-оператора он с вероятностью $\eta (\eta\in(0,1/2))$ срабатывает, и, следовательно, работа программы прекращается. Доказано, что любую булеву функцию $f$ можно реализовать программой, ненадежность которой не больше $max\{\epsilon,\eta\}+145\sigma^2$ при всех $\epsilon\in(0,1/960]$ и $\sigma=max\{\epsilon,\delta,\eta\}$.
Ключевые слова: булевы функции, неветвящиеся программы, оператор условной остановки, синтез, надежность.
Тип публикации: Статья
УДК: 519.718
Образец цитирования: С. М. Грабовская, “О надежности неветвящихся программ с ненадежным оператором условной остановки в произвольном полном конечном базисе”, Известия высших учебных заведений. Поволжский регион. Физико-математические науки, 2011, № 3, 52–60
Цитирование в формате AMSBIB
\RBibitem{Gra11}
\by С.~М.~Грабовская
\paper О надежности неветвящихся программ с ненадежным оператором условной остановки в произвольном полном конечном базисе
\jour Известия высших учебных заведений. Поволжский регион. Физико-математические науки
\yr 2011
\issue 3
\pages 52--60
\mathnet{http://mi.mathnet.ru/ivpnz582}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/ivpnz582
  • https://www.mathnet.ru/rus/ivpnz/y2011/i3/p52
  • Эта публикация цитируется в следующих 6 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Известия высших учебных заведений. Поволжский регион. Физико-математические науки
    Статистика просмотров:
    Страница аннотации:45
    PDF полного текста:19
    Список литературы:18
     
      Обратная связь:
     Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024