А. В. Васин
ОБ АСИМПТОТИЧЕСКИ ОПТИМАЛЬНЫХ
СХЕМАХ В БАЗИСЕ {x|y, xy, x&y, xy, x }
Аннотация. <...> Рассматривается задача синтеза асимптотически оптимальных
схем, реализующих булевы функции, при инверсных неисправностях на выходах элементов в полном базисе {x|y, xy, x&y, xy, x }. <...> Доказано, что в рассматриваемом базисе все булевы функции можно реализовать асимптотически
оптимальными по надежности схемами, причем почти для всех функций эти
схемы функционируют с ненадежностью, асимптотически равной 3ε при ε→0,
где ε – вероятность инверсной неисправности на выходе базисного элемента. <...> Ключевые слова: надежные схемы, ненадежные элементы, инверсные неисправности, синтез схем, булевы функции. <...> Circuits of unreliable functional elements are considered in basis {x|y,
xy, x&y, xy,x}. <...> It’s possible to realize all boolean functions by asymptotically
optimal reliable circuits. <...> Unreliability of these circuits is asymptotically equal 3ε for
almost all boolean functions with ε → 0 (ε is the probability of inverse failure at the
output of the base element). <...> Keywords: reliable circuits, unreliable elements, inverse failure, synthesis of circuits, boolean functions. <...> Введение
Все разнообразные средства цифровой техники: ЭВМ, микропроцессорные системы измерений и автоматизации технологических процессов,
цифровая связь и телевидение и т.д. – строятся на единой элементной базе,
в состав которой входят чрезвычайно разные по сложности микросхемы – от
логических элементов, выполняющих простейшие операции, до сложнейших
программируемых кристаллов, содержащих миллионы логических элементов. <...> Для исключения возможных сбоев в работе цифровых устройств прибегают к различным методам. <...> Одним из таких методов является синтез схем,
устойчивых к сбоям. <...> Логические элементы цифровых устройств во многом
определяют функциональные возможности последних, их конструктивное
исполнение, технологичность, надежность. <...> Надежности комбинационных
схем (схем из логических элементов) посвящена данная статья, причем элементам схемы приписаны конъюнкция x1&x2, дизъюнкция x1 x2 , отрицание x ,
антидизъюнкция (стрелка <...>