Consultatii ELa123, 06 ianuarie 2014

Documente similare
Prelegerea 4 În această prelegere vom învăţa despre: Algebre booleene; Funcţii booleene; Mintermi şi cuburi n - dimensionale. 4.1 Definirea algebrelor

L4. TEOREMELE ALGEBREI BINARE. FUNCȚII LOGICE ELEMENTARE. OPERAȚII LOGICE PE BIT. SINTEZA FUNCȚIILOR LOGICE DIN TABELE DE ADEVĂR 1. Obiective Prin par

L4. TEOREMELE ALGEBREI BINARE. FUNCȚII LOGICE ELEMENTARE. OPERAȚII LOGICE PE BIT. SINTEZA FUNCȚIILOR LOGICE DIN TABELE DE ADEVĂR 1. Obiective Prin par

Probleme date la examenul de logică matematică şi computaţională. Partea a II-a Claudia MUREŞAN Universitatea din Bucureşti Facultatea de Matematică ş

E_d_Informatica_sp_SN_2014_bar_10_LRO

Logică și structuri discrete Logică propozițională Marius Minea marius/curs/lsd/ 3 noiembrie 2014

Analiză statică Analiza fluxului de date 23 octombrie 2014

Teoreme cu nume 1. Problema (Năstăsescu IX, p 147, propoziţia 5) Formula lui Chasles Pentru orice puncte M, N şi P avem MN + NP = MP.

