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

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

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


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




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

Известия высших учебных заведений. Поволжский регион. Физико-математические науки, 2009, выпуск 4, страницы 85–95 (Mi ivpnz714)  
Математика

Синтез надежных неветвящихся программ с условной остановкой в полном конечном базисе, содержащем $x_1 \& x_2$

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

Пензенский государственный университет, Пенза
PDF полного текста (347 kB)
Список литературы:
PDF
HTML
Аннотация: Рассматривается реализация булевых функций неветвящимися программами с условной остановкой в полном конечном базисе содержащем конъюнкцию $x_1 \& x_2$. Предполагается, что функциональные операторы с вероятностью подвержены инверсным неисправностям на выходах. Решается задача синтеза надежных неветвящихся программ в двух случаях: 1) оператор условной остановки абсолютно надежен; 2) оператор условной остановки ненадежен.
Ключевые слова: булевы функции, неветвящиеся программы, оператор условной остановки, синтез, надежность.
УДК: 519.718
Образец цитирования: С. М. Грабовская, “Синтез надежных неветвящихся программ с условной остановкой в полном конечном базисе, содержащем $x_1 \& x_2$”, Известия высших учебных заведений. Поволжский регион. Физико-математические науки, 2009, № 4, 85–95
Цитирование в формате AMSBIB
\RBibitem{Gra09}
\by С.~М.~Грабовская
\paper Синтез надежных неветвящихся программ с условной остановкой в полном конечном базисе, содержащем $x_1 \& x_2$
\jour Известия высших учебных заведений. Поволжский регион. Физико-математические науки
\yr 2009
\issue 4
\pages 85--95
\mathnet{http://mi.mathnet.ru/ivpnz714}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/ivpnz714
  • https://www.mathnet.ru/rus/ivpnz/y2009/i4/p85
    • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Известия высших учебных заведений. Поволжский регион. Физико-математические науки
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024