All big and important decisions come through analysis. The main aim of the analysis is to examine or investigate more complicated problems by decomposing them into simpler ones whereas we come to certain conclusions on the basis of a detailed recognition of particularities. This diploma thesis is dedicated to analytic tasks solving techniques in Business Intelligence which would describe and support the whole process of analysis, its needs and premises in real surrounding environment. During the project I cooperated with Clever Decision company and took part in the real project. This company deals with Business Intelligence solutions/applications development and this project is meant to set the method of how to treat the development of the solutions. My work consists in designing a template of BI analysis method which is a part of a complex technique. The aim of this diploma thesis is to introduce my own method of Business Intelligence solution analysis, to introduce its basic components and common work instructions for this method. I reached my aim by analyzing documents and reports provided by Clever Decision company and other methods and suggestions. The main contribution of my diploma thesis is that the method works as a draft for assistance and standardizing the process of Business Intelligence solution analysis in Clever Decision company. This draft can nevertheless work as a basis for creating a wholly new method. My work consists of three parts. The first part, a theoretical one, deals with recapitulation of basic terms and methods I worked with. The second part represents properties, components and general working instructions for this method. It moreover presents main outputs, more precisely documents that are practical attachments to the method itself. The third part introduces the method itself including presentation of outputs/document drafts designed by me.

Cette thèse propose une nouvelle approche du parallélisme et de la concurrence, posant les bases d'un langage de programmation à la fois sûr et "secure" (garantissant la sécurité des données), fondé sur une sémantique formelle claire et simple, tout en étant adapté aux architectures multi-cœur. Nous avons adopté le paradigme synchrone, dans sa variante réactive, qui fournit une alternative simple à la programmation concurrente standard en limitant l'impact des erreurs dépendant du temps ("data-races"). Dans un premier temps, nous avons considéré un langage réactif d'orchestration, DSL, dans lequel on fait abstraction de la mémoire (Partie 1). Dans le but de pouvoir traiter la mémoire et la sécurité, nous avons ensuite étudié (Partie 2) un noyau réactif, CRL, qui utilise un opérateur de parallélisme déterministe. Nous avons prouvé la réactivité bornée des programmes de CRL. Nous avons ensuite équipé CRL de mécanismes pour contrôler le flux d'information (Partie 3). Pour cela, nous avons d'abord étendu CRL avec des niveaux de sécurité pour les données, puis nous avons défini dans le langage étendu, SSL, un système de types permettant d'éviter les fuites d'information. Parallèlement (Partie 4), nous avons ajouté la mémoire à CRL, en proposant le modèle DSLM. En utilisant une notion d'agent, nous avons structuré la mémoire de telle sorte qu'il ne puisse y avoir de "data-races". Nous avons également étudié l'implémentation de DSLM sur les architectures multi-cœur, fondée sur la notion de site et de migration d'un agent entre les sites. L'unification de SSL et de DSLM est une piste pour un travail futur. / This thesis proposes a new approach to parallelism and concurrency, laying the basis for the design of a programming language with a clear and simple formal semantics, enjoying both safety and security properties, while lending itself to an implementation on multicore architectures. We adopted the synchronous programming paradigm, in its reactive variant, which provides a simple alternative to standard concurrent programming by limiting the impact of time-dependent errors ("data-races"). As a first step (Part 1), we considered a reactive orchestration language, DSL, which abstracts away from the memory. To set the basis for a formal treatment of memory and security, we then focussed on a reactive kernel, CRL, equipped with a deterministic parallel operator (Part 2). We proved bounded reactivity of CRL programs. Next, we enriched CRL with mechanisms for information flow control (Part 3). To this end, we first extended CRL with security levels for data. We then defined a type system on the extended language, SSL, which ensures the absence of information leaks. Finally, we added memory to CRL, as well as the notions of agent and site, thus obtaining the model DSLM (Part 4). We structured the memory in such a way that data-races cannot occur, neither within nor among agents. We also investigated the implementation of DSLM on multicore architectures, using the possibility of agent migration between sites. The unification of SSL and DSLM is left for future work.

The aim of the thesis is to describe in great detail the process and organization of integration (inclusion) of common primary school children and those of primary schools with the educational programme Step by Step. The focus of the thesis is to put these two school types side by side and compare their attempt to the issue. The results should work as an help for parents' to choose the right institution necessary for the elementary education of their children suffering from any kind of handicap, they should help also the educators searching for many initiatives to integrate all the pupils to a group. Another important output of the thesis is to find out the level of primary school teachers awareness with the process of the pupils' integration.

