Научная статья на тему 'Синтез надежных схем при константных неисправностях на входах и выходах элементов'

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

CC BY
132
43
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
НЕНАДЕЖНЫЕ ФУНКЦИОНАЛЬНЫЕ ЭЛЕМЕНТЫ / НАДЕЖНОСТЬ СХЕМЫ / НЕНАДЕЖНОСТЬ СХЕМЫ / КОНСТАНТНЫЕ НЕИСПРАВНОСТИ ТИПА 0 И 1 НА ВХОДАХ И ВЫХОДАХ ЭЛЕМЕНТОВ / UNRELIABLE FUNCTIONAL GATES / RELIABILITY OF CIRCUITS / UNRELIABILITY OF CIRCUITS / CONSTANT FAILURES OF TYPE 0 AND TYPE 1 AT GATES’ INPUTS AND OUTPUTS

Аннотация научной статьи по математике, автор научной работы — Алехина Марина Анатольевна

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

i Надоели баннеры? Вы всегда можете отключить рекламу.
iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

SYNTHESIS OF RELIABLE CIRCUITS AT CONSTANT FAILURES AT GATES’ INPUTS AND OUTPUTS

Background. The article considers realization of Boolean functions by circuits made of unreliable functional gates in a basis, consisting of a single function the Sheffer function. The problem of synthesis of reliable circuits, realizing Boolean functions at constant failures of similar type (for example, only of 0 type at gates’ inputs) was solved by the author in many articles, but unlike the previous articles, this one considers a model where each circuit gate may be subject to constant failures of 4 types at once: type 0 and type 1 at inputs and outputs (with different probabilities). One should also note that having a proper choice of parameters the model describes inverse failures of gates at inputs and (or) outputs. The aim of the work is to build reliable circuits and to obain the upper and lower values of circuit unreliability. Materials and methods. When building reliable circuits the author used the previously known methods of synthesis and obtainment of unreliability values. Results. The author obtained the upper value of circuit unreliability, described the K function class, containing almost all Boolean functions, and proved the lower value of unreliability of circuits, realizing the functions of the given class. For K class functions the author built a circuit, the upper and lower unreliability values of which are asymptotically equal. The obtained results may be used in design of technical systems for their reliability improvement. Conclusions. Almost any Boolean function may be realized by a circuit, the lower and upper unreliability values of which are asymptotically equal.

Текст научной работы на тему «Синтез надежных схем при константных неисправностях на входах и выходах элементов»

МАТЕМАТИКА

УДК 519.718

М. А. Алехина

СИНТЕЗ НАДЕЖНЫХ СХЕМ ПРИ КОНСТАНТНЫХ НЕИСПРАВНОСТЯХ НА ВХОДАХ И ВЫХОДАХ ЭЛЕМЕНТОВ1

Аннотация.

Актуальность и цели. Рассматривается реализация булевых функций схемами из ненадежных функциональных элементов в базисе, состоящем из одной функции - штрих Шеффера. Задача синтеза надежных схем, реализующих булевы функции, при константных неисправностях одного типа (например, только типа 0 на входах элементов) решалась ранее автором во многих статьях, но, в отличие от них, в этой работе впервые исследуется модель, в которой каждый элемент схемы может быть подвержен константным неисправностям сразу четырех типов: типа 0 и типа 1 на входах и выходах (с различными вероятностями). Заметим также, что при подходящем выборе параметров эта модель описывает инверсные неисправности элементов на входах и (или) выходах. Цель работы - построить надежные схемы, получить верхние и нижние оценки ненадежности схем.

Материалы и методы. При построении надежных схем использованы ранее известные методы синтеза и получения оценок ненадежности.

Результаты. Получена верхняя оценка ненадежности схем. Описан класс функций K, содержащий почти все булевы функции, и доказана нижняя оценка ненадежности схем, реализующих функции из этого класса. Для функции из класса K построена схема, верхняя и нижняя оценки ненадежности которой асимптотически равны. Полученные результаты могут быть использованы при проектировании технических систем для повышения их надежности.

Выводы. Почти любую булеву функцию можно реализовать схемой, верхняя и нижняя оценки ненадежности которой асимптотически равны.

Ключевые слова: ненадежные функциональные элементы, надежность схемы, ненадежность схемы, константные неисправности типа 0 и 1 на входах и выходах элементов.

