|
Automatické ladění vah pravidlových bází znalostí
Valenta, Jan ; Pokorný, Miroslav (oponent) ; Zbořil, František (oponent) ; Jirsík, Václav (vedoucí práce)
Předložená disertační práce představuje nové možnosti automatizované tvorby a ladění bází znalostí informačních a expertních systémů. Práce je rozdělena na dvě navazující části. První část se věnuje existujícímu expertnímu systému NPS32 vyvinutému na Fakultě elektrotechniky a komunikačních technologií, Vysokého učení technického v Brně. Matematický aparát tohoto systému je založen na vyjádření neurčitosti pravidel dvěma hodnotami, čímž rozšiřuje informační schopnosti báze o hodnoty nepřítomnosti informace a sporu v bázi znalostí. Program byl doplněn učícím algoritmem nastavujícím váhy pravidel v bázi znalostí pomocí diferenciálního evolučního algoritmu za pomoci vzorů získaných od experta. Vzory představují reakci systému na data vložená uživatelem. Uvedený učící algoritmus je omezen pouze na jednovrstvé báze znalostí. V práci je uveden formální důkaz nemožnosti použití matematického aparátu expertního systému NPS32 pro učení vícevrstvých bází znalostí gradientními metodami. Druhá část práce se věnuje učícímu algoritmu pro realizaci vícevrstvé pravidlové báze znalostí. Báze znalostí je založena na specifickém modelu pravidla ohodnoceného neurčitostí vyjadřující míru informačního přínosu pravidla. Jako algoritmus učení nastavující váhy jednotlivých pravidel ve struktuře báze je použit modifikovaný algoritmus back propagation přepracovaný pro použití s danou strukturou báze a modelem pravidla. Pro účely testování a ověření učícího algoritmu ladění báze znalostí byl vytvořen expertní systém RESLA v jazyce C#. V tomto expertním systému byla vytvořena báze znalostí z oblasti medicíny k ověření učících schopností algoritmu pro složité báze znalostí. Báze znalostí tvoří diagnostiku poruch srdečního rytmu na základě parametrů získaných z průběhu EKG (elektrokardiogramu). Za účelem srovnání s již existujícími bázemi znalostí tvořenými expertem a znalostním inženýrem byl program srovnáván s profesionálně odladěnou bází znalostí z oblasti zemědělství. Bázi zde tvoří systém na podporu rozhodování při výběru vhodné odrůdy pšenice ozimé pro pěstování v různých prostředích. Tato disertační práce řeší zásadní zrychlení tvorby bází znalostí při zachování všech výhod, která plynou z použití pravidel. Oproti současným řešením založeným na neuronových sítích je stávající algoritmus pro ladění bází znalostí rychlejší a jednodušší, neboť nevyžaduje extrakci pravidel z jiného typu báze znalostí.
|
|
Návrh alternativní konstrukce rámu formulového vozu
Škaloud, Martin ; Dundálek, Radim (oponent) ; Ramík, Pavel (vedoucí práce)
V následujícím textu se tato práce zaměřuje na návrh alternativy rámu vozu formulového typu určený pro mezinárodní studentskou soutěž Formule Student. Nejprve je tato soutěž stručně přiblížena. Následují základní informace o možných variantách rámu v soutěži, nastínění pravidel pro rámy z tenkostěnných profilů, ale i pro kompozitové struktury. Jako další jsou zmíněné nejpoužívanější typy materiálů u trubkových rámů. Pak práce přechází v konstrukční část. V ní jsou zmíněné požadavky na tvorbu rámu, postup výpočtu jednotlivých torzních tuhostí a samotný návrh konstrukce včetně vytvořeného výpočtového modelu. V závěrečné části je provedena simulace v MKP programu a stručně popsána varianta návrhu i s jejím zhodnocením.
|
|
Testování podpory kvalitativních požadavků služeb v experimentální datové síti
Fogl, Miroslav ; Škorpil, Vladislav (oponent) ; Novotný, Vít (vedoucí práce)
Práce se věnuje problematice kvalitativních požadavků služeb v IP sítích založených na technologii Ethernet. Jsou zde popsány základní způsoby nasazení řízení kvality služeb v síti. Dále jsou rozvedeny možnosti zacházení s pakety, řízení přetížení a omezování přenosové rychlosti v sítových prvcích. Pozornost je věnována síťové a linkové vrstvě. Na základě konkrétních možností síťových zařízení v laboratoři UTKO byla navržena a vytvořena experimentální síť. Síť tvořená směrovači a přepínači propojovala několik serverů s klientskými stanicemi. Byly generovány různé druhy datových přenosů (VoIP, HTTP, FTP, video). Techniky zacházení s pakety s různými prioritami byly ověřeny a porovnány. Byl naměřen značný vliv implementace podpory QoS v síti při plném zatížení spojů. Dalším praktickým měřením byla také simulace různých situací jako přetížení spoje nevyžádaným provozem či výpadek spoje mezi směrovači. Pro zajištění kvality služeb je třeba vytvořit doménu, v které jsou dodržována shodná pravidla ve všech síťových prvcích.
|
|
Získávání znalostí z databází
Jaroš, Ondřej ; Stryka, Lukáš (oponent) ; Jurka, Pavel (vedoucí práce)
Tato bakalářská práce se zabývá problematikou získávání znalostí z databází. Jsou zde podrobně probrány metody pro dolování dat z databází. Konkrétně se tato práce zaměřuje na metodu získávání znalostí pomocí Asociačních pravidel a to za pomocí algoritmu Apriori. Cílem práce bylo implementovat vybranou metodu a její funkčnost ověřit na vybraném vzorku dat. Aplikace je implementována v programovacím jazyce Java a vzorek dat, nad kterými metoda pracuje je uložen v souboru XML. Nejedná se tedy o klasické získávání znalostí z databáze, nýbrž z XML souboru. Informace pro spuštění dolovací úlohy jsou načítány z konfiguračního(systémového) XML dokumentu. Získané znalosti jsou poté ukládány do systémového XML dokumentu.
|
|
Návrh přední části rámu vozidla Formule Student
Lhota, Martin ; Svída, David (oponent) ; Ramík, Pavel (vedoucí práce)
Martin Lhota Návrh přední části rámu vozidla Formule Student DP, ÚADI, 2011, 75 str., 62 obr. Tato diplomová práce si stanovila za cíl navrhnout vhodné uspořádání přední části rámu vozidla Formule Student dle aktuálních pravidel organizace SAE v soutěži Formula Student. V návrhu byly upřednostněny a zohledněny předpoklady nízké hmotnosti, vyrobitelnosti a dostatečné torzní tuhosti, přičemž se vycházelo i z předešlých navrhovaných řešení. Nejprve je uveden přehled důležitých pravidel SAE pro konstrukci přední části, poté následuje krátká rešerše vývoje konstrukčních řešení rámů a rámů vhodných pro vozidla Formule Student. Následně je popsán postup při návrhu konstrukce rámu a jeho výpočtového modelu pro analýzu simulující torzní tuhost za pomoci systému MKP. Získané výsledky výpočtů a některé parametry rámu jsou porovnávány s obdobnou verzí konstrukce rámu, jež byla navrhována a vyrobena pro první vozidlo Formule Student naší univerzity. Rovněž je uvedeno zhodnocení navrženého rámu a také doporučení s možnými alternativami pro jeho další vývoj.
|
|
Metody reprezentace znalostí
Verbík, Josef ; Polách, Petr (oponent) ; Jirsík, Václav (vedoucí práce)
Práce pojednává o metodách reprezentace znalostí v expertních systémech. V práci jsou charakterizovány expertní systémy a jejich historie. Dále jsou popsány jednotlivé druhy expertních systémů a jeho části. Hned za tímto popisem je charakterizována reprezentace znalostí. Tato charakteristika je rozdělena na dvě části. V první části jsou popsány požadavky pro efektivní reprezentaci znalostí. Ve druhé části jsou popsány jednotlivé metody znalostí. Jsou to pravidla, rámce, sémantické sítě a predikátová logika.
|
|
Porovnání dosavadní a inovativní výuky futsalu na základních školách.
Šmejc, Ondřej ; Pokorný, Ladislav (vedoucí práce) ; Suchý, Jiří (oponent)
Diplomová práce cílí na výuku futsalu na základních školách. V této práci bychom chtěli poukázat na problematiku výuky futsalu na základních školách, jelikož se často nejedná o výuku futsalu, ale pouze o fotbal v hale. Pokusíme se osvětlit zásadní problémy a ukázat cestu učitelům, jak by se správně tento sport na školách měl vyučovat. Zahrnuje historický vývoj futsalu a vývoj tohoto sportu v RVP, pravidla, pohybové schopnosti a dovednosti, herní činnosti jednotlivce, herní kombinace a herní systémy. V práci naleznete i dva zásobníky cvičení, dosavadní a inovativní. Ambicí diplomové práce je poukázat na zlepšení schopností a dovedností žáků ve futsale skrze specializovaný futsalový výcvik a dodat pedagogům či studentům vysokých škol přehledný manuál k výuce tohoto sportu. KLÍČOVÁ SLOVA Futsal, trénink, metodika, technika, systém, pravidla
|
|
Checking SQL Code Properties
Bali, Filip ; Bartík, Vladimír (oponent) ; Rychlý, Marek (vedoucí práce)
This thesis focuses on checking the properties of SQL code based on static analysis using predefined rules. The rule represents a basic element of the check. The user can define their own rule and include it in the check. A rule usually contains a set of conditions that are contained in an algorithm that checks nodes in an abstract syntactic tree. Abstract syntactic tree is created from an input SQL statement and customized so that rules can be applied over its nodes. If the rule detects an error, then it can generate a report. These reports are then displayed on the selected output. Based on the thesis, an open source program in the Python3 programming language was implemented. This program is publicly available.
|
|
Backfire
Jan, Šimon ; Absolon, Tomáš (oponent) ; Tajovský, Jakub (vedoucí práce)
Ústředním bodem mojí práce je nastavování pravidel procesu tvorby a následné zkoumání tendencí tato pravidla prohlubovat nebo naopak porušovat. Vymezování si vlastního pole na základě pravidel vnímám mimo jiné jako podstatu ukotvení své tvůrčí osobnosti v rámci umělecké praxe. Bakalářská práce rozvíjí také vztah mezi dvěma formáty a dvěma materiály v jednom obraze. Stěžejní je technika pyrografie ajejí ambivalentní symbolika nevratného aktu, zničení ale zároveň ochrana. V obrazech jsou obsaženy symboly v podobě dvou soupeřících čikooperujících tvarů inspirovaných biologickými rytmy. Dále tato práce zkoumá problematiku linie, plochy, hranice, rámování, opakování a gamifikace.
|
|
Vznik a vývoj ženského ledního hokeje
Frolíková, Tereza ; Kašpar, Ladislav (vedoucí práce) ; Pokorný, Ladislav (oponent)
Předmětem bakalářské práce je shrnutí ženského ledního hokeje od historie až po současnost ve světě i u nás. Hlavním cílem je tedy celková analýza vývoje tohoto sportu, jak ženský hokej vznikal a vyvíjel se, kdy zaznamenal největší rozmach a kdy zase naopak úpadek. Druhotným cílem je vymezit vývoj pravidel a shrnout současnou situaci ženského hokeje. V úvodu práce je uvedena stručná charakteristika sportu a popsán vznik hokeje. Dále jsou zde zmíněna nejznámější ženská hokejová jména a v závěru práce jsou vymezeny rozdíly mezi pravidly ženského a mužského ledního hokeje. Klíčová slova: lední hokej, ženský hokej, zápas, historie, pravidla
|