Sunteți pe pagina 1din 45

Cuprins Datele pentru subiectul 1 Logica sistemului Evaluarea modelului

Subiectul 1 consultatii

Paul Ulmeanu

5 Aprilie 2011

sistemului Evaluarea modelului Subiectul 1 consultatii Paul Ulmeanu 5 Aprilie 2011 Paul Ulmeanu Subiectul 1 consultatii

Paul Ulmeanu

Subiectul 1 consultatii

Cuprins

Cuprins Datele pentru subiectul 1 Logica sistemului Evaluarea modelului

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

taieturilor minimale Barlow-Proschan MUT Deducerea vectorilor critici pe baza BDD Paul Ulmeanu Subiectul 1 consultatii

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

pentru o componenta in cazul simularii de la Lucrare de Control (LC) - pe baza de

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

pentru o componenta in cazul simularii de la Lucrare de Control (LC) - pe baza de

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.

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

fost prezentata in detaliu la curs. Fisierul de indicatii si recomandari este LC.pdf Paul Ulmeanu Subiectul

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

subiectelor pt. consultatii se realizeaza conform http://energ.curs.pub.ro/2010 Paul Ulmeanu Subiectul 1 consultatii

Paul Ulmeanu

Subiectul 1 consultatii

Date

Cuprins Datele pentru subiectul 1 Logica sistemului Evaluarea modelului

Sistemul analizat are un numar de sapte componente binare si independente

modelului Sistemul analizat are un numar de sapte componente binare si independente Paul Ulmeanu Subiectul 1

Paul Ulmeanu

Subiectul 1 consultatii

Date

Cuprins Datele pentru subiectul 1 Logica sistemului Evaluarea modelului

Sistemul analizat are un numar de sapte componente binare si independente

Logica sistemului este precizata fie prin indicarea unui set de trasee minimale, fie a unui set de taieturi minimale

fie prin indicarea unui set de trasee minimale, fie a unui set de taieturi minimale Paul

Paul Ulmeanu

Subiectul 1 consultatii

Date

Cuprins Datele pentru subiectul 1 Logica sistemului Evaluarea modelului

Sistemul analizat are un numar de sapte componente binare si independente

Logica sistemului este precizata fie prin indicarea unui set de trasee minimale, fie a unui set de taieturi minimale

Construirea modelului face apel la tehnici algebrice prezentate la curs, in principal bazate pe BDD si produse disjuncte

tehnici algebrice prezentate la curs, in principal bazate pe BDD si produse disjuncte Paul Ulmeanu Subiectul

Paul Ulmeanu

Subiectul 1 consultatii

Date

Cuprins Datele pentru subiectul 1 Logica sistemului Evaluarea modelului

Sistemul analizat are un numar de sapte componente binare si independente

Logica sistemului este precizata fie prin indicarea unui set de trasee minimale, fie 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

de obtinere a taieturilor minimale, daca se cunosc traseele minimale si vice-versa Paul Ulmeanu Subiectul 1

Paul Ulmeanu

Subiectul 1 consultatii

Date

Cuprins Datele pentru subiectul 1 Logica sistemului Evaluarea modelului

Sistemul analizat are un numar de sapte componente binare si independente

Logica sistemului este precizata fie prin indicarea unui set de trasee minimale, fie 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 .

si vice-versa BDD permite evaluarea indicatorilor de tip ν , MUT , MDT . Paul Ulmeanu

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

1

2 3

 

4

5

6

7

T1

   

     

T2

   

√ √

       

T3

     

 

T4

   

   

T5

     

√ √

   

T6

 

 

 

√     √ T6 √   √   √   √ Paul Ulmeanu Subiectul 1

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

T1

T2

T3

T4

T5

T6

1

       

2

 

   

 

3

 

 

 

4

 

 

 

5

   

 

6

   

   

7

     

  √ √     7       √ √ √ Paul Ulmeanu Subiectul 1

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

T1

T2

T3

T4

T5

T6

1

       

