|
Bifurcation in mathematical models in biology
Kozák, Michal ; Stará, Jana (referee)
Stationary, spatially inhomogenous solutions of reaction-diffusion systems are studied in this thesis. These systems appears in biological models based on a Tu- ring's idea of a diffusion driven instability. In the connection, a global behaviour of bifurcation branches of these stationary solutions is analyzed. The thesis in- sists on theory of differential equations and on (particularly topological) methods of nonlinear analysis. The existence, as well as non-compatness in one-dimensional space, of a bifurcation branch of general reaction-diffusion system leading to Tu- ring's efekt is proved. Further, a priori estimates of Thomas model are derived. The results tend to theorem, that forall diffusion coefficient from the preestab- lished set there exists at least one stacionary, spacially nontrivial solution of Tho- mas model.
|
|
Bifurcation in mathematical models in biology
Kozák, Michal ; Kučera, Milan (advisor) ; Stará, Jana (referee)
Stationary, spatially inhomogenous solutions of reaction-diffusion systems are studied in this thesis. These systems appears in biological models based on a Tu- ring's idea of a diffusion driven instability. In the connection, a global behaviour of bifurcation branches of these stationary solutions is analyzed. The thesis in- sists on theory of differential equations and on (particularly topological) methods of nonlinear analysis. The existence, as well as non-compatness in one-dimensional space, of a bifurcation branch of general reaction-diffusion system leading to Tu- ring's efekt is proved. Further, a priori estimates of Thomas model are derived. The results tend to theorem, that forall diffusion coefficient from the preestab- lished set there exists at least one stacionary, spacially nontrivial solution of Tho- mas model.
|
|
Time discretization method of solving PDE
Myška, Michal ; Zatočilová, Jitka (referee) ; Nechvátal, Luděk (advisor)
This thesis deals with solving evulution partial differential equations by the time discretization method. It originates form the Rothe's method (methond of lines). The thesis is divided into three parts. The first one shows principle of the method. The second part focuses on teoretical aspects, in particular, on existence and convergence theorem along with an error estimate. Some function analysis tools are presented here as well. In the last part, a MATLAB code is listed.
|
|
Physically-based Modeling and Simulation
Dvořák, Radim ; Racek, Stanislav (referee) ; Šujanský,, Milan (referee) ; Zbořil, František (advisor)
Disertační práce se zabývá modelováním znečištění ovzduší, jeho transportních a disperzních procesů ve spodní části atmosféry a zejména numerickými metodami, které slouží k řešení těchto modelů. Modelování znečištění ovzduší je velmi důležité pro předpověď kontaminace a pomáhá porozumět samotnému procesu a eliminaci následků. Hlavním tématem práce jsou metody pro řešení modelů popsaných parciálními diferenciálními rovnicemi, přesněji advekčně-difúzní rovnicí. Polovina práce je zaměřena na známou metodu přímek a je zde ukázáno, že tato metoda je vhodná k řešení určitých konkrétních problémů. Dále bylo navrženo a otestováno řešení paralelizace metody přímek, jež ukazuje, že metoda má velký potenciál pro akceleraci na současných grafických kartách a tím pádem i zvětšení přesnosti výpočtu. Druhá polovina práce se zabývá poměrně mladou metodou ELLAM a její aplikací pro řešení atmosférických advekčně-difúzních rovnic. Byla otestována konkrétní forma metody ELLAM společně s navrženými adaptacemi. Z výsledků je zřejmé, že v mnoha případech ELLAM překonává současné používané metody.
|
|
Image Inpainting Methods
Kovacs, Jan ; Špiřík, Jan (referee) ; Průša, Zdeněk (advisor)
This thesis deals with an overview of modern Image Inpainting Methods. There are several best-known methods selected and described in the theoretical part of this work. Each of the selected methods is described and evaluated according to the informations available in literature. Among the methods that were selected and subsequently described in this work are Image Inpainting, Fragment-Based Image Completion, Exemplar-Based Image Inpainting, Gradient-Based Image Completion by Solving Poisson Equation and Inpainting by Flexible Haar-Wavelet Shrinkage. The MATLAB implementation of the Framelet-Based Image Inpainting algorithm forms practical part of the thesis. The Framelet transform was created for the purposes of the algorithm. The user interaction provides GUI, which was also implemented in MATLAB. The GUI allows setting input images, algorithm parameters and interaction with the output. The user is always informed about the current state of the computation, and the current result of image completion is shown to him. Moreover, it was created a tool that allows the user to define the areas to be supplemented, using the mouse. Finally, the algorithm performance is evaluated and compared using both Framelet and Contourlet transform.
|
| |
| |
|
Partial Differential Equations Parallel Solutions
Nečasová, Gabriela ; Šátek, Václav (referee) ; Kunovský, Jiří (advisor)
This thesis deals with the topic of partial differential equations parallel solutions. First, it focuses on ordinary differential equations (ODE) and their solution methods using Taylor polynomial. Another part is devoted to partial differential equations (PDE). There are several types of PDE, there are parabolic, hyperbolic and eliptic PDE. There is also explained how to use TKSL system for PDE computing. Another part focuses on solution methods of PDE, these methods are forward, backward and combined methods. There was explained, how to solve these methods in TKSL and Matlab systems. Computing accuracy and time complexity are also discussed. Another part of thesis is PDE parallel solutions. Thanks to the possibility of PDE convertion to ODE systems it is possible to represent each ODE equation by independent operation unit. These units enable parallel computing. The last chapter is devoted to implementation. Application enables generation of ODE systems for TKSL system. These ODE systems represent given hyperbolic PDE.
|
| |
| |