|
|
Nástroj pro správu Active Directory
Radimák, Samuel ; Křena, Bohuslav (oponent) ; Fiedor, Tomáš (vedoucí práce)
Jedný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 - počítače, tlačiarne, telefóny, e-maily, softvér atď. Avšak každá správna firma potrebuje korektne nastaviť politiku správy daných zdrojov. Adresárové služby sú dlhodobo známym konceptom a dnes sú už široko používaným štandardom firiem po celom svete, kde pomáhajú v efektívnom riadení a zoskupovaní dostupných zdrojov firmy. Táto práca je zameraná na adresárové služby Microsoft Active Directory. Ponúka hlavné koncepty a základy technológie Active Directory. V práci sú predstavené logické a fyzické komponenty Active Directory. Active Directory je pôvodná technológia spoločnosti Microsoft, avšak časom sa začali objavovať systémy podporujúce Active Directory na linuxových operačných systémoch. Táto práca sa zaoberá rozdielmi medzi Active Directory v operačných systémoch Windows Server a ďalších operačných systémov založených na Linuxe. Najdôležitejšie riešenie zo všetkých alternatív k Microsoft, Samba4, bol rozšírený o podporu Active Directory a úspešne kopíruje originálnu funkcionalitu. Stáva sa tým legitímnou alternatívou k použitiu Windows Server, s ktorým má v súčasnej dobe porovnateľnú funkcionalitu. V práci sa nachádza rozbor danej funkcionality a opísané sú aj obmedzujúce faktory daných systémov. Ako ďalšia alternatíva k predchádzajúcim riešeniam je poskytnutý aj popis systému Zentyal, ktorý je komerčnou implementáciou systému Samba4 a preto disponuje podobnými vlastnosťami ako Samba4. Hlavným cieľom tejto práce je skutočná správa objektov v Active Directory, preto sú v práci predstavené existujúce aplikácie umožňujúce správu týchto objektov. Sám Microsoft ponúka balík základných nástrojov pre správu, ktoré sú porovnané s výberom pokročilejších komerčných nástrojov. Zobrazený je aj zoznam výhod a nevýhod každej z daných aplikácií. Na základe popisu funkcionality existujúcich aplikácií pre správu domény sú identifikované niektoré chýbajúce vlastnosti takýchto aplikácií. Podľa týchto vlastností je predstavený nový koncept aplikácie, ktorý je porovnaný s existujúcimi riešeniami a ukazuje benefity tohto konceptu. Tento návrh je následne implementovaný, pričom nová aplikácia podporuje správu používateľov a skupín a takisto ponúka rozšírenia ako úpravu profilových fotiek a prispôsobenie procesu vytvárania objektov. Na základe výsledkov testovania aplikácie sú predstavené možnosti budúceho rozširovania tohto projektu o nové vlastnosti.
|
|
|
Šachový program s různými variantami šachů obsahující novou figuru
Dostál, Martin ; Křena, Bohuslav (oponent) ; Rozman, Jaroslav (vedoucí práce)
Tato práce se zabývá analýzou a zhodnocením metod a algoritmů potřebných k úspěšné implementaci šachového programu. Uvedeny jsou jak základní principy těchto metod a algoritmů, tak i další dnes využívaná rozšíření s cílem implementovat kvalitní šachový program hrající různé varianty šachů obsahující novou figuru. Práce představuje základní pilíře každého šachového programu, kterými jsou reprezentace šachovnice, prohledávání stavového prostoru, ohodnocování stavu hry a nutné změny pro implementaci nových šachových variant. Pro přehled jednotlivých metod je v práci uvedeno porovnání jejich náročnosti.
|
|
|
Rozšíření nástroje ANaConDa pro dynamickou analýzu paralelních programů
Horňák, Michal ; Křena, Bohuslav (oponent) ; Vojnar, Tomáš (vedoucí práce)
Cieľom tejto práce bolo implementácia algoritmu FastTrack pre dynamickú analízu viac-vláknových programov v jazyku C/C++. Ide o algoritmus detekujúci chyby typu data race. Je založený na relácii happens-before zakódovanej do tzv. vektor-klokov. Tie umožňujú extrapolovať beh programu a odhaľovať tak potenciálne chyby, ktoré sa v aktuálnom behu nevyskytli, ale v iných exekúciách by sa mohli vyskytnúť. Algoritmus je implementovaný v prostredí ANaConDA. Jedná sa o nástroj slúžiaci pre jednoduchšie implementovanie dynamických analizátorov monitorujúcich paralelné programy na binárnej úrovni. ANaConDA poskytuje analyzátorom potrebné informácie o behu programu, ktoré detektory následne využívaju k odhaľovaniu chýb.
|
|
|
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ů.
|
|
|
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.
|
|
|
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.
|
|
|
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.
|
|
|
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.
|
|
|
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.
|
|
|
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.
|
host ::
RSS.