|
|
Drapákový manipulátor
Mlčoch, Petr ; Jančík, Pavel (oponent) ; Škopán, Miroslav (vedoucí práce)
Předmětem diplomové práce je návrh zařízení pro manipulaci s hliníkovým odpadem. Zařízení pracuje v zastřešené hale a je stacionární. V úvodu práce jsou jako alternativy k zařízení uvedeny běžně používané stroje pro manipulaci s kovovým odpadem a důvody proč nevyhovují zákazníkovým požadavkům. Práce obsahuje návrh kinematiky a silový rozbor. Z těchto kapitol se vychází při návrhu tvarů a rozměrů zařízení. Dále následuje popis všech hlavních částí zařízení včetně hydraulického obvodu, který zajišťuje všechny pracovní pohyby manipulačního zařízení. Závěr práce se věnuje zpětnému ověření nosnosti manipulátoru, výpočtu klopné stability stroje a pevnostní analýze výložníku a násady. Součástí práce je výkres celkové sestavy zařízení a výkresy podsestav výložníku a násady.
|
|
|
Scripting in Audacity Audio Editor
Šípoš, Peter ; Pop, Tomáš (vedoucí práce) ; Jančík, Pavel (oponent)
Cílem této bakalářské práce byl vytvoření doplňku k programu Audacity, což by umožněl používání scriptu během editaci zvukovych nahrávek. V první části práce je popsaná architektura Audacity, jaké jsou možnosti pro doplnění funkčnosti a jaké alternatíva jsou k dispozici. Poté popíše kritické rozhodnutí, které byly učiněné před implemetaci doplňku. Tyhle rozhodnutí byly ve spojení s výběrem scriptovacího jazyku, spravování chybových stavů a návrhem grafického rozhraní. Na konci práce pomoci příkladů je ukázan funkčnost doplňku. Na závěr, aplikace byl naimplementován, jako ukázka technik, které byly popsáno v práci.
|
|
|
Univerzální diskrétní simulátor
Vytasil, Jiří ; Pergel, Martin (vedoucí práce) ; Jančík, Pavel (oponent)
V této práce je rozebrán návrh a implementace programu umožňujícího provádět diskrétní simulace. Dále je v programu implementována vizualizace průběhu diskrétní simulace. Důraz je kladen především na univerzalitu. Kromě programu a jeho popisu jsou zde informace o diskrétní simulaci, které umožní jednodušší pochopení činnosti programu. Pro popis diskrétní simulace používáme konečné automaty a regulární gramatiky. Zmíněné části zde více popisujeme, abychom jednodušeji pochopili popis diskrétní simulace. Systém dále umožňuje úpravu vstupních souborů pro jednodušší práci programu.
|
|
|
Efficient Representation of Program States
Jančík, Pavel ; Kofroň, Jan (vedoucí práce) ; Gargantini, Angelo (oponent) ; Barnat, Jiří (oponent)
Při verifikaci programů se snažíme rozhodnout, zda program obsahuje či neobsahuje chyby. Základním předpokladem všech verifikačních postupů je efektivní reprezentace a manipulace se stavy programů. V této práci představujeme techniky pro nalezení nepodstatných informací ve stavech programů a pro jejich odstranění. Tato práce obsahuje redukce vhodné pro explicitní i symbolickou reprezentaci stavů. Naše postupy vhodné pro explicitní reprezentaci byly speciálně navrženy pro vícevláknové programy. Naše analýzy dokáží nalézt takové hodnoty v dynamicky alokovaných objektech, tedy na haldě, které program již nebude v následujících krocích číst. Logické formule v predikátové nebo výrokové logice jsou převažující symbolickou reprezentací množin stavů programu. Craigovy interpolanty jsou jedním z obvyklých postupů pro získání formulí s požadovanými vlastnostmi. V této práci představujeme nový způsob jejich výpočtu, který používá přiřazení proměnných pro zmenšení jejich velikosti. Pomocí přiřazení proměnných můžeme zablokovat ty cesty v programu, které nechceme, aby interpolant bral v potaz a tím zmenšit jejich velikost.
|
|
|
Debugger interface for Java PathFinder model checker
Vávra, Štěpán ; Jančík, Pavel (vedoucí práce) ; Yaghob, Jakub (oponent)
Cílem této práce je začlenit Java PathFinder do architektury Java Platform Debugger Architecture, tedy umožnit debuggování Java Pathfinderu z jakéhokoliv moderního Java vývojového prostředí se všemi výhodami s tím spojenými stejně jako u běžných Java virtuálních strojů. Těmi jsou kupříkladu různé typy breakpointů, krokování v otevřených zdrojových souborech a inspekce zásobníku volání a objektů v programu. Výsledná práce dává uživatelům k dispozici plnohodnotnou škálu možností debugování jako u běžných Java programů, a to bez nutnosti použití dalších nástrojů, editorů a zejména bez nutnosti složitého nastavování prostředí pro debugování. Díky tomu mohou uživatelé zkoumat, debugovat a pochopit stav programu při procházení error trace vyhodnocené Java PathFinderem. Klíčovou části práce je implementace Java Debug Wire Protocol agenta jako doplněk Java PathFinderu. V důsledku tohoto se Java PathFinder stává kompletnějším Java virtuálním strojem jak v očích komunity tak i celé obce Java uživatelů. Powered by TCPDF (www.tcpdf.org)
|
|
|
Checking Compliance of Java Implementation with TBP Specification
Jančík, Pavel ; Parízek, Pavel (vedoucí práce) ; Kofroň, Jan (oponent)
Verifikace je postup umožnující zlepšit spolehlivost aplikací složených z komponent. Jedním z aktuálních témat je kompozice komponent a ověřování, zdali je tato kompozice korektní z pohledu komunikace mezi nimi. Pro popis této komunikace (chování) slouží behavior protokoly (BP). V současné době jsou již vyvinuty nástroje ověřující kompozici komponent. Tyto nástroje ovšem fungují na bázi porovnávání BP a tedy implicitně předpokládají, že implementace komponenty odpovídá danému BP. Odtud vyplývá důležitost nástroje na ověření, zda chování dané implementace odpovídá připojenému BP. Pravidla pro komunikaci komponent společně s BP se obvykle vytvářejí v raných fázích vývojového cyklu. Během implementace typicky dochází k různým ať již úmyslným či neúmyslným, odchylkám od původního návrhu. Tento přístup k vývoji software ještě zvyšuje důležitost ověření, zda aktuální implementace vyhovuje původnímu návrhu BP. Výsledkem práce je nástroj, který ověřuje, zda chování implementace jedné komponenty v jazyce Java odpovídá chování definovanému v připojeném threaded behavior protokolu. Dále práce obsahuje vyhodnocení nástroje na větších příkladech pro nastínění aplikovatelnosti přístupu v praxi.
|
|
|
Real-time Recognition of Typed Letters
Hámorník, Juraj ; Toropila, Daniel (vedoucí práce) ; Jančík, Pavel (oponent)
Zariadenia Tablet PC sú v dnešnej dobe čoraz obľúbenejšie. Keďže ne- obsahujú hardwarovú klávesnicu, užívateľ do nich vkladá text dvomi hlavnými spôsobmi: virtuálnou klávesnicou, kde sú vkladané jednotlivé znaky postupne a analýzou rukou napísaného textu, kde sú vkladané celé slová. Nami vytvorená metóda kombinuje po znakoch zadávaného textu s analýzou rukou písaných zna- kov. Rukou napísaný znak, ktorý môže pozostávať viacerých ťahov je prevedený na sekvencie čísiel. Na základe týchto sekvencii a užívateľom naučených znakov vyhodnotíme napísaný znak. Keď sme porovnali vstavané metódy pre zadávanie textu na operačnom systéme Windows 8 zistili sme, že pre skúsenejších užívatelov a isté jazyky môže byť naša metóda prínosná.
|
|
|
Interpret Pascalu
Jančík, Pavel ; Yaghob, Jakub (vedoucí práce) ; Bednárek, David (oponent)
Práce má prohloubit znalosti studenta v oblasti návrhu a tvorby frontendu překladačů, pokročilých programovacích technik a nástrojů používaných při jejich tvorbě. Má vzniknout interpret podmnožiny jazyka Pascal, který se bude vyznačovat objektovým, rozumně rozšiřitelným návrhem, který by představoval použitelnou platformu pro další vývoj a rozšiřování. Student se seznámí s již existujícími a používanými virtuálními stroji a v rámci práce na interpretu navrhne vlastní jednoduchý virtuální stroj a jeho instrukční sadu.
|
|
|
DEBRA - Derscriptor Barn
Le, Khanh Chuong ; Hoksza, David (vedoucí práce) ; Jančík, Pavel (oponent)
Jedním z klíčových problému cheminformatiky je reprezentace che\-mických sloučenin. S touto prací je vytvořena klient-server aplikace, která umí spočítat velké množství takových reprezentací. Server umožňuje vkládání modu\-lů, které využívají aplikace třetích stran ke spočítání reprezentací. Tyto aplikace můžeme spouštět přes příkazový řádek, nebo voláním metod webových služeb. Klient zobrazí možné typy reprezentaci sloučenin. Uživatel si může vybrat množinu reprezentací a vstupní množinu molekul soplu a tento požadavek zašle serveru. Server potom zavolá moduly a nazpět zašle výsledek. Powered by TCPDF (www.tcpdf.org)
|
|
|
Signature-based User Authentication
Hámorník, Juraj ; Jančík, Pavel (vedoucí práce) ; Moško, Juraj (oponent)
Tato práce zpracovává chybějící možnost autentifikace uživatele podpisem v systému Windows. Výsledkem této práce je software, který umožňuje přihlášení uživatele do systému Windows podpisem. Zaměřili jsme se zejména na bezpečnost ověřování podpisu a na co největší uživatelskou přívětivost. Implementovali jsme autentifikační službu, která přijímá podpis a vrací přístupový token v případě jeho pravosti. Ověřování je realizované porovnáváním podobnosti zkoumaného podpisu se vzory. Podobnost je počítána metodou dynamic time wrap na základě dynamických vlastností podpisu jako jsou rychlost, zrychlení a tlak pera při psaní. Přístupový token využívá náš plugin přihlášení, nazvaný signature credential provider, na dekódování přístupových údajů a vykonání přihlášení. Výsledkem této práce je řešení, které dovoluje přihlášení uživatele do systému Windows ručně psaným podpisem s rizikem 4.17 procent na nepřihlášení nebo přihlášení nevhodné osoby.
|
host ::
RSS.