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

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

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



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






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


Дискретн. анализ и исслед. опер., 2012, том 19, номер 1, страницы 33–40 (Mi da675)  

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

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

Пензенский гос. университет, Пенза, Россия

Аннотация: Рассматривается реализация булевых функций неветвящимися программами с операторами условной остановки в полном конечном базисе, содержащем хотя бы одну из функций $x_1\cdot x_2$, $\overline x_1\cdot x_2$, $\overline x_1\cdot\overline x_2$. Предполагается, что функциональные операторы с вероятностью $\varepsilon\in(0,1/2)$ подвержены инверсным неисправностям на выходах, а операторы условной остановки абсолютно надёжны. Доказано, что в таких базисах любую булеву функцию можно реализовать неветвящейся программой, функционирующей с ненадёжностью не больше $\varepsilon+59\varepsilon^2$ при $\varepsilon\in(0,1/960]$. Ил. 1, библиогр. 4.

Ключевые слова: булева функция, неветвящаяся программа, оператор условной остановки, синтез, надёжность.

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

Реферативные базы данных:
Тип публикации: Статья
УДК: 519.718
Статья поступила: 16.11.2010
Переработанный вариант: 14.10.2011

Образец цитирования: С. М. Грабовская, “О надёжности неветвящихся программ в базисе, содержащем обобщённую конъюнкцию”, Дискретн. анализ и исслед. опер., 19:1 (2012), 33–40

Цитирование в формате AMSBIB
\RBibitem{Gra12}
\by С.~М.~Грабовская
\paper О над\"ежности неветвящихся программ в~базисе, содержащем обобщ\"енную конъюнкцию
\jour Дискретн. анализ и исслед. опер.
\yr 2012
\vol 19
\issue 1
\pages 33--40
\mathnet{http://mi.mathnet.ru/da675}
\mathscinet{http://www.ams.org/mathscinet-getitem?mr=2961450}


Образцы ссылок на эту страницу:
  • http://mi.mathnet.ru/da675
  • http://mi.mathnet.ru/rus/da/v19/i1/p33

    ОТПРАВИТЬ: 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
  • Дискретный анализ и исследование операций
    Просмотров:
    Эта страница:169
    Полный текст:52
    Литература:31
    Первая стр.:1
     
    Обратная связь:
     Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2020