Синтез надежных неветвящихся программ с условной остановкой в полном конечном базисе, содержащем x[1] & x[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 . <...> Чтобы сравнить полученные в этой работе результаты с известными ре зультатами для схем из функциональных элементов, введем понятия <...>

• Похожие документы из РУАЭСТ
• |
• Похожие документы из Руконт