2

 

   

 

3

 

 

 

4

 

 

 

5

   

 

6

   

   

7

     

  √ √     7       √ √ √ Paul Ulmeanu Subiectul 1

Paul Ulmeanu

Subiectul 1 consultatii

Cuprins Datele pentru subiectul 1 Logica sistemului Evaluarea modelului

Construirea BDD

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

Factorizare (teorema lui Shannon) in raport cu componenta 7 x7 = 0

Componenta / Traseu

1 2

3

4

5 6

 

T1

√ √

       

T2

     

T3

   

 

√ √

T2 √ √       T3     √   √ √ Paul Ulmeanu Subiectul

Paul Ulmeanu

Subiectul 1 consultatii

Cuprins Datele pentru subiectul 1 Logica sistemului Evaluarea modelului

Construirea BDD

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

Factorizare (teorema lui Shannon) in raport cu componenta 7 x7 = 1

Componenta / Traseu

1

2 3

 

4

5

6

T1

   

   

T2

   

√ √

     

T3

     

T

4

   

   

T

5

   

√ √

   

T

6

 

 

 
√ √ √     T 6 √   √   √   Paul Ulmeanu Subiectul

Paul Ulmeanu

Subiectul 1 consultatii

Cuprins Datele pentru subiectul 1 Logica sistemului Evaluarea modelului

Construirea BDD

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

Continuare factorizare (teorema lui Shannon) x7 = 1 si x6 = 1

Componenta / Traseu

1

2 3

 

4

5

T1

   

 

T2

   

√ √

   

T3

     

T

4

   

   

T

5

   

√ √

 

T

6

 

 

5     √ √ √   T 6 √   √   √ Paul Ulmeanu

Paul Ulmeanu

Subiectul 1 consultatii

Cuprins Datele pentru subiectul 1 Logica sistemului Evaluarea modelului

Construirea BDD

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

Continuare factorizare (teorema lui Shannon) x7 = 1 si x6 = 1

Componenta / Traseu

2

1 3

 

4

5

T1

 

√ √

   

T3

   

T

4

 

   
  T3     √ √ T 4   √     Paul Ulmeanu Subiectul 1

Paul Ulmeanu

Subiectul 1 consultatii

Cuprins Datele pentru subiectul 1 Logica sistemului Evaluarea modelului

Construirea BDD

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

Continuare factorizare (teorema lui Shannon) x7 = 1 si x6 = 0

Componenta / Traseu

1

2 3

 

4

5

T1

   

 

T2

   

√ √

   

T

5

   

√ √

 

T

6

 

 

5     √ √ √   T 6 √   √   √ Paul Ulmeanu

Paul Ulmeanu

Subiectul 1 consultatii

BDD

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 propuse Invalidarea unei taieturi propuse Construirea BDD Paul Ulmeanu Subiectul 1 consultatii
Validarea unei taieturi propuse Invalidarea unei taieturi propuse Construirea BDD Paul Ulmeanu Subiectul 1 consultatii

Paul Ulmeanu

Subiectul 1 consultatii

BDD

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 propuse Invalidarea unei taieturi propuse Construirea BDD Paul Ulmeanu Subiectul 1 consultatii

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 ?

vectorilor critici pe baza BDD Evaluarea modelului: care sunt taieturile minimale ? Paul Ulmeanu Subiectul 1
vectorilor critici pe baza BDD Evaluarea modelului: care sunt taieturile minimale ? Paul Ulmeanu Subiectul 1

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 ?

vectorilor critici pe baza BDD Evaluarea modelului: care sunt taieturile minimale ? Paul Ulmeanu Subiectul 1
vectorilor critici pe baza BDD Evaluarea modelului: care sunt taieturile minimale ? Paul Ulmeanu Subiectul 1

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 ?

vectorilor critici pe baza BDD Evaluarea modelului: care sunt taieturile minimale ? Paul Ulmeanu Subiectul 1
vectorilor critici pe baza BDD Evaluarea modelului: care sunt taieturile minimale ? Paul Ulmeanu Subiectul 1

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 ?

