Sunteți pe pagina 1din 37

Cuprins

Datele de intrare
Logica sistemului
Barlow-Proschan
Birnbaum structural
Calculul MUT, MDT

Verificare solutii la refacere lucrare sisteme

Paul Ulmeanu

15 Mai 2011

Paul Ulmeanu Verificare solutii la refacere lucrare sisteme


Cuprins
Datele de intrare
Logica sistemului
Barlow-Proschan
Birnbaum structural
Calculul MUT, MDT
Cuprins
Datele de intrare
Date de intrare (x4 = 0)
Date de intrare (x4 = 1)
Relatii utile
Logica sistemului
K vs. T
Lista traseelor
Diagrama bloc sistem
Probabilitatea de succes
Barlow-Proschan
Probabilitatea de succes x1 = 1
Probabilitatea de succes x1 = 0
Birnbaum structural
Identificarea vectorilor critici ai componentei 4
Calculul MUT, MDT
Verificare Paul Ulmeanu Verificare solutii la refacere lucrare sisteme
Cuprins
Datele de intrare
Logica sistemului
Barlow-Proschan
Birnbaum structural
Calculul MUT, MDT

Cerinte si premize

I Structura logica a sistemului: obtinerea traseelor minimale


atunci cand se cunosc taieturile minimale si reciproc

Paul Ulmeanu Verificare solutii la refacere lucrare sisteme


Cuprins
Datele de intrare
Logica sistemului
Barlow-Proschan
Birnbaum structural
Calculul MUT, MDT

Cerinte si premize

I Structura logica a sistemului: obtinerea traseelor minimale


atunci cand se cunosc taieturile minimale si reciproc
I Etapele evaluarii verificarii solutiilor

Paul Ulmeanu Verificare solutii la refacere lucrare sisteme


Cuprins
Datele de intrare
Logica sistemului
Barlow-Proschan
Birnbaum structural
Calculul MUT, MDT

Cerinte si premize

I Structura logica a sistemului: obtinerea traseelor minimale


atunci cand se cunosc taieturile minimale si reciproc
I Etapele evaluarii verificarii solutiilor
I Calculul indicatorilor structurali

Paul Ulmeanu Verificare solutii la refacere lucrare sisteme


Cuprins
Datele de intrare
Logica sistemului
Barlow-Proschan
Birnbaum structural
Calculul MUT, MDT

Cerinte si premize

I Structura logica a sistemului: obtinerea traseelor minimale


atunci cand se cunosc taieturile minimale si reciproc
I Etapele evaluarii verificarii solutiilor
I Calculul indicatorilor structurali
I Propunerile si analiza subiectelor pt. consultatii se realizeaza
in continuare conform http://energ.curs.pub.ro/2010

Paul Ulmeanu Verificare solutii la refacere lucrare sisteme


Cuprins
Datele de intrare
Date de intrare (x4 = 0)
Logica sistemului
Date de intrare (x4 = 1)
Barlow-Proschan
Relatii utile
Birnbaum structural
Calculul MUT, MDT

Date de intrare

I Sistemul analizat are un numar de sase componente binare,


identice si independente, fiecare avind probabilitatea de succes
p si intensitatea de defectare λ

Paul Ulmeanu Verificare solutii la refacere lucrare sisteme


Cuprins
Datele de intrare
Date de intrare (x4 = 0)
Logica sistemului
Date de intrare (x4 = 1)
Barlow-Proschan
Relatii utile
Birnbaum structural
Calculul MUT, MDT

Date de intrare

I Sistemul analizat are un numar de sase componente binare,


identice si independente, fiecare avind probabilitatea de succes
p si intensitatea de defectare λ
I Logica sistemului este precizata prin indicarea unui set de
trasee minimale, respectiv a unui set de taieturi minimale
(ambele in doua ipoteze precizate: cand o componenta este in
stare de succes, respectiv aceeasi componenta in stare de
insucces)

Paul Ulmeanu Verificare solutii la refacere lucrare sisteme


Cuprins
Datele de intrare
Date de intrare (x4 = 0)
Logica sistemului
Date de intrare (x4 = 1)
Barlow-Proschan
Relatii utile
Birnbaum structural
Calculul MUT, MDT

