| |
| |
|
Dimenzionální transmutace v kvantové teorii
Ebr, Jan ; Hořejší, Jiří (vedoucí práce) ; Novotný, Jiří (oponent)
Práce se zabývá dvěma vybranými modely - z kvantové teorie pole nehmotnou skalární elektrodynamikou (tzv. Colemanův-Weinbergův model) a z kvantové mechaniky kontaktním (-funkčním) potenciálem (ve dvou dimenzích) - které jsou zdánlivě invariantní vůči nějakému druhu škálových transformací, a tak při vhodné volbě jednotek obsahují pouze bezrozměrné parametry. Ukazuje se, že i kvantově-mechanickém případě je potřeba formální denici modelu doplnit další procedurou a že užití různých fyzikálních regularizací vede ke stejným výsledkům, které se navíc shodují s předpověd'mi matematicky rigoróznější metody samosdružených rozšíření operátorů. V této práci prezentujeme podrobné výpočty podporující tento závěr; na rozdíl od běžné literatury tak ovšem činíme přímočarými metodami, které umožňují krok za krokem vidět, proč tomu tak je - veškeré potřebné znalosti z pokročilejší funkcionální analýzy jsou navíc shrnuty v dodatku. V části věnované kvantové teorii pole aplikujeme podobný přístup, kde výsledky získané pomocí abstraktních funkcionálních metod "znovuobjevujeme" pomocí obvyklé poruchové teorie. V jejím rámci navíc ukazujeme, jak z teorie obdržet předpovědi i pro jiné veličiny, než samotné hmoty zúčastněných částic.
|
|
Subspace Modeling of Prosodic Features for Speaker Verification
Kockmann, Marcel ; Kenny, Patrick (oponent) ; Nöth, Elmar (oponent) ; Černocký, Jan (vedoucí práce)
The thesis investigates into speaker verification by means of prosodic features. This includes an appropriate representation of speech by measurements of pitch, energy and duration of speech sounds. Two diverse parameterization methods are investigated: the first leads to a low-dimensional well-defined set, the second to a large-scale set of heterogeneous prosodic features. The first part of this work concentrates on the development of so called prosodic contour features. Different modeling techniques are developed and investigated, with a special focus on subspace modeling. The second part focuses on a novel subspace modeling technique for the heterogeneous large-scale prosodic features. The model is theoretically derived and experimentally evaluated on official NIST Speaker Recognition Evaluation tasks. Huge improvements over the current state-of-the-art in prosodic speaker verification were obtained. Eventually, a novel fusion method is presented to elegantly combine the two diverse prosodic systems. This technique can also be used to fuse the higher-level systems with a high-performing cepstral system, leading to further significant improvements.
|
|
Výpočtové modelování mechanických zkoušek kompozitů pryž - ocelové vlákno
Jarý, Milan ; Profant, Tomáš (oponent) ; Burša, Jiří (vedoucí práce)
Motivací pro realizaci této diplomové práce bylo navrhnout výpočtový model vláknového kompozitu s elastomerovou matricí a dále se pokusit o homogenizaci vlastností tohoto kompozitu. Práce se zabývá výpočtovým modelováním deformačně napěťových stavů vznikajících při mechanických zkouškách kompozitů. Kompozity, které jsou použity při mechanických zkouškách, jsou složeny z hyperelastické pryžové matrice a z ocelových výztužných vláken. Výpočtové modelování je uskutečněno na dvou úrovních modelu. Jednak s fyzickým modelováním vláken a matrice a jednak s využitím homogenizace vlastností, tj. konstitutivních modelů popisujících vlastnosti kompozitu jako celku. To znamená, že vlastnosti vláken jsou matematickou formulací konstitutivního modelu zahrnuty v měrné energii napjatosti (hustota deformační energie). Dále se práce zabývá výpočtovým modelováním mechanických zkoušek hyperelastických izotropních materiálů, které slouží k identifikaci jejich materiálových parametrů a k ověření správného výběru konstitutivního modelu materiálu, jenž ho popisuje. Pro konkrétní hyperelastický materiál jsou provedeny simulace pro zkoušku jednoosým tahem, dvouosým tahem, jednoosým tlakem, dvouosým tlakem, smykem, jednoosým tahem se zabráněnou příčnou deformací. Mechanické parametry byly určeny z experimentálních dat, které sloužily jako data vstupní. Ověření modelu materiálu bylo provedeno porovnáním dat získaných z experimentů a výsledků simulace daných mechanických zkoušek pomocí MKP v systému Ansys. Takto ověřený konstitutivní model materiálu byl použit pro popis matrice v deformačně napěťových modelech mechanických zkoušek kompozitního materiálu a výsledky byly porovnávány s experimentálními daty. Cíle, kterých má být dosaženo, jsou následující: • Seznámit se s konstitutivními modely hyperelastických izotropních a anizotropních materiálů a identifikací jejich parametrů na základě mechanických zkoušek. • Vytvořit výpočtové modely zkušebních těles z kompozitu "pryž - ocelové vlákno" pro různá uspořádání vláken a využít je při simulaci vybraných zkoušek. • Otestovat možnosti modelování kompozitu s využitím homogenizace jeho vlastností a porovnat výsledky obou přístupů. Výsledky, kterých bylo dosaženo: • Byly vytvořeny výpočtové modely s namodelovanými vlákny, jejichž deformačně napěťové charakteristiky se kvalitativně shodují s experimentem a kvantitativní rozdíl je 20% až 40% (viz.(4.3)). • Dále byla úspěšně provedena homogenizace vlastností výpočtového modelu s namodelovanými vlákny (viz.(4.4)).
|
|
Rozpoznávání obrázkových jazyků
Barták, Jakub ; Plátek, Martin (oponent) ; Mráz, František (vedoucí práce)
Předkládáme zde transformaci jednodimenzionálního zkracujícího restartovacího automatu do dvou dimenzí. Výsledný automat (zvaný dvoudimenzionální restartovací automat - 2RA) má jak zajímavé uzávěrové vlastnosti, tak blízkou vazbu na třídu jazyků REC (Recognizable languages), čímž se třída jazyků které je schopen rozpoznat ukazuje být zajímavým přínosem pro hierarchii dvou-dimenzionálních jazyků.
|
|
Programovatelná osvětlovací soustava pro optický mikroskop
Lošťák, Martin ; Křupka, Ivan (oponent) ; Chmelík, Radim (vedoucí práce)
Programovatelná osvětlovací soustava (POS) využívá komerční dataprojektor a vhodnou optickou přenosovou soustavu za účelem osvětlení vzorku v optickém mikroskopu procházejícím světlem. Teoretická část diplomové práce se věnuje metodám osvětlení v optické mikroskopii pro osvětlení na průchod, jež využívají vkládání optomechanických členů do předmětové ohniskové roviny kondenzoru. Jsou to jak metody klasické, které zvyšují kontrast (metoda temného pole), případně rozlišení obrazu (metoda šikmého osvětlení), tak metoda rotující apertury kondenzoru, která poskytuje 3-D informaci o vzorku. Dále je zde uvedena teorie a základní rozdělení osvětlovacích soustav pro osvětlení vzorku na průchod. Na tuto část navazuje vlastní optický a mechanický návrh optické přenosové soustavy pro POS. V experimentální části jsou uvedeny výsledky zobrazení, kterých bylo dosaženo s dvěma různými uspořádáními POS. Na dvou různých vzorcích bylo ukázáno, že pomocí POS je možné vytvořit stejné osvětlení jako metodami klasickými. Bylo prokázáno, že POS lze nahradit rotující mechanickou aperturu kondenzoru, a získat tak 3-D informaci ze vzorku. Byly představeny některé nové statické i dynamické metody osvětlení.
|
|
Propojení OLAPu a data miningu při analýze cvičného datasetu
Borokshinova, Anastasia ; Chudán, David (vedoucí práce) ; Šimůnek, Milan (oponent)
Cílem této práce je ukázat možnost propojení dvou technik datové analýzy OLAP a data mining v určité oblasti. Základním způsobem dosažení cíle bude průběžné porovnávání a kontrola získaných výsledků pomocí již zmíněných technik. Pro praktickou aplikaci daného způsobu je použit cvičný dataset o úvěrech poskytnutých fyzickým osobám. Analýza dat bude prováděna pomocí doplňku MS Excelu Power Pivot a systému LISp-Miner. Při práci s LISp-Minerem bude využita konkrétně procedura 4ft-Miner, která postupuje podle uznávané data miningové metodiky CRISP-DM. Přínos práce spočívá především v představení možností propojení OLAP a data miningu na stejném datasetu, a tím omezení počtu možných mylných závěrů, ke kterým by analytici mohli dospět pouze na základě jedné z technik. Dalšími přínosy je ukázka převedení relačních dat do multidimenzionální struktury a praktické možnosti využití procedury 4ft-Miner systému LISp-Miner.
|
|
Program FEMM - podklady pro výuku v elektronické formě
Pešek, Michal ; Huzlík, Rostislav (oponent) ; Vítek, Ondřej (vedoucí práce)
Práce je zaměřena na seznámení uživatelů s prací v programu FEMM. Ten slouží k řešení dvou rozměrných, nízkofrekvenčních elektromagnetických úloh. Měla by umožnit i studentům, kteří nejsou zběhlí s prací v programech v anglickém jazyce, sestavit si model a nastavit parametry, potřebné pro úspěšné vyřešení požadovaného zadání. Je zde popsáno nastavení a umístění důležitých prvků programu a uživatelé by tedy měli rychle pochopit, jak se v programu pracuje. FEMM sice pracuje ve dvojrozměrném režimu a je tedy omezenější a jednodušší než drahé 3D nástroje, zato jeho použití pro komerční i nekomerční využití je zdarma. To činí tento program velice zajímavým i pro domácí použití studenty. Licence autora se vztahuje pouze na samotný kód programu a jeho prodej.
|
|
Self-service BI pro oblast retailu
Čoček, František ; Pour, Jan (vedoucí práce) ; Šedivá, Zuzana (oponent)
Diplomová práce se zabývá aktuálním tématem samoobslužných řešení business intelligen-ce. Hlavním cílem práce je vytvoření dimenzionálního modelu a pilotních aplikací pro oblast retailu použitelnou v Management of Business Informatics (MBI). Realizace hlavního cíle je podmíněna splněním čtyř kroků, které dále plní dílčí a praktický cíl práce. Dílčí cíl se zaměřuje na srovnání výhod a nevýhod dvou současných možných řešeních BI a praktic-kým cílem práce je vytvoření reportů a dashboardů pro aplikaci modelu řízení informatiky MBI s využitím nástrojů a technologií společnosti Microsoft. Prvním krokem je představení problematiky klasického a self-service BI s následným srovnáním variant. Druhým krokem je vymezení oblasti retailu a určení možných sledovaných ukazatelů. Třetím krokem je představení self-service BI technologií a nástrojů společnosti Microsoft. Čtvrtým krokem práce je vytvoření aplikací pro oblast retailu v MBI za použití nástrojů PowerPivot a Power View. Hlavním přínosem práce je vytvoření reportů a dashboardů podporující procesy retai-lu podle obecného modelu retailu, které budou následně sloužit jako pilotní aplikace v MBI. Dále praktické seznámení čtenářů s možnostmi nástrojů PowerPivot a Power View.
|
host ::
