|
Optimalization of material flow in automotive industry
Kolář, Tomáš ; Jirsák, Petr (advisor) ; Vinš, Marek (referee)
This master thesis is focussed on optimalization of material flow in an automotive company. First part introduce theoretical background. Automotive industry and its actual trends on global markets. Follows short introduction of the company where project of this thesis was executed. Main theoretical part describes concept of lean management, its tools in practical examples, but it is also focussed on philosophical approach to the work and mindset of the company. Follows the aplication part based on theoretical background. The whole project of this master thesis is focussed on specific area called PC store. At first this area is showed in context of overall material flow. Shortly there are introduced processes and areas where full material packaging flows. Follows deeper analysis and optimalization of PC store itself. There are three approaches of stock and lead time reduction applied. Last part shows the comparison of initial and future state including performed changes.
|
|
Developing open approach to mathematics in future primary school teachers
Samková, L. ; Tichá, Marie
In our contribution we focus on the possibility to develop open approach to mathematics in future primary school teachers during a university course on mathematics conducted in inquiry-based manner. We analyse data obtained in the beginning and in the end of the course with respect to two main aspects related to open approach to mathematics: searching for all solutions of a task, and acceptance of different forms of notation of a given solution. Data analysis revealed in the participants three different shifts towards open approach to mathematics, and showed that after the active participation in the course each of the participants improved at least in one of the monitored aspects, and that none of the participants got worse in any of the aspects.
|
|
Effect of snowpack on runoff generation during rain on snow event.
Juras, Roman ; Máca, Petr (advisor) ; Ladislav , Ladislav (referee)
During a winter season, when snow covers the watershed, the frequency of rain-on-snow (ROS) events is still raising. ROS can cause severe natural hazards like floods or wet avalanches. Prediction of ROS effects is linked to better understanding of snowpack runoff dynamics and its composition. Deploying rainfall simulation together with hydrological tracers was tested as a convenient tool for this purpose. Overall 18 sprinkling experiments were conducted on snow featuring different initial conditions in mountainous regions over middle and western Europe.
Dye tracer brilliant blue (FCF) was used for flow regime determination, because it enables to visualise preferential paths and layers interface. Snowpack runoff composition was assessed by hydrograph separation method, which provided appropriate results with acceptable uncertainty. It was not possible to use concurrently these two techniques because of technical reasons, however it would extend our gained knowledge. Snowmelt water amount in the snowpack runoff was estimated by energy balance (EB) equation, which is very efficient but quality inputs demanding. This was also the reason, why EB was deployed within only single experiment.
Timing of snowpack runoff onset decrease mainly with the rain intensity. Initial snowpack properties like bulk density or wetness are less important for time of runoff generation compared to the rain intensity. On the other het when same rain intensity was applied, non-ripe snowpack featuring less bulk density created runoff faster than the ripe snowpack featuring higher bulk density. Snowpack runoff magnitude mainly depends on the snowpack initial saturation. Ripe snowpack with higher saturation enabled to generate higher cumulative runoff where contributed by max 50 %. In contrary, rainwater travelled through the non-ripe snowpack relatively fast and contributed runoff by approx. 80 %.
Runoff prediction was tested by deploying Richards equation included in SNOWPACK model. The model was modified using a dual-domain approach to better simulate snowpack runoff under preferential flow conditions. Presented approach demonstrated an improvement in all simulated aspects compared to the more traditional method when only matrix flow is considered.
|
|
Design of Experiment for Non-Stationary Processes of Production
Jadrná, Monika ; Macák, Tomáš (advisor)
The doctoral thesis is concerned with the services sector and the area of mass production. Particularly, the optimization of the product portfolio of the travel agency and the optimization of production rounds of ammunition.
The theoretical part deals with the current overview of discussed topic. Further, the terminology and methods of the decision-making process are defined to support decision making. The theoretical basis of research focused on the choice of appropriate input variables in the area of services, and on the choice of a particular material option in the production area and appropriate equipment for the production. The theoretical part forms the basis for the practical part of the thesis.
For the doctoral thesis was chosen an enterprise operating in the defined sector. Product portfolio for the services sector is optimised using Fuzzy logic and Fuzzy sets so that the enterprise can maintain its competitiveness in todays highly ambitious market. Product portfolio for manufacture is optimised for achieving desired properties of the product.
The main aim of the thesis is to propose a new methodological approach for the management of selected business processes in their nonstationary time course. The aim of the practical implementation is to verify the functionality of the proposed methodological approach, both in the area of services and in the field of mass production.
|
|
Predicting asp and pikeperch recruitment in a riverine redervoir.
BLABOLIL, Petr
Recruitment of two species, asp (Leuciscus aspius) and pikeperch (Sander lucioperca), in a riverine reservoir was studied using a novel statistical approach. Both species are piscivorous and are stocked into reservoirs for biomanipulative purposes to reduce planktivore species. Long-term data series were used, but the number of potential predictors was high. Therefore, a novel informative statistical approach based on dimension reduction methods was applied. Quality of outputs was driven by sampling methods. Main factors affecting asp recruitment were zooplankton abundance, predator density and temperature. In terms of pikeperch fry measured with seine and trawls, the number of predators was the only important factor. Gillnets underestimate small fish and the data were unsuitable for statistical modelling.
|
|
Packet Classification Algorithms
Puš, Viktor ; Lhotka,, Ladislav (referee) ; Dvořák, Václav (advisor)
Tato práce se zabývá klasifikací paketů v počítačových sítích. Klasifikace paketů je klíčovou úlohou mnoha síťových zařízení, především paketových filtrů - firewallů. Práce se tedy týká oblasti počítačové bezpečnosti. Práce je zaměřena na vysokorychlostní sítě s přenosovou rychlostí 100 Gb/s a více. V těchto případech nelze použít pro klasifikaci obecné procesory, které svým výkonem zdaleka nevyhovují požadavkům na rychlost. Proto se využívají specializované technické prostředky, především obvody ASIC a FPGA. Neméně důležitý je také samotný algoritmus klasifikace. Existuje mnoho algoritmů klasifikace paketů předpokládajících hardwarovou implementaci, přesto však tyto přístupy nejsou připraveny pro velmi rychlé sítě. Dizertační práce se proto zabývá návrhem nových algoritmů klasifikace paketů se zaměřením na vysokorychlostní implementaci ve specializovaném hardware. Je navržen algoritmus, který dělí problém klasifikace na jednodušší podproblémy. Prvním krokem je operace vyhledání nejdelšího shodného prefixu, používaná také při směrování paketů v IP sítích. Tato práce předpokládá využití některého existujícího přístupu, neboť již byly prezentovány algoritmy s dostatečnou rychlostí. Následujícím krokem je mapování nalezených prefixů na číslo pravidla. V této části práce přináší vylepšení využitím na míru vytvořené hashovací funkce. Díky použití hashovací funkce lze mapování provést v konstantním čase a využít při tom pouze jednu paměť s úzkým datovým rozhraním. Rychlost tohoto algoritmu lze určit analyticky a nezávisí na počtu pravidel ani na charakteru síťového provozu. S využitím dostupných součástek lze dosáhnout propustnosti 266 milionů paketů za sekundu. Následující tři algoritmy uvedené v této práci snižují paměťové nároky prvního algoritmu, aniž by ovlivňovaly rychlost. Druhý algoritmus snižuje velikost paměti o 11 % až 96 % v závislosti na sadě pravidel. Nevýhodu nízké stability odstraňuje třetí algoritmus, který v porovnání s prvním zmenšuje paměťové nároky o 31 % až 84 %. Čtvrtý algoritmus kombinuje třetí algoritmus se starším přístupem a díky využití několika technik zmenšuje paměťové nároky o 73 % až 99 %.
|
|
Relational Verification of Programs with Integer Data
Konečný, Filip ; Bouajjani, Ahmed (referee) ; Jančar, Petr (referee) ; Vojnar, Tomáš (advisor)
Tato práce představuje nové metody pro verifikaci programů pracujících s neomezenými celočíslenými proměnnými, konkrétně metody pro analýzu dosažitelnosti a~konečnosti. Většina těchto metod je založena na akceleračních technikách, které počítají tranzitivní uzávěry cyklů programu. V práci je nejprve představen algoritmus pro akceleraci několika tříd celočíselných relací. Tento algoritmus je až o čtyři řády rychlejší než existující techniky. Z teoretického hlediska práce dokazuje, že uvažované třídy relací jsou periodické a~poskytuje tudíž jednotné řešení prolému akcelerace. Práce dále představuje semi-algoritmus pro analýzu dosažitelnosti celočíselných programů, který sleduje relace mezi proměnnými programu a~aplikuje akcelerační techniky za účelem modulárního výpočtu souhrnů procedur. Dále je v práci navržen alternativní algoritmus pro analýzu dosažitelnosti, který integruje predikátovou abstrakci s accelerací s cílem zvýšit pravděpodobnost konvergence výpočtu. Provedené experimenty ukazují, že oba algoritmy lze úspěšně aplikovat k verifikaci programů, na kterých předchozí metody selhávaly. Práce se rovněž zabývá problémem konečnosti běhu programů a~dokazuje, že tento problém je rozhodnutelný pro několik tříd celočíselných relací. Pro některé z těchto tříd relací je v práci navržen algoritmus, který v polynomiálním čase vypočítá množinu všech konfigurací programu, z nichž existuje nekonečný běh. Tento algoritmus je integrován do metody, která analyzuje konečnost běhů celočíselných programů. Efektivnost této metody je demonstrována na několika netriviálních celočíselných programech.
|
|
Acceleration Methods for Evolutionary Design of Digital Circuits
Vašíček, Zdeněk ; Miller, Julian (referee) ; Zelinka,, Ivan (referee) ; Sekanina, Lukáš (advisor)
Ačkoliv můžeme v literatuře nalézt řadu příkladů prezentujících evoluční návrh jakožto zajímavou a slibnou alternativu k tradičním návrhovým technikám používaným v oblasti číslicových obvodů, praktické nasazení je často problematické zejména v důsledku tzv. problému škálovatelnosti, který se projevuje např. tak, že evoluční algoritmus je schopen poskytovat uspokojivé výsledky pouze pro malé instance řešeného problému. Vážný problém představuje tzv. problém škálovatelnosti evaluace fitness funkce, který je markantní zejména v oblasti syntézy kombinačních obvodů, kde doba potřebná pro ohodnocení kandidátního řešení typicky roste exponenciálně se zvyšujícím se počtem primárních vstupů. Tato disertační práce se zabývá návrhem několika metod umožňujících redukovat problem škálovatelnosti evaluace v oblasti evolučního návrhu a optimalizace číslicových systémů. Cílem je pomocí několika případových studií ukázat, že s využitím vhodných akceleračních technik jsou evoluční techniky schopny automaticky navrhovat inovativní/kompetitivní řešení praktických problémů. Aby bylo možné redukovat problém škálovatelnosti v oblasti evolučního návrhu číslicových filtrů, byl navržen doménově specifický akcelerátor na bázi FPGA. Tato problematika reprezentuje případ, kdy je nutné ohodnotit velké množství trénovacích dat a současně provést mnoho generací. Pomocí navrženého akcelerátoru se podařilo objevit efektivní implementace různých nelineárních obrazových filtrů. S využitím evolučně navržených filtrů byl vytvořen robustní nelineární filtr implusního šumu, který je chráněn užitným vzorem. Navržený filtr vykazuje v porovnání s konvenčními řešeními vysokou kvalitu filtrace a nízkou implementační cenu. Spojením evolučního návrhu a technik známých z oblasti formální verifikace se podařilo vytvořit systém umožňující výrazně redukovat problém škálovatelnosti evoluční syntézy kombinačních obvodů na úrovni hradel. Navržená metoda dovoluje produkovat komplexní a přesto kvalitní řešení, která jsou schopna konkurovat komerčním nástrojům pro logickou syntézu. Navržený algoritmus byl experimentálně ověřen na sadě několika benchmarkových obvodů včetně tzv. obtížně syntetizovatelných obvodů, kde dosahoval v průměru o 25% lepších výsledků než dostupné akademické i komerční nástroje. Poslední doménou, kterou se práce zabývá, je akcelerace evolučního návrhu lineárních systémů. Na příkladu evolučního návrhu násobiček s vícenásobnými konstantními koeficienty bylo ukázáno, že čas potřebný k evaluaci kandidátního řešení lze výrazně redukovat (defacto na ohodocení jediného testovacího vektoru), je-li brán v potaz charakter řešeného problému (v tomto případě linearita).
|
|
Stability and convergence of numerical computations
Sehnalová, Pavla ; Dalík, Josef (referee) ; Horová, Ivana (referee) ; Kunovský, Jiří (advisor)
Tato disertační práce se zabývá analýzou stability a konvergence klasických numerických metod pro řešení obyčejných diferenciálních rovnic. Jsou představeny klasické jednokrokové metody, jako je Eulerova metoda, Runge-Kuttovy metody a nepříliš známá, ale rychlá a přesná metoda Taylorovy řady. V práci uvažujeme zobecnění jednokrokových metod do vícekrokových metod, jako jsou Adamsovy metody, a jejich implementaci ve dvojicích prediktor-korektor. Dále uvádíme generalizaci do vícekrokových metod vyšších derivací, jako jsou např. Obreshkovovy metody. Dvojice prediktor-korektor jsou často implementovány v kombinacích modů, v práci uvažujeme tzv. módy PEC a PECE. Hlavním cílem a přínosem této práce je nová metoda čtvrtého řádu, která se skládá z dvoukrokového prediktoru a jednokrokového korektoru, jejichž formule využívají druhých derivací. V práci je diskutována Nordsieckova reprezentace, algoritmus pro výběr proměnlivého integračního kroku nebo odhad lokálních a globálních chyb. Navržený přístup je vhodně upraven pro použití proměnlivého integračního kroku s přístupe vyšších derivací. Uvádíme srovnání s klasickými metodami a provedené experimenty pro lineární a nelineární problémy.
|
|
Extensions to Probabilistic Linear Discriminant Analysis for Speaker Recognition
Plchot, Oldřich ; Fousek, Petr (referee) ; McCree,, Alan (referee) ; Burget, Lukáš (advisor)
Tato práce se zabývá pravděpodobnostními modely pro automatické rozpoznávání řečníka. Podrobně analyzuje zejména pravděpodobnostní lineární diskriminační analýzu (PLDA), která modeluje nízkodimenzionální reprezentace promluv ve formě \acronym{i--vektorů}. Práce navrhuje dvě rozšíření v současnosti požívaného PLDA modelu. Nově navržený PLDA model s plným posteriorním rozložením modeluje neurčitost při generování i--vektorů. Práce také navrhuje nový diskriminativní přístup k trénování systému pro verifikaci řečníka, který je založený na PLDA. Pokud srovnáváme původní PLDA s modelem rozšířeným o modelování neurčitosti i--vektorů, výsledky dosažené s rozšířeným modelem dosahují až 20% relativního zlepšení při testech s krátkými nahrávkami. Pro delší testovací segmenty (více než jedna minuta) je zisk v přesnosti menší, nicméně přesnost nového modelu není nikdy menší než přesnost výchozího systému. Trénovací data jsou ale obvykle dostupná ve formě dostatečně dlouhých segmentů, proto v těchto případech použití nového modelu neposkytuje žádné výhody při trénování. Při trénování může být použit původní PLDA model a jeho rozšířená verze může být využita pro získání skóre v případě, kdy se bude provádět testování na krátkých segmentech řeči. Diskriminativní model je založen na klasifikaci dvojic i--vektorů do dvou tříd představujících oprávněný a neoprávněný soud (target a non-target trial). Funkcionální forma pro získání skóre pro každý pár je odvozena z PLDA a trénování je založeno na logistické regresi, která minimalizuje vzájemnou entropii mezi správným označením všech soudů a pravděpodobnostním označením soudů, které navrhuje systém. Výsledky dosažené s diskriminativně trénovaným klasifikátorem jsou podobné výsledkům generativního PLDA, ale diskriminativní systém prokazuje schopnost produkovat lépe kalibrované skóre. Tato schopnost vede k lepší skutečné přesnosti na neviděné evaluační sadě, což je důležitá vlastnost pro reálné použití.
|
guest ::
