Sunteți pe pagina 1din 37

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

Vericare solutii la refacere lucrare sisteme


Paul Ulmeanu

15 Mai 2011

Paul Ulmeanu

Vericare 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 Identicarea vectorilor critici ai componentei 4 Calculul MUT, MDT Vericare Paul Ulmeanu Vericare solutii la refacere lucrare sisteme

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

Cerinte si premize

Structura logica a sistemului: obtinerea traseelor minimale atunci cand se cunosc taieturile minimale si reciproc

Paul Ulmeanu

Vericare solutii la refacere lucrare sisteme

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

Cerinte si premize

Structura logica a sistemului: obtinerea traseelor minimale atunci cand se cunosc taieturile minimale si reciproc Etapele evaluarii vericarii solutiilor

Paul Ulmeanu

Vericare solutii la refacere lucrare sisteme

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

Cerinte si premize

Structura logica a sistemului: obtinerea traseelor minimale atunci cand se cunosc taieturile minimale si reciproc Etapele evaluarii vericarii solutiilor Calculul indicatorilor structurali

Paul Ulmeanu

Vericare solutii la refacere lucrare sisteme

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

Cerinte si premize

Structura logica a sistemului: obtinerea traseelor minimale atunci cand se cunosc taieturile minimale si reciproc Etapele evaluarii vericarii solutiilor Calculul indicatorilor structurali Propunerile si analiza subiectelor pt. consultatii se realizeaza in continuare conform http://energ.curs.pub.ro/2010

Paul Ulmeanu

Vericare solutii la refacere lucrare sisteme

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

Date de intrare (x4 = 0) Date de intrare (x4 = 1) Relatii utile

Date de intrare
Sistemul analizat are un numar de sase componente binare, identice si independente, ecare avind probabilitatea de succes p si intensitatea de defectare

Paul Ulmeanu

Vericare solutii la refacere lucrare sisteme

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

Date de intrare (x4 = 0) Date de intrare (x4 = 1) Relatii utile

Date de intrare
Sistemul analizat are un numar de sase componente binare, identice si independente, ecare avind probabilitatea de succes p si intensitatea de defectare 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

Vericare solutii la refacere lucrare sisteme

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

Date de intrare (x4 = 0) Date de intrare (x4 = 1) Relatii utile

Date de intrare
Sistemul analizat are un numar de sase componente binare, identice si independente, ecare avind probabilitatea de succes p si intensitatea de defectare 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) Construirea modelului face apel la tehnici algebrice prezentate la curs.

Paul Ulmeanu

Vericare solutii la refacere lucrare sisteme

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

Date de intrare (x4 = 0) Date de intrare (x4 = 1) Relatii utile

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

Vericare solutii la refacere lucrare sisteme

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

Date de intrare (x4 = 0) Date de intrare (x4 = 1) Relatii utile

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

Vericare solutii la refacere lucrare sisteme

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

Date de intrare (x4 = 0) Date de intrare (x4 = 1) Relatii utile

Relatii utile

