|
|
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.
|
|
|
Presenting results of software model checker via debugging interface
Kohan, Tomáš ; Šerý, Ondřej (vedoucí práce) ; Jančík, Pavel (oponent)
Název práce: Prezentace výsledků kontroly softwarového modelu skrz ladící rozhraní Autor: Tomáš Kohan Katedra: Katedra softwarového inženýrství Vedoucí diplomové práce: RNDr. Ondřej Šerý, Ph.D., Katedra distribuovaných a spolehlivých systémů Abstrakt: Cílem této práce je navrhnout a implementovat nové ladící rozhraní programu Java PathFinder. Vhodným prostředím pro toto rozhraní byl zv- olen vývojový nástroj Eclipse. Vytvořené rozhraní graficky vizualizuje výstupy programu JPF a jednotlivé detaily stavu pozastaveného virtuálního stroje (JVM), zvláště pak seznam proměnných a jejich hodnot. Za tímto účelem jsou vytvořeny dva podprojekty, a to debug4jpg a JPFDeb.core. Projekt debug4jpf kontroluje a komunikuje s instancí JPF. JPFDeb.core pak ve formě zásuvného modulu pro Eclipse poskytuje takové uživatelské rozhraní, které je podobné standardnímu rozhraní ladícího programu pro Javu. Oba projekty mezi sebou komunikují přes ad hoc komunikační protokol, který byl navržen pro tento účel. Klíčová slova: Java, verifikace, kontrola modelu, JPF, ladící rozhraní
|
|
|
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.
|
|
|
Zhodnocení použitelnosti Raspberry Pi pro distribuované výpočty
Stefan, Petr ; Kruliš, Martin (vedoucí práce) ; Jančík, Pavel (oponent)
Cílem práce bylo zhodnotit výkonnostní vlastnosti mikropočítače Raspberry Pi, a to pře- devším z hlediska možnosti sestavení výpočetního klastru z více těchto jednotek. Součástí práce bylo vytvoření sady testů pro měření výpočetního výkonu procesoru, propustnosti operační paměti, rychlosti zápisu a čtení z persistentního úložiště (paměťové karty) a pro- pustnosti síťového rozhraní Ethernet. Na základě porovnání výsledků získaných měřením na Raspberry Pi a na vhodném reprezentativním vzorku dalších běžně dostupných počítačů bylo provedeno doporučení, zda je konstrukce Raspberry Pi klastru opodstatněná. Tyto výsledky rovněž poskytly přibližné ekonomické a výkonnostní projekce takového řešení. 1
|
|
|
Editor rovnic pro Android
Marek, Jiří ; Kučera, Petr (vedoucí práce) ; Jančík, Pavel (oponent)
Název práce: Editor rovnic pro Android Autor: Jiří Marek Katedra: Katedra teoretické informatiky a matematické logiky Vedoucí bakalářské práce: RNDr. Petr Kučera, Ph.D. Abstrakt: Práce se zabývá implementací aplikace pro mobilní operační systém Android, která umožňuje interaktivní vytváření matematických výrazů a jejich vysázení pomocí programu LATEX. Následně je schopna tento výsledek uložit a sdílet v různých formátech nebo ho přímo začlenit do rozsáhlejšího LATEXového dokumentu, který je otevřen v editoru LaTeXu, který je rovněž součástí aplikace. Po začlenění matematického výrazu do LATEXového kódu je možné tento výraz zpětně editovat. Aplikace je navržena takovým způsobem, aby i uživatel neznalý LATEXové syntaxe, byl schopen tvořit složité matematické výrazy. Přitom je možné plynule přecházet mezi interaktivním zadáváním matematického výrazu a editací LATEXového kódu. Klíčová slova: Rovnice, Editor, LaTeX, Android
|
|
|
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.
|
|
|
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)
|
|
|
DaktylDB
Kubát, Jaroslav ; Babka, Martin (vedoucí práce) ; Jančík, Pavel (oponent)
Tato bakalářská práce se zabývá implementací aplikace pro správu databáze otisků prstů. Skládá se ze tří částí. První částí je detekce zakončení a větvení papilárních linií v obrázku otisku prstu. Pro tento úkon je použito tří algoritmů, jejichž výsledky jsou v závěru práce srovnávány. Druhou částí práce je předzpracování množiny získaných bodů pro účely uložení do databáze či vyhledávání. K tomu je použita triangulace v součinnosti s clusterizací. Ve své poslední části se práce zabývá způsobem uložení získaných dat v databází a jejich následným vyhledáváním. Powered by TCPDF (www.tcpdf.org)
|
host ::
RSS.