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