Digitaalsüsteemide diagnostika (0)

Tallinna Tehnikaülikool - Informaatika - Digitaalsüsteemid

1 Hindamata

Tallinna Tehnikaülikool
Arvutitehnika instituut

Digitaalsüsteemide diagnostika IAF 0050

Kursusetöö aruanne

Tallinn 2016

1.  Kombinatsioonskeem funktsioonile
Y5=X31 (X11 V _X21 X51) V _X22 (X41 V _X32 _X52) V _X42 (X23 _X33 V X53 X6)

4. Sünteesitud struktuurne otsustusdiagramm

X3
X1

1

X2
X5

X2
X4

X3
X5

X4
X2
X3

X5
X6

0

5. Sünteesitud funktsionaalne otsustusdiagramm ja testid sisenditele

X3
X1
1

X2
X5

X4
X6

0

Test sisendile X3  (X3=1; X1=1)

X3
X1
1

0

Test sisendile X1 (X3=1; X2=0)

X3
X1
1

X2

0

Test sisendile X2 (X3=1; X1=0; X5=1)

X3
X1
1

X2
X5

0

Test sisendile X5 (X3=1; X1=0; X2=1)

X3
X1
1

X2
X5

0

Test sisendile X4 (X3=1; X1=0; X2=1; X5=0; X6=1)

  X3
X1
1

X2
X5

X4
X6

0

Test sisendile X6  (X3=1; X1=0; X2=1; X5=0; X4=0)

  X3
X1
1

X2
X5

X4
X6

0

6. Käsitsi genereeritud testid
Y5=X31 (X11 V _X21 X51) V _X22 (X41 V _X32 _X52) V _X42 (X23 _X33 V X53 X6)
Y5
Y5
X3  *(  X1  V  (_X2  *  X5))  Y5 1  V  _X2  *(  X4  V  (_X3  *  _X5))  2
V  _X4  *((  X2  *  _X3)  V  (X5  *  X6))  3
Y5
1
0
0
1  õige
0
0
0
0  väär
1
1
0
1
0  väär  1
1
0
0
0  väär
0
0
0
1  väär
1
1
0
0
0  väär  0
0
1
1
0  väär
1
1
1
1  õige
0
0
1
0
0  väär  1
1
1
1
1  õige
1
1
0
0  õige
0
0
0
1
0  väär  1
1
0
1
1  väär
1
1
0
0  õige
0
0
0
1
0  väär  1
0
0
0
0  väär
0
0
1
1  väär
1
1
1
0
0  õige  1
0
0
0
1  väär
0
0
1
0  väär
1
1
1
1
0  õige  1
0
1
1
0  väär
1
0
1
1  õige
1
0
1
0
0  väär  1
1
0
1
0  väär
1
0
0
1  väär
1
0
0
0
0  väär  0
1
0
0
1  väär
0
0
0
0  väär
1
1
0
1
1  õige  1
1
0
0
0  väär
0
0
0
1  väär
1
1
0
0
1  väär  0
0
0
0
0  väär
0
0
0
0  väär
0
0
0
0
0  väär  0
1
0
1
1  õige
1
1
0
0  õige
0
0
0
1
1  väär  1
1
0
1
1  õige
1
0
0
0  väär
1
0
0
1
0  väär  1
0
1
0
0  väär
0
1
1
1  väär
0
1
1
0
0  õige  0
1
1
0
1  õige
0
1
0
0  väär
0
1
0
1
0  väär  1
0
0
1
1  väär
1
0
1
0  väär
1
0
1
1
0  väär  0
0
1
0
0  väär
0
0
1
1  väär
1
1
1
0
0  väär  0
0
1
1
1  väär
1
0
1
0  väär
1
0
1
1
1  väär  1
1
0
1
0  väär
1
0
0
1  väär
1
0
0
0
1  väär  1