vectorilor critici pe baza BDD Evaluarea modelului: care sunt taieturile minimale ? Paul Ulmeanu Subiectul 1
vectorilor critici pe baza BDD Evaluarea modelului: care sunt taieturile minimale ? Paul Ulmeanu Subiectul 1

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 ?

vectorilor critici pe baza BDD Evaluarea modelului: care sunt taieturile minimale ? Paul Ulmeanu Subiectul 1
vectorilor critici pe baza BDD Evaluarea modelului: care sunt taieturile minimale ? Paul Ulmeanu Subiectul 1

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 ?

vectorilor critici pe baza BDD Evaluarea modelului: care sunt taieturile minimale ? Paul Ulmeanu Subiectul 1
vectorilor critici pe baza BDD Evaluarea modelului: care sunt taieturile minimale ? Paul Ulmeanu Subiectul 1

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 ?

vectorilor critici pe baza BDD Evaluarea modelului: care sunt taieturile minimale ? Paul Ulmeanu Subiectul 1
vectorilor critici pe baza BDD Evaluarea modelului: care sunt taieturile minimale ? Paul Ulmeanu Subiectul 1

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

Din BDD rezulta:

I BP (i = 1) = 1 (P/∂p 1 ) p dp

0

Rezulta

(P/∂p 1 ) p = p

p 3 5p 4 + 8p 5 3p 6

I BP (i = 1) = 1/2 1/4 5/5 + 8/6 3/7 = 0.1547619

B P ( i = 1) = 1 / 2 − 1 / 4 − 5

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 x 4 = 0, lista taieturilor minimale devine:

¯ ¯

K 1 = { 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 K 1 . Taietura K 4 nu mai este minimala, avand in vedere taietura K 2 . Taietura K 5 nu mai este minimala, avand in vedere taietura K 2 .

K 2 . Taietura K 5 nu mai este minimala, avand in vedere taietura K 2

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:

T 1 = {2, 3} T 2 = {3, 6, 7} T 3 = {1, 3, 5, 7}

T 1 = { 2 , 3 } T 2 = { 3 , 6 ,

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:

unde

˙

SUCCES = T 1 +

¯

T

1 T 2

˙

+

¯

T

¯

1 T 2 T 3

 

T ¯ 1 =

˙

x¯ 3 x 2 x 3

¯

˙

˙

T 2 = x¯ 6 +x 6 x¯ 3 +x 6 x 3 x¯ 7

¯ ˙ ˙ T 2 = x ¯ 6 + x 6 x ¯ 3 +

Paul Ulmeanu

Subiectul 1 consultatii

Avem:

Cuprins Datele pentru subiectul 1 Logica sistemului Evaluarea modelului

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

T ¯ 1 T 3 = x 1 x¯ 2 x 3 x 5 x 7

¯

¯

T 1 T 3

¯

T 1 T 2 = x¯ 2 x 3 x 6 x 7

T 2 = x 1 x¯ 2 x 3 x 5 x¯ 6 x 7

˙

˙

SUCCES = x 2 x 3 x 2 x 3 x 6 x 7 +x 1 x¯ 2 x 3 x 5 x¯ 6 x 7

P = p 2 + p 3 (1 p) + p 4 (1 p) 2

ν = 2λp 2 + p 3 (1 p)(3λ µ) + p 4 (1 p) 2 (4λ 2µ)

MUT = P

p )(3 λ − µ ) + p 4 (1 − p ) 2 (4 λ

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 identificarea vectorilor critici ceruti se verifica cele trei conditii necesare si suficiente: x 6 = 1; sistemul este in stare de succes pentru starea propusa; pentru x 6 = 1 x 6 = 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 x 6 ; 2) pentru un nod x 6 din lista de mai sus, se identifica toate secventele S 1 care pornesc din radacina BDD, trec prin nodul 6 cu x 6 = 1 si ajung intr-un nod final 1 (succes) ; 3) pentru fiecare secventa de mai sus, se comuta in nodul 6 cu x 6 = 0 si se cauta toate secventele S 2 care ajung intr-un nod final 0 (insucces);

