Now showing items 1-7 of 7

  • Datové přenosové formáty v oblasti CAD 

    Košťál, David
    Cílem bakalářské práce je podat přehled současného stavu poznání v oblasti datových CAD přenosových formátů doplněný vymezením trendů budoucího vývoje.
  • Knihovna pro detekci kolizí 

    Chlubna, Tomáš
    Tato práce řeší problém detekce kolizí netriviálních polygonálních modelů v trojrozměrném prostoru. Obecně existují postupy, jak tyto kolize matematicky vyjádřit a vypočítat. Pro použití v oblasti informačních technologií ...
  • SAT Solver akcelerovaný pomocí GPU 

    Izrael, Petr
    Práce se zabývá návrhem a implementací kompletního SAT solveru akcelerovaného na GPU. V první části práce je popsána architektura grafických karet a možnosti platformy CUDA. Následuje popis algoritmů a technik pro řešení ...
  • Simulace pevných těles 

    Leitner, Denis
    Táto práca je zameraná na simuláciu fyziky pevných telies v reálnom čase. Popisuje základné postupy používané pri hernom vývoji zamerané na detekciu kolízie medzi konvexnými mnohostenmi. Ďalej popisuje riešenie zistenej ...
  • Verifikovaná knihovna datových struktur 

    Rychnovský, Jan
    Tato bakalářská práce se zabývá metodikou psaní verifikovaných programů pomocí nástroje VCC. Zmíněná metodika je založena na principu doplnění kódu programu o anotace, jež poskytují specifikaci požadované funkcionality. ...
  • Vizualizace hmatových a zvukových vjemů 

    Lukš, Roman
    Cílem této bakalářské práce je návrh a implementace vizualizace hmatových a zvukových vjemů běžících v reálném čase. Vjemy mají sloužit pro orientaci hráče v jednoduché 2D hře místo zraku. Vjemy jsou vizualizovány pomocí ...
  • Využití SAT solverů v úloze optimalizace kombinačních obvodů 

    Minařík, Vojtěch
    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 ...