CC BY
27
УДК 519.718
М. А. Алехина
СИНТЕЗ НАДЕЖНЫХ СХЕМ ПРИ ЛИНЕЙНЫХ СЛИПАНИЯХ ПЕРЕМЕННЫХ В БАЗИСЕ «АНТИКОНЪЮНКЦИЯ»1
Аннотация.
Актуальность и цель. Увеличение сложности современных систем переработки, передачи и хранения информации выдвигает на первый план требование к надежности и контролю различных управляющих и вычислительных систем. В теории надежности и контроля управляющих систем можно выделить три основных направления: 1) построение надежных схем из ненадежных элементов; 2) синтез самокорректирующихся схем; 3) построение тестов для контроля и диагностики схем. Актуальной проблеме построения надежных схем, реализующих булевы функции, при различных неисправностях входов (на входы подаются линейные функции, существенно зависящие от двух переменных) посвящена эта работа. Цель - построить надежные схемы, получить оценки ненадежности этих схем.
Материалы и методы. Используются ранее известные методы синтеза надежных схем и получения оценок ненадежности схем.
Результаты. В каждом из двух случаев неисправностей базисных элементов построены надежные схемы и получены оценки ненадежности схем. Полученные результаты могут быть использованы при проектировании технических систем для повышения их надежности.
Выводы. Построены надежные схемы относительно линейных слипаний переменных в базисных элементах «антиконъюнкция» в случаях, когда функция слипания существенно зависит от двух переменных.
Ключевые слова: ненадежные функциональные элементы, надежность схемы, ненадежность схемы, неисправности на входах элементов.
M. A. Alekhina
SYNTHESIS OF RELIABLE CIRCUITS AT LINEAR ADHESION OF VARIABLES IN THE "ANTICONJUCTION" BASIS
Abstract.
Background. The increaed complexity of modern systems of information processing, transfer and storage highlights a requirement of reliability and management of various control and computing systems. In the theory of control system reliability and management one can single out three main areas: 1) formation of reliable circuits from unreliable gates; 2) synthesis of self-correcting circuits; 3) formation of tests for circuit checking and diagnosing. The work is devoted to a topical problem of formation of reliable circuits realizing Boolean functions at various failures on inputs (linear functions that considerably depend on two variables are input). The aim of the study is to build reliable circuits and to obtain unreliability estimates for the said circuits.
Materials and methods. The author used previously known methods of reliable circuits synthesis and circuit unreliability estimates obtainment.
Results. For each of twol cases of basis gates failures the author built reliable circuits and obtained circuit unreliability estimates. The results obtained may be used in technical system design for reliability improvement.
1 Работа выполнена при финансовой поддержке РФФИ, проект № 14-01-00273.
Conclusions. The author built reliable circuits relative to linear adhesions of variables in "anticonjunction" basis gates in cases, when the adhesion function significantly depends on two variables.
Key words: unreliable functional gates, reliability of circuits, unreliability of circuits, failures on inputs of gates.
Введение
Впервые задачу синтеза надежных схем из ненадежных функциональных элементов рассматривал Дж. фон Нейман [1]. Он предполагал, что все базисные элементы подвержены инверсным неисправностям на выходах и переходят в неисправные состояния независимо друг от друга. Задача синтеза надежных схем, реализующих булевы функции, при константных неисправностях одного типа (например, только типа 0 на входах элементов) решена в полных неприводимых базисах из двухвходовых элементов [2], а также в некоторых базисах при неисправностях двух типов [3-5], при константных неисправностях четырех типов на входах и выходах [6]. Отметим также работу [7], в которой решена задача синтеза надежных программ с оператором условной остановки.
В этой работе рассмотрим реализацию булевых функций схемами из ненадежных двухвходовых элементов в базисе {x | у} (где x | у = x & y -штрих Шеффера или антиконъюнкция) и исследуем модель неисправностей, в которой каждый элемент схемы может быть подвержен так называемым линейным слипаниям переменных, когда на оба входа базисного элемента при наличии неисправности подаются линейные функции: либо константы 0, либо константы 1, либо отрицания переменных, либо сумма по модулю два, либо ее отрицание. Заметим, что поскольку базисный элемент имеет два входа, функция неисправности зависит не более чем от двух переменных.
Слипания переменных исследовались, например, в [8, 9] при построении диагностических тестов, а линейные слипания переменных - в [10, 11] при построении проверяющих тестов.
При синтезе надежных схем ранее были исследованы константные неисправности на входах [2] и инверсные неисправности на входах [12]. В этой статье впервые исследуются неисправности, при наличии которых на оба входа элемента поступают линейные функции, существенно зависящие от двух переменных: x © у или x © у © 1.
Будем считать, что схема из ненадежных функциональных элементов реализует функцию f (x1,...,xn) (n e N), если при поступлении на входы схемы набора an = (о^,...,an) при отсутствии неисправностей в схеме на ее выходе появляется значение f (an).
Пусть схема S реализует булеву функцию f (xn). Обозначим через P-— (S, an) вероятность появления значения f (an) на выходе схемы S
при входном наборе an . Ненадежность P(S) схемы S определяется как
максимальное из чисел Р
f (an)
(, ап) по всем входным наборам ап схемы
S, т.е. P( S) = max 1P
f (an)
(5,ап) >. Надежность схемы 5 равна 1 - Р(5).
1. Неисправность с функцией слипания x © y
В этом разделе предполагаем, что неисправность базисного элемента такова, что на оба входа базисного элемента с вероятностью уе (0; 1/2) поступает функция х © у, а следовательно, функциональный элемент в неисправном состоянии реализует функцию х © у © 1. Кроме того, предполагаем, что в неисправные состояния элементы схемы переходят независимо друг от друга.
Поскольку в неисправном состоянии базисный элемент реализует функцию х © у © 1, вероятность ошибки равна у только на тех наборах, на
которых значения функций х & у и х © у © 1 отличаются. Поэтому вероятности появления ошибок на выходе базисного элемента Е таковы:
Ро(Е,(00)) = 0, Р0( Е ,(01)) = у, Ро(Е,(10)) = у, Р1(Е,(11)) = у. Очевидно, что
ненадежность Р(Е) элемента Е равна Р(Е) = у.
Известно [13], что при таких неисправностях построить схемы сколь-угодно высокой надежности нельзя. Возникает вопрос: какой максимальной надежности можно добиться при синтезе схем в этом случае? Ответ на него получен далее.
Пусть / - произвольная булева функция; 5 - схема, реализующая функцию / . Возьмем два экземпляра схемы 5 и соединим их выходы со входами базисного элемента. Построенную схему обозначим 5). Очевидно, что эта схема реализует функцию / . Возьмем два экземпляра схемы 5) и соединим их выходы со входами еще одного базисного элемента. Полученную схему обозначим ¥(5). Очевидно, что схема ¥(5) реализует исходную функцию / .
Теорема 1 [2]. Пусть / - произвольная булева функция, а 5 - любая схема, реализующая / . Тогда схема ¥(5) реализует функцию / с ненадежностью
где Pq(E,(00)) = a, Pq(E,(01)) = р, P0(E,(10)) = 5, Pj(E,(11)) = т, P(S) - не-
надежность схемы 5.
Из теоремы 1 следует теорема 2, если вместо а, в, 5, т подставить вычисленные выше вероятности ошибок на выходе базисного элемента.
P (S)) < max {2a + т + 2(р + 5) P( S) + 2 P2 (S), a + (р + 5)( т + 2P( S)) + (т + 2 P( S ))2 },
Теорема 2. Пусть f - произвольная булева функция, а S - любая схема, реализующая f . Тогда схема ¥(S) реализует функцию f с ненадежностью
P(¥(S)) < max {у + 4yP(S) + 2P2 (S), Зу2 + 8yP(S) + 4P2 (S)},
где P(S) - ненадежность схемы S .
Теорема 3 справедлива для произвольных неисправностей элементов. Теорема 3 [2]. Пусть в произвольном полном конечном базисе схема A реализует функцию x | у и P(A) < ц . Тогда любую булеву функцию f в этом базисе можно реализовать такой схемой B, что при всех це (0,1/160] верно неравенство: P( B) < 4ц.
Применительно к рассматриваемым неисправностям элементов из теоремы 3 получаем теорему 4, если вместо ц подставим у.
Теорема 4. Любую булеву функцию f можно реализовать такой схемой B, что при всех у е (0,1 /160] верно неравенство P(B) < 4у . Из теорем 2 и 4 следует теорема 5.
Теорема 5. Любую булеву функцию f можно реализовать такой схемой B, что при всех у е (0,1 /160] верно неравенство P(B) < у + 9у .
Доказательство. Пусть f - произвольная булева функция. По теореме 4 функцию f можно реализовать схемой A с ненадежностью P(A) < 4у при всех уе (0,1/160]. По схеме A построим схему ¥(A) и оценим ее ненадежность по теореме 2 при уе (0,1/160]. Получаем неравенство:
P(¥( A)) < max {у + 48у2,99у2} < у + 48у2,
поскольку 99У2 < 99у/160<у<у + 48у2 .
По схеме ¥(A) построим схему ¥(¥(A)), которую обозначим через
2
¥ (A). Оценим ее ненадежность, используя теорему 2 и неравенство у+48у2 < у+48у/160 = 1,3у:
P( ¥2 (A)) < max {у + 5,2у2 + 2(1, Зу)2, Зу2 +10,4у2 + 4(1, Зу)2 } =
= max{y+8,58т2; 30,56^} = у+ 8,58у2,
поскольку 30,56у2 < 30,56у /160 <у<у + 8,58у2.
2
Схема ¥ (A) = B
- искомая. Теорема 5 доказана.
Следствие 1. Любую булеву функцию можно реализовать такой схемой, что ее ненадежность асимптотически не больше, чем у при у ^ 0. В следующей теореме получена нижняя оценка ненадежности схем.
Теорема 6. Пусть f (xn) - любая функция, отличная от константы 1 и
переменных xi (i е {1,...,n}), а S - любая схема, реализующая f (xn). Тогда при всех уе (0,1/2) верно неравенство P(S) > у.
Для доказательства достаточно выделить элемент, содержащий выход схемы S и вычислить вероятность ошибки на нулевом входном наборе схемы S .
Из теоремы 6 следует, что любую функцию, отличную от переменной и константы 1, нельзя реализовать схемой, ненадежность которой меньше у.
Таким образом, по следствию 1 и теореме 6 получаем следующий результат: любую булеву функцию, отличную от переменной и константы 1, можно реализовать такой схемой, что ее ненадежность асимптотически (при у —^ 0) равна у, причем эту оценку ненадежности схем нельзя понизить.
2. Неисправность с функцией слипания x © у © 1
В этом разделе предполагаем, что неисправность базисного элемента такова, что на оба входа базисного элемента с вероятностью уе (0; 1/2) поступает функция x © у © 1, а следовательно, функциональный элемент в неисправном состоянии реализует функцию x © у . Кроме того, как и в предыдущем разделе, предполагаем, что в неисправные состояния элементы схемы переходят независимо друг от друга.
Поскольку в неисправном состоянии базисный элемент реализует функцию x © у, вероятность ошибки равна у только на тех наборах, на которых значения функций x & у и x © у отличаются. Поэтому вероятности появления ошибок на выходе базисного элемента E таковы: Pq(E,(00)) = у, P0( E,(01)) = P0( E ,(10)) = 0, P1( E ,(11)) = 0. Очевидно, что ненадежность P(E) элемента E равна P(E) = у.
Известно [13], что при таких неисправностях так же, как и в предыдущем разделе, построить схемы сколь угодно высокой надежности нельзя. Ответ на вопрос, какой максимальной надежности можно добиться при синтезе схем в этом случае, получен далее.
Пусть f - произвольная булева функция; S - схема, реализующая функцию f . Возьмем четыре экземпляра схемы S, три базисных элемента и построим схему ¥(S) (также как и в предыдущем разделе), реализующую функцию f . Из теоремы 1, подставляя вместо а, в, 5, т вычисленные выше вероятности ошибок на выходе базисного элемента, получаем теорему 7.
Теорема 7. Пусть f - произвольная булева функция, а S - любая схема, реализующая f . Тогда схема ¥(S) реализует функцию f с ненадежностью
P(¥(S)) < max{2у+2P2 (S),у + 4P2 (S)}, где P(S) - ненадежность схемы S .
Заметим, что и при этих неисправностях справедлива теорема 4, полученная ранее. Из теорем 4 и 7 следует теорема 8.
Теорема 8. Любую булеву функцию f можно реализовать такой схемой B, что при всех у е (0,1 /160] верно неравенство P(B) < 2у + 10у .
Доказательство. Пусть f - произвольная булева функция. По теореме 4 функцию f можно реализовать схемой A с ненадежностью P(A) < 4у при всех уе (0,1/160]. По схеме A построим схему ¥(A) и оценим ее ненадежность по теореме 7 при уе (0,1/160]. Получаем неравенство:
P( ¥(A)) < max{2у + 32У2, у + 64у2} < 2у + 32у2,
поскольку у+
64У2 <у+64у/160 < 2у< 2у+32У2 .
2
По схеме ¥(A) построим схему ¥(¥(A)) = ¥ (A). Оценим ее ненадеж-
2
ность, используя теорему 7 и неравенство 2у + 32у < 2у + 32у /160 = 2,2у : P(¥2(A)) < max{2y+2(2,2у)2, у+4(2,2у)2}=2у+9,68у2 ,
поскольку у + 19,36у2 <у + 19,36у/160 < 2у< 2у+ 9,68у2 .
2
Схема У ( A) = B
- искомая.
Теорема 8 доказана.
Следствие 2. Любую булеву функцию можно реализовать такой схемой, что ее ненадежность асимптотически не больше, чем 2у при у ^ 0.
Заключение
Построены надежные схемы относительно линейных слипаний переменных в базисных элементах x | y в двух случаях, когда функция слипания есть x © y или x © y © 1.
Список литературы
1. Neuman, von J. Probabilistic logics and the synthesis of reliable organisms from unreliable components / J. von Neuman // Automata studies / ed. by C. Shannon, J. Mc Carthy. - Princeton University Press, 1956. - P. 43-98.
2. Алехина, М. А. Синтез, надежность и сложность схем из ненадежных функциональных элементов : дис. ... д-ра физ.-мат. наук / Алехина М. А. - Пенза, 2004. - 169 с.
3. Алехина, М. А. О ненадежности схем из функциональных элементов, подверженных двум типам неисправностей / М. А. Алехина, О. Ю. Барсукова // Известия высших учебных заведений. Поволжский регион. Физико-математические науки. - 2013. - № 3 (27). - С. 31-47.
4. 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.
5. Алехина, М. А. О надежности схем в базисе «антиконъюнкция» при константных неисправностях на входах элементов / М. А. Алехина, В. В. Курышева // Известия высших учебных заведений. Математика. - 2016. - № 7. - С. 1-7.
6. Алехина, М. А. Синтез надежных схем при константных неисправностях на входах и выходах элементов / М. А. Алехина // Известия высших учебных заведе-
ний. Поволжский регион. Физико-математические науки. - 2015. - № 2 (34). -С. 5-15.
7. Алехина, М. А. О надежности неветвящихся программ в произвольном полном конечном базисе / М. А. Алехина, С. М. Грабовская // Известия высших учебных заведений. Математика. - 2012. - № 2. - С. 13-22.
8. Романов, Д. С. О диагностических тестах относительно локальных слипаний переменных в булевых функциях / Д. С. Романов // Прикладная математика и информатика. - 2010. - Т. 36. - С. 91.
9. Romanov, D. S. Diagnostic tests for local coalescences of variables in Boolean functions / D. S. Romanov // Computational Mathematics and Modeling. - 2012. -Т. 23. - С. 72-78.
10. Морозов, Е. В. Проверяющие тесты для булевых функций при линейных локальных неисправностях входов схем / Е. В. Морозов, Д. С. Романов // Дискретный анализ и исследование операций. - 2015. - Т. 22, № 1. - С. 49-61.
11. Морозов, Е. В. О проверяющих тестах относительно множественных линейных слипаний переменных / Е. В. Морозов, Д. С. Романов // Дискретная математика и ее приложения : материалы XI Междунар. семинара, посвящ. 80-летию со дня рождения академика О. Б. Лупанова (Москва, МГУ, 18-23 июня 2012 г.). -М. : Изд-во механико-математического фак-та МГУ, 2012. - С. 144-147.
12. Алехина, М. А. О надежности и сложности схем в базисе {x[y} при инверсных неисправностях на входах элементов / М. А. Алехина // Известия высших учебных заведений. Поволжский регион. Сер. Естественные науки. - 2005. - № 6. -С. 36-41.
13. Тарасов, В. В. К синтезу надежных схем из ненадежных элементов / В. В. Тарасов // Математические заметки. - 1976. - Т. 20, № 3. - С. 391-400.
References
1. Neuman von J. Automata studies. Princeton University Press, 1956, pp. 43-98.
2. Alekhina M. A. Sintez, nadezhnost' i slozhnost' skhem iz nenadezhnykh funktsional'nykh elementov: dis. dokt. fiz.-mat. nauk [Synthesis, reliability and complexity of circuits made of unreliable functional gates: dissertation to apply for the degree of the doctor of physical and mathematical sciences]. Penza, 2004, 169 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. Alekhina M. A., Barsukova O. Yu. Computer Science and Information Technology. 2014, vol. 2 (1), pp. 51-54.
5. Alekhina M. A., Kuysheva V. V. Izvestiya vysshikh uchebnykh zavedeniy. Matematika [University proceedings. Mathematics]. 2016, no. 7, pp. 1-7.
6. 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. 5-15.
7. Alekhina M. A., Grabovskaya S. M. Izvestiya vysshikh uchebnykh zavedeniy. Matematika [University proceedings. Mathematics]. 2012, no. 2, pp. 13-22.
8. Romanov D. S. Prikladnaya matematika i informatika [Applied mathematics and informatics]. 2010, vol. 36, p. 91.
9. Romanov D. S. Computational Mathematics and Modeling. 2012, vol. 23, pp. 72-78.
10. 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.
11. Morozov E. V., Romanov D. S. Diskretnaya matematika i ee prilozheniya: materialyXI Mezhdunar. seminara, posvyashch. 80-letiyu so dnya rozhdeniya akademika O. B. Lu-
panova (Moskva, MGU, 18-23 iyunya 2012 g.) [Discrete mathematics and its applications: proceedings of XI International seminar commemorating 80th jubilee of academician O.V. Lyupanov (Moscow, MSU, 18-23 June 2012)]. Moscow: Izd-vo mekhaniko-matematicheskogo fak-ta MGU, 2012, pp. 144-147.
12. Alekhina M. A. Izvestiya vysshikh uchebnykh zavedeniy. Povolzhskiy region. Ser. Estestvennye nauki [University proceedings. Volga region. Ser. Natural sciences]. 2005, no. 6, pp. 36-41.
13. Tarasov V. V. Matematicheskie zametki [Mathematical notes]. 1976, vol. 20, no. 3, pp. 391-400.
Алехина Марина Анатольевна
доктор физико-математических наук, профессор, заведующая кафедрой математики, Пензенский государственный технологический университет (Россия, г. Пенза, проезд Байдукова/улица Гагарина, д. 1а/11)
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/11 Baydukova lane/Gagarina street, Penza, Russia)
УДК 519.718 Алехина, М. А.
Синтез надежных схем при линейных слипаниях переменных в базисе «антиконъюнкция» / М. А. Алехина // Известия высших учебных заведений. Поволжский регион. Физико-математические науки. - 2016. -№ 1 (37). - С. 63-70.
