177
A a a a a a a a a a a
c
=-- - -- - -- - - -- - -11 1 11 1 11 1 1 11 1 1
1 2 4 5 1 3 5 2 3 4
, (5.37)
êîòîðàÿ ïîñëå ïðåîáðàçîâàíèé ñ èñïîëüçîâàíèåì ñâîéñòâ àëüòåðíàòèâíûõ ïåðåìåííûõ
ïðèîáðåòàåò ôîðìó (5.36), ïîñëå çàìåíû ñîáûòèé a
i
âåðîÿòíîñòÿìè p
i
ïîëó÷àåì âûðà-
æåíèå (5.31), êîòîðîå äëÿ ñèñòåìû ñ ýëåìåíòàìè ðàâíîé íàäåæíîñòè ïðèîáðåòàåò âèä
(5.32).
Òàêèì îáðàçîì, äëÿ ìîñòèêîâîé ñèñòåìû èç ïÿòè ýëåìåíòîâ (ðèñ.5.8à) âåðõíÿÿ
îöåíêà âåðîÿòíîñòè áåçîòêàçíîé ðàáîòû, ïîëó÷åííàÿ ìåòîäîì ìèíèìàëüíûõ ñå÷åíèé, è
íèæíÿÿ, ïîëó÷åííàÿ ìåòîäîì ìèíèìàëüíûõ ïóòåé, ñîâïàëè ñ òî÷íûì çíà÷åíèåì. Îäíà-
êî, êàê óæå îòìå÷àëîñü, äëÿ áîëåå ñëîæíûõ ñèñòåì, ñîñòîÿùèõ èç ðàçíûõ ïî íàäåæíî-
ñòè ýëåìåíòîâ, ýòîãî ìîæåò è íå ïðîèçîéòè. Ïîýòîìó äëÿ ïîëó÷åíèÿ îöåíî÷íûõ ãðàíèö
âåðîÿòíîñòè áåçîòêàçíîé ðàáîòû ñëîæíûõ ñèñòåì ìåòîäàìè ìèíèìàëüíûõ ïóòåé è ìè-
íèìàëüíûõ ñå÷åíèé öåëåñîîáðàçíî ïîëüçîâàòüñÿ ñîâìåñòíî.
Ëîãè÷åñêèå ñõåìû, ñîñòàâëåííûå ìåòîäàìè ìèíèìàëüíûõ ïóòåé è ìèíèìàëüíûõ ñå-
÷åíèé, ÿâëÿþòñÿ ãðàôè÷åñêèìè àíàëîãàìè ôîðìóë àëãåáðû ëîãèêè - ôóíêöèé ðàáîòî-
ñïîñîáíîñòè (5.27) è íåðàáîòîñïîñîáíîñòè (5.28), ïðè÷åì ïîñëåäîâàòåëüíîå èëè ïàðàë-
ëåëüíîå ñîåäèíåíèå ñîáûòèé â ëîãè÷åñêîé ñõåìå ñîîòâåòñòâóåò ëîãè÷åñêîìó óìíîæå-
íèþ ("È") èëè ëîãè÷åñêîìó ñëîæåíèþ ("ÈËÈ") ñîáûòèé. Òàê ëîãè÷åñêàÿ ñõåìà ìåòîäà
ìèíèìàëüíûõ ïóòåé ôîðìóëèðóåò óñëîâèå ñîõðàíåíèÿ ðàáîòîñïîñîáíîãî ñîñòîÿíèÿ ñèñ-
òåìû (5.27), ïðè÷åì ïîñëåäîâàòåëüíîå ñîåäèíåíèå ñîáûòèé ñîîòâåòñòâóåò ëîãè÷åñêîìó
"È", ïàðàëëåëüíîå - "ÈËÈ". Òî åñòü ñõåìà íà ðèñ.5.9 ñîîòâåòñòâóåò óòâåðæäåíèþ: ñèñ-
òåìà ðàáîòîñïîñîáíà, åñëè ðàáîòîñïîñîáíû ýëåìåíòû 1 è 4, èëè 2 è 5, èëè 1, 3 è 5,
èëè 2, 3 è 4. Ëîãè÷åñêàÿ ñõåìà ìåòîäà ìèíèìàëüíûõ ñå÷åíèé, íàîáîðîò, ôîðìóëèðóåò
óñëîâèÿ îòêàçà ñèñòåìû (5.28), è â íåé ïîñëåäîâàòåëüíîå ñîåäèíåíèå ñîîòâåòñòâóåò ëî-
ãè÷åñêîìó "ÈËÈ", à ïàðàëëåëüíîå - ëîãè÷åñêîìó "È". Òî åñòü ñõåìà íà ðèñ.5.10 ñîîò-
âåòñòâóåò ôîðìóëèðîâêå: ñèñòåìà îòêàæåò, åñëè îòêàæóò ýëåìåíòû 1 è 2, èëè 4 è 5,
èëè 1, 3 è 5, èëè 2, 3 è 4.
Åùå îäíîé ãðàôè÷åñêîé ìîäåëüþ ñîñòîÿíèÿ òåõíè÷åñêîé ñèñòåìû è èë-
ëþñòðàöèåé ñîîòâåòñòâóþùåé åé ôîðìóëû àëãåáðû ëîãèêè (ôóíêöèè íåðà-
áîòîñïîñîáíîñòè) ÿâëÿåòñÿ äåðåâî îòêàçîâ, êîòîðîå ñîñòàâëÿåòñÿ äëÿ àíà-
ëèçà íàäåæíîñòè è îïðåäåëåíèÿ âåðîÿòíîñòè áåçîòêàçíîé ðàáîòû ñèñòåì
äåäóêòèâíûì ìåòîäîì (ìåòîäîì äåðåâà îòêàçîâ) [3,5].
 îòëè÷èå îò ëîãèêî-âåðîÿòíîñòíîãî ìåòîäà, ïðè ðåàëèçàöèè êîòîðîãî