M. A. Alehina

SYNTHESIS OF RELIABLE CIRCUITS AT CONSTANT FAILURES AT GATES’ INPUTS AND OUTPUTS

Abstract.

Background. The article considers realization of Boolean functions by circuits made of unreliable functional gates in a basis, consisting of a single function - the Sheffer function. The problem of synthesis of reliable circuits, realizing Boolean functions at constant failures of similar type (for example, only of 0 type at gates’ inputs) was solved by the author in many articles, but unlike the previous articles, this one considers a model where each circuit gate may be subject to constant fail-

1 Работа выполнена при финансовой поддержке РФФИ, проект № 14-01-00273.

Physical and mathematical sciences. Mathematics

5

Известия высших учебных заведений. Поволжский регион

ures of 4 types at once: type 0 and type 1 at inputs and outputs (with different probabilities). One should also note that having a proper choice of parameters the model describes inverse failures of gates at inputs and (or) outputs. The aim of the work is to build reliable circuits and to obain the upper and lower values of circuit unreliability.

Materials and methods. When building reliable circuits the author used the previously known methods of synthesis and obtainment of unreliability values.

Results. The author obtained the upper value of circuit unreliability, described the K function class, containing almost all Boolean functions, and proved the lower value of unreliability of circuits, realizing the functions of the given class. For K class functions the author built a circuit, the upper and lower unreliability values of which are asymptotically equal. The obtained results may be used in design of technical systems for their reliability improvement.

Conclusions. Almost any Boolean function may be realized by a circuit, the lower and upper unreliability values of which are asymptotically equal.

Key words: unreliable functional gates, reliability of circuits, unreliability of circuits, constant failures of type 0 and type 1 at gates’ inputs and outputs.

Введение

Впервые задачу синтеза надежных схем из ненадежных функциональных элементов рассматривал Дж. фон Нейман [1]. Он также предполагал, что все базисные элементы с вероятностью £ (ее (0;1 / 2)) подвержены инверсным неисправностям на выходах т в неисправные состояния независимо друг от друга. Задача синтеза надежных схем, реализующих булевы функции, при константных неисправностях одного типа (например, только типа 0 на входах элементов) решена в базисах из двухвходовых элементов [2] при неисправностях двух типов [3]. Отметим также работу [4], в которой решена задача синтеза надежных программ с оператором условной остановки. В работе [5] описаны свойства булевых функций, схемы которых можно использовать для повышения надежности исходных схем.

В данной статье впервые исследуется модель, в которой каждый элемент схемы может быть подвержен константным неисправностям четырех типов: типа 0 и типа 1 на входах и выходах (с различными вероятностями). Заметим также, что инверсные неисправности элементов являются частным случаем в рассматриваемой модели неисправностей.

Рассмотрим реализацию булевых функций схемами из ненадежных элементов в базисе {x | y} (где x | y = x & у - штрих Шеффера, или антиконъюнкция). Схема из ненадежных функциональных элементов реализует функцию f (x1,...,xn) (nе N), если при поступлении на входы схемы набора

an = (a1,..., an) при отсутствии неисправностей в схеме на ее выходе появляется значение f (an). Предполагаем, что в каждый такт работы схемы на любом из входов и выходе любого из ее элементов независимым образом могут происходить константные неисправности: типа 0 на входах с вероятностью Yo , Y0 е (0,1 / 32), или типа 1 на входах с вероятностью Y1, Y1 е (0,1 /16), или типа 0 на выходах с вероятностью £0, £0 е (0,1/16), или типа 1 на выходах с вероятностью £1, £1 е (0,1/16).

6

University proceedings. Volga region

№ 2 (34), 2015

Физико-математические науки. Математика

Неисправности типа 0 на входах элементов характеризуются тем, что в исправном состоянии функциональный элемент реализует приписанную ему булеву функцию x | у, а в неисправном - поступающий на его вход нуль

не искажается, а поступающая на его вход единица с вероятностью Y0 может превратиться в нуль. Аналогично определяются неисправности типа 1 на входах.

Неисправности типа 0 на выходах элементов характеризуются тем, что в исправном состоянии функциональный элемент реализует приписанную ему булеву функцию x | у, а в неисправном - с вероятностью £о константу 0. Аналогично определяются неисправности типа 1 на выходах.

