| Esineb: | prof. Raimund Ubar (TTÜ arvutitehnika instituut) |
| Koht: | Ruum B216, Küberneetika Instituut, Akadeemia tee 21, Tallinn |
| Aeg: | Esmaspäev, 20. mai 2002, 14:00 |
Lühike ülevaade TTÜ digitaalsüsteemide diagnostika labori uurimistööst. Populaarne sissejuhatus digitaaldiagnostikasse. Boole'i differentsiaalalgebrast, diagnostika üldvõrrandist ja diagnostika põhiülesannete formaalsest püstitusest. Struktuurselt sünteesitud binaarotsustusdiagrammidest ning nende kasutamisest loogikaskeemide diagnostikas. Otsustusdiagrammide üldjuht digitaalsüsteemide modelleerimiseks kõrgematel esitustasanditel (register-edastus ja käitumuslik e. funktsionaalne tasand). Mõningatest otsustusdiagrammide rakendustest: testide süntees, rikete simuleerimine.