Documente Academic
Documente Profesional
Documente Cultură
BDD 2
BDD 2
15 Mai 2011
Paul Ulmeanu
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
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
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
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
Cuprins Datele de intrare Logica sistemului Barlow-Proschan Birnbaum structural Calculul MUT, MDT
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
Cuprins Datele de intrare Logica sistemului Barlow-Proschan Birnbaum structural Calculul MUT, MDT
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
Cuprins Datele de intrare Logica sistemului Barlow-Proschan Birnbaum structural Calculul MUT, MDT
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
Cuprins Datele de intrare Logica sistemului Barlow-Proschan Birnbaum structural Calculul MUT, MDT
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
Cuprins Datele de intrare Logica sistemului Barlow-Proschan Birnbaum structural Calculul MUT, MDT
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
Cuprins Datele de intrare Logica sistemului Barlow-Proschan Birnbaum structural Calculul MUT, MDT
Relatii utile
Paul Ulmeanu
Cuprins Datele de intrare Logica sistemului Barlow-Proschan Birnbaum structural Calculul MUT, MDT
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
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
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
Paul Ulmeanu
Cuprins Datele de intrare Logica sistemului Barlow-Proschan Birnbaum structural 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
Cuprins Datele de intrare Logica sistemului Barlow-Proschan Birnbaum structural Calculul MUT, MDT
IBP (i = 1) =
0
( P / p1 )p dp
sau IBP (i = 1) =
0
(Px1 =1 Px1 =0 ) dp
Paul Ulmeanu
Cuprins Datele de intrare Logica sistemului Barlow-Proschan Birnbaum structural Calculul MUT, MDT
Cazul x1 = 1
Paul Ulmeanu
Cuprins Datele de intrare Logica sistemului Barlow-Proschan 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 Px1 =1 = P2/3 + (1 P2/3 )(2p p 2 )
Paul Ulmeanu
Cuprins Datele de intrare Logica sistemului Barlow-Proschan Birnbaum structural Calculul MUT, MDT
Cazul x1 = 0
Paul Ulmeanu
Cuprins Datele de intrare Logica sistemului Barlow-Proschan Birnbaum structural Calculul MUT, MDT
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
Cuprins Datele de intrare Logica sistemului Barlow-Proschan Birnbaum structural Calculul MUT, MDT
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
Cuprins Datele de intrare Logica sistemului 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 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
Cuprins Datele de intrare Logica sistemului 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
Cuprins Datele de intrare Logica sistemului Barlow-Proschan Birnbaum structural Calculul MUT, MDT
R1 si R3 : traseele T1 , T2 si T3 inactive
Paul Ulmeanu
Cuprins Datele de intrare Logica sistemului Barlow-Proschan Birnbaum structural Calculul MUT, MDT
R1 si R3 : traseele T1 , T2 si T3 inactive
Paul Ulmeanu
Cuprins Datele de intrare Logica sistemului Barlow-Proschan Birnbaum structural Calculul MUT, MDT
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
Cuprins Datele de intrare Logica sistemului Barlow-Proschan Birnbaum structural Calculul MUT, MDT
Paul Ulmeanu
Cuprins Datele de intrare Logica sistemului Barlow-Proschan Birnbaum structural Calculul MUT, MDT
Cuprins Datele de intrare Logica sistemului Barlow-Proschan Birnbaum structural Calculul MUT, MDT
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
Cuprins Datele de intrare Logica sistemului Barlow-Proschan Birnbaum structural Calculul MUT, MDT
Vericare
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
Cuprins Datele de intrare Logica sistemului Barlow-Proschan Birnbaum structural Calculul MUT, MDT
Vericare
Paul Ulmeanu
Cuprins Datele de intrare Logica sistemului Barlow-Proschan Birnbaum structural Calculul MUT, MDT
Vericare
Paul Ulmeanu
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
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