<div><div>In the forensic science community, there is a vast need for tools to help assist investigations when standard DNA profiling methods are uninformative. Methods such as Forensic DNA Phenotyping (FDP) and proteomics aims to help this problem and provide aid in investigations when other methods have been exhausted. FDP is useful by providing physical appearance information, while proteomics allows for the examination of difficult samples, such as hair, to infer human identity and ancestry. To create a “biological eye witness” or develop informative probability of identity match statistics through proteomically inferred genetic profiles, it is necessary to constantly strive to improve these methods. </div><div><br></div><div>Currently, two developmentally validated FDP prediction assays, ‘HIrisPlex’ and ‘HIrisplex-S’, are used on the capillary electrophoresis to develop a phenotypic prediction for eye, hair, and skin color based on 41 variants. Although highly useful, these assays are limited in their ability when used on the CE due to a 25 variant per assay cap. To overcome these limitations and expand the capacities of FDP, we successfully designed and validated a massive parallel sequencing (MPS) assay for use on both the ThermoFisher Scientific Ion Torrent and Illumina MiSeq systems that incorporates all HIrisPlex-S variants into one sensitive assay. With the migration of this assay to an MPS platform, we were able to create a semi-automated pipeline to extract SNP-specific sequencing data that can then be easily uploaded to the freely accessible online phenotypic prediction tool (found at https://hirisplex.erasmusmc.nl) and a mixture deconvolution tool with built-in read count thresholds. Based on sequencing reads counts, this tool can be used to assist in the separation of difficult two-person mixture samples and outline the confidence in each genotype call.<br></div><div><br></div><div>In addition to FDP, proteomic methods, specifically in hair protein analysis, opens doors and possibilities for forensic investigations when standard DNA profiling methods come up short. Here, we analyzed 233 genetically variant peptides (GVPs) within hair-associated proteins and genes for 66 individuals. We assessed the proteomic methods ability to accurately infer and detect genotypes at each of the 233 SNPs and generated statistics for the probability of identity (PID). Of these markers, 32 passed all quality control and population genetics criteria and displayed an average PID of 3.58 x 10-4. A population genetics assessment was also conducted to identify any SNP that could be used to infer ancestry and/or identity. Providing this information is valuable for the future use of this set of markers for human identification in forensic science settings. </div></div><div><br></div>

This master's thesis addresses processing of flow monitoring records from a point of view of an IPFIX collector. It analysis the current solution of the modular collector, which went through considerable historical development, and focuses on revealing its strengths and weaknesses. Based on acquired knowledge, a new collector is designed. The new solution, which significantly modifies individual components for processing of flow records, focuses on high throughput and adds missing functionalities. The document also compares performance of both generations and the new collector clearly dominates.

Diploma thesis deals with sanitation installations and gas installations in polyfunctional building in Miroslav. Polyfunctional building has four overground floors and one basement. The apartments are located on all overground floors and the offices are located on first over-ground floors. In the theoretical part discusses about the recycling of water and its use.

Předmětem dizertační práce je návrh nových technik pro verifikaci hardwaru, které jsou optimalizovány pro použití v procesu souběžného vývoje hardwaru a softwaru. V rámci tohoto typu vývoje je hardware spolu se software vyvíjen paralelně s cílem urychlit vývoj nových systémů. Současné nástroje pro tvorbu mikroprocesorů stavějící na tomto stylu vývoje obvykle umožňují vývojářům ověřit jejich návrh využitím různých simulačních technik a/nebo za pomoci tzv. funkční verifikace. Společnou nevýhodou těchto přístupů je, že se zaměřují pouze na hledání chyb. Výsledný produkt tedy může stále obsahovat nenalezené netriviální defekty. Z tohoto důvodu se v posledních letech stává stále více žádané nasazení formálních metod. Na rozdíl od výše uvedených přístupů založených na hledání chyb, se formální verifikace zaměřuje na dodání rigorózního důkazu, že daný systém skutečně splňuje požadované vlastnosti. I když bylo v uplynulých letech v této oblasti dosaženo značného pokroku, tak aktuální formální přístupy nemají zdaleka schopnost plně automaticky prověřit všechny relevantní vlastnosti verifikovaného návrhu bez výrazného a často nákladného zapojení lidí v rámci verifikačního procesu. Tato práce se snaží řešit problém s automatizací verifikačního procesu jejím zaměřením na verifikační techniky, ve kterých je záměrně kladen menší důraz na jejich přesnost a obecnost, za cenu dosažení plné automatizace (např. vyloučením potřeby ručně vytvářet modely prostředí). Dále se práce také zaměřuje na efektivitu navrhovaných technik a jejich schopnost poskytovat nepřetržitou zpětnou vazbu o verifikačním procesu (např. v podobě podání informace o aktuálním stavu pokrytí). Zvláštní pozornost je pak věnována vývoji formálních metod ověřujících ekvivalenci návrhů mikroprocesorů na různých úrovních abstrakce. Tyto návrhy se mohou lišit ve způsobu, jakým jsou vnitřně zpracovány programové instrukce, nicméně z vnějšího pohledu (daného např. obsahem registrů viditelných z pozice programátora) musí být jejich chování při provádění stejného vstupního programu shodné. Kromě těchto témat se práce také zabývá problematikou návrhu metod pro verifikaci správnosti mechanismů zabraňujících výskytu datových a řídících hazardů v rámci linky zřetězeného zpracování instrukcí. Veškeré metody popsané v této práci byly implementovány ve formě několika nástrojů. Aplikací těchto nástrojů pro verifikaci návrhů netriviálních procesorů bylo dosaženo slibných experimentálních výsledků.

This master thesis deals with the construction design of two different pipeline drag chain conveyors for transport of wheat and sewage sludge. The first part describes the operation principle and the main parts of this conveyor. The examples of designs from several manufacturers follow. Next part is devoted to determining the resistance to movement in individual sections of the transport route. Thesis continues with design proposals of both variants of conveyors, including suitable technological and strength calculations. The outputs of this work are also assembly drawings of these two conveyors.

This thesis explores the topic of flow of two immiscible liquids in horizontal pipeline. For this purpose, the experimental apparatus has been set up, that allows to observe the flow of mixture through the transparent pipe. Moderately viscous oil and water (viscosity ratio: 52,81, density ratio: 0.86, interfacial tension: 41,64 mN/m) have been chosen for the experiment. Both fluids were introduced into the pipe through a T-junction. At the end of the apparatus, a mixture of liquids flowed into the separation tank, where both phases were separated. The separated oil was then reused for further measurements. The oil and water flow rates could be individually changed by use control valves, that led to identification of different flow regimes. These varied from stratified flows to fully dispersed ones as the mixture speed increased. All observed flow regimes were plotted in the flow map, that is a function of the inlet velocities of both fluids. For further analysis, a second type of flow map has been created that displays rates as a function of mixture velocity and phase volume fraction. Selected regime was also simulated using software ANSYS FLUENT. The VOF method was used to simulate multiphase flow. This thesis critically evaluates the results of the study and shows the direction for further research in the field of immiscible liquids flow.

The master thesis deals with the design, tracing and dimensioning of condensate pipeline. In the beginning, a preliminary calculation of heat balance is done. It is followed by a description of the main condensate system supplemented by the computational design of pipeline and the calculation of pressure losses in this pipeline. The crucial part of the thesis is the calculation of pressure losses, which is done in two ways. The first approach to calculation of pressure losses in the pipeline is calculated using values of representative resistance coefficient for pipe ele-ments using Idelchik literature and for individual types of valves using values from datasheets of Siemens Energy suppliers. In the second approach to calculation representative resistance coefficients for pipe elements and individual types of valves CRANE literature are used. Then both approaches of choosing representative resistance coefficients are compared and evaluated. Based on the calculated values, a suitable pump is selected at the end of the master thesis.

Táto práca sa zaoberá návrhom a implementáciou nástroja, ktorý umožní používať klasické 3D OpenGL aplikácie na tzv. autostereoskopických displayoch s plným využitím ich hĺbkových možností a s minimálnym zásahom od užívateľa. Nástrojom je konverzná vrstva, ktorá umožní transparentne beh OpenGL aplikácií s interným rozšírením o vykreslenie z viacerých pohľadov vo formáte, vhodnom pre 3D display. Motiváciou tejto diplomovej práce je potenciálne rozšírenie tzv. autostereskopických displayov, ktoré je v súčasnosti závislé na cene a dostupnosti špecializovaných aplikácií pre tieto displaye. Text práce sa zaoberá dizajnom takejto vrstvy z pohľadu nutných API volaní, ktoré je potrebné korektne prepísať, aby aplikácie, vytvorené pomocou jednotlivých verzii štandardu OpenGL, pracovali správne, ako aj popisom problémov, ktoré vznikajú použitím rôznych vykreslovacích techník, a ktoré sú motiváciou pre komplexnejšie chovanie nástroja. Na záver práce sú ukážky konverzie programov, dopad na výkonnosť, ako aj identifikácia nedostatkov konverznej vrstvy s návrhmi možných riešení pre ďalší vývoj.

The thesis deals with the topic of the Sanitation installations and gas installations in a gym. The core element of the theoretical part is the water saving while using the economical fixture in the building. The following point is the financial estimation. The thesis also deals with various options of solving the scheduled specialisation. Here, the two ways of proportioning and two ways of mixing the hot water for taking a shower are described in detail. The project part is trying to solve the sanitary technical and gas pipeline in a gym in the chosen version.

The diploma thesis deals with the problematics of both health and technical installations in a residential building in the city of Brno. The theoretical part deals with the analysis of the topic with particular focus on the problematics of thermal losses within the pipeline. The thesis also focuses on various possibilities of protection of the pipeline and reduction of the thermal losses. The project part of the thesis deals with both health and technical installations in the particular building within the chosen option. The concerned building is constructed in the form of cascades consisting of five floors above the ground level and one underground floor which serves as a parking lot for the cars of the building residents.