О ненадежности схем из функциональных элементов, подверженных двум типам неисправностей Текст научной статьи по специальности «Математика»

УДК 519.718

М. А. Алехина, О. Ю. Барсукова

О НЕНАДЕЖНОСТИ СХЕМ ИЗ ФУНКЦИОНАЛЬНЫХ ЭЛЕМЕНТОВ, ПОДВЕРЖЕННЫХ ДВУМ ТИПАМ НЕИСПРАВНОСТЕЙ

Аннотация. Актуальность и цели. В современной математике и технике теория синтеза схем из ненадежных функциональных элементов занимает важное место. До сих пор (насколько известно авторам) решались задачи реализации булевых функций надежными схемами в предположении, что функциональные элементы подвержены только одному типу неисправностей (например, инверсные неисправности на выходах элементов или константные неисправности на входах элементов). Эта работа - одна из первых работ, в которой подробно, со всеми доказательствами рассматривается задача синтеза надежных схем с элементами, подверженными неисправностям двух типов. Предполагается, что базисным элементам приписана функция штрих Шеффера (антиконъюнкция) и базисные элементы в неисправные состояния переходят независимо друг от друга. Первый тип неисправностей характеризуется тем, что при любом входном наборе базисного элемента на его выходе с некоторой вероятностью появляется значение, протиповоположное конъюнкции входных значений (т.е. имеем инверсные неисправности на выходах). Второй тип неисправностей появляется также на любом входном наборе элемента с некоторой (возможно, отличной от инверсной неисправности) вероятностью и характеризуется тем, что на выходе элемента появляется неопределенность. Отметим также, что в каждый такт работы базисный элемент подвержен только одной из двух названных неисправностей. Цель данной работы: исследовать возможность построения надежных схем, найти метод синтеза надежных схем, получить нетривиальные верхние и нижние оценки ненадежности схем. Результаты. Предложен метод повышения надежности схем при описанных неисправностях элементов, доказано, что, во-первых, любую булеву функцию можно реализовать схемой, ненадежность которой асимптотически не больше чем в три раза ненадежности базисного элемента; во-вторых, почти для всех функций (обозначим их множество через K) эта оценка ненадежности не улучшаема, т.е. ненадежность любой схемы, реализующей функцию из множества K, асимптотически меньше чем в три раза ненадежности базисного элемента. Функции множества K описаны явно. Выводы. Установлена возможность построения надежных схем при названных неисправностях элементов. Кроме того, найден метод повышения надежности схем и получены верхние и нижние оценки ненадежности схем. Эти оценки оказались асимптотически равными для функций множества K, т.е. почти для всех булевых функций.

Key words: functional elements circuit, unreliable functional elements, probability of error on a circuit output, unreliability of a circuit.

M. A. Alekhina, O. Yu. Barsukova

ON UNRELIABILITY OF FUNCTIONAL ELEMENTS CIRCUITS WITH TWO TYPES OF FAULTS

Abstract. Background. In modern mathematics and engineering the theory of circuits synthesis consisting of unreliable functional elements is of much interest. Until now (as far as we know) the problems of the Boolean functions realization using ro-

bust circuits have been solved on the assumption that the functional elements are exposed to only one type of faults (inverse faults at the output or constant faults at the input). This paper is among the first to consider in detail the problem of robust circuits synthesis with two types of faults. It is assumed that the functional elements are assigned to the Sheffer stroke function (disjunction) and the functional elements get faulty independently of each other. The first type of faults is noted for the fact that there is a certain probability of a value opposite to conjunction of the input values at the output (i.e. inverse faults at the output). There a certain probability of the second type faults at any input and the faults are characterized by the uncertainty at the output. It should be also noted that on every stage the functional element is exposed to only one of these two faults. The purpose of this paper is to study the possibility of constructing robust circuits, to find a method of reliable circuit synthesis, to obtain non-trivial upper and lower bounds of the circuits reliability estimation. Results. The method of improving reliability of circuits with the described faults has been proposed, and it has been proved that, firstly, any Boolean function can be realized by a circuit, unreliability of which is asymptotically three times no more than unreliability of the functional element, and secondly, this estimation of reliability for almost all functions (the set is denoted by K) cannot be improved, i.e. unreliability of any circuit realizing the function of the K set is asymptotically three times less than unreliability of the functional element. The functions of the K set are explicitly described. Conclusions. It is possible to construct reliable circuits with the described faults of elements. Moreover, the method of improving reliability of circuits and obtaining upper and lower bounds for circuit reliability has been found. These estimates were asymptotically equal to the functions of the K set, i.e. for almost all Boolean functions.

Key words: functional elements, unreliable functional elements, probability of faults, unreliability of a circuit.

1. Постановка задачи

Рассмотрим реализацию булевых функций схемами [1] из ненадежных функциональных элементов в полном базисе [2], состоящем из функции штрих Шеффера h(xj, x2) = xj • x2 . Обозначим через Eh базисный элемент.

Будем считать, что схема из ненадежных элементов реализует функцию f (x) (x = (xj,..., xn), n e N), если при поступлении на входы схемы набора a при отсутствии неисправностей в схеме на ее выходе появляется значение f (a) [3]. Предполагается, что все элементы схемы независимо друг от друга переходят в неисправные состояния двух типов. Неисправность первого типа характеризуется тем, что при поступлении на вход элемента Eh набора (aj, a2) в неисправном состоянии на выходе элемента с вероятностью £ (ее (0,1/2)) появляется значение h(aj,a2) = aj • a2 (т.е. имеем инверсные неисправности на выходах элемента). Неисправность второго типа появляется на любом входном наборе элемента с вероятностью 5 (5е (0, 1/2)) и характеризуется тем, что на выходе элемента появляется значение *, {0,1}, ко-

торое будем называть неопределенностью. Предполагается, что в каждый такт работы каждый элемент схемы подвержен только одной неисправности. В описанной модели неисправностей функционирование базисного элемента Eh можно описать с помощью табл. 1, где Po, Pj, P* - вероятности появле-

ния 0, 1, * соответственно на выходе элемента Е^ , Т, Т2 - вероятности появления 0 и 1 соответственно на наборах (1, *), (* ,1), (*, *), Ті, Т2 ^ 0.

Таблица 1

x1 x2 h( xb x2) P0 P1 P*

0 0 1 є 1 -є-5 5

0 1 1 є 1 -є-5 5

0 1 є 1 -є-5 5

1 0 1 є 1 -є-5 5

1 1 0 1 -є-5 є 5

1 * * Т1 Т2 1 -Т1 -Т2

* 0 1 є 1 -є-5 5

* 1 * Т1 Т2 2 - -

* * * Т1 Т2 1 -Т1 -Т2

Далее будем считать, что £ + 5>Ті + Т2. Тогда (см. табл. 1) ненадежность базисного элемента P(Eh) = max{e + 5, Т + Т2} = є + 5 .

Пусть схема S реализует функцию f (x), входной набор а схемы S такой, что f (а) = п . Обозначим через Pf (а^ (S, а) вероятность ошибки на выходе схемы S при входном наборе а . Тогда Pf (а (S ,а) = P^ (S, а) + P*(S, а).

Входной набор а функции f (а также схемы S, реализующей функцию f будем называть нулевым, если f (а) = 0. Входной набор а функции f (а также схемы S, реализующей функцию f) будем называть единичным, если

f(а)=і.

Например, если схема S реализует функцию f (x) и входной набор а является нулевым, то вероятность ошибки на выходе схемы S равна

Pf (а у0 ( s , а) =Pi (S, а)+p* (s , а).

Ненадежностью схемы S будем называть число P(S) = max{Pf (а )^n (S, а)}, где максимум берется по всем входным наборам

а схемы S.

2. Верхние оценки ненадежности схем

Теорема 1. Пусть f (x) - произвольная функция, S - любая схема, реализующая f (x), а P(S) - ненадежность схемы S. Тогда схема у(S) (см. рис. 1) реализует функцию f (x) с ненадежностью

P(y(S)) < max{зє + 35 + 2P2 (S)(1 + т2) + 2т25, є + 5 + [є + 5 + 2P(S)(1 + т2)]2 } при всех є, 5, Т1, Т2 удовлетворяющих условиям Є + 5>Т1 +Т2 и Т1 < є.

Доказательство. Пусть выполнены условия теоремы. Чтобы получить требуемое неравенство, сначала вычислим вероятности ошибок на выходе схемы В (рис. 1).

Рис. 1

Если а - нулевой набор функции /(х), то при отсутствии неисправностей значение на выходе схемы В (см. рис. 1) равно 1 (поскольку схема В реализует функцию /(х)). Используя формулу полной вероятности, вычислим вероятности появления значений 0, * на выходе схемы В:

Р0(В, а) = (1 - Р1(Б, а) - р (Б, а))2 е + 2(1 - Р1 (Б, а) - Р* (Б, а))Р1 (Б, а)е +

+р12(^, а)(1 - е - 5)+2(1 - р1 (б , а) - р* (б , а)) р (б , а)е+р*2 ( б , 2 +

+2Р^Б,а)Р*(Б,а)Т1 <е + Р12(Б,а), так как Т1 <е; (1)

Р* (В, а) = (1 - Р1(Б, а) - Р* (Б, а))2 5 + 2(1 - Р1(Б, а) - Р* (Б, а))Р1 (Б, а)5 +

+Р12(Б, 2 + 2(1 - Р1(Б, а) - Р* (Б, а))Р* (Б, а)5 + Р*2 (Б, а)(1 - т1 - т2) +

+2Р1 (Б, а)Р (Б, а)(1 -т1 -т2) <5 + 2Р1(Б, 2 (Б, а) + Р2(Б, а). (2)

Если а - единичный набор функции /(х), то при отсутствии неисправностей значение на выходе схемы В (см. рис. 1) равно 0. Вычислим вероятности появления значений 1, * на выходе схемы В:

р1 ( в, а)=р02 ( б , а)(1 - е - 5)+2 р0 ( б , а)(1 - р0 ( б , а) - р* ( б , 2(1 - е - 5)+

+(1 - Р0 (Б, а) - P, (Б, а))2 е + 2P0(Б, а)P (Б, а)(1 - е - 5) + 2(1 - Р0 (Б, а) -

-р, (б , а)) +* (б , а+2+р, 2 ( б , а)т2 < ++ 2 р0(б , а)+2 р ( б , а+; р, (в, а)=р02 ( б , а++2 р0 ( б , а)(1 - р0 ( б , а) - +* ( б , а))5+(1 - р0 ( б , а) -

- р, (б , а))2 5+2р0(б , а) +* (б , ++2(1 - р0(б , а) - +* (б , а)) х

(3)

№ 3 (27), 2013 Физико-математические науки. Математика

хР* (Б, а)(1 - т1 - т2) + Р*2 (Б, а)(1 - т1 - т2) < 5 + 2 Р* (Б, а). (4)

Теперь, используя полученные соотношения, выразим вероятности ошибок на выходе схемы у( Б) через вероятности ошибок схемы В.

Пусть а - нулевой входной набор схемы Б. Тогда /(а) = 1. Поэтому

Р1 (у (б ), а)=Р02( в, а)(1 - е - 5)+2Р0 ( в, а)(1 - Р0( в, а) - р* ( в, а))(1 - е - 5)+ +(1 - р0( в, а) - р* ( в, а))2 е+2 р0 ( в, а) р* ( в, а)(1 - е - 8)+2(1 - р0 ( в, а) -

-Р*(В,а))Р*(В,а)%2 + Р*2(В,а)Т2 < е + 2Р0(В,а) + 2Р*(В,а)%2';

р* (у ( б ), а)=Р02 ( в, а)5+2 Р0 ( в, а)(1 - Р0 ( в, а) - р* ( в, а))5+(1 - Р0 ( в, а) --р* ( в, а))2 5+2 р0 ( в, а) р* ( в, а)5+2(1 - р0 ( в, а) - р* ( в, а)) р* ( в, а)(1 - т1 - т2)+ +р* 2( в, а)(1 - т1 - т2) < 5+2 р* ( в, а).

Следовательно, при нулевых входных наборах а вероятность ошибки на выходе схемы у(Б) с учетом соотношения (1) для Р1(В, а) и соотношения (2) для Р* (В, а) удовлетворяет неравенству

Р/ (а*о (у( б ),а)=р* (у(Б), / (а))+Р1 (у( б ), / (а)) <е+5+2( р* ( в, а)+

+Р0(В,а)) + 2Р*(В,а)т2 < е + 5 + 2[е + 5 + (Р*(Б,С1) + Р1 (Б,а))2] +

+2т2 [5 + 2Р1 (Б, а) Р* (Б, а) + Р*2 (Б, а)] < 3е + 35 + 2Р 2 (Б )(1 + т2) + 2т25. (5)

Пусть а - единичный входной набор схемы Б, тогда /(а) = 0 . Поэтому

р0 (у(Б), а)=(1 - р1 ( в, а) - р* ( в, а))2 е+2(1 - р1 ( в, а) - р* ( в, а)) р1 ( в, а)е+ +р12 ( в, а)(1 - е - 5)+2(1 - р1 ( в, а) - р* ( в, а)) р* ( в, а)е+р*2 ( в, 2 +

+2Р1 (В, а)Р* (В, а)%1 < е + Р]2 (В, ¿г);

р* (у( б ), а)=(1 - р1 ( в, а) - р* ( в, а))2 5+2(1 - р1 ( в, а) - р* ( в, а)) р1 ( в, а)5+

+р12( в, а)5+2(1 - р1 ( в, а) - р* ( в, а)) р* ( в, а)5+р* 2( в, а)(1 - т1 - т2)+

+2Р1(В,а)Р* (В,а)(1 - Х1 - Т2) <5 + 271 (В,а)Р*(В,а) + Р*2(В,¿г).

Тогда вероятность ошибки на выходе схемы у(Б) при единичных входных наборах а удовлетворяет соотношению

\2

Р

f ^ (¥( Б), а) =Р, (у(Б), а) + Р0 (у( Б), а) < е + 5 + (Р, (B, а) + Р0 (B, а))".

Используя соотношение (3) для р)(В, а) и соотношение (4) для Р* (В, а), получим неравенство

Р/(а)^1 (у(Б),а) <е + 5 + |^е + 5 + 2Р*(Б,а) + 2Р0(Б,а) + 2Р*(Б,а)т2^ <

<е + 5 + [е + 5 + 2 Р( Б )(1 + т2)]2. (6)

Из определения ненадежности схемы Б следует, что при любом нулевом входном наборе а верно неравенство Р1(Б, а ) + Р* (Б, а) < Р(Б); при любом единичном входном наборе а верно неравенство Р0(Б, а )+Р*(Б, а ) < Р(Б). Учитывая соотношения (5) и (6), получаем неравенство

Р(у(Б)) < тах{зе + 35 + 2Р2 (Б)(1 + т2) + 2т25, е + 5 + [е+5 + 2Р(Б)(1 + т2)]2}.

Теорема 1 доказана.

Теорема 2. Любую функцию /(л},...,Хп) можно реализовать такой схемой С, что Р(С) < 4е + 45 при всех ее (0,1/260], 5е (0,1/260], Т2 < 1/ 260 и Т1, удовлетворяющих неравенствам е + 5>Т1 + Т2 и Т1 < е .

Доказательство проведем индукцией по числу п переменных функций.

1. Докажем утверждение для п = 1, т.е. для четырех булевых функций, зависящих от одной переменной: 0, 1, х их. Эти функции можно реализовать схемами, изображенными на рис. 2.

Рис. 2

Очевидно, что для п = 1 теорема верна.

2. Пусть индукционное предположение верно для функций, зависящих от (п -1) переменной. Докажем, что оно верно для функции /(Х1,..., хп), зависящей от п переменных. Разложим функцию/по переменной хп:

/(Х1, ..., Хп ) = Хп/(Х1, ..., Хп-1,1) V Хп/(Х1,..., Хп-1, 0)

= Л ( (, / (Х1,..., (-1,1)), Л ((Хп, Хп), / (Х1,..., Хп-1,0)))

и реализуем схемой Б2 (рис. 3), где схема Б! реализует функцию

/1 = /(Х1,..., Хп-1, 1), а схема Б0 реализует функцию /0 = /(Х1,..., Хп-1, 0).

Рис. 3

В схеме S2 выделим подсхему A, состоящую из четырех элементов (рис. 3), выход которой является выходом схемы S3, а на входы подаются значения переменной xn и функций f = f (Xj,...,xn-i,1), fo = f (Xj,...,Xn-1,0).

Выделенная подсхема A состоит из четырех элементов, поэтому ее ненадежность P(A) < 4е + 45 . Функции f = f (Xj,..., Xn-j,1) и fo = f (Xj,..., Xn-j, 0) согласно индуктивному предположению можно реализовать схемами с ненадежностью не более 4е + 45 . Если схема A исправна, то для реализации функции f она использует значение одной из схем, реализующих f и fo . Поэтому P(S2) < P(A) + 4е + 45 < 8е + 85 .

Уменьшим ненадежность схемы S2, используя схему y(S2), которая получается из у(S) (см. рис. !) заменой S на S2. Используя теорему j оценим ненадежность схемы у(S2):

P(y(S2)) < max {зе+35+2P2 (S2)(j+T2) + 2Т25, е + 5+[е + 5 + 2P(S2)(! + Т2)] }.

Поскольку P(S2) < 8е + 85 , получаем неравенство

P(y(S2)) < max {3е + 35 + 2(8е + 85)2^ + т2) + 2т25,

е + 5 + [е + 5 + 2(8е + 85)(! + Т2)] }.

При е< И 260, 5< И 260, Т2 <И 260 имеем

3е + 35 + 2(8е + 85 )2^ + т2) + 2т25< 3е + 35 + Ш • 2/260(е + 5 )fl + j / 260) + +25 / 260 < 3е + 35 + 0,989(е + 5) + 0,00775 < 4е + 45;

є + 5 + [є + 5 + 2(8є + 85)(1 + т2)] <є+5+(є + 5)2 (1 + 16(1 + т2))2 <

<є + 5 + 2/260(є + 5)(17 + т2)2 <є + 5 + 2/260(є + 5)(17 + 16/260)2 <

<є + 5 + 2,24(є + 5) <3,24(є + 5) < 4(є + 6).

Таким образом, P(у(^2)) < 4є + 45; ^(^2) = С - искомая схема.

Теорема 2 доказана.

Теорема 3. Любую функцию f можно реализовать такой схемой D, что P (D) < 3є + 35 + 32 • (3e2 +52) + 2т2(48є2 +175) при всех є< 1/260, 5< 1/ 260, І2 < 1/ 260 и T1, удовлетворяющих условиям є + 5>Т1 + Т2 и т1 <є .

Доказательство. Согласно теореме 2 любую булеву функцию можно реализовать схемой C с ненадежностью Р(С) < 4є + 45. По схеме C построим схему у(С) (см. рис 1 и теорему 1) и оценим ее ненадежность:

P(y(C)) < max{3є+35+2Р2 (C)(1 + т2) + 2т25, є + 5 + [є + 5 + 2P(C)(1 + т2 )]2} <

< max {3e + 35 + 96є2 + 3252 + 96є2 т2 + 345t2 , є + 25 + 83є2 + 8152 + 5т2} =

= 3є + 35 + 32 • (3є2 + 52) + 2т2 (48є2 +175).

Схема у(С) = D - искомая схема. Теорема 3 доказана.

Заметим, что если є^ 0, 5^0, то т ^ 0, Т2 ^ 0, поскольку є, 5, т1, т2 > 0 и т1 + т2 <є+5 .

Из теоремы 3 следует, что все булевы функции можно реализовать схемами, функционирующими с ненадежностью, асимптотически (при s^-0, 5^-0) не больше 3 s + 35.

3. Нижние оценки ненадежности схем

Возьмем произвольную булеву функцию f (х), отличную от констант и

функций хі, х2,..., х„. Пусть S - любая схема, реализующая f (х). В схеме S выделим подсхему A, содержащую выход схемы S. Пусть схема A реализует функцию g(У1,...,Уі) (у = (У1,. .,Уі)), а P(A) - ненадежность схемы A. Заметим, что функция g также отлична от константы.

Все входные наборы подсхемы A занумеруем следующим образом: пусть ¿1, ..., bm - все нулевые наборы функции g, bm+1, ..., bt - все единичные наборы функции g, bt+1, ., b^i - наборы, на которых функция g принимает значение *.

Рассмотрим наборы b1, ..., bm. Обозначим: p^,...,p1[m - соответственно вероятности появления 1 на выходе схемы А на этих наборах;

Ро1,...,Ро т - соответственно вероятности появления 0 на выходе схемы А на этих наборах, р°1,...,Р°т соответственно вероятности появления * на выходе схемы А на этих наборах. Очевидно, что р° г- = 1 - р°г- - р0 у (/є {1,.. ,,т}).

Рассмотрим наборы 6т+1, •••, Ъ . Обозначим: Рі т+1,..,Рі? - соответственно вероятности появления 1 на выходе схемы А на этих наборах; Рот+1,...,Ро? - соответственно вероятности появления 0 на выходе схемы А

на этих наборах; Р° т+1,...,Р* ? - соответственно вероятности появления * на

выходе схемы А на этих наборах. Очевидно, что Р° / = 1 — Ро j — Р° / (/є {т+1,...,Г}).

Рассмотрим наборы Ъ+1, ..., Ъ^ . Обозначим Р*1+1,...,Р*21 - соответственно вероятности появления 1 на выходе схемы А на этих наборах;

* * /Л А

Ро ?+1,...,Ро 21 - соответственно вероятности появления 0 на выходе схемы А на этих наборах; Р*Г+1,...,Р**21 - соответственно вероятности появления *

* * *

на выходе схемы А на этих наборах. Очевидно, что Р* / = 1 — Ро / — Р / (/є {ґ+1,.. .,2і}). Полагаем

ц = тіп{Р°к }, ц * = тіп{Р* к }, Мо = тах{Р°к + Р°,к }, к є {1,.,т };

к к к

к* = тіп{Р°,к}, ко = тіп{Ро к}, М1 = тах{Ро,к + Р°,к}, к є {т+1,...,/1};

к к к

V! = тіп^к}, V) = тіп{Ро,к}, М* = тах^,к + Р^}, к є {ґ+1,...,21}.

к к к

Замечание 1. Из определения ненадежности схемы следует, что к* + ко < М1 < Р(А), ц* + ц < Мо < Р(А), у1 +Уо < М* < Р(А).

Справедлива теорема 4.

Теорема 4. Пусть /(х) - произвольная функция, отличная от констант и функций х1, х2,., х„. Пусть Б - любая схема, реализующая /(х). В схеме Б выделим подсхему А, содержащую выход схемы Б. Пусть схема А реализует функцию g(л,...,Уі) (у = (л,. .,Уі)), а Р(А) - ненадежность схемы А, Р(А) < 1/2. Тогда вероятности ошибок на выходе схемы Б удовлетворяют

неравенствам: Р/(~уо(Б,а) — М-1 + Ц * , если а - нулевой набор функции /; Р/(а)^1 (Б, а) — ко +к * , если а - единичный набор функции /

Доказательство. Пусть а - нулевой набор функции / , т.е. /(а) = о. Обозначим через Ро(А,Ъ) вероятность появления на входах схемы А нулевого для функции g набора Ъ (т.е. g(Ъ) = о); Р^А,Ъ) - вероятность появления

на входах схемы А единичного для функции g набора Ь (т.е. g(Ь) = 1);

Р* (А, Ь) - вероятность появления такого набора Ь на входах схемы А, что

при отсутствии неисправностей в схеме А на ее выходе получим g(Ь) = *. Тогда вероятность появления единицы на выходе схемы Б удовлетворяет неравенству

Р (Б, а) > (1 - Р (А, Ь) - Р* (А, Ь))ц + Р (А, Ь)(1 - М1) + Р* (А, Ь)У1 =

=ц1 + Р1(А Ь)(1 - М1 -М-1) + Р*(A, Ь)(у1 -М-1).

Вероятность появления значения * на выходе схемы Б найдем по формуле полной вероятности:

Р* (Б, а) > (1 - Р (А, Ь) - Р* (А, Ь))ц * + Р (А, Ь)1 * + Р* (А, Ь)(1 - М *) =

=ц* + Р1(А,Ь)(1* -ц*) + Р*(А,Ь)(1 -М* -ц*).

Тогда вероятность ошибки на выходе схемы Б удовлетворяет неравенству

Р/(а уо( Б, а)=Р1( Б, а)+р*(Б, а) > ц1+ц * + Р1( A, Ь)(1 - М1 -ц1 -ц *)+Р*(A, Ь) х х(1 -М* -ц -ц *) > ц + ц * + Р1 (А, Ь)(1 - 2Р(А)) + Р* (А, Ь)(1 - 2Р(А)) > ц + ц *,

поскольку Ц1 + ц* < Р(А), М < Р(А), М* < Р(А) (см. замечание 1) и по условию Р(А) < 1 / 2 .

Пусть а - единичный набор функции / , т.е. /(а) = 1.

Вероятность появления нуля на выходе схемы Б удовлетворяет неравенству

Ро (Б, а) > Ро (А, Ь)(1 - М0) + (1 - Ро (А, Ь) - Р* (А, Ь))1 о + Р* (А, Ь)Уо =

=^о + Ро(АЬ)(1 -М° -1о) + Р*(A,Ь)(^о -^о).

Вероятность появления значения на выходе схемы Б найдем по формуле полной вероятности:

Р* (Б, а) > Ро (А, Ь)ц * + (1 - Ро (А, Ь) - Р* (А, Ь))1 * + Р* (а, Ь)(1 -М*) =

=1* + Ро(А,Ь)(ц* -1*) + Р*(А,Ь)(1 -М* -к*).

Тогда вероятность ошибки на выходе схемы Б удовлетворяет неравенству

Р/(а а) = Ро( Б, а) + Р* (Б, а) >ко + 1* + Ро( А Ь)(1 -М° -1о -1* ) +

+Р* (А, Ь)(1 -М * -1о -1 *) >1о +1 * + Ро(А, Ь)(1 - 2Р(А)) +

+Р* (А, Ь )(1 - 2Р( А)) >1о +1 *,

поскольку Ао + А* < P(A), M < P(A), M < P(A) (см. замечание 1) и по условию P( A) <1/2.

Теорема 4 доказана.

Следствие 1. Если условия теоремы 4 выполнены, то

P(S) > max{)i1 + ji*, X0 + X*}.

Пусть K(n) - множество булевых функций f (Xi,..., xn), не представимых

в виде (Xa & g(X) )b (i = 1, 2, ..., n, a, be {0,1}, n > 3). Обозначим K = ^ K(n).

n=3

Например, функции X1 ~ X2 • X3, X1 ® X2 ® X3 принадлежат множеству K, а функции 0, 1, X1, X1, X1 • (X2 v X3) не принадлежат множеству K.

Теорема 5. Пусть функция f e K, и пусть S - любая схема, реализующая функцию f . Тогда P(S) > 3е + 35 + ф(е, 5, Т1, Т2), где ф(£, 5, Т1, Т2) = 2 2

= -13е5- 55 - 11е - 35т2 - 25т1 - 2ет при всех е, 5, Т1, Т2, удовлетворяющих условиям е + 5< 1/8, е + 5>Т1 + Т2 и т < е.

Доказательство. Пусть функция f e K, а S - произвольная схема, реализующая f . Выделим в схеме S функциональный элемент Е1, выход которого является выходом схемы S. Поскольку функция f e K, для ее реализации потребуется не меньше трех элементов. Возможны следующие варианты.

1. Входы элемента E1 соединены с выходами разных элементов Е2 и Е3 (рис. 4).

хх х2 х3 х4

Рис. 4

Обозначим через А схему, состоящую из трех элементов Е1, Е2, Е3. Очевидно, что Р(А) < 3(є + 8). Поскольку е + 8< 1 / 8, получаем неравенство

Р(А) < 1/2. Вычислим вероятность Р^А, с) появления 1 на выходе схемы А

при нулевых входных наборах с = (с1, С2, С3,С4) (т.е. С1С2 = С3С4 = о):

Р1 (■А с) = М-1 = Р0 (Е2 ,(с3 5 с4 ))Р0 (Е3 Лс15 с2 ))(1 - £ - 5) + Р1 (Е2 5 (с3 5 с4 )) х

хР0( Е3,(с15 с2))(1 -£-5) + ро( Е2) Р1( Е3,(с15 с2))(1 -£-5) +

+Р1(Е25 (с35 с4 ))Р1(Е3 ,(с15 с2))е + Р* (Е25 (с35 с4 ))Р0 (Е3 ,(с1 = с2))(1 - £ _ 5) +

+Р0 (Е25 (с35 с4 ))Р* (Е35 (с15 с2))(1 - £ - 5) + р1(Е25 (с35 с4 )) Р* (Е3 5 (с15 с2 ))т2 +

+Р* (Е25 (с35 с4 )) Р1( Е35 (с15 с2 ))т2 + Р* (Е25 (с35 с4 )) Р* (Е35 (с15 с2 ))т 2 • Поскольку

Р1 (Е2 5 (с35 с4)) = 1 - Р0 (Е2 5 (с3 5 с4)) - Р* (Е2 5 (с3 5 с4)); (7)

Р^Дс^)) = 1-Pо(Eз,(Cl,C2)) - Р* ^(с^)); (8)

Р0 (Е25 (с35 с4)) = Р0 (Е35 (с15 с2)) = £; (9)

Р* (Е2 5 (с3 5 с4)) = Р* (Е3 5(с15 с2)) = 5 5 (10)

получаем равенство

М1 = Р1(А,с)) = (1 -е-5)(2е-е2) + (1 -е-5)2е + т2(25-2е5-52) •

Вероятность Р*(А5 с) появления * при нулевых входных наборах с на выходе схемы А равна:

Р* (А5 с) = М* = Р0 (Е2 5(с35 с4 ))Р0 (Е3 5(с15 с2))5 + Р1 (Е2 5(с35 с4 ))Р0 (Е3 5(с15 с2))5 +

+Р0 (Е25 (с35 с4 )) Р1(Е35 (с15 с2))5 + Р1(Е25 (с35 с4 )) Р1(Е35 (с15 с2))5 +

+Р* (Е25 (с35 с4 )) Р0 (Е35 (с15 с2))5 + Р0 (Е25 (с35 с4 )) Р* ( Е35 (с15 с2 ))5 +

+Р1(Е25 (с35 с4 )) Р* (Е3 5(с15 с2))(1 - Т1 - т2) + Р* (Е25 (с35 с4 )) Р1(Е35 (с15 с2)) х

Х(1-т1 -т2) + Р* (Е2 5(с35 с4 ))Р* (Е3 5(с15 с2 ))(1 - Т1 -т2).

Поскольку выполняются соотношения (7)-(10) получаем равенство

М* = Р*(А5с) = 5(1 -25 + 52 + 2е5) + (1 -т1 - т2)(25- 52 -2е5) •

Тогда

Р/*0(А5с) = Р1 (А5с) + Р*(А5с) = М1 + М* = 3£ + 35 + ф1 (£555тьТ2) 5

где ф1(е5 55т15т2) = 2е3 - 5е2 - б£б + 3£25 + 3£б2 - 352 +53 - 25г1 + 2£5т1 + 52т1.

Поскольку Р(А) < 1/25 по следствию 1 имеем Р(Б) > М1 + М* =

= Р/^0 (А5с) = 3£ + 35 + Ф1 (£555тьТ2) 5 т.е. Р(Б) > 3£ + 35 + Ф1(£5 55тьТ2) •

2. Входы элемента Е1 соединены с выходом одного элемента Е2. Возможны два случая.

2.1. Входы элемента Е2 соединены с выходами разных элементов Е3 и Е4 (рис. 5). Обозначим через V подсхему схемы Б состоящую из элементов

Е2, Е3 и Е4, а через А - подсхему, состоящую из четырех элементов Е1, Е2, Е3 и Е4. Очевидно, что Р(А) < 4(е + 5). Поскольку е + 6<1/8, получаем неравенство Р(А) < 1/2. Вычислим вероятности Р0(А,с) и Р*(А,с) появления соответственно значений 0 и * на выходе схемы А при единичных входных наборах с = (с1, с2, с3, с4) (т.е. с1с2 = с3с4 = 0):

Ро (А, с) = ^о = (1 - Р1 (и, с) - Р (и, с ))е + Р1 (и, с)(1 - е - 6) + Р* (и, с) Т1,

Р* (А, с) = А* = (1 - Р1 (и, с) - Р (и, с))6 + Р1 (и, с)6 + Р (и, с)(1 -т1 -т2).

Рис. 5

Учитывая5 что выражения для Р^и5 с) и Р* (V5 с) были получены в пункте 1 этого доказательства5 имеем

Рг ^ (А5 с) = Р0( А5 С) + Р* (А5 С) = X 0 + X* = 4£ + 45 + Ф2 (£5 55 Т1512)5

где

ф2 (£5 55 т15 т2) = -2£5т1т2 -12£5 +18£25 + 8£52 + 52т2 - 25т1 + 352т1 - 8£35 --5£252 - £53 - 53т1 + 25т22 - 52т22 - 35т2 + 4£5т1 - 2£25т1 - 3£52т1 + 2£25т2 + +£б2т2 + 25х1х2 - 52т1т2 - 2£бх22 +12£3 - 4£4 + 53 -11£2 - 452.

Поскольку Р(А) < 1/25 применимо следствие 1 из теоремы 4. Поэтому Р(Б) >Х +Х* = Р/^1 (А5 с) = 4£ + 45 + Ф2 (£5 55Т15 Т2) 5 т.е. получаем неравенство

Р (Б) > 4е + 48 + Ф2 (£5 85 Т15 Т2).

2.2. Оба входа элемента Е2 соединены с выходом одного элемента Е3 (рис. б). Обозначим через V подсхему5 состоящую из элементов Е3 и Е^ а че-

рез А - подсхему, состоящую из элементов Е1, Е2, Ез. Очевидно, что Р(А) <

< 3(е + 5). Поскольку е + 8<1/8, получаем неравенство Р(А) < 1/2. Вычислим

вероятности Ро (и, с) и Р* (и, с) появления соответственно значений 0 и * на

выходе схемы и при единичных входных наборах с = (сі,С2) (т.е. С1С2 = 1):

Ро(и, с)) = (1 - Р1( Ез, с) - Р* (Ез, с)) е + Р1( Ез, с )(1 -е-8) + Р* (Е3, с) т =

= 2е(1 -е-8) + 8г1;

Р* (и, с) = (1 - Р1( Ез, с) - Р* (Ез, с ))8 + Р1( Ез, с )8 + Р* (Е3, с )(1 - Т1 - Т2) =

= 8(2-8-т1 -т2).

Рис. 6

Вероятность появления /](А,с) и Р» (А,с) на нулевых входных наборах с = (с},с2) (т.е. сс = 1) на выходе схемы А равна

Р (А,с) = ц = Ро (и,с)(1 -е-8) + (1 - Ро (и,с) - Р» (и,с))е + Р» (и,с)т2; Р» (А,с) = ц» = Ро (и,с )8 + (1 - Ро (и,с) - Р» (и,с ))8 + Р» (и,с)(1 - Т1 - Т2).

Учитывая выражения для Р1(и, с) и Р» (и, с), имеем

Р/Фо (А,с) = ц + ц* = Р1 (А,с) + Р» (А,с) = Ро (и,с)(1 -е-8) + (1 - Ро (и,с) -

-Р» (и,с ))е + Р» (и,с)Т2 + Ро (и,с)8 + (1 - Ро (и,с) - Р» (и,с))8 +

+Р» (и ,с )(1 - Т1 - Т2) = 3е + 38 + Фз(е, 8, Т1, Т2), Ф3 (е, 8, т1, т2) = 3е82 - 2ет1 - 6е2 - 6е8 + 6е28 - 382 - 8т2 + 82т2 +

+82т1 + 8т12 - е8т1 + е8т2 + 8т1т2 + Ь3 + 4е3.

Поскольку Р(А) < 1/2, применимо следствие 1 из теоремы 4. Поэтому Р(Б) >^1 + ц* = Р/^(А, с) = 3е + 38 + фз(е, 8, Т1, Т2), т.е. получаем неравенство

Р(Б) > 3е + 38 + ф3(е,8,т1,т2).

3. Один из входов элемента Е2 соединен с выходом элемента Е3, входы элемента Е1 соединены с выходами разных элементов Е2 и Е3 (см. рис. 6). Обозначим через А - подсхему, состоящую из элементов Е1, Е2, Е3. Очевидно, что Р(А) < 3(е + 8). Поскольку е + 8<1/8, получаем неравенство Р(А) < 1/2.

Вычислим вероятности р( А, с) и Р*( А, с) появления 1 и * на выходе схемы А при нулевых входных наборах с = (с^с2,сз) (т.е. 0102 = сз = 0):

Р1( А, с) = ц =3е(1 -е-8)2 +е2(1 -е-8) + 28е(1 -е-8) + 82т2 +2(1 -е-8)8т2;

Р* (А, с) = ц* =5(1 - е - 5)2 + 2е5(1 -е-8) + е28 +

+2е82 +2(1 -е-5)(1 - т1 -т2) + 52(1 -т1 -т2).

Тогда вероятность ошибки на выходе схемы А равна Р/ *о (А, с) = Р1 (А, с) + Р* (А, с) = ц + ц* = 3е + 38 + ф4 (е, 8, ть Т2),

где ф4(е, 5,т1,т2) = 2е3 - 5е2 - 6е5 + 3е25 + 3е52 - 352 +53 - 25г1 + 2е5т1 +52т1. Нетрудно проверить, что ф4 (е, 8, Т1, Т2 ) = Ф1 (е, 8, Т1, Т2 ) .

Поскольку Р(А) < 1/2, по следствию 1 имеем Р(Б) > ц + ц* = = Р/^о (А, с) = 3е + 38 + Ф1(е, 8, Т1, Т2), т.е. Р(Б) > 3е + 38 + ф1(е, 8, ть Т2).

Таким образом, во всех случаях справедливо неравенство Р(Б) > 3е + 38 + ф(е, 8,Т1, Т2), где ф(е, 8,Т1, Т2) - любая функция, удовлетворяющая условию ф(е, 8, % Т2) < тіп{ф1 (е, 8, ть Т2), ф2 (е, 8, ть Т2), фз (е, 8, Т1, Т2)}. Например, в качестве функции ф(е, 8, Т1, Т2) можно взять

ф(е,8,т1,т2) = -13е8 - 582 - 11е2 -38т2 -28т1 -2ет1.

Действительно, сначала найдем вспомогательную функцию ф'(е, 8, Т1, Т2), сравнивая коэффициенты функций фу (і є {1,2,3}) в подобных слагаемых и выбирая наименьший коэффициент. Тогда

ф'(е,5,т1,т2) = -2е5т1т2 - 12е5 + 3е25 + 3е52 -25г1 +52т1 -8е35--5е282 -е83 -83т1 -82т22 - 38т2 -е8т1 - 2е28т1 - 3е82т1 -82т1т2 --2е8т22 + 2е3 - 4е4 + 83 - 11е2 - 482 - 2ет1.

Поскольку е + 8<1 / 8 и т +Т2 <е + 8, получаем е< 1 / 8, 8< 1 / 8 ,

Т < 1/8, Т2 < 1/8. Учитывая эти оценки, легко проверить, следующее:

1) 3е82 -е83 =е52(3 -8) >0;

2) 53 - 53х1 = 53(1 - Tj) >0;

3) 3е25- 2е25т1 - 5е252 >3е25-—е25-—е25 =—е25> 0;

1 8 8 8

4) 52т1 - 3е52т1 -52t1t2 > 52t1 - 3 62t1 - 8 52t1 = 152t1 > 0;

5) 2e3 - 4e4 - 8e35 = (e3 - 4e4) + (e3 - 8e35) = e3(1 - 4e) + £3(1 - 85) > 0 . Отбрасывая эти неотрицательные выражения, получим неравенства:

ф '(e, 5, t1, t2) > ф''(e, 5, t1, t2) = -2e5r1T2 -12e5 - 25r1 --52t22 - 35t2 - е5т1 - 2e5r22 - 11e2 - 452 - 2ет1;

ф''(e,5,Ti,t2) >—— e5- 12e5-25ti - —52 - 35t2 -—e5—— e5- 11e2 -15 2 64 1 64 2 8 64

-452 -2eT1 >-13e5 - 552 - 11e2 -35t2 -25t1 -2eT1 = ф^,5,t1,t2). Теорема 5 доказана.

Заключение

Из теоремы 3 следует, что любую булеву функцию можно реализовать схемой, функционирующей с ненадежностью, асимптотически (при s^-0, 5^0) не больше 3 s + 35.

Из теоремы 5 следует, что функции класса K (содержащего почти все булевы функции) нельзя реализовать схемами с ненадежностью, асимптотически (при s^-0, 5^0) меньше 3 s + 35.

Таким образом, почти все булевы функции можно реализовать схемами с ненадежностью, асимптотически равной 3 s + 35 (при s^-0, 5^0).

Список литературы

1. Лупанов, О. Б. Асимптотические оценки сложности управляющих систем / О. Б. Лупанов. - М. : Изд-во Моск. ун-та, 1984. - 138 с.

2. Яблонский С. В. Введение в дискретную математику / С. В. Яблонский. - М. : Наука, 1986. - 384 с.

3. Алехина М. А. Синтез асимптотических оптимальных по надежности схем / М. А. Алехина. - Пенза : Инф.-изд. центр ПензГУ, 2006. - 156 с.

References

1. Lupanov O. B. Asimptoticheskie otsenki slozhnosti upravlyayushchikh sistem [Asymptotical estimate of control system complexity]. Moscow: Izd-vo Mosk. un-ta, 1984, 138 p.

2. Yablonskiy S. V. Vvedenie v diskretnuyu matematiku [Introduction into discrete mathematics]. Moscow: Nauka, 1986, 384 p.

3. Alekhina M. A. Sintez asimptoticheskikh optimal’nykh po nadezhnosti skhem [Synthesis of of asymptotical safety-optimal circuits]. Penza: Inf.-izd. center PenzGU, 2006, 156 p.

Алехина Марина Анатольевна

доктор физико-математических наук, профессор, заведующая кафедрой дискретной математики, Пензенский государственный университет (Россия, г. Пенза, ул. Красная, 40)

E-mail: dm@pnzgu.ru

Барсукова Оксана Юрьевна

аспирант, Пензенский государственный университет (Россия, г. Пенза, ул. Красная, 40)

E-mail: dm@pnzgu.ru

Alekhina Marina Anatol'evna Doctor of physical and mathematical sciences, professor, head of sub-department of discrete mathematics, Penza State University (40 Krasnaya street,

Penza, Russia)

Barsukova Oksana Yurievna Postgraduate student, Penza State University (40 Krasnaya street, Penza, Russia)

УДК 519.718 Алехина, М. А.

О ненадежности схем из функциональных элементов, подверженных двум типам неисправностей / М. А. Алехина, О. Ю. Барсукова // Известия высших учебных заведений. Поволжский регион. Физико-математические науки. - 2013. - № 3 (27). - С. 31-47.