Date de intrare

I Sistemul analizat are un numar de sase componente binare,


identice si independente, fiecare avind probabilitatea de succes
p si intensitatea de defectare λ
I Logica sistemului este precizata prin indicarea unui set de
trasee minimale, respectiv a unui set de taieturi minimale
(ambele in doua ipoteze precizate: cand o componenta este in
stare de succes, respectiv aceeasi componenta in stare de
insucces)
I Construirea modelului face apel la tehnici algebrice prezentate
la curs.

Paul Ulmeanu Verificare solutii la refacere lucrare sisteme


Cuprins
Datele de intrare
Date de intrare (x4 = 0)
Logica sistemului
Date de intrare (x4 = 1)
Barlow-Proschan
Relatii utile
Birnbaum structural
Calculul MUT, MDT

Date de intrare: trasee minimale cand x4 = 0

In cazul in care x4 = 0 (componenta 4 in stare de insucces),


traseele minimale ale sistemului devin:

T1 = {1, 2}
T2 = {1, 3}
T3 = {2, 3}
T4 = {5, 6}

Paul Ulmeanu Verificare solutii la refacere lucrare sisteme


Cuprins
Datele de intrare
Date de intrare (x4 = 0)
Logica sistemului
Date de intrare (x4 = 1)
Barlow-Proschan
Relatii utile
Birnbaum structural
Calculul MUT, MDT

Date de intrare: taieturile minimale cand x4 = 1

In cazul in care x4 = 1 (componenta 4 in stare de succes),


taieturile minimale ale sistemului devin:

K1 = 1̄, 2̄, 5̄, 6̄

K2 = 1̄, 3̄, 5̄, 6̄

K3 = 1̄, 3̄, 5̄, 6̄

Paul Ulmeanu Verificare solutii la refacere lucrare sisteme


Cuprins
Datele de intrare
Date de intrare (x4 = 0)
Logica sistemului
Date de intrare (x4 = 1)
Barlow-Proschan
Relatii utile
Birnbaum structural
Calculul MUT, MDT

Relatii utile

a ? a = a; a ? 0 = 0; a ? 1 = a; a ? ā = 0;
a+̇1 = 1; a+̇0 = a; a+̇ā = 1;
a+̇b = a+̇ā ? b = b +̇b̄ ? a
a ? b = ā+̇b̄
a+̇b = ā ? b̄
a ? (b +̇c) = a ? b +̇a ? c

Paul Ulmeanu Verificare solutii la refacere lucrare sisteme


Cuprins
Datele de intrare K vs. T
Logica sistemului Lista traseelor
Barlow-Proschan Diagrama bloc sistem
Birnbaum structural Probabilitatea de succes
Calculul MUT, MDT

Multimea taieturilor K in cazul x4 = 1 este: K = K1 +̇K2 +̇K3


Multimea traseelor in acest caz se obtine din relatia logica
InsuccesSistem = SuccesSistem.
K̄ = K1 +̇K2 +̇K3 = K1 ? K2 ? K3
unde:
K1 = 1̄ ? 2̄ ? 5̄ ? 6̄ ⇒ K1 = 1+̇2+̇5+̇6
K2 = 1̄ ? 3̄ ? 5̄ ? 6̄ ⇒ K2 = 1+̇3+̇5+̇6
K3 = 2̄ ? 3̄ ? 5̄ ? 6̄ ⇒ K3 = 2+̇3+̇5+̇6
K1 ? K2 = (1+̇2+̇5+̇6) ? (1+̇3+̇5+̇6) = 1+̇5+̇6+̇2 ? 3
K1 ?K2 ?K3 = (1+̇5+̇6+̇2?3)?(2+̇3+̇5+̇6) = 1?2+̇1?3+̇2?3+̇5+̇6
Rezulta multimea traseelor minimale in acest caz:
T1 = {1, 2} ; T2 = {1, 3} ; T3 = {2, 3} ; T 5 = {5} ; T 6 = {6} .
Observatie: S-au pastrat notatiile pentru: T1 , T2 si T3 . S-a
continuat notatia incepand cu T 5, T4 fiind deja alocat (x4 = 0).

