О вероятностях ошибок в одной модели вычислений Текст научной статьи по специальности «Математика»

УДК 519.718

М. А. Алехина

О ВЕРОЯТНОСТЯХ ОШИБОК В ОДНОЙ МОДЕЛИ ВЫЧИСЛЕНИЙ1

Аннотация.

Актуальность и цели. Многозначная логика предоставляет широкие возможности для разработки различных алгоритмов во многих областях и с успехом применяется при решении многих задач и во множестве технических разработок. Этим объясняется интерес к различным моделям вычислений, среди которых важное место занимают схемы из функциональных элементов. В этой работе продолжается исследование ненадежности схем, реализующих функции k-значной логики (k > 3), а ее цель - выявить свойства подсхем, вероятности ошибок которых определяют нижнюю оценку ненадежности всей схемы.

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

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

Выводы. Вероятности ошибок некоторых подсхем определяют нижнюю оценку ненадежности всей схемы.

Ключевые слова: функции k-значной логики, ненадежные функциональные элементы, синтез схем из ненадежных элементов.

M. A. Alekhina

ON ERROR PROBABILITY IN ONE MODEL OF COMPUTATION

Abstract.

Background. Multivalued logic offers ample opportunities for development of various algorithms in many fields. It is successfully applied for solution of many problems and in many technical developments. These facts explain an interest to various models of computation, including circuits compiled of functional gates. The present work continues researching unreliability of circuits realizing functions of k-meaning logic (k > 3); the aim of the work is to reveal properties of sub-circuits, error probability of which determines the lower value of unreliability of the whole circuit.

Materials and methods. The study was based on the well-known methods of discrete mathematics and mathematical cybernetics that provided values of circuit unreliability and allowed to assess a number of functions of special type.

Results. For a random k > 3 the author has found sub-circuits, the error probability of which enables to assess reliability of the whole circuit, while the class of functions, realized by the said sub-circuits, has been significantly expanded. The previ-

1 Работа выполнена при поддержке Российского фонда фундаментальных исследований (номер проекта 14-01-00273а).

ously known class of such functions of four valued logic has been expanded in such a manner that any circuit, realizing the function of this class, holds the lower value of reliability in the Rosser-Turkett basis.

Conclusions. Error probability of some unreliable sub-circuits determines the lower value of unreliability of the whole system.

Key words: k-meaning logics functions, unreliable functional gates, synthesis of circuits composed of unreliable gates.

Введение

В современной технике и математике в подавляющем большинстве случаев используется двузначная логика. Основные модельные объекты, работающие на основе двузначной логики (например, схемы из ненадежных элементов [1-3], неветвящиеся программы [4]) на данный момент являются достаточно хорошо изученными. Многозначная логика предоставляет более широкие возможности для разработки различных алгоритмов во многих областях. Этим объясняется интерес к различным моделям вычислений, среди которых важное место занимают схемы из функциональных элементов. В этой работе продолжается исследование ненадежности схем, реализующих функции k-значной логики (k > 3).

В работе [5] описаны функции k-значной логики, схемы которых можно использовать для повышения надежности исходных схем, а в [6, 7] построены асимптотически оптимальные по надежности схемы в базисе Россера - Тур-кетта при k = 3 и 4 соответственно. При синтезе асимптотически оптимальных по надежности схем возникает задача получения верхних и нижних оценок ненадежности схем, реализующих функции k-значной логики (k > 3).

Цель этой статьи - выявить свойства подсхем надежных схем, с помощью которых можно получить нижнюю оценку ненадежности всей схемы.

1. Основные понятия и определения

Пусть n е N, Ek = {0,1,2,...,k -1} , а Pk - множество всех функций

k-значной логики, т.е. функций f (xi,...,xn):(Ek)n ^ Ek . Рассмотрим реализацию функций из Pk схемами из ненадежных функциональных элементов

в произвольном полном конечном базисе B.

Будем считать, что схема из ненадежных элементов реализует функцию

f (Xn) (Xn = (xi,...,xn)), если при поступлении на входы схемы набора an при

