|
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.
|
|
Population genetic analysis of Old Kladruber horse
Vostrá Vydrová, Hana ; Majzlík, Ivan (advisor) ; Karel, Karel (referee)
The Old Kladruber horse, along with the Lipizzaner horse, Andalusian horse and Lusitano horse, is of the original Italo-Spanish type. The Old Kladruber horse is kept in two colour varieties (grey and black). Because the population is closed, there is a concern about the loss of genetic variation. The genetic diversity and population structure were analysed in the Old Kladruber horse breed based on the pedigree information of animals that were registered in the Studbook to identify factors that may have affected the genetic variability of the breed. Pedigree records collected from 1729 to 2013 contained information on 7971 animals that were used in the analyses. The pedigree depth was up to 33 generations, with an average of 15.1 complete generations. The effective number of founders and ancestors contributing to the current genetic pool was 92.69 and 17.16, respectively. The average values of the inbreeding coefficient were as follows: 13% (with a maximum value of 29%) for the reference population (individuals that can currently take part in reproduction, n=612), 11% for the grey variety (with a maximum value of 25%) and 15% for the black variety (with a maximum value of 29%). The proportion of inbred animals was high (99%). The average rate of inbreeding in the reference population was 1%: 0.8% for the grey variety and 1.1% for the black variety, and the respective estimates of the effective population sizes were 52 for the reference population, 62 for the grey variety and 45 for the black variety. The estimated percentage of genetic diversity lost due to non-random mating within subpopulations and the reference population was 1.0, 1.0 and 1.2%, respectively. The total loss of genetic diversity in the reference population, in the grey variety and in the black variety was 11%, 13% and 17%, respectively.
|
|
E-learning support for lifelong training
Žažo, David ; Husa, Jiří (advisor) ; Marek, Marek (referee)
The bachelor thesis deals with the process of creating an e-learning course for the personnel operating with the camera system of the municipal police in Chomutov. This course is created on the base of need to introduce the controlling software IndigoVison Control Center to the current employees and also to the new employees. During the course, the participants get familiar with the features, options, and operating principles of the software. At the end of the course, the knowledge gained by completing the course is validated by the final test. The entire course is evaluated, based on test results and interviews with the participants. The theoretical part deals with e-learning, it mentions the advantages and disadvantages as well as the specifics associated with adult education. The practical part is a detailed presentation of the course, which is fully implemented in an environment of MoodleCloud and it is practical result of the thesis.
|
|
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.
|
|
Italian conjunctions and their Czech equivalents
TYŠEROVÁ, Ludmila
This thesis deals with the Italian conjunctions. The work is divided into a theoretical and an application part. The theoretical part focuses on the definition of the conjunctions and the method of their division according to individual viewpoints. In the second part, in the application one, the sample of conjunctions is created together with the use of the corpus and the Italian dictionary. The part of this sample is then analysed in formal, semantic, and translatological terms. The formation of the list of the Italian conjunctions with the proposed Czech equivalents is part of the work. The aim of this thesis is to make the complete overview of Italian conjunctions and their Czech equivalents.
|
|
Právní a zdravotně sociální aspekty činnosti OSPOD jako ustanovených opatrovníků v zámu nezletilých dětí
BORSKÁ, Jana
The Czech Republic as a signatory of the Convention on the Rights of the Child has vested the practice of state administration in the field of care for minor children to municipalities with extended powers, where the protection of the rights and legitimate interests of minor children is safeguarded by state authorities of social and legal protection of children (ASLPC hereinafter). These authorities are incorporated to the extent laid down by the Act on Social and Legal Protection of Children (Act No 359/1999 Coll., as amended). The position and roles of ASLPC and their competence and jurisdiction are also regulated by the same act. The position of workers of these authorities and its legal embodiment is equally important. Regarding professionality, there are high demands on these workers. In the Czech Republic, significant changes in legislature have been made over the past three years. These amendments have led to the strengthening of the rights of minor children and to the establishing of new tools for their protection. In connection with the adoption of new substantive regulation of family law, which is now exhaustively dealt with by the Act No 89/2012 Coll., the Civil Code, new procedural rules have been established regarding protection of rights of minor children. Such procedural legislation includes (apart from the long-existent Act No. 99/1963, the Code of Civil Procedure) the Act No 292/2013 Coll., on Special Civil Proceedings. The decision-making regarding minor children has been vested mainly by the state into the competence of courts. The courts appoint the locally relevant ASLPC as a guardian who then represents the interests of minor children. The purpose, interwoven with and derived from the first one, was to explore the opinions of selected social workers of ASLPC and of district court judges regarding the defined problems occurring during the work of ASLPCs and courts while protecting the interests of minor children. These particularly include: the use of the tool of precautionary measure; problems of different territorial jurisdiction of courts and ASLPCs; processing of complaints regarding bias in various phases of the proceedings; professional training of workers of ASLPC It is evident from the proposals of both judges and ASLPC workers that it is necessary to unify territorial jurisdiction. The courts are suggesting the priority criterion of the address where the child mainly resides. ASLPC workers suggest the official permanent residence as the prime criterion. Bias causes problems in all phases of proceedings. It is obvious that courts take differing approaches towards the solution of this problem (some courts solve the problem of bias complaints filed by the parties while other courts do not) and for ASLPC workers it is difficult to assess how to act when such complaint is raised against them. The training of ASLPC workers - workers are obliged to educate themselves and their employer is obliged to finance such training. Not all ASLPCs are able to provide training in the required extent - due to financial reasons (the average costs of education of one employee pose from 9,169 to 13,400 CZK annually and they cover approximately 6 days of training). The heavy work-load caused by insufficient numbers of ASLPC employees prevents them from completing such compulsory training. As part of the examination of the "participation of a collision guardian in court proceedings" it has been found out that irregular participation of the worker in the proceedings (absence from participation in appeals proceedings); incomplete reports (directed to courts) from surveys in families. Based on comprehensive examination of the problems of territorial jurisdiction, it was recommended that requests are independently recorded and financial compensation is provided for ASLPCs who are requested to represent minors in front of courts, to draft proposals for precautionary measures.
|
|
Online Subject Searching of Dissertations
Bratková, Eva
This paper evaluates searching for doctoral dissertations by topic in various online systems. The situation in the Czech Republic is introduced, including the problems involved in completing successful topical searches for dissertations – is it possible to find all relevant materials, or is it sufficient just to find something? The Czech situation is then compared with how systems abroad, particularly in the United States, are being implemented with new access routes for dissertations in the form of linked open data, in which controlled vocabularies of subject terms figure prominently. The paper also discusses how selected European systems whose dissertations are already presented in the WorldCat database will cope with a challenge: “... Over time, these references [for topic entities] will be replaced with persistent URIs to... Linked Data resources”?
Fulltext: idr-1034_3 -  PDF; idr-1034_4 - PDF
Slides: idr-1034_1 - PDF; idr-1034_2 - PDF
Video: idr-1034_5 -  MP4
|
|
Improving labour productivity: How to determine standard time for performing specific tasks in the selected organization
BARTOŠKOVÁ, Martina
This bachelor thesis focuses on the standard time needed for specific tasks in the selected organization, as well as on the appropriate methods for its determination. The findings serve as a basis for the formulation of measures which should be taken to improve labour productivity. The methods include the standardization of tasks, time study and computer-based data analysis (Microsoft Excel spreadsheets). The theoretical part of the paper discusses the nature of job production, the methods appropriate for the calculation of standard production time and the ways to ensure efficient work and time management in the given factory. Apart from these, a complete description (history, facility layout, pre-production and production stages, machines and materials) of the selected organization is provided to serve as a background for the case study presented in the practical part. This includes the list of production tasks, production time tables and time standards along with materials necessary to facilitate production. The aim of the thesis is to help the organization improve its labour productivity and provide it with the algorithm which can be used to determine production time for similar orders.
|
|
Effect of a graduate of field of study Special Education - tutorship in practice of providers of social care
SALABOVÁ, Jana
Theoretical part of the thesis is divided into 4 main chapters. First one deals with the helping professions generally, their definitions and definition of the Special education - Tutorship branch of study per se.It also briefly touches the subject of readiness of the future graduates to deal effectivelly with the challenges of a career in the field of social services. Chapter number two is called Special education and it defines the subject of special education itself, it's purpose and inner structure. Third chapter focuses on social services. It brings up it's definition and types and forms of social services.It also contains the examples of the institutions which fall into this category and it's providers. Chapter number four, which happens to be the last one in the theoretical part of the thesis, covers the role and purpose of graduates of the special education - tutorship studies. It brings up the definition of a social worker, necessary prerequisites as well as beneficial personality traits and feautures. In a subchapter of chapter four is a short description of a pedagogue tutor. Definition who he actually is, who are proper candidates for this position, what are desired personality traits we look for in tutors and the actual content and purpose of their work in institutions providing social services. The end of chapter four is dedicated to a position of a social worker. His activities, the position and definition of a personal assistant and again personality traits needed for a successful career in this field. The objective of the practical part of the thesis is to describe working of Special education - tutorship studies graduates in practice. Particularly their experiences "from the field", how do they evaluate the level of skill of fresh graduates during their first encounters with the reality, how satisfied are they with their choice of a career so far and what was their motivation to pursue such career. Practical part of the thesis includes qualitative research. To meet the above objectives, data collection technique had been chosen using a structured interview with the respondents, who were graduates of Special education tutorship studies. You can tell by the results of this thesis that graduates in the field of social services apply mostly to lower positions as a social service workers, even though they are qualified to perform as a social workers. The age of clients with whom the respondents work ranges from childhood to senior. The motivation that led those questioned respondents to the decision to choose the area of social services varies. Some reported that they were influenced by the actual practical experience during their studies at the university, when both the work itself and their enthusiasm for the target group played role. Others expressed they had previous experience working with people with disabilities or they just wanted to acquire new experiences. Also, involvement of a family member and their previous education was a motivation. Job satisfaction is evident from observed data, and it also contributes to work done accurately and responsibly. Personal benefits for the respondents according to findings are usually their usefulness at work, new experiences they are getting and last but not least advances of their clients. As the biggest advantage the respondents usually mention variability of their work, target group and the clients in itself and the fact, that their work is highly satisfying and they basically work in a very pleasant team of individuals. On the other hand, not exactly satisfying financial reward and challenging working hours are mentioned as disadvantages. Special education - tutorship studies - the branch they've studied, is by the majority of respondents considered to be beneficial for them and they especially highlight practical impact of practice they completed during their studies and which included visits to various relevant institutions.
|
guest ::
