Fast signal processing

Zvětšující se množství dat v moderním zpracování obrazu vyžaduje nový postupy v psaní algoritmů. Největší překážkou pro úspěšné zrychlení algoritmu je paralelizace a následná optimalizace. Programy jako CUDA a OpenCL s modifikovaným programovacím jazykem a rozhraním pomáhají s tímto problémem a otevírají paralelní zpracování širšímu okruhu lidí. V této práci zabývám základy zpracování obrazu a tomu jak paralelizace algoritmů může urychlit zpracování obrazu.An increasing amount of data in modern image processing requires a new approach in algorithms. The biggest obstacle for successful speed up of an algorithm is parallelization and subsequent optimization. Architectures like CUDA and OpenCL with modified programing languages and interfaces help to overcome this obstacle and bring parallel computing to a broader audience. In this paper I take a look at basics of image processing and how parallelization can speed up the algorithms in image processing.

Transport systems on the base of magnetic levitation

Import 26/06/2013Předkládaná bakalářská práce se zabývá principy dopravy na bázi magnetické levitace a pohonným systémem tohoto způsobu dopravy. Práce obsahuje možnosti způsobů dosažení magnetické levitace pomocí magnetického pole a zároveň aplikace jednotlivých způsobů v praxi. Podrobněji se zabývá elektromagnetickou levitací, respektive její aplikací v systému Transrapid. Následně je podrobněji rozebrán právě systém Transrapid z pohledu dopravního i z pohledu elektrického pohonu. V závěru práce je uvedeno zhodnocení a prognóza magneticky levitovaných systémů, jejich uplatnění ve světě a dynamika rozvoje tratí, které pracují právě na tomto principu.This bachelor thesis deals with principles of transport systems on the base of magnetic levitation and propulsions system of this way of transport. This thesis contains ways how magnetic levitation can be achieved due to magnetic field and applications of these ways of magnetic levitation in real use. In detail, this thesis describe electromagnetic levitation, or more precisely deals with its application in system Transparid. Subsequently, the system Transrapid is analyzed more thoroughly from transport view and from electric propulsion view.In conclusion, there is an evaluation and prognosis of the magnetic levitating systems, their use in the world and movement of the development of the tracks that work on this princip.420 - Katedra elektrotechnikyvýborn

Co-oxidation kinetic model for the thermal oxidation of polyethylene-unsaturated substrate systems

The thermal oxidation of polyethylene (PE) impregnated by the methyl esters of unsaturated fatty acids (UFEs) was studied using chemiluminescence, and infra-red spectrophotometry. It was shown that the presence of UFEs accelerates the PE aging process. This can be interpreted as a co-oxidation phenomenon. In this study, the previously established models for PE and UFEs self-oxidation have been coupled in order to develop a co-oxidation model. Using the existing rate constants for the PE and UFEs selfoxidations, this model can simulate the complex shape of the kinetic curves of PE-UFE co-oxidatio

Building a 70 billion word corpus of English from ClueWeb

This work describes the process of creation of a 70 billion word text corpus of English. We used an existing language resource, namely the ClueWeb09 dataset, as source for the corpus data. Processing such a vast amount of data presented several challenges, mainly associated with pre-processing (boilerplate cleaning, text de-duplication) and post-processing (indexing for efficient corpus querying using the CQL – Corpus Query Language) steps. In this paper we explain how we tackled them: we describe the tools used for boilerplate cleaning (jusText) and for de-duplication (onion) that was performed not only on full (document-level) duplicates but also on the level of near-duplicate texts. Moreover we show the impact of each of the performed pre-processing steps on the final corpus size. Furthermore we show how effective parallelization of the corpus indexation procedure was employed within the Manatee corpus management system and during computation of word sketches (one-page, automatic, corpus-derived summaries of a word’s grammatical and collocational behaviour) from the resulting corpus

Effective Corpus Virtualization

In this paper we describe an implementation of corpus virtualization within the Manatee corpus management system. Under corpus virtualization we understand logical manipulation with corpora or their parts grouping them into new (virtual) corpora. We discuss the motivation for such a setup in detail and show space and time efficiency of this approach evaluated on a 11 billion word corpus of Spanish

Formální komponentový model pro mobilní architektury