Пусть схема S реализует булеву функцию f (Xn). Обозначим через

P——(S, йn) вероятность появления значения f (ап) на выходе схемы S

f (а )

при входном наборе ап . Ненадежность P(S) схемы S определяется как

максимальное из чисел P-

f (ап)

-(S, йп) по всем входным наборам ап схемы

S, т.е. P(S) = max|P-—(S,йп )|. Надежность схемы S равна 1 -P(S).

Учитывая характер рассматриваемых неисправностей, вычислим вероятности появления ошибок на выходе базисного элемента E при всех входных наборах этого элемента:

Po(E,(00)) = Yi (1 -ei) + (1 -Y2)£o,

Po( E ,(01)) = P0( E ,(10)) = Y1(1 -Y0)(1 -e1) + (1 -Y1(1 -Y0))e0,

P1(E,(11)) = (1-Y0)2e1 + (2y0 -Yo)(1 -e0).

Замечание 1. Отметим, что при подходящем выборе параметров Y0, Y1, e0, e1 можно описать неисправности одного типа, например:

1) если Y0 = Y1 =e1 = 0, то получим неисправности типа 0 на выходах элементов с вероятностью е0;

2) если Y0 = Y1 =e0 = 0, то получим неисправности типа 1 на выходах элементов с вероятностью e1 ;

3) если Y1 =e1 =e0 = 0, то получим неисправности типа 0 на входах элементов с вероятностью Y0 ;

4) если Y0 =e1 =e0 = 0, то получим неисправности типа 1 на входах элементов с вероятностью Y1 ;

кроме того

5) если Y0 = Y1 = 0 и e0 = е1, то получим инверсные неисправности на выходах элементов с вероятностью e0 ;

6) если Y0 = Y1 и e0 = е1 = 0, то получим инверсные неисправности на входах элементов с вероятностью Y0 .

Physical and mathematical sciences. Mathematics

7

Известия высших учебных заведений. Поволжский регион

Таким образом, предлагаемая модель описывает все наиболее известные типы неисправностей элементов.

Обозначим P0(E,(00)), ^о(^,(01)), P0(E,(10)), Ж^Л11)) через а,в, 5, т соответственно. Поскольку в нашем случае в = 6, ненадежность P(E) элемента E равна P(E) = max{a,в,т} < max{yi +е°,2у° +£1}. Обозначим через £ = max{yi + £°,2у° +£i} . Очевидно, что P(E) < £ .

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

Пусть f - произвольная булева функция; S - схема, реализующая функцию f . Возьмем два экземпляра схемы S и соединим их выходы со входами базисного элемента. Построенную схему обозначим у(S). Очевидно, что эта схема реализует функцию f . Возьмем два экземпляра схемы у( S) и соединим их выходы со входами еще одного базисного элемента. Полученную схему обозначим ¥(S) . Очевидно, что схема ¥(S) реализует исходную функцию f .

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

P(Y(S)) < max{2a + т + 2(в + 5)P(S) + 2P2 (S),

а+(в + 6)(т + 2 P( S)) + (т + 2 P( S ))2}, где P(S) - ненадежность схемы S .

Из теоремы 1 следует теорема 2, если вместо а, в, 5, т подставить вычисленные выше вероятности ошибок на выходе базисного элемента, отбросить отрицательные слагаемые и заменить множители вида (1 — р) на 1.

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

P( S)) < max {2£0 + 2 7? +£1 + 2 То + 4(£о + Y1)P( S) + 2p2( S),

£о + у2 + 2(£о + 71)(2 7о +£1 + 2P( S)) + (27 о + £1 + 2P( S))22

где P(S) - ненадежность схемы S .

Теорема 3 справедлива для произвольных неисправностей элементов.

Теорема 3 [2]. Пусть в произвольном полном конечном базисе схема A реализует функцию {х | у} и P(A) < ц . Тогда любую булеву функцию f в этом базисе можно реализовать такой схемой B, что при всех ц е (о, 1 / 1бо] верно неравенство P( B) < 4ц.

Применительно к рассматриваемым базису и неисправностям элементов из теоремы 3 получаем теорему 4, если вместо ц подставим £ .

8

University proceedings. Volga region

№ 2 (34), 2015

Физико-математические науки. Математика

Теорема 4. В базисе {х | у} любую булеву функцию f можно реализовать такой схемой B, что при всех ее (0,1/160] верно неравенство P(B) < 4е.

Из теорем 2 и 4 следует теорема 5.

Теорема 5. В базисе {х | у} любую булеву функцию f можно реализовать такой схемой B, что при всех ее (0,1 /160] верно неравенство

P(B) < 2е0 + 2у]2 + 2у0 +е1 + 73е .

