National Repository of Grey Literature 4,647 records found  1 - 10nextend  jump to record: Search took 0.18 seconds. 

Numerical investigation of residual lifetime of the wheel during EN 13262 test
Matušek, P. ; Hutař, Pavel ; Náhlík, Luboš ; Knésl, Zdeněk ; Kunz, Ludvík
In this paper, the experimental set up corresponding to the test unit used for the full-scale fatigue test has been modelled. The numerical method for reliable estimation of residual fatigue lifetime of wheel web tested according to EN 13 262 Standard has been developed. Numerical calculations are based on finite element method utilizing the system ANSYS. The experimentally observed cracks in the wheel web have been taken as the initial crack configuration. Numerical calculations simulating the initial crack growth in the wheel web loaded by experimental set up have been performed. Under assumptions of linear elastic fracture mechanics the residual fatigue life of the cracked wheel has been predicted.

Employee motivation and satisfaction in production company
Olszowá, Zuzana ; Matysová, Kamila (advisor) ; Chylíková, Hana (referee)
The main subject of the thesis is employee motivation and satisfaction. The aim of this thesis is to analyze the employee motivation and work satisfaction of a production company, identify areas of dissatisfaction and provide recommendations for future improvements. The study also aims to emphasize the relationship between employee motivation and work satisfaction and the level of their performance, loyalty, absenteeism, fluctuation as well as the correllation between employee motivation and satisfaction and the overall organizational performance. A brief introduction is followed by the theoretical framework of the thesis which includes such concepts as motivation, stimulation, work motivation, job satisfaction or motivation profile, explains and focuses on basic theories of motivation and factors of employee satisfaction. The empirical part of the thesis introduces the human resources management in the production company and the questionnaire investigation conducted among the employees of the production company. The questionnaire icludes parts where the questions about satisfaction of the employee with the selected factors influencing employee motivation and satisfaction were asked. This section also includes conclusions and recommendations for future employee motivation and satisfaction improvements.

Possibilities of Big Data use for Competitive Intelligence
Verníček, Marek ; Molnár, Zdeněk (advisor) ; Šperková, Lucie (referee)
The main purpose of this thesis is to investigate the use of Big Data for the methods and procedures of Competitive Intelligence. Among the goals of the work is a toolkit for small and large businesses which is supposed to support their work with the whole process of Big Data work. Another goal is to design an effective solution of processing Big Data to gain a competitive advantage in business. The theoretical part of the work processes available scientific literature in the Czech Republic and abroad as well as describes the current state of Competitive Intelligence, and Big Data as one of its possible sources. Subsequently, the work deals with the characteristics of Big Data, the differences from working with common data, the need for a thorough preparation and Big Data applicability for the methods of Competitive Intelligence. The practical part is focused on analysis of Big Data tools available in the market with regard to the whole process from data collection to the analysis report preparation and integration of the entire solution into an automated state. The outcome of this part is the Big Data software toolkit for small and large businesses based on their budget. The final part of the work is devoted to the classification of the most promising business areas, which can benefit from the use of Big Data the most in order to gain competitive advantages and proposes the most effective solution of working with Big Data. Among other benefits of this work are expansion of the range of resources for Competitive Intelligence and in-depth analysis of possibilities of Big Data usage, designed to help professionals make use of this hitherto untapped potential to improve market position, gain new customers and strengthen the existing user base.

Noise, Transport and Structural Properties of High Energy Radiation Detectors Based on CdTe
Šik, Ondřej ; Lazar, Josef (referee) ; Navrátil, Vladislav (referee) ; Grmela, Lubomír (advisor)
Poptávka ze strany vesmírného výzkumu, zdravotnictví a bezpečnostního průmyslu způsobila v posledních letech zvýšený zájem o vývoj materiálů pro detekci a zobrazování vysokoenergetického záření. CdTe a jeho slitina CdZnTe. jsou polovodiče umožnují detekci záření o energiích v rozsahu 10 keV až 500 keV. Šířka zakázaného pásma u CdTe / CdZnTe je 1.46 -1.6 eV, což umožňuje produkci krystalů o vysoké rezistivitě (10^10-10^11 cm), která je dostačující pro použití CdTe / CdZnTe při pokojové teplotě. V mé práci byly zkoumány detektory CdTe/CdZnTe v různých stádiích jejich poruchovosti. Byly použity velmi kvalitní spektroskopické detektory, materiál s nižší rezistivitou a výraznou polarizací, detektory s asymetrií elektrických parametrů kontaktů a teplotně degenerované vzorky. Z výsledků analýzy nízkofrekvenčního šumu je patrný obecný závěr, že zvýšená koncentrace defektů způsobí změnu povahy původně monotónního spektra typu 1/f na spektrum s výrazným vlivem generačně-rekombinačních procesů. Další výrazná vlastnost degenerovaných detektorů a detektorů nižší kvality je nárůst spektrální hustoty šumu typu 1/f se vzrůstajícím napájecím napětí se směrnicí výrazně vyšší než 2. Strukturální a chemické analýzy poukázaly, že teplotní generace detektorů způsobuje difuzi kovu použitého při kontaktování a stopových prvků hlouběji do objemu krystalu. Část mé práce je věnována modifikaci povrchu svazkem argonových iontů a jejímu vlivu na chemické složení a morfologii povrchu.