X1  X2  X3  X4  X5  X6
0  1  1  0  1  0
0  1  1  0  0  0
1  0  0  1  0  0
1  0  1  1  1  0
0  0  1  1  1  0
0  1  0  0  0  0
0  1  0  0  1  0
1  0  0  0  0  0
0  0  1  0  0  0
0  1  1  0  1  1
0  1  1  0  0  1
N  O  T  E  S  T
0  0  1  1  1  1
0  0  1  0  1  0
1  1  0  1  0  0
1  1  1  1  1  0
0  0  0  0  1  0
1  1  0  0  0  0
1  0  0  0  1  1
0  0  1  0  0  1
7. Testid lühiste leidmiseks
Testi genereerimiseks, mis avastaksid lühised kasutan punkti 6 tabelit
Lühis 1 ja 2 vahel. Vaatlen funktsiooni 1. osa X31 (X11 V _X21 X51) ja kogu funktsiooni tulemust Y.

Lahend : X1=0  X2=0  X3=1 X5=0 X4=0 ja X6=0

Lühis 3 ja 4 vahel, Vaatlen funktsiooni 2. Osa _X22 (X41 V _X32 _X52) ja kogu funktsiooni tulemust Y

Lahend: (X2=0; X3=1; X4=1; X5=0)

Lühis 5 ja 6 vahel, Vaatlen funktsiooni 3. Osa _X42 (X23 _X33 V X53 X6)ja kogu funktsiooni tulemust Y

Lahend: (X2=0; X3=1; X4=1; X5=0; X6=1)

Lühis 2 ja 3 vahel. Vaatlen funktsiooni 1. osa X31 (X11 V _X21 X51) ja kogu funktsiooni tulemust Y

Lahend: (X1=1  X2=0  X3=1 X5=0)

Lühis 4 ja 5 vahel, vaatlen funktsiooni 2. Osa _X22 (X41 V _X32 _X52) ja kogu funktsiooni tulemust Y

Lahend: (X2=0; X3=1; X4=1; X5=0)

8. Esimese tulbas antud testvektorid avastavad järgmised rikked
us
us
us
X1  X2  X3  X4  X5  X6
tulem
tulem
tulem

testib

testib

testib
Y
0  0  0  0  0  0
0

1
x2  x3  x5
0

1
1  1  1  1  1  1
1
x1  x3
0
x2
1
x4  x5  x6
1
0  1  0  1  0  1
0

0
x2
1
x2  x3  x4
1
1  0  1  0  1  0
1

x3
0
x4
0

1
0  0  1  1  0  0
0
x1  x5
1
x2  x4

0

1
1  1  0  0  1  1
0

x3
0

0
x3
0
0  0  0  1  1  1
0

x3
1
x2  x4

1
x4  x5  x6
1
1  1  1  0  0  0
1
x1  x3
0

0

1

9 – 10 Turbotesteri kasutamine
Generate

Generate backtracks 100

Genetic

Random

Random pack_size

Analyze

Report   not tested ja tested

Minu 6. Punkti 19 vektori t läbi vecmanageri

Kokkuvõte

Nagu  näha,  sai   deterministlik   meetod  käsitsi  tehtuga  võrreldes  parema  tulemuse.  Antud  juhul
vektorite  vahe  ei  ole  väga  suur,  mil est  järeldub,  et  käsitsi  on  võimalik  test  saada  kuid   ajakulu   on
tunduvalt  suurem  ning  keerukamate  funktsioonide  puhul  ei  pruugi  ikkagi  ni   head  tulemust  tul a.
Arvan, et masina vastu inimene ei saa.

.PDF Laadi alla originaalfail 12 lk · .pdf · 6 allalaadimist

50 punkti Autor soovib selle materjali allalaadimise eest saada 50 punkti.

~ 12 lehte Lehekülgede arv dokumendis

2018-11-26 Kuupäev, millal dokument üles laeti

6 laadimist Kokku alla laetud

0 arvamust Teiste kasutajate poolt lisatud kommentaarid

Minnik2 Õppematerjali autor

Kursusetöö aruanne

Sarnased õppematerjalid

142

pdf

Matemaatilise analüüsi konspekt TTÜ's