Доказательство. Пусть f - произвольная булева функция. По теореме 4 функцию f можно реализовать схемой A с ненадежностью P(A) < 4е при всех ее (0,1/160]. По схеме A построим схему ¥(A) и оценим ее ненадежность по теореме 2, учитывая условия: £0 + у]2 <£0 + Y1 <е, 2У0 + £1 <е, 2

99е < е при ее (0,1/160]. Получаем неравенство

P(¥(A)) < max{2е0 + 2у2 + 2у0 + е1 + 48е2,е0 + у2 + 99е2} <

< max{3е + 48е2,2е}< 3е + 48/160е = 3,3е .

По схеме ¥(A) построим схему ¥(¥(A)), которую обозначим через

2

¥ (A). Оценим ее ненадежность, используя теорему 2:

P(¥2 (A)) < max{2е0 + 2у2 + 2У0 +е1 + 35е2,е + у2 + 73е2} <

< 2е0 + 2у0 + е1 + 2у^ + 73е .

2

Схема ¥ (A) = B - искомая.

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

Результат теоремы 5 можно улучшить, но придется наложить на е более жесткое ограничение.

Теорема 6. В базисе {х | у} любую булеву функцию f можно реализовать такой схемой B, что ее ненадежность при всех ее (0,1/1000] удовлетворяет неравенству

P(B) < c + 4с(£0 + Y1 + 2у0 +&[) + 2358е ,

где c = 2е0 + 2У]2 + 2у0 + е.

Доказательство. Пусть f - произвольная булева функция. По теореме 5

2

функцию f можно реализовать схемой A с ненадежностью P(A) < c + 73е при всех ее (0,1/1000]. По схеме A построим схему ¥(A) и оценим ее ненадежность по теореме 2:

P(¥(A)) < max J c + 4(е0 + y1) (c + 73е2) + 2 (c + 73е2 )2,

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

Physical and mathematical sciences. Mathematics

9

Известия высших учебных заведений. Поволжский регион

£0 + у2 + 2(£0 + у1) (2у о + е1

+ 2с + 146е ) + (2 у о + £1 + 2с + 146е

Оценим сверху каждое из двух выражений под знаком максимума, учитывая условия: £0 + Yi <£, с < Зе :

с + 4(е0 +Yi) (с + 7Зе2) + 2 (с + 7Зе2 )2 <

< с + 4с(£0 + Yi) + 4е • 7Зе2 + 2с2 + 4- 7Зсе2 + 2-732£4 <

< с + 4с(£0 + у1) + 2с2 +1168£3 + 10658Е4;

£0 + Y2 + 2(£0 + Y1) (2у0 + £1 + 2с + 146е ) + (2у0 + £1 + 2с + 146е ) =

= £0 + у2 - (£0 + у1 )2 + (£0 + у1 + 2у0 +£1 + 2с +146£) =

2

= £0 — £2 — 2E2Y1 + (d + 2с) + 2(d + 2с) * 146е + (146е ) ,

где d = £0 +Y1 + 2у0 + £1 •

Заметим, что d < 2е , d + 2с < 8е . Поэтому верно неравенство

2

£0 — £2 — 2£0Y1 + (d + 2с) + 2(d + 2с) * 146е + (146е ) <

<£0 + (d + 2с)2 + 2ЗЗ6еЗ + 21316Е4.

Таким образом, получаем соотношение

Р(*¥( A)) < max {с + 4с(е0 + у1) + 2с2 +1168£3 + 10658е4,

£0 + (d + 2с)2 + 2ЗЗ6еЗ + 2131 6е4 } <

< max {с + 4с(£0 + Y1) + 2с , £0 + (d + 2с) } + 2ЗЗ6е + 2131 6е .

Найдем оценку для max {с + 4с(£0 + Y1) + 2с2, £0 + (d + 2с)2 } :

max {с + 4с(£0 +Y1) + 2с2, £0 + (d + 2с)2 } =

{с + 4с(£0 + Y1) + 2с2, £0 + d2 + 4cd + 4с2 }< max {с, £0 + d2 } +4cd + 4с2 .

2

Рассмотрим разность с — (£0 + d ):

с — (£0 + d 2) = 2е0 + 2у2 + 2у0 +£1 —£0 — (£0 + у1 )2 —

—2(е0 + у1 )(2у0 + £1) — (2у0 +£1)2 = £0 + у2 — 2е0 у1 —£) +

