|
Statistické vyhodnocení rozměrového ustavení automobilu pro 3D měření
Čada, Michal ; Jankových, Róbert (oponent) ; Šrámek, Jan (vedoucí práce)
Práce předkládá návrh zlepšení procesu rozměrové kontroly vyrobeného automobilu. Před samotným ověřováním rozměrovosti musí být automobil ustaven – vyrovnán do hlavního výkresového souřadného systému. Zavedený předepsaný způsob geometrického vyrovnání (3 - 2 - 1) na referenční body podvozku už v dnešní době nevyhovuje. Složité vybavení moderních automobilů na podvozkové části brání přístupnosti k těmto bodům. Navrhovaný nový způsob vyrovnání využívá moderní laserové měřící systémy a softwarové vybavení na zpracovávání 3D skenů. Statistickým vyhodnocením naměřených kontrolních veličin na karoserii tato bakalářská práce určuje nejmenší toleranční pásmo, pro které lze tuto navrhovanou metodu použít.
|
|
Automatický hydroponický systém
Borsuk, Adam ; Kolařík, Martin (oponent) ; Číka, Petr (vedoucí práce)
Cieľom bakalárskej práce je preštudovať problematiku návrhu a tvorby automatického hydroponického systému pre pestovanie rastlín a riešiť tvorbu súčastí systému podľa základných podmienok pre rast rastlín a následne ich testovanie a overenie ich vlastností, pri tom vyhodnotiť ich funkčnosť. Druhým cieľom je vytvoriť komunikačné rozhranie pre odosielanie a ukladanie údajov zo systému a zároveň vytvoriť prehľadné zobrazovanie uložených a aktuálnych dát. Tretím cieľom je overiť funkčnosť a stabilitu vybraného mikrokontroléra ako riadiacej jednotky.
|
|
Zpracujte revizi zadaného elektrického zařízení
Lanc, Rudolf ; Mach, Martin (oponent) ; Veselka, František (vedoucí práce)
Revize elektrického zařízení je ověření stavu zařízení z hlediska bezpečnosti. Cílem bakalářské práce je revize vybraného elektrického zařízení. Na vybraném zařízení bude provedena prohlídka, měření, kontroly a zkoušky, které předepisují normy. Na základě zjištěných skutečností bude vystavena revizní zpráva, ve které budou případné nedostatky popsány. Dále budou vysvětlena případná rizika a navržen způsob jejich eliminace.
|
| |
|
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.
|
|
Validace CFD výpočtů s experimentálními daty, metody a jejich přesnost
Uruba, Václav
Validace a verifikace výsledků CFD jsou procesy, které virtuální realitu získanou pomocí daného software přibližují fyzikální realitě. Klíčovou roli v těchto procesech hraje metoda kvantifikace blízkosti různých situací v proudovém poli, tedy metrika, kterou je třeba vhodně zvolit. V procesu verifikace je dále důležitá strategie modifikací numerického modelu, u validace potom kvalita a vhodná volba experimentálních dat, která jsou k validaci použita. Experimentální data jsou dále použita k určení okrajových podmínek pro CFD. Předkládaný příspěvek se zabývá právě těmito aspekty.
|
|
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.
|
|
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.
|