|
|
Koncept rychlonabíjecí stanice pro elektromobily s akumulací
Miškovský, Ján ; Morávek, Jan (oponent) ; Mastný, Petr (vedoucí práce)
Predmetom tejto práce je vytvorenie konceptu rýchlonabíjacej stanice s akumuláciou a využitím obnoviteľných zdrojov. V úvodnej časti diplomovej práce je popísaná normou stanovená špecifikácia nabíjania elektromobilu za použitia technológie striedavého alebo jednosmerného prúdu a vytvorený prehľad možností použitia nabíjacích konektorov. Prvá časť taktiež obsahuje prehľad technológie obnoviteľných zdrojov energie s využitím akumulácie pre nabíjaciu stanicu. V druhej časti práce na základe teoretických podkladov je vytvorený matematický model nabíjacej stanice v prostredí Matlab/Simulink. Funkčnosť modelu stanice je verifikovaná s fyzikálnym laboratórnym modelom. Pre overenie možnosti pripojenia stanice k distribučnej sieti je vytvorená simulácia úbytkov napätí v prostredí Matlab/Simulink. Následne v práci sú nasimulované štyri 24 hodinové scenáre. Podľa predpokladov simulácie je navrhnutá technológia stanice a prepojenie jednotlivých komponentov. Následne je vypracovaná energetická a finančná analýza projektu nabíjacej stanice do roku 2030.
|
|
|
Model úloh s omezeními a mechanismů jejich plánování v UPPAAL SMC
Palúch, Filip ; Podivínský, Jakub (oponent) ; Strnadel, Josef (vedoucí práce)
Cieľom je vytvorenie prehľadu mechanizmov plánovania úloh v jednoprocesorovom prostredí. Použitím týchto mechanizmov sú navrhnuté a implementované jednotlivé modely v nástroji UPPAAL, na ktorý sa táto práca orientuje. Výsledkom práce je overenie validity a vlastností mechanizmov získaných na základe implementovania modelov. Na porovnávanie výsledkov z nástroja UPPAAL sú využíté nástroje TimesTool a Cheddar.
|
|
|
Syntéza a verifikace síťové konfigurace
Černeková, Alžbeta ; Veselý, Vladimír (oponent) ; Ryšavý, Ondřej (vedoucí práce)
Predmetom diplomovej práce je problematika konfigurovania sieťových zariadení. Rieši otázku ako zjednodušiť určité časti konfigurácie a zároveň eliminovať časté chyby. Predstavuje riešenie nastavovania IP adries na rozhraniach sieťových zariadení. Ďalej prezentuje generovanie konfigurácie pre určité scenáre dynamického smerovania a jej aplikovanie a metódy na jej verifikáciu na sieťových zariadeniach. Demonštruje tiež vygenerovanie konfigurácie pre nastavenie VPN tunelu medzi dvomi zariadeniami. V závere obsahuje návrhy ďalších možných rozšírení či vylepšení.
|
|
|
Snímání a rozpoznávání 3D podpisu
Molitoris, Miloš ; Dvořák, Michal (oponent) ; Drahanský, Martin (vedoucí práce)
Táto práca sa zaoberá metódami snímania podpisov v 3D priestore, výberom vhodného modelu snímania, získaním dostatočného počtu vzoriek na vytvorenie databázy a nakoniec overovaním podpisov. V prvej časti je spracovaná problematika existujúcich riešení a spôsobov overovania podpisov, ďalej spracovanie obrazu potrebné pre účely snímania markeru v 3D priestore. Nasledujúce časti sú venované návrhu unikátneho riešenia podpisovania sa v priestore perom absenciou akéhokoľvek kontaktu. Boli navrhnuté dva modely snímania a to pomocou kamier alebo senzoru Leap Motion. Aplikácia bola implementovaná nad týmto senzorom a systém overovania dynamických podpisov pomocou algoritmu DTW. Ďalej práca obsahuje popis vytvorenia databázy a experimentálne overenie podpisov. Na konci nájdeme zhodnotenie bezpečnosti a chybovosti systému, ktoré je porovnané s inými metódami. Výsledkom práce je funkčná aplikácia na snímanie a rozpoznávanie 3D podpisov s potenciálom novej bezpečnej techniky podpisovania.
|
|
|
Automatizace verifikace pomocí neuronových sítí
Fajčík, Martin ; Husár, Adam (oponent) ; Zachariášová, Marcela (vedoucí práce)
Úlohou tejto práce je analýza a riešenie optimalizačných problémov vychádzajúcich z automatizácie funkčnej verifikácie hardvéru pomocou umelých neurónových sietí. Verifikácia ľubovoľného integrovaného obvodu (Design Under Verification, DUV) pomocou techniky verifikácie riadenej pokrytím (Coverage-Driven Verification) a metodiky UVM (Universal Verification Methodology) prebieha tak, že do DUV sú zasielané vstupné stimuly, pri ktorých verifikačné prostredie monitoruje percentuálne pokrytie DUV pomocou predom určenej špecifikácie sledovaných vlastností. Pokrytím v tomto kontexte myslíme merateľnú vlastnosť DUV, ako napríklad počet overených aritmetických operácií, či počet aktivovaných riadkov kódu. Na základe dosiahnutej veľkosti pokrytia a stanovenej špecifikácie je možné prehlásiť DUV za zverifikovaný. Súčasným trendom v automatizácii funkčnej verifikácie hardvéru je pseudonáhodné generovanie vstupných stimulov s obmedzeniami (constraints) pomocou techniky constrained-random stimulus generation. V tejto práci sa preto zaoberáme ovládaním pseudonáhodného generátoru stimulov (PNG), pričom obmedzenia pre generátor sú ovládané externým prostriedkom a to konkrétne neurónovou sieťou. Využívame tak vlastnosti neurónových sietí pre riešenie optimalizačných problémov vhodné pre prehľadávanie stavového priestoru pokrytia DUV. Riešenými optimalizačnými problémami sú priebežná úprava obmedzení PNG takým spôsobom, aby došlo k čo najrýchlejšiemu zverifikovaniu DUV a hľadanie najmenšej množiny stimulov takej, že táto množina zverifikuje DUV. Kvalitatívne vlastnosti navrhnutých riešení sú overené na 32-bitových aplikačne špecifických procesoroch (ASIPs) s názvom Codasip uRISC a Codix Cobalt.
|
|
|
Překladač z fragmentu jazyka C do nástroje ARTMC
Marušák, Matej ; Hruška, Martin (oponent) ; Rogalewicz, Adam (vedoucí práce)
S narastajúcou komplexitou softvérových programov je stále viac a viac žiadaná automa- tizovaná analýza a verifikácia týchto programov. Výskumná skupina VeriFIT na Fakulte informačních technologií Vysokého učení technického sa zaoberá výskumom v danej oblasti. Jedným z vytvorených nástrojov v tejto skupine je aj nástroj ARTMC. Táto bakalárska práca navrhuje a implementuje prekladač z podmnožiny jazyka C do vstupného formátu ná- stroja ARTMC. Vytvorený prekladač výrazne uľahčuje prácu s nástrojom ARTMC, nakoľko vstupný formát nie je vhodný na manuálné vytváranie.
|
|
|
Comparison of the determination of hormones (Follicle stimulating hormone, Luteinizing hormone, Prolactin, Testosterone, Progesteron) by two analytical systems. Converting accredited method and its verification.
Kucejová, Soňa ; Martínková, Markéta (vedoucí práce) ; Mrízová, Iveta (oponent)
Analytický systém ARCHITEC i2000SR bol verifikovaný podľa požiadaviek laboratória ÚLBLD VFN a 1. LF UK v Prahe. Ako výkonnostné parametre verifikácie analytických postupov pre testosterón, progesterón, luteinizačný hormón, folikuly stimulujúci hormón a prolaktín boli vyhodnotené opakovateľnosť, medziľahlá precíznosť a neistota merania. Namerané výsledky kontrolných vzoriek Lyphochek sa zhodovali s hodnotami, ktoré uviedol výrobca. Opakovateľnosť: variačné koeficienty testosterónu pre Lyphochek 1 6,81%, pre Lyphochek 3 6,40%, progesterónu 2,4% a 1,8%, luteinizačného hormónu 5,38% a 1,89%, folikuly stimulujúceho hormónu 5,12% a 3,24%, prolaktínu 1,45% a 1,83%. Medziľahlá precíznosť: variačné koeficienty testosterónu pre Lyphochek 1 6,02%, Lyphochek 2 3,60%, Lyphochek 3 3,07%, progesterónu 7,9%, 4,9% a 5,8%, luteinizačného hormónu 4,50%, 5,51% a 5,83%, folikuly stimulujúceho hormónu 4,00%, 3,72% a 4,87%, prolaktínu 4,60%, 4,20% a 5,00%. Neistota merania: testosterón 6,02%, progesterón 7,9%, luteinizačný hormón 5,83%, folikuly stimulujúci hormón 4,87%, prolaktín 5,00%. Analytický systém ARCHITECT i2000SR bol porovnaný s dovtedy používaným systémom ADVIA Centaur, aby sa zistilo či je možné previesť metódy Centaur Testosterón, Progesterón, Luteinizačný hormón, Folikuly stimulujúci hormón a Prolaktín na systém...
|
|
|
Visualization and verification of plans
Glinský, Radoslav ; Barták, Roman (vedoucí práce) ; Dvořák, Filip (oponent)
Názov: Vizualizácia a verifikácia plánov Autor: Radoslav Glinský Katedra: Katedra teoretickej informatiky a matematickej logiky Vedúci bakalárskej práce: Doc. RNDr. Roman Barták, Ph.D. Abstrakt: Analýza plánov je dôležitou sú as ou kompletných plánovacích systémov. Aby smeč ť umožnili užívate omľ orientovať sa aj vo vä ších plánoch, vytvorili sme program, ktorý pomáha s analýzou ač vizualizáciou plánov. Program sa volá VisPlan - Interactive Visualization and Verification of Plans. VisPlan je neoddelite nouľ sú as ouč ť bakalárskej práce, ke že prakticky implementuje jej vizualiza né aď č verifika né riešenia. VisPlan nachádza a zobrazuječ kauzálne väzby medzi akciami, identifikuje možné chyby v pláne (a tak overuje jeho korektnos ), zvýraz uje nájdenéť ň chyby v pláne a umož ujeň užívate om interaktívne modifikova plán, a teda opravi chyby v pláne alebo ho jednoducho vylepši .ľ ť ť ť K úľ ovč é slová: Plánovanie, Umelá inteligencia, PDDL, Verifikácia
|
|
|
Snímání a rozpoznávání 3D podpisu
Molitoris, Miloš ; Dvořák, Michal (oponent) ; Drahanský, Martin (vedoucí práce)
Táto práca sa zaoberá metódami snímania podpisov v 3D priestore, výberom vhodného modelu snímania, získaním dostatočného počtu vzoriek na vytvorenie databázy a nakoniec overovaním podpisov. V prvej časti je spracovaná problematika existujúcich riešení a spôsobov overovania podpisov, ďalej spracovanie obrazu potrebné pre účely snímania markeru v 3D priestore. Nasledujúce časti sú venované návrhu unikátneho riešenia podpisovania sa v priestore perom absenciou akéhokoľvek kontaktu. Boli navrhnuté dva modely snímania a to pomocou kamier alebo senzoru Leap Motion. Aplikácia bola implementovaná nad týmto senzorom a systém overovania dynamických podpisov pomocou algoritmu DTW. Ďalej práca obsahuje popis vytvorenia databázy a experimentálne overenie podpisov. Na konci nájdeme zhodnotenie bezpečnosti a chybovosti systému, ktoré je porovnané s inými metódami. Výsledkom práce je funkčná aplikácia na snímanie a rozpoznávanie 3D podpisov s potenciálom novej bezpečnej techniky podpisovania.
|
|
|
Překladač z fragmentu jazyka C do nástroje ARTMC
Marušák, Matej ; Hruška, Martin (oponent) ; Rogalewicz, Adam (vedoucí práce)
S narastajúcou komplexitou softvérových programov je stále viac a viac žiadaná automa- tizovaná analýza a verifikácia týchto programov. Výskumná skupina VeriFIT na Fakulte informačních technologií Vysokého učení technického sa zaoberá výskumom v danej oblasti. Jedným z vytvorených nástrojov v tejto skupine je aj nástroj ARTMC. Táto bakalárska práca navrhuje a implementuje prekladač z podmnožiny jazyka C do vstupného formátu ná- stroja ARTMC. Vytvorený prekladač výrazne uľahčuje prácu s nástrojom ARTMC, nakoľko vstupný formát nie je vhodný na manuálné vytváranie.
|
host ::
RSS.