Matemaatiline anal¨ uu¨s I Jaan Janno ii Sisukord 1 Funktsioonid ja nendega seotud m~ oisted 1 1.1 Reaalarvud ja Arvtelg. Absoluutv¨a¨artuse m~oiste. Reaalarvudest koosnevad hulgad. . . . . . . . . . . . . . . . . . . . . . . . . . . 1 1.2 J¨a¨avad ja muutuvad suurused. Funktsiooni m~oiste ja esitusviisid. 3 1.3 Funktsioonide liigid. Konstantne funktsioon. Astme-, eksponent- ja trigonomeetrilised funktsioonid. . . . . . . . . . . . . . . . . . 6 1.4 P¨o¨ordfunktsiooni m~oiste. Logaritmfunktsioon. Arkusfunktsioonid. 8 1.5 Tehted funktsioonidega. Elementaarfunktsioon. Pol¨ unoom ja ratsionaalfunktsioon. . . . . . . . . . . . . . . . . . . . . . . . . . 18 1.6 Ilmutatud ja ilmutamata funktsioonid. Parameetrilisel kujul an- tud jooned ja funktsioonid. . . . . . . . . . . . . . . . . . . . . . 19 1.7 H¨uperboolsed trigonomeetrilised funktsioonid. . . . . . . . .

Matemaatiline analüüs

142

pdf

Matemaatiline analüüs I

Matemaatiline anal¨ uu¨s I Jaan Janno ii Sisukord 1 Funktsioonid ja nendega seotud m~ oisted 1 1.1 Reaalarvud ja Arvtelg. Absoluutv¨a¨artuse m~oiste. Reaalarvudest koosnevad hulgad. . . . . . . . . . . . . . . . . . . . . . . . . . . 1 1.2 J¨a¨ avad ja muutuvad suurused. Funktsiooni m~oiste ja esitusviisid. 3 1.3 Funktsioonide liigid. Konstantne funktsioon. Astme-, eksponent- ja trigonomeetrilised funktsioonid. . . . . . . . . . . . . . . . . . 6 1.4 P¨o¨ ordfunktsiooni m~oiste. Logaritmfunktsioon. Arkusfunktsioonid. 8 1.5 Tehted funktsioonidega. Elementaarfunktsioon. Pol¨ unoom ja ratsionaalfunktsioon. . . . . . . . . . . . . . . . . . . . . . . . . . 18 1.6 Ilmutatud ja ilmutamata funktsioonid. Parameetrilisel kujul an- tud jooned ja funktsioonid. . . . . . . . . . . . . . . . . . . . . . 19 1.7 H¨uperboolsed trigonomeetrilised funktsio

Matemaatika

273

pdf

Lembit Pallase materjalid

YMM3731 Matemaatiline analu¨u¨s I 2007/08 ~o.-a. su¨gissemestril 3,5 AP 4 2-0-2 E S Dots. Lembit Pallas TTU¨ Matemaatikainstituut V-404, tel. 6203056 e-post: [email protected] K¨asitletavad teemad on toodud punktide kaupa. Neid punkte tuleb vaadelda ka kui kollokviumide ja eksami teooriak¨ usimusi. 1. Funktsiooni m~oiste ja esitusviisid 2. Funktsioonide liigitamine (paaris- ja paaritud funktsioonid, perioodilised funktsioo- nid, kasvavad ja kahanevad funktsioonid) 3. P¨o¨ordfunktsioon 4. Liitfunktsioon 5. Jada piirv¨aa¨rtus 6. Funktsiooni piirv¨aa¨rtus ¨ 7. Uhepoolsed piirv¨aa¨rtused 8. L~opmatult kasvavad ja l~opmatult kahanevad suurused 9. Piirv¨a¨artusteoreemid 10. L~opmatult kahanevate suuruste v~ordlemine 11. Funktsiooni pidevuse m~oiste. Tarvilik ja piisav tingimus funktsiooni pidevuseks 12. Elementaarfunktsioonide pidevus 13. L~oigul

Matemaatiline analüüs

