BOOM - A Heuristic Boolean Minimizer

This paper presents an algorithm for two-level Boolean minimization (BOOM) based on a new implicant generation paradigm. In contrast to all previous minimization methods, where the implicants are generated bottom-up, the proposed method uses a top-down approach. Thus, instead of increasing the dimensionality of implicants by omitting literals from their terms, the dimension of a term is gradually decreased by adding new literals. The method is advantageous especially for functions with many input variables (up to thousands) and with only few care terms defined, where other minimization tools are not applicable because of the long runtime. The method has been tested on several different kinds of problems and the results were compared with ESPRESSO

Burnout Syndrome

katedra: KSS; přílohy: 1 CD; rozsah: 61The Bachelor Work was aimed to the burnout syndrome issue connected with the staff of the Prison Service of the Czech Republic who is placed among warders in a prison. In the theoretical part, there are the explanations of the used expressions and history of the burnout syndrome and it was also aimed to the main factors which lead to the burnout syndrome. Then it introduced some types of some burdening situations which could have important influences on the rise and the progress of the burnout syndrome and afterwards it described continuing of the burnout syndrome. In the second theoretical part, the author introduced to readers the Prison Service of the Czech Republic and its characteristics. The close of the theoretical part is aimed to the working responsibilities´ description of wardens and also to the characteristics of the working surroundings with the particular burdening situations there. The aim of the practical part of this Bachelor Work was finding out the threatening measure of the burnout syndrome among the Prison Service Staff working as wardens. The survey is based on the BM (Burnout Measure) questionnaire. The main suppose was that the most threatened ones are wardens with at least 3-year-long experience. The sample of respondents was made of 45 wardens from the Vinařice Prison. In the conclusion, according to the found information, there is a piece of knowledge that even the staff of the Prison Service can be included in the professions threatened by the burnout syndrome. It also pointed out the interests´ absence of the professionals about this problem connected with the Prison Service of the CR. The supervision was mentioned as the possible resolution which should come true outside the prison by an external specialist.Bakalářská práce se zabývala problematikou syndromu vyhoření u pracovníků Vězeňské služby ČR, zařazených na pozici dozorce ve věznici. V teoretické části se, po vysvětlení základních pojmů a historie syndromu vyhoření, práce podrobněji věnovala hlavním faktorům, které vedou k syndromu burnout. Dále přiblížila typy zátěžových situací, které mohou mít podstatný vliv na vznik a vývoj syndromu vyhoření a poté popsala průběh syndromu vyhoření. V druhé polovině teoretické části seznámil autor čtenáře s Vězeňskou službou ČR a její charakteristikou. Závěr teoretické části je věnován popisu pracovní náplně dozorce a charakteristice pracovního prostředí s konkrétními zátěžovými situacemi na pracovišti. Cílem praktické části bakalářské práce bylo pomocí standardizovaného dotazníku BM (Burnout Measure), zjistit míru ohrožení syndromem vyhoření u příslušníků Vězeňské služby ČR zařazených na pozici dozorce, přičemž hlavním předpokladem bylo, že nejvíce ohroženi syndromem vyhoření jsou dozorci s délkou praxe 3 roky a více. Vzorek respondentů byl vytvořen ze 45 příslušníků sloužících ve věznici Vinařice na pozici dozorce. V závěru bakalářské práce autor na základě zjištěných skutečností konstatoval, že i pracovníci Vězeňské služby ČR se mohou adekvátně zařadit mezi profese ohrožené syndromem vyhoření a poukázal na absenci zájmu odborníků o tuto problematiku v souvislosti s Vězeňskou službou ČR. Jako návrh opatření byla zmíněna supervize, která by byla uskutečňována mimo objekt věznice externím specialistou

Design and measurement of a small induction motor

