C1

Cuprins Datele pentru subiectul 1 Logica sistemului Evaluarea modelului
Subiectul 1 consultatii
Paul Ulmeanu
5 Aprilie 2011
Paul Ulmeanu
Cuprins Datele pentru subiectul 1 Logica sistemului Date de intrare Validarea unei taieturi propuse Invalidarea unei taieturi propuse Construirea BDD Evaluarea modelului Obtinerea taieturilor minimale Barlow-Proschan MUT Deducerea vectorilor critici pe baza BDD
Paul Ulmeanu
Cerinte si premize
Evaluarea numarului critic de vectori pentru o componenta in cazul simularii de la Lucrare de Control (LC) - pe baza de BDD
Paul Ulmeanu
Cerinte si premize
Evaluarea numarului critic de vectori pentru o componenta in cazul simularii de la Lucrare de Control (LC) - pe baza de BDD
Paul Ulmeanu
Cerinte si premize
Evaluarea numarului critic de vectori pentru o componenta in cazul simularii de la Lucrare de Control (LC) - pe baza de BDD Simularea a fost prezentata in detaliu la curs.
Paul Ulmeanu
Cerinte si premize
Evaluarea numarului critic de vectori pentru o componenta in cazul simularii de la Lucrare de Control (LC) - pe baza de BDD Simularea a fost prezentata in detaliu la curs. Fisierul de indicatii si recomandari este LC.pdf
Paul Ulmeanu
Cerinte si premize
Evaluarea numarului critic de vectori pentru o componenta in cazul simularii de la Lucrare de Control (LC) - pe baza de BDD Simularea a fost prezentata in detaliu la curs. Fisierul de indicatii si recomandari este LC.pdf Propunerile si analiza subiectelor pt. consultatii se realizeaza conform http://energ.curs.pub.ro/2010
Paul Ulmeanu
Date
Sistemul analizat are un numar de sapte componente binare si independente
Paul Ulmeanu
Date
Sistemul analizat are un numar de sapte componente binare si independente Logica sistemului este precizata e prin indicarea unui set de trasee minimale, e a unui set de taieturi minimale
Paul Ulmeanu
Date
Sistemul analizat are un numar de sapte componente binare si independente Logica sistemului este precizata e prin indicarea unui set de trasee minimale, e a unui set de taieturi minimale Construirea modelului face apel la tehnici algebrice prezentate la curs, in principal bazate pe BDD si produse disjuncte
Paul Ulmeanu
Date
Sistemul analizat are un numar de sapte componente binare si independente Logica sistemului este precizata e prin indicarea unui set de trasee minimale, e a unui set de taieturi minimale Construirea modelului face apel la tehnici algebrice prezentate la curs, in principal bazate pe BDD si produse disjuncte BDD este un mijloc adecvat de obtinere a taieturilor minimale, daca se cunosc traseele minimale si vice-versa
Paul Ulmeanu
Date
Sistemul analizat are un numar de sapte componente binare si independente Logica sistemului este precizata e prin indicarea unui set de trasee minimale, e a unui set de taieturi minimale Construirea modelului face apel la tehnici algebrice prezentate la curs, in principal bazate pe BDD si produse disjuncte BDD este un mijloc adecvat de obtinere a taieturilor minimale, daca se cunosc traseele minimale si vice-versa BDD permite evaluarea indicatorilor de tip , MUT , MDT .
Paul Ulmeanu
Date de intrare Validarea unei taieturi propuse Invalidarea unei taieturi propuse Construirea BDD
Date de intrare: trasee minimale
Componenta / Traseu T1 T2 T3 T4 T5 T6
Paul Ulmeanu
Validarea unei taieturi minimale propuse { 1, 2, 6}
Traseu / Componenta 1 2 3 4 5 6 7
T1
T2
T3
T4
T5
T6
Paul Ulmeanu
Invalidarea unei taieturi minimale propuse { 3, 6}
Traseu / Componenta 1 2 3 4 5 6 7
T1
T2
T3
T4
T5
T6
Paul Ulmeanu
Construirea BDD
Factorizare (teorema lui Shannon) in raport cu componenta 7 x7 = 0 Componenta / Traseu T1 T2 T3 1 2 3 4 5 6
Paul Ulmeanu
Construirea BDD
Factorizare (teorema lui Shannon) in raport cu componenta 7 x7 = 1 Componenta / Traseu T1 T2 T3 T4 T5 T6 1 2 3 4 5 6
Paul Ulmeanu
Construirea BDD
Continuare factorizare (teorema lui Shannon) x7 = 1 si x6 = 1 Componenta / Traseu T1 T2 T3 T4 T5 T6 1 2 3 4 5
Paul Ulmeanu
Construirea BDD
Continuare factorizare (teorema lui Shannon) x7 = 1 si x6 = 1 Componenta / Traseu T1 T3 T4 1 2 3 4 5
Paul Ulmeanu
Construirea BDD
Continuare factorizare (teorema lui Shannon) x7 = 1 si x6 = 0 Componenta / Traseu T1 T2 T5 T6 1 2 3 4 5
Paul Ulmeanu
BDD
Paul Ulmeanu
BDD
Paul Ulmeanu
Obtinerea taieturilor minimale Barlow-Proschan MUT Deducerea vectorilor critici pe baza BDD
Evaluarea modelului: care sunt taieturile minimale ?
Paul Ulmeanu
Paul Ulmeanu
Paul Ulmeanu
Paul Ulmeanu
Paul Ulmeanu
Paul Ulmeanu
Paul Ulmeanu
Calculul factorului de importanta structurala Barlow-Proschan pentru componenta 1
IBP (i = 1) =
0
(P/p1 )p dp
Din BDD rezulta: (P/p1 )p = p p 3 5p 4 + 8p 5 3p 6 Rezulta IBP (i = 1) = 1/2 1/4 5/5 + 8/6 3/7 = 0.1547619
Paul Ulmeanu
Calculul timpului mediu de succes (pentru cazul in care componenta 4 este indisponibila)
In cazul in care x4 = 0, lista taieturilor minimale devine: K1 = { 2, 7} K 2 = { 3} K 6 = { 1, 2, 6} K 7 = { 2, 5, 6} Taietura K 3 nu mai este minimala, avand in vedere taietura K1 . Taietura K 4 nu mai este minimala, avand in vedere taietura K2 . Taietura K 5 nu mai este minimala, avand in vedere taietura K2 .
Paul Ulmeanu Subiectul 1 consultatii
Iar lista traseelor minimale devine: T1 = {2, 3} T2 = {3, 6, 7} T3 = {1, 3, 5, 7}
Paul Ulmeanu
Calculul MUT - bazat pe lista traseelor minimale
Vom aborda calculul MUT plecand de la lista traseelor minimale de mai sus (3, fata de 4 in cazul taieturilor minimale). Ecuatia logica: SUCCES = T1 +T1 T2 +T1 T2 T3 unde T1 = x3 +2 x3 x T2 = x6 +x6 x3 +x6 x3 x7
Paul Ulmeanu
Avem: T1 T3 = x1 x2 x3 x5 x7 T1 T3 T2 = x1 x2 x3 x5 x6 x7 T1 T2 = x2 x3 x6 x7 x SUCCES = x2 x3 +2 x3 x6 x7 +x1 x2 x3 x5 x6 x7 P = p 2 + p 3 (1 p) + p 4 (1 p)2 = 2p 2 + p 3 (1 p)(3 ) + p 4 (1 p)2 (4 2) MUT = P/
Paul Ulmeanu
Se propune evaluarea numarului de vectori critici pentru componenta 6 - pe baza BDD

