|
|
Webová čtečka a knihovna článků
Juraszek, Adam ; Svoboda, Martin (vedoucí práce) ; Hauzar, David (oponent)
Název práce: Webová čtečka a knihovna článků Autor: Adam Juraszek Katedra: Katedra softwarového inženýrství Vedoucí bakalářské práce: RNDr. Martin Svoboda, Katedra softwarového inže- nýrství Abstrakt: Cílem práce je navrhnout a implementovat čtečku jako webovou apli- kaci, která umožňuje sledovat zdroje článků na Internetu prostřednictvím kanálů RSS a Atom. Od podobných aplikací se odlišuje integrací dalších služeb a mož- nostmi: sledování stránek, které tyto kanály neposkytují, zálohování stránek, uklá- dání článků do uživatelem spravované knihovny a systémem doporučování zdrojů. Aplikace je naprogramovaná v jazyku Java a skládá se ze tří částí: serverové části vytvořené na platformě Google AppEngine, klientské části využívající framework GWT a volitelného doplňku do běžných prohlížečů. Webová čtečka je navržená s ohledem na práci s velkým množstvím dat a lze ji snadno rozšířovat. Práce rovněž analyzuje charakteristiky dostupných čteček a rozebírá různé systémy doporučování. Klíčová slova: webová aplikace, RSS čtečka, AppEngine, GWT 1
|
|
|
Verification of Textual Use-Cases
Vinárek, Jiří ; Šimko, Viliam (vedoucí práce) ; Hauzar, David (oponent)
Cílem práce je poskytnout nástroj pro formální verifikaci systému, který je popsán pomocí textových případů užití (textual use cases). Nástroj umožňuje automatické ověření invariantů vyjádřených pomocí formulí temporální logiky (CTL nebo LTL). Textová specifikace je transformována na formální model, který je pomocí NuSMV symbolického model-checkeru verifikován a případné chyby jsou zobrazeny uživateli. Výstupem je přehledný HTML report, který pomocí zpětné vazby umožňuje uživateli iterativní vývoj validních textových use-case specifikací. Architektura nástroje je volena s ohledem na znovupoužitelnost jednotlivých modulů a budoucí možné rozšíření. Powered by TCPDF (www.tcpdf.org)
|
|
|
Systém pro správu úkolů a testů
Konopásek, Jan ; Holubová, Irena (vedoucí práce) ; Hauzar, David (oponent)
Cílem této práce je implementace softwarového systému usnadňujícího správu domácích úkolů a automatické generování testů. Správou domácích úkolů se z pohledu vyučujících rozumí vytváření úloh a jejich zadávání studentům a oprava a hodnocení přijatých řešení. Z pohledu studentů se pak jedná o odevzdávání řešení k aktuálně zadaným úlohám a o přehled hodnocení vypracovaných řešení. Těžištěm práce je popis implementace a způsobu použití webové aplikace Assignment Manager. Součástí aplikace je kromě výše uvedených vlastností také správa uživatelských skupin, správa studentských skupin a sdílení úloh mezi skupinami v rámci přednášky a možnost částečné automatizace kontroly řešení pomocí externích "pluginů". Samostatnou částí je schopnost generování testů z uložených množin testových otázek. Aplikace byla testována ve zkušebním provozu po dobu jednoho semestru a upravována na základě připomínek studentů i pedagogů. Práce obsahuje i diskuzi kontrastu mezi původními předpoklady, na jejichž základě byla aplikace navržena, a reálnými požadavky při nasazení aplikace v praxi.
|
|
|
Informační systém pro maloobchodní prodejny potravin
Le, Marek ; Kopecký, Michal (vedoucí práce) ; Hauzar, David (oponent)
Práce popisuje návrh a implementaci pokladního systému. Program poskytuje nejen základní běžné funkce pokladního systému, ale i back-office funkcionalitu, které zahrnují skladové hospodářství, účetnictví, výkaznictví, business inteligence atd. Poznámka: SIS píše chybu při nahrávání tohoto souboru, vyžaduje více slov, ale zároveň požaduje abstrakt, což chápu jako kopii abstraktu z odevzdané bakalářské práce. Proto nechávám abstrakt v přesné podobě, jak je uveden v bakalářské práci. Použil jsme doporučený konvertor. Detail chyby: Vybraný soubor BPBC_2010_1__0_229690_0_89245.pdf se nepodařilo uložit Soubor PDF není prohledávatelný. Soubor obsahuje málo slov anebo obsahuje pouze obrázky (problém vzniká nejčastěji při skenování dokumentu bez OCR konverze).
|
|
|
Urychlení evolučních algoritmů pomocí rozhodovacích stromů a jejich zobecnění
Klíma, Jan ; Holeňa, Martin (vedoucí práce) ; Hauzar, David (oponent)
Evoluční algoritmy jsou jednou z nejúspěšnějších metod pro řešení netradičních optimalizačních problémů. Protože evoluční algoritmy používají pouze funkční hodnoty cílové funkce, blíží s k jejímu optimu mnohem pomaleji než optimalizační metody pro hladké funkce. Tato vlastnost evolučních algoritmů je zvláště nevýhodná v kontextu nákladného a časově náročného empirického způsobu získávání hodnot cílové funkce. Evoluční algoritmy však lze podstatně urychlit použitím dostatečně přesného regresního modelu cílové funkce. Cílem práce je výzkum využitelnosti regresních stromů a regresních lesů jako náhradního modelu k urychlení evoluční optimalizace empirických cílových funkcí.
|
|
|
Platforma pro karetní hru Žolíky
Smolík, Jiří ; Malohlava, Michal (vedoucí práce) ; Hauzar, David (oponent)
Mezi nejrozšířenější karetní hry patří Rummy (česky "Žolíky"). Tato hra je oblíbená pro svou jednoduchost a variabilitu pravidel. Celosvětově existuje mnoho herních platforem, ale neposkytují neomezené hrání zdarma nebo rozsáhlejší prostředky komunikace mezi hráči. Proto tato práce navrhuje a implementuje desktopovou platformu zaměřenou na Rummy. Hlavním důvodem jejího vzniku byla absence podobně zaměřené nekomerční aplikace, jejíž ambice by nespočívaly v hazardu, nýbrž v relaxaci, komunikaci a zábavě. Platforma zprostředkovává pokročilou komunikaci, a hraní mezi uživateli, jak samostatně tak i v rámci turnajů. Navíc umožňuje hrát podle vlastních pravidel a proti uživatelsky definovaným počítačem řízeným protihráčům.
|
|
|
Nástroj pro převod PDF na text
Bujok, Jonáš ; Raab, Jan (vedoucí práce) ; Hauzar, David (oponent)
Název práce: Nástroj pro převod PDF na text Autor: Jonáš Bujok Katedra / Ústav: Ústav formální a aplikované lingvistiky (32-UFAL) Vedoucí bakalářské práce: Mgr. Jan Raab, Ústav formální a aplikované lingvistiky (32-UFAL) Abstrakt: V této práci je podrobně rozebrán postup extrakce textových informací z PDF (Portable Document Format) souborů a navrhnut, popsán a implementován program pro tento účel. Práce se zaměřuje hlavně na středoevropské jazyky. Kromě programu a jeho popisu jsou zde pak informace o objektové struktuře, syntaxi a logice PDF formátu nutné pro správné pochopení principu hledání textu v PDF souboru. Dále jsou zde rozebrány filtry, fonty a všechny další PDF objekty, které takový program musí umět zpracovat. Také se tato práce zabývá metodami a možnostmi vylepšení funkčnosti, rychlosti, paměťové náročnosti, spolehlivosti a univerzálnosti použití programu.
|
|
|
Zpracování digitálních snímků videokymografických záznamů jako podpůrný nástroj pro diagnostiku hlasivek
Hauzar, David ; Flusser, Jan (vedoucí práce) ; Jiřík, Radovan (oponent)
Videokymografi e je metoda umožňující zachytit řadu charakteristik kmitání hlasivek důležitých pro stanovení jejich diagnózy. Manuální extrakce těchto charakteristik je v řadě případ problematická, automatická extrakce by stanovení diagnózy usnadnila a zpřesnila. Automatické zpracování snímků komplikuje především velké množství šumu na snímcích a dále velká variabilita průběhu kmitání hlasivek různých pacientů. Cílem práce je vybrat charakteristiky kmitání hlasivek vhodné pro automatickou extrakci a jejich extrakci implementovat. S ohledem na speci cké vlastnosti videokymogra fických snímků byla vyvinuta implementace automatické extrakce, která může sloužit jako základ nástroje pro podporu kymogra fické diagnostiky hlasivek. Vytvořený systém pro vyhodnocení výsledků automatické extrakce byl spolu se sadou snímků a sadou charakteristik kmitání extrahovaných manuálně použit k podrobnému testování implementace.
|
|
|
GIMPLE Model Checker
Krč-Jediný, Ondrej ; Šerý, Ondřej (vedoucí práce) ; Hauzar, David (oponent)
Název práce: GIMPLE Model Checker Autor: Ondrej Krč-Jediný Katedra (ústav): Katedra distribuovaných a spolehlivých systémů Vedoucí diplomové práce: RNDr. Ondřej Šerý Ph.D. e-mail vedoucího: Ondrej.Sery@mff.cuni.cz Abstrakt: Cieľom práce je implementácia základných prvkov explicit-state model checkeru pre jazyk C - pokročilého nástroja na hľadanie chýb v programoch. Tento nástroj prehľadáva všetky možné cesty, ktorými môže byť program vykonávaný a zároveň vyskúša všetky možné kombinácie prekladania vlákien. Nástroj je založený na GIMPLE - výstupe front-endu kompilátora GCC, ktorý berie za svoj vstupný jazyk. Práca využíva predchádzajúcu prácu 'Memory representa- tion for GIMPLE Model Checker', ktorá implementuje prácu s pamäťou pre tento nástroj. Tým, že je nástroj vychádza z GIMPLE, umožňuje overovanie systémov priamo v jazyku C, naviac je ľahko rozšíriteľný na iné jazyky podporované GCC. 1
|
|
|
Image Viewing and Manipulation Tool
Hauzar, David ; Štanclová, Jana (oponent) ; Kalibera, Tomáš (vedoucí práce)
Digitální zpracování obrazu zahrnuje mnoho technik užitečných pro opravu a korekci fotografií. Je to například filtrace šumu, zaostřování obrázků, vyvažování barev a mnoho dalších. Cílem práce je navrhnout a implementovat přenositelný program, který by umožnil snadnou integraci existujících implementací těchto technik a uživatelům poskytl sjednocené a snadno použitelné uživatelské rozhraní. Program obsahuje funkce pro procházení, prohlížení a zpracování obrázků. Mezi pokročilé funkce patří spojení expozice - spojení fotografií stejného objektu pořízených s odlišným nastavením expozice do jedné fotografie s větším dynamickým rozsahem. Nástroj umožňuje aplikovat některé operace na skupinu obrázků. Je to rotace obrázku, změna velikosti obrázku a mediánový filtr. Mechanizmus rozšíření programu zahrnuje podporu pro přidávání nových operací zpracování obrázků, aplikaci těchto operací na skupinu obrázků, přidávání podpory nových grafických formátů, modifikaci a rozšiřování uživatelského rozhraní programu.
|
host ::
RSS.