Paul Ulmeanu Verificare solutii la refacere lucrare sisteme


Cuprins
Datele de intrare K vs. T
Logica sistemului Lista traseelor
Barlow-Proschan Diagrama bloc sistem
Birnbaum structural Probabilitatea de succes
Calculul MUT, MDT

Cele doua ipoteze din enunt

Remarca: T1 , T2 si T3 nu se modifica ca urmare a


x4 = 1 ⇒ x4 = 0. Ca urmare T1 , T2 si T3 nu contin componenta 4
si sunt primele trei trasee identificate ale sistemului.
Paul Ulmeanu Verificare solutii la refacere lucrare sisteme
Cuprins
Datele de intrare K vs. T
Logica sistemului Lista traseelor
Barlow-Proschan Diagrama bloc sistem
Birnbaum structural Probabilitatea de succes
Calculul MUT, MDT

Lista traseelor minimale ale sistemului

Remarca: Sistemul are 6 trasee minimale: T1 = {1, 2} ,


T2 = {1, 3}, T3 = {2, 3}, T4 = {5, 6}, T5 = {4, 6} si T6 = {4, 5}.

Paul Ulmeanu Verificare solutii la refacere lucrare sisteme


Cuprins
Datele de intrare K vs. T
Logica sistemului Lista traseelor
Barlow-Proschan Diagrama bloc sistem
Birnbaum structural Probabilitatea de succes
Calculul MUT, MDT

Diagrama bloc a sistemului si evidentierea traseelor


minimale

Paul Ulmeanu Verificare solutii la refacere lucrare sisteme


Cuprins
Datele de intrare K vs. T
Logica sistemului Lista traseelor
Barlow-Proschan Diagrama bloc sistem
Birnbaum structural Probabilitatea de succes
Calculul MUT, MDT

Pentru un sistem ’2/3’, probabilitatea de succes este

P2/3 = 3p 2 − 2p 3

Rezulta probabilitatea de succes a sistemului

P = P2/3 + (1 − P2/3 )P2/3 = 2(3p 2 − 2p 3 ) − (3p 2 − 2p 3 )2

P = 6p 2 − 4p 3 − 9p 4 + 12p 5 − 4p 6

Paul Ulmeanu Verificare solutii la refacere lucrare sisteme


Cuprins
Datele de intrare
Logica sistemului Probabilitatea de succes x1 = 1
Barlow-Proschan Probabilitatea de succes x1 = 0
Birnbaum structural
Calculul MUT, MDT

Calculul factorului de importanta structurala


Barlow-Proschan pentru componenta 1

Z 1
IBP (i = 1) = (∂P/∂p1 )p dp
0
sau Z 1
IBP (i = 1) = (Px1 =1 − Px1 =0 ) dp
0
In continuare se prezinta calculul in cele doua cazuri: x1 = 1,
respectiv x1 = 0.

Paul Ulmeanu Verificare solutii la refacere lucrare sisteme


Cuprins
Datele de intrare
Logica sistemului Probabilitatea de succes x1 = 1
Barlow-Proschan Probabilitatea de succes x1 = 0
Birnbaum structural
Calculul MUT, MDT

Cazul x1 = 1

Paul Ulmeanu Verificare solutii la refacere lucrare sisteme


Cuprins
Datele de intrare
Logica sistemului Probabilitatea de succes x1 = 1
Barlow-Proschan Probabilitatea de succes x1 = 0
Birnbaum structural
Calculul MUT, MDT

Pentru un sistem ’2/3’, probabilitatea de succes a sistemului este

P2/3 = 3p 2 − 2p 3

In cazul x1 = 1, probabilitatea de succes va fi

Px1 =1 = P2/3 + (1 − P2/3 )(2p − p 2 )

Paul Ulmeanu Verificare solutii la refacere lucrare sisteme


Cuprins
Datele de intrare
Logica sistemului Probabilitatea de succes x1 = 1
Barlow-Proschan Probabilitatea de succes x1 = 0
Birnbaum structural
Calculul MUT, MDT