246

pdf

Funktsiooni graafik I õpik

1 10. klass Viljandi Täiskasvanute Gümnaasium KORDAMINE: FUNKTSIOONI GRAAFIK I Joonistel on kuue funktsiooni graafikud. Tee kindlaks, missuguste funktsioonidega on tegemist. 1 2 3 © Allar Veelmaa 2014 2 10. klass Viljandi Täiskasvanute Gümnaasium KORDAMINE: FUNKTSIOONI GRAAFIK II © Allar Veelmaa 2014 3 10. klass Viljandi Täiskasvanute Gümnaasium REAALARVUDE PIIRKONNAD Kuna erinevates õpikutes kasutatakse reaalarvude piirkondade märkimiseks erinevaid tähistusi, siis oleks kasulik teada mõlemat varianti. Nimetus Tingimus Esimene

Matemaatika

pdf

Majandusmatemaatika

MAJANDUSMATEMAATIKA I Ako Sauga Tallinn 2003 SISUKORD 1. MUDELID MAJANDUSES . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 Mudeli mõiste. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 Matemaatiliste mudelite liigitus ja elemendid . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 Matemaatilise mudeli struktuur ja sisu . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 2. FUNKTSIOONID JA NENDE ALGEBRA . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6 Arvud ja nende hulgad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6 Funktsionaalne sõltuvus . . . . . . . . . .

Raamatupidamise alused

156

pdf

Kõrgem matemaatika

MTMM.00.340 Kõrgem matemaatika 1 2016 KÄRBITUD loengukonspekt Marek Kolk ii Sisukord 0 Tähistused. Reaalarvud 1 0.1 Tähistused . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2 0.2 Kreeka tähestik . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 0.3 Reaalarvud . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 0.4 Summa sümbol . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 1 Maatriksid ja determinandid 7 1.1 Maatriksi mõiste . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8 1.2 Tehted maatriksitega . . . . . . . . . . . . . . . . . . .

Kõrgem matemaatika

282

pdf

Mikroprotsessortehnika

TALLINNA TEHNIKAÜLIKOOL ELEKTRIAJAMITE JA JÕUELEKTROONIKA INSTITUUT ROBOTITEHNIKA ÕPPETOOL MIKROPROTSESSORTEHNIKA TÕNU LEHTLA LEMBIT KULMAR Tallinn 1995 2 T Lehtla, L Kulmar. Mikroprotsessortehnika TTÜ Elektriajamite ja jõuelektroonika instituut. Tallinn, 1995. 141 lk Toimetanud Juhan Nurme Kujundanud Ann Gornischeff Autorid tänavad TTÜ arvutitehnika instituudi lektorit Toomas Konti ja sama instituudi dotsenti Vladimir Viiest raamatu käsikirjas tehtud paranduste ja täienduste eest.  T Lehtla, L Kulmar, 1995  TTÜ elektriajamite ja jõuelektroonika instituut, 1995 Kopli 82, 10412 Tallinn Tel 620 3704, 620 3700. Faks 620 3701 ISBN 9985-69-006-0 TTÜ trükikoda. Koskla 2/9, Tallinn EE0109 Tel 552 106 3 Sisukord Saateks

Tehnikalugu

177

pdf

ÜHE MUUTUJA MATEMAATILINE ANALÜÜS

LTMS.00.022 ÜHE MUUTUJA MATEMAATILINE ANALÜÜS Loengukursus Tartu Ülikooli loodus- ja täppisteaduste valdkonna üliõpilastele 2019./2020. õppeaasta Toivo Leiger Joonised: Ksenia Niglas Pisitäiendused 2016–20: Märt Põldvere, Natalia Saealle, Indrek Zolk, Urve Kangro 2 Sisukord 1 Reaalarvud 6 1.1 Järjestatud korpused . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6 1.1.1 Korpuse aksioomid . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6 1.1.2 Järjestatud korpus . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8 1.1.3 Täielik järjestatud korpus . . . . . . . . . . . . .

Algebra I

Rohkem sarnaseid