Tato bakalářská práce se věnuje návrhu a měření asynchronního motoru malého výkonu. V první části je popsána konstrukce a princip funkce asynchronního motoru. Následující část práce se zabývá analytickým výpočtem vlastností třífázového asynchronního motoru. Dále jsou pomocí programu Maxwell provedeny analytické výpočty a výpočty metodou konečných prvků. V závěru jsou tyto výpočty porovnány s výsledky z měření.This bachelor thesis deals with design and measurement of a small induction motor. The introduction describes a structure and an operating principle of the induction motor. The following part deals with analytical calculation of three-phase induction motor‘s properties. Next are executed an analytical calculations and a finite element method calculations by the Maxwell software. In the end are these calculations compared with results from measurement.

Programmed Learning for 7th Class of Elementary Schools

katedra: KCL

Optimization of Cabin Environment in Small Transport Aircraft

Disertační práce se zabývá návrhem a optimalizací prostředí v kabinách malých dopravních letadel a to zejména z hlediska tepelné pohody prostředí a kvality větrání. Byly optimalizovány části distribučních systémů vzduchu a konstrukční opatření, která na základě rešerše problematiky a zkušeností autora mohou mít největší vliv na tepelnou pohodu a kvalitu větrání. Zvolené úpravy a jejich vliv na vnitřní mikroklima kabiny byly vyšetřovány pomocí CFD modelu, který byl nejprve validován pomocí výsledků získaných z měření proudových a teplotních polí v maketě kabiny malého dopravního letadla EV-55. Byly vyšetřovány: Optimalizace typu distribuce větracího vzduchu, Optimalizace geometrie distribučních vzduchovodů, Optimalizace tloušťky tepelné izolace a Optimalizace emisivity vnitřních povrchů. Tepelná pohoda byla posuzována na základě metodiky ekvivalentní teploty a diagramu komfortních zón vyvinutých H. O. Nilssonem. Pro posouzení kvality větrání byl použit koncept založený na simulaci indexu stáří vzduchu. Celkem bylo simulováno 50 modelových případů a na základě jejich výsledků byl jako optimální vyhodnocen systém Modifikovaného směšovacího větrání s geometrií vzduchovodů navrženou autorem práce. V kombinaci s vysokým zateplením stěn a vysokou emisivitou interiéru, pak tento systém větrání zajišťuje nejvyšší tepelný komfort a kvalitu větrání pro zkoumaný rozsah okolních a provozních podmínek.The thesis deals with design and optimization of environment in cabins of small transport aircrafts, especially in terms of thermal comfort and quality of ventilation. The design of air distribution systems and structural design were optimized and most important parts of cabin design with highest impact on the quality of thermal comfort and ventilation were identified based on literature research and experience of the author. The chosen modifications and their influence on the microclimate inside the cabin were investigated using the CFD model, which was validated by results obtained from measurements of flow and temperature fields in the cabin mock-up of small transport aircraft EV-55. Next optimizations were investigated: The type of air distribution system, The geometry of ducts of air distribution system, Thickness of thermal insulation and Emissivity of internal surfaces. Thermal comfort was assessed based on the methodology of the equivalent temperature and comfort zones diagram developed by H. O. Nilsson and for assessing the quality of ventilation the concept of based on index of the age of the air was used. Fifty cases were simulated in total and base of its results Modified mixing ventilation with original air ducts geometry have been evaluated as an optimum. The ducts geometry of Modified mixing ventilation system was suggested by author specially for the thesis. In combination with high thermal insulation of walls and high emissivity of the interior, then this system of ventilation ensures maximum thermal comfort and quality of ventilation for the investigated range of environmental and operational conditions.

Foundation and creation of a limited liability company

