|
|
Moderní metody verifikace smíšených integrovaných obvodů
Podzemný, Jakub ; Bohrn, Marek (oponent) ; Fujcik, Lukáš (vedoucí práce)
Práce se zabývá metodami, které jsou vhodné pro verifikaci smíšených integrovaných obvodů. Důraz je přitom kladen na tzv. „Assertion-based“ verifikaci. Tato metoda je v praxi aplikovatelná pomocí jazyků PSL a SystemVerilog. Tyto jazyky jsou mezi sebou porovnány a samostatně otestovány, aby byl následně stanoven jejich potenciál a aby byly nalezeny jejich funkční hranice a omezení. Jeden z těchto jazyků bude následně začleněn do verifikačních postupů společnosti SCG Czech Design Center s. r. o., aby zde mohla být rozvinuta metoda ABV i v analogové a smíšené doméně.
|
|
|
Post-kvantová kryptografie na omezených zařízeních
Matula, Lukáš ; Dzurenda, Petr (oponent) ; Malina, Lukáš (vedoucí práce)
V posledních letech dochází k velkému technologickému vývoji, který mimo jiné přináší návrhy a realizace kvantových počítačů. V případě využití kvantových počítačů je dle Shorova algoritmu velmi pravděpodobné, že matematické problémy, o které se opírají dnešní kryptografické systémy, budou vypočitatelné v polynomiálním čase. Je tedy nezbytné věnovat pozornost vývoji post-kvantové kryptografie, která je schopna zabezpečit systémy vůči kvantovým útokům. Práce zahrnuje souhrn a porovnání různých typů post-kvantové kryptografie a následně měření a analyzování jejich náročnosti za účelem implementace na omezená zařízení, jako jsou čipové karty. Měřené hodnoty na PC jsou využity na určení nejvhodnější implementace na čipovou kartu a poté je samotná verifikační metoda na čipovou kartu implementována.
|
|
|
Agreements and Disagreements between Automatic and Human Speaker Recognition
Valenta, Jakub ; Matějka, Pavel (oponent) ; Rohdin, Johan Andréas (vedoucí práce)
This thesis deals with the problem of speaker recognition. The term is defined and individual methods related to it are described. The aim of the work is to point out the agreements and disagreements between human and automatic speaker recognition. At the beginning of the thesis, theoretical knowledge from both mentioned areas are described, i.e., what aspects of human speech do people, or automatic system respectively, focus on. Then, several experiments are performed to compare these two methods. These experiments are evaluated in such a way, that it is possible to observe which tasks can be better solved by people, in order to use the knowledge to improve the function of the automated system. At the end of the thesis, such an attempt to improve the automatic system is demonstrated and tested. Testing was successful and higher evaluation accuracy could be observed. Thus, such a result can be used in other research to allow further development in the field of automatic speaker recognition.
|
|
|
Verifikace nastavení cílového objemu v radioterapii
LHOTÁKOVÁ, Vendula
Tato bakalářská práce pojednává o verifikaci nastavení cílového objemu v radioterapii. Vzhledem k pokroku technologií poukazuje na nutnost využití verifikačních systémů pro zajištění kvality léčby. Cílem bakalářské práce v teoretické části je shrnout a popsat využívané zobrazovací technologie pro verifikaci nastavení cílového objemu. Cílem praktické části je analyzovat odchylky v pozici cílového objemu při IMRT technice ozařování prostaty, analýza je primárně zaměřená na nové funkce v korekci pozice ozařovacího stolu. Teoretická část práce představuje zařízení využívaná pro verifikaci cílového objemu. Shrnuje informace o dvou základních metodách v radioterapii, kterými jsou teleterapie a brachyterapie. Vysvětluje rozdíly mezi rentgenovými a radionuklidovými ozařovači a urychlovači částic. Stručně popisuje konstrukci lineárního urychlovače a shrnuje ozařovací techniky využívané v radioterapii. Pro praktickou část byla data získána z výsledků korekce pozice cílového objemu při verifikačním snímkování na oddělení radioterapie v Nemocnici České Budějovice. Pro analýzu odchylek byl vybrán soubor 50 pacientů, kteří se v loňském roce 2018 léčili na oddělení radioterapie s karcinomem prostaty. U těchto subjektů bylo během radioterapie, vyjma denního MV-kV snímkování, zhotoveno celkem 417 verifikačních CT. Ze získaných CT obrazů byla vyhodnocena odchylka v zaměření cílového objemu a provedena patřičná korekce ozařovacího stolu a tím i pacienta. Korekce pozice ozařovacího stolu umožňuje pohyb celkem v 6 osách, které jsou v práci blíže popsány. Z výsledků nashromážděných dat vyplývá, že korekce nastavení ozařovaného objemu je nutností a je hojně využívána, a to ve všech 6 osách. Bylo zjištěno, že funkce stolu Lat, Lng, Rnt a Vrt jsou využívány takřka stoprocentně a novější funkce stolu Pitch konkrétně v 95,03% a využití funkce Roll v 92,64%. Denní verifikační CBCT bylo provedeno u 10% pacientů z pozorovaného souboru. Standardní frekvence použití verifikačního CBCT na oddělení radioterapie v NEMČB, pro pacienty ozařované na oblast prostaty, je přibližně 7 - 9 CBCT během léčby, kam se řadí CBCT vyšetření při prvním nastavení a následně ještě dvakrát během prvního týdne léčby, pak už jen jednou týdně po dobu radioterapie. Výsledky analýzy prokázaly hojné využití nově zavedených možností v korekci pozice ozařovacího stolu i celkové zpřesnění v zaměřování cílového objemu. Právě dané zpřesnění a tím i zkvalitnění poskytované léčby zářením umožňuje změny ve velikosti zakreslovaných cílových objemů, a to jejich zmenšení. V důsledku tohoto faktu se pak zákonitě snižuje objem zdravé ozářené tkáně a pro pacienta to znamená (nebo může znamenat) snížení výskytu nebo míry závažnosti nežádoucích účinků radioterapie. Výsledky výzkumu a závěr mohou sloužit ke zhodnocení kvality verifikačního procesu v radioterapii, spojeného s instalací nových technologií na daném pracovišti, případně jako podklad ke článku publikovanému v odborných časopisech.
|
|
|
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.
|
|
| |
host ::
RSS.