Sunteți pe pagina 1din 45

Cuprins Datele pentru subiectul 1 Logica sistemului Evaluarea modelului

Subiectul 1 consultatii
Paul Ulmeanu

5 Aprilie 2011

Paul Ulmeanu

Subiectul 1 consultatii

Cuprins Datele pentru subiectul 1 Logica sistemului Evaluarea modelului

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

Subiectul 1 consultatii

Cuprins Datele pentru subiectul 1 Logica sistemului Evaluarea modelului

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

Subiectul 1 consultatii

Cuprins Datele pentru subiectul 1 Logica sistemului Evaluarea modelului

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

Subiectul 1 consultatii

Cuprins Datele pentru subiectul 1 Logica sistemului Evaluarea modelului

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

Subiectul 1 consultatii

Cuprins Datele pentru subiectul 1 Logica sistemului Evaluarea modelului

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

Subiectul 1 consultatii

Cuprins Datele pentru subiectul 1 Logica sistemului Evaluarea modelului

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

Subiectul 1 consultatii

Cuprins Datele pentru subiectul 1 Logica sistemului Evaluarea modelului

Date

Sistemul analizat are un numar de sapte componente binare si independente

Paul Ulmeanu

Subiectul 1 consultatii

Cuprins Datele pentru subiectul 1 Logica sistemului Evaluarea modelului

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

Subiectul 1 consultatii

Cuprins Datele pentru subiectul 1 Logica sistemului Evaluarea modelului

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

Subiectul 1 consultatii

Cuprins Datele pentru subiectul 1 Logica sistemului Evaluarea modelului

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

Subiectul 1 consultatii

Cuprins Datele pentru subiectul 1 Logica sistemului Evaluarea modelului

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

Subiectul 1 consultatii

Cuprins Datele pentru subiectul 1 Logica sistemului Evaluarea modelului

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

Subiectul 1 consultatii

Cuprins Datele pentru subiectul 1 Logica sistemului Evaluarea modelului

Date de intrare Validarea unei taieturi propuse Invalidarea unei taieturi propuse Construirea BDD

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

Subiectul 1 consultatii

Cuprins Datele pentru subiectul 1 Logica sistemului Evaluarea modelului

Date de intrare Validarea unei taieturi propuse Invalidarea unei taieturi propuse Construirea BDD

Invalidarea unei taieturi minimale propuse { 3, 6}

Traseu / Componenta 1 2 3 4 5 6 7

T1

T2

T3

T4

T5

T6

Paul Ulmeanu

Subiectul 1 consultatii

Cuprins Datele pentru subiectul 1 Logica sistemului Evaluarea modelului

Date de intrare Validarea unei taieturi propuse Invalidarea unei taieturi propuse Construirea BDD

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

Subiectul 1 consultatii

Cuprins Datele pentru subiectul 1 Logica sistemului Evaluarea modelului

Date de intrare Validarea unei taieturi propuse Invalidarea unei taieturi propuse Construirea BDD

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

Subiectul 1 consultatii

Cuprins Datele pentru subiectul 1 Logica sistemului Evaluarea modelului

Date de intrare Validarea unei taieturi propuse Invalidarea unei taieturi propuse Construirea BDD

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

Subiectul 1 consultatii

Cuprins Datele pentru subiectul 1 Logica sistemului Evaluarea modelului

Date de intrare Validarea unei taieturi propuse Invalidarea unei taieturi propuse Construirea BDD

Construirea BDD

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

Paul Ulmeanu

Subiectul 1 consultatii

Cuprins Datele pentru subiectul 1 Logica sistemului Evaluarea modelului

Date de intrare Validarea unei taieturi propuse Invalidarea unei taieturi propuse Construirea BDD

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

Subiectul 1 consultatii

Cuprins Datele pentru subiectul 1 Logica sistemului Evaluarea modelului

Date de intrare Validarea unei taieturi propuse Invalidarea unei taieturi propuse Construirea BDD

BDD

Paul Ulmeanu

Subiectul 1 consultatii

Cuprins Datele pentru subiectul 1 Logica sistemului Evaluarea modelului

Date de intrare Validarea unei taieturi propuse Invalidarea unei taieturi propuse Construirea BDD

BDD

Paul Ulmeanu

Subiectul 1 consultatii

Cuprins Datele pentru subiectul 1 Logica sistemului Evaluarea modelului

Obtinerea taieturilor minimale Barlow-Proschan MUT Deducerea vectorilor critici pe baza BDD

Evaluarea modelului: care sunt taieturile minimale ?

Paul Ulmeanu

Subiectul 1 consultatii

Cuprins Datele pentru subiectul 1 Logica sistemului Evaluarea modelului

Obtinerea taieturilor minimale Barlow-Proschan MUT Deducerea vectorilor critici pe baza BDD

Evaluarea modelului: care sunt taieturile minimale ?

Paul Ulmeanu

Subiectul 1 consultatii

Cuprins Datele pentru subiectul 1 Logica sistemului Evaluarea modelului

Obtinerea taieturilor minimale Barlow-Proschan MUT Deducerea vectorilor critici pe baza BDD

Evaluarea modelului: care sunt taieturile minimale ?

Paul Ulmeanu

Subiectul 1 consultatii

Cuprins Datele pentru subiectul 1 Logica sistemului Evaluarea modelului

Obtinerea taieturilor minimale Barlow-Proschan MUT Deducerea vectorilor critici pe baza BDD

