|
Developing open approach to mathematics in future primary school teachers
Samková, L. ; Tichá, Marie
In our contribution we focus on the possibility to develop open approach to mathematics in future primary school teachers during a university course on mathematics conducted in inquiry-based manner. We analyse data obtained in the beginning and in the end of the course with respect to two main aspects related to open approach to mathematics: searching for all solutions of a task, and acceptance of different forms of notation of a given solution. Data analysis revealed in the participants three different shifts towards open approach to mathematics, and showed that after the active participation in the course each of the participants improved at least in one of the monitored aspects, and that none of the participants got worse in any of the aspects.
|
|
Modelling, parameter estimation, optimisation and control of transport and reaction processes in bioreactors.
ŠTUMBAUER, Václav
With the significant potential of microalgae as a major biofuel source of the future, a considerable scientific attention is attracted towards the field of biotechnology and bioprocess engineering. Nevertheless the current photobioreactor (PBR) design methods are still too empirical. With this work I would like to promote the idea of designing a production system, such as a PBR, completely \emph{in silico}, thus allowing for the in silico optimization and optimal control determination. The thesis deals with the PBR modeling and simulation. It addresses two crucial issues in the current state-of-the-art PBR modeling. The first issue relevant to the deficiency of the currently available models - the incorrect or insufficient treatment of either the transport process modeling, the reaction modeling or the coupling between these two models. A correct treatment of both the transport and the reaction phenomena is proposed in the thesis - in the form of a unified modeling framework consisting of three interconnected parts - (i) the state system, (ii) the fluid-dynamic model and (iii) optimal control determination. The proposed model structure allows prediction of the PBR performance with respect to the modelled PBR size, geometry, operating conditions or a particular microalgae strain. The proposed unified modeling approach is applied to the case of the Couette-Taylor photobioreactor (CTBR) where it is used for the optimal control solution. The PBR represents a complex multiscale problem and especially in the case of the production scale systems, the associated computational costs are paramount. This is the second crucial issue addressed in the thesis. With respect to the computational complexity, the fluid dynamics simulation is the most costly part of the PBR simulation. To model the fluid flow with the classical CFD (Computational Fluid Dynamics) methods inside a production scale PBR leads to an enormous grid size. This usually requires a parallel implementation of the solver but in the parallelization of the classical methods lies another relevant issue - that of the amount of data the individual nodes must interchange with each other. The thesis addresses the performance relevant issues by proposing and evaluation alternative approaches to the fluid flow simulation. These approaches are more suitable to the parallel implementation than the classical methods because of their rather local character in comparison to the classical methods - namely the Lattice Boltzmann Method (LBM) for fluid flow, which is the primary focus of the thesis in this regard and alternatively also the discrete random walk based method (DRW). As the outcome of the thesis I have developed and validated a new Lagrangian general modeling approach to the transport and reaction processes in PBR - a framework based on the Lattice Boltzmann method (LBM) and the model of the Photosynthetic Factory (PSF) that models correctly the transport and reaction processes and their coupling. Further I have implemented a software prototype based on the proposed modeling approach and validated this prototype on the case of the Coutte-Taylor PBR. I have also demonstrated that the modeling approach has a significant potential from the computational costs point of view by implementing and validating the software prototype on the parallel architecture of CUDA (Compute Unified Device Architecture). The current parallel implementation is approximately 20 times faster than the unparallized one and decreases thus significantly the iteration cycle of the PBR design process.
|
|
Effect of snowpack on runoff generation during rain on snow event.
Juras, Roman ; Máca, Petr (advisor) ; Ladislav , Ladislav (referee)
During a winter season, when snow covers the watershed, the frequency of rain-on-snow (ROS) events is still raising. ROS can cause severe natural hazards like floods or wet avalanches. Prediction of ROS effects is linked to better understanding of snowpack runoff dynamics and its composition. Deploying rainfall simulation together with hydrological tracers was tested as a convenient tool for this purpose. Overall 18 sprinkling experiments were conducted on snow featuring different initial conditions in mountainous regions over middle and western Europe.
Dye tracer brilliant blue (FCF) was used for flow regime determination, because it enables to visualise preferential paths and layers interface. Snowpack runoff composition was assessed by hydrograph separation method, which provided appropriate results with acceptable uncertainty. It was not possible to use concurrently these two techniques because of technical reasons, however it would extend our gained knowledge. Snowmelt water amount in the snowpack runoff was estimated by energy balance (EB) equation, which is very efficient but quality inputs demanding. This was also the reason, why EB was deployed within only single experiment.
Timing of snowpack runoff onset decrease mainly with the rain intensity. Initial snowpack properties like bulk density or wetness are less important for time of runoff generation compared to the rain intensity. On the other het when same rain intensity was applied, non-ripe snowpack featuring less bulk density created runoff faster than the ripe snowpack featuring higher bulk density. Snowpack runoff magnitude mainly depends on the snowpack initial saturation. Ripe snowpack with higher saturation enabled to generate higher cumulative runoff where contributed by max 50 %. In contrary, rainwater travelled through the non-ripe snowpack relatively fast and contributed runoff by approx. 80 %.
Runoff prediction was tested by deploying Richards equation included in SNOWPACK model. The model was modified using a dual-domain approach to better simulate snowpack runoff under preferential flow conditions. Presented approach demonstrated an improvement in all simulated aspects compared to the more traditional method when only matrix flow is considered.
|
|
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.
|
|
Methods of Automated Model Transformations in Information System Analysis
Tůma, Jakub ; Merunka, Vojtěch (advisor) ; Toman, Prokop (referee)
This doctoral dissertation thesis has impact to holistically development extension of information systems. Thesis has impact to analytical models and its transformation methods.
This thesis is focused on models Business Process Modeling Notation (BPMN) and Business Object Relational Modeling (BORM). Model BPMN is developed since 2000. Model BORM is developed since 1993 and it is older. The thesis general target was extension of holistically development of information systems. The main target was to bridge the gap between BPMN and BORM models.
This thesis was inspired by Finite State Machine (FSM). The state of the art describes approaches to models transformation. In the analytical part the mathematical formula are used to describe transformation. This part is used to base for the implementation part. The implementation part contains transformation algorithm its description and verification on the case studies. Impact of developed transformation method is validated on the comparison with the other approaches.
The targets were aimed and documented automated transformation calculus. The impact of automated BPMN and BORM models connection using transformation method. The result is method of automated transformation from BPMN model to BORM model using algorithm. The transformation method is based on the Mealy automaton.
|
|
Conversations with Jindřiška Křivánková
Fröhlichová, Marie ; SOPROVÁ, Jana (advisor) ; HALAŠ, Adam (referee)
The aim of the thesis is to describe the principles of creativity of Jindřiška Křivánková, senior professional and a highly experienced theatre performer; and confront her way of thinking and creativity with my own artistic view and my skills gained during my time of study at HAMU. Thereafter, the thesis will first elaborate on her theatre development, from the beginning of her carrier until now. Further it will addresses the major aspects and circumstances that led to her prospering in the field. It also examines the influence of particular personalities that helped her to develop her distinct views on theatre. A further discussion on the various aspects of artistic creation and creative process in a mutual confrontation of the two of us, in which we touch not only broad general issues concerning the culture and theatre, but also the special approaches towards it.
|
|
Community care in psychiatry
BÍNOVÁ, Romana
Abstract Diploma thesis deals with the issue of community care in psychiatry and its objective is to describe the importance of a nurse in providing this care. Community psychiatric care is a very wide area of an intermediary patient assistance designed to help the patients in any areas of their lives. Although in the Czech Republic community care has not achieved the appropriate development yet, its benefits for patients are important now and its importance has been growing. In the theoretical part, after a brief introduction to community care issues, history, principles, but also community care connection with nursing care, are mentioned. Subsequently, attention is paid to particular areas of community care that are important for the mentally ill and the role of a nurse in these areas is described. The approach to the mentally ill, the issue of stigmatization and psychiatric care organizations are mentioned. In the theoretical are part, psychiatric illnesses that may occur in community care are also analyzed and it is explained how community care may be beneficial for psychiatric patients. In the practical part, the objective was to find out the level of psychiatric nurses´ awareness of community care and to determine if they see the sense of community care in psychiatry. Making a survey of community care in which nurses can be involved was another objective of the work. The nurses´ responses to the stated hypotheses were statistically analyzed within quantitative research. The purpose of hypotheses stated was to determine whether nurses with the work experience longer than ten years are more likely to believe that psychiatric care is more beneficial for patients than hospitalization., And also, if nurses with an education higher than secondary have better awareness of community services provision. Other hypotheses were focused on finding out whether nurses consider the most common community care services issue in the Czech Republic to be housing promotion and if nurses aged over thirty years are more aware of the nurses´ role importance in community care. None of those hypotheses were confirmed. The hypothesis assuming that nurses obtain more information on community care from the Internet and literature than at workshops was confirmed. Psychiatric nurses working in mental homes in the South Moravian region and the Vysočina region took part in this research. A component of the practical part is also an analysis of community services in these regions. In both the regions 13 civic associations and community centers were mapped.
|
|
The collection of published articles
DVOŘÁK, Petr
The aim of the collection of published articles is to define the requisite social skills of the English language teacher as a part of his/her professional competence, in the context of communicative language teaching in classroom interactions between English teachers and adolescent pupils. The theoretical preliminaries of the research whose findings are presented in the articles are the functional communicative approach to language and communicative language teaching. The attention is paid to the processes of interaction, communication and classroom discourse at school with an emphasis on foreign language teaching. We try to specify social skills of the English teacher and define social-skill aspects of foreign language educational interactions. The findings of the research presented in the articles concern mainly the educational style of English teachers and English teacher's behaviour in particular classroom interactions. The research is also focused on selected social-skill aspects of classroom discourse within communicative language teaching, specifically, pupils' and teachers' initiations of communication, questions, and the distribution of communication opportunities.
|
|
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 %.
|
guest ::