Cazul x1 = 0

Paul Ulmeanu Verificare solutii la refacere lucrare sisteme


Cuprins
Datele de intrare
Logica sistemului Probabilitatea de succes x1 = 1
Barlow-Proschan Probabilitatea de succes x1 = 0
Birnbaum structural
Calculul MUT, MDT

In cazul x1 = 0, probabilitatea de succes a sistemului va fi

Px1 =0 = P2/3 + (1 − P2/3 )p 2

Rezulta
Px1 =1 − Px1 =0 = (1 − P2/3 )(2p − 2p 2 ) = 2p(1 − p)(1 − 3p 2 + 2p 3 )
Px1 =1 − Px1 =0 = −4p 5 + 10p 4 − 6p 3 − 2p 2 + 2p
Rezulta: R1
IBP (i = 1) = 0 −4p 5 + 10p 4 − 6p 3 − 2p 2 + 2p dp


IBP (i = 1) = −4/6 + 10/5 − 6/4 − 2/3 + 2/2 = 3/2 − 4/3 = 1/6


Observatie:
P6 Oricare ar fi fost logica acestui sistem,
i=1 IBP (i) = 1. Sistemul fiind simetric, toate componentele au
acelasi factor: IBP (i) = 1/6.

Paul Ulmeanu Verificare solutii la refacere lucrare sisteme


Cuprins
Datele de intrare
Logica sistemului
Identificarea vectorilor critici ai componentei 4
Barlow-Proschan
Birnbaum structural
Calculul MUT, MDT

Calculul factorului de importanta structurala Birnbaum


pentru componenta 4

IBϕ (i = 4) = nϕ (4)/2n−1 = nϕ (4)/25


Trei reguli aplicate simultan:
R1 : sistemul in stare de succes (cel putin unul din cele sase trasee
ale sale sa fie activ);
R2 : componenta 4 in stare de succes;
R3 : x4 = 1 → x4 = 0 implica sistemul trece din starea de succes in
starea de insucces.

Paul Ulmeanu Verificare solutii la refacere lucrare sisteme


Cuprins
Datele de intrare
Logica sistemului
Identificarea vectorilor critici ai componentei 4
Barlow-Proschan
Birnbaum structural
Calculul MUT, MDT

R1 si R3 : traseele T1 , T2 si T3 inactive
Daca cel putin unul din traseele T1 , T2 sau T3 este functional,
atunci componenta 4 nu poate fi critica, intrucat schimbarea sa
x4 = 1 ⇒ x4 = 0 nu aduce schimbarea starii sistemului din succes
in insucces, intrucat exista cel putin o alta solutie (traseu) care
poate prelua indisponibilitatea componentei 4:

Paul Ulmeanu Verificare solutii la refacere lucrare sisteme


Cuprins
Datele de intrare
Logica sistemului
Identificarea vectorilor critici ai componentei 4
Barlow-Proschan
Birnbaum structural
Calculul MUT, MDT

R1 si R3 : traseele T1 , T2 si T3 inactive
In total sunt 4 astfel de variante (cea din slide-ul anterior si
urmatoarele trei) :

Paul Ulmeanu Verificare solutii la refacere lucrare sisteme


Cuprins
Datele de intrare
Logica sistemului
Identificarea vectorilor critici ai componentei 4
Barlow-Proschan
Birnbaum structural
Calculul MUT, MDT

R1 si R3 : traseele T1 , T2 si T3 inactive

Paul Ulmeanu Verificare solutii la refacere lucrare sisteme


Cuprins
Datele de intrare
Logica sistemului
Identificarea vectorilor critici ai componentei 4
Barlow-Proschan
Birnbaum structural
Calculul MUT, MDT

R1 si R3 : traseele T1 , T2 si T3 inactive

Paul Ulmeanu Verificare solutii la refacere lucrare sisteme


Cuprins
Datele de intrare
Logica sistemului
Identificarea vectorilor critici ai componentei 4
Barlow-Proschan
Birnbaum structural
Calculul MUT, MDT

R1 si R3 : similar traseul T4 = {5, 6} inactiv, dar una dintre


