Синтез надежных неветвящихся программ с условной остановкой в полном конечном базисе, содержащем x[1] & x[2]
Рассматривается реализация булевых функций неветвящимися программами с условной остановкой в полном конечном базисе B, содержащем конъюнкцию x[1] & x[2]. Предполагается, что функциональные операторы с вероятностью [эпсилон] подвержены инверсным неисправностям на выходах. Решается задача синтеза надежных неветвящихся программ в двух случаях: 1) оператор условной остановки абсолютно надежен, 2) оператор условной остановки ненадежен.
Авторы
Тэги
Тематические рубрики
Предметные рубрики
В этом же номере:
Резюме по документу**
С УСЛОВНОЙ ОСТАНОВКОЙ В ПОЛНОМ КОНЕЧНОМ
БАЗИСЕ, СОДЕРЖАЩЕМ 12&x
СИНТЕЗ НАДЕЖНЫХ НЕВЕТВЯЩИХСЯ ПРОГРАММ
x
Аннотация. <...> Рассматривается реализация булевых функций неветвящимися
программами с условной остановкой в полном конечном базисе B , содержащем
конъюнкцию 12&x
с вероятностью подвержены инверсным неисправностям на выходах. <...> Решается
задача синтеза надежных неветвящихся программ в двух случаях: 1) оператор
условной остановки абсолютно надежен; 2) оператор условной остановки
ненадежен. <...> Программы с условной остановкой характеризуются наличием
управляющей команды – команды условной остановки, дающей возможность
досрочного прекращения работы при выполнении определенного условия. <...> Вычислительной
командой p назовем выражение 1: , , d
aY Z b b X Y Z d n
p ah b b
назовем выходом вычислительной команды, переменные 1, ..., dbb – входами
этой команды. <...> Поволжский регион
либо независимая переменная, либо выход некоторой вычислительной команды
, где
pi ij . <...> Тогда через
js будем обозначать j-ю команду остановки программы Pr, т.е. s j p . <...> Вычислительную команду ip (переменную lx ) назовем аргументом
t j
команды остановки js , ( )jks r , и обозначим через jq , если: <...> (2)
Будем говорить, что программа Pr вычисляет n-местную булеву функx
fx для любого x {0,1}n <...> Неветвящиеся программы с абсолютно
надежным оператором условной остановки
Будем предполагать, что оператор условной остановки абсолютно на
дежен,
а все вычислительные операторы базиса B независимо друг от друга
с вероятностью ((0,1/ 2))
подвержены инверсным неисправностям на
выходах. <...> Программа Pr реализует булеву функцию 1,, n
зует ее при отсутствии неисправностей. <...> Ненадежностью
Nf N
мам Pr из ненадежных операторов, реализующим булеву функцию ()f x . <...> Чтобы сравнить полученные в этой работе результаты с известными ре
зультатами
для схем из функциональных элементов, введем понятия <...>
** - вычисляется автоматически, возможны погрешности
Похожие документы: