but.committee	doc. Dr. Ing. Otto Fučík (předseda) doc. Ing. Zdeněk Vašíček, Ph.D. (místopředseda) doc. Ing. Jiří Jaroš, Ph.D. (člen) doc. Ing. Tomáš Martínek, Ph.D. (člen) prof. Ing. Tomáš Vojnar, Ph.D. (člen) Doc. Ing. Valentino Vranić, Ph.D. (člen)	cs
but.defence	Student nejprve prezentoval výsledky, kterých dosáhl v rámci své práce. Komise se poté seznámila s hodnocením vedoucího a posudkem oponenta práce. Student následně odpověděl na otázky oponenta a na další otázky přítomných. Komise se na základě posudku oponenta, hodnocení vedoucího, přednesené prezentace a odpovědí studenta na položené otázky rozhodla práci hodnotit stupněm " B ". Otázky u obhajoby: Jaký by byl přínos inkrementálního režimu SharpSAT solveru oproti verzi, kde se všechny výstupy kontrolují najednou? Jaké SAT solvery je možné ve vaší implementaci použít?	cs
but.jazyk	čeština (Czech)
but.program	Informační technologie	cs
but.result	práce byla úspěšně obhájena	cs
dc.contributor.advisor	Vašíček, Zdeněk	cs
dc.contributor.author	Minařík, Vojtěch	cs
dc.contributor.referee	Mrázek, Vojtěch	cs
dc.date.created	2019	cs
dc.description.abstract	Tato práce zavádí využití řešení problému SAT a jeho modifikací v úloze evolučního návrhu kombinačních obvodů. Motivací využití těchto problémů je zrychlení ohodnocování chromozomů kandidátních řešení fitness funkcí během evoluce v případech, kdy selhává metoda klasické simulace. Využití problému SAT, respektive #SAT umožňuje oproti simulaci zrychlení zejména pro komplikované obvody s velkým počtem vstupů. Implementované řešení se zalkádá právě na problému #SAT. Celkem byly implemenyovány dvě různé varianty využití tohoto problému. Varianty se liší metodou kontorly rozdílných hodnot na výstupech obvodu. Protože implementované řešení využívá k reprezentaci obvodu logickou formuli a zkoumá její splnitelnost, časová složitost algoritmu závisí především na logické složitosti navrhovaného obvodu.	cs
dc.description.abstract	This thesis is focused on the task of application of SAT problem and it's modifications in area of evolution logic circuit development. This task is supposed to increase speed of evaluating candidate circuits by fitness function in cases where simulation usage fails. Usage of SAT and #SAT problems make evolution of complex circuits with high input number significantly faster. Implemented solution is based on #SAT problem. Two applications were implemented. They differ by the approach to checking outputs of circuit for wrong values. Time complexity of implemented algorithm depends on logical complexity of circuit, because it uses logical formulas and it's satisfiability to evaluate logic circuits.	en
dc.description.mark	B	cs
dc.identifier.citation	MINAŘÍK, V. Využití SAT solverů v úloze optimalizace kombinačních obvodů [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2019.	cs
dc.identifier.other	121816	cs
dc.identifier.uri	http://hdl.handle.net/11012/180317
dc.language.iso	cs	cs
dc.publisher	Vysoké učení technické v Brně. Fakulta informačních technologií	cs
dc.rights	Standardní licenční smlouva - přístup k plnému textu bez omezení	cs
dc.subject	Evoluce	cs
dc.subject	evoluční návrh hardwaru	cs
dc.subject	hardware	cs
dc.subject	HW	cs
dc.subject	SAT	cs
dc.subject	splnitelnost	cs
dc.subject	kombinační obvod	cs
dc.subject	návrh kombinačních obvodů	cs
dc.subject	genetické programování	cs
dc.subject	logika	cs
dc.subject	umělá inteligence	cs
dc.subject	AI.	cs
dc.subject	Evolution	en
dc.subject	Evolution HW design	en
dc.subject	HW	en
dc.subject	SAT	en
dc.subject	satisfiability	en
dc.subject	logic circuit	en
dc.subject	logic	en
dc.subject	genetic programming	en
dc.subject	artificial inteligence	en
dc.subject	AI.	en
dc.title	Využití SAT solverů v úloze optimalizace kombinačních obvodů	cs
dc.title.alternative	Application of SAT Solvers in Circuit Optimization Problem	en
dc.type	Text	cs
dc.type.driver	masterThesis	en
dc.type.evskp	diplomová práce	cs
dcterms.dateAccepted	2019-06-17	cs
dcterms.modified	2019-07-08-13:31:12	cs
eprints.affiliatedInstitution.faculty	Fakulta informačních technologií	cs
sync.item.dbid	121816	en
sync.item.dbtype	ZP	en
sync.item.insts	2025.03.26 15:28:14	en
sync.item.modts	2025.01.17 10:32:13	en
thesis.discipline	Počítačové a vestavěné systémy	cs
thesis.grantor	Vysoké učení technické v Brně. Fakulta informačních technologií. Ústav počítačových systémů	cs
thesis.level	Inženýrský	cs
thesis.name	Ing.	cs

Využití SAT solverů v úloze optimalizace kombinačních obvodů

Files

Original bundle

Collections