![](/user_photo/_userpic.png)
книги из ГПНТБ / Рябинин И.А. Надежность судовых электроэнергетических систем и судового электрооборудования учебник
.pdfРассматривая функцию (6.40), можно заметить, что и после вы несения из скобки общего элемента х7 эта ФАЛ остается повторной. То же самое следует сказать п о функции (6.41).
Для перехода от ФАЛ к вероятностной |
функции требуется такое |
|
преобразование |
повторных ФАЛ, которое |
обеспечивает применение |
к ним основных |
теорем теории вероятностей. |
Рассмотрим ниже четыре способа таких преобразований.
Метод расчета надежности СЭС с помощью алгоритма разрезания.
Этот алгоритм основан на известной теореме разложения алгебры
х7 |
Х3 |
Хс W X.
Ч X, гН Х,И
Рис. 44. Схемное представление условий работоспособности, выраженных формулами (6.40) и (6.41).
логики, согласно которой функция алгебры логики путем вынесения какой-либо переменной и ее отрицания может быть представлена в виде
У (Хх, Х2, . . ., |
Х[, |
. . ., Хт) — Х{Уг {хъ |
х2, . . ., |
1, . . ., х,„) V |
|
V |
x'lyo {xi, хо, . . ., 0, |
. . ., хт). |
(6.42) |
Таким образом, |
если аргумент xt функции у является совместной |
|||
двоичной переменной, |
то путем преобразования |
(6.42) мы переходим |
к дизъюнкции двух несовместных высказываний, причем в первое высказывание аргумент .я,- входит своим утверждением, а во второе —
отрицанием х\. Функции уг и у0 |
отличаются |
от функции у тем, что |
|
в них везде вместо аргумента xi |
поставлены |
соответственно единица |
|
и нуль (в соответствии с этим выбраны и индексы у функции ух |
и у0). |
||
Теорема разложения (6.42) позволяет свести мостнковую |
схему |
||
к последовательно-параллельным |
структурам. |
|
151
Действительно, если условие работоспособности системы описы
вается уравнением |
|
|
|
у{хъ . . ., х6 ) = Xl |
х3 |
|
(6.43) |
|
хь |
хл |
|
х2 |
хл |
|
|
|
Ч |
х3 |
|
|
Н |
Ъ |
х+ |
Ч х, |
х3 И |
Х 5
х2
Ч х, |
х3 |
Рис. 45. Графическая иллюстрация алгоритма разрезания на при мере простой мостиковой структуры.
что соответствует мостиковой структуре, изображенной в левой части рис. 45, то, вынося аргумент хг> по формуле (6.42), получим
|
*3 |
|
V 4 |
-Vl |
ха |
(6.44) |
|
1 |
х.х |
|
|
0 |
х., |
х2 |
Хл |
|
|
Х-2 |
х4 |
|
|
1 |
x.s |
|
|
0 |
хя |
Упростим теперь функции у0 и (/L с помощью правил 1 и 2 (1.14):
Ух |
Xi |
х3 |
|
х3 1 |
|
|
|
1 |
х4 |
х4 |
|
|
Х-2 |
Х.1 |
Х2 |
х4 |
|
|
|
1 |
х3 |
х-. |
(6.45) |
|
|
|
|
; |
|
Но = |
|
|
х\ |
1 |
|
Xi |
Х-Л |
хя |
|
||
|
|
0 |
х4 |
0 |
|
|
|
|
х2 |
X] |
|
|
|
0 |
х3 |
0 |
|
152
Вынося из скобки |
(х3 V х4 ) в выражении для ух |
и применяя |
пра |
||||
вило 6 (1.14) в выражении для у0, |
окончательно |
получим |
|
||||
У\ = * i |
*з ; |
Уа = |
* i |
I А'з = |
хх |
х3 , |
(6.46) |
откуда |
|
|
|
|
|
|
(6.47) |
|
/У = |
•«Б |
|
Х3 |
|
|
|
|
|
|
x-z |
Xi |
|
|
|
|
|
А'5 |
Xi |
х 3 |
|
|
|
|
|
|
А'2 |
Xi |
|
|
|
Правая часть рис. 45 изображена в соответствии с уравнением (6.47). Из рисунка наглядно видно, что мостиковая структура экви валентна дизъюнкции двух последовательно-параллельных схем, в которых в одном случае точки а и b замкнуты накоротко (своеобраз
ный опыт |
короткого |
замыкания), |
а в другом—разомкнуты (опыт |
холостого |
хода). |
|
представленная на рис. 43, а и б, |
Следует |
заметить, |
что система, |
сложнее только что рассмотренной мостпковой структуры, так как перемычка Я (х8) на своих концах имеет элементы х 3 и х4 , а не услов ные точки а и Ь, показанные на рис. 45. Поэтому для сведения урав нения (6.40) к бесповторной форме, его нужно преобразовывать по теореме (6.42) в несколько этапов. Чтобы не ошибаться при таких преобразованиях и выполнять их формально (не задумываясь над физической стороной вопроса), применяем алгоритм разрезания, который заключается в следующем:
1. Подсчитываем число вхождений каждой буквы х,- в уравнение
функции |
у (хг, |
Хо, . . ., |
хт): |
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
{пъп.2, ...,пт) |
= \п1\. |
|
|
|
|
(6.48) |
||||
2. |
Среди |
чисел nt находим максимальное и соответствующую |
|||||||||||||
букву (не ограничивая общности, |
можно считать, что это будет х±) |
||||||||||||||
полагаем равной сначала 0, затем |
1 и для каждого случая |
отдельно |
|||||||||||||
выписываем |
результат |
подстановки |
соответствующей |
константы |
|||||||||||
в у (xj, |
х.2, |
. . ., х,„): |
|
|
|
|
|
|
|
|
|
|
|||
|
|
Xi |
= |
0; |
у0 = у (0, х2 , . . ., х,п) = у0(х2, |
л-31 |
. . ., хш ); |
|
(6.49) |
||||||
|
* i = |
1; |
lJi |
У (1. * 3 , |
. . ., |
хт) = |
уг (л'2, |
ха , |
. . ., |
х,„). |
(6.50) |
||||
Эту |
операцию |
назовем |
разрезанием |
по переменной |
xv |
|
|
||||||||
3. |
Преобразовываем |
у0 |
и ух |
с |
помощью |
уравнении |
§ 3. |
||||||||
4. После применения указанных преобразований и упрощения |
|||||||||||||||
функций уа и ух |
может оказаться, что любая из них либо |
превраща |
ется в константу, либо принимает такой вид, что каждая из остав шихся букв будет входить в выражение функции не более одного раза, либо принимает вид, когда хотя бы одна из букв входит в выра жение функции более одного раза.
Проверяем, какой из трех случаев имеет место для у0 и для г/х. 5. Если имеет место третий случай, то для соответствующей функции опять вычисляем величины {/г,-} для всех оставшихся в яв-
153
ном виде букв и опять производим разрезание функции по пе ременной, соответствующей максимуму пг Не ограничивая общности, полагаем, что такой переменной окажется х«. Вновь полученные функции обозначим
|
У оо = |
У о |
Ф>Л'з> х и |
• • •! хш) ~ |
У on |
(хз* |
|
• |
хт) > |
(6.51) |
|||
|
У01 |
~ |
У0 |
0 ' |
Л ' 3 ' Xii |
• • •> Хт) ~ |
У01 |
( Х 3 ' |
ХИ |
• |
хт)» |
(6.52) |
|
если |
разрезанию |
подвергалась |
функция |
у0, |
или |
|
|
|
|||||
|
Ую |
= У\ (° . * з . * 4 . • • •> *„,) = |
|
(х3 , |
х4 , |
. . ., |
хт)\ |
(6.53) |
|||||
|
1/и |
= |
Ух (1. *з» *4 . • • |
Л'ш) = |
Ун (*s. -*4, |
• • •, |
х,„), |
(6.54) |
|||||
если |
разрезанию |
подвергалась |
функция |
ух |
(может случиться, ко |
||||||||
нечно, что разрезаются обе функции: у0 |
и уг). |
|
|
|
К полученной таким образом системе функций применяем преоб разования § 3, а затем выполняем действия, указанные в пп. 4 и 5. Эти действия выполняем до тех пор, пока на очередном шаге не ока жется, что ни для одной из функций не имеет места третий случай, указанный в п. 4.
Рассмотренный процесс не бесконечен, ибо если произвести раз резания сразу по всем переменным, то мы получим только константы.
Пример 17. Применим алгоритм разрезания к уравнению работо
способности (6.40), точнее говоря, к функции |
z (у = z&x7), записан |
||||
ной в^виде |
|
|
|
|
|
z (хъ . . |
хл |
ха |
хь |
|
(6.55) |
|
|
|
Х8 |
X.i |
Л'0 |
|
Х2 |
Л'.1 |
х в |
|
|
|
|
|
ха |
х з |
хъ |
1. |
В уравнение |
для z буквы хг и х2 входят по одному |
разу, а |
|
остальные — по два |
раза. |
|
||
2. |
Среди чисел |
ni |
максимальным является число два, |
но букв, |
входящих в (6.55) по два раза, пять. Поэтому для первого разрезания
можно взять любую из них. Возьмем для |
примера букву xs |
и ра |
|||||||||||
зобьем сложное событие z на два несовместных |
события: |
|
|||||||||||
Z— |
\Хх |
Х |
\Х& |
| = | А'8 |
| Х |
Х |
| Хг, |
|
| = |
х'ауо V xsyi. |
(6.56) |
||
|
х з |
х |
ь |
— |
Xs |
Xiг |
з |
Ъ |
|
|
|
|
|
|
1Л |
я |
|
|
х я |
|
|
|
|
|
|||
|
|
|
ха х± xs |
|
|
|
0 |
Х 1 |
XQ |
|
|
||
|
х.2 |
xi хй |
|
|
Х 2 |
ч |
хв |
|
|
|
|
||
|
|
|
XgX3 |
х ь |
|
|
|
0 |
х з |
хъ |
|
|
|
|
|
|
|
|
|
A'g |
Х 1 |
х3 |
х ь |
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
Xi |
х о |
|
|
|
|
|
|
|
|
|
х-г |
X,i |
хъ |
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
х3 |
х ь |
|
|
154
3. |
Преобразуем |
уп |
и |
ух. |
|
|
|
|
|
|
|
|
|
|
||||||
|
Уо = |
Х-^ |
|
ч |
|
ха |
|
Xi |
х3 |
хь |
|
|
x i |
х3 |
|
х5 I; |
(6.57) |
|||
|
|
|
|
|
|
0 х 4 |
|
|
|
|
0 |
|
|
Х'2 Х 4 |
Х$ |
|
||||
|
|
|
А'2 Х± |
хв |
|
|
|
|
^2 |
"^4 |
ха |
|
|
|
|
|
|
|
||
|
|
|
|
|
|
0 х3 |
|
хь |
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
Ух |
— |
Хх |
х3 |
|
Хь |
|
|
|
X j |
Х 3 |
хь |
|
|
|
(6.58) |
||
|
|
|
|
|
|
|
|
|
1 |
А\, х6 |
|
|
|
|
Xi |
х0 |
|
|
|
|
|
|
|
|
|
|
Хг, |
х± |
Ха |
|
|
|
Хп х^ |
|
х« |
|
|
|
|
||
|
|
|
|
|
|
|
|
|
1 А-з Хь |
|
|
|
|
хз |
хь |
|
|
|
||
4. В уравнение (6.57) все буквы |
входят |
только |
по одному |
разу, |
||||||||||||||||
поэтому |
функция у о будет бесповторной. В уравнение |
(6.58) |
буквы |
|||||||||||||||||
Л'з, х4 , Хь и А-,-, все еще входят по два раза, |
поэтому нужно |
продолжить |
||||||||||||||||||
преобразование |
|
ух, |
произведя |
разрезание, |
например, |
по х3 . |
||||||||||||||
5. |
Разрезаем |
функцию |
ух |
по аргументу |
лу. |
|
|
|
|
|||||||||||
yi = |
x3 |
хх |
0 |
|
Хь |
|
\ / * з |
X i |
1 |
Х5 |
|
|
= |
х3ую\/ |
х3уи. |
(6.59) |
||||
|
|
|
|
|
Xi |
хв |
|
|
|
|
|
х4 |
х0 |
|
|
|
|
|
|
|
|
|
X , |
Л'4 |
|
Х0 |
|
|
|
|
X , |
-V.1 |
хй |
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
х 5 |
|
|
|
|
|
1 |
ХЬ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
i / n |
|
|
|
|
|
|
|
|
|
6. |
Преобразуем |
ухо |
|
и |
|
ухх: |
|
|
|
|
|
|
|
|
|
|
||||
|
|
Ую = |
хх |
0 |
|
Хь |
|
|
|
0 |
Хь |
|
|
| А 2 А 4 |
|
|
||||
|
|
|
|
|
|
|
х4 |
хе |
|
|
Xi |
Хв |
|
|
|
|
|
|
||
|
|
|
|
Х 2 |
Х 4 |
х0 |
|
|
|
Х'2 Х± |
|
хв |
|
|
|
|
|
|
||
|
|
|
|
|
|
|
0 |
А 5 |
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
хх |
1 |
|
*5 |
|
= |
хх |
|
А'5 |
|
|
|
|
(6.61) |
|
|
|
|
|
|
|
|
|
|
Л'4 |
Л'„ |
|
|
|
Х 4 |
Хв |
|
|
|
||
|
|
|
|
|
|
х2 |
х4 |
А'о |
|
|
х2 |
|
Xi |
Хв |
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
1 |
* 5 |
|
|
|
|
Хь |
|
|
|
|
7. Функция г/1 0 будет бесповторной функцией, а функция |
||||||||||||||||||||
требует дополнительного |
разрезания |
по какой-нибудь из следующих |
||||||||||||||||||
букв: |
х4 , х5 , |
хв . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
155
Произведем |
разрезание |
по |
лу. |
|
|
|
|
|||||
|
|
|
Уп |
|
|
Xl |
Л'5 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Хд |
|
|
|
= х4 |
Л'1 |
-\'5 |
ч |
V -V4 |
|
•Vl |
х5 |
|
= |
X4t/m V |
х4ут. (6.62) |
|
|
|
0 |
|
|
|
|
1 |
•V,; |
|
|
|
|
|
Л'.» |
0 |
ч |
|
|
|
X., |
1 |
А'С, |
|
|
|
|
|
|
ч |
|
|
|
|
|
-\'5 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
9. Преобразуем |
у110 |
и |
|
уП1: |
|
|
|
|
|
|||
|
"по = |
1 |
ч |
|
|
= |
Л'1 |
хъ |
|
|
(6.63) |
|
|
х6 |
|
|
|
|
|||||||
|
|
|
|
0 |
|
|
|
0 |
|
|
|
|
|
|
|
2 |
0 |
|
|
|
0 |
хв |
|
|
|
|
|
|
|
|
* 5 |
|
|
|
* 5 |
|
|
|
Xl |
Хъ |
|
|
|
|
|
3 |
|
Xl |
Хъ |
— хл |
(6.64) |
|
|
|
|
|
-v |
|
|
х-а |
||||
|
1 |
Л'а |
|
|
|
|
хв |
|
|
х0 |
Х-2 |
х0 |
X-z |
1 |
|
|
|
|
|
ха |
|
х2 Хь |
|
|
|
|
|
-v5 |
|
|
|
|
|
|
|
хп |
|
|
Теперь все функции стали бесповторнымн, не подлежащими даль нейшему преобразованию.
10. Подставим все найденные функции в уравнение (6.56), после довательно раскрывая значения аргументов:
х&Уо |
х&Уо |
|
= |
I хъу0 |
ХзУю |
||
хвУ1 |
хя ХзУю |
|
Ха |
||||
|
|
х-зУи |
|
|
Хъ х<\Ут |
||
|
|
|
|
|
|
|
ХАУШ |
|
xs |
Xi |
х3 |
|
х§ |
|
(6.65) |
|
|
Х2 |
Х± |
|
Хц |
|
|
|
xs |
Хъ |
х2 |
х.\ |
хв |
|
|
|
|
Хъ |
|
|
Х\ |
Х 5 |
|
156
Это уравнение полезно |
представить |
в виде |
|
|
|
|||||
х'в Л'1 |
Л'з |
х5 |
= |
Hi |
Xl |
х3 |
хь |
|
||
|
|
|
|
xG |
|
|
х2 |
х4 |
л'е |
|
Хв Хз | Х-2хА |
Хб |
н2 |
х2 |
xi ха |
|
|||||
х&Л'з |
х\ |
Х\ |
х* |
Hi |
Xl |
Хь |
|
|
||
х |
8 |
Х3 |
X j |
х'г |
Хъ |
Xi |
Хъ |
|
||
|
|
|
|
Хо |
Хв |
|
х2 |
х0 |
|
|
где буквами Я обозначены несовместные (ортогональные) |
гипотезы, |
|||||||||
т. е. |
|
|
|
|
|
|
|
|
|
|
Н\=Х8, |
|
11-2 = |
ХвХз, |
Н3 = |
ХВХЗХА, |
Я,| = |
X$X3X.i. |
(6.67) |
Рис. 46. Последовательность применения алгоритма разрезания для функции, заданной уравнением (6.55).
Расчеты надежности СЭС с помощью алгоритма разрезания це лесообразно сопровождать одновременным построением графа со стояний системы типа графа, представленного на рис. 46. Это особенно полезно делать при большом числе разрезаний, что обеспечивает наглядность и упорядоченность последующих вероятностных вы числений по формуле полной вероятности
|
Р\у(хъ |
|
хт) = |
1} = /?с |
- |
ЬР |
(Я,) Р (у | Я,.), |
(6.68) |
||
|
|
|
|
|
|
|
1=1 |
|
|
|
где |
события |
Hi |
образуют |
полную |
группу |
несовместных |
гипотез, |
|||
a P(y\Ht)— |
условные |
вероятности |
исправного состояния |
системы |
||||||
при |
каждой |
гипотезе |
Нг |
|
|
|
|
|
|
|
Для примера 17 формулу (6.68) можно записать в следующем |
||||||||||
виде: |
|
|
|
|
|
|
|
|
|
|
|
P\z=l\=P(H1)P(z\H1) |
|
+ P(H2)P(z\H2) |
+ |
|
|||||
|
|
+ |
Р (Я3 ) Р (г | Я8 ) + Р (Hi) Р (z | НА) |
= |
|
|||||
= |
Р (xi) Р (у0) -|- Р (xsx3) |
Р (Ум) + Р (хахзх$ |
Р (//по) + |
Р (ХвХзХА) |
Р (уп1). |
|||||
|
|
|
|
|
|
|
|
|
|
(6.69) |
157
Если отказы элементов можно считать независимыми событиями, то отдельные вероятности из формулы (6.69) будут равны
|
Р (л-8) - Q8; |
Р Ы = 1 - |
(1 - /?,/?3/?5) (1 - |
RORARS); |
\ |
|
||||
|
Р {x&i) = RsQz; |
Р (ую) = |
RZRARS; |
|
(6.70) |
|||||
|
Р ( w - 4 ) = RSR3QI; |
Р {упо) = |
RiRБ; |
|
||||||
|
|
|
|
|||||||
|
Р ( а д л ) = |
|
^ (Уш) = (1 - |
QiQs) (1 - |
QbQ«) • |
|
|
|||
Приняв допущение |
о равной |
надежности |
всех |
элементов (RX |
= |
|||||
= R„ = |
..-. — RA |
= |
R), определим вероятность |
безотказной |
ра |
|||||
боты системы в виде следующего |
полинома: |
|
|
|
|
|||||
Р |
\У = И = |
#с = 1(1 — R) [1 - |
(1 - |
|
R3) (1 ~R3)] |
+ |
|
|||
+ R (1 — R) R3 + R- (1 — Д) R2 + R» [1 — (1 — Я)2 ]2 } R = |
|
|||||||||
|
|
= |
2/?4 + 2R* — 5Я7 + |
2tf8 . |
|
(6.71 |
||||
|
|
|
|
|
В заключение следует сказать, что решение данной задачи ме тодом разрезания можно было бы выполнить несколько экономнее (т. е. при меньшем числе гипотез), если бы первое разрезание было произведено не по букве Л ' 8 , а по букве хь или хв. Действительно, тогда функция z имела бы вид
Л'о |
Л'4 |
Л'б |
Xl |
х3 х8 |
Hi -v., |
л-0 |
Xl Хп Ха |
(6.72) |
||
|
|
|
|
|
||||||
|
|
|
|
Хо |
|
|
|
|
Х.г |
|
х5 |
Х3 |
X |
|
ХА |
Хв |
Но |
х2 |
xt |
-Vfi |
|
х5 |
х3 |
|
Х\ |
|
|
я . |
Xl |
|
|
|
|
|
|
Х-2 Х4 |
|
Х2 |
Л'4 |
Хс, |
|
||
|
|
|
|
|
|
|
|
|
ХЯ |
|
т. е. число гипотез уменьшилось бы на единицу |
[см. (6.66) I, однако |
общие затраты времени в обоих случаях примерно одинаковы.
Метод расчета надежности СЭС с помощью алгоритма ортогонализации. Этот алгоритм основан на преобразовании функций алгебры логики в ортогональную дизъюнктивную нормальную форму (ОДНФ).
Напомним, что две элементарные конъюнкции называются орто гональными, если их произведение равно нулю. ДНФ называется ортогональной, если все ее члены попарно ортогональны. Совершен ная ДНФ является самой неэкономной из всех ОДНФ, так как она содержит максимальное количество членов.
С целью получения ОДНФ с минимальным числом членов раз работан специальный алгоритм, для описания которого сформули
руем |
два предложения. |
|
|
|
|
|
П р е д л о ж е н и е |
1. |
Отрицание элементарной |
конъюнкции |
|||
ранга |
г /С. = |
л;"1 *"2 . . . ха/ |
эквивалентно |
дизъюнкции |
||
|
К\ = х? V |
|
V |
r-Ii.X,aiГ |
(6.73) |
|
|
|
1 -V , |
|
|||
члены |
которой |
попарно |
ортогональны. |
|
|
158
Преобразование (6.73) в частном случае (когда в элементарной конъюнкции отсутствуют отрицания) имеет вид
( A W . . Х г у = х[ = |
х\ |
(6.74) |
|
Х\ |
Х-2 |
Хз |
Xl |
Хп Х'з |
|
|
|
|
|
Х'г |
XiX<iX%X4 |
• • • |
Xr—lXr |
|
|
Справедливость преобразования (6.73) нетрудно доказать с по |
||||||||
мощью теоремы разложения (6.42), применив |
ее |
последовательно |
|||||||
для |
букв |
Ху, х2, |
. . ., хг_г |
к элементарной |
дизъюнкции ранга г |
||||
|
|
|
|
Dt=x^yxfy...\Jx<, |
|
|
|
(6-75) |
|
получаемой по теореме де Моргана из элементарной |
конъюнкции |
||||||||
|
Действительно, |
разлагая (6.75) |
по хг, |
имеем |
|
||||
х*[ |
V x?V |
• • • V |
ха/ |
= |
(1 V xf |
V • • • V |
xf) |
V Хл' |
(О V xf V • • • |
• • • v |
х ? ) = |
x i |
v х*' (xi |
v |
x i v • • • \/xi). |
|
|
Разлагая далее |
(6.76) |
по переменным |
л".,, х3, |
. . ., |
хг_г,- |
||
уравнение (6.73). |
|
|
|
|
|
f (xlt |
х2, |
П р е д л о ж е н |
и е |
2. |
Булева |
функция |
|||
представленная в ДНФ |
в виде |
|
|
|
|
(6.76)
получим
>хт),
f{Xl, х2, . . ., хт)= V Kt |
(i^2m), |
(6.77) |
эквивалентна функции
/ ( А - , , Х 2 , . . . , хт) = Ki V К\ Кч V ШЖз V •
(6.78)
В матричной форме записи уравнения (6.77) и (6.78) будут иметь следующий вид:
/ (х-у, х2, . . ., х,„) = Ку |
Ку |
. (6.79) |
Ко K'iKi
к.K'iKiKz
K'iKiKzK'i • • • K'n-iKn
159
Справедливость |
данного |
преобразования |
также |
легко доказы |
|
вается с |
помощью |
теоремы |
разложения. |
|
|
Если |
вместо каждого из |
выражений К\ |
(is=c п) |
подставить его |
представление согласно (6.73), то в результате приведения дизъюнк ции (6.79) к ДНФ (путем раскрытия скобок) мы получим ОДНФ бу левой функции / (xt , Л'.,, . . ., х ш ).
Теперь дадим краткое описание алгоритма преобразования функ
ции у (хи |
х 2 , . . ., хт) |
|
к ОДНФ: |
|
|
|
|
|
|
|
|
|
|
||||||||
1. |
Преобразовываем сначала функцию у |
(.v,, х 2 , |
. . ., |
хт) к ДНФ. |
|||||||||||||||||
2. |
Производим |
нумерацию |
членов |
ДНФ |
от 1 |
до |
п {п =^ 2"1), |
||||||||||||||
причем |
членам низшего |
ранга |
присваиваем |
низшие номера. |
|
||||||||||||||||
3. Определяем ОДНФ функции у (хх , х 2 , |
. . ., |
|
хт) |
с |
помощью |
||||||||||||||||
преобразования (6.79). |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
Для уменьшения количества операции целесообразно в конъюнк |
|||||||||||||||||||||
ции |
KiKi |
• • • K'i-\ |
Ki |
|
выполнить |
следующие |
упрощения: |
|
|||||||||||||
а) |
приравнять нулю те члены ДНФ |
|
(у |
|
i — 1), которые орто |
||||||||||||||||
гональны члену Л',-; |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
б) |
приравнять |
нулю |
те |
элементарные |
конъюнкции |
отрицаний |
|||||||||||||||
К) (у |
|
i — 1), которые |
|
ортогональны |
/<,.. |
|
|
|
|
|
|
|
|
||||||||
Преобразовав условия работоспособности системы к ОДНФ, |
|||||||||||||||||||||
можно приступить к вычислению вероятности безотказной |
работы |
||||||||||||||||||||
системы |
по формуле |
суммы |
вероятностей |
|
несовместных |
событий: |
|||||||||||||||
|
|
|
Р \У(л-!, • • ., х,„) = |
1} = |
Rc |
= |
|
У |
Р (О,.), |
|
|
(6.80) |
|||||||||
где Ot — ортогональные |
члены |
функции |
у |
(xit |
х.,, |
. . ., |
хт), |
запи |
|||||||||||||
санной |
в |
ОДНФ: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
у(хи |
|
х,, |
. . ., |
л-,„)= \ ) л ' , = |
\/0,. |
|
|
|
|
(6.81) |
||||||||
|
|
|
|
|
|
|
|
|
|
|
i=i |
|
|
/^1 |
|
|
|
|
|
||
Пример 18. Применим алгоритм ортогонализацип |
к той же функ |
||||||||||||||||||||
ции |
(6.55), |
которая |
|
рассматривалась |
в |
предыдущем |
примере. |
||||||||||||||
1. |
Преобразуем |
функцию |
z |
(хи |
х.2, |
. . ., х8 ) к ДНФ: |
|
|
|||||||||||||
|
|
|
|
|
± |
|
я |
ч |
|
|
= |
х |
|
:! |
|
Г) |
|
|
|
|
(6.82) |
|
|
|
|
х |
|
х |
|
|
|
Х Х Х |
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
Ч |
л-.1 |
хв |
|
Xi A'.., Xi Хв |
Х8 |
|
|
|
|||||
|
|
|
|
X2 |
,Y.i |
|
|
|
|
X, |
Х4 |
Х„ |
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
Л"8 |
А";, |
А'., |
|
Л"о |
|
|
Х.\_ -^5 |
-^8 |
|
|
|
. 2. Пронумеруем члены ДНФ (6.82) следующим образом:
К. i = х 1X3X5,
К2 — XoX^jAj.,
Кз — X 1X3X4X5X3',
Кц = X 2X3X4X5X8 -
160