= 0 si se cauta toate secventele S 2 care ajung intr-un nod final 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 = (x 1 , x 2 , x 3 , x 4 , x 5 , 1, x 7 )

satisfacand

satisfacand S 2 , atunci vectorul V este critic pt. componenta 6. Identificarea vectorilor critici se face alaturat in urmatoarele patru

figuri. In prima figura, se identifica nodul x 6 (cercul bleu), prima

secventa de tip S

secventa desenata cu mov pana in nodul x 6 dupa care ajunge in nodul final 1 (sageata verde).

Prima secventa de tip S

1 1 se obtine prin comutarea

in nodul x 6 (sageata verde sageata rosie) spre nodul final 0.

Perechea S

S 1 si perechea sa V = (x 1 , x 2 , x 3 , x 4 , x 5 , 0, x 7 )

1 1 pleaca din radacina x 7 cu x 7 = 0 si urmeaza

1 pereche cu S

2

1

, S

1

1 genereaza doi vectori critici:

2

V 1 = (!1, !2, 3, 4, 5, 6, !7), respectiv V 2 = (!1, !2, !3, 4, 5, 6, !7)

3 , 4 , 5 , 6 , !7), respectiv V 2 = (!1 , !2

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

Tot in prima figura, se identifica a doua secventa de tip S

pleaca din radacina x 7 cu x 7 = 0 si urmeaza secventa desenata cu albastru pana in nodul x 6 dupa care ajunge in nodul final 1

(sageata verde). A doua secventa de tip S

1 2 ce

2

pereche cu S

1

2

2

se

obtine prin comutarea in nodul x 6 (sageata verde sageata rosie)

spre nodul final 0.

Perechea S

V 3 = (!1, 2, !3, 4, 5, 6, !7). Observatie. Nu mai exista noi secvente pentru prima figura. Pana

in prezent sunt trei vectori critici.

1

, S

2

2 genereaza un nou vector critic:

2

in prezent sunt trei vectori critici. 1 , S 2 2 genereaza un nou vector critic:

Paul Ulmeanu

Subiectul 1 consultatii

Prima figura

Cuprins Datele pentru subiectul 1 Logica sistemului Evaluarea modelului

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

taieturilor minimale Barlow-Proschan MUT Deducerea vectorilor critici pe baza BDD Paul Ulmeanu Subiectul 1 consultatii
taieturilor minimale Barlow-Proschan MUT Deducerea vectorilor critici pe baza BDD Paul Ulmeanu Subiectul 1 consultatii

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 figura, se identifica al doilea nod x 6 din BDD (cerc de

culoare albastra). Rezulta a treia secventa de tip S

radacina x 7 cu x 7 = 1 si urmeaza secventa desenata cu albastru

pana in nodul x 6 dupa care ajunge in nodul final 1. A treia

secventa de tip S

1 3 ce pleaca din

2

pereche cu S

3

1 3 se obtine prin comutarea in

1 3 , S

nodul x 6 (traseul albastru) spre nodul final 0. Perechea S

genereaza un singur vector critic: V 4 = (1, !2, 3, !4, !5, 6, 7). Observatie. De remarcat ca mai exista o secventa de tip S 2 care

trece prin nodurile x 6 , x 1 , x 4 , x 3 spre un nod final, de asemenea, 0.

Dar, aceasta secventa nu poate face pereche cu S

avem x 3 = 1, in timp in secventa propusa de tip S 2 avem x 3 = 0.

3

2

1 3 , intrucat in S

3

1

in secventa propusa de tip S 2 avem x 3 = 0. 3 2 1 3

Paul Ulmeanu

Subiectul 1 consultatii

A doua figura

Cuprins Datele pentru subiectul 1 Logica sistemului Evaluarea modelului

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

taieturilor minimale Barlow-Proschan MUT Deducerea vectorilor critici pe baza BDD Paul Ulmeanu Subiectul 1 consultatii
taieturilor minimale Barlow-Proschan MUT Deducerea vectorilor critici pe baza BDD Paul Ulmeanu Subiectul 1 consultatii

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 treia figura, se pleaca de la secventa de tip S

radacina x 7 cu x 7 = 1 si urmeaza secventa desenata cu albastru

pana in nodul x 6 dupa care ajunge in nodul final 1, cautandu-se o

alta pereche de tip S 2 . A patra secventa S

1 3 ce pleaca din

2

pereche cu S

1

4

3

se

obtine prin comutarea in nodul x 6 (traseul bleu) spre nodul final 0.

Perechea S

V 5 = V 6 = V 7 =

1

, S

3

4 genereaza patru vectori critici:

2

(!1, !2, 3, 4, 5, 6, 7) (!1, !2, 3, !4, 5, 6, 7) (!1, !2, 3, 4, !5, 6, 7)

V 8 = (!1, !2, 3, !4, !5, 6, 7)

, !2 , 3 , 4 , ! 5 , 6 , 7) V 8 =