Pentru identicarea vectorilor critici ceruti se verica cele trei conditii necesare si suciente: x6 = 1; sistemul este in stare de succes pentru starea propusa; pentru x6 = 1 x6 = 0, sistemul trece din starea de succes intr-o stare de insucces. Pe baza BDD-ului prezentat al sistemului: 1) se cauta in BDD toate nodurile x6 ; 2) pentru un nod x6 din lista de mai sus, se identica toate secventele S1 care pornesc din radacina BDD, trec prin nodul 6 cu x6 = 1 si ajung intr-un nod nal 1 (succes) ; 3) pentru ecare secventa de mai sus, se comuta in nodul 6 cu x6 = 0 si se cauta toate secventele S2 care ajung intr-un nod nal 0 (insucces);
Obtinerea vectorilor critic pentru componenta 6

Daca exista un vector al sistemului V = (x1 , x2 , x3 , x4 , x5 , 1, x7 ) satisfacand S1 si perechea sa V = (x1 , x2 , x3 , x4 , x5 , 0, x7 ) satisfacand S2 , atunci vectorul V este critic pt. componenta 6. Identicarea vectorilor critici se face alaturat in urmatoarele patru guri. In prima gura, se identica nodul x6 (cercul bleu), prima 1 secventa de tip S1 pleaca din radacina x7 cu x7 = 0 si urmeaza secventa desenata cu mov pana in nodul x6 dupa care ajunge in nodul nal 1 (sageata verde). 1 1 Prima secventa de tip S2 pereche cu S1 se obtine prin comutarea in nodul x6 (sageata verde sageata rosie) spre nodul nal 0. 1 1 Perechea S1 , S2 genereaza doi vectori critici: V1 = (!1, !2, 3, 4, 5, 6, !7), respectiv V2 = (!1, !2, !3, 4, 5, 6, !7)

