|
Obchodní modely IT startupů založené na sdílené ekonomice
Šimon, Petr ; Matuštík, Ondřej (vedoucí práce) ; Srpová, Jitka (oponent)
Cílem této diplomové práce je analyzovat aktuální stav sdílené ekonomiky a navrhnout model kritických faktorů úspěchu u IT startupů působících ve specifické oblasti přepravních služeb. Výstup je posléze validován na několika vybraných společnostech. Zvolený problém byl řešen modifikovanou kvalitativní metodou kritických faktorů úspěchu, jejíž autorem je John F. Rockart. Získané faktory byly následně zasazeny do kauzálního modelu využívajícího principů systémové dynamiky. Výsledky této práce umožňují pochopit zákonitosti, které se skrývají za úspěchem přepravních služeb působících ve sdílené ekonomice. Informace jsou přínosné nejen pro startupy samotné, ale i pro akademickou sféru a potenciální investory.
|
|
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 (vedoucí práce) ; SULŽENKO, Jiří (oponent)
Bakalářská práce Studio Damúza je zaměřena na současný stav produkční jednotky, která vznikla před 17 lety původně jako alternativní scéna k Divadlu DISK pražské DAMU. Na příkladu několika produkčních jednotek je zde vysvětlen pojem produkční jednotka. Práce srovnává provoz Studia Damúza, Jedefrau.org a ART Prometheus. Popisuje vy zkratce historii Studia Damúza. Dále se věnuje především jeho současnému provozu, financování a pokusům o získání vlastního prostoru. Poetiku Studia Damúza přibližuje práce na popisu současného repertoáru. V závěru práce nabízí několik variant, jak posunout provoz Studia Damúza směrem kupředu. Hledá problémy, které mu v tom brání, a snaží se najít jejich řešení.
|
|
Giuseppe Verdi: "Don Carlos" - komplexní scénografický projekt opery
Heřmánková, Lucie ; DAVID, Milan (vedoucí práce) ; TEMPÍR, Nikola (oponent)
Cílem mé bakalářské práce je najít komplexní scénografické řešení opery Don Carlos italského hudebního skladatele Giuseppe Verdiho. Kromě vlastního výtvarného řešení se také zabývám teoretickými kapitolami z autorova života, okolnostmi vzniku díla, srovnáním několika inscenací Dona Carlose s odlišným scénografickým názorem i vývojem kostýmních návrhů výtvarníka Josefa Jelínka, který navrhl kostýmy k šesti různým inscenacím Dona Carlose.
Při tvorbě výtvarného návrhu mi vyplynula celá řada otázek a námětů k zamyšlení. Studiem předešlých inscenací, libreta a hudební složky se tématem mé koncepce stal pojem svobody. Tento pojem se nestává jediným určujícím faktorem pro výtvarnou složku, ale je potřeba ho definovat, a proto je součástí mé práce i krátká úvaha na téma svoboda. Ve své práci se snažím najít ty výtvarné prostředky, které by ji nejvíce vystihovaly a zároveň byly adekvátní vůči opeře, hudebně-dramatickému žánru, kde hudba může být i důležitější složkou než je libreto.
|
|
Dotační podpora trvale udržitelného odpadového hospodářství
BEDNÁŘOVÁ, Renata
Předmětem práce je problematika odpadového hospodářství se zvláštním zřetelem na oblast recyklace stavebních a demoličních odpadů a nakládání s nimi. Východiskem je rozbor klíčových nástrojů usměrňování činnosti a chování tržních subjektů v dané oblasti směrem k naplňování celospolečenských priorit a principů trvale udržitelného rozvoje, kdy zvláštní důraz je v textu kladen na oblast dotačních politik a programů. Cílem dizertační práce je u vybraného dotačního programu analyzovat a vyhodnotit nastavení systému dotační podpory v ČR z hlediska ekonomické a ekologické efektivnosti s akcentem na posouzení dopadu na příjemce. Předmětem zkoumání bude prioritní osa 4 "Zkvalitnění nakládání s odpady a odstraňování starých ekologických zátěží" v rámci Operačního programu Životní prostředí 2007 - 2013. V literární rešerši jsou definovány základní pojmy a důležité definice, načež následuje zevrubná a komplexní rešerše problematiky z různých úhlů pohledu. Nejprve je pojednáno o globálním hledisku ochrany životního prostřední, jsou zde shrnuty širší historické, legislativní, ekonomické i politické souvislosti, jež jsou nezbytným fundamentem pro pochopení aktuálních i budoucích problémů v celosvětovém měřítku i v jednotlivých regionech. V dalším textu následuje podrobnější deskripce situace Evropské unii, načež přehled je završen detailním náhledem na stav problematiky v České republice. Následné kapitoly jsou věnovány podrobnému rozboru oblasti odpadového hospodářství, a to opět z hlediska globálního, evropského i národního, kdy na závěr je pohled zaostřen na z hlediska zaměření práce klíčovou problematiku stavebních a demoličních odpadů. V aplikační části je prostřednictvím čtyř stanovených hypotéz řešeno naplnění stanoveného cíle dizertační práce. Hypotézy ověřují účinnost a vhodnost nastavení systému dotačních titulů v rámci sledovaného programu. Důraz je kladen na posouzení dopadu přidělených dotací soukromým subjektům na jejich ekonomickou a ekologickou efektivnost.
|
|
Opera a nová média.
Gattringerová, Eliška ; KUSNJER, Ivan (vedoucí práce) ; PŘÍVRATSKÁ, Jiřina (oponent)
Autorka se ve své práci zaměřuje na problematiku opery v nových médiích. V úvodu práce definuje a charakterizuje pojem nová média. Dále se pak zaměřuje především na prezentaci oper prostřednictvím satelitních přenosů do kin v České republice, historií tohoto relativně mladého fenoménu a jeho postupným vývojem. Dalším tématem je pak možnost sledovat přímé přenosy či záznamy oper prostřednictvím internetu na stránkách jednotlivých divadel a jeho možnosti. V neposlední řadě se autorka zabývá také internetovými webovými stránkami, které se v České republice věnují operní problematice, jejich historii, obsahu i specifikům. Shrnuje i další možnosti prezentace opery. V závěru práce se autorka pokouší charakterizovat význam a přínos nových médií pro operu a operní publikum v současnosti.
|
|
Dopad herbivorů na populační dynamiku rostlin: Význam pro biologickou kontrolu zavlečených rostlin
Šulcová, Hana ; Dostál, Petr (vedoucí práce) ; Kindlmann, Pavel (oponent)
Herbivorie je jedním z nejdůležitějších vztahů rostlin a živočichů. Herbivoři ovlivňují populace rostlin nejen přímo pastvou, ale i třeba sešlapem a vytvářením disturbancí v porostu. Mají také velký potenciál ovlivňovat populační dynamiku jednotlivých druhů rostlin. Cílem této práce je zhodnotit vliv herbivorů na populační dynamiku rostlin a interpretovat jej ve vztahu k biologické kontrole zavlečených rostlin. Při zhodnocování vlivu herbivorů je potřeba brát v potaz i skutečnost, že hebrivoři neovlivňují pouze rostliny, ale také působí na sebe navzájem, ať už přímou kompeticí či nepřímou. Při biologické kontrole proto nemusí být vhodné používat více druhů herbivorů k potlačení nepůvodního druhu. Míra vlivu herbivorů na populační dynamiku rostlin je také závislá na celkových podmínkách ve společenstvu. Málo disturbovaná stanoviště s vysokou mírou kompetice dávají vyšší šanci na úspěch biologické kontroly, protože tamní podmínky usnadňují kompetiční vyloučení cílového druhu. Velkou roli při biologické kontrole mají odlišné životní strategie rostlin, zejména délka života a vytrvalost semenné banky. Monokarpické druhy s přechodnou semennou bankou lze poměrně úspěšně redukovat konzumací semen, případně květů. Oproti tomu u vytrvalých polykarpických druhů je nezbytné redukovat přímo ustavené jedince. V takových...
|
|
Automata in Infinite-state Formal Verification
Lengál, Ondřej ; Jančar, Petr (oponent) ; Veith, Helmut (oponent) ; Esparza, Javier (oponent) ; Vojnar, Tomáš (vedoucí práce)
The work presented in this thesis focuses on finite state automata over finite words and finite trees, and the use of such automata in formal verification of infinite-state systems. First, we focus on extensions of a previously introduced framework for verifi cation of heap-manipulating programs-in particular programs with complex dynamic data structures-based on tree automata. We propose several extensions to the framework, such as making it fully automated or extending it to consider ordering over data values. Further, we also propose novel decision procedures for two logics that are often used in formal verification: separation logic and weak monadic second order logic of one successor. These decision procedures are based on a translation of the problem into the domain of automata and subsequent manipulation in the target domain. Finally, we have also developed new approaches for efficient manipulation with tree automata, mainly for testing language inclusion and for handling automata with large alphabets, and implemented them in a library for general use. The developed algorithms are used as the key technology to make the above mentioned techniques feasible in practice.
|
|
Retargetable Analysis of Machine Code
Křoustek, Jakub ; Janoušek, Jan (oponent) ; Návrat,, Pavol (oponent) ; Kolář, Dušan (vedoucí práce)
Program analysis is a computer-science methodology whose task is to analyse the behavior of a given program. The methods of program analysis can also be used in other methodologies such as reverse engineering, re-engineering, code migration, etc. In this thesis, we focus on program analysis of a machine-code and we address the limitations of a nowadays approaches by proposing novel methods of a fast and accurate retargetable analysis (i.e. they are designed to be independent of a particular target platform). We focus on two types of analysis - dynamic analysis (i.e. run-time analysis) and static analysis (i.e. analysing application without its execution). The contribution of this thesis within the dynamic analysis lays in the extension and enhancement of existing methods and their implementation as a retargetable debugger and two types of a retargetable translated simulator. Within the static analysis, we present a concept and implementation of a retargetable decompiler that performs a program transformation from a machine code into a human-readable form of representation. All of these tools are based on several novel methods defined by the author. According to our experimental results and users feed-back, all of the proposed tools are at least fully competitive to existing solutions, while outperforming these solutions in several ways.
|
|
Harnessing Forest Automata for Verification of Heap Manipulating Programs
Šimáček, Jiří ; Abdulla, Parosh (oponent) ; Křetínský, Mojmír (oponent) ; Vojnar, Tomáš (vedoucí práce)
This work addresses verification of infinite-state systems, more specifically, verification of programs manipulating complex dynamic linked data structures. Many different approaches emerged to date, but none of them provides a~sufficiently robust solution which would succeed in all possible scenarios appearing in practice. Therefore, in this work, we propose a new approach which aims at improving the current state of the art in several dimensions. Our approach is based on using tree automata, but it is also partially inspired by some ideas taken from the methods based on separation logic. Apart from that, we also present multiple advancements within the implementation of various tree automata operations, crucial for our verification method to succeed in practice. Namely, we provide an optimised algorithm for computing simulations over labelled transition systems which then translates into more efficient computation of simulations over tree automata. We also give a new algorithm for checking inclusion over tree automata, and we provide experimental evaluation demonstrating
|
host ::
