Národní úložiště šedé literatury Nalezeno 110 záznamů.  předchozí11 - 20dalšíkonec  přejít na záznam: Hledání trvalo 0.00 vteřin. 
Kontrola kvality molekulárně biologických metod v transplantační medicíně
Kotrbatý, Jiří ; Kolesár, Libor (vedoucí práce) ; Schierová, Michaela (oponent)
Tato práce je zaměřena na popis zajištění kontroly kvality molekulárně-biologických metod používaných v transplantační medicíně, tedy metod HLA typizace. Kontrola kvality je součástí systému řízení kvality. Skládá se z několika prvků: validace, verifikace, interní kontrola kvality a externí hodnocení kvality. Každá zdravotnická laboratoř, včetně laboratoří zabývajících se HLA typizací, musí mít tyto prvky aplikovány do svého rutinního provozu. Validace se provádí před zavedením metody a ověřuje, zda je metoda vhodná pro zamýšlené použití. Verifikace je ověření, že validovanou metodu používáme správně v podmínkách laboratoře. Vnitřní kontrola kvality spočívá v analýze známých pozitivních a negativních vzorků a hodnotí přesnost a preciznost celého analytického procesu. V rámci externího hodnocení kvality se analyzují různé laboratoře stejný vzorek a jejich výsledky jsou vůči sobě porovnávány. Klíčová slova: HLA typizace, validace, verifikace, interní kontrola kvality, externí hodnocení kvality
User-Defined XML-to-Relational Mapping
Kohan, Tomáš ; Mlýnková, Irena (vedoucí práce) ; Nečaský, Martin (oponent)
V předložené práci studujeme možnosti mapovaní XML dat do relačních systémů. V první části popíšeme základní termíny používané v práci a následně také základní techniky pro mapování XML dat do relačních databází. V další části se budeme zabívat teoretickými metodami jako MXM a ShreX, které byly navrženy na akademické půde. V třetí části popíšeme metody mapování, které jsou použité v některých komerčních systémech jako Oracle, DB2 a MS SQL. V druhé polovině práce navrhneme novou mapovací metodu (XRM), která přinese několik nových vlastností s tím, že původní pozitivní vlastnosti zústanou zachovány. V záveru rozebereme prototypovou implmentaci navrhované mapovací metody.
Presenting results of software model checker via debugging interface
Kohan, Tomáš ; Šerý, Ondřej (vedoucí práce) ; Jančík, Pavel (oponent)
Název práce: Prezentace výsledků kontroly softwarového modelu skrz ladící rozhraní Autor: Tomáš Kohan Katedra: Katedra softwarového inženýrství Vedoucí diplomové práce: RNDr. Ondřej Šerý, Ph.D., Katedra distribuovaných a spolehlivých systémů Abstrakt: Cílem této práce je navrhnout a implementovat nové ladící rozhraní programu Java PathFinder. Vhodným prostředím pro toto rozhraní byl zv- olen vývojový nástroj Eclipse. Vytvořené rozhraní graficky vizualizuje výstupy programu JPF a jednotlivé detaily stavu pozastaveného virtuálního stroje (JVM), zvláště pak seznam proměnných a jejich hodnot. Za tímto účelem jsou vytvořeny dva podprojekty, a to debug4jpg a JPFDeb.core. Projekt debug4jpf kontroluje a komunikuje s instancí JPF. JPFDeb.core pak ve formě zásuvného modulu pro Eclipse poskytuje takové uživatelské rozhraní, které je podobné standardnímu rozhraní ladícího programu pro Javu. Oba projekty mezi sebou komunikují přes ad hoc komunikační protokol, který byl navržen pro tento účel. Klíčová slova: Java, verifikace, kontrola modelu, JPF, ladící rozhraní
Ověřování asercí kódu pomocí zpětné symbolické exekuce
Husák, Robert ; Kofroň, Jan (vedoucí práce) ; Parízek, Pavel (oponent)
Pro prevenci, odhalování a opravování chyb v softwaru existuje celá řada nástrojů pro programátory, přičemž některé z nich umožňují pracovat přímo se sémantikou programu. V případě jazyka C# jsou hlavními zástupci Microsoft FxCop, Code Contracts a Pex. Použití těchto nástrojů může velkou měrou přispět k vysoké spolehlivosti programů. Jejich úplné zapojení do procesu vývoje software ve firmách je bohužel značně náročné na prostředky. Z tohoto důvodu jsme vytvořili AskTheCode, zjednodušený nástroj pro verifikaci asercí kódu. Jeho hlavním účelem je pomoci uživateli s jedním konkrétním problémem, který v daném okamžiku řeší. Vzhledem k tomuto přístupu jsme jej implementovali pomocí zpětné symbolické exekuce. Přestože je momentálně schopen pracovat pouze se základními konstrukty a typy jazyka C#, srovnání s existujícími nástroji ukázalo, že při dalším rozvoji má potenciál poskytnout uživateli významnou přidanou hodnotu. Powered by TCPDF (www.tcpdf.org)
Modely a simulace pochodů bezemisního kolového nakladače s elektrickým pohonem
Cieslar, Filip ; Nevrlý, Josef (oponent) ; Němec, Zdeněk (vedoucí práce)
Tato diplomová práce se zabývá tvorbou modelů simulující pochody bezemisního kolového nakladače, který vznikl přestavbou původní verze se spalovacím motorem. Součástí práce je metodická tvorba modelů od základních částí stroje po zjednodušený model celkového stroje, jeho funkčního ověření a kalibrace na základě dostupných informací a měření. V průběhu práce jsou vybrané parametry celkového modelu stroje verifikovány na základě provedených měření, dále je ověřena vhodnost zvolených komponent a taky je provedena optimalizace a úpravy modelu na základě verifikace. Cílem práce je představení simulačního a verifikačního postupu a jeho praktického využití ve vývoji bezemisního kolového nakladače na elektricky pohon.
Implementace systému VERICUT do technologického procesu výroby
Gerbel, Jakub ; Fiala, Zdeněk (oponent) ; Slaný, Martin (vedoucí práce)
Tématem této bakalářské práce je implementace verifikačního systému VERICUT do procesu výroby ve spolupráci se společností JHV Engineering. Na základě teoretického rozboru je provedena praktická část. Proběhlo vymodelování 3D modelu obráběcího CNC centra v systému Creo Parametric a sestavení jeho kinematiky v prostředí systému vericut. Byla provedena simulace a následná výroba fyzické součásti. Po vyhodnocení výsledků se ukázalo, že mezi simulací a reálným procesem dochází k určitým odchylkám. Při vytvoření takovéto přesné virtuální kopie stroje, nebo-li digitálního dvojčete, lze eliminovat kolizní stavy a efektivněji plánovat výrobu.
Hydraulická analýza vodovodní sítě obce Ostopovice
Jaroš, Zdeněk ; Sucháček, Tomáš (oponent) ; Ručka, Jan (vedoucí práce)
Práce je zaměřena na hydraulickou analýzu vodovodní sítě obce Ostopovice, okres Brno-venkov. V rámci práce byl proveden terénní průzkum spotřebiště a následně vytvořen podrobný kvazidynamický hydraulický simulační model vodovodní sítě. Sestavený hydraulický model byl následně kalibrován a verifikován na základě měření hydraulických veličin na vodovodní síti. V modelu jsou simulovány charakteristické provozní stavy vodovodu. S využitím výsledků hydraulické analýzy byly posouzeny tlakové poměry s ohledem na stávající rozsah a typ zástavby, zohledňuje se také výhledový rozsah zástavby v návaznosti na platný územní plán obce. Součástí práce jsou také navržená opatření vedoucí k optimalizaci tlakových poměrů ve vodovodní síti obce Ostopovice.
Penetrační testy systému pro verifikaci řečníka
Nguyen, QuangTrang ; Rohdin, Johan Andréas (oponent) ; Plchot, Oldřich (vedoucí práce)
Cílem bakalářské práce je návrhnout sadu penetračních testů pro verifikaci řečníka s použítím syntézy řeči a dostupných nahrávek cílových mluvčí. Práce zahrnuje studium problematiky pro syntézu řeči, verifikace řečníka a metod pro spoofing se kterými můžeme setkat. Před samotným návrhem testovací sady je popsán systém a jeho komponenty, který byl použít v této práci. V posledních kapitolách práce je uveden popis návrhu testovacích sad a způsob realizace testů. Na závěru jsou vyhodnoceny výsledky a je odpovězeno na otázku, zda je možné prolomit systém pro verfikaci řečníka s využitím metody pro syntézu řeči.
Non-Parallel Voice Conversion
Brukner, Jan ; Plchot, Oldřich (oponent) ; Černocký, Jan (vedoucí práce)
Voice conversion (VC) aims at converting the voice of source speaker to the voice of target speaker. It is popular in funny Internet videos but has also series of serious use cases, such as dubbing of audiovisual material and anonymization of voice (for example for witness protection). As it can serve for spoofing of voice identification systems, it is also an important tool for development spoofing detectors and counter-measures.     Training VC models has mainly been on parallel audios (ie. two speakers uttering the same text) and on high quality audio material. The goal of this thesis was to investigate developing VC on non-parallel data and with low quality signals, mainly from publicly available dataset VoxCeleb.  This work follows the state-of-the-art AutoVC architecture defined by Qian et al. It is based on neural network (NN) autoencoders, aiming to separate speech into content- and speaker-dependent embedding. The target speech is then obtained by replacing source speaker embedding by the target speaker one. We have improved Qian's architecture to process low-quality audio by experimenting with different speaker embeddings (d-vectors vs. x-vectors), introducing a speaker classifier from content embeddings in an adversarial setup, and tuning the size of content embeddings imposing an information bottleneck to the autoencoder. Also, we have defined another adversarial architecture by comparing original content embeddings with those obtained after the VC process. The results of experiments prove that non-parallel VC on low-quality data is indeed doable. The resulting audios were not so good as in case of using high-quality ones, but the speaker verification results after spoofing by proposed system have clearly shown a shift of voice characteristics toward the target speakers.
Vliv ABS na chování vozidla
Zich, Jakub ; Šimek, Václav (oponent) ; Strnadel, Josef (vedoucí práce)
Bakalářská práce se zabývá systémem ABS (Anti-lock braking system) a jeho vlivem na délku brzdné dráhy vozidla. Práce obsahuje rešerši k tomuto problému, přehled vhodných modelovacích prostředků, návrh řešení, jeho implementaci v modelovacím nástroji UPPAAL a testy prováděné s modelem. Testy zkoumají průběh vývoje základních veličin spojených s brzděním (rychlost, brzdná dráha, skluz, úhlová rychlost, koeficient tření) v simulacích nouzového brzdění s použitím systému ABS a bez něj, a výsledky porovnávají. Taktéž ověřují pravděpodobnost, že vozidlo zastaví v různých podmínkách za danou vzdálenost. V neposlední řadě umí model simulovat poruchu brzd či brzdových čidel a výsledky těchto simulací je možné porovnávat se simulacemi bez poruchy.

Národní úložiště šedé literatury : Nalezeno 110 záznamů.   předchozí11 - 20dalšíkonec  přejít na záznam:
Chcete být upozorněni, pokud se objeví nové záznamy odpovídající tomuto dotazu?
Přihlásit se k odběru RSS.