= max

10

University proceedings. Volga region

№ 2 (34), 2015

Физико-математические науки. Математика

+(2уо + £i)(1- 2(£q + yi)- (2уо + £i)) -

= у2 +ео(1 -ео -2Ti) + (2уо +ei)(1 -2(ео +Ti) - (2Уо +ei)) - 0;

поскольку каждое слагаемое в этой сумме неотрицательно при у о е (о, i / 32), yi е (0,1/16), ео е (0,1/16) и ei е (0,1/16).

2

Следовательно, max{c,£о + d } - c , поэтому

Р(Y(A)) < c + 4с(ео + yi + 2уо +£i) + 2336Е3 + 2i3i6£4 <

< c + 4с(£о +yi + 2уо + £i) + 2358£3 при всех £е (о,i /1ооо].

Схема ¥(A) - B - искомая.

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

Следствие 1. Любую булеву функцию можно реализовать такой схемой, что ее ненадежность асимптотически не больше, чем 2£о + 2Y2 + 2 Уо + £i при Уо, Уl, £0, £1 ^ 0.

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

Пусть f - произвольная булева функция, отличная от константы, и S - любая схема, ее реализующая. Без ограничения общности можно считать, что функция f зависит от n переменных jq,...,xn (nе N), т.е. имеем

функцию f (Xn). Пусть подсхема C схемы S содержит выход схемы S и реализует булеву функцию f'(ym) (m е N) с ненадежностью P(C) < 1/2. Обозначим р1 - минимум вероятностей ошибок на выходе схемы C по таким входным наборам bm , что f '(bm) - о. Аналогично р° - минимум вероятностей ошибок на выходе схемы C по таким входным наборам bm , что f'(bm) -1. Справедлива лемма 1 [2].

Лемма 1 [2]. Вероятности ошибок на выходе схемы S удовлетворяют неравенствам: Pi( S, an) - р1, если f (an) - о; Ро( S, ап) - ро, если f (an) - 1. Замечание 2. Из леммы 1 следует, что Р(S) - р1, i е {о;1}.

Пусть h(Xn) - произвольная булева функция, а K(n) - множество булевых функций вида f (Xn) - (Xi vh(Xn))a , где iе {1,...,n},ае {о,1}.

Нетрудно проверить, что число функций в классе K(n) не больше

2n-i 2n

2n22 , что мало по сравнению с общим числом 2 булевых функций от n

переменных.

Обозначим K - ^ K(n).

n-1

Physical and mathematical sciences. Mathematics

11

Известия высших учебных заведений. Поволжский регион

Теорема 7. Пусть функция f е K, а S - любая схема, реализующая f . Тогда при всех у0 е (0,1/32), Y1 е (0,1/16) £q е (0,1/16), £j е (0,1/16) верно неравенство

P(S) > (2а + т)(1 - т)т2, где

а = у2(1 -£1) + (1 -у2) £0, т = (1 -У0)2 £1 + (2 Y0-у|))(1 -£0), e = Y1(1 -Y0)(1 -£1) + (1 -Y1(1 -Y0))£0, т = min{1 -а,1 -в).

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

1. Входы элемента E1 соединены с выходами разных элементов E2 и E3 .

1.1. Выход одного из элементов, например E2 , соединен со входом элемента E3 . Вычислим вероятность р ошибки на выходе подсхемы, состоящей из элементов E1, E2 и E3 на нулевом входном наборе. Заметим, что в этом случае ошибка ровно одного любого из элементов E1, E2 и E3 приводит к ошибке на выходе подсхемы. Поэтому, учитывая условие в = 6, получаем неравенство

