Prohlížení Diplomové práce - 18102 dle autora "Ratschan Stefan"
-
Interaktivní dokazovací asistent pro výuku formálních metod
Autor: Martin Bedrna; Vedoucí práce: Ratschan Stefan; Oponent práce: Daněček Jiří
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2024-02-09)Tato práce se věnuje implementaci dokazovacího asistenta. Odvozovací pravidla dokazovacího kalkulu používaná asistentem jsou verzí přirozené dedukce. V rámci této práce je problém nejdříve představen po teoretické stránce. ... -
Praktický refactoring kódu dynamického jazyka
Autor: Beňo Maroš; Vedoucí práce: Míšek Jakub; Oponent práce: Ratschan Stefan
(České vysoké učení technické v Praze. Vypočetní a informační centrum., 2013-06-16) -
Řídící systém a překladač pracující v reálném čase pro pokročilou řídící jednotku lineárního motoru
Autor: Žemlička František; Vedoucí práce: Bartík Matěj; Oponent práce: Ratschan Stefan
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2016-05-10)Tato práce se zabývá analýzou chování lineárního motoru EZ Limo EZC6E030M--C a jeho nové řídící jednotky na FPGA čipu. Dále popisuje návrh, implementaci a testování desktopové ovládací aplikace, která umožňuje s jednotkou ... -
Software pro grafickou demonstraci plánování pohybu kvadrokoptér
Autor: Mahr Tomáš; Vedoucí práce: Ratschan Stefan; Oponent práce: Bařinka Lukáš
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2017-05-09)Prace se zabyva navrhem a implementaci aplikace pro grafickou demonstraci planovani pohybu kvadrokopter. Je kladen duraz na modularnost softwaru. Dale je vylozena zakladni teorie planovani pohybu kvadrokopter a je imple- ... -
Software pro grafickou demonstraci plánování pohybu kvadrokoptér
Autor: Mahr Tomáš; Vedoucí práce: Ratschan Stefan; Oponent práce: Bařinka Lukáš
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2018-01-09)Práce se zabývá návrhem a implementací aplikace pro grafickou demonstraci plánování pohybu kvadrokoptér. Je kladen duraz na modulárnost softwaru. Dále je vyložena základní teorie plánování pohybu kvadrokoptér a je implementován ... -
Zacházení s datovými strukturami na haldě ve zpětné symbolické exekuci
Autor: Husák Robert; Vedoucí práce: Ratschan Stefan; Oponent práce: Tvrdík Pavel
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2018-06-08)Cílem této práce je významně rozšířit AskTheCode, dříve vytvořený doplněk nástroje Microsoft Visual Studio, který využívá zpětnou symbolickou exekuci pro verifikaci asercí v kódu C#. Jedno z největších omezení našeho doplňku ...