2 Tot in prima gura, se identica a doua secventa de tip S1 ce pleaca din radacina x7 cu x7 = 0 si urmeaza secventa desenata cu albastru pana in nodul x6 dupa care ajunge in nodul nal 1 2 2 (sageata verde). A doua secventa de tip S2 pereche cu S1 se obtine prin comutarea in nodul x6 (sageata verde sageata rosie) spre nodul nal 0. 2 2 Perechea S1 , S2 genereaza un nou vector critic: V3 = (!1, 2, !3, 4, 5, 6, !7). Observatie. Nu mai exista noi secvente pentru prima gura. Pana in prezent sunt trei vectori critici.
Paul Ulmeanu
Prima gura
Paul Ulmeanu

In a doua gura, se identica al doilea nod x6 din BDD (cerc de 3 culoare albastra). Rezulta a treia secventa de tip S1 ce pleaca din radacina x7 cu x7 = 1 si urmeaza secventa desenata cu albastru pana in nodul x6 dupa care ajunge in nodul nal 1. A treia 3 3 secventa de tip S2 pereche cu S1 se obtine prin comutarea in 3 3 nodul x6 (traseul albastru) spre nodul nal 0. Perechea S1 , S2 genereaza un singur vector critic: V4 = (1, !2, 3, !4, !5, 6, 7). Observatie. De remarcat ca mai exista o secventa de tip S2 care trece prin nodurile x6 , x1 , x4 , x3 spre un nod nal, de asemenea, 0. 3 3 Dar, aceasta secventa nu poate face pereche cu S1 , intrucat in S1 avem x3 = 1, in timp in secventa propusa de tip S2 avem x3 = 0.
Paul Ulmeanu
A doua gura
Paul Ulmeanu

3 In a treia gura, se pleaca de la secventa de tip S1 ce pleaca din radacina x7 cu x7 = 1 si urmeaza secventa desenata cu albastru pana in nodul x6 dupa care ajunge in nodul nal 1, cautandu-se o 4 3 alta pereche de tip S2 . A patra secventa S2 pereche cu S1 se obtine prin comutarea in nodul x6 (traseul bleu) spre nodul nal 0. 3 4 Perechea S1 , S2 genereaza patru vectori critici: V5 = (!1, !2, 3, 4, 5, 6, 7) V6 = (!1, !2, 3, !4, 5, 6, 7) V7 = (!1, !2, 3, 4, !5, 6, 7) V8 = (!1, !2, 3, !4, !5, 6, 7)
Paul Ulmeanu
A treia gura
Paul Ulmeanu

