|
Numerical solution of 3D ow
Kyncl, Martin
Nazev prace-: Numericke fesem tfirozrnorneho proucleni Autor: Martin Kyncl Katcdra: Katedra numericke iiiatcinatiky Vedouci diplomove prace: Doc. RNDr. Jifi Felcman, CSc. e-mail vedouciho: felcman(G>karlm.inff.cuni.c/ Abstrakt: Prace se zabyva numorickym modelovanim nevazkeho a vazkeho stlacitelneho proudeni plynu ve 3D. Pou/iLa mutoda fes(Mif jn zalo2cna na ro/lo/rni systemu, kterym jc proudoni popsano, na nevazkou a ciste vaxkou cast. V praci json uvedeny numericke vyskulky, ktcre uka/uji pou/Jtelnost navrzene metody. Klicova slova: stlacitelne proudeni, Eulerovy rovnice, Navier-SLokesovy rov- nice, mctoda konecnycli objeinu, motoda konecnych prvku, Dolauriayova tri- angulace Title: Numerical solution of 3D flow Author: Martin Kyncl Department: Department, of Numerics Supervisor: Doc. RNDr. Jin Felcman, CSc. Supervisor's e-mail address: folemanQkarlin.mff.cuni.c/ Abstract: The paper is concerned with numerical modelling of inviscid as well as viscous gas flow in 3D. The method is based on upwind flux vector splitting finite volume scheme combined with finite elements. The geomet- rical data and the computational results for the three-dimensional flow arc presented. Keywords: compressible flow, Euler equations, Navicr-Stokes equations, fi- nite volume method, finite element method, Delaunay...
|
|
Minimum Weight Triangulation (MWT)
Charvát, Pavel ; Kolingerová, Ivana (advisor) ; Ferko, Andrej (referee)
For a long time, it has been neither known whether MWT is solvable in a polynomial time nor whether it belongs to NP. As we now, its status still remain unknown. We present severalknown approaches to MWT such as modifications of the problem with known time complexity or various heuristics and approximations which allow us to find an exact or at least an approximate solution in a reasonable time. We compare the approximations in some particular situations. The main part of the work is devoted to a description and implementation of an efficient heuristic with (almost?) linear expected complexity for points uniformly distributed in some convex shape. The algorithm is a modification of Drysdale's algorithm for finding GT candidates and Beurouti's computation of the modified LMT-skeleton, where we add some proofs of the correctness. We are able to complete MWT from the graph of candidate edges in O(n · d3 + n · d2+k), where d is the the maximum degree and k is the maximum number of inner components of some skeleton face. Further, we suggest a new approximation of MWT with polynomial complexity in the worst case and (almost?) linear expected complexity, which only rarely differs from the optimal triangulation and has O(1) approximation factor in the worst case. This approximation combines the LMT-skeleton...
|
|
Optical Motion Capturing
Zátopek, Martin ; Pelikán, Josef (advisor) ; Štěpán, Vladimír (referee)
Main thema of the thesis lies in optical motion capture algorithms and their usage with cheap webcameras. Multiple cameras connected to a single computer are taken into account, while using Video4Linux on the Linux operating system for reading image data. Two camera calibration algorithms are inspected in detail: Direct Linear Transformation and Tsai calibration. Practical part of the work deals with design and implementation of an optical motion capture system, using Reg Willson's implementation [5] of Tsai calibration. Documentation for the system contains description of calibration scene, semiautomatical procedure of retrieving calibration data, synchronization and storing data from multiple devices available on a local network. Final reconstruction of marker's 3D coordinates uses standard translational format TRC.
|
|
The Construction and Usage of Smaller Computer Networks
Straka, Martin ; Pinkas, Otakar (advisor) ; Šmejkal, Ivo (referee)
The main goal of this bachelor thesis is to document the gradual building of a computer network and its functioning including the theory necessary to create a step-by-step guide for doing so. The theory concerning foresaid funcionality was gained via the use of internet resources and the literature mentioned in the document itself and the practical part is based on the use of resources similar to the ones available at the workplace designed for its use. The document itself is about designing the correct network usable for a small business which is however capable of using higher tiers of client-server network functionality and the traffic monitoring available to it. The second goal is to choose and set up such network services which are crucial or auxiliary for the business core funcionality and the final part is about expanding such small network using VPN.
|
|
Tool for editing PDDL projects
Chomut, Miroslav ; Plch, Tomáš (advisor) ; Dvořák, Filip (referee)
Title: Tool for editing PDDL projects Author: Miroslav Chomut Department / Institute: Department of Software and Computer Science Education Supervisor of the bachelor thesis: Mgr. Tomáš Plch Abstract: The Planning Domain Definition Language (PDDL) is one of standard languages used for defining planning domains and problems. PDDL is a syntactically complex language therefore developers often make syntax and semantic errors. Working with larger PDDL files is time consuming. Unlike imperative programming languages (e.g. C#, C++), there is no suitable widespread tool for editing PDDL. Our goal is to provide PDDL developers with tool for comfortable editing, which is known from tools for imperative programming languages (e.g. Microsoft Visual Studio). This thesis describes our project called PDDL Studio, which is capable of a) syntax highlighting, b) context sensitive code completion, c) error detection with Interactive Error Table, d) code collapsing, e) project management, f) XML export and import features, g) planner integration and h) common editor features (e.g. Bracket Matching, Line Counter). Our tool is multiplatform and it is designed to increase efficiency of PDDL developers and code readability. Keywords: Problem Domain Definition Language, Integrated Development Environment, editor, syntax checking,...
|
|
Test-Driven Development
Kopecký, Martin ; Buchalcevová, Alena (advisor) ; Mészáros, Jan (referee)
Contemporary software applications must provide high amount of reliability and have to be able to respond to the rapid changes in their environment. Test-Driven Development is a technique, which tries to enable and simplify the development of such applications. The main aim of this bachelor thesis is the practical application of this technique on the development of a computer program in Java programming language. General description of the studied technique and slight modifications leading to better integration with BlueJ IDE were necessary in order to achieve the primary goal. The mission of this bachelor thesis is to introduce the Test-Driven Development to the students of the University of Economics in Prague and provide them with a teaching material. The main contribution to the field is in the modification of an existing theoretical approach and its practical application. The thesis starts with the description of Test-Driven Development technique, its prerequisites, the procedure itself and the resulting benefits. The procedure is then redefined to integrate with BlueJ and to enable the programmer to use the features of the IDE as well. The development of the sample program is afterwards driven by the edited procedure.
|
|
Criminal Law and Criminological Aspects of the Internet Criminality
Krupička, Jiří ; Jelínek, Jiří (advisor) ; Záhora, Jozef (referee) ; Gřivna, Tomáš (referee)
Criminal Law and Criminological Aspects of the Internet Criminality Key words: Internet, Criminal law, Criminology Abstract (EN): Internet criminality is a very young phenomenon; the internet itself was presented in the recent form only about 20 years ago. Nevertheless, the relative youth of the internet does not mean that the internet crimes are less serious or less prevalent than other criminal activities. The mass, relative anonymity and progressive globalization of the internet together with bustling development of computer technology provide both the organized crime and individuals with perfect means to commit all sorts of offences. With regard to its extant, this study is not supposed to serve as an overall and full detailed analysis of the internet criminality. The objective of this paper is a criminological description of socially dangerous phenomenons related to the internet, concretely the origin of these phenomenons in the society, the most frequent modus operandi of the internet crime, means of prevention and the criminal law qualification of the relevant criminal activities. The paper itself is divided into four separate parts. The first part contains a general introduction into the problems of internet criminality. We can find there a definition of the term "internet" and "internet...
|
|
E commerce
Hampl, Michal ; Křivánek, Mirko (advisor) ; Bednárek, David (referee)
Title: E-commerce Author: Michal Hampl Department: Department of Theoretical Computer Science and Mathematical Logic Supervisor: doc. RNDr. Mirko Křivánek, CSc. Abstract: Aim of this work is to map and evaluate possibilities of interoperability of existing e-commerce systems with external systems, find out positives and negatives of existing solutions and on the basis of these information to propose a model of universal interoperability framework of general e-commerce product with general external system. Main goal of this framework is to get the most general solution such as it is possible to create connection to new external system with as less effort as possible but not against its generality. This work will also contain concept of implementation of designed model and verification of its usability while implementing connection to several existing external systems. At the end it will contain evaluation of proposed model in context of experience acquired while implementing sample connections. Keywords: e-commerce, interoperability
|
|
Choosing an antivirus program
David, Jan ; Pícka, Marek (advisor) ; Hanzlík, Petr (referee)
This bachelor thesis is focused on choosing a free antivirus software for basic internet usage on a personal computer.
The first part focuses on the issue of malicious software and is divided into categories based on various viewpoints. In addition, several types of prevention are mentioned. This part also explains the history of antivirus software.
The second part contains the actual comparison of five freeware antiviruses. Selection of these five programs is based on a survey. The test consists of five criteria: time of computer deep scan, disc usage, memory usage, user interface and safety rating by AV-Test. These criteria are weighted using Saaty method and the final result is calculated using a weighted sum method.
|
|
Structure and dynamics of electronic defects in liquid water
Maršálek, Ondřej ; Jungwirth, Pavel (advisor) ; Horáček, Jiří (referee) ; Pittner, Jiří (referee)
Title: Structure and dynamics of electronic defects in liquid water Author: Ondřej Maršálek Institute: Institute of Organic Chemistry and Biochemistry, Academy of Sciences of the Czech Republic Supervisor: prof. Mgr. Pavel Jungwirth, DSc. Supervisor's e-mail address: pavel.jungwirth@uochb.cas.cz Abstract: In this thesis we present ab inito molecular dynamics simulations of two different electronic defects in water. Photoionization of liquid water produces a cationic hole, which undergoes ultrafast dynamics and forms the hydrated proton and the hydroxyl radical as its products. We study both the dynamics and spectroscopy of this process. The hydrated electron is a key intermediate in radiation chemistry of aqueous systems. We simulate its equilibrium properties in anionic water clusters as well as the dynamics of vertical electron attachment to cold and warm clusters. The hydrated electron reacts with a hydrated proton to form a hydrogen atom. We examine this reaction at a finite temperature in a larger cluster as well as in more detail in a smaller cluster. Because both of the electronic defects studied here are challenging open-shell species, we put emphasis on benchmarking and testing our computational setup. Six published articles are attached to the thesis. Keywords: density functional theory,...
|
guest ::
