EKSAMIKÜSIMUSTIK AINES

"DIGITAALSÜSTEEMIDE DIAGNOSTIKA"


  1. Boole'i diferentsiaalarvutus. Osatuletised, nende omadused ja arvutusmeetodid.
  2. Boole'i diferentsiaalarvutus. Liitfunktsioonide diferentseerimine.
  3. Testide süntees Boole'i differentsiaalarvutuse abil.
  4. Boole'i funktsiooni täisdiferentsiaal
  5. Rikete diagnoos digitaalskeemides Boole'i differentsiaalvõrrandi abil
  6. Digitaalskeemide diagnostika põhivõrrand
  7. Binarsed otsustusdiagrammid ja nende liigitus.
  8. Struktuursete binaarotsustusdiagrammide süntees ja omadused
  9. Funktsionaalsete binaarotsustusdiagrammide süntees ja optimeerimine
  10. Testide genereerimine otsustusdiagrammide abil.
  11. Rikete simuleerimine otsustusdiagrammide abil.
  12. Digitaalsüsteemid registersiirete tasemel ja kõrgtaseme otsustusdiagrammid.
  13. Mikroprotsessorid ja otsustusdiagrammid.
  14. Rikked digitaalsüsteemides ja nende mudelid. Defekt, rike, viga.
  15. Rikete kollaps ja ekvivalentsusklassid.
  16. Rikete liiasus ja maskeerumine.
  17. Testide genereerimine kombinatsioonskeemidele loogikatasandil.
  18. Testide genereerimine digitaalsüsteemidele registersiirete tasandil.
  19. Testide genereerimine mikroprotsessoritele.
  20. Testide analüüs ja rikete tabel.
  21. Rikete simuleerimise meetodid.
  22. Deduktiivne rikete analüüs.
  23. Reversiivne rikete analüüs (kriitilise tee meetod).
  24. Rikete diagnostika kombinatoorsed meetodid
  25. Rikete diagnostika järjestikulised meetodid.
Prof. Raimund Ubar


Viimane muudatus: 14. 05. 2013