отсутствии неисправностей в схеме на ее выходе появляется значение f (an).

Предполагается, что все базисные элементы ненадежны, переходят в неисправные состояния независимо друг от друга, а сами неисправности могут быть произвольными (например, инверсными или константными).

Пусть схема S реализует функцию f (xn), an - произвольный входной набор схемы S, f (an) =T . Обозначим через р (S, an) вероятность появления значения i на выходе схемы S при входном наборе an, а через Pj-(an)S, an) - вероятность появления ошибки на выходе схемы S при

входном наборе an . Ясно, что

pf (a n ( s , an)=P+1 (S, an)+P+2 (S, an)+...+p%+k-i ( s , an ) .

Отметим, что в выражениях T +1, T + 2, ..., T + k — 1 сложение осуществляется по mod k.

Например, если входной набор an схемы S такой, что f (an) = 0, то вероятность ошибки на этом наборе равна

pf (a n у0( s , an) = P1( s , an)+P2( s , an)+...+Pk—1( s , an).

Ненадежностью схемы S будем называть число

P( S) = max{Pf (a n (S, an)}, где максимум берется по всем входным набо-

j (a

рам an схемы S. Надежность схемы S равна 1 — P(S).

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

Пусть f (xn) - произвольная функция из Pk . Обозначим через Ef (Ef с Ek) множество значений функции f . Пусть S - схема, реализующая функцию f, причем в схеме S можно выделить подсхему D, которая имеет один вход и содержит выход схемы S. Поскольку D имеет один вход, очевидно, что она реализует функцию %(у) одной переменной у. Пусть функция %(y) принимает все k значений. Обозначим через C подсхему, получаемую из схемы S удалением подсхемы D . Пусть схема C реализует функцию h(xn).

О схеме C будем говорить, что она надежнее схемы S (и получается из схемы S удалением подсхемы D), если выполнено неравенство P(C) < P(S).

Схему S, реализующую функцию f , будем называть bc -схемой, если из нее нельзя получить более надежную схему удалением подсхемы, реализующей функцию одной переменной.

Обозначим через w0 (се Ek) вероятность появления ошибки на выходе схемы D при поступлении на ее вход значения с.

Справедлива теорема 1, которая обобщает ранее известные аналоги этой теоремы для k =3 и 4 [6, 7], причем не только на случай произвольного k , но и для произвольной функции х(у), принимающей k значений (в работах [6, 7] х(у) = у).

Теорема 1. Пусть схема S, ненадежность которой равна P(S), реализует функцию f и является bc -схемой. Пусть в схеме S можно выделить подсхему D , имеющую один вход, содержащую выход схемы и реализующую функцию х(у), принимающую все k значений, с ненадежностью P(D) (0 < P (D) < 1/2). Тогда верно неравенство

min{wc} 2 P( D)

где минимум берется по всем се Ek .

< P( S),

Доказательство (от противного). Пусть для схемы S и реализуемой ею функции / выполнены условия теоремы. Без ограничения общности можно считать, что функция / зависит от п переменных х^,...,хп, т.е.

/ = / (хп).

Допустим, что утверждение теоремы неверно. Тогда при всех се Еи

wr

2 Р( П)

Поэтому верно неравенство

> P( S).

2 P( D) Следовательно,

wc wc (1 - 2 P( D)) D._. —g--wg = —^-P( S) - wc.

2 P( D)

g > P(S) - wa

2 P( D) 1 - 2 P( D)

w

(1)

Пусть ап - такой входной набор схемы S, что Н(ап) = с и Р'ь(ап)^с(С,ап) = Р(С) (се Е^ ). Обозначим через т значение функции

/(Хп), т.е. /(ап) = %(Л(ап)) =Т. Найдем вероятность РТ(Б,ап) появления Т на выходе схемы Б:

Рт (Б, а п) = Рс (С, а п) Рт (П, с) + Рс+1(С, ап) Рт (П, с +1) +... +

+Рс+и-1(С,ап)Рт(П,с + к -1) =

к-1

= Рс (С, ап )(1 - ^) + 2 Рс+1 (С, ап)Рт (П, с + /) =

i=1

k-1

1 - Z Pg+i (C, an)

i=1

k-1

(1 - wT) + z L Pg+i (C, an) Pt (D, g + i)

i=1

k-1

= 1 - wt + Z

i=1

Pg+i (C, (5n)(wT-1 + Pt( D, g + i))

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

k-1

Pf {anS,an) = wT + Z Pg+i(C,an)(1 - wT -PT(D,g + i))

i=1

k-1 k-1 > wT + Z[Pg+i(C,an)(1 - wT-P(D))] > wT + (1 -2P(D))Z[Pg+i(C,an) i=1 i=1

>

> wT + (1 - P(D))P(C),

т.е. верно неравенство

Pf{anут(S,an) > Wt + P(C)(1 — 2P(D)).

(2)

Из соотношения (2) следует неравенство

1 - 2 Р( П)

Учитывая (3) и (1), получаем неравенство

(3)

P(C) <

Pf (an (S,an ) — WT < P(S) — Wt < Wt

-v-/ -x < -x

1 — 2 P( D) 1 — 2 P( D) 2 P( D)'

<

тогда

—2P(C)P(D) > — w

(4)

Таким образом, получаем неравенство Р^. п (, ап) > Р(С), из которого следует неравенство Р(5) > Р(С), что противоречит условию. Теорема 1 доказана.

Покажем, как можно использовать теорему 1 для доказательства нижней оценки ненадежности схем, например, в базисе Россера - Туркетта при

3. Нижние оценки ненадежности схем в базисе Россера - Туркетта

Рассмотрим реализацию функций из множества Р4 схемами из ненадежных функциональных элементов в базисе Россера - Туркетта {0,1,2, 3, Jо(Х1),^(Х1), J2(Х1), Jз(х1),ш1и(х1,х2>,шах{х1,Х2}} (шт{хьХ2} будем также обозначать через &, а шах{х1, Х2} - через V [8, с. 46]).

Обозначим через К^(п) множество таких функций четырехзначной логики, зависящих от переменных Х1,...,хп (п > 3), что каждая из этих функций принимает все четыре значения 0, 1, 2, 3 и не представима ни в виде хт VИ(хп), ни в виде хт &И(хп), (те {1,2,...,п} И(хп) - произвольная

k = 4.

Ранее доказаны

Утверждение 1 [7]. | ^(n)|> 44n — 2п4ъ'4"~' — 4-34п .

Теорема 2 [7]. Пусть функция / е К1. Тогда для любой схемы Б, реализующей / , при ее (0,1/1000] верно неравенство

Р(Б) > 9е- 33е2 + 36е3. Покажем, что множество К1 можно расширить.

Обозначим через К (п) множество таких функций из РД п), зависящих от переменных Х1,...,хп (п > 3), что каждая из этих функций принимает не менее трех значений, среди которых 0 и 3, и не представима ни в виде хт VИ(Хп), ни в виде хт &И(Хп) (те {1,2,...,п}, И(Хп) - произвольная функция четырехзначной логики). Пусть К = ^ К(п).

п=3

Утверждение 2. | К(п) |> 44п - 2п434 1 - 2 • 34п.

Доказательство такое же, как в утверждении 1, отличие лишь в заключительной части: оценим число функций, принимающих не меньше трех зна-

4п

чений, среди которых 0 и 3 . Для этого из всех 4 функций удалим функ-

4п

ции, принимающие только значения 0 и

3 (их 2 ), а также те функции,

4п 4п 4п

которые не принимают значение 0 или значение 3 (их 3 + 3 - 2 =

4п 4п

= 2 • 34 -24 ).

Очевидно, что при всех п > 3 имеет место строгое включение: п) с с К(п), из которого следует класс К(п), также как и класс К^(п) содержит почти все функции из Р4(п).

Справедлива теорема 3 о нижней оценке ненадежности схем, реализующих функции из класса К .

Теорема 3. Пусть функция / е К . Тогда для любой схемы Б, реализующей /, при всех ее (0,1/1000] верно неравенство

Р(Б) > 9е- 33е2 + 36е3. Доказательство такое же, как в теореме 2 [7].

Из теоремы 3 следует, что любая схема, реализующая функцию / е К, функционирует с ненадежностью, которая асимптотически (при е ^ 0) не меньше 9е.

Вывод: вероятности ошибок некоторых подсхем определяют нижнюю оценку ненадежности всей схемы.

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

1. Васин, А. В. О базисах, в которых асимптотически оптимальные схемы функционируют с ненадежностью 5е / А. В. Васин // Известия высших учебных заведений. Поволжский регион. Физико-математические науки. - 2010. - № 1 (13). -С. 64-79.

2. Алехина, М. А. О ненадежности схем из ненадежных функциональных элементов при однотипных константных неисправностях на выходах элементов / М. А. Алехина // Дискретная математика. - 2012. - Т. 24, № 3. - С. 17-24.

3. Alekhina, M. A. Synthesis and complexity of asymptotically optimal circuits with unreliable gates / M. A. Alekhina // Fundamenta Informaticae. - 2010. - Vol. 104 (3). -P. 219-225.

4. Грабовская, С. М. О надежности неветвящихся программ с ненадежным оператором условной остановки в произвольном полном конечном базисе / С. М. Грабовская // Известия высших учебных заведений. Поволжский регион. Физико-математические науки. - 2011. - № 3. (19). - С. 52-60.

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

6. Алехина, М. А. Оценки ненадежности схем в базисе Россера - Туркетта / М. А. Алехина, О. Ю. Барсукова // Известия высших учебных заведений. Поволжский регион. Физико-математические науки. - 2014. - № 1 (29). - C. 5-19.

7. Алехина, М. А. Асимптотически оптимальные по надежности схемы в базисе Россера - Туркетта в P4 / М. А. Алехина, С. П. Каргин // Известия высших учебных заведений. Физико-математические науки. - 2015. - № 1 (33). - С. 37-53.

8. Яблонский, С. В. Введение в дискретную математику / С. В. Яблонский. - М. : Высшая школа, 2001. - 384 с.

References

1. Vasin A. V. Izvestiya vysshikh uchebnykh zavedeniy. Povolzhskiy region. Fiziko-matematicheskie nauki [University proceedings. Volga region. Physical and mathematical sciences]. 2010, no. 1 (13), pp. 64-79.

2. Alekhina M. A. Diskretnaya matematika [Discrete mathematics]. 2012, vol. 24, no. 3, pp. 17-24.

3. Alekhina M. A. Fundamenta Informaticae [Fundamental informatics]. 2010, vol. 104 (3), pp. 219-225.

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. Izvestiya vysshikh uchebnykh zavedeniy. Povolzhskiy region. Fiziko-matematicheskie nauki [University proceedings. Volga region. Physical and mathematical sciences]. 2015, no. 3 (35), pp. 3-10.

6. Alekhina M. A., Barsukova O. Yu. Izvestiya vysshikh uchebnykh zavedeniy. Povolzhskiy region. Fiziko-matematicheskie nauki [University proceedings. Volga region. Physical and mathematical sciences]. 2014, no. 1 (29), pp. 5-19.

7. Alekhina M. A., Kargin S. P. Izvestiya vysshikh uchebnykh zavedeniy. Fiziko-matematicheskie nauki [University proceedings. Volga region. Physical and mathematical sciences]. 2015, no. 1 (33), pp. 37-53.

8. Yablonskiy S. V. Vvedenie v diskretnuyu matematiku [Introduction into discrete mathematics]. Moscow: Vysshaya shkola, 2001, 384 p.

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

доктор физико-математических наук, профессор, заведующая кафедрой дискретной математики, Пензенский государственный университет (Россия, г. Пенза, ул. Красная, 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. - № 4 (36). - С. 12-19.