|
|
Segmentace polygonálního modelu
Minařík, Vojtěch ; Havel, Jiří (oponent) ; Španěl, Michal (vedoucí práce)
Bakalářská práce se zabývá rozdělením 3D modelů na jednotlivé části reprezentující významové celky (segmenty). Metoda je založena na algoritmu zpracovaném v díle Protrusion-oriented 3D Mesh Segmentation. Realizované řešení je založeno na předpokladu, že 3D modely se skládají z těla a výběžků z těla vyčnívajících. Algoritmus zajišťuje aproximaci těla modelu, nalezení koncových bodů výběžků a rozdělení bodů do jednotlivých segmentů. Pro zajištění operací jako je načtení modelu a práce s jeho komponentami je využita knihovna CGAL.
|
|
|
Využití SAT solverů v úloze optimalizace kombinačních obvodů
Minařík, Vojtěch ; Mrázek, Vojtěch (oponent) ; Vašíček, Zdeněk (vedoucí práce)
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.
|
|
|
Využití SAT solverů v úloze optimalizace kombinačních obvodů
Minařík, Vojtěch ; Mrázek, Vojtěch (oponent) ; Vašíček, Zdeněk (vedoucí práce)
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.
|
|
|
Segmentace polygonálního modelu
Minařík, Vojtěch ; Havel, Jiří (oponent) ; Španěl, Michal (vedoucí práce)
Bakalářská práce se zabývá rozdělením 3D modelů na jednotlivé části reprezentující významové celky (segmenty). Metoda je založena na algoritmu zpracovaném v díle Protrusion-oriented 3D Mesh Segmentation. Realizované řešení je založeno na předpokladu, že 3D modely se skládají z těla a výběžků z těla vyčnívajících. Algoritmus zajišťuje aproximaci těla modelu, nalezení koncových bodů výběžků a rozdělení bodů do jednotlivých segmentů. Pro zajištění operací jako je načtení modelu a práce s jeho komponentami je využita knihovna CGAL.
|
host ::
RSS.