Disertační práce se zabývá modelováním komponentových systémů a formálním popisem jejich chování. Řešení je založeno na vlastním komponentovém modelu, který je popsán meta-modelem, z logického pohledu, a popisem v pi-kalkulu, z procesního pohledu. Je ukázáno, že komponentový model pokrývá dynamické aspekty softwarových architektur včetně mobility jejich komponent. Dále je popsán způsob modelování chování v architekturách orientovaných na služby a přechod ke komponentovým systémům. Chování konkrétní architektury orientované na služby lze pak vyjádřit jako jediný proces v pi-kalkulu. V závěru práce je navržené řešení ověřeno na případové studii prostředí pro testování kritických aplikací. Přínosem disertační práce je zejména zmíněná podpora dynamických architektur a integrace s architekturami orientovanými na služby.In the thesis, we propose an approach to modelling of component-based systems and formal description of their behaviour. The approach is based on a novel component model defined by a metamodel in a logical view and by description in the pi-calculus in a process view. We show that the component model addresses the dynamic aspects of software architectures including the component mobility. Furthermore, we propose a method of behavioural modelling of service-oriented architectures to pass smoothly from service level to component level and to describe behaviour of a whole system, services and components, as a single pi-calculus process. Finally, we illustrate an application of our approach on a case study of an environment for functional testing of complex safety-critical systems. The support of dynamic architecture and the integration with service-oriented architecture compromise the main advantages of our approach.Katedra softwarového inženýrstvíDepartment of Software EngineeringFaculty of Mathematics and PhysicsMatematicko-fyzikální fakult

Analysis of financial security alternatives for retirement

katedra: KPO; rozsah: 95 s., 7 s. přílohThe aim of this work is to analyse the financial security options at retirement age. In the first part a detailed analysis of the state's guaranteed social security as well as different private financial security options will be conducted. The fundamental part is dedicated to the basic current funding of the Czech retirement system. For instance an accurate calculation of retirement pension in the Czech system will be made. Such example will help to illustrate some peculiarities that identify this system. Other alternatives that can ensure financial resources at retirement age are pension insurance and life insurance. From the wide variety of life insurance products, this work will focus on unit-linked insurance. After a necessary theoretical presentation, empirical examples of various monthly premiums will be made. These examples refer to some typical features of the state contributed pension insurance and unit linked-insurence. In addition, the examples include a comparison of the two products.Předmětem této práce je analýza možností finančního zabezpečení ve stáří. V první části podrobně rozebírám státem garantované sociální zabezpečení, ale také široké možnosti soukromého finančního zabezpečení. Stěžejní část je však věnována základnímu, průběžně financovanému důchodovému systému v České republice. Na praktickém příkladu objasňuji přesný výpočet starobního důchodu z tohoto systému. Tento příklad nám pomůže objasnit některé vlastnosti, kterými se tento systém vyznačuje. Jako další možnosti, které mohou zajistit finanční prostředky na stáří, ve své práci uvádím penzijní připojištění a životní pojištění. Z velkého množství produktů životního pojištění se zaměřuji pouze na investiční životní pojištění. Po nutném teoretickém výkladu v práci uvádím praktické příklady pro různě vysoké měsíční příspěvky (pojistné). Tyto příklady poukazují na některé charakteristické vlastnosti penzijního připojištění se státním příspěvkem a investičního životního pojištění. Příklady však poslouží i k vzájemnému porovnání obou produktů

Analysis of Financial Security Alternatives for Retirement

katedra: KPO; rozsah: 95 s., 7 s. přílohThe aim of this work is to analyse the financial security options at retirement age. In the first part a detailed analysis of the state's guaranteed social security as well as different private financial security options will be conducted. The fundamental part is dedicated to the basic current funding of the Czech retirement system. For instance an accurate calculation of retirement pension in the Czech system will be made. Such example will help to illustrate some peculiarities that identify this system. Other alternatives that can ensure financial resources at retirement age are pension insurance and life insurance. From the wide variety of life insurance products, this work will focus on unit-linked insurance. After a necessary theoretical presentation, empirical examples of various monthly premiums will be made. These examples refer to some typical features of the state contributed pension insurance and unit linked-insurence. In addition, the examples include a comparison of the two products.Předmětem této práce je analýza možností finančního zabezpečení ve stáří. V první části podrobně rozebírám státem garantované sociální zabezpečení, ale také široké možnosti soukromého finančního zabezpečení. Stěžejní část je však věnována základnímu, průběžně financovanému důchodovému systému v České republice. Na praktickém příkladu objasňuji přesný výpočet starobního důchodu z tohoto systému. Tento příklad nám pomůže objasnit některé vlastnosti, kterými se tento systém vyznačuje. Jako další možnosti, které mohou zajistit finanční prostředky na stáří, ve své práci uvádím penzijní připojištění a životní pojištění. Z velkého množství produktů životního pojištění se zaměřuji pouze na investiční životní pojištění. Po nutném teoretickém výkladu v práci uvádím praktické příklady pro různě vysoké měsíční příspěvky (pojistné). Tyto příklady poukazují na některé charakteristické vlastnosti penzijního připojištění se státním příspěvkem a investičního životního pojištění. Příklady však poslouží i k vzájemnému porovnání obou produktů