Summary: In my thesis I focus on foundation and creation of a limited liability company under Czech law. Special attention is given to the explanation of limited liability of the partners of this type of company. The paper also focuses on distinction of the terms foundation of a company and creation of a company and the difference between them. The theoretical definition of the limited liability company is then followed by examining, explaining and analysing the foundation and subsequent creation of a limited liability company. The text also presents besides the actual law, the new law, regulating inter alia limited liability companies, that comes into effect on 1st January 2014 and its new regulations. The thesis is, apart the introduction and conclusion, composed of two chapters, each of them dealing with different aspects of foundation and creation of limited liability companies. Chapter one is introductory and defines the basic terminology and juridical institutes that are then used in other chapters of the paper. One part also describes the history of limited liability companies on the territory of the Czech Republic and its predecessor countries. Another part also introduces the new law that comes into effect on 1st January 2014. Chapter two introduces the process of foundation and creation of a...Ve své rigorózní práci se věnuji založení a vzniku společnosti s ručením omezeným podle českého práva. Zvláštní pozornost je věnována vysvětlení omezeného ručení společníků tohoto druhu obchodní společnosti. Tato práce se také zaměřuje na analýzu pojmů založení společnosti a vznik společnosti a rozdíl, který mezi nimi je. Představení společnosti s ručením omezeným a její definice je následováno popisem, rozborem a analýzou založení a následného vzniku společnosti s ručením omezeným. Kromě rozboru aktuální právní úpravy práce představuje zákon o obchodních korporacích, který nabude účinnosti 1. ledna 2014, a novinky, jež přináší. Rigorózní práce je kromě úvodu a závěru rozdělena na dvě kapitoly, z nichž každá pojednává z různých úhlů o založení a vzniku společnosti s ručením omezeným. První kapitola obsahuje úvod do problematiky a představuje základní terminologii a instituty, které pak jsou užívány v dalších kapitolách této práce. Jedna podkapitola také ve stručnosti popisuje historický vývoj společnosti s ručením omezeným na našem území. Rovněž je představena rekodifikační právní úprava, která nabude účinnosti 1. ledna 2014. Druhá kapitola představuje proces založení a vzniku společnosti s ručením omezeným. Kapitola je rozdělena do deseti podkapitol. První podkapitola popisuje rozdíl mezi...Katedra obchodního právaDepartment of Business LawFaculty of LawPrávnická fakult

Snow cover detection from webcam images

Práce zkoumá možnosti využití webových kamer jakožto zdroje prostorových dat o výskytu sněhu. Cílem práce je navržení vhodné metody detekce sněhové pokrývky ze snímků webových kamer. Na vzorku snímků 6 webových kamer ČHMÚ je provedena detekce sněhové pokrývky metodami pixelové klasifikace. Je zkoumán vliv velikosti trénovacího souboru na přesnost klasifikace. Celková přesnost dosažená metodou SVM je 97,46 %. Dále je cílem navrhnout systém pro určení podílu sněhem pokrytého území. Vytvořený algoritmus se skládá z několika dílčích kroků: třídění a registrace snímků, detekce sněhu, zavedení souřadnicového systému, výpočtu velikosti zkoumané plochy a podílu sněhem pokrytého území. Navržený model je možné použít pro automatizované zpracování snímků různých webových kamer. Ze získaných denních hodnot podílu sněhem pokrytého území jsou vytvořeny křivky tání sněhové pokrývky. Výsledky jsou validovány pomocí dat vybraných stanic ČHMÚ. Navržený a parametrizovaný model potvrzuje možnost úspěšně využít webové kamery jako doplněk pozemního měření meteorologických stanic a pro validaci produktů dálkového průzkumu Země.This thesis deals with the possibility of using webcams as a source of spatial data for snow occurrence. The aim of this study is to propose a suitable method of snow cover detection from web camera images. From a sample of 6 webcams of the Czech Hydrometeorological Institute (CHMI) the snow cover is detected by pixel classification methods. The effect of training file size on the accuracy of classification is examined and the overall accuracy achieved by the SVM method was shown to be 97.46%. This study also aims to propose a system for determining the proportion of snow-covered areas. The algorithm consists of several sub-steps: filtering and registration of images, detection of snow, introduction of a coordinate system, calculation of the size of the surveyed area and the proportion of snow-covered area. The designed model can be used for automatic processing of images for various webcams. The melting curves of the snow cover are generated from the obtained daily values of the snow covered area. The results are validated using data from selected CHMI stations. The proposed and parameterized model confirms the possibility of successful use of webcams as a complement to ground measurement of meteorological stations and for the validation of remote sensing products.Department of Applied Geoinformatics and CartographyKatedra aplikované geoinformatiky a kartografiePřírodovědecká fakultaFaculty of Scienc

