Vyhledávat v databázi titulů je možné dle ISBN, ISSN, EAN, č. ČNB, OCLC či vlastního identifikátoru. Vyhledávat lze i v databázi autorů dle id autority či jména.
Projekt ObalkyKnih.cz sdružuje různé zdroje informací o knížkách do jedné, snadno použitelné webové služby. Naše databáze v tuto chvíli obsahuje 3299922 obálek a 1000629 obsahů českých a zahraničních publikací. Naše API využívá většina knihoven v ČR.
Prostředky a metody pro automatické generování testovacích obvodů: disertační práce
Autor: Pečenka, Tomáš
Rok: 2008
ISBN: 9788021436039
NKP-CNB: cnb001796149
OCLC Number: (OCoLC)236560461
OKCZID: 110264956
Vydání: Vyd. 1.
Citace (dle ČSN ISO 690):
PEČENKA, Tomáš. Prostředky a metody pro automatické generování testovacích obvodů: disertační práce. Vyd. 1. Brno: Fakulta informačních technologií, Vysoké učení technické v Brně, 2008. vii, 128 s.
Digitální objekty
Anotace
Tato práce se zabývá návrhem metody vhodné pro automatické vytváření testovacích obvodů s požadovanými diagnostickými vlastnostmi. Navržená metoda, založená na využití evolučního návrhu, představuje nový přístup k vytváření testovacích obvodů. Jejich návrh je v této práci realizován jako optimalizační proces, kde optimalizačním kritériem jsou vlastnosti obvodu z hlediska struktury spojů a diagnostických vlastností. Pro ohodnocení těchto vlastností byly vytvořeny algoritmy, které pracují nad formálním modelem struktury číslicového obvodu zavedeným v této práci. Součástí práce je také poměrně rozsáhlé experimentální ověření, které bylo realizováno pomocí profesionálních nástrojů firmy Mentor Graphics. V současné době neexistuje v oblasti evolučního návrhu obvodů metoda, která by umožňovala realizovat návrh obdobně složitých obvodů s požadovanými diagnostickými vlastnostmi.
Zdroj anotace: OKCZ - ANOTACE Z WEBU