This diploma thesis focuses on implementation of multicultural education in the Step by Step program in primary education. The theoretical part is divided into three chapters. The first one defines the basic concepts that apply to multicultural education. In addition, it also mentions officially recognised national minorities in the Czech Republic and the evolution of the number of foreigners residing on or territory. Further this chapter explains prejudice and stereotypes. The second chapter focuses on multicultural education as one of the cross-section modules in Framework Czech Educational Program. In this part, the thesis characterizes the cross-section theme and describes the thematic circuits and possible approaches to teaching. The third chapter discusses the educational program Step by Step and details its core parts. In the practical part of the work, qualitative research is described in detail, carried out with the fifth grade of Elementary School Petřiny - Sever, which follows the educational program Step by Step. This researched that is focused on prejudice, stereotypes and differences is implemented in the form of weekly project in the "activities centers", in which the teacher participates. His job is to find out if pupils are able to identify these phenomena in not only the society,...

Flow past circular cylinders with stepwise discontinuities in diameter was investigated experimentally and numerically for the diameter ratio D/d = 2 and three Reynolds numbers, Re = 150, 300, and 1050. The investigation was focused on the vortex shedding phenomena occurring in the wake of the cylinders. In the first series of experimental and numerical studies, the flow development past a single step cylinder was investigated. The single step cylinder model is comprised of a small diameter cylinder (d) attached coaxially to a large diameter cylinder (D). The results show that three distinct spanwise vortex cells form in the step cylinder wake: a single vortex shedding cell in the wake of the small cylinder (the S-cell) and two vortex shedding cells in the wake of the large cylinder, one in the region downstream of the step (the N-cell) and the other away from the step (the L-cell). Due to the differences in vortex shedding frequencies between the three cells, complex vortex connections occur in two vortex-interaction regions located between the adjacent cells. The region at the boundary between the S-cell and the N-cell is relatively narrow and its spanwise extent does not fluctuate significantly. In this region, vortex dislocations manifested as half-loop connections between two S-cell vortices of opposite sign. In contrast, the region at the boundary between the N-cell and the L-cell exhibits a transient behavior, with large scale vortex dislocations causing cyclic variation in the extent of N-cell vortices. For Re = 300 and 1050, small scale streamwise vortices forming in the wake complicate the vortex dynamics within the adjacent S-cell and L-cell. There is no significant Reynolds number effect on the average spanwise extent of the vortex cells and the two transition regions between neighboring cells. Finally, formation of N-cell vortices is linked to downwash fluctuations near the step. The flow development past a dual step cylinder was studied experimentally for Re = 1050. The dual step cylinder model is comprised of a small diameter cylinder (d) and a large diameter cylinder (D) mounted at the mid-span of the small cylinder. The experiments were completed for a range of large cylinder aspect ratios 0.2 ≤ L/D ≤ 17. The flow development is highly dependent on the aspect ratio of the large cylinder, L/D. The results identify four distinct flow regimes: (i) for L/D = 17, three vortex shedding cells form in the wake of the large cylinder, one central cell and two cells of lower frequency extending over about 4.5D from the large cylinder ends, (ii) for 7 < L/D ≤ 14, a single vortex shedding cell forms in the wake of the large cylinder, whose shedding frequency decreases with decreasing L/D, (iii) for 2 ≤ L/D ≤ 7, vortex shedding in the wake of the large cylinder is highly three-dimensional, with vortices deforming in the near wake, (iv) for 0.2 ≤ L/D ≤ 1, only small cylinder vortices are shed in the wake and can form vortex connections across the wake of the large cylinder.

In this thesis, a test system is designed and implemented in order to evaluate the basic electrical performance and determine the parameters of ultracapacitors (UC). The implemented UC test system is based on power electronics converters and it is capable of charging and discharging the UC under test with predetermined current profiles. The charging operation is provided by a configuration involving the AC utility grid, a step-down transformer, a diode bridge, and a DC bus filter capacitor followed by a step-down DC-DC converter. The energy stored in the UC under test, as a result of the charging operation, is discharged to a resistor bank through a step-up DC-DC converter and a DC chopper structure. The charging and discharging current applied to the UC under test is provided by means of current mode control of power electronics converters. The control mechanism of the power electronics converters and the transition operations between the charging and discharging phases of the test system is realized via a microcontroller supported hardware structure. In the scope of the thesis study, a UC module composed of five serially connected UC cells is constructed. Constant current and constant power tests are applied to the constructed UC module. The performance of the implemented UC test system is investigated by means of computer simulations and experimental results. Further, basic electrical behaviour of the constructed UC module is evaluated and the parameters are extracted experimentally.