New Methods for Increasing Efficiency and Speed of Functional Verification
Zachariášová, Marcela ; Dohnal, Jan (referee) ; Steininger, Andreas (referee) ; Kotásek, Zdeněk (advisor)
Při vývoji současných číslicových systémů, např. vestavěných systému a počítačového hardware, je nutné hledat postupy, jak zvýšit jejich spolehlivost. Jednou z možností je zvyšování efektivity a rychlosti verifikačních procesů, které se provádějí v raných fázích návrhu. V této dizertační práci se pozornost věnuje verifikačnímu přístupu s názvem funkční verifikace. Je identifikováno několik výzev a problému týkajících se efektivity a rychlosti funkční verifikace a ty jsou následně řešeny v cílech dizertační práce. První cíl se zaměřuje na redukci simulačního času v průběhu verifikace komplexních systémů. Důvodem je, že simulace inherentně paralelního hardwarového systému trvá velmi dlouho v porovnání s během v skutečném hardware. Je proto navrhnuta optimalizační technika, která umisťuje verifikovaný systém do FPGA akcelerátoru, zatím co část verifikačního prostředí stále běží v simulaci. Tímto přemístěním je možné výrazně zredukovat simulační režii. Druhý cíl se zabývá ručně připravovanými verifikačními prostředími, která představují výrazné omezení ve verifikační produktivitě. Tato režie však není nutná, protože většina verifikačních prostředí má velice podobnou strukturu, jelikož využívají komponenty standardních verifikačních metodik. Tyto komponenty se jen upravují s ohledem na verifikovaný systém. Proto druhá optimalizační technika analyzuje popis systému na vyšší úrovni abstrakce a automatizuje tvorbu verifikačních prostředí tím, že je automaticky generuje z tohoto vysoko-úrovňového popisu. Třetí cíl zkoumá, jak je možné docílit úplnost verifikace pomocí inteligentní automatizace. Úplnost verifikace se typicky měří pomocí různých metrik pokrytí a verifikace je ukončena, když je dosažena právě vysoká úroveň pokrytí. Proto je navržena třetí optimalizační technika, která řídí generování vstupů pro verifikovaný systém tak, aby tyto vstupy aktivovali současně co nejvíc bodů pokrytí a aby byla rychlost konvergence k maximálnímu pokrytí co nejvyšší. Jako hlavní optimalizační prostředek se používá genetický algoritmus, který je přizpůsoben pro funkční verifikaci a jeho parametry jsou vyladěny pro tuto doménu. Běží na pozadí verifikačního procesu, analyzuje dosažené pokrytí a na základě toho dynamicky upravuje omezující podmínky pro generátor vstupů. Tyto podmínky jsou reprezentovány pravděpodobnostmi, které určují výběr vhodných hodnot ze vstupní domény. Čtvrtý cíl diskutuje, zda je možné znovu použít vstupy z funkční verifikace pro účely regresního testování a optimalizovat je tak, aby byla rychlost testování co nejvyšší. Ve funkční verifikaci je totiž běžné, že vstupy jsou značně redundantní, jelikož jsou produkovány generátorem. Pro regresní testy ale tato redundance není potřebná a proto může být eliminována. Zároveň je ale nutné dbát na to, aby úroveň pokrytí dosáhnutá optimalizovanou sadou byla stejná, jako u té původní. Čtvrtá optimalizační technika toto reflektuje a opět používá genetický algoritmus jako optimalizační prostředek. Tentokrát ale není integrován do procesu verifikace, ale je použit až po její ukončení. Velmi rychle odstraňuje redundanci z původní sady vstupů a výsledná doba simulace je tak značně optimalizována.

Grammars with Restricted Derivation Trees
Koutný, Jiří ; Janoušek, Jan (referee) ; Vojnar, Tomáš (referee) ; Meduna, Alexandr (advisor)
V této disertační práci jsou studovány teoretické vlastnosti gramatik s omezenými derivačními stromy. Po uvedení současného stavu poznání v této oblasti je výzkum zaměřen na tři základní typy omezení derivačních stromů. Nejprve je představeno zcela nové téma, které je založeno na omezení řezů a je zkoumána vyjadřovací síla takto omezené gramatiky. Poté je zkoumáno několik nových vlastností omezení kladeného na cestu derivačních stromů. Zejména je studován vliv vymazávacích pravidel na vyjadřovací sílu gramatik s omezenou cestou a pro tyto gramatiky jsou zavedeny dvě normální formy. Následně je popsána nová souvislost mezi gramatikami s omezenou cestou a některými pseudouzly. Dále je prezentován protiargument k vyjadřovací síle tohoto modelu, která byla dosud považována za dobře známou vlastnost. Nakonec je zavedeno zobecnění modelu s omezenou cestou na ne jednu, ale několik cest. Tento model je následně studován zejména z hlediska vlastností vkládání, uzávěrových vlastností a vlastností syntaktické analýzy.

