|
|
Applet pro hraní hry Go
Dosoudil, Jan ; Zbořil, František (oponent) ; Křena, Bohuslav (vedoucí práce)
Tato bakalářská práce se zabývá tvorbou appletu v jazyce Java, umožňujícího hraní deskové hry Go pomocí počítače a také hru dvou hráčů přes Internet. Cílem práce však není vytvořit applet, který by pomocí vlastní inteligence umožňoval tuto hru. Bylo by to příliš složité, protože o hře go se tvrdí, že je nejobtížněji naprogramovatelnou deskovou hrou. Proto bude applet ke své činnosti využívat již existující Go program (engine) s implementovanou umělou inteligencí, se kterým bude komunikovat pomocí tzv. Go Text Protokolu (GTP). Protože hra Go není u nás příliš známá, je čtenář nejprve seznámen s její historií a hlavně pravidly.
|
|
|
Příprava domácích úloh pro předmět Algoritmy
Řezáč, Jakub ; Peringer, Petr (oponent) ; Křena, Bohuslav (vedoucí práce)
Práce se zaměřuje zejména na implementaci domácích úloh pro předmět Algoritmy, jež je vyučován v druhém ročníku na Fakultě informačních technologií Vysokého učení technického v Brně. Pro vyhodnocování zmíněných domácích úloh je využit systém pro automatizované vyhodnocování domácích úloh. Součástí zadání této bakalářské práce je rovněž modifikování zmíněného systému.
|
|
|
Šachový program s různými variantami šachů
Mydliar, Ján ; Křena, Bohuslav (oponent) ; Rozman, Jaroslav (vedoucí práce)
Hlavním úkolem bylo vytvořit program umožňující hru člověka proti počítači a počítače proti počítači s možností volby vybraných variant šachů. Začátek práce opisuje algoritmy pro hraní her a jich různé vylepšení. Následuje opis vybraných variant, ohodnocovací funkce, jejich změn, návrh programu a grafického užívatelského rozhraní.
|
|
|
Statická analýza Java programů
Vyvial, Pavel ; Hýsek, Jiří (oponent) ; Křena, Bohuslav (vedoucí práce)
Projekt SHADOWS se zabývá vývojem software, který je schopen automaticky opravovat chyby v programech. Po každé opravě je třeba zjistit, zda opravná akce úspěšně odstranila chybu a nezanesla do kódu chybu novou, mnohem závažnější. Ve své bakalářské práci se zabývám právě takovýmto dokazováním korektni opravy kódu v konkurentních systémech. Některé z chyb v konkurentních systémech mohou být opraveny automatickým přidáním synchronizace. Při takovémto opravování chyb je potřeba zkontrolovat zda v uzamykané části neexistuje instrukce monitorenter, která by mohla představovat potenciální nebezpečí uváznutí. Dokazování korektnosti opravy je prováděno za pomocí Control Flow Graph analýzy nad Java byte-kódem. Prototyp k tomuto účelu využívá statickou analýzu zastoupenou nástrojem FindBugs.
|
|
|
Modul pro komunikaci s portálem České daňové správy
Havlena, Jan ; Jurka, Pavel (oponent) ; Křena, Bohuslav (vedoucí práce)
Bakalářská práce "Modul pro komunikaci s portálem České daňové správy" má za cíl vytvoření modulu pro komunikaci s portálem České daňové správy (ČDS) a implementování jedno pilotní elektronické podání přiznání na tento úřad. Zabývá se legislativou a postupy při elektronickém podání na úřady. Jsou v ní rozebrány používané technologie: základní údaje o jazyku XML, postup zhotovení elektronického podpisu, popis certifikátu, certifikačních autorit a komunikace HTTPS. Dále popisuje postup návrhu, implementace modulu pro komunikaci ČDS a problémy, na něž bylo naraženo při implementaci.
|
|
| |
|
|
Porovnání programů pro plánování rozvrhů a zkoušek
Kubalcová, Monika ; Martinek, David (oponent) ; Křena, Bohuslav (vedoucí práce)
Tato práce se zabývá rozebráním problematiky rozvrhování na Fakultě informačních technologií Vysokého učení technického v Brně. Je zaměřena především na tvorbu rozvrhů hodin a plánováním zkoušek pro studenty. Nejprve je zde popsána situace na fakultě, tedy definování omezujících podmínek, kterým rozvrhy a zkoušky podléhají, spolu s aktuálně využívanými postupy při vytváření. Následně je tato problematika rozebrána na teoretické úrovni. Ve druhé části práce jsou popsány programy využitelné pro automatické generování rozvrhů hodin a zkoušek vhodné pro prostředí fakulty. Z těchto programů je vybrán jeden, který je otestován pro vygenerování reálného rozvrhu hodin. V závěru jsou zhodnoceny dosažené výsledky a návrh dalšího možného postupu.
|
|
|
Šachový program pro různé varianty šachů
Jadrníček, Zbyněk ; Křena, Bohuslav (oponent) ; Rozman, Jaroslav (vedoucí práce)
Tato práce popisuje postup při tvorbě šachového programu umožňujícího hru člověka proti počítači. V první části jsou vysvětlena pravidla šachů, další se věnují umělé inteligenci. Práce se zabývá netradičními variantami šachu a změnám, které byly provedeny při implementaci oproti klasické hře. Porovnává používané reprezentace šachovnice v počítači, metody hraní her a techniky ohodnocení stavu hry. Cílem bylo dosáhnout vysoké umělé inteligence použitím efektivních algoritmů.
|
|
|
BiBTeX styl pro ČSN ISO 690 a ČSN ISO 690-2
Pyšný, Radek ; Rozman, Jaroslav (oponent) ; Křena, Bohuslav (vedoucí práce)
Tato práce popisuje průběh vytváření bibliografického stylu pro nástroj BibTeX, pomocí něhož lze v LaTeXu sázet bibliografické citace v souladu s normou ČSN ISO 690. V úvodu práce je proveden rozbor ČSN ISO 690. Následuje popis spolupráce mezi systémem LaTeX a nástrojem BibTeX. Podstatná část práce je věnována popisu struktury souborů, které BibTeX potřebuje pro svou funkci, tj. bibliografická databáze a bibliografický styl. Závěr této práce je věnovaný popisu vlastností vytvořeného bibliografického stylu czplain.bst .
|
|
|
Elektronická podatelna VUT
Tomášek, Milan ; Křena, Bohuslav (oponent) ; Marušinec, Jaromír (vedoucí práce)
Hlavním cílem této práce je vytvořit elektronickou podatelnu pro VUT. V první řadě jsem popsal problematiku týkající se elektronického podpisu, jeho použití, bezpečnosti a s elektronickým podpisem také úzce související oblast kvalifikovaných certifikátů a způsobu jejich vydávání certifikačními autoritami. Další část této práce se zabývá systémy umožňujícími podání v elektronické podobě (tzv. elektronická podatelna). Zaměřil jsem se na dostupné aplikace poskytující službu elektronické podatelny státním úřadům a následně analyzoval funkce, které jednotlivé aplikace nabízejí jak klientům podatelny, tak zaměstnancům daného úřadu. Na základě získaných znalostí a požadavků CVIS jsem vytvořil návrh elektronické podatelny pro potřeby VUT v Brně. Výsledkem této práce je vytvořená aplikace elektronické podatelny, implementovaná do portálu VUT v Brně.
|
host ::
RSS.