4 In a patra gura, se pleaca de la secventa de tip S1 ce pleaca din radacina x7 cu x7 = 1 si urmeaza secventa desenata cu albastru pana in nodul x6 dupa care ajunge in nodul nal 1, trecand prin 5 4 nodurile x3 , x4 ,x1 si x5 . A cincea secventa S2 pereche cu S1 se obtine prin comutarea in nodul x6 (traseul albastru) spre nodul 4 5 nal 0. Perechea S1 , S2 genereaza ultimul vector critic: V9 = (!1, !2, !3, 4, 5, 6, 7) Observatie. De remarcat ca, desi mai exista o secvente de tip S1 , S2 , nu se mai pot gasi perechi. Exista de ecare data, cel putin o componenta i pentru care in S1 avem xi = 1 iar in S2 avem xi = 0, ori vice-versa.
Paul Ulmeanu
A patra gura
Paul Ulmeanu
Din cele patru guri, rezulta lista vectorilor critici pentru componenta 6: V1 = (!1, !2, 3, 4, 5, 6, !7) V2 = (!1, !2, !3, 4, 5, 6, !7) V3 = (!1, 2, !3, 4, 5, 6, !7) V4 = (1, !2, 3, !4, !5, 6, 7) V5 = (!1, !2, 3, 4, 5, 6, 7). V6 = (!1, !2, 3, !4, 5, 6, 7) V7 = (!1, !2, 3, 4, !5, 6, 7) V8 = (!1, !2, 3, !4, !5, 6, 7) V9 = (!1, !2, !3, 4, 5, 6, 7)
Paul Ulmeanu

C1

Încărcat de

Informații document

Drepturi de autor

Formate disponibile

Partajați acest document

Partajați sau inserați document

Opțiuni de partajare

Vi se pare util acest document?

Este necorespunzător acest conținut?

Drepturi de autor:

Formate disponibile

C1

Încărcat de

Drepturi de autor:

Formate disponibile

Cuprins Datele pentru subiectul 1 Logica sistemului Evaluarea modelului

Cuprins Datele pentru subiectul 1 Logica sistemului Evaluarea modelului

Cuprins Datele pentru subiectul 1 Logica sistemului Evaluarea modelului

Cuprins Datele pentru subiectul 1 Logica sistemului Evaluarea modelului

Cuprins Datele pentru subiectul 1 Logica sistemului Evaluarea modelului

Cuprins Datele pentru subiectul 1 Logica sistemului Evaluarea modelului

Cuprins Datele pentru subiectul 1 Logica sistemului Evaluarea modelului

Cuprins Datele pentru subiectul 1 Logica sistemului Evaluarea modelului

Sistemul analizat are un numar de sapte componente binare si independente

Cuprins Datele pentru subiectul 1 Logica sistemului Evaluarea modelului

Cuprins Datele pentru subiectul 1 Logica sistemului Evaluarea modelului

Cuprins Datele pentru subiectul 1 Logica sistemului Evaluarea modelului

Cuprins Datele pentru subiectul 1 Logica sistemului Evaluarea modelului

Cuprins Datele pentru subiectul 1 Logica sistemului Evaluarea modelului

Date de intrare: trasee minimale

Cuprins Datele pentru subiectul 1 Logica sistemului Evaluarea modelului

Validarea unei taieturi minimale propuse { 1, 2, 6}

Cuprins Datele pentru subiectul 1 Logica sistemului Evaluarea modelului

Invalidarea unei taieturi minimale propuse { 3, 6}

Cuprins Datele pentru subiectul 1 Logica sistemului Evaluarea modelului

Factorizare (teorema lui Shannon) in raport cu componenta 7 x7 = 0 Componenta / Traseu T1 T2 T3 1 2 3 4 5 6

Cuprins Datele pentru subiectul 1 Logica sistemului Evaluarea modelului