Flow past circular cylinders with stepwise discontinuities in diameter was investigated experimentally and numerically for the diameter ratio D/d = 2 and three Reynolds numbers, Re = 150, 300, and 1050. The investigation was focused on the vortex shedding phenomena occurring in the wake of the cylinders. In the first series of experimental and numerical studies, the flow development past a single step cylinder was investigated. The single step cylinder model is comprised of a small diameter cylinder (d) attached coaxially to a large diameter cylinder (D). The results show that three distinct spanwise vortex cells form in the step cylinder wake: a single vortex shedding cell in the wake of the small cylinder (the S-cell) and two vortex shedding cells in the wake of the large cylinder, one in the region downstream of the step (the N-cell) and the other away from the step (the L-cell). Due to the differences in vortex shedding frequencies between the three cells, complex vortex connections occur in two vortex-interaction regions located between the adjacent cells. The region at the boundary between the S-cell and the N-cell is relatively narrow and its spanwise extent does not fluctuate significantly. In this region, vortex dislocations manifested as half-loop connections between two S-cell vortices of opposite sign. In contrast, the region at the boundary between the N-cell and the L-cell exhibits a transient behavior, with large scale vortex dislocations causing cyclic variation in the extent of N-cell vortices. For Re = 300 and 1050, small scale streamwise vortices forming in the wake complicate the vortex dynamics within the adjacent S-cell and L-cell. There is no significant Reynolds number effect on the average spanwise extent of the vortex cells and the two transition regions between neighboring cells. Finally, formation of N-cell vortices is linked to downwash fluctuations near the step. The flow development past a dual step cylinder was studied experimentally for Re = 1050. The dual step cylinder model is comprised of a small diameter cylinder (d) and a large diameter cylinder (D) mounted at the mid-span of the small cylinder. The experiments were completed for a range of large cylinder aspect ratios 0.2 ≤ L/D ≤ 17. The flow development is highly dependent on the aspect ratio of the large cylinder, L/D. The results identify four distinct flow regimes: (i) for L/D = 17, three vortex shedding cells form in the wake of the large cylinder, one central cell and two cells of lower frequency extending over about 4.5D from the large cylinder ends, (ii) for 7 < L/D ≤ 14, a single vortex shedding cell forms in the wake of the large cylinder, whose shedding frequency decreases with decreasing L/D, (iii) for 2 ≤ L/D ≤ 7, vortex shedding in the wake of the large cylinder is highly three-dimensional, with vortices deforming in the near wake, (iv) for 0.2 ≤ L/D ≤ 1, only small cylinder vortices are shed in the wake and can form vortex connections across the wake of the large cylinder.