a a = a; a 0 = 0; a 1 = a; a a = 0; a+1 = 1; a+0 = a; a+ a = 1; a b = a+ a b = b+ b a+ b a b= a+ a+b = a b c ) = a b+ a c a (b +

Paul Ulmeanu

Vericare solutii la refacere lucrare sisteme

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

K vs. T Lista traseelor Diagrama bloc sistem Probabilitatea de succes

K3 K2 + Multimea taieturilor K in cazul x4 = 1 este: K = K1 + Multimea traseelor in acest caz se obtine din relatia logica InsuccesSistem = SuccesSistem. = K1 + K2 + K3 = K1 K2 K3 K unde: +5 +6 K1 = 1 2 5 6 K1 = 1+2 +5 +6 K2 = 1 3 5 6 K2 = 1+3 K3 = 2 3 5 6 K3 = 2+3+5+6 +5 +6) +5 +6) = 1+5 +6 +2 K1 K2 = (1+2 (1+3 3 +6 +2 3) (2+3 +5 +6) = 1 2+1 3+2 3+5 +6 K1 K2 K3 = (1+5 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 ind deja alocat (x4 = 0).
Paul Ulmeanu Vericare solutii la refacere lucrare sisteme

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

K vs. T Lista traseelor Diagrama bloc sistem Probabilitatea de succes

Cele doua ipoteze din enunt

Remarca: T1 , T2 si T3 nu se modica ca urmare a x4 = 1 x4 = 0. Ca urmare T1 , T2 si T3 nu contin componenta 4 si sunt primele trei trasee identicate ale sistemului.
Paul Ulmeanu Vericare solutii la refacere lucrare sisteme

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

K vs. T Lista traseelor Diagrama bloc sistem Probabilitatea de succes

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 Vericare solutii la refacere lucrare sisteme

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

K vs. T Lista traseelor Diagrama bloc sistem Probabilitatea de succes

Diagrama bloc a sistemului si evidentierea traseelor minimale

Paul Ulmeanu

Vericare solutii la refacere lucrare sisteme

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

K vs. T Lista traseelor Diagrama bloc sistem Probabilitatea de succes

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

Vericare solutii la refacere lucrare sisteme

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

Probabilitatea de succes x1 = 1 Probabilitatea de succes x1 = 0

Calculul factorului de importanta structurala Barlow-Proschan pentru componenta 1

IBP (i = 1) =
0

( P / p1 )p dp

sau IBP (i = 1) =
0

(Px1 =1 Px1 =0 ) dp

In continuare se prezinta calculul in cele doua cazuri: x1 = 1, respectiv x1 = 0.

Paul Ulmeanu

Vericare solutii la refacere lucrare sisteme

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

Probabilitatea de succes x1 = 1 Probabilitatea de succes x1 = 0

Cazul x1 = 1

Paul Ulmeanu

Vericare solutii la refacere lucrare sisteme

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

Probabilitatea de succes x1 = 1 Probabilitatea de succes x1 = 0

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 Px1 =1 = P2/3 + (1 P2/3 )(2p p 2 )

Paul Ulmeanu

Vericare solutii la refacere lucrare sisteme

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

Probabilitatea de succes x1 = 1 Probabilitatea de succes x1 = 0

Cazul x1 = 0

Paul Ulmeanu

Vericare solutii la refacere lucrare sisteme

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

Probabilitatea de succes x1 = 1 Probabilitatea de succes x1 = 0

In cazul x1 = 0, probabilitatea de succes a sistemului va 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: 1 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: Oricare ar fost logica acestui sistem, 6 i =1 IBP (i ) = 1. Sistemul ind simetric, toate componentele au acelasi factor: IBP (i ) = 1/6.

Paul Ulmeanu

Vericare solutii la refacere lucrare sisteme

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

Identicarea vectorilor critici ai componentei 4

Calculul factorului de importanta structurala Birnbaum pentru componenta 4

IB (i = 4) = n (4)/2n1 = n (4)/25

Trei reguli aplicate simultan: R1 : sistemul in stare de succes (cel putin unul din cele sase trasee ale sale sa e 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

Vericare solutii la refacere lucrare sisteme

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

Identicarea vectorilor critici ai componentei 4

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 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

Vericare solutii la refacere lucrare sisteme

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

Identicarea vectorilor critici ai componentei 4

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

Vericare solutii la refacere lucrare sisteme

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

Identicarea vectorilor critici ai componentei 4

R1 si R3 : traseele T1 , T2 si T3 inactive

Paul Ulmeanu

Vericare solutii la refacere lucrare sisteme

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

Identicarea vectorilor critici ai componentei 4

R1 si R3 : traseele T1 , T2 si T3 inactive

Paul Ulmeanu

Vericare solutii la refacere lucrare sisteme

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

Identicarea vectorilor critici ai componentei 4

R1 si R3 : similar traseul T4 = {5, 6} inactiv, dar una dintre componentele sale trebuie sa e 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

Vericare solutii la refacere lucrare sisteme

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

Identicarea vectorilor critici ai componentei 4

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


Aici componenta 5 este disponibila.

Paul Ulmeanu

Vericare solutii la refacere lucrare sisteme

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

Identicarea vectorilor critici ai componentei 4

Calculul factorului de importanta structurala Birnbaum pentru componenta 4


Pentru ecare din cele 4 variante enumerate mai sus referitoare la T1 ,T2 ,T3 exista cate doua variante referitoare la T4 . In total: 4x 2 = 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 Vericare solutii la refacere lucrare sisteme

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

Identicarea vectorilor critici ai componentei 4

Reprezentare graca
V1 , V3 si V5 sunt vectori critici si pentru componenta 5. V2 , V4 si V6 sunt vectori critici si pentru componenta 6. Reprezentarea graca 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 cu 3 componente indisponibile si 3 disponibile.

Paul Ulmeanu

Vericare solutii la refacere lucrare sisteme

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

Vericare

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

s =
i =1

IB (i ) i

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

Vericare solutii la refacere lucrare sisteme

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

Vericare

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 = 6p (4p 5 + 10p 4 6p 3 2p 2 + 2p )

Paul Ulmeanu

Vericare solutii la refacere lucrare sisteme

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

Vericare

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 = 6p (4p 5 + 10p 4 6p 3 2p 2 + 2p )

Paul Ulmeanu

Vericare solutii la refacere lucrare sisteme

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

Vericare

Exemplu numeric

Fie p = 0, 6 si = 104 (1/h). Se obtin: IB (i ) = 4p 5 + 10p 4 6p 3 2p 2 + 2p = 0, 16896 s = 6 0, 16896 0, 6 104 = 6, 08256 105 (1/h) P = 6p 2 4p 3 9p 4 + 12p 5 4p 6 = 0, 876096 MUT = P / = 0, 876096/(6, 08256 105 ) = 14403, 4 (h) MDT = Q / = 0, 123904/(6, 08256 105 ) = 2037 (h)

Paul Ulmeanu

Vericare solutii la refacere lucrare sisteme

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

Vericare

Vericare
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 Vericare solutii la refacere lucrare sisteme

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

Vericare

Vericare
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 105 (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 105 (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 Vericare solutii la refacere lucrare sisteme