ANUL I SERIA A O R A R AN UNIV , SEM. II ZIUA ORA Grupa 601 Grupa 602 Grupa 603 Grupa 604 LUNI SPORT - RAU SPORT CENTER (Șos. St

Microsoft Word - Planuri_Mate_

CHESTIONAR

Fisa disciplinei_Utilizarea_Calc_CFDP_ _var2_

Republica Serbia MINISTERUL ÎNVĂŢĂMÂNTULUI, ŞTIINŢEI ŞI DEZVOLTĂRII TEHNOLOGICE INSTITUTUL PENTRU EVALUAREA CALITĂŢII ÎNVĂŢĂMÂNTULUI ŞI EDUCAŢIEI INST

PowerPoint Presentation

ASDN

Slide 1

ExamView Pro - Untitled.tst

Microsoft Word - Adela_Programa_Matematici speciale_2015_2016 (1).doc

LOGICA MATEMATICA SI COMPUTATIONALA Sem. I,

Universitatea Lucian Blaga din Sibiu Departamentul de Calculatoare și Inginerie Electrică Valabilă an universitar: Date despre program In

Microsoft Word - TIC5

Slide 1

DOMENIUL: Matematica

Microsoft PowerPoint - Prezentarea_programelor_de_studii_de_licenta_2019

Logică și structuri discrete Mulțimi Casandra Holotescu

Analiză de flux de date 29 octombrie 2012

Microsoft Word - a5+s1-5.doc

programa_olimpiada_matematica_IX-XII_

METODE NUMERICE ÎN INGINERIE

FIŞA DISCIPLINEI 1. Date despre program 1.1 Instituţia de învăţământ superior Universitatea Alexandru Ioan Cuza din Iasi 1.2 Facultatea Facultatea de

Notiuni de algebra booleana

Examenul de bacalaureat 2012

Spatii vectoriale

Microsoft Word - cap1p4.doc

20 SUBIECTE DE EXAMEN - De fapt, în pofida acestor probleme, până la urmă tot vom logaritma, căci aceasta este tehnica naturală în context. Trebuie do

Aproximarea functiilor prin metoda celor mai mici patrate

Slide 1

Capitole Speciale de Informatica - Curs 5: Extragerea informatiilor prin feedback de relevanta. Metode probabiliste de extragere a informatiilor

Discipline aferente competenţelor Facultate: Facultatea de Electronică şi Telecomunicaţii Universitate: UNIVERSITATEA POLITEHNICA DIN TIMIȘOARA Domeni

Prietenul nostru, LABIRINTUL! resursă educaţională gratuită, pentru uz şcolar 1

Probleme rezolvate de fizică traducere de Nicolae Coman după lucrarea

Retele Petri si Aplicatii

ROMÂNIA MINISTERUL EDUCAŢIEI NAŢIONALE UNIVERSITATEA OVIDIUS DIN CONSTANŢA FACULTATEA DE MATEMATICĂ ŞI INFORMATICĂ PLAN DE ÎNVĂŢĂMÂNT (conţine 11 pagi

Generarea semnalelor standard 1 Scopul lucrării Familiarizarea cu modul de generare şi reprezentare în mediul Matlab a semnalelor de test, considerate

Facultatea de Matematică Anul II Master, Geometrie Algebrică Mulţimi algebrice ireductibile. Dimensiune 1 Mulţimi ireductibile Propoziţia 1.1. Fie X u

SERVICIUL DE TELECOMUNICAŢII SPECIALE

Microsoft Word - Evaluare_11_IH_poz4_IA_Anii_I-II.doc

rules_ro

Examenul de bacalaureat 2012

FIŞA DISCIPLINEI 1. Date despre program 1.1 Instituţia de învăţământ superior Universitatea de Vest din Timișoara 1.2 Facultatea Matematică și Informa

ETTI-AM2, , M. Joița & A. Niță Notițe de Adrian Manea Seminar 11 Transformarea Laplace Aplicații Transformarea Z Ecuații și sisteme diferenți

Examenul de bacalaureat 2012

Examenul de bacalaureat 2012

Curs 8: Tehnica divizării (I) Algoritmi si structuri de date - Curs 8 1

1

Slide 1

Microsoft Word - grile.doc

Microsoft Word - _arbori.docx

Secţiunea 9-10 avansaţi Concurs online de informatică Categoria PROGRAMARE PROBLEMA 1 TEXT 100 puncte Un text este format din una sau mai multe propoz

ENVI_2018_matematica_si_stiinte_Test_1_Caietul_elevului_Limba_romana

SOCIETATEA PE ACŢIUNI „APĂ-CANAL CHIŞINĂU”

Microsoft PowerPoint - Curs_SDA_9_RO_2019_v2.pptx

De la BIT la procesor

09. Informatica 2 - MM 1

matematica

FIŞA DISCIPLINEI 1. Date despre program 1.1 Instituţia de învăţământ superior Universitatea Alexandru Ioan Cuza din Iaşi 1.2 Facultatea Facultatea de

Prelegerea 3 În această prelegere vom învăţa despre: Clase speciale de latici: complementate. modulare, metrice, distributive şi 3.1 Semi-distributivi

Microsoft Word - Matematika_kozep_irasbeli_jav_utmut0513V28_roman.doc

Microsoft Word - Curs_09.doc

Calcul Numeric

carteInvataturaEd_2.0_lectia5.pdf

Microsoft Word - Algoritmi genetici.docx

Universitatea Politehnica din Bucureşti 2019 Disciplina: Geometrie şi Trigonometrie G1 * Varianta A 1. Ştiind cos x = 3 2, atunci sin2 x

10. Analiza numerica - MA 2

PowerPoint Presentation

Microsoft Word - O problema cu bits.doc

Microsoft Word - probleme_analiza_numerica_ses_ian09.rtf

Matematika román nyelven középszint Javítási-értékelési útmutató 1813 ÉRETTSÉGI VIZSGA május 7. MATEMATIKA ROMÁN NYELVEN KÖZÉPSZINTŰ ÍRÁSBELI VI

Microsoft PowerPoint - ALOCAREA FINANCIARA SDL (2).pptx [Read-Only]

INSPECTORATUL ŞCOLAR JUDEŢEAN VÂLCEA COLEGIUL NAŢIONAL DE INFORMATICĂ MATEI BASARAB RÂMNICU VÂLCEASTR. HENRI COANDĂ NR.2 TELEFON/FAX:

Calcul Numeric

Concurs online de informatică Categoria PROGRAMARE PROBLEMA 1 Secţiunea 7-8 avansaţi 100 puncte DEMOCRATIE Arpsod are în curtea sa N copaci foarte băt

Aero-BCD, , Prof. L. Costache & M. Olteanu Notițe de Adrian Manea Seminar 5 Șiruri și serii de funcții. Serii de puteri 1 Șiruri de funcții D

GHERCĂ MAGDA CASA CORPULUI DIDACTIC BRĂILA PORTOFOLIU EVALUARE INFORMATICĂ ȘI TIC PENTRU GIMNAZIU CLASA A V-A Neamț SERIA 1 GRUPA 1 CURSANT: GHERCĂ G

Prog Ex iunie 2016 final.xls

FIŞA DISCIPLINEI

2

Algebra si Geometri pentru Computer Science

Microsoft Word - Programa_Evaluare_Nationala_2011_Matematica.doc

PROGRAMA CONCURSULUI NAŢIONAL

D.Rusu, Teoria măsurii şi integrala Lebesgue 6 MĂSURA LEBESGUE Cursul 5 Teorema 6.26 Există submulţimi ale lui R care nu sunt măsurabile Lebesgue. Dem

Matematica VI

Cursul 12 (plan de curs) Integrale prime 1 Sisteme diferenţiale autonome. Spaţiul fazelor. Fie Ω R n o mulţime deschisă şi f : Ω R n R n o funcţie de

Slide 1

Retele Petri si Aplicatii

ALGORITMII ŞI REPREZENTAREA LOR Noţiunea de algoritm Noţiunea de algoritm este foarte veche. Ea a fost introdusă în secolele VIII-IX de către Abu Ja f

PowerPoint Presentation

ROMÂNIA MINISTERUL EDUCAŢIEI NAȚIONALE Domeniul fundamental: Matematică și știinţe ale naturii Domeniul de licenţă: Informatică Ciclu de studii: 1 Pro

Transcriere:

Consultatii ELa123, 06 ianuarie 2014 Paul Ulmeanu January 6, 2014 Paul Ulmeanu () Consultatii ELa123, 06 ianuarie 2014 January 6, 2014 1 / 22

Cuprins 1 Cuprins 2 Principii 3 Logica sistemului Date de intrare Logica sistemului 4 Calculul prob. de succes pentru x 7 = 0 5 Calculul MUT pentru x 4 = 0 6 Vectori critici comuni componentelor 3 si 6 Paul Ulmeanu () Consultatii ELa123, 06 ianuarie 2014 January 6, 2014 2 / 22

Cuprins Un Enunt de tip Simulare Construirea adecvata a modelului de calcul, corespunzator datelor de intrare si cerintelor precizate in enunt Paul Ulmeanu () Consultatii ELa123, 06 ianuarie 2014 January 6, 2014 3 / 22

Cuprins Un Enunt de tip Simulare Construirea adecvata a modelului de calcul, corespunzator datelor de intrare si cerintelor precizate in enunt Evaluarea modelului Paul Ulmeanu () Consultatii ELa123, 06 ianuarie 2014 January 6, 2014 3 / 22

Cuprins Un Enunt de tip Simulare Construirea adecvata a modelului de calcul, corespunzator datelor de intrare si cerintelor precizate in enunt Evaluarea modelului Solutii Paul Ulmeanu () Consultatii ELa123, 06 ianuarie 2014 January 6, 2014 3 / 22

Principii Premize Sistemul analizat are un numar de sapte componente binare si independente Paul Ulmeanu () Consultatii ELa123, 06 ianuarie 2014 January 6, 2014 4 / 22

Principii Premize Sistemul analizat are un numar de sapte componente binare si independente Logica sistemului este precizata prin indicarea unui set de trasee minimale (pt. cazul x 6 = 0) si a unui set de taieturi minimale (pt. cazul x 6 = 1) Paul Ulmeanu () Consultatii ELa123, 06 ianuarie 2014 January 6, 2014 4 / 22

Principii Premize Sistemul analizat are un numar de sapte componente binare si independente Logica sistemului este precizata prin indicarea unui set de trasee minimale (pt. cazul x 6 = 0) si a unui set de taieturi minimale (pt. cazul x 6 = 1) Construirea modelului face apel la tehnici algebrice prezentate la curs, in principal bazate pe produse disjuncte Paul Ulmeanu () Consultatii ELa123, 06 ianuarie 2014 January 6, 2014 4 / 22

Logica sistemului Date de intrare Date de intrare: Trasee minimale pt. cazul x 6 = 0 Componenta / Traseu 1 2 3 4 5 6 7 Traseu Traseu Traseu Traseu Paul Ulmeanu () Consultatii ELa123, 06 ianuarie 2014 January 6, 2014 5 / 22

Logica sistemului Date de intrare Date de intrare: Taieturi minimale pt. cazul x 6 = 1 Componenta indisponibila / Taietura 1 2 3 4 5 6 7 K1 K2 K3 K4 Paul Ulmeanu () Consultatii ELa123, 06 ianuarie 2014 January 6, 2014 6 / 22

Logica sistemului Logica sistemului Factorizare - teorema Shannon Factorizare - teorema lui Shannon in raport cu componenta 6: SUCCES = x 6 SUCCES x6 =1 + x 6 SUCCES x6 =0 SUCCES x6 =1 = INSUCCES x6 =1 SUCCES x6 =1 = K1 +K2 +K3 +K4 x6 =1 (K1 +K2 +K3 +K4) x6 =1 = (K1 K2 K3 K4) x 6 =1 Pentru x 6 = 1, s-au notat: K1 = x 3 x 4 K1 = x 3 +x 4 K2 = x 1 x 3 x 5 K2 = x 1 +x 3 +x 5 K3 = x 2 x 4 x 7 K3 = x 2 +x 4 +x 7 K4 = x 1 x 2 x 5 x 7 K4 = x 1 +x 2 +x 5 +x 7 K1 K2 = x 3 +x 1 x 4 +x 4 x 5 K3 K4 = x 2 +x 7 +x 1 x 4 +x 4 x 5 K1 K2 K3 K4 = x 1 x 4 +x 2 x 3 +x 4 x 5 +x 3 x 7 Paul Ulmeanu () Consultatii ELa123, 06 ianuarie 2014 January 6, 2014 7 / 22

Logica sistemului Logica sistemului Factorizare - teorema Shannon Cazul x 6 = 1: traseele minimale sunt T 1 = {1, 4}; T 2 = {2, 3}; T 3 = {4, 5}; T 4 = {3, 7}. Cazul x 6 = 0: traseele minimale numerotate:t 1 = {1, 4}; T 2 = {2, 3}; T 5 = {2, 4, 5, 7}; T 6 = {1, 3, 5, 7}. Traseele sistemului: - trasee care nu au legatura cu starea componentei 6: T 1 = {1, 4}; T 2 = {2, 3}; T 5 = {2, 4, 5, 7}; T 6 = {1, 3, 5, 7} - trasee care sunt in legatura cu starea componentei 6: pt. x 6 = 1: T 3 = {4, 5}; T 4 = {3, 7}. T 3 T 3 = {4, 5, 6}; T 4 T 4 = {3, 6, 7}. Concluzie: Sistemul are sase trasee minimale: T 1, T 2, T 3, T 4, T 5, T 6. Paul Ulmeanu () Consultatii ELa123, 06 ianuarie 2014 January 6, 2014 8 / 22

Calculul prob. de succes pentru x 7 = 0 Calculul prob. de succes pentru x 7 = 0 In cazul in care componenta 7 este retrasa din exploatare / indisponibila, din cele 6 trasee minimale mai putem conta pe cele care NU-l contin pe 7: T 1 = {1, 4}; T 2 = {2, 3}; T 3 = {4, 5, 6} Paul Ulmeanu () Consultatii ELa123, 06 ianuarie 2014 January 6, 2014 9 / 22

Calculul prob. de succes pentru x 7 = 0 Diagrama de succes a sistemului in cazul x7 = 0 P x7 =0 = p 2 + (1 p 2 ) p (p + (1 p) p 2 ) P x7 =0 = 2 p 2 + p 3 2p 4 p 5 + p 6 Pentru p = 0.9 P x7 =0 = 0.977751 Paul Ulmeanu () Consultatii ELa123, 06 ianuarie 2014 January 6, 2014 10 / 22

Calculul MUT pentru x 4 = 0 Calculul MUT - bazat pe lista traseelor minimale Vom aborda calculul MUT plecand de la lista traseelor minimale actualizate pentru cazul x 4 = 0. Sistemul are, in acest caz, trei trasee minimale, respectiv pe cele care NU contin componenta 4: T 2 = {2, 3}; T 4 = {3, 6, 7} ; T 6 = {1, 3, 5, 7}. Ecuatia logica bazata pe dezvoltare de produse disjuncte: SUCCES x4 =0 = T 2 + T 2 T 4 + T 2 T 4 T 6 Paul Ulmeanu () Consultatii ELa123, 06 ianuarie 2014 January 6, 2014 11 / 22

Calculul MUT pentru x 4 = 0 T 2 = x 3 + x 2 x 3 T 2 T 4 = x 2 x 3 x 6 x 7 T 2 T 6 = x 1 x 2 x 3 x 5 x 7 T 4 = x 3 + x 7 x 3 +x 7 x 3 x 6 T 2 T 6 T 4 = x 1 x 2 x 3 x 5 x 6 x 7 Paul Ulmeanu () Consultatii ELa123, 06 ianuarie 2014 January 6, 2014 12 / 22

Calculul MUT pentru x 4 = 0 Avem: SUCCES x4 =0 = 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 x4 =0 = p 2 + p 3 (1 p) + p 4 (1 p) 2 ν x4 =0 = 2λp 2 + p 3 (1 p)(3λ µ) + p 4 (1 p) 2 (4λ 2µ) MUT x4 =0 = P x4 =0/ν x4 =0 Numeric: pentru p = 0.9 P x4 =0 = 0.889461 pentru λ = 2 10 4 (1/h) µ = λp/(1 p) = 18 10 4 (1/h) ν x4 =0 = 0.0002181492 (1/h); MUT x4 =0 = 4077.3 (h). Paul Ulmeanu () Consultatii ELa123, 06 ianuarie 2014 January 6, 2014 13 / 22

Vectori critici comuni componentelor 3 si 6 Pasul 1: Trasee minimale care contin atat componenta 3, cat si componenta 6 Traseu / Componenta 3 6 7 T4 Pentru identificarea vectorilor critici ceruti: conditia 1: x 3 =1 si x 6 = 1. Cum T4 este singurul traseu care contine cele doua componente: conditia 2: x 7 = 1 (pentru ca sistemul sa fie in stare de succes). Paul Ulmeanu () Consultatii ELa123, 06 ianuarie 2014 January 6, 2014 14 / 22

Vectori critici comuni componentelor 3 si 6 Pasul 2: Restul traseelor - care nu contin componentele 3 si 6 Traseu / Componenta T1 T2 T3 T5 T6 1 2 4 5 7 Pentru x 3 = 1 si x 6 = 1, traseul T 5 nu mai este minimal. In plus, x 7 = 1. Paul Ulmeanu () Consultatii ELa123, 06 ianuarie 2014 January 6, 2014 15 / 22

Vectori critici comuni componentelor 3 si 6 Pasul 3: Nici unul din traseele minimale indicate la pasul 2 nu trebuie sa fie functionale! Traseu / Componenta T1 T2 T3 T6 1 2 4 5 Paul Ulmeanu () Consultatii ELa123, 06 ianuarie 2014 January 6, 2014 16 / 22

Vectori critici comuni componentelor 3 si 6 Traseul T2 nefunctional daca si numai daca x 2 = 0 Traseu / Componenta T1 T2 T3 T6 1 2 4 5 Paul Ulmeanu () Consultatii ELa123, 06 ianuarie 2014 January 6, 2014 17 / 22

Vectori critici comuni componentelor 3 si 6 Similar, T1, T3 si T6 (Solutia 1) Traseu / Componenta T1 T2 T3 T6 1 2 4 5 Componente in stare de insucces: 1,2,5; Componente in stare de succes: 3,4,6,7 Paul Ulmeanu () Consultatii ELa123, 06 ianuarie 2014 January 6, 2014 18 / 22

Vectori critici comuni componentelor 3 si 6 Similar, T1, T3 si T6 (Solutia 2) Traseu / Componenta T1 T2 T3 T6 1 2 4 5 Componente in stare de insucces: 2,4,5; Componente in stare de succes: 1,3,6,7 Paul Ulmeanu () Consultatii ELa123, 06 ianuarie 2014 January 6, 2014 19 / 22

Vectori critici comuni componentelor 3 si 6 Similar, T1, T3 si T6 (Solutia 3) Traseu / Componenta T1 T2 T3 T6 1 2 4 5 Componente in stare de insucces: 1,2,4; Componente in stare de succes: 3,5,6,7 Paul Ulmeanu () Consultatii ELa123, 06 ianuarie 2014 January 6, 2014 20 / 22

Vectori critici comuni componentelor 3 si 6 Similar, T1, T3 si T6 (Solutia 4) Traseu / Componenta T1 T2 T3 T6 1 2 4 5 Componente in stare de insucces: 1,2,4,5; Componente in stare de succes: 3,6,7 Paul Ulmeanu () Consultatii ELa123, 06 ianuarie 2014 January 6, 2014 21 / 22

Vectori critici comuni componentelor 3 si 6 Din cele patru solutii, rezulta lista vectorilor critici comuni: V 1 = {!1,!2, 3,!4,!5, 6, 7} V 2 = {!1,!2, 3,!4, 5, 6, 7} V 3 = {!1,!2, 3, 4,!5, 6, 7} V 4 = {1,!2, 3,!4,!5, 6, 7} Paul Ulmeanu () Consultatii ELa123, 06 ianuarie 2014 January 6, 2014 22 / 22