Cuprins Datele pentru subiectul 1 Logica sistemului Evaluarea modelului

Cuprins Datele pentru subiectul 1 Logica sistemului Evaluarea modelului

Continuare factorizare (teorema lui Shannon) x7 = 1 si x6 = 1 Componenta / Traseu T1 T3 T4 1 2 3 4 5

Cuprins Datele pentru subiectul 1 Logica sistemului Evaluarea modelului

Continuare factorizare (teorema lui Shannon) x7 = 1 si x6 = 0 Componenta / Traseu T1 T2 T5 T6 1 2 3 4 5

Cuprins Datele pentru subiectul 1 Logica sistemului Evaluarea modelului

Cuprins Datele pentru subiectul 1 Logica sistemului Evaluarea modelului

Cuprins Datele pentru subiectul 1 Logica sistemului Evaluarea modelului

Evaluarea modelului: care sunt taieturile minimale ?

Cuprins Datele pentru subiectul 1 Logica sistemului Evaluarea modelului

Evaluarea modelului: care sunt taieturile minimale ?

Cuprins Datele pentru subiectul 1 Logica sistemului Evaluarea modelului

Evaluarea modelului: care sunt taieturile minimale ?

Cuprins Datele pentru subiectul 1 Logica sistemului Evaluarea modelului

Evaluarea modelului: care sunt taieturile minimale ?

Cuprins Datele pentru subiectul 1 Logica sistemului Evaluarea modelului

Evaluarea modelului: care sunt taieturile minimale ?

Cuprins Datele pentru subiectul 1 Logica sistemului Evaluarea modelului

Evaluarea modelului: care sunt taieturile minimale ?

Cuprins Datele pentru subiectul 1 Logica sistemului Evaluarea modelului

Evaluarea modelului: care sunt taieturile minimale ?

Cuprins Datele pentru subiectul 1 Logica sistemului Evaluarea modelului

Calculul factorului de importanta structurala Barlow-Proschan pentru componenta 1

Cuprins Datele pentru subiectul 1 Logica sistemului Evaluarea modelului

Cuprins Datele pentru subiectul 1 Logica sistemului Evaluarea modelului

Iar lista traseelor minimale devine: T1 = {2, 3} T2 = {3, 6, 7} T3 = {1, 3, 5, 7}

Cuprins Datele pentru subiectul 1 Logica sistemului Evaluarea modelului

Calculul MUT - bazat pe lista traseelor minimale

Cuprins Datele pentru subiectul 1 Logica sistemului Evaluarea modelului

Avem: T1 T3 = x1 x2 x3 x5 x7 T1 T3 T2 = x1 x2 x3 x5 x6 x7 T1 T2 = x2 x3 x6 x7 x SUCCES = x2 x3 +2 x3 x6 x7 +x1 x2 x3 x5 x6 x7 P = p 2 + p 3 (1 p) + p 4 (1 p)2 = 2p 2 + p 3 (1 p)(3 ) + p 4 (1 p)2 (4 2) MUT = P/

Cuprins Datele pentru subiectul 1 Logica sistemului Evaluarea modelului

Se propune evaluarea numarului de vectori critici pentru componenta 6 - pe baza BDD

Cuprins Datele pentru subiectul 1 Logica sistemului Evaluarea modelului

Obtinerea vectorilor critic pentru componenta 6

Cuprins Datele pentru subiectul 1 Logica sistemului Evaluarea modelului

Obtinerea vectorilor critic pentru componenta 6

Cuprins Datele pentru subiectul 1 Logica sistemului Evaluarea modelului

Cuprins Datele pentru subiectul 1 Logica sistemului Evaluarea modelului

Obtinerea vectorilor critic pentru componenta 6

Cuprins Datele pentru subiectul 1 Logica sistemului Evaluarea modelului

Cuprins Datele pentru subiectul 1 Logica sistemului Evaluarea modelului

Obtinerea vectorilor critic pentru componenta 6