|
The business models of IT startups based on sharing economy
Šimon, Petr ; Matuštík, Ondřej (advisor) ; Srpová, Jitka (referee)
The aim of this master thesis is to analyze the present condition of sharing economy and design a critical success factors model on a IT startups which operate as a transportation network companies. The result is finally validated on few representative businesses. The problem is solved by the modified qualitative critical success factors method whose author is John F. Rockart. The gained factors were finally used in the causal model which is based on the principles of system dynamics. The outcomes of this thesis are enabling to understand the relations which are hidden behind success of transportation network companies in the area of sharing economy. The information can be useful not only for startups but also for academic sphere and possible investors.
|
|
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.
|
|
Studio Damúza
Řezníková, Veronika ; PROKOP, Petr (advisor) ; SULŽENKO, Jiří (referee)
The bachelor thesis named Studio Damúza analyses the current state of the eponymous production unit, founded 17 years ago as an alternative stage to the DISK Theatre of Prague´sTheatre Faculty of the Academy od Performing Arts. The term "production unit" is explained on the example of several other production units, comparing the operation of Studio Damúza, Jedefrau.org and ART Prometheus. It gives a brief outline of Studio Damúza´s history. If further describes its current operation, financing and attemps at obtaining a production space run solely by Damúza. The poetics of Studio Damúza are characterised through the current repertoire. In the end, the thesis offers several possibilities of advancing the work of Studio Damúza. It looks for problems that create obstacles and tries to offer solutions.
|
|
Giuseppe Verdi: "Don Carlos" - opera complex scenographic project
Heřmánková, Lucie ; DAVID, Milan (advisor) ; TEMPÍR, Nikola (referee)
This bachelor’s thesis aims to find complex scenographic solution of Don Carlos opera composed by Italian author Giuseppe Verdi. Apart from my own creative solution I also present theoretical chapters of authors biography, relation to his work and I compare several Don Carlos productions by Josef Jelínek who designed six unique costume variations.
During process of making the set design I came up with lots of topics to think about. I chose freedom as main topic by studying past productions, libretto and musical part. This topic is one of the key elements of the creative solution and therefore I defined it further in part of this thesis. I am also looking for artistic ways that would be the most suitable and adequate for the opera, musical-dramatic genre, in which music could be more important than libretto. I am trying to find connections to contemporary society and keep the story up to date.
|
|
Subsidy Support of the Sustainable Waste Management
BEDNÁŘOVÁ, Renata
The subject of the dissertation is the issue of the waste management with special emphasis on the recycling of the construction and demolition waste. The recourse is an analysis of the key instruments regulating the activities and behaviour of market operators in this field toward fulfilling all-society priorities and principles of the sustainable development, where special accent is put on the area of subsidy policies and programmes. The aim of the dissertation is to analyse and evaluate the setting of the selected subsidy programme in terms of economic and ecological efficiency with the emphasis on the assessment of the impact on the recipient. The subject of the research will be a priority axis 4 "Improvement of Waste Management and Removal of Old Environmental Burdens" within the Operational Programme Environment 2007 - 2013. In the literature review basic concepts and important definitions are defined, followed by the comprehensive and complex searches of the problematics from different angles of view. First of all, the global aspect of environmental protection is discussed, broader historical, legal, economic and political contexts, that are essential fundament for understanding the current and future challenges both globally regionally, are summarized. Hereafter, a more detailed description of the situation of the European Union is followed, then the overview is completed by a detailed view at the state of the problematics in the Czech Republic. Subsequent chapters are devoted to a detailed analysis of the waste management sector, again in terms of global, European and national standpoint, in the end the view is focused on the key issue of the dissertation problematics of construction and demolition waste. In the application part the fulfilling of the stated objective of the dissertation through four defined hypothesis is solved. Hypotheses verify the efficiency and appropriateness of the setting of the system of subsidies in the frame of the monitored programme. The emphasis is imposed on the assessment of the impact of the allocated subsidies to the private entities on their economic and environmental efficiency.
|
|
Opera and new media
Gattringerová, Eliška ; KUSNJER, Ivan (advisor) ; PŘÍVRATSKÁ, Jiřina (referee)
The author is focusing on issues of opera in new media in her work. The introduction defines and decribes the concept of new medias. After that, author is especially focusing on presentation of operas which are broadcasted live into Czech cinemas, history of this relatively young phenomenon and its gradual develepment. As a next topic mentioned in the author's work is possibility to watch live broadcasts or records via particular websites of theatres. Finally, the author is describing internet websites, which are dealing with the opera issues, history, content and specifics. The author is summarizing other options how to present opera.At the end of the work, the author is trying to characterize meaning and benefits of the new medias for today's opera and opera audience.
|
|
The impact of herbivores on plant population dynamics: The importance for biological control of invasive plants
Šulcová, Hana ; Dostál, Petr (advisor) ; Kindlmann, Pavel (referee)
Herbivory is one of the most important relations between plants and animals. The herbivores affect plant populations not only by grazing, but also by trampling and disturbing the vegetation. Herbivores have also great potential to affect the population dynamics of particular plant species. The aim of this thesis is to evaluate the effect of herbivores on plant population dynamics and to interpret it in relation to biological control of invasive plants. When evaluating the effect of herbivores, it is necessary to keep in mind the fact that herbivores don't affect only plants but also each other through direct as well as indirect competition. The use of different herbivore species to supress the invasive plants may not necessarily be effective. The range of the effect of herbivores on plant population dynamics depends also on the environmental conditions. Habitats with infrequent disturbances and high competition levels among plants increase the effect of biological control, because high competition facilitates competitive exlusion of the target plant species. Different life-histories of plants play are also important in terms of biological control mainly the life-span and the endurance of the seed bank affect the results. Monocarpic species with short-lived seed bank can be relatively easily reduced by...
|
|
Automata in Infinite-state Formal Verification
Lengál, Ondřej ; Jančar, Petr (referee) ; Veith, Helmut (referee) ; Esparza, Javier (referee) ; Vojnar, Tomáš (advisor)
Tato práce se zaměřuje na konečné automaty nad konečnými slovy a konečnými stromy, a použití těchto automatů při formální verifikaci nekonečně stavových systémů. Práce se nejdříve věnuje rozšíření existujícího přístupu pro verifikaci programů které manipulují s haldou (konkrétně programů s dynamickými datovými strukturami), jenž je založen na stromových automatech. V práci je navrženo několik rozšíření tohoto přístupu, jako například jeho plná automatizace či jeho rozšíření o podporu uspořádaných dat. V práci jsou popsány nové rozhodovací procedury pro dvě logiky, které jsou často používány ve formální verifikaci: pro separační logiku a pro slabou monadickou druhořádovou logiku s následníkem. Obě tyto rozhodovací procedury jsou založeny na převodu jejich problému do automatové domény a následné manipulaci v této cílové doméně. Posledním přínosem této práce je vývoj nových algoritmů k efektivní manipulaci se stromovými automaty, s důrazem na testování inkluze jazyků těchto automatů a manipulaci s automaty s velkými abecedami, a implementace těchto algoritmů v knihovně pro obecné použití. Tyto vyvinuté algoritmy jsou použity jako klíčová technologie, která umožňuje použití výše uvedených technik v praxi.
|
|
Retargetable Analysis of Machine Code
Křoustek, Jakub ; Janoušek, Jan (referee) ; Návrat,, Pavol (referee) ; Kolář, Dušan (advisor)
Analýza softwaru je metodologie, jejímž účelem je analyzovat chování daného programu. Jednotlivé metody této analýzy je možné využít i v dalších oborech, jako je zpětné inženýrství, migrace kódu apod. V této práci se zaměříme na analýzu strojového kódu, na zjištění nedostatků existujících metod a na návrh metod nových, které umožní rychlou a přesnou rekonfigurovatelnou analýzu kódu (tj. budou nezávislé na konkrétní cílové platformě). Zkoumány budou dva typy analýz - dynamická (tj. analýza za běhu aplikace) a statická (tj. analýza aplikace bez jejího spuštění). Přínos této práce v rámci dynamické analýzy je realizován jako rekonfigurovatelný ladicí nástroj a dále jako dva typy tzv. rekonfigurovatelného translátovaného simulátoru. Přínos v rámci statické analýzy spočívá v navržení a implementování rekonfigurovatelného zpětného překladače, který slouží pro transformaci strojového kódu zpět do vysokoúrovňové reprezentace. Všechny tyto nástroje jsou založeny na nových metodách navržených autorem této práce. Na základě experimentálních výsledků a ohlasů od uživatelů je možné usuzovat, že tyto nástroje jsou plně srovnatelné s existujícími (komerčními) nástroji a nezřídka dosahují i lepších výsledků.
|
|
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.
|
guest ::
