|
Managerial skills
Červinková, Barbora ; Kříž, Josef (advisor) ; Zdeněk, Zdeněk (referee)
The theoretical basis of this thesis explains the terms closely associated with the management and managerial skills. Introductory part relates to approach the concept itself and the executive management, we are further broken down managerial functions, which are continuously illuminates to describe other skills, such as communication, goal setting, skills and coaching. The main point is to approach the concepts of soft and hard skills that managers should possess, or which should in the course of his practice to learn. Only by careful control of both of these groups of skills can lead to good organization. For a clearer explanation of the managerial skills included graphic view, which approximates the distribution of skills. In the second part, a practical part, described the situation with the existing skills of managers in the selected company. Thanks to the questionnaire, it is possible to measure the current level of acquired skills of managers at three levels and can be evaluated, what is the interest of improving individual skills, or whether managers feel sufficiently qualified for their job positions.
|
|
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.
|
|
Landscape as dynamic living system
Pokorný, Jan
Holistic approach to landscape understanding in terms of solar energy dissipation, water and matter fluxes is dealt with. Measures of landscape functioning are defined. Floods and drought as consequences of anthropogenic impact are explained and strategy of sustainable landscape management formulated.
|
|
Antioxidant, anti-proliferative and immunomodulatory effect of fruits, vegetables and mushrooms in vitro
Doskočil, Ivo ; Havlík, Jaroslav (advisor) ; Orsák, Matyáš (referee)
Recently there has been an increasing interest in discovering of new species of plants and mushrooms which have antioxidant or anti proliferative activity. The interest is caused by the fact that these species have medicinal and food utilization. These properties of plants and mushrooms can be used when dealing with many diseases which may be connected with oxidative stress (inflammatory bowel disease, cardiovascular disease, hypertension, and tumour disease, etc.).
The thesis propounds characteristics of in vitro antioxidant and anti proliferative activity of 19 types of juices and 28 methanol extracts of fruits and vegetables, which are common parts of a diet. In the thesis there are also characteristics of 13 ethanol extracts of edible mushrooms of the order of Polypore (Popyporales). Antioxidant activity was quantifie by 2, 2 diphenyl 1 picrylhydrazyl (DPPH), oxygen radical absorbance capacity (ORAC), and inhibition of nitric oxide (NO) production. Cytotoxicity was measured by MTT (3 (4,5 dimethylthiazol 2 yl) 2,5 diphenyltetrazolium bromide. Immunomodulatory activity was determined by an assay of phagocytic activity of human neutrophil granulocytes. Further a total phenolic content (TPC) and total beta glucan content were investigated; these are considered to be the potentially active constituents participating in mentioned activities.
From the obtained results it is evident that juices (TPC = 1603.2 mg GAE/L; ORAC = 438.5 umol TE/g)
and a bilberry (Vaccinium myrtillus) fruit extract (ORAC 836.6 umol TE/g; DPPH = 404.6 umol TE/g) showed
the highest antioxidant activity of all tested samples of fruits and vegetables. Capsicum (Capsicum L.)
juices (TPC = 642.1 mg GAE/L; ORAC = 127.9 umol TE/g) and a radish (Raphanus sativus L.) extract
(ORAC 724.5 umol TE/g; DPPH = 52.2 umol TE/g) also proved to have the high values of antioxidant activity. From the tested fruits and vegetables the following inhibited to produce a nitric oxide: onion (Allium cepa L) juices (lowered the NO production by 57%), tangerine juices (Citrus reticulata Blanco)(by 52%), broccoli (Brassica oleracea var. botrytis italic) extract (by 21%), and orange (Citrus sinensis Pers.) extract (by 10%). Concerning edible
mushrooms, Lentinus tigrinus (Bull.) Fr. (TPC = 216.2 umol GAE/g of extract), Ganoderma lucidum (Curtis) P. Kras (TPC = 257.9 umol GAE/g of extract), and Royoporus badius (Pers.) A.B. De (TPC = 257.8 umol GAE/g of extract) presented the highest phenolic content. Sparassis crispa (Wulfen) Fr. (117.4 mg/g of extract) had the highest content of beta glucan. Substantial effect on phagocytic activity of granulocytes was noticed in connection with Neolentinus lepideus (Fr.) Redhead & Ginns, Polyporus squamosus (Huds.) Fr., and S. crispa. In connection with the latter of mentioned mushrooms, a moderate inhibitory effect towards HT 29 human colorectal adenocarcinoma cell line
(IC50 = 107 ug/ml of extract) was noticed.
The results indicate that the tested plants and mushrooms can be beneficial when reducing the negative effects of oxidative stress. The oxidative stress has been recognized as a contributing factor to a whole range of diseases and the reduction of the oxidative stress may lead to the decrease in the possibility of the diseases´ progression. The results show the possible favourable effects on the human health. When evaluating the results, the following fact should be taken into consideration; the in vitro tests and screenings are considered to be the first phase of systematic research of the effects and serve for the choice of respondents for further detailed studies.
|
|
Design and implementation of e-learning in the area of interest
Marešová, Nikola ; Husa, Jiří (advisor) ; Marek, Marek (referee)
The bachelor's thesis entitled "Design and implementation of e-learning in the area of interest" deals with buying used cars. The essential part of this work is a creation of e-learning course for buyers and other people interested in this area which aims to improve their knowledge. The participants will get an overview of the most common situations and problems they can meet when buying a used car. The theoretical part presents an overview of the topics of the issue of purchase of used cars. It may serve as a theoretical guidance to the e-course, it brings its content. The topics are based on the analysis of information from printed and electronic sources, supplemented by experiences of the author and experts in the field. The practical part deals with the creation of an e-learning course. It contains an analysis of the needs of buyers, the reasons for the creation of the course and the requirements of it, its objectives, a description of the used authoring tool eXe and graphic creation process from the creation of the course after its publication in steps. All this is complemented by the feedback from six volunteers who have expressed an interest in testing the course and then doing a review. Before the creation of the course it was necessary to analyze the situation and find out why such a course is needed. The acquired knowledge was then processed in the course by the synthesis method. For the evaluation method it was used a short personal interview where the author examined satisfaction with the course, its possible shortcomings and suggestions for improvements or enhancements.
|
|
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.
|
|
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.
|
|
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 %.
|
|
Harnessing Forest Automata for Verification of Heap Manipulating Programs
Šimáček, Jiří ; Abdulla, Parosh (referee) ; Křetínský, Mojmír (referee) ; Vojnar, Tomáš (advisor)
Tato práce se zabývá verifikací nekonečně stavových systémů, konkrétně, verifikací programů využívajích složité dynamicky propojované datové struktury. V minulosti se k řešení tohoto problému objevilo mnoho různých přístupů, avšak žádný z nich doposud nebyl natolik robustní, aby fungoval ve všech případech, se kterými se lze v praxi setkat. Ve snaze poskytnout vyšší úroveň automatizace a současně umožnit verifikaci programů se složitějšími datovými strukturami v této práci navrhujeme nový přístup, který je založen zejména na použití stromových automatů, ale je také částečně inspirován některými myšlenkami, které jsou převzaty z metod založených na separační logice. Mimo to také představujeme několik vylepšení v oblasti implementace operací nad stromovými automaty, které jsou klíčové pro praktickou využitelnost navrhované verifikační metody. Konkrétně uvádíme optimalizovaný algoritmus pro výpočet simulací pro přechodový systém s návěštími, pomocí kterého lze efektivněji počítat simulace pro stromové automaty. Dále uvádíme nový algoritmus pro testování inkluze stromových automatů společně s experimenty, které ukazují, že tento algoritmus překonává jiné existující přístupy.
|
|
Acceleration of Object Detection Using Classifiers
Juránek, Roman ; Kälviäinen, Heikki (referee) ; Sojka, Eduard (referee) ; Zemčík, Pavel (advisor)
Detekce objektů v počítačovém vidění je složítá úloha. Velmi populární a rozšířená metoda pro detekci je využití statistických klasifikátorů a skenovacích oken. Pro učení kalsifikátorů se často používá algoritmus AdaBoost (nebo jeho modifikace), protože dosahuje vysoké úspěšnosti detekce, nízkého počtu chybných detekcí a je vhodný pro detekci v reálném čase. Implementaci detekce objektů je možné provést různými způsoby a lze využít vlastnosti konkrétní architektury, pro urychlení detekce. Pro akceleraci je možné využít grafické procesory, vícejádrové architektury, SIMD instrukce, nebo programovatelný hardware. Tato práce představuje metodu optimalizace, která vylepšuje výkon detekce objektů s ohledem na cenovou funkci zadanou uživatelem. Metoda rozděluje předem natrénovaný klasifikátor do několika různých implementací, tak aby celková cena klasifikace byla minimalizována. Metoda je verifikována na základním experimentu, kdy je klasifikátor rozdělen do předzpracovací jednotku v FPGA a do jednotky ve standardním PC.
|
guest ::