Disertacijoje nagrinėjamas Individualiosios psichologijos teoriniu požiūriu pagrįstos tėvų mokymo programos STEP (angl. Systematic Training for Effective Parenting; Dinkmeyer, McKay, Dinkmeyer, 1997) efektyvumas. Mokymo efektyvumo rodikliais pasirinkti auklėjimo stiliaus ir suvokimo apie vaiko elgesį bei tėvų žinių apie auklėjimą pokyčiai. Darbe siekiama išsiaiškinti, ar grupių dalyvių ir vadovų sociodemografinės charakteristikos ir/ ar dalyvavimo STEP programoje veiksniai yra susiję su tėvų mokymo efektyvumu. Taip pat keliama prielaida, kad STEP programos efektyvumui įtakos turi ir grupių dalyvių ir vadovų gyvenimo stilius pagal A. Adler. Empirinėje darbo dalyje pristatomi 2011-2012 m. atlikto trijų etapų tyrimo rezultatai. Apibendrinus tyrimo duomenis nustatyta, kad STEP programa yra efektyvi siekiant suteikti tėvams žinių apie vaiko auklėjimą, skatinant retesnį motinų autoritarinio ir viską leidžiančio auklėjimo stilių naudojimą ir vaiko elgesio kaip mažiau nepriimtino suvokimą. Poveikis išlieka stabilus 3-4 mėn. laikotarpiu. Tyrimo rezultatai parodė, kad motinų amžius, išsilavinimas, gimimo eiliškumas, tikslinio vaiko gimimo eiliškumas ir motinų dalyvavimas su partneriu bei programos namų darbų atlikimo dažnumas yra susiję su STEP programos efektyvumu. Nustatytas ir mokymo efektyvumo motinoms ryšys su grupių vadovų gimimo eiliškumu, vadovų mokymų lygiu ir patirtimi taikant Individualiosios psichologijos principus ir įgyvendinant STEP programą. Rezultatų analizė atskleidė... [toliau žr. visą tekstą] / The doctoral dissertation aimed to evaluate the efficacy of the Adlerian parent education program STEP (Systematic Training for Effective Parenting; Dinkmeyer, McKay, Dinkmeyer, 1997). Changes in parenting style and parental perception of child‘s behavior as well as knowledge on parenting were measured as indicators of education efficacy. The effect of various program participant- and leader-related characteristics and participation in the program factors for these changes were explored. The significance of Adlerian lifestyle dynamics as reflected in lifestyle themes for predicting the education efficacy were also assessed. In the empirical section of the dissertation, the results of the research study with pre-, post-test assessment and follow-up carried out in 2011-2012 are presented. The findings showed that the STEP program is efficacious for increasing knowledge on parenting, decreasing maternal authoritarian and permissive parenting style and maternal perception of the target child’s emotionally charging behavior. The follow-up assessment three to four months later indicated that the changes were stable. The results also indicated that maternal age, education, birth order position, target child’s birth order position and participation with a partner, homework assignments completed are significant for the efficacy of the STEP program with mothers. The significant relationships of efficacy of the STEP program with mothers were revealed with program leader’s birth order... [to full text]

Computer aided process planning (CAPP) is generally acknowledged as a significant activity to achieve Computer Integrated Manufacturing (CIM). In coping with the dynamic changes in the modern manufacturing environment, the awareness of developing integrated and intelligent CAPP systems has been raised in an attempt to generate more successful implementation of intelligent manufacturing systems. The main objective of this research work has been to develop an integrated intelligent process planning system that helps designers and process planners to improve their design and planning in the early stages of the product life cycle. In order to achieve this goal, the following specific objectives have been accomplished: (1) Developed a STEP-based feature modeler for building mechanical parts using high-level 3D solid features as the basic design entities. The modeler is capable of generating high-level product data in XML format according to ISO 10303-AP224 standard. This file can be used to integrate into CAPP/CAM systems without using a complex feature recognition process. (2) Developed a STEP-based intelligent process planning system for prismatic parts. The system maps STEP AP224 XML data file and produces the corresponding machining operations to generate a digital process plan in XML format according to ISO 14649 (STEP-NC) standard. A Hybrid approach of most recent techniques of artificial intelligence (neural networks, fuzzy logic and rule-based) is used as the inference engine of the developed system. Three neural network models are implemented to select machining operations, cutting tools, and machine tools. Several fuzzy logic models are utilized to select machining parameters for different machining operations, work material, and tool material combinations. The rule-based functions are utilized to perform operation sequence and setup planning. An object-oriented approach has been used in the definition and implementation of the developed system. This approach offers advantages of incremental system development and reusability. The developed system is integrated with AutoCAD using Activex automation interface. Several examples have been presented to demonstrate and verify the applicability of the developed system. Finally, this research will contribute significantly to the applicability of advanced artificial intelligent techniques in CAPP systems. The implementation of STEP technology in this research will support the integration of CAPP system with other systems in CIM environment. The developed system is intended to be an effective concurrent engineering tool that bridges the gap between design and manufacturing.

The main goals of the thesis were to prepare an analysis of activities of strategic management, to improve the synergy between strategic and operational management, to enhance the quality of strategic decisions in selected company. The first step was to study and comparison of Czech and foreign professional literature and make literary summary that gives the reader into the issue of strategic management. The practical part is performed by first analysis of the current state of strategic and operational management in selected company through the following analyzes: STEP analysis, industry analysis, financial analysis, guided interview with the director of the company. Based on the results of previous analyzes were determined strengths and weaknesses and the opportunities and threats of the company. Their influence is compared in the SWOT analysis. The last part presents proposals for measures that would lead to improving the coordination of strategic and operational management and an overall improvement in key areas of the company.