componentele sale trebuie sa fie disponibila
Componentele 5 si 6 sunt listate in traseele T4 , T5 si T6 .
Componenta 4 este listata in traseele T5 si T6 . De aceea, traseul
T4 se discuta acum, separat de T1 , T2 , T3 , intrucat componentele
1, 2, 3 nu sunt listate in trasee care implica componenta 4.
Alaturat componenta 6 este disponibila.

Paul Ulmeanu Verificare solutii la refacere lucrare sisteme


Cuprins
Datele de intrare
Logica sistemului
Identificarea vectorilor critici ai componentei 4
Barlow-Proschan
Birnbaum structural
Calculul MUT, MDT

R1 si R3 : similar traseul T4 = {5, 6} inactiv,dar una dintre


componentele sale disponibila
Aici componenta 5 este disponibila.

Paul Ulmeanu Verificare solutii la refacere lucrare sisteme


Cuprins
Datele de intrare
Logica sistemului
Identificarea vectorilor critici ai componentei 4
Barlow-Proschan
Birnbaum structural
Calculul MUT, MDT

Calculul factorului de importanta structurala Birnbaum


pentru componenta 4

Pentru fiecare din cele 4 variante enumerate mai sus referitoare la


T1 ,T2 ,T3 exista cate doua variante referitoare la T4 .
In total: 4x2 = 8 vectori critici.
Rezulta:
IBϕ (i = 4) = 8/25 = 0.25
Observatie. Lista vectorilor critici pentru componenta 4:
V1 = (!1, !2, 3, 4, !5, 6) ; V2 = (!1, !2, 3, 4, 5, !6)
V3 = (!1, 2, !3, 4, !5, 6) ; V4 = (!1, 2, !3, 4, 5, !6)
V5 = (1, !2, !3, 4, !5, 6) ; V6 = (1, !2, !3, 4, 5, !6)
V7 = (!1, !2, !3, 4, !5, 6) ; V8 = (!1, !2, !3, 4, 5, !6).

Paul Ulmeanu Verificare solutii la refacere lucrare sisteme


Cuprins
Datele de intrare
Logica sistemului
Identificarea vectorilor critici ai componentei 4
Barlow-Proschan
Birnbaum structural
Calculul MUT, MDT

Reprezentare grafica
V1 , V3 si V5 sunt vectori critici si pentru componenta 5. V2 , V4 si
V6 sunt vectori critici si pentru componenta 6. Reprezentarea
grafica este alaturata. Rezulta ca sistemul are 8 · 6/2 = 24 vectori
critici: 6 sunt cu 4 componente indisponibile si 2 disponibile, restul
de 18 vor fi cu 3 componente indisponibile si 3 disponibile.

Paul Ulmeanu Verificare solutii la refacere lucrare sisteme


Cuprins
Datele de intrare
Logica sistemului
Verificare
Barlow-Proschan
Birnbaum structural
Calculul MUT, MDT

Calculul frecventei asteptate de intrerupere a nivelului de


succes a sistemului

Pentru calculul frecventei ν, tinand seama de etapele parcurse


pana in prezent, vom utiliza relatia:
6
X
νs = IB (i) · νi
i=1

Intrucat toate componentele sunt identice, avem


ν1 = ν2 = ... = ν6 = λp.
IB (i) = ∂P/∂pi = Pxi =1 − Pxi =0 = −4p 5 + 10p 4 − 6p 3 − 2p 2 + 2p

Paul Ulmeanu Verificare solutii la refacere lucrare sisteme


Cuprins
Datele de intrare
Logica sistemului
Verificare
Barlow-Proschan
Birnbaum structural
Calculul MUT, MDT

Calculul timpului mediu de succes al sistemului

Timpul mediu de succes al sistemului este:

MUT = P/νS

Probabilitatea de succes a sistemului este:

P = 6p 2 − 4p 3 − 9p 4 + 12p 5 − 4p 6

Frecventa asteptata de intrerupere a nivelului de succes a


sistemului este:

νs = 6λp(−4p 5 + 10p 4 − 6p 3 − 2p 2 + 2p)

