Синтез асимптотически оптимальных по надежности неветвящихся программ в базисе {x[1]vx[2], x[1]&x[2], x{-}[1], stop}

Рассматривается задача синтеза асимптотически оптимальных по надежности неветвящихся программ с условной остановкой, реализующих булевы функции, при инверсных неисправностях на выходах операторов в базисе {x[1]? x[2], x[1]&x[2], x{-}[1], stop}. Доказано, что в рассматриваемом базисе все булевы функции f (x[1], x[2],..., x[n]) можно реализовать асимптотически оптимальными по надежности программами с условной остановкой, причем для функций x[i] (i принадлежит множеству {1, 2,..., n}) эти программы являются абсолютно надежными (не содержат операторов), а для остальных функций эти программы функционируют с ненадежностью, асимптотически равной ? при ? > 0 (? - вероятность инверсной неисправности на выходе оператора).

Вы можете купить электронную версию издания «Синтез асимптотически оптимальных по надежности неветвящихся программ в базисе {x[1]vx[2], x[1]&x[2], x{-}[1], stop}». После оплаты (для архивов) оно будет доступно в Личном Кабинете в разделе «Электронные издания». В случае оформления подписки, издание будет доступно по мере поступления от издателя. Формат PDF/HTML. Стоимость — от 90.00 руб.