Browsing by Author "Křena, Bohuslav"
Now showing items 1-20 of 35
-
Abstraktní datové typy pro jazyk C
Duda, TomášTato práce se zabývá abstraktními datovými typy v jazyce C. Jsou zde vysvětleny principy abstraktních datových typů a operace nad nimi. Hlavním úkolem je přepsání studentské opory, která je napsána v jazyce Pascal do jazyka ... -
Algoritmy řazení v jazyce C
Vaněk, JiříTato práce se zabývá řadicími algoritmy z pohledu jejich studia. Jejím účelem je poskytnout studentům materiály, které jim mohou pomoci v pochopení těchto algoritmů. Práce se skládá z přepsání části studijní opory předmětu ... -
Ambulantní systém založený na IZIP a jeho zabezpečení
Janečka, LukášTato práce pojednává o analýze, návrhu a implementaci zjednodušeného ambulantního informačního systému praktického lékaře komunikujího se systémem IZIP. Při návrhu systému je užita architektura Model-View-Controller, ... -
Applet pro hraní hry Go
Dosoudil, JanTato 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 ... -
BiBTeX styl pro ČSN ISO 690 a ČSN ISO 690-2
Pyšný, RadekTato 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 ... -
Bounded model checking v nástroji Java PathFinder
Dudka, VendulaDiplomová práce je věnovaná aplikaci formální metody bounded model checking pro automatickou opravu chyb. Oprava se specializuje na chyby spojené se souběžností. Práce je zaměřena na programy napsané v jazyce Java, a proto ... -
Datové nosiče minulosti a současnosti
Berecz, TomášTáto práca sa zaoberá prenosnými dátovými nosčmi. V úvode sú popísané metriky, ktoré slúžia pre hodnotenie dátových nosičov, taktiež ako popis druhov ukládaných informácií. Ďalej prezentujem chronologický prehľad dátových ... -
Demonstrační program metod řazení v jazyce C
Pernica, LukášV oboru informačních technologií je jednou ze základních dovedností každého programátora zvládnutí problematiky řadicích algoritmů. Řadicí algoritmy jsou využívány ve velmi širokém rozmezí a i když se v každém programovacím ... -
Elektronická podatelna VUT
Tomášek, MilanHlavní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í ... -
Elektronická podatelna VUT 2
Beran, MartinTato práce se věnuje problematice elektronické podatelny pro VUT. Rozebírá princip fungování elektronické podatelny, elektronického podepisování a porovnává nabídku komerčních podatelen. Věnuje se návrhu a realizaci ... -
Etické a právní otázky spojené s IT
Žila, MilanPráca pojednáva o probléme softwarového pirátstva. Analyzuje právne hľadisko na problematiku softwarového pirátstva a autorský zákon, popisuje možnosti ochrán proti kopírovaniu a dopad softwarového pirátstva na spoločnosť. ... -
Frontend pro generátor testovacích dat
Naňo, AndrejTáto bakalárska práca sa zaoberá návrhom a vývojom webovej aplikácie Dataster, ktorá umožňuje generovať dáta pre účely testovania softvéru. Webová aplikácia je súčasťou platformy Testos, ktorá sa zaoberá automatizovaním ... -
Heuristické řešení plánovacích problémů
Novotná, KateřinaTato práce se zabývá metaheuristickými algoritmy a jejich implementací do nástroje Drools Planner. Drools Planner je open source nástroj pro řešení optimalizačních problémů. V této práci je popsán návrh a implementace ... -
Konjunkce a disjunkce ve fuzzy logice
Havlena, VojtěchTato práce se věnuje triangulárním normám a jejich zobecněním - uninormám, zejména jejich transformacím pomocí jednotkové funkce, a také modelování fuzzy logické konjunkce a disjunkce na základě empirických dat. Byly ... -
Model checking nekonečně stavových systémů založený na inferenci jazyků
Rozehnal, PavelRegulární model checking je metoda pro verifikaci nekonečně stavových systémů. Je založena na kódování jejich konfigurace jako slov nad konečnou abecedou, množiny konfigurací jako konečného automatu a přechodů jako konečných ... -
Modelování umělého života
Slavík, JiříModelování umělého života je příliš obsáhlým tématem ke zpracování v jedné práci zvoleného rozsahu. Práce je tedy značně omezena a hlavní ideou se stává modelování lidského chování. Předložená práce se zabývá vytvořením ... -
Modul pro komunikaci s portálem České daňové správy
Havlena, JanBakalář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 ... -
Nástroj pro správu Active Directory
Radimák, SamuelJedným z kľúčových faktorov v oblasti informačných technológií sú ľudia. Ľudia v zamestnaní často používajú rôzne zdroje, ktoré im daná firma ponúka, pričom tieto zdroje je možné nájsť v rôznych tvaroch a veľkostiach - ... -
Negace ve fuzzy logice
Dekrét, LukášTáto práca sa venuje fuzzy logickým spojkám, najmä negátorom, ich vlastnostiam a konštrukciám. Zamerali sme sa aj na trojuholníkové normy a konormy, teda na funkcie, ktoré sa často používajú na modelovanie fuzzy konjunkcie ... -
Optimalizace uložení materiálu pro přepravu
Vacek, MichalPráce se zabývá aplikací pro optimalizaci uložení materiálu pro přepravu. Aplikace je vyvíjena ve spolupráci se společností Škoda Auto a.s., která řeší problém přepravy materiálu v kontejnerech z výrobních hal v České ...