|
|
Systém pro podporu výuky dynamických datových struktur
Trávníček, Jiří ; Grulich, Lukáš (oponent) ; Křena, Bohuslav (vedoucí práce)
Hlavním cílem této práce je navrhnout a implementovat aplikaci, která může být využita jako pomůcka pro výuku základů programování. Konkrétně je pozornost soustředěna na oblast dynamických datových struktur. Cílová aplikace bude implementována s využitím webových technologií, takže může být provozována v běžném WWW prohlížeči. Nejdříve stručný úvod zrekapituluje datové struktury, které budou pokryty. Poté práce shrnuje vhodné technologie dostupné ve webových prohlížečích, se zaměřením na konkrétní technologii (kterou je DHTML), jež se stane cílovou platformou. Nejvýznamnější část této práce pojednává o návrhu konečné aplikace. Tato spíše teoretická část je poté následována popisem praktické implementace. Obsahem je také krátká uživatelská příručka.
|
|
|
Model checking nekonečně stavových systémů založený na inferenci jazyků
Rozehnal, Pavel ; Křena, Bohuslav (oponent) ; Vojnar, Tomáš (vedoucí práce)
Regulá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 transducerů. Je zde představen nový přístup k regulárnímu model checkingu založený na odvozování regulárních jazyků. Metoda je založena na prozkoumávání nekonečně stavového systému, jehož chování může být modelováno použitím transducerů, které zachovávají délku řetězců a jejich aplikací je možné získat všechny dosažitelné konfigurace systému. Naše metoda regulárního model checkingu je založena na odvozování regulárních jazyků pomocí algoritmu Angluin, který je použit pro nalezení vhodného invariantu (nadaproximace), který je schopen zodpovedět otázku zachování či porušení nějaké vlastnosti. Je zde také uveden úvod do teorie konečných automatů, model checkingu, SAT problémů a popis Angluinova a Biermanova algoritmu pro učení konečných automatů.
|
|
|
Ubiquitous Learning
Sobotka, Miroslav ; Zbořil, František (oponent) ; Křena, Bohuslav (vedoucí práce)
This MSc Thesis was performed during a study stay at the Université de La Rochelle, France. This work is devoted to the ubiquitous learning and the ontology mapping. The former part presents the environment of ubiquitous learning and available tools. The aim is to show the way to the mobile content creation, using the LMA software and the realization of the virtual learning environment - installation, testing and setting up of the Moodle open source course management system. The ontology mapping part acquaints readers with ontologies and ontology mapping, the aim is to analyze available resources, to choose suitable tools and finally to realize own implementation of ontology mapping algorithm. This work is a part of the MAPLE project, the overall objective is to enable realization of pedagogical framework for a mobile, active and participative learning environment.
|
|
|
Heuristické řešení plánovacích problémů
Novotná, Kateřina ; Křena, Bohuslav (oponent) ; Letko, Zdeněk (vedoucí práce)
Tato 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 Optimalizace pomocí mravenčí kolonie. Vyhodnocení algoritmu je provedeno pomocí Drools Planner benchmarku pro různé optimalizační problémy.
|
|
|
Ambulantní systém založený na IZIP a jeho zabezpečení
Janečka, Lukáš ; Křena, Bohuslav (oponent) ; Jurka, Pavel (vedoucí práce)
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, návrhové vzory a technika objektového modelování pomocí UML. V práci je také popsán způsob komunikace se systémem IZIP, struktura odesílaných dat a zabezpečení této komunikace. Pro implementaci navrženého systému byl použit programovací jazyk C++, pro zpracování XML dokumentů parser Xerces-C++, pro grafické uživatelské rozhraní toolkit Qt a data jsou ukládána do relační databáze Firebird.
|
|
|
Software pro správu reklamních ploch v tiskovinách
Maleček, Václav ; Jurka, Pavel (oponent) ; Křena, Bohuslav (vedoucí práce)
Tato diplomová práce popisuje vývoj informačního systému pro správu reklamních ploch v tiskovinách včetně úvodu do problematiky, definice požadavků, návrhu, implementaci a diskuzi o plánovaných rozšířeních aplikace. Při návrhu a implementaci aplikace byl kladen důraz na intuitivní a pohodlné ovládání uživateli. Systém je naprogramován v jazyce Java, pro zajištění persistence dat byl využit systém Hibernate a grafické uživatelské rozhraní využívá framework Swing. Vlastní uložení dat je zprostředkováno databází MySQL.
|
|
|
Bounded model checking v nástroji Java PathFinder
Dudka, Vendula ; Češka, Milan (oponent) ; Křena, Bohuslav (vedoucí práce)
Diplomová 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 pro verifikační metodu byl zvolen model checker Java Pathfinder, který je určen pro Java programy. Vlastní verifikační metoda spočívá v aplikaci strategie pro navigaci stavovým prostorem do místa verifikace. Z daného místa je spuštěn bounded model checking pro ověření opravy. Navigace stavovým prostorem je implementována pomocí strategie record&replay trace. Pro aplikaci bounded model checkingu jsou implementovány další parametry a moduly pro verifikaci speciálních vlastností systému, které ověřují koreknost opravy chyby. Bounded model checking se provádí v okolí opravy.
|
|
|
Algoritmy řazení v jazyce C
Vaněk, Jiří ; Křena, Bohuslav (oponent) ; Honzík, Jan M. (vedoucí práce)
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 Algoritmy do jazyka C, vytvoření programu pro testování algoritmů z opory a vytvoření animace demonstrující činnost vybraných řadicích algoritmů.
|
|
|
Etické a právní otázky spojené s IT
Žila, Milan ; Honzík, Jan M. (oponent) ; Křena, Bohuslav (vedoucí práce)
Prá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ť. Zároveň popisuje formy softwarového pirátstva a uvádza možné riešenia tejto problematiky.
|
|
|
Konjunkce a disjunkce ve fuzzy logice
Havlena, Vojtěch ; Kunovský, Jiří (oponent) ; Křena, Bohuslav (vedoucí práce)
Tato 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 stanoveny podmínky, při nichž transformací určitých uninorem vznikne opět uninorma. Taktéž byly určeny podmínky invariantnosti transformace pro třídu určitých uninorem. Transformace uninorem rozšiřuje třídu možných spojek a jejich studium nám ulehčilo hledání podmínek při modelování. Byl také nalezen a analyzován algoritmus pro modelování fuzzy logických spojek. Na základě programu implementujícího tento algoritmus byl vyhodnocen experiment, který měl za cíl modelovat fuzzy konjunkci užívanou lidmi.
|
host ::
RSS.