Formal Systems Based on Automata and Grammars
Čermák, Martin ; Rybička, Jiří (referee) ; Šaloun, Petr (referee) ; Meduna, Alexandr (advisor)
Tyto teze navazují na studium gramatických a automatových systémů. Na začátku, práce pojednává o regulárně řízených CD gramatických systémech využívající frázově strukturované gramatiky jako komponenty. Do systémů jsou zavedena tři nová omezení na derivacích a je studován jejich vliv na vyjadřovací sílu těchto systémů. Poté, tato práce definuje dva automatové protějšky ke kanonickým multi-generatiním nonterminálem a pravi\-dlově synchronizovyným gramatickým systemům, generujících vektory řetězců, a ukazuje, že všechny tyto vyšetřované systemy si jsou vzájemně ekvivalentní. Dále táto práce tyto systémy zobecňuje a zakládá fundamentalní hierarchii n-jazyků (množin n-tic řetězců). V~souvislosti se zavedenými systémy tyto teze zavádí automatově-gramatický převodník založený na konečném automatu a bezkontextové gramatice. Tento převodník je pak studovaný a použitý jako nástroj přímého překladu. V~poslední části jsou v této práci zavedené automatové systémy jádrem pársovací metody založené na stromově řízených gramatikách s n omezenými cestami.

Synchronous Formal Systems Based on Grammars and Transducers
Horáček, Petr ; Janoušek, Jan (referee) ; Yamamura,, Akihito (referee) ; Meduna, Alexandr (advisor)
Tato disertační práce studuje synchronní formální systémy založené na gramatikách a převodnících a zkoumá jak jejich teoretické vlastnosti, tak i perspektivy praktických aplikací. Práce představuje nové koncepty a definice vycházející ze známých principů řízeného přepisování a synchronizace. Navrhuje alternativní způsob synchronizace bezkontextových gramatik, založený na propojení pravidel. Tento princip rozšiřuje také na řízené gramatiky, konkrétně gramatiky s rozptýleným kontextem a maticové gramatiky. Dále je představen na podobném principu založený nový druh převodníku, tzv. pravidlově omezený převodník. Jedná se o systém složený z konečného automatu a bezkontextové gramatiky. Práce prezentuje nové teoretické výsledky ohledně generativní a přijímajicí síly. Poslední část práce zkoumá možnosti lingvisticky orientovaných aplikací se zameřením na překlad přirozeného jazyka. Diskutuje a srovnává hlavní výhody nových modelů s využitím vybraných případových studií z českého, anglického a japonského jazyka pro ilustraci.

The Pump with a Diffuser with Stochastic Blades (Runner and Diffuser)
Dobšáková, Lenka ; Melichar, Jan (referee) ; Veselý, Jindřich (referee) ; Haluza, Miloslav (advisor)
This doctoral thesis studies the non-uniform blade cascade for centrifugal pumps. Influence of non-uniform blade cascade is investigated on the impeller and diffuser. A non-uniform blading impeller of pumps in this doctoral thesis was examined in terms of influence on efficiency characteristic. The idea of using non-uniform blading is to obtain a flat efficiency characteristic. Then the centrifugal pump could be used on larger scale of power with achieving a sufficiently high efficiency. The work is based on experimental measurements and numerical simulations of non-uniform hydraulic pump components. Non-uniform impeller and the diffuser were newly designed for this research. A new measuring track of small submersible pumps was needed to design and build for measurements. Different pump combinations with conventional hydraulics on one working point and hydraulics with non-uniform were measured. All measurements were evaluated and characteristics of efficiency, head and power were obtained for each measured combination. Some of pump combinations (which were measured in experiment) were numerically simulated by program Ansys Fluent. Data needed to evaluate the characteristic of efficiency and specific energy were collected from each numerical simulation. A theoretical consideration concerns the influence of non-uniform blade cascade applied on diffuser. The suggestion how to decrease hydraulic losses in canals was done. The theoretical consideration how to make a flat efficiency characteristic was made.

The prevention of pathological occurence of burnout syndrome (an example of employer)
BLAHOVÁ, Nela
This bachelor thesis deals with the issue of burnout syndrome which is currently a very discuss frequent problem. The rate of working stress will be investigated in selected groups of staff in company COOP družstvo HB. The purpose of my thesis is to compare which group of staff is threatened by burnout syndrome the most. The work is focused on the economical aspects which are reflected particularly in human capital. There will be applied the quantitative research, concretely questionaire research. Based on the results of questionaire research will be applied analytical method of the job evaluation, which is one of the main issues of human resources management. This application will be also recommendation for prevention for the company.