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

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

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



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






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


Известия высших учебных заведений. Поволжский регион. Физико-математические науки, 2017, выпуск 3, страницы 28–36
DOI: https://doi.org/10.21685/2072-3040-2017-3-3
(Mi ivpnz187)
 

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

Математика

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

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

Пензенский государственный университет, Пенза
Список литературы:
Аннотация: Актуальность и цели. Понятие неветвящейся программы тесно связано с понятием схемы из функциональных элементов. Схемы из функциональных элементов являются моделями электронных схем, а неветвящиеся программы (как с условной остановкой, так и без нее) моделируют работу вычислительных устройств. Несмотря на эти различия, результаты о надежности и сложности, полученные для схем из функциональных элементов, переносятся на неветвящиеся программы без стоп-операторов и наоборот. До появления работ автора проблема построения надежных (а также и асимптотически оптимальных по надежности) неветвящихся программ с оператором условной остановки не рассматривалась. Впервые эта задача исследовалась при инверсных неисправностях на выходах вычислительных операторов, а затем при однотипных константных неисправностях на выходах вычислительных операторов. Вопрос о надежности неветвящихся программ при неисправностях произвольного типа до сих пор остается открытым. В работе рассматривается реализация булевых функций неветвящимися программами с оператором условной остановки в полном конечном базисе, содержащем обобщенную конъюнкцию, в предположении, что вычислительные операторы независимо друг от друга подвержены неисправностям произвольного типа, а операторы условной остановки абсолютно надежны. Материалы и методы. Для повышения надежности исходных схем (программ) используется итерационный подход, т.е. многократное дублирование исходных схем (программ). Кроме того, разработан новый метод построения неветвящихся программ с оператором условной остановки. Результаты. Найдена верхняя оценка ненадежности неветвящихся программ с оператором условной остановки в полном конечном базисе B , содержащем обобщенную конъюнкцию. Выводы. Если полный конечный базис содержит обобщенную конъюнкцию, то любую булеву функцию можно реализовать неветвящейся программой с оператором условной остановки сколь угодно высокой наперед заданной надежности.
Ключевые слова: булева функция, неветвящаяся программа, оператор условной остановки, синтез, надежность.
Финансовая поддержка Номер гранта
Российский фонд фундаментальных исследований 17-01-00451-a
Работа выполнена при поддержке РФФИ (проект № 17-01-00451-а).
Тип публикации: Статья
УДК: 519.718
Образец цитирования: С. М. Грабовская, “О надежности неветвящихся программ в базисе, содержащем обобщенную конъюнкцию, при произвольных неисправностях вычислительных операторов”, Известия высших учебных заведений. Поволжский регион. Физико-математические науки, 2017, № 3, 28–36
Цитирование в формате AMSBIB
\RBibitem{Gra17}
\by С.~М.~Грабовская
\paper О надежности неветвящихся программ в базисе, содержащем обобщенную конъюнкцию, при произвольных неисправностях вычислительных операторов
\jour Известия высших учебных заведений. Поволжский регион. Физико-математические науки
\yr 2017
\issue 3
\pages 28--36
\mathnet{http://mi.mathnet.ru/ivpnz187}
\crossref{https://doi.org/10.21685/2072-3040-2017-3-3}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/ivpnz187
  • https://www.mathnet.ru/rus/ivpnz/y2017/i3/p28
  • Эта публикация цитируется в следующих 1 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Известия высших учебных заведений. Поволжский регион. Физико-математические науки
    Статистика просмотров:
    Страница аннотации:32
    PDF полного текста:7
    Список литературы:12
     
      Обратная связь:
     Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024