ðàññìàòðèâàåòñÿ âëèÿíèå ñîñòîÿíèÿ êàæäîãî ýëåìåíòà íà ñîñòîÿíèå ñèñ-
òåìû â öåëîì (èíäóêòèâíûé ïîäõîä), äåäóêòèâíûé ìåòîä ïðåäïîëàãàåò
àíàëèç íåðàáîòîñïîñîáíîãî ñîñòîÿíèÿ ñèñòåìû è ïðè÷èí, êîòîðûå ê íåìó
ïðèâîäÿò, ò.å. îòêàçîâ ýëåìåíòîâ. Óñëîâèÿ, ïðè êîòîðûõ âîçíèêàåò îòêàç
ñèñòåìû (çàâåðøàþùåå ñîáûòèå), ñâîäèòñÿ â ëîãè÷åñêóþ ñõåìó ïðè÷èííî-
ñëåäñòâåííûõ ñâÿçåé îòêàçîâ â âèäå îðèåíòèðîâàííîãî ãðàôà ñ âåòâÿùåéñÿ
ñòðóêòóðîé - äåðåâî îòêàçîâ. Ñòðóêòóðíûìè ýëåìåíòàìè äåðåâà ñîáûòèÿ,
ñâÿçàííûå ìåæäó ñîáîé ëîãè÷åñêèìè îïåðàöèÿìè (ñâÿçêàìè).
Äëÿ ïîñòðîåíèÿ äåðåâà îòêàçîâ èñïîëüçóþòñÿ ñëåäóþùèå îñíîâíûå ïîíÿòèÿ è îáî-
çíà÷åíèÿ (ðèñ.5.11) [3,5]: ðåçóëüòèðóþùåå (çàâåðøàþùåå) ñîáûòèå - îòêàç òåõíè÷åñêîé
ñèñòåìû, àíàëèç êîòîðîãî ïðîâîäèòñÿ;
ïðîìåæóòî÷íîå ñîáûòèå - ñëîæíîå ñîáû-
òèå ñ ëîãè÷åñêèì îïåðàòîðîì, ÿâëÿþ-
ùååñÿ îäíîé èç âîçìîæíûõ ïðè÷èí ðå-
çóëüòèðóþùåãî (çàâåðøàþùåãî) èëè äðó-
ãîãî ïðîìåæóòî÷íîãî ñîáûòèÿ áîëåå âû-
ñîêîãî óðîâíÿ; ïåðâè÷íîå (áàçîâîå) ñî-
áûòèå - ïðîñòîå ñîáûòèå (îòêàç ýëåìåí-
òà), ïðè÷èíû êîòîðîãî ïðè ïîñòðîåíèè
äåðåâà îòêàçîâ íå àíàëèçèðóþòñÿ); ëîãè-
÷åñêèé îïåðàòîð äèçúþíêöèè (îïåðàòîð
"ÈËÈ") - îáîçíà÷àåò íàëè÷èå ñîáûòèÿ íà
âûõîäå ïðè íàëè÷èè õîòÿ áû îäíîãî ñî-
áûòèå íà âõîäå; ëîãè÷åñêèé îïåðàòîð
êîíúþíêöèè (îïåðàòîð "È") - îáîçíà÷àåò
íàëè÷èå ñîáûòèÿ íà âûõîäå òîëüêî ïðè
íàëè÷èè âñåõ ñîáûòèé íà âõîäå.
á)
â õ î ä û
â û õ î ä
ã)â)à)
ä)
Ðèñ.5.11. Óñëîâíûå îáîçíà÷åíèÿ â äåðåâüÿõ
îòêàçîâ [3,5]:
à - ðåçóëüòèðóþùåå (çàâåðøàþùåå) ñîáûòèå;
á - ïðîìåæóòî÷íîå ñîáûòèå; â - ïåðâè÷íîå
(áàçîâîå) ñîáûòèå (îòêàç ýëåìåíòà); ã - ñèì-
âîë äèçúþíêöèè (ëîãè÷åñêîå "ÈËÈ"); â -