Paul Ulmeanu

Subiectul 1 consultatii

A treia figura

Cuprins Datele pentru subiectul 1 Logica sistemului Evaluarea modelului

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

taieturilor minimale Barlow-Proschan MUT Deducerea vectorilor critici pe baza BDD Paul Ulmeanu Subiectul 1 consultatii
taieturilor minimale Barlow-Proschan MUT Deducerea vectorilor critici pe baza BDD Paul Ulmeanu Subiectul 1 consultatii

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 patra figura, se pleaca de la secventa de tip S

radacina x 7 cu x 7 = 1 si urmeaza secventa desenata cu albastru pana in nodul x 6 dupa care ajunge in nodul final 1, trecand prin

se

nodurile x 3 , x 4 ,x 1 si x 5 . A cincea secventa S

1 4 ce pleaca din

2

pereche cu S

1

5

4

obtine prin comutarea in nodul x 6 (traseul albastru) spre nodul

final 0. Perechea S

V 9 = (!1, !2, !3, 4, 5, 6, 7) Observatie. De remarcat ca, desi mai exista o secvente de tip S 1 , S 2 , nu se mai pot gasi perechi. Exista de fiecare data, cel putin o componenta i pentru care in S 1 avem x i = 1 iar in S 2 avem x i = 0, ori vice-versa.

1 4 , S

5 genereaza ultimul vector critic:

2

avem x i = 0, ori vice-versa. 1 4 , S 5 genereaza ultimul vector critic:

Paul Ulmeanu

Subiectul 1 consultatii

A patra figura

Cuprins Datele pentru subiectul 1 Logica sistemului Evaluarea modelului

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

taieturilor minimale Barlow-Proschan MUT Deducerea vectorilor critici pe baza BDD Paul Ulmeanu Subiectul 1 consultatii
taieturilor minimale Barlow-Proschan MUT Deducerea vectorilor critici pe baza BDD Paul Ulmeanu Subiectul 1 consultatii

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 figuri, rezulta lista vectorilor critici pentru componenta 6:

V 1 = V 2 = V 3 = V 4 =

V 5 = (!1, !2, 3, 4, 5, 6, 7).

V 6 = V 7 = V 8 =

V 9 = (!1, !2, !3, 4, 5, 6, 7)

(!1, !2, 3, 4, 5, 6, !7) (!1, !2, !3, 4, 5, 6, !7) (!1, 2, !3, 4, 5, 6, !7) (1, !2, 3, !4, !5, 6, 7)

(!1, !2, 3, !4, 5, 6, 7) (!1, !2, 3, 4, !5, 6, 7) (!1, !2, 3, !4, !5, 6, 7)

Paul Ulmeanu

, 6 , 7) (!1 , !2 , 3 , 4 , !5 , 6 ,

Subiectul 1 consultatii