BDD
-
Upload
cristea-danutz -
Category
Documents
-
view
216 -
download
0
description
Transcript of BDD
CuprinsEnunt
Logica sistemuluiEvaluarea modelului
Analiza sisteme cu componente binare, reparabilesi independente
Paul Ulmeanu
CTE, CNE, 12 Decembrie 2011
Paul Ulmeanu Analiza sisteme cu componente binare, reparabile si independente
CuprinsEnunt
Logica sistemuluiEvaluarea modelului
Cuprins
Enunt
Logica sistemuluiDate de intrareValidarea unei taieturi propuseInvalidarea unei taieturi propuseConstruirea BDD
Evaluarea modeluluiObtinerea taieturilor minimale
Paul Ulmeanu Analiza sisteme cu componente binare, reparabile si independente
CuprinsEnunt
Logica sistemuluiEvaluarea modelului
Date
I Sistemul analizat are un numar de sapte componente binare,reparabile si independente
I Logica sistemului este precizata fie prin indicarea unui set detrasee minimale, fie a unui set de taieturi minimale, fiecombinat
I Construirea modelului face apel la tehnici algebriceprezentate, in principal bazate pe BDD si produse disjuncte
I BDD este un mijloc adecvat de obtinere a taieturilorminimale, daca se cunosc traseele minimale si vice-versa
I BDD permite evaluarea indicatorilor de tip ν, MUT , MDT .
Paul Ulmeanu Analiza sisteme cu componente binare, reparabile si independente
CuprinsEnunt
Logica sistemuluiEvaluarea modelului
Date
I Sistemul analizat are un numar de sapte componente binare,reparabile si independente
I Logica sistemului este precizata fie prin indicarea unui set detrasee minimale, fie a unui set de taieturi minimale, fiecombinat
I Construirea modelului face apel la tehnici algebriceprezentate, in principal bazate pe BDD si produse disjuncte
I BDD este un mijloc adecvat de obtinere a taieturilorminimale, daca se cunosc traseele minimale si vice-versa
I BDD permite evaluarea indicatorilor de tip ν, MUT , MDT .
Paul Ulmeanu Analiza sisteme cu componente binare, reparabile si independente
CuprinsEnunt
Logica sistemuluiEvaluarea modelului
Date
I Sistemul analizat are un numar de sapte componente binare,reparabile si independente
I Logica sistemului este precizata fie prin indicarea unui set detrasee minimale, fie a unui set de taieturi minimale, fiecombinat
I Construirea modelului face apel la tehnici algebriceprezentate, in principal bazate pe BDD si produse disjuncte
I BDD este un mijloc adecvat de obtinere a taieturilorminimale, daca se cunosc traseele minimale si vice-versa
I BDD permite evaluarea indicatorilor de tip ν, MUT , MDT .
Paul Ulmeanu Analiza sisteme cu componente binare, reparabile si independente
CuprinsEnunt
Logica sistemuluiEvaluarea modelului
Date
I Sistemul analizat are un numar de sapte componente binare,reparabile si independente
I Logica sistemului este precizata fie prin indicarea unui set detrasee minimale, fie a unui set de taieturi minimale, fiecombinat
I Construirea modelului face apel la tehnici algebriceprezentate, in principal bazate pe BDD si produse disjuncte
I BDD este un mijloc adecvat de obtinere a taieturilorminimale, daca se cunosc traseele minimale si vice-versa
I BDD permite evaluarea indicatorilor de tip ν, MUT , MDT .
Paul Ulmeanu Analiza sisteme cu componente binare, reparabile si independente
CuprinsEnunt
Logica sistemuluiEvaluarea modelului
Date
I Sistemul analizat are un numar de sapte componente binare,reparabile si independente
I Logica sistemului este precizata fie prin indicarea unui set detrasee minimale, fie a unui set de taieturi minimale, fiecombinat
I Construirea modelului face apel la tehnici algebriceprezentate, in principal bazate pe BDD si produse disjuncte
I BDD este un mijloc adecvat de obtinere a taieturilorminimale, daca se cunosc traseele minimale si vice-versa
I BDD permite evaluarea indicatorilor de tip ν, MUT , MDT .
Paul Ulmeanu Analiza sisteme cu componente binare, reparabile si independente
CuprinsEnunt
Logica sistemuluiEvaluarea modelului
Date de intrareValidarea unei taieturi propuseInvalidarea unei taieturi propuseConstruirea BDD
Date de intrare: trasee minimale
Componenta / Traseu 1 2 3 4 5 6 7
T1√ √
T2√ √
T3√ √ √
T4√ √ √
T5√ √ √ √
T6√ √ √ √
Paul Ulmeanu Analiza sisteme cu componente binare, reparabile si independente
CuprinsEnunt
Logica sistemuluiEvaluarea modelului
Date de intrareValidarea unei taieturi propuseInvalidarea unei taieturi propuseConstruirea BDD
Validarea unei taieturi minimale propuse {1̄, 2̄, 6̄}
Traseu / Componenta T1 T2 T3 T4 T5 T6
1√ √
2√ √
3√ √ √
4√ √ √
5√ √ √
6√ √
7√ √ √
Paul Ulmeanu Analiza sisteme cu componente binare, reparabile si independente
CuprinsEnunt
Logica sistemuluiEvaluarea modelului
Date de intrareValidarea unei taieturi propuseInvalidarea unei taieturi propuseConstruirea BDD
Invalidarea unei taieturi minimale propuse {3̄, 6̄}
Traseu / Componenta T1 T2 T3 T4 T5 T6
1√ √
2√ √
3√ √ √
4√ √ √
5√ √ √
6√ √
7√ √ √
Paul Ulmeanu Analiza sisteme cu componente binare, reparabile si independente
CuprinsEnunt
Logica sistemuluiEvaluarea modelului
Date de intrareValidarea unei taieturi propuseInvalidarea unei taieturi propuseConstruirea BDD
Construirea BDD
Factorizare (teorema lui Shannon) in raport cu componenta 7x7 = 0
Componenta / Traseu 1 2 3 4 5 6
T1√ √
T2√ √
T3√ √ √
Paul Ulmeanu Analiza sisteme cu componente binare, reparabile si independente
CuprinsEnunt
Logica sistemuluiEvaluarea modelului
Date de intrareValidarea unei taieturi propuseInvalidarea unei taieturi propuseConstruirea BDD
Construirea BDD
Factorizare (teorema lui Shannon) in raport cu componenta 7x7 = 1
Componenta / Traseu 1 2 3 4 5 6
T1√ √
T2√ √
T3√ √ √
T4√ √
T5√ √ √
T6√ √ √
Paul Ulmeanu Analiza sisteme cu componente binare, reparabile si independente
CuprinsEnunt
Logica sistemuluiEvaluarea modelului
Date de intrareValidarea unei taieturi propuseInvalidarea unei taieturi propuseConstruirea BDD
Construirea BDD
Continuare factorizare (teorema lui Shannon) x7 = 1 si x6 = 1
Componenta / Traseu 1 2 3 4 5
T1√ √
T2√ √
T3√ √
T4√
T5√ √ √
T6√ √ √
Paul Ulmeanu Analiza sisteme cu componente binare, reparabile si independente
CuprinsEnunt
Logica sistemuluiEvaluarea modelului
Date de intrareValidarea unei taieturi propuseInvalidarea unei taieturi propuseConstruirea BDD
Construirea BDD
Continuare factorizare (teorema lui Shannon) x7 = 1 si x6 = 1
Componenta / Traseu 1 2 3 4 5
T1√ √
T3√ √
T4√
Paul Ulmeanu Analiza sisteme cu componente binare, reparabile si independente
CuprinsEnunt
Logica sistemuluiEvaluarea modelului
Date de intrareValidarea unei taieturi propuseInvalidarea unei taieturi propuseConstruirea BDD
Construirea BDD
Continuare factorizare (teorema lui Shannon) x7 = 1 si x6 = 0
Componenta / Traseu 1 2 3 4 5
T1√ √
T2√ √
T5√ √ √
T6√ √ √
Paul Ulmeanu Analiza sisteme cu componente binare, reparabile si independente
CuprinsEnunt
Logica sistemuluiEvaluarea modelului
Date de intrareValidarea unei taieturi propuseInvalidarea unei taieturi propuseConstruirea BDD
BDD
Paul Ulmeanu Analiza sisteme cu componente binare, reparabile si independente
CuprinsEnunt
Logica sistemuluiEvaluarea modelului
Date de intrareValidarea unei taieturi propuseInvalidarea unei taieturi propuseConstruirea BDD
BDD
Paul Ulmeanu Analiza sisteme cu componente binare, reparabile si independente
CuprinsEnunt
Logica sistemuluiEvaluarea modelului
Obtinerea taieturilor minimale
Evaluarea modelului: care sunt taieturile minimale ?
Paul Ulmeanu Analiza sisteme cu componente binare, reparabile si independente
CuprinsEnunt
Logica sistemuluiEvaluarea modelului
Obtinerea taieturilor minimale
Evaluarea modelului: care sunt taieturile minimale ?
Paul Ulmeanu Analiza sisteme cu componente binare, reparabile si independente
CuprinsEnunt
Logica sistemuluiEvaluarea modelului
Obtinerea taieturilor minimale
Evaluarea modelului: care sunt taieturile minimale ?
Paul Ulmeanu Analiza sisteme cu componente binare, reparabile si independente
CuprinsEnunt
Logica sistemuluiEvaluarea modelului
Obtinerea taieturilor minimale
Evaluarea modelului: care sunt taieturile minimale ?
Paul Ulmeanu Analiza sisteme cu componente binare, reparabile si independente
CuprinsEnunt
Logica sistemuluiEvaluarea modelului
Obtinerea taieturilor minimale
Evaluarea modelului: care sunt taieturile minimale ?
Paul Ulmeanu Analiza sisteme cu componente binare, reparabile si independente
CuprinsEnunt
Logica sistemuluiEvaluarea modelului
Obtinerea taieturilor minimale
Evaluarea modelului: care sunt taieturile minimale ?
Paul Ulmeanu Analiza sisteme cu componente binare, reparabile si independente
CuprinsEnunt
Logica sistemuluiEvaluarea modelului
Obtinerea taieturilor minimale
Evaluarea modelului: care sunt taieturile minimale ?
Paul Ulmeanu Analiza sisteme cu componente binare, reparabile si independente