CC BY
39
№ 4 (32), 2014
Физико-математические науки. Математика
УДК 519.718
М. А. Алехина, С. П. Каргин
О СИНТЕЗЕ СХЕМ ИЗ НЕНАДЕЖНЫХ ЭЛЕМЕНТОВ В P4
Аннотация.
Актуальность и цель. В современной технике и математике в подавляющем большинстве случаев используется двузначная логика. Это исторически сложившееся положение предопределено ее сравнительной простотой и сделало ее применение предпочтительным (в сравнении с другими логическими системами) с технической и экономической точек зрения. Основные модельные объекты, работающие на основе двузначной логики (например, схемы из ненадежных элементов, неветвящиеся программы) на данный момент являются хорошо изученными. Однако сложность решаемых задач, а следовательно, и технических устройств постоянно возрастает. Многозначная логика предоставляет более широкие возможности для разработки различных алгоритмов во многих областях. Она позволяет уменьшить как вычислительную сложность, так и размеры, число соединений в различных арифметико-логических устройствах, повысить плотность размещения элементов на схемах, найти альтернативные методы решения задач. Уже сейчас многозначная логика с успехом применяется при решении многих задач и во множестве технических разработок. Среди них различные арифметические устройства, системы искусственного интеллекта и обработки данных, обработка сложных цифровых сигналов и т.д. Определенный интерес представляет задача исследования надежности функционирования схем в полном конечном базисе из k-значных функций (к > 3). Задача построения надежных схем в произвольном полном базисе из трехзначных функций (т.е. при к = 3) решена в диссертации О. Ю. Барсуковой. Цель этой статьи - выявить свойства четырехзначных функций, схемы которых можно использовать для повышения надежности исходных схем, и описать соответствующий метод синтеза.
Результаты. Выявлены свойства функций, схемы которых можно использовать для повышения надежности исходных схем и описан соответствующий метод синтеза. Получены верхняя и нижняя оценки для числа таких функций.
Вывод. Свойства трехзначных функций, схемы которых можно использовать для повышения надежности исходных схем, можно обобщить на четырехзначные функции.
Ключевые слова: функции четырехзначной логики, ненадежные функциональные элементы, синтез схем из ненадежных элементов.
M. A. Alekhina, S. P. Kargin
ON SYNTHESIS OF UNRELIABLE ELEMENT CIRCUITS IN P4
Abstract.
Background. In modem engineering and mathematics in a majority of cases scientists use bivalent logic. Such historically established situation is predetermined by its relative simplicity, and thus this system is more preferable to be applied (in comparison with other logical systems) from engineering and economic points of view. Main model subjects functioning on the basis of bivalent logic (for example, unreli-
1 Работа выполнена при финансовой поддержке Российского фонда фундаментальных исследований, проект № 14-01-00273.
Physical and mathematical sciences. Mathematics
47
Известия высших учебных заведений. Поволжский регион
able element systems, nonbranching programs) are quite sufficiently examined at the moment. However, the complexity of problems to be solved and, therefore, technical devices is constantly rising. Polyvalent logic offers broader opportunities to develop various algorithms in many fields. It allows to decrease computational complexity, as well as sizes, numbers of links in various arithmetic-logical devices, to increase density of element placement in circuits, to find alternative solutions of problems. By this time polyvalent logic has been successifully implemented for solving multiple problems and in many engineering developments. Among such there are various arithmetic devices, AI and data-processing systems, devices for complex digital signal processing etc. Of special interest is a problem of researching functioning reliability of circuits in a complete finite basis consisting of k-valued functions (k > 3). The problem of building reliable circuits in a random complete basis consisting of three-valued functions (i.e. k = 3) was solved in the thesis by O. Yu. Barsukova. The aim of this article is to reveal properties of four-valued functions, the circuits of which may be used for reliability increase of initial circuits, and to describe the corresponding method of synthesis.
Results. The authors revealed the properties of functions, the circuits of which may be used for reliability increase of initial circuits, and described the corresponding method of synthesis. The researchers obtained the upper and lower values for a number of such functions.
Conclusions. The properties of three-valued functions, the circuits of which may be used for reliability increase of initial circuits, may be generalized to four-valued functions.
Key words: four-valued logic functions, unreliable functional elements, synthesis of unreliable element circuits.
Введение
В современной технике и математике в подавляющем большинстве случаев используется двузначная логика. Это исторически сложившееся положение предопределено ее сравнительной простотой и сделало ее применение предпочтительным (в сравнении с другими логическими системами) с технической и экономической точек зрения. Основные модельные объекты, работающие на основе двузначной логики (например, схемы из ненадежных элементов [1, 2, 3], неветвящиеся программы [4]) на данный момент являются хорошо изученными. Однако сложность решаемых задач, а следовательно, и технических устройств постоянно возрастает.
Многозначная логика предоставляет более широкие возможности для разработки различных алгоритмов во многих областях. Она позволяет уменьшить как вычислительную сложность, так и размеры, число соединений в различных арифметико-логических устройствах, повысить плотность размещения элементов на схемах, найти альтернативные методы решения задач.
Уже сейчас многозначная логика с успехом применяется при решении многих задач и во множестве технических разработок. Среди них различные арифметические устройства, системы искусственного интеллекта и обработки данных, обработка сложных цифровых сигналов и т.д.
В работе [5] описан функционально полный в Рз базис, в котором на компромиссной основе согласованы математические и технические (МДП-техники) требования и интересы; а также рассмотрены некоторые аспекты
48
University proceedings. Volga region
№ 4 (32), 2014
Физико-математические науки. Математика
синтеза электронных схем в этом базисе. В работе [6] построен функционально полный в P4 базис, реализуемый в МОП-структурах.
Таким образом, определенный интерес представляет задача исследования надежности функционирования схем в полном конечном базисе из k-значных функций (k > 3). Задача построения надежных схем в произвольном полном базисе из трехзначных функций (т. е. k = 3) решена в диссертации О. Ю. Барсуковой [7].
Цель данной статьи - выявить свойства четырехзначных функций, схемы которых можно использовать для повышения надежности исходных схем, и описать соответствующий метод синтеза.
1. Основные понятия, определения
Пусть n е N, а P4 - множество всех функций четырехзначной логики, т.е. функций f(xj,...,xn):{0,1,2,3}n ^{0,1,2,3}. Рассмотрим реализацию функций из множества P4 схемами из ненадежных функциональных элементов в произвольном полном конечном базисе B.
Будем считать, что схема из ненадежных элементов реализует функцию
f (Xn) (Xn = (xj,...,xn)), если при поступлении на входы схемы набора an при
отсутствии неисправностей в схеме на ее выходе появляется значение f (an).
Предполагается, что все базисные элементы ненадежны, переходят в неисправные состояния независимо друг от друга, а сами неисправности могут быть произвольными (например, инверсными или константными).
Пусть схема S реализует функцию f (xn), an - произвольный входной набор схемы S, f (an) = т. Обозначим через Pf (5n) (S, an) вероятность
j (а )ФХ
появления ошибки на выходе схемы S при входном наборе an . Ясно, что Pf (a n (S, aп) = Pt+i( S, an) + Pj+2 (S, atn) + PT+3( S, an). Отметим, что в выра-
жениях т + 1, т + 2 и т + 3 сложение осуществляется по mod 4 .
Например, если входной набор an схемы S такой, что f (an) = 0, то вероятность ошибки на этом наборе равна
Pf (a n y0( S, n) = P1(S, <5 n) + P2( S, an) + P3(S, <5 n).
Ненадежностью схемы S будем называть число
P( S) = max{Pf (a n )^t (S, a n)},
где максимум берется по всем входным наборам an схемы S. Надежность схемы S равна 1 - P(S).
2. Специальный класс функций
Пусть базисные элементы независимо друг от друга переходят в неисправные состояния, а неисправности могут быть произвольными.
Physical and mathematical sciences. Mathematics
49
Известия высших учебных заведений. Поволжский регион
Пусть aт, (3т - некоторые наборы с компонентами из множества {0,1,2,3} длины m (т > 3). Обозначим через p(am,|3m) число координат, в которых наборы ат и (вm различаются.
Например, если а4 = (0102), (в4 = (3101), то р(а4, (в4) = 2.
Пусть функция g (xm) обладает следующими свойствами одновременно: существуют такие наборы am, (3m, у”,5m , что:
1) значения g (am), g ((3m), g (у”), g (5m) попарно различны;
2а) для любого набора a” (p(am, am) < 1) верно g(am) = g(am);
2б) для любого набора (3m (р((3m, (3m) < 1) верно g ((3m) = g ((3m);
2в) для любого набора у” (р(У”, у”) < 1) верно g(у”) = g(ym);
2г) для любого набора 5m (p(5m, 5m) < 1) верно g(5m) = g(5m).
Наборы am, (3m, y” , 5m будем называть характеристическими наборами функции g(xm).
Замечание 1. Если am, (3m, у”, 5m - характеристические наборы функции g (xm), то любые два из них (различные) отличаются не менее чем в трех координатах.
Обозначим через Gm множество функций g (xm) с перечисленными
свойствами. Пусть G = ^ Gf .
m=3
Пример. Нетрудно проверить, что
3
1) функция g1(X ) = max{max{min(Х1,X2),min(X1,x3)},min(X2,X3)}e G, а ее характеристические наборы (000), (111), (222) и (333);
2) функция g2(X4) = max{min(X1,X2),min(x3,X4)} eG, а (0000), (1111), (2222) и (3333) - ее характеристические наборы;
3) функция g3(X ) = Xj + x2 + X3(mod4) g G.
Замечание 2. Нетрудно видеть, что если четырехзначная функция g e G, то функция g', получаемая из нее сужением на P3, обладает свойствами (1) и (2а)-(2в), т.е. трехзначная функция g'e G . Обратное утверждение, вообще говоря, неверно.
Утверждение 1. При всех m > 3 верно неравенство
11.4m - 27m2 + 9m - 6 > 0.
Доказательство проведем методом индукции по числу т. Обозначим через h(т) = 11 • 4т - 27т2 + 9т - 6 .
Основание индукции: т = 3. Имеем h(3) = 11 • 43 -27(3)2 + 27 -6 = 482.
Допустим, утверждение верно для всех т' < т. Докажем его для т + 1:
50
University proceedings. Volga region
№ 4 (32), 2014
Физико-математические науки. Математика
h(m +1) = 11 • 4m+1 - 27(m +1)2 + 9(m +1) - 6 = 4 -11 • 4m - 4 • 27m2 +
+3 • 27m2 — 27(2m +1) + 4 • 9m — 3 • 9m + 9 — 4 • 6 + 3 • 6 =
= 4 • (11 • 4m - 27m2 + 9m - 6) + 81m2 - 27(2m +1) - 3 • 9m + 9 + 3 • 6 =
= 4 • (11 • 4m - 27 m2 + 9m - 6) + 81m2 - 81m =
= 4 • (11 • 4m - 27m2 + 9m - 6) + 81m(m -1) > 0.
Утверждение доказано.
Теорема 1. Для числа | Gm | функций в множестве Gm справедливо неравенство
44m-8m-4 - 44m-9rn-4(27m2 - 9m + 6) <| Gm |< 44m-8m-4.
Доказательство. Пусть функция g(xm) e Gm . Характеристический набор am , на котором g(am) = 0, можно выбрать 4m способами. Характеристический набор , на котором g (Pm) = 1, можно выбрать не более чем 4m способами; аналогично набор ym , на котором g(ym) = 2, также можно выбрать не более чем 4m способами; набор 5m, на котором g(5m) = 3, также можно выбрать не более чем 4m способами
Пусть характеристические наборы am, 0m, ym, 5m известны. Тогда известны значения функции g (Xm) на всех наборах, соседних с набором am (таких наборов 3 m); на всех наборах, соседних с набором 0m (таких наборов 3 m); на всех наборах, соседних с набором Jm (таких наборов 3 m); на всех
наборах, соседних с набором 5m (таких наборов 3m). Остальные g(Xm) могут быть любыми из множества {0, 1, 2, 3}. Поэтому
| G |< 4m -4m -4m -4m -44m -12m-4 = 44m -8m-4
Оценим снизу | Gm |. Ясно, что характеристический набор am , на котором g (am) = 0, можно выбрать 4m способами. Количество наборов, отличных от набора am не более чем одной координатой, равно 3m +1. Наборы, отличные от набора am ровно в двух координатах (их число равно C'm 9 = 4,5m(m -1)) также не могут быть выбраны в качестве pm (см. замечание 1). Тогда набор pm можно выбрать не менее чем 4m - (3m +1 + +4,5m(m -1)) = 4m -(4,5m2 - 1,5m +1) способами. Как и для набора am , для набора pm число наборов, отличных не более чем в двух координатах, равно 4,5m(m -1). Поэтому его можно выбрать не менее чем 4m - 2(4,5m2 --1,5m +1). Для набора ym число наборов, отличных не более чем в двух ко-
Physical and mathematical sciences. Mathematics
51
Известия высших учебных заведений. Поволжский регион
ординатах, также равно 4,5m(m — 1). Поэтому его можно выбрать не менее чем 4m — 3(4,5m2 — 1,5m +1). Тогда набор 5m можно выбрать не менее чем 4m — 3(4,5m2 — 1,5m +1) способами.
Таким образом, после выбора характеристических наборов 12m + 4 значения функции g(xm) известны, а остальные 4m — 12m — 4 значений функции g (Xm) могут быть любыми из множества {0,1,2,3}. Поэтому
| Gm |> 44m —12m—44m(4m — (4,5m2 — 1,5m + 1))(4m — 2(4,5m2 — 1,5m +1))X
x(4m — 3(4,5m2 —1,5 m +1)) = 4^ — 11m — 4 (43m — 6(4,5m2 — 1,5m +1)42 +
+(4,5m2 — 1,5m +1)2(11 • 4m — 6(4,5m2 — 1,5m +1)).
Из утверждения 1 верно неравенство 11 • 4m — 27m2 + 9m — 6 > 0. Следовательно,
| Gm |> 44m —11m—4(43m — 6(4,5m2 — 1,5m + 1)42m) =
= 44m—8m—4 — 44m—9m—4(27m2 — 9m + 6).
Теорема 1 доказана.
Лемма 1 [8]. При всех p e [0,1] и m > 3 справедливо неравенство
m
£C>np' < (2” — m -1)p2.
i=2
Теорема 2. Предположим, что любую функцию из р можно реализовать схемой с ненадежностью не больше p . Пусть схема Sg реализует функцию g(Xm) e G с ненадежностью P(Sg), причем v0, v1, v2, v3 - вероятности ошибок схемы Sg на характеристических наборах am, pm, Ym , 5m соответственно и g (am) = 0, g(Pm) = 1, g (y” ) = 2, g (5m) = 3. Тогда произвольную функцию f можно реализовать такой схемой A, что
P(A) < max{v0,v1,v2} + mpP(Sg) + (2m — m — 1)p2 .
Доказательство. Пусть функция g(Xm) e G имеет характеристические наборы am, pm, ym , 5m. Пусть схема Sg реализует функцию g с ненадежностью P(Sg), причем v0, v1, v2, v3 - вероятности ошибок схемы Sg на характеристических наборах am , 0m, y” , 5m соответственно и g (am) = 0,
g (Г) = 1, g (Ym) = 2, g (5m) = 3.
52
University proceedings. Volga region
№ 4 (32), 2014
Физико-математические науки. Математика
Пусть f - произвольная функция из р . Без ограничения общности можно считать, что функция f зависит от переменных х^,...,хп, т.е. f = f (Xn), а функции фу(у) (iе {1,...,ш}) определяются формулами
Фг (У) =
ai, у = 0;
Рг, у =1; Yi, у = 2;
Si, у = 3.
По условию теоремы каждую из функций ф;- (f (Xп)) можно реализовать схемой Ф,-, ненадежность которой Р(Ф2-) < p .
Возьмем схемы Ф1,...,Фш и соединим их выходы со входами схемы Sg . Построенную схему обозначим через A . Проверим, что схема A реализует функцию f .
Действительно, пусть на входы схемы A поступает такой набор ап , что f (ап) = 0. Тогда при отсутствии неисправностей во всех схемах Ф,- на входы схемы Sg поступит набор аш . При отсутствии неисправностей в схеме Sg на ее выходе появится значение g(аш) = 0, т.е. значение на выходе схемы A равно 0 и равно f (ап).
Пусть на входы схемы A поступает такой набор ап , что f (ап) = 1. Тогда при отсутствии неисправностей во всех схемах Ф,- на входы схемы Sg
поступит набор (Зш . При отсутствии неисправностей в схеме Sg на ее выходе появится значение g((Зш) = 1, т.е. значение на выходе схемы A равно 1 и равно f (ап).
Пусть на входы схемы A поступает такой набор ап , что f (ап) = 2 . Тогда при отсутствии неисправностей во всех схемах Ф,- на входы схемы Sg
поступит набор у”2. При отсутствии неисправностей в схеме Sg на ее выходе появится значение g(уш) = 2, т.е. значение на выходе схемы A равно 2 и равно f (ап).
Пусть на входы схемы A поступает такой набор ап , что f (ап) = 3 . Тогда при отсутствии неисправностей во всех схемах Ф,- на входы схемы Sg
поступит набор 5ш . При отсутствии неисправностей в схеме Sg на ее выходе появится значение g(5ш) = 3, т.е. значение на выходе схемы A равно 3 и равно f (ап).
Physical and mathematical sciences. Mathematics
53
Известия высших учебных заведений. Поволжский регион
Таким образом, во всех случаях при поступлении на входы схемы A набора aп и отсутствии неисправностей в ней на выходе схемы A появляется значение f (aп), т.е. схема A реализует функцию f .
Вычислим вероятности ошибок на выходе схемы A .
1. Пусть входной набор ап таков, что f (aп) = 0. Вероятность Pf (aп)^о(A, ап) ошибки (появления 1, 2 или 3) на выходе схемы A в этом случае удовлетворяет неравенству
Pf (a п уо (A, aп) < v0 + mpP(Sg) + £ ,
i=2
где v0 - вероятность появления 1, 2 или 3 на выходе схемы Sg при поступлении на ее входы набора am .
m
По лемме 1 верно неравенство £ C1mp1 (1 - p)m— < (2m - m -1)p2. Сле-
i=2
довательно,
Pf (aп y0 (A, an) < v0 + mpP(Sg) + (2m - m -1)p2.
(1)
Аналогично вычисляются вероятности ошибок на других входных наборах схемы A .
2. Пусть входной набор bп таков, что f (Ьп) = 1. Вероятность появления ошибки на выходе схемы A при входном наборе bп удовлетворяет неравенству
Pf{bn)^1 (A,Ьп) < v1 + mpP(Sg) + (2m - m -1)p2, (2)
где v1 - вероятность появления ошибки (т.е. появления 0, 2 или 3) на выходе схемы Sg при входном наборе pm .
3. Пусть входной набор сп таков, что f (сп) = 2 . Вероятность появления ошибки на выходе схемы A при входном наборе сп вычисляется аналогично и удовлетворяет неравенству
Pf (сп у2 (A, сп) < v2 + mpP(Sg) + (2m - m -1)p2, (3)
где v2 - вероятность появления ошибки на выходе схемы Sg при входном наборе уm.
4. Пусть входной набор ёп таков, что f (dп) = 3 . Вероятность появления ошибки на выходе схемы A при входном наборе dri вычисляется аналогично и удовлетворяет неравенству
54
University proceedings. Volga region
№ 4 (32), 2014
Физико-математические науки. Математика
Pf (dп у3(A, dП) < v3 + mpP(Sg) + (2m - m -1)p2, (4)
где v3 - вероятность появления ошибки на выходе схемы Sg при входном наборе 5m .
Из неравенств (1)-(4) следует утверждение теоремы:
P(A) < max{v0, v1, v2} + mpP(Sg) + (2m - m -1)p2 .
Теорема 2 доказана.
Таким образом, получены следующие результаты:
1. Выявлены свойства функций, схемы которых можно использовать для повышения надежности исходных схем (теорема 2) и описан соответствующий метод синтеза.
2. Получены верхняя и нижняя оценки для числа таких функций (теорема 1).
Список литературы
1. Васин, А. В. О базисах, в которых асимптотически оптимальные схемы функционируют с ненадежностью 5е / А. В. Васин // Известия высших учебных заведений. Поволжский регион. Физико-математические науки. - 2010. - № 1 (13). -С. 64-79.
2. Алехина, М. А. О ненадежности схем из ненадежных функциональных элементов при однотипных константных неисправностях на выходах элементов / М. А. Алехина // Дискретная математика. -1993. - Т. 5, № 2. - С. 59-74.
3. Alekhina, M. A. Synthesis and complexity of asymptotically optimal circuits with unreliable gates / M. A. Alekhina // Fundamenta Informaticae, 2010. - № 104 (3). -P. 219-225.
4. Грабовская, С. М. О надежности неветвящихся программ с ненадежным оператором условной остановки в произвольном полном конечном базисе / С. М. Грабовская // Известия высших учебных заведений. Поволжский регион. Физико-математические науки. - 2011. - № 3 (19). - С. 52-60.
5. Виноградов, Ю. А. О синтезе трехзначных МДП-схем / Ю. А. Виноградов // Математические вопросы кибернетики : сб. ст. - Вып. 3. - М. : Наука, 1991. -С. 187-198.
6. Виноградов, Ю. А. О синтезе четырехзначных квазикомплементарных МОП-схем / Ю. А. Виноградов // Математические вопросы кибернетики : сб. ст. -Вып. 8. - М. : Наука, 1999. - С. 298-300.
7. Барсукова, О. Ю. Синтез надежных схем, реализующих функции двузначной и трехзначной логик : дис. ... канд. физ.-мат. наук / Барсукова О. Ю. - Пенза, 2014. - 87 с.
8. Алехина, М. А. О надежности схем, реализующих функции трехзначной логики / М. А. Алехина, О. Ю. Барсукова // Дискретный анализ и исследование операций. - 2014. - № 21 (4). - C. 12-24.
References
1. Vasin A. V. Izvestiya vysshikh uchebnykh zavedeniy. Povolzhskiy region. Fiziko-matematicheskie nauki [University proceedings. Volga region. Physics and mathematics sciences]. 2010, no. 1 (13), pp. 64-79.
2. Alekhina M. A. Diskretnaya matematika [Discrete mathematics]. 1993, vol. 5, no. 2, pp. 59-74.
Physical and mathematical sciences. Mathematics
55
Известия высших учебных заведений. Поволжский регион
3. Alekhina M. A. Fundamenta Informaticae [Fundamental informatics]. 2010, no. 104 (3), pp. 219-225.
4. Grabovskaya S. M. Izvestiya vysshikh uchebnykh zavedeniy. Povolzhskiy region. Fiziko-matematicheskie nauki [University proceedings. Volga region. Physics and mathematics sciences]. 2011, no. 3 (19), pp. 52-60.
5. Vinogradov Yu. A. Matematicheskie voprosy kibernetiki: sb. st. [Mathematical problems of cybernetics: collected papers]. Issue 3. Moscow: Nauka, 1991, pp. 187-198.
6. Vinogradov Yu. A. Matematicheskie voprosy kibernetiki: sb. st. [Mathematical problems of cybernetics: collected papers]. Issue 8. Moscow: Nauka, 1999, pp. 298-300.
7. Barsukova O. Yu. Sintez nadezhnykh skhem, realizuyushchikh funktsii dvuznachnoy i trekhznachnoy logik: dis. kand. fiz.-mat. nauk [Synthesis of reliable circuits realizing the functions of bivalent and ternary logic: dissertation to apply for the degree of the candidate of physical and mathematical sciences]. Penza, 2014, 87 p.
8. Alekhina M. A., Barsukova O. Yu. Diskretnyy analiz i issledovanie operatsiy [Discrete analysis and research of operations]. 2014, no. 21 (4), pp. 12-24.
Алехина Марина Анатольевна
доктор физико-математических наук, профессор, заведующая кафедрой дискретной математики, Пензенский государственный университет (Россия, г. Пенза, ул. Красная, 40)
E-mail: [email protected]
Каргин Степан Павлович
студент, Пензенский государственный университет (Россия, г. Пенза, ул. Красная, 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)
Kargin Stepan Pavlovich Student, Penza State University (40 Krasnaya street, Penza, Russia)
УДК 519.718 Алехина, М. А.
О синтезе схем из ненадежных элементов в P4 / М. А. Алехина, С. П. Каргин // Известия высших учебных заведений. Поволжский регион. Физико-математические науки. - 2014. - № 4 (32). - С. 47-56.
56
University proceedings. Volga region