Ways to influence amateur's athletes postural stability

Název Možnosti ovlivňování posturální stability u amatérských sportovců Cíle práce Cílem práce je deskripce vybraných parametrů tělesného složení a posturální stability skupiny amatérských sportovců (florbalistů) a zhodnocení efek- tivity krátkodobého intervenčního programu, využívajícího prvky senzomotorické stimulace dle Jandy a Vávrové, akrální koaktivační terapie dle Špringrové a prvky plyometrické. Metody Práce je charakteru deskriptivního, její součástí je i intervenční složka. Během studie byly zkoumány dvě skupiny amatérských florbalistů, intervenční (n = 16, průměrná výška = 178,23 cm (std 7,18), průměrná hmotnost = 80,04 (std 11,53), průměrný věk = 25,15 let (std3,31 )) a kontrolní(n = 8, průměrná výška = 181,48 cm (std 5,59), průměrná hmotnost = 82,29 kg (std 11,20), průměrný věk = 27,07 let (2,68)). Každý proband podstoupil na začátku měření přístrojem Foots- can pro zhodnocení úrovně posturální stability a přístroji InBody 3.0 a Tanita pro zhodnocení úrovně tělesného složení pomocí vybraných parametrů. Poté intervenční skupina absolvovala šestitýdenní intervenční program. Po ukončení byly opět obě skupiny změřeny a zhodnoceny jednotlivé parametry. Vstupní a výstupní výsledky měření byly následně vyhodnoceny, porovnány a statisticky zpracovány. Výsledky Většina zvolených parametrů...Title Ways to influence amateur s athletes postural stability Objectives The aim of this study is to describe the selected parameters of body composition and postural stability of the amateur s athletes (floorball players) group and to assess the efficiency of short-term intervention exercise based on senzomotor stimulation, acral coactivation therapy and plyometrics. Methods This work is a descriptive work, one part of it is the intervention. Two groups of amateur s athletes (floorball players) were examined during the study - intervention group(n = 16, average height = 178,23 cm (std 7,18), average weight = 80,04 (std 11,53), average age = 25,15 years (std3,31 )) and control group(n = 8, ave- rage height = 181,48 cm (std 5,59), average weight = 82,29 kg (std 11,20), average age = 27,07 let (2,68)). Each participant underwent the entrance measurement both on Footscan to evaluate the level of postural stability by selected parameters and on InBody 3.0 a Tanita to evaluate the level of body composition by selected parame- ters. Then the intervention group took part in the intervention exercise. After the six week intervention period underwent both groups the second measurement. The results of both measurements were evaluated, compared and statistically analyzed. Results The results showed great...Laboratoř sportovní motorikyFakulta tělesné výchovy a sportuFaculty of Physical Education and Spor

CLARIN’s Support for Research into the Acquisition of Lexical Properties

Odijk (2011) sketched a research question on the acquisition of lexical properties of words, and illustrated it with some concrete examples, in particular with respect to the lexical properties of the Dutch synonyms heel, erg, and zeer (all meaning ‘very’). This work also indicated what the CLARIN infrastructure should offer to make it possible to address this research question. In this contribution I sketch to what extent the CLARIN infrastructure has achieved these requirements and desiderata. The resulting picture is mixed: (1) some have been implemented; (2) some have not been implemented and are still highly desirable; (3) some have not been implemented but turned out to be not so urgent; (4) new requirements and desiderata have arisen in the last 10 years, only some of which have been implemented. In this way, I evaluate the development of the CLARIN infrastructure (mainly its Netherlands part) over the past 10 years, and sketch the requirements and desiderata for the CLARIN infrastructure to address this research question for the next 10 years