CC BY
9
УДК 519.718
DOI 10.21685/2072-3040-2016-4-6
М. А. Алехина
ОБ АСИМПТОТИЧЕСКИ ОПТИМАЛЬНЫХ ПО НАДЕЖНОСТИ СХЕМАХ ПРИ НЕИСПРАВНОСТЯХ ЭЛЕМЕНТОВ1
Аннотация.
Актуальность и цели. Увеличение сложности современных систем переработки, передачи и хранения информации выдвигает на первый план требование к надежности и контролю различных управляющих и вычислительных систем. Актуальной проблеме построения асимптотически оптимальных по надежности схем, реализующих булевы функции, при произвольных неисправностях элементов в базисе, состоящем из функции «антиконъюнкция», посвящена эта статья. Цель работы - получить ответы на вопросы: Можно ли произвольную булеву функцию реализовать асимптотически оптимальной по надежности схемой и какова ненадежность этой схемы?
Материалы и методы. В работе используются ранее известные методы синтеза надежных схем и получения оценок ненадежности схем.
Результаты. Доказано, что почти любую булеву функцию можно реализовать асимптотически оптимальной по надежности схемой, получены верхняя и нижняя оценки ненадежности этой схемы. Полученные результаты могут быть использованы при проектировании технических систем для повышения их надежности.
Выводы. При произвольных неисправностях элементов в базисе, состоящем из функции «антиконъюнкция», возможна реализация почти любой булевой функции асимптотически оптимальной по надежности схемой.
Ключевые слова: ненадежные функциональные элементы, надежность схемы, ненадежность схемы, неисправности на входах элементов.
M. A. Alekhina
ON CIRCUITS BEING ASYMPTOTICALLY OPTIMAL BY RELIABILITY IN CASES OF GATE FAILURES
Abstract.
Background. The increase of complexity of modern systems of data processing, transmission and storage emphasizes a requirement of safety and monitoring over various control and computing systems. The article is devoted to topical problems of formation of circuits, asymptotically optimal by reliability, that realize Boolean functions in cases of random gate failures in the basis consisting of the "anticonjuc-tion" function. The aim of the work is to find answers to the following questions: Is it possible to realize an arbitrary Boolean function by a circuit with asymptotically optimal reliability and how unreliable is the said circuit?
Materials and methods. The study applied previously known methods of reliable circuit synthesis and circuit reliability estimation.
Results. It has been proved that virtually any Boolean function mya be realized by a circuit with asymptotically optimal reliability. The article shows the upper and lower estimates of unreliability of the said circuit. The obtained results may be used in technical system design in order ot increase their reliability.
1 Работа выполнена при финансовой поддержке РФФИ, проект № 14-01-00273.
Conclusions. In the case of random gate failures in the basis consisting of the "anticonjunction" function it is possible to realize virtually any Boolean function by a circuit with asymptotically optimal reliability.
Key words: unreliable functional gates, reliability of circuits, unreliability of circuits, failures on inputs of gates.
При построении тестов (проверочных или диагностических) [1-4], при синтезе самокорректирующихся схем или схем из ненадежных функциональных элементов [5-8] авторы, как правило, рассматривают неисправности одного конкретного типа (например, только константные неисправности типа 0). Ранее [9, 10] были предприняты попытки построения надежных схем из ненадежных элементов при наличии нескольких неисправностей разного типа (например, константные неисправности типа 0 и типа 1). В отличие от упомянутых работ, в этой статье рассматривается самый общий источник неисправностей [11, с. 480], когда базисный элемент с булевой функцией ф(Х1,...,Xfc) в неисправном состоянии реализует любую булеву функцию ф'(X1,...,Xfc), отличную от ф(X1,..., Xfc). Для простоты изложения будем считать, что полный базис содержит только одну функцию. Например, функцию штрих Шеффера.
Итак, рассмотрим реализацию булевых функций схемами из ненадежных элементов в полном базисе, состоящем из функции штрих Шеффера {x | y} (X | y = X & y). Предположим, что базисный элемент наряду с исправным режимом функционирования (в котором он реализует функцию
/1(х, y) = x | y) имеет 2 -1 = 15 неисправных режимов, в каждом из которых он реализует одну из функций двух переменных /, /3, ..., /16 , отличную от функции х | y . Пусть
/2(X, y) = X v y, /з(х, y) = х & y , /4 (X, y) = X v y, /5(х, y) = X V y, /б(х, y) = X & y , /7(х, y) = X v y , /8(х, y) = X & y , /9(х, y) = X Ф y , /ю(X,y) = X ~ y , /п(x,y) = 0, /12(x,y) = 1, /1з(X,y) = х ,
/14(^y) = х, /15(х,y) = y, /16(х,y) = y .
Обозначим вероятности появления этих функций через Р2, Р3, ., Р16
16
соответственно. Тогда е = ^ pt - вероятность повреждения базисного эле-
i =2
мента, ё = minpi (iе {2,3,...,16}) - наименьшая из вероятностей неисправного режима функционирования базисного элемента.
Для описанного источника неисправностей в книге [11, с. 480] приведен следующий результат: «При ё > 0 произвольную булеву функцию нельзя реализовать схемой, ненадежность которой сколь угодно мала, ибо всегда ненадежность схемы больше е ». Однако это утверждение при некоторых значениях вероятностей Р2, Р3, ..., Р16 неверно. Например, если Р2 > 0, а Р1 = 0 при всех iе {3,...,16}, то е = Р2 =ё>0, но (см. [8]) любую булеву
функцию можно реализовать схемой сколь угодно высокой надежности. И этот результат согласуется с результатами работы [12].
Цель данного исследования - получить ответы на вопросы: Можно ли произвольную булеву функцию реализовать асимптотически оптимальной по надежности схемой и какова ненадежность этой схемы?
Функционирование базисного элемента можно описать с помощью табл. 1, в которой приведены вероятности ошибок базисного элемента в каждом из режимов функционирования.
Таблица 1
x y f1 f2 f3 f4 f5 f6 f7 f f9 /10 f11 Л2 ¿3 f14 f15 f16
0 0 0 0 P3 P4 0 P6 0 P8 P9 0 P11 0 P13 0 P15 0
0 1 0 P2 P3 0 0 0 P7 P8 0 P10 P11 0 P13 0 0 P16
1 0 0 P2 P3 0 P5 P6 0 0 0 P10 P11 0 0 P14 P15 0
1 1 0 0 P3 P4 P5 0 P7 0 0 P10 0 P12 P13 0 P15 0
При вычислении вероятностей ошибок использовано следующее рассуждение: на двоичном наборе (a1,a^) вероятность ошибки для функции fi
равна 0, если f (a1, a2) = a1 | a2; если же f (a1, a2) Ф a1 | a2, то вероятность ошибки равна pi.
Введем необходимые понятия и определения.
Считаем, что схема из ненадежных функциональных элементов реализует булеву функцию f (л^,...,xn) (n е N), если при поступлении на входы
схемы набора an = (a1,...,an) при отсутствии неисправностей в схеме на ее
выходе появляется значение f (an). Предполагаем, что любой из элементов схемы независимо от других элементов переходит в неисправное состояние, в котором с вероятностью p2 реализует функцию f2, с вероятностью p3 реализует функцию f и т.д., с вероятностью pi6 реализует функцию f16. Считаем также, что ее (0,1 /2).
Пусть f (xn) - произвольная булева функция, а S - любая схема, реализующая функцию f (xn). Обозначим через P-(S, an) вероятность по_ f (an)
явления значения f (an) на выходе схемы S при входном наборе an . Ненадежность P(S) схемы S определяется как максимальное из чисел
P-(S,an) по всем входным наборам an схемы S, т.е.
f (an)
P(S) = max jP-— (S,an) j . Надежность схемы S равна 1 - P(S).
Пусть Pe (f) = infP(S), где инфимум берется по всем схемам S из ненадежных элементов, реализующим функцию f.
Схему A из ненадежных элементов, реализующую функцию f , назовем асимптотически оптимальной по надежности, если P(A) ~ Pe(f) при е^0.
Учитывая вероятности ошибок, приведенные в табл. 1, вычислим вероятности появления ошибок на выходе базисного элемента Е на каждом из четырех входных наборов:
Ро(Е,(00)) = 2 Рг , Е,(01)) = 2 Рг ,
геМх геМ 2
Ро(Е,(10)) = 2 Рг ЖЕ,(11)) = 2 Рг,
г'еМ 3 г'еМ 4
где
М1 = {3,4,6,8,9,11,13,15}, М2 = {2,3,7,8,10,11,13,16}, М3 = {2,3,5,6,10,11,14,15}, М4 = {3,4,5,7,10,12,13,15} .
Обозначим вероятности ошибок на выходе базисного элемента Р0(Е,(00)), Р0(Е,(01)), Р0(Е,(10)), Р1(Е,(11)) через а, Р, 5, т соответственно, т.е. а = Р0(Е,(00)), Р = Р0(Е,(01)), 5 = Р0(Е,(10)), т = Р1(Е,(11)). Тогда ненадежность Р(Е) элемента Е равна Р(Е) = тах{а,Р,5,т} . Нетрудно видеть, что Р(Е) < е .
Чтобы получить нижнюю оценку ненадежности схем, рассмотрим специальный класс булевых функций.
Пусть Н( хп) - произвольная булева функция, а К(п) - множество булевых функций вида /(хп) = (хг V И(хп))а , где г е{1,...,п}, а е{0,1}.
Нетрудно проверить, что число функций в классе К(п) не больше
2п2 , что мало по сравнению с общим числом 2 булевых функций от п переменных.
Пусть К = У К(п).
п=1
Справедлива теорема 1, доказательство которой такое же, как доказательство теоремы 7 из работы [10].
Теорема 1 [10]. Пусть функция / е К, а 5 - любая схема, реализующая / . Тогда при всех а и т таких, что 2а + т<1/2, верно неравенство
Р(5) > (2а+ т)(1 -т)т2,
где т = тт{1 - а, 1 - Р, 1 - 5} .
Следствие 1. Если функция / е К, а 5 - любая схема, реализующая / , то ненадежность Р(5) схемы 5 асимптотически (при е^ 0) не меньше, чем 2а + т.
Таким образом, получена нижняя оценка ненадежности схем. Чтобы получить верхнюю оценку ненадежности схем, покажем, как по исходной схеме, реализующей функцию / , строить новую схему, которая также реализует функцию / , но, возможно, с меньшей вероятностью ошибки на выходе схемы.
Пусть f - произвольная булева функция; S - схема, реализующая функцию f . Возьмем два экземпляра схемы S и базисный элемент E\. Соединим выходы схем со входами элемента Ej. Построенную схему обозначим S). Очевидно, что эта схема реализует функцию f . Возьмем два экземпляра схемы S) и новый базисный элемент E^ . Соединим выходы схем S) со входами базисного элемента . Построенную таким образом схему обозначим через Y(S) . Очевидно, что схема Y(S) реализует исходную функцию f . Справедлива теорема 2.
Теорема 2 [13]. Пусть f - произвольная булева функция, а S - любая схема, реализующая f . Тогда схема Y(S) реализует функцию f с ненадежностью
P(¥(S)) < max{2а + т + 2(Р + 8)P(S) + 2P2 (S),
а + (Р + 8)(т + 2P(S)) + (т + 2P(S ))2 },
где P(S) - ненадежность схемы S .
Рассуждая так же, как в [10] при доказательстве теоремы 5, и учитывая, что а<2а, т(Р + 8 + т) <т (поскольку Р+8+т<3е<1 при ее (0,1/160]), нетрудно доказать теорему 3.
Теорема 3. В базисе {x | y} любую булеву функцию f можно реализовать такой схемой B, что при всех ее (0,1 /160] верно неравенство
P(B) < 2а+т + 70е2.
Следствие 2. Любую булеву функцию можно реализовать такой схемой, что ее ненадежность асимптотически не больше, чем 2а+ т при е^ 0.
Доказательство. Пусть f - произвольная булева функция. По теореме 3 функцию f можно реализовать такой схемой B , что при достаточно малых
е верно неравенство P(B) < 2а+т + 70е . Возможны два варианта: либо
2а + т + 70е2 ~ 2а + т (и тогда утверждение следствия верно), либо 2 2
2а + т + 70е < ^е при некотором k1 > 70 . Остановимся подробнее на этом случае. По схеме B построим схему Y(B) и, пользуясь теоремой 1, оценим ее ненадежность:
P(T(B)) < max{2а + т + 4е(k1е2) + 2(k1е2)2 , а + т(Р + 8 + т) + 2(Р + 8 + т)(^е2) + 4(k1е2)2}.
Поскольку
а<2а, т(Р + 8 + т)<т, Р + 8 + т<3е,
получаем неравенство
P(Y(B)) < 2а + х + 6е(е2) + 4(е2 ^ < 2а + т + k2e3
при некотором k2 > 6к1.
Снова имеем два варианта: либо 2а+х + к2е ~2а + т (и тогда утвер-
3 3
ждение следствия верно), либо 2а+х + к2е < к^е при некотором к3 . Повторяя предыдущие рассуждения, убедимся в справедливости следствия.
Следствие доказано.
Таким образом, получены следующие результаты:
1) любая схема, реализующая функцию f е- K, функционирует с ненадежностью, которая асимптотически (при е^ 0) не меньше, чем 2а + т, т.е. оценка ненадежности 2а + т неснижаема;
2) любую булеву функцию можно реализовать схемой S , ненадежность которой асимптотически не больше 2а + х при е^ 0.
Следовательно, почти для любой функции f (f е K) схема S является асимптотически оптимальной по надежности и функционирует с ненадежностью, асимптотически равной 2а + т при е^ 0.
В частности, если вероятности появления на выходе базисного элемента любой из функций f , f3 , ..., f16 одинаковы, т.е. P2 = P3 = ... = P16 = p, то а = 8p, т = 8p . Поэтому при p ^ 0 почти любую функцию можно реализовать асимптотически оптимальной по надежности схемой, ненадежность которой асимптотически равна 24 p .
Вывод: при произвольных неисправностях элементов в базисе, состоящем из функции «антиконъюнкция», возможна реализация почти любой булевой функции асимптотически оптимальной по надежности схемой.
Список литературы
1. Романов, Д. С. О диагностических тестах относительно локальных слипаний переменных в булевых функциях / Д. С. Романов // Прикладная математика и информатика. - 2010. - Т. 36. - С. 91.
2. Romanov, D. S. Diagnostic tests for local coalescences of variables in Boolean functions / D. S. Romanov // Computational Mathematics and Modeling. - 2012. -Т. 23. - С. 72-78.
3. Морозов, Е. В. Проверяющие тесты для булевых функций при линейных локальных неисправностях входов схем / Е. В. Морозов, Д. С. Романов // Дискретный анализ и исследование операций. - 2015. - Т. 22, № 1. - С. 49-61.
4. Морозов, Е. В. О проверяющих тестах относительно множественных линейных слипаний переменных / Е. В. Морозов, Д. С. Романов // Дискретная математика и ее приложения : материалы XI Междунар. семинара, посвящ. 80-летию со дня рожд. акад. О. Б. Лупанова (Москва, МГУ, 18-23 июня 2012 г.). - М. : Изд-во механико-математического фак-та МГУ, 2012. - С. 144-147.
5. Алехина, М. А. О синтезе надежных схем из функциональных элементов x|y при однотипных константных неисправностях на выходах элементов / М. А. Алехина // Вестник Московского университета. Математика. Механика. - 1991. -№ 5. - С. 80-83.
6. Алехина, М. А. О надежности схем из ненадежных функциональных элементов при однотипных константных неисправностях на выходах элементов / М. А. Алехина // Дискретная математика. - 1993. - Т. 5, № 2. - С. 59-74.
7. Алехина, М. А. О надежности и сложности схем в базисе {x|y} при инверсных неисправностях элементов / М. А. Алехина // Дискретный анализ и исследование операций. Сер. 1. - 2005. - Т. 12. - С. 3-11.
8. Алехина, М. А. Ненадежность схем при слипаниях входов элементов / М. А. Алехина, О. А. Логвина // Прикладная дискретная математика. Приложение. - 2016. - № 9. - С. 98-100.
9. Alekhina, M. A. The Reliability of Circuits in the Basis Anticonjuction with Constant Faults of Gates / M. A. Alekhina, O. Yu. Barsukova // Computer Science and Information Technology. - 2014. - Vol. 2(1). - P. 51-54. DOI: 10.13189/csit.2014.020106.
10. Алехина, М. А. Синтез надежных схем при константных неисправностях на входах и выходах элементов / М. А. Алехина // Известия высших учебных заведений. Поволжский регион. Физико-математические науки. - 2015. - № 2 (34). -С. 3-15.
11. Избранные труды С. В. Яблонского / отв. ред. В. Б. Алексеев, В. И. Дмитриев. -М. : МАКС Пресс, 2004.
12. Тарасов, В. В. К синтезу надежных схем из ненадежных элементов / В. В. Тарасов // Математические заметки. - 1976. - Т. 20, № 3. - С. 391-400.
13. Алехина, М. А. Синтез, сложность и надежность схем из ненадежных функциональных элементов : дис. ... д-ра физ.-мат. наук / Алехина М. А. - Пенза, 2004.
References
1. Romanov D. S. Prikladnaya matematika i informatika [Applied mathematics and informatics]. 2010, vol. 36, p. 91.
2. Romanov D. S. Computational Mathematics and Modeling. 2012, vol. 23, pp. 72-78.
3. Morozov E. V., Romanov D. S. Diskretnyy analiz i issledovanie operatsiy [Discrete analysis and research of operations]. 2015, vol. 22, no. 1, pp. 49-61.
4. Morozov E. V., Romanov D. S. Diskretnaya matematika i eeprilozheniya: materialyXI Mezhdunar. seminara, posvyashch. 80-letiyu so dnya rozhd. akad. O. B. Lupanova (Moskva, MGU, 18-23 iyunya 2012 g.) [Discete mathematics and its applications: proceedings of XI International seminar devoted to the 80th anniversary of academician O.B. Lupanov (Moscow, MSU, 18th - 23rd June 2012)]. Moscow: Izd-vo mekhaniko-matematicheskogo fak-ta MGU, 2012, pp. 144-147.
5. Alekhina M. A. Vestnik Moskovskogo universiteta. Matematika. Mekhanika [Bulletin of Moscow University. Mathematics. Mechanics]. 1991, no. 5, pp. 80-83.
6. Alekhina M. A. Diskretnaya matematika [Discrete mathematics]. 1993, vol. 5, no. 2, pp. 59-74.
7. Alekhina M. A. Diskretnyy analiz i issledovanie operatsiy. Ser. 1 [Discrete analysis and research of operations. Series 1]. 2005, vol. 12, pp. 3-11.
8. Alekhina M. A., Logvina O. A. Prikladnaya diskretnaya matematika. Prilozhenie [Applied discrete mathematics. Applications]. 2016, no. 9, pp. 98-100.
9. Alekhina M. A., Barsukova O. Yu. Computer Science and Information Technology. 2014, vol 2(1), pp. 51-54. DOI: 10.13189/csit.2014.020106.
10. Alekhina M. A. Izvestiya vysshikh uchebnykh zavedeniy. Povolzhskiy region. Fiziko-matematicheskie nauki [University proceedings. Volga region. Physical and mathematical sciences]. 2015, no. 2 (34), pp. 3-15.
11. Izbrannye trudy S. V. Yablonskogo [Selected works ofS. V. Yablonsky]. Execut. ed. V. B. Alekseev, V. I. Dmitriev. Moscow: MAKS Press, 2004.
12. Tarasov V. V. Matematicheskie zametki [Mathematical proceedings]. 1976, vol. 20, no. 3, pp. 391-400.
13. Alekhina M. A. Sintez, slozhnost' i nadezhnost' skhem iz nenadezhnykh funk-tsional'nykh elementov: dis. d-ra fiz.-mat. nauk [Synthesis, complexity and reliability of circuits consisting of unreliable functional gates: dissertation to apply for the degree of the doctor of physical and mathematical sciences]. Penza, 2004.
Алехина Марина Анатольевна
доктор физико-математических наук, профессор, заведующий кафедрой математики, Пензенский государственный технологический университет (Россия, г. Пенза, проезд Байдукова /ул. Гагарина, 1а/1)
E-mail: [email protected]
Alekhina Marina Anatol'evna Doctor of physical and mathematical sciences, professor, head of sub-department of mathematics, Penza State Technological University (1a/1 Baydukova lane/Gagrina street, Penza, Russia)
УДК 519.718 Алехина, М. А.
Об асимптотически оптимальных по надежности схемах при неисправностях элементов / М. А. Алехина // Известия высших учебных заведений. Поволжский регион. Физико-математические науки. - 2016. -№ 4 (40). - С. 60-67. БОТ 10.21685/2072-3040-2016-4-6