Evaluarea modelului: care sunt taieturile minimale ?

Paul Ulmeanu

Subiectul 1 consultatii

Cuprins Datele pentru subiectul 1 Logica sistemului Evaluarea modelului

Obtinerea taieturilor minimale Barlow-Proschan MUT Deducerea vectorilor critici pe baza BDD

Evaluarea modelului: care sunt taieturile minimale ?

Paul Ulmeanu

Subiectul 1 consultatii

Cuprins Datele pentru subiectul 1 Logica sistemului Evaluarea modelului

Obtinerea taieturilor minimale Barlow-Proschan MUT Deducerea vectorilor critici pe baza BDD

Evaluarea modelului: care sunt taieturile minimale ?

Paul Ulmeanu

Subiectul 1 consultatii

Cuprins Datele pentru subiectul 1 Logica sistemului Evaluarea modelului

Obtinerea taieturilor minimale Barlow-Proschan MUT Deducerea vectorilor critici pe baza BDD

Evaluarea modelului: care sunt taieturile minimale ?

Paul Ulmeanu

Subiectul 1 consultatii

Cuprins Datele pentru subiectul 1 Logica sistemului Evaluarea modelului

Obtinerea taieturilor minimale Barlow-Proschan MUT Deducerea vectorilor critici pe baza BDD

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

Subiectul 1 consultatii

Cuprins Datele pentru subiectul 1 Logica sistemului Evaluarea modelului

Obtinerea taieturilor minimale Barlow-Proschan MUT Deducerea vectorilor critici pe baza BDD

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

Cuprins Datele pentru subiectul 1 Logica sistemului Evaluarea modelului

Obtinerea taieturilor minimale Barlow-Proschan MUT Deducerea vectorilor critici pe baza BDD

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

Paul Ulmeanu

Subiectul 1 consultatii

Cuprins Datele pentru subiectul 1 Logica sistemului Evaluarea modelului

Obtinerea taieturilor minimale Barlow-Proschan MUT Deducerea vectorilor critici pe baza BDD

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

Subiectul 1 consultatii

Cuprins Datele pentru subiectul 1 Logica sistemului Evaluarea modelului

Obtinerea taieturilor minimale Barlow-Proschan MUT Deducerea vectorilor critici pe baza BDD

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

Subiectul 1 consultatii

Cuprins Datele pentru subiectul 1 Logica sistemului Evaluarea modelului

Obtinerea taieturilor minimale Barlow-Proschan MUT Deducerea vectorilor critici pe baza BDD

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);
Paul Ulmeanu Subiectul 1 consultatii

Cuprins Datele pentru subiectul 1 Logica sistemului Evaluarea modelului

Obtinerea taieturilor minimale Barlow-Proschan MUT Deducerea vectorilor critici pe baza BDD

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)
Paul Ulmeanu Subiectul 1 consultatii

Cuprins Datele pentru subiectul 1 Logica sistemului Evaluarea modelului

Obtinerea taieturilor minimale Barlow-Proschan MUT Deducerea vectorilor critici pe baza BDD

Obtinerea vectorilor critic pentru componenta 6


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

Subiectul 1 consultatii

Cuprins Datele pentru subiectul 1 Logica sistemului Evaluarea modelului

Obtinerea taieturilor minimale Barlow-Proschan MUT Deducerea vectorilor critici pe baza BDD

Prima gura

Paul Ulmeanu

Subiectul 1 consultatii

Cuprins Datele pentru subiectul 1 Logica sistemului Evaluarea modelului

Obtinerea taieturilor minimale Barlow-Proschan MUT Deducerea vectorilor critici pe baza BDD

Obtinerea vectorilor critic pentru componenta 6


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

Subiectul 1 consultatii

Cuprins Datele pentru subiectul 1 Logica sistemului Evaluarea modelului

Obtinerea taieturilor minimale Barlow-Proschan MUT Deducerea vectorilor critici pe baza BDD

A doua gura

Paul Ulmeanu

Subiectul 1 consultatii

Cuprins Datele pentru subiectul 1 Logica sistemului Evaluarea modelului

Obtinerea taieturilor minimale Barlow-Proschan MUT Deducerea vectorilor critici pe baza BDD

Obtinerea vectorilor critic pentru componenta 6


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

Subiectul 1 consultatii

Cuprins Datele pentru subiectul 1 Logica sistemului Evaluarea modelului

Obtinerea taieturilor minimale Barlow-Proschan MUT Deducerea vectorilor critici pe baza BDD

A treia gura

Paul Ulmeanu

Subiectul 1 consultatii

Cuprins Datele pentru subiectul 1 Logica sistemului Evaluarea modelului

Obtinerea taieturilor minimale Barlow-Proschan MUT Deducerea vectorilor critici pe baza BDD

Obtinerea vectorilor critic pentru componenta 6


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

Subiectul 1 consultatii

Cuprins Datele pentru subiectul 1 Logica sistemului Evaluarea modelului

Obtinerea taieturilor minimale Barlow-Proschan MUT Deducerea vectorilor critici pe baza BDD

A patra gura

Paul Ulmeanu

Subiectul 1 consultatii

Cuprins Datele pentru subiectul 1 Logica sistemului Evaluarea modelului

Obtinerea taieturilor minimale Barlow-Proschan MUT Deducerea vectorilor critici pe baza BDD

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

Subiectul 1 consultatii