P1 > min{a, в, 6)(1 -а)(1 -в) + min{1 -а,1 -в,1 -6)6(1 -т) +

+(1 - 6) min{1 - а,1 -в,1 - 6)т > (min{a,в, 6) + 6 + т)т2 > (2а + т)т2.

1 2

Ясно, что minP1 = p > (2а + т)т , где минимум берется по всем нулевым входным наборам подсхемы, состоящей из элементов E1 , E2 и E3 .

Ненадежность схемы, состоящей из трех элементов E1, E2 и E3, не больше 3£ , а 3£ = 3max{Y1 + £0,2y 0 + £1) ^3/8 <1/2 при Y0 е (0,1/32), Y1 е (0,1/16), £0 е (0,1/16), £1 е (0,1/16).

Тогда по лемме 1, учитывая замечание 2, верно неравенство P(S) > р1 > (2а + т)т2 .

1.2. Ни выход элемента E2 не соединен ни с одним из входов элемента E3 , ни выход элемента E3 не соединен ни с одним из входов элемента E2 .

Вычислим вероятность P1 ошибки на выходе подсхемы, состоящей из элементов E1 , E2 и E3 , при поступлении на ее входы нулевого набора. Заметим, что в этом случае ошибка ровно одного любого из элементов E1 , E2 и E3 приводит к ошибке на выходе подсхемы, поэтому

P1 > min{a, в, 6)min{1 -а,1 -в,1 -6)(1 -в) +

+min{1 - а,1 -в,1 - 6^^^, в, 6)(1 - 6) +

12

University proceedings. Volga region

№ 2 (34), 2015

Физико-математические науки. Математика

+(min{1 -а,1 — в,1 -5})2т> (2а + т)т2.

1 2

Ясно, что minр = p > (2а + т)т , где минимум берется по всем нулевым входным наборам подсхемы, состоящей из элементов Е1, E2 и Е3 .

Ненадежность схемы, состоящей из трех элементов Е1, Е2 и Е3, не больше 3е, а 3е<1/2 при у0е (0,1/32), У1 е (0,1/16), £qе (0,1/16), е1 е (0,1/16).

Тогда по лемме 1, учитывая замечание 2, верно неравенство P(S) > р1 > (2а + т)т2.

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

2.1. Входы элемента Е2 соединены с выходами разных элементов Е3 и Е4 . Тогда (см. п. 1 доказательства) вероятность р ошибки на любом нулевом входном наборе подсхемы, состоящей из элементов Е2 , Е3 и Е4, не

меньше (2а + т)т . Оценим вероятность ошибки P0 на выходе подсхемы, состоящей из четырех элементов Е1 , Е2 и Е3 и Е4 , на единичном входном

наборе: P0 > P1 (1 — т) > (2а + т)(1 — т)т2.

0 2

Ясно, что minP0 = р > (2а + т)(1 — т)т , где минимум берется по всем единичным входным наборам подсхемы, состоящей из элементов

^, Е2 E3, Е4 .

Ненадежность подсхемы из четырех элементов не больше 4е, а 4е< 1 /2 при у0е (0,1/32), у1 е (0,1/16), е0е (0,1/16), е1 е (0,1/16). Тогда по лемме 1, учитывая замечание 2, верно неравенство

P(S) > р0 > (2а + т)(1 — т)т2.

2.2. Оба входа элемента Е2 соединены с выходом одного элемента Е3 . Вычислим вероятность ошибки P0 на любом единичном входном наборе подсхемы, состоящей из элементов Е1 , Е2 и Е3 .

Заметим, что и в этом случае ошибка ровно одного любого из элементов Е1, Е2 и Е3 приводит к ошибке на выходе подсхемы. Поэтому

P0 > min^P,5}(1 — а)(1 — т) + min{1 — а,1 — Р,1 — 5}т(1 — т) +

+min{1 — а,1 — в,1 — 5}(1 — т)а > ат(1 — т) + тт(1 — т) + т(1 — т)а =

= (2а+т)(1 — т)т .

Ясно, что minP0 = р0 > (2а + т)(1 — т)т, где минимум берется по всем единичным входным наборам подсхемы, состоящей из элементов Е1 , Е2 и Е3 .