Paul Ulmeanu Verificare solutii la refacere lucrare sisteme


Cuprins
Datele de intrare
Logica sistemului
Verificare
Barlow-Proschan
Birnbaum structural
Calculul MUT, MDT

Calculul timpului mediu de insucces al sistemului

Timpul mediu de insucces al sistemului este:

MDT = Q/νS

Probabilitatea de succes a sistemului este:

Q = 1 − P = 1 − 6p 2 + 4p 3 + 9p 4 − 12p 5 + 4p 6

Frecventa asteptata de intrerupere a nivelului de succes a


sistemului este:

νs = 6λp(−4p 5 + 10p 4 − 6p 3 − 2p 2 + 2p)

Paul Ulmeanu Verificare solutii la refacere lucrare sisteme


Cuprins
Datele de intrare
Logica sistemului
Verificare
Barlow-Proschan
Birnbaum structural
Calculul MUT, MDT

Exemplu numeric

Fie p = 0, 6 si λ = 10−4 (1/h).


Se obtin:
IB (i) = −4p 5 + 10p 4 − 6p 3 − 2p 2 + 2p = 0, 16896
νs = 6 · 0, 16896 · 0, 6 · 10−4 = 6, 08256 · 10−5 (1/h)
P = 6p 2 − 4p 3 − 9p 4 + 12p 5 − 4p 6 = 0, 876096
MUT = P/ν = 0, 876096/(6, 08256 · 10−5 ) ∼ = 14403, 4 (h)
MDT = Q/ν = 0, 123904/(6, 08256 · 10−5 ) ∼ = 2037 (h)

Paul Ulmeanu Verificare solutii la refacere lucrare sisteme


Cuprins
Datele de intrare
Logica sistemului
Verificare
Barlow-Proschan
Birnbaum structural
Calculul MUT, MDT

Verificare
Sistemul are 26 = 64 stari:
i) 1 stare cu toate cele sase componente in stare de insucces
(indisponibile) ;
ii) 6 stari cu cinci componente in stare de insucces si una in stare
de succes ;
iii) 15 stari cu patru componente in stare de insucces si doua in
stare de succes (din care 6 critice);
iv) 20 stari cu trei componente in stare de insucces si trei in stare
de succes (din care 18 critice) ;
v) 15 stari cu doua componente in stare de insucces si patru in
stare de succes ;
vi) 6 stari cu o componenta in stare de insucces si cinci in stare de
succes ;
vii) 1 stare cu sase componente in stare de succes.
Paul Ulmeanu Verificare solutii la refacere lucrare sisteme
Cuprins
Datele de intrare
Logica sistemului
Verificare
Barlow-Proschan
Birnbaum structural
Calculul MUT, MDT

Verificare

Din cele 64 de stari, 48 sunt de succes (respectiv iv,v,vi,vii si 6


stari din iii), iar 16 sunt de insucces (respectiv i,ii si 9 stari din iii).
Q = q 6 + 6q 5 p + 9q 4 p 2 = 0, 123904
νs = q 6 · 6µ + 6q 5 p(5µ − λ) + 9q 4 p 2 (4µ − 2λ) = 6, 08256 · 10−5
(1/h) respectiv
P = p 6 + 6p 5 q + 15p 4 q 2 + 20p 3 q 3 + 6p 2 q 4 = 0, 876096
νs = p 6 · 6λ + 6p 5 q(5λ − µ) + 15p 4 q 2 (4λ − 2µ) + 20p 3 q 3 (3λ −
−3µ) + 6p 2 q 4 (2λ − 4µ) = 6, 08256 · 10−5 (1/h)
Observatie: Din cele 15 stari din iii), 6 sunt de succes:
{1, 2, !3, !4, !5, !6} , {!1, 2, 3, !4, !5, !6} , {1, !2, 3, !4, !5, !6} ,
{!1, !2, !3, 4, 5, !6} , {!1, !2, !3, 4, !5, 6} si {!1, !2, !3, !4, 5, 6}.

Paul Ulmeanu Verificare solutii la refacere lucrare sisteme

S-ar putea să vă placă și