|
Известия высших учебных заведений. Поволжский регион. Физико-математические науки, 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\}$.
Ключевые слова:
булевы функции, неветвящиеся программы, оператор условной остановки, синтез, надежность.
Образец цитирования:
С. М. Грабовская, “О надежности неветвящихся программ с ненадежным оператором условной остановки в произвольном полном конечном базисе”, Известия высших учебных заведений. Поволжский регион. Физико-математические науки, 2011, № 3, 52–60
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/ivpnz582 https://www.mathnet.ru/rus/ivpnz/y2011/i3/p52
|
Статистика просмотров: |
Страница аннотации: | 45 | PDF полного текста: | 19 | Список литературы: | 18 |
|