|
|
Webová služba pro analýzu výsledků měření polovodičových součástek
Střálka, Jan ; Peringer, Petr (oponent) ; Kočí, Radek (vedoucí práce)
Cílem této bakalářské práce je navrhnout a implementovat softwarový systém pro zvýšení výstupní kvality distribuovaných čipů pomocí vyřazování potenciálně vadných čipů. Projekt je zpracován pro firmu ON Semiconductor, výrobce polovodičů v Rožnově pod Radhoštěm. Software je psaný v Javě a architektura je založena na modulech s algoritmy, které se aplikují na mapy výsledků měření polovodičových součástek (wafer mapy). Zpracovávání běží na aplikačním serveru Tomcat, aplikace je řízena přes rozhraní webové služby.
|
|
|
Statická analýza programů v C ve Sparse a příbuzných nástrojích
Nagy, Martin ; Peringer, Petr (oponent) ; Vojnar, Tomáš (vedoucí práce)
Softwarová verifikace se postupně stává čím dál tím více důležitou součástí vývoje. Jejím cílem je zajištění kvality výstupního produktu. Navzdory tomuto ale problém psaní dobrých nástrojů pro statickou analýzu často spočívá v nedostatku dobrého front-endu překladače. Tato práce se pokouší analyzovat a zdokumentovat existující nástroj, zvaný Sparse, aby byli vědečtí pracovnící vyzbrojeni stabilním řešením, které jim umožní vyvíjet jejich analyzátory. V neposlední řadě je taky diskutovaný projekt Mygcc a jeho nový přístup k integraci se stávajícími překladači.
|
|
|
Řešení optimalizačních úloh inspirované živými organismy
Popek, Miloš ; Peringer, Petr (oponent) ; Martinek, David (vedoucí práce)
S řešením optimalizačních problémů se setkáváme v každodenním životě, kdy se snažíme zadané úkony provést nejlepším možným způsobem. Ant Colony Optimization je algoritmus inspirovaný chováním mravenců při hledání potravy. Ant Colony Optimization se úspěšně používá na optimalizační úlohy, na které by nebylo možné klasické optimalizační metody použít. Genetický algoritmus je inspirován přenosem genetické informace při křížení. Stejně jako ACO algoritmus se používá pro řešení optimalizačních úloh. Výsledkem mé diplomové práce je vytvořený simulátor pro řešení zvolených optimalizačních úloh pomocí ACO algoritmu a GA a porovnání dosažených výsledků na implementovaných úlohách.
|
|
|
Automatické konfigurování služeb operačního systému
Schiffer, Peter ; Peringer, Petr (oponent) ; Smrčka, Aleš (vedoucí práce)
Tato diplomová práce se zabývá konfigurací operačních systémů, jejich možnostmi a způsoby nastavení. Představuje rozdíly v konfiguraci operačních systémů podle jejich zaměření a pokročilé možnosti konfigurace operačních systémů pomocí aplikací třetích stran. Praktická část diplomové práce se zabývá návrhem nového počítačového jazyka zaměřeného na popis konfigurace operačního systému a jeho služeb. Tento popis konfigurace sloužící na automatickou konfiguraci systémových služeb se překládá na sekvenci konfiguračních příkazů. Výhoda jazyka spočívá v jeho dobré čitelnosti pro člověka, ale podobnost s přirozeným jazykem přináší určitou úroveň nejednoznačnosti. Navrhovaná metoda automatického generování příkazů řeší nejednoznačnost vyhledáváním co nejméně destruktivního řešení v podobě kombinaci konfiguračních příkazů.
|
|
|
Automatická organizace dokumentů v souborovém systému
Sváček, Radim ; Janoušek, Vladimír (oponent) ; Peringer, Petr (vedoucí práce)
Cílem této bakalářské práce je návrh a implementace inteligentního organizátoru dokumentů v souborovém systému. Práce obsahuje přehled již existujících řešení a popis metod klasifikace dokumentů. Součástí je objektově orientovaný návrh aplikace a základních zásuvných modulů. Program je implementován v jazyce C++ s možností rozšiřování další funkčnosti pomocí nových zásuvných modulů. Výsledná aplikace si klade za cíl ulehčit uživateli práci s netříděnými soubory díky jejich organizaci do adresářové struktury na základě informací získaných z těchto dokumentů, včetně jejich metadat.
|
|
|
Simulátor 3D tiskárny
Čillo, Vladimír ; Janoušek, Vladimír (oponent) ; Peringer, Petr (vedoucí práce)
Tato bakalářská práce se zabýva návrhem a implementací simulátoru 3D tiskárny v jazyce C++ s využitím knihovny Qt. Simulátor předpokládá tiskárnu založenou na nejrozšířenější metodě 3D tisku - Fused Deposition Modeling. Vstupem simulátoru je 3D model ve formátu STL. Pro daný 3D model simulátor poskytuje odhad celkové doby tisku. Součástí simulace je také vizualizace procesu 3D tisku. Výsledkem práce je přenositelný program testovaný pod operačními systémy Linux a Windows. Funkčnost simulátoru byla experimentálně ověřena na příkladech.
|
|
|
Rozšíření podpory UNICODE pro základní GNU nástroje
Oprala, Ondrej ; Smrčka, Aleš (oponent) ; Peringer, Petr (vedoucí práce)
Tato práce řeší problém chybějící podpory pro správné zpracováni Unicode vstupu v programech projektu coreutils. Podpora byla implementována pro programy cut, expand, fmt, fold, paste a unexpand. Implementace byla provedena s využitím knihoven libunistring a gnulib. Programy byly řádně otestovány a výkonnostní testy potvrdily že výkon programů je porovnatelný nebo i lepší než u původní implementace.
|
|
|
Nástroj pro kontrolu dodržování UX principů
Kříž, Vítězslav ; Peringer, Petr (oponent) ; Smrčka, Aleš (vedoucí práce)
Cílem této práce je vytvořit nástroj pro automatizované kontrolování správných vlastností uživatelského rozhraní. Součástí práce je seznam pravidel z prostředí GNOME, KDE a OSX, která jsou vhodná k automatické kontrole. Nástroj na pozadí ověřuje prvky uživatelského rozhraní, zatímco uživatel ovládá testovanou aplikaci. Pravidla jsou ohodnocena podle závažnosti a výstupem programu je mimo jiné i výsledné skóre. V závěru práce jsou otestovány běžně dostupné programy. Výsledná aplikace je vhodná pro ověřování grafického uživatelského rozhraní při vývoji.
|
|
|
Vektorová analýza v GIS systémech
Životský, Tomáš ; Peringer, Petr (oponent) ; Hrubý, Martin (vedoucí práce)
Tato diplomová práce pojednává o geografických informačních systémech s důrazem na tzv. vektorovou analýzu. Cílem práce je vytvořit knihovnu, která implementuje vnitřní reprezentaci geografických dat a provádí nad nimi analytické operace. Práce popisuje logickou strukturu aplikace a hierarchii abstraktníchtříd. Formou pseudokódů je předveden soubor jednotlivých výpočetních operací. Práce silně vychází z geografického systému GRASS. Na tento GIS je napojitelná formou importu a exportu vektorových dat ve formátu shapefile . Koncepce ukládání vrstev je navržena pro snadnou manipulaci s daty a jejich přenositelnost.Hlavní myšlenkou aplikace je rozčlenění knihovny do jednotlivýchmodulů. Tyto moduly jsou na sobě nezávislé, zároveň však mohou využívat navzájem své funkce. Závěrem jsou předvedeny implementované vektorové analýzy a~reprezentace jejich výpočtu.
|
|
|
Optimalizační algoritmy v logistických kombinatorických úlohách
Bokiš, Daniel ; Peringer, Petr (oponent) ; Hrubý, Martin (vedoucí práce)
Tato práce se zabývá optimalizačními problémy a především logistickou úlohou Vehicle Routing Problem (VRP). V první části je zaveden pojem optimalizace a jsou představeny nejdůležitější optimalizační problémy. Dále jsou v práci uvedeny metody, kterými je možné tyto problémy řešit. Následně jsou vybrané metody aplikovány na problém VRP a jsou uvedena některá jejich vylepšení. Práce také představuje metodu využívání znalostí předchozích řešení, tedy formu učícího algoritmu. V závěru práce jsou experimentálně optimalizovány parametry jednotlivých metod a ověřen přínos představených vylepšení.
|
host ::
RSS.