Consultatii

Paul Ulmeanu

06 Ianuarie 2014

Paul Ulmeanu () Consultatii 06 Ianuarie 2014 1 / 21

 Cuprins

1 Cuprins

2 Datele de intrare

3 Logica sistemului
Date de intrare
Construirea BDD

4 Evaluarea modelului
Obtinerea traseelor minimale
Obtinerea taieturilor minimale
Deducerea vectorilor critici - pe baza BDD
Verificarea solutiei - pe baza traseelor minimale

Paul Ulmeanu () Consultatii 06 Ianuarie 2014 2 / 21

 Cuprins

Cerinte

Construirea BDD si evaluarea numarului de vectori critici pentru un

sistem dat

Paul Ulmeanu () Consultatii 06 Ianuarie 2014 3 / 21

 Cuprins

Cerinte

Construirea BDD si evaluarea numarului de vectori critici pentru un

sistem dat
Enuntul si datele sunt prezentate in slide-ul urmator

Paul Ulmeanu () Consultatii 06 Ianuarie 2014 3 / 21

 Datele de intrare

Premize

Sistemul analizat are un numar de sapte componente binare si

independente, notate A,B,C,D, E si F

Paul Ulmeanu () Consultatii 06 Ianuarie 2014 4 / 21

 Datele de intrare

Premize

Sistemul analizat are un numar de sapte componente binare si

independente, notate A,B,C,D, E si F
Logica sistemului este precizata atat prin indicarea unui set de trasee
minimale, cat si a unui set de taieturi minimale

Paul Ulmeanu () Consultatii 06 Ianuarie 2014 4 / 21

 Datele de intrare

Premize

Sistemul analizat are un numar de sapte componente binare si

independente, notate A,B,C,D, E si F
Logica sistemului este precizata atat prin indicarea unui set de trasee
minimale, cat si 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 () Consultatii 06 Ianuarie 2014 4 / 21

 Datele de intrare

Premize

Sistemul analizat are un numar de sapte componente binare si

independente, notate A,B,C,D, E si F
Logica sistemului este precizata atat prin indicarea unui set de trasee
minimale, cat si 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 () Consultatii 06 Ianuarie 2014 4 / 21

 Datele de intrare

Premize

Sistemul analizat are un numar de sapte componente binare si

independente, notate A,B,C,D, E si F
Logica sistemului este precizata atat prin indicarea unui set de trasee
minimale, cat si 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 () Consultatii 06 Ianuarie 2014 4 / 21

 Logica sistemului Date de intrare

Date de intrare

Daca E=0 (insucces), traseele minimale ale sistemului sunt T1 = {F } ;

T2 = {A, B, C }
Daca E=1 (succes), taieturile minimale ale sistemului sunt
K1 = {!A, !D, !F }; K2 = {!B, !D, !F }; K3 = {!C , !D, !F }.

Paul Ulmeanu () Consultatii 06 Ianuarie 2014 5 / 21

 Logica sistemului Construirea BDD

BDD
Avand in vedere datele din enunt, se realizeaza factorizarea (teorema lui
Shannon) in raport cu componenta E :
Pentru xE = 0

Paul Ulmeanu () Consultatii 06 Ianuarie 2014 6 / 21

 Logica sistemului Construirea BDD

BDD

Factorizare (teorema lui Shannon) in raport cu componenta E :

Pentru xE = 1

Paul Ulmeanu () Consultatii 06 Ianuarie 2014 7 / 21

 Evaluarea modelului Obtinerea traseelor minimale

Evaluarea modelului: care sunt traseele minimale ale

sistemului ?

Parcurgerea BDD din radacina E catre nodurilor de tip 1 (succes) permite

obtinerea traseelor minimale ale sistemului. Astfel, din parcurgerea primei
parti a BDD (xE = 0) obtinem: T1 = {F } ; T2 = {A, B, C }.
Parcurgerea celei de-a doua parti a BDD (xE = 1) conduce la
T3 = {D, E }. Sistemul are 3 trasee minimale.
Observatie. {A,B,C,E}, respectiv {E , F } sunt trasee, dar nu sunt
minimale, avand in vedere T2 , respectiv T1 .

Paul Ulmeanu () Consultatii 06 Ianuarie 2014 8 / 21

 Evaluarea modelului Obtinerea taieturilor minimale

Evaluarea modelului: care sunt taieturile minimale ale

sistemului ?

Parcurgerea BDD din radacina E catre nodurilor de tip 0 (insucces)

permite obtinerea taieturilor minimale ale sistemului. Astfel, din
parcurgerea partii BDD cu xE = 1 obtinem: K1 = {!A, !D, !F };
K2 = {!B, !D, !F }; K3 = {!C , !D, !F }.
Parcurgerea partii BDD cu xE = 1 conduce la K4 = {!A, !F , !E };
K5 = {!B, !F , !E }; K6 = {!C , !F , !E }.
In total, sistemul are 6 taieturi minimale.

Paul Ulmeanu () Consultatii 06 Ianuarie 2014 9 / 21

 Evaluarea modelului Deducerea vectorilor critici - pe baza BDD

Se propune evaluarea numarului de vectori critici pentru

componenta E - pe baza BDD

Pentru identificarea vectorilor critici ceruti se verifica cele trei conditii

necesare si suficiente: xE = 1; sistemul este in stare de succes pentru
starea propusa; pentru xE = 1 → xE = 0, sistemul trece din starea de
succes intr-o stare de insucces.
Pe baza BDD-ului prezentat al sistemului:
1) nodul E este radacina BDD; se identifica toate secventele S1 avand
xE = 1 si care ajung intr-un nod final 1 (succes) ;
2) pentru fiecare secventa de mai sus, se comuta in nodul E xE = 0 si se
cauta toate secventele S2 care ajung intr-un nod final 0 (insucces);

Paul Ulmeanu () Consultatii 06 Ianuarie 2014 10 / 21

 Evaluarea modelului Deducerea vectorilor critici - pe baza BDD

Obtinerea vectorilor critici pentru componenta E

Daca exista un vector al sistemului V 0 = (xA , xB , xC , xD , 1, xF ) satisfacand

S1 si perechea sa V 00 = (xA , xB , xC , xD , 0, xF ) satisfacand S2 , atunci
vectorul V 0 este critic pt. componenta E. Identificarea vectorilor critici se
face alaturat in urmatoarele doua figuri. In prima figura, se identifica
nodul E (radacina BDD), prima secventa de tip S1 pleaca din radacina E
cu (xE = 1) si urmeaza secventa desenata cu albastru pana cand ajunge in
nodul final 1.
Sunt trei secvente de tip S2 perechi cu S1 care se obtin prin comutarea in
nodul E (xE = 0) spre nodul final 0, dupa cum se observa in cea de-a
doua figura.

Paul Ulmeanu () Consultatii 06 Ianuarie 2014 11 / 21

 Evaluarea modelului Deducerea vectorilor critici - pe baza BDD

Prima figura

Observatie. In aceasta prima figura mai exista inca doua secvente de tip
S1 , dar acestea nu pot face pereche cu nici o secventa de tip S2 . Exista de
fiecare data, cel putin o componenta i pentru care in S1 avem xi = 1 iar in
S2 avem xi = 0, ori vice-versa.
Paul Ulmeanu () Consultatii 06 Ianuarie 2014 12 / 21
 Evaluarea modelului Deducerea vectorilor critici - pe baza BDD

A doua figura

Paul Ulmeanu () Consultatii 06 Ianuarie 2014 13 / 21

 Evaluarea modelului Deducerea vectorilor critici - pe baza BDD

Lista vectorilor critici

Aceste perechi genereaza 7 vectori critici.

1) S1 pereche cu secventa S2 reprezentata cu albastru in cea de-a doua
figura:
V1 = (!A, B, C, D, E , !F )
V2 = (!A, !B, C, D, E , !F )
V3 = (!A, B, !C, D, E , !F )
V4 = (!A, !B, !C, D, E , !F )
2) S1 pereche cu secventa S2 reprezentata cu violet in cea de-a doua
figura:
V5 = (A, !B, C, D, E , !F )
V6 = (A, !B, !C, D, E , !F )
3) S1 pereche cu secventa S2 reprezentata cu verde in cea de-a doua figura:
V7 = (A, !B, !C , D, E , !F )

Paul Ulmeanu () Consultatii 06 Ianuarie 2014 14 / 21

 Evaluarea modelului Verificarea solutiei - pe baza traseelor minimale

Verificarea solutiei - pe baza traseelor minimale

Paul Ulmeanu () Consultatii 06 Ianuarie 2014 15 / 21

 Evaluarea modelului Verificarea solutiei - pe baza traseelor minimale

Verificarea solutiei - pe baza traseelor minimale

Paul Ulmeanu () Consultatii 06 Ianuarie 2014 16 / 21

 Evaluarea modelului Verificarea solutiei - pe baza traseelor minimale

Verificarea solutiei - pe baza traseelor minimale

Paul Ulmeanu () Consultatii 06 Ianuarie 2014 17 / 21

 Evaluarea modelului Verificarea solutiei - pe baza traseelor minimale

Verificarea solutiei - pe baza traseelor minimale

Paul Ulmeanu () Consultatii 06 Ianuarie 2014 18 / 21

 Evaluarea modelului Verificarea solutiei - pe baza traseelor minimale

Verificarea solutiei - pe baza traseelor minimale

Paul Ulmeanu () Consultatii 06 Ianuarie 2014 19 / 21

 Evaluarea modelului Verificarea solutiei - pe baza traseelor minimale

Verificarea solutiei - pe baza traseelor minimale

Paul Ulmeanu () Consultatii 06 Ianuarie 2014 20 / 21

 Evaluarea modelului Verificarea solutiei - pe baza traseelor minimale

Verificarea solutiei - pe baza traseelor minimale

Paul Ulmeanu () Consultatii 06 Ianuarie 2014 21 / 21