|
|
Biometrie a její využití v kriminalistice
VÁCHOVÁ, Ivona
Bakalářská práce je zaměřena na podání aktuálních a srozumitelných informací o biometrii. Cílem je srozumitelně seznámit veřejnost s možnostmi biometrické identifikace, jejich technologiemi a využitím v kriminalistice. V práci jsou vysvětleny důležité pojmy, historie oboru a dělení biometrických vlastností a identifikace. Dále práce seznamuje s biometrickými systémy, jejich kritérii a chybami. Hlavní část tvoří zpracování jednotlivých vybraných identifikačních metod. Na závěr je také uvedeno využití biometrických vlastností v osobních dokladech a kriminalistice.
|
|
|
Specifické hry a aktivity na kolečkových lyžích pro běžce na lyžích ve věku 12-14 let
Korbelář, Tomáš ; Suchý, Jiří (vedoucí práce) ; Gnad, Tomáš (oponent)
Název práce: Specifické hry a aktivity na kolečkových lyžích pro běžce na lyžích ve věku 12 - 14 let Cíle práce: Vytvořit a experty ověřit soubor her a aktivit na kolečkové lyže pro mladé lyžaře běžce ve věku 12-14 let. Metody: První metodou využitou v této práci byla analýza dostupných českých i zahraničních dokumentů o hrách a aktivitách, poté byl vytvořen soubor her a aktivit, který byl revidován pro trénink na kolečkových lyžích. Následovala verifikace souboru her a aktivit na kolečkové lyže za pomoci panelu expertů složeného ze zkušených a licencovaných trenérů běžeckého lyžování a dále expertů na běžecké lyžování. S nimi byl proveden nestrukturovaný rozhovor spojený s diskuzí o jednotlivých hrách a aktivitách. Výsledky: V první části výsledků se nachází kapitola o pomůckách využívaných v námi vytvořeném souboru. Páteřní část tvoří revidovaný a verifikovaný soubor her a aktivit na kolečkové lyže pro mladé lyžaře běžce ve věku 12-14 let. Panel expertů provedl verifikaci a formou variant a doporučení přidal ke konkrétním hrám a aktivitám své nápady a návrhy. Na závěr výsledkové části vznikla na základě diskuze s panelem expertů kapitola, rozdělující soubor podle třech nejdůležitějších hledisek. Těmi jsou bezpečnost, prostor a počet soutěžících. Klíčová slova: běh na lyžích, hra, kolečkové lyže,...
|
|
| |
|
|
Vybrané problémy z planimetrie
MÍKOVÁ, Lucie
Tato práce je zaměřena na Vybrané problémy z planimetrie. Cílem práce je seznámit čtenáře nejen s planimetrickými problémy, jejich verifikací (ověřením) vytvořenou v dynamickém matematickém programu GeoGebra a jejich klasickým důkazem, ale také seznámení s životem autora, kterému je daný problém přisuzován, respektive je po něm pojmenován. Práce je doplněna o obrázky, které slouží k lepšímu pochopení a porozumění problému a verifikaci. Tuto práci lze použít jako doplnění učiva na středních školách, kde využitím programu GeoGebra a následné verifikace může dojít k lepšímu pochopení daného tématu.
|
|
|
Stanovení množství transkriptu bcr/abl u chronické myeloidní leukémie
PYTLOVÁ, Kamila
Tato bakalářská práce se v teoretické části zabývá onemocněním chronická myeloidní leukémie (CML), která tvoří asi 25% leukémií dospělého věku, s maximálním výskytem ve věkové skupině mezi 50 - 70. rokem života. S nízkou frekvencí se vyskytuje i u dětí a mladistvých. Chronická myeloidní leukémie je charakterizována přítomností hybridního genu bcr/abl, který vzniká v důsledku reciproké translokace t(9;22)(q34;q11) karyotypicky detekovatelné jako Ph chromozóm. Gen bcr/abl je typickým znakem CML sloužící k upřesnění diagnózy a sledování úspěšnosti léčby. Kvantifikace je prováděna buď jako relativní (častěji), kdy se množství fluorescence testovaného vzorku porovnává s množstvím fluorescence jiného genu, nebo absolutní, kdy množství DNA odečítáme z kalibrační křivky, která nám poskytne výsledek DNA o dané koncentraci. Cílem této práce je srovnat různé způsoby kvantifikace transkriptu bcr/abl. Snaha o kvantifikaci tohoto transkriptu probíhá již dlouhou dobu, zapojili se zde organizace z celého světa. Nejcitlivější metodou pro zjištění přítomnosti této aberace je reverzní transkriptázová polymerázová řetězová reakce (RT-PCR) detekující transkript bcr/abl. Druhým cílem této práce je podat přehled problematiky a provést jeden ze způsobů relativní kvantifikace genu bcr/abl. Posledním cílem je seznámení se s managementem vzorků v laboratoři a verifikací a validací těchto metod.
|
|
| |
|
|
Verifikace digitálního obvodu Microcore GNSS Baseband
Peroutka, Ondřej ; Fujcik, Lukáš (oponent) ; Dvořák, Vojtěch (vedoucí práce)
Tématem této diplomové práce je verifikace Akviziční jednotky a Sledovací jednotky digitálního obvodu Microcore GNSS Baseband společnosti Honeywell. Teoretická část práce obsahuje stručný úvod o určování polohy pomocí satelitního signálu, princip činnosti verifikovaných jednotek a představení metodiky UVM. Praktická část práce obsahuje požadavky na testované jednotky, testové scénáře a procedury. Také je popsáno verifikační prostředí. Poslední částí je průběh verifikace a její výsledky.
|
|
|
Soothsharp: A C#-to-Viper translator
Hudeček, Petr ; Parízek, Pavel (vedoucí práce) ; Ježek, Pavel (oponent)
Viper je verifikační infrastruktura vyvíjená na univerzitě ETH v Curychu. Pomocí této infrastruktury se dá ověřit, zda programy napsané v jazyku Viper vyhovují svým deklarovaným kontraktům a invariantům. V této práci vyvíjíme knihovnu kontraktů a překladač, který zkompiluje kód v jazyku C# do jazyku Viper, a tak umožní jeho verifikaci. Uživatel může anotovat svůj program těmito kontrakty a pak použít překladač, aby určil, zda je program funkčně korektní. Překladač podporuje podstatnou podmnožinu funkcí jayzku C#, včetně typů a polí. Je integrován s Visual Studiem, a ukazuje tak chyby z překladu a verifikace uživateli přímo v prostředí.
|
|
|
Metoda pro simulaci energetické náročnosti výrobních strojů v etapě vývoje
Tůma, Jiří ; Demeč, Peter (oponent) ; Suchánek, Rostislav (oponent) ; Blecha, Petr (vedoucí práce)
Disertační práce je zaměřena na návrh metody pro simulaci energetické náročnosti obráběcího stroje v provozu ve fázi jeho vývoje. Pro návrh metody jsou východiskem poznatky získané z rešeršní práce z oblastí vědy a průmyslu. Metoda samotná je tvořena pěti na sebe navazujícími kroky, které je třeba realizovat v náležitém pořadí tak, aby bylo možné vytvořit relevantní energetický profil obráběcího stroje. Výstupem navržené metody jsou simulovaná data poskytující průběh spotřebované energie a potřebného výkonu, které jsou závislé na čase. Výstupní data jsou získána na základě simulace řízení obráběcího stroje podle G-kódu, který je pro simulaci interpretován do podoby matrice překladačem. Matrice obsahuje potřebná data pro řízení, jako jsou požadované koncové body nástroje, a požadované posuvové rychlosti, ke kterým je přiřazen časový údaj. G-kód je tedy částečně časově parametrizován. To je následně prostřednictvím matematického modelu pohonných mechanismů kompletně časově parametrizováno a dále díky součinnosti softwaru pro řízení pohonných mechanismů (Matlab Simulink) a softwaru pro fyzikální simulace (MSC Adams) zpracováno do podoby výstupních dat. Jako vstupní parametr simulace je užit koeficient sloužící jako násobitel normálové síly u pohonných mechanismů, který je funkcí posuvové rychlosti. Ztrátová funkce je získána experimentálně. V rámci disertační práce byly provedeny dva experimenty sloužící k verifikaci navržené metody. U každého experimentu je postupováno dle navržené metody a součástí je porovnání simulace s naměřenými daty při různých provozních režimech. Navržená metoda, popsaná v disertační práci, umožňuje konstruktérům sumarizovat energetickou náročnost navrhovaného stroje ještě před jeho výrobou. Při správné interpretaci mohou výsledky metody sloužit jako podklad k zlepšení energetického profilu a tím ke zvýšení energetické účinnosti obráběcího stroje.
|
|
|
Metoda pro simulaci energetické náročnosti výrobních strojů v etapě vývoje
Tůma, Jiří ; Blecha, Petr (vedoucí práce)
Disertační práce je zaměřena na návrh metody pro simulaci energetické náročnosti obráběcího stroje v provozu ve fázi jeho vývoje. Pro návrh metody jsou východiskem poznatky získané z rešeršní práce z oblastí vědy a průmyslu. Metoda samotná je tvořena pěti na sebe navazujícími kroky, které je třeba realizovat v náležitém pořadí tak, aby bylo možné vytvořit relevantní energetický profil obráběcího stroje. Výstupem navržené metody jsou simulovaná data poskytující průběh spotřebované energie a potřebného výkonu, které jsou závislé na čase. Výstupní data jsou získána na základě simulace řízení obráběcího stroje podle G-kódu, který je pro simulaci interpretován do podoby matrice překladačem. Matrice obsahuje potřebná data pro řízení, jako jsou požadované koncové body nástroje, a požadované posuvové rychlosti, ke kterým je přiřazen časový údaj. G-kód je tedy částečně časově parametrizován. To je následně prostřednictvím matematického modelu pohonných mechanismů kompletně časově parametrizováno a dále díky součinnosti softwaru pro řízení pohonných mechanismů (Matlab Simulink) a softwaru pro fyzikální simulace (MSC Adams) zpracováno do podoby výstupních dat. Jako vstupní parametr simulace je užit koeficient sloužící jako násobitel normálové síly u pohonných mechanismů, který je funkcí posuvové rychlosti. Ztrátová funkce je získána experimentálně. V rámci disertační práce byly provedeny dva experimenty sloužící k verifikaci navržené metody. U každého experimentu je postupováno dle navržené metody a součástí je porovnání simulace s naměřenými daty při různých provozních režimech. Navržená metoda, popsaná v disertační práci, umožňuje konstruktérům sumarizovat energetickou náročnost navrhovaného stroje ještě před jeho výrobou. Při správné interpretaci mohou výsledky metody sloužit jako podklad k zlepšení energetického profilu a tím ke zvýšení energetické účinnosti obráběcího stroje.
|
host ::
RSS.