Ненадежность схемы, состоящей из трех элементов Е1 , Е2 и Е3 , не больше 3е, а 3е<3/8<1/2 при У0е (0,1/32), У1 е (0,1/16), £0е (0,1/16), е1 е (0,1/16).

Physical and mathematical sciences. Mathematics

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

13

Известия высших учебных заведений. Поволжский регион

Тогда по лемме 1, учитывая замечание 2, верно неравенство

P(S) > ро > (2а + т)(1 -т)т.

Таким образом, справедливо неравенство

P(S) > min{(2a + T)m2,(2а + т)(1 - т)т2, (2а + т)(1 - т)т} = (2а + т)(1 - т)т2. Теорема 7 доказана.

Следствие 2. Если функция f K, а S - любая схема, реализующая f, то ненадежность P(S) схемы S асимптотически не меньше, чем

2е0 + 2 Уо + £1 +2У2 при Уo, Уъ ^ £1 ^ °.

Доказательство. Пусть f ^ K, а S - любая схема, реализующая f .

2

По теореме 7 верно неравенство P(S) > (2а + т)(1 -т)т .

Очевидно, что (2а+т)(1 -т)т2~2а + т~2£ + 2уо + £ + 2yf при уо,

Уl, ^ £1 ^ °. Поэтому P(S) ^ 2£о + 2Уо + £1 +2У2 при Уо,Уl,^£1 ^ 0. Следствие 2 доказано.

Выводы

Любую булеву функцию можно реализовать схемой, ненадежность ко-

2

торой асимптотически не больше 2£о + 2у о + £1 + 2 У1 при уо, Ур £о, £1 ^ о.

Для почти любой функции f (f ^ K) такая схема функционирует

2

с ненадежностью, асимптотически равной 2£о + 2уо + £1 + 2у1 при

Уо,Y1,£о,£1 ^о, т.е. оценку 2£о + 2уо + £1 +2У2 ненадежности схем нельзя

понизить для функций f ф K .

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

1. Neuman, von J. Probabilistic logics and the synthesis of reliable organisms from unreliable components / J. von Neuman // Automata studies / ed. by C. Shannon, Mc. Carthy. - Princeton : Princeton University Press, 1956. - P. 43-98.

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

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

4. Грабовская, С. М. О надежности неветвящихся программ с ненадежным оператором условной остановки в произвольном полном конечном базисе /

С. М. Грабовская // Известия высших учебных заведений. Поволжский регион. Физико-математические науки. - 2о11. - № 3 (19). - С. 52-бо.

5. Alekhina, M. A. Synthesis and complexity of asymptotically optimal circuits with unreliable gates / M. A. Alekhina // Fundamenta Informaticae. - 2о1о. - Vol. Ш4 (3). -P. 219-225.

References

1. Neuman von J. АЖот^а studies. Princeton: Princeton University Press, 1956, pp. 43-98.

14

University proceedings. Volga region

№ 2 (34), 2015

Физико-математические науки. Математика

2. Alekhina M. A. Sintez asimptoticheski optimal’nykh po nadezhnosti skhem: monogr. [Synthesis of asymptotically reliability-optimal circuits: monograph]. Penza: Inf.-izd. tsentr PenzGU, 2006, 156 p.

3. Alekhina M. A., Barsukova O. Yu. Izvestiya vysshikh uchebnykh zavedeniy. Povolzh-skiy region. Fiziko-matematicheskie nauki [University proceedings. Volga region. Physical and mathematical sciences]. 2013, no. 3 (27), pp. 31-47.

4. Grabovskaya S. M. Izvestiya vysshikh uchebnykh zavedeniy. Povolzhskiy region. Fiziko-matematicheskie nauki [University proceedings. Volga region. Physical and mathematical sciences]. 2011, no. 3 (19), pp. 52-60.

5. Alekhina M. A. Fundamenta Informaticae. 2010, vol. 104 (3), pp. 219-225.

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

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

E-mail: [email protected]

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)

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

Синтез надежных схем при константных неисправностях на входах и выходах элементов / М. А. Алехина // Известия высших учебных заведений. Поволжский регион. Физико-математические науки. - 2015. - № 2 (34). -С. 5-15.

Physical and mathematical sciences. Mathematics

15

i Надоели баннеры? Вы всегда можете отключить рекламу.