This diploma thesis is focused on the construction of the electrochemical cells for the lead determination using electrochemical generation of volatile compounds connected with the atomic absorption spectrometry as a detection technique. Three different electrochemical cells were constructed: membrane electrochemical cell (MEC), non-membrane electrochemical cell 1 (BEC1) and non-membrane electrochemical cell 2 (BEC2). Experimental conditions were optimized in continuous flow mode with cells BEC1 and BEC2. The optimization include flow rate of carrier gas, composition and concentration of the electrolytic solution, atomization temperature, generation current and voltage applied to the electrode material. A 1.0 mm diameter cadmium wire was used as cathode material and the anode material was composed of platinum wire of 0.5 mm in diameter. Under the optimal experimental conditions, the calibration was constructed and basic characteristics of proposed method were determined for the BEC1 and BEC2 cells: limit of detection, limit of quantification, repeatability, sensitivity, linear dynamic range and correlation factor of linear dynamic range. The cell MEC was found to be unsuitable for the lead determination by the electrochemical generation of volatile compounds. Using the BEC1 cell, the experimental...

Ne vždy je jednoduché získání dostatečně velké a kvalitní datové sady s obrázky zřetelných artefaktů, ať už kvůli nedostatku ze strany zdroje dat nebo složitosti tvorby anotací. To platí například pro radiologii, nebo také strojírenství. Abychom mohli využít moderní uznávané metody strojového učení které se využívají pro klasifikaci, segmentaci a detekci defektů, je potřeba aby byla datová sada dostatečně velká a vyvážená. Pro malé datové sady čelíme problémům jako je přeučení a slabost dat, které způsobují nesprávnou klasifikaci na úkor málo reprezentovaných tříd. Tato práce se zabývá prozkoumáváním využití generativních sítí pro rozšíření a vyvážení datové sady o nové vygenerované obrázky. Za použití sítí typu Conditional Generative Adversarial Networks (CGAN) a heuristického generátoru anotací jsme schopni generovat velké množství nových snímků součástek s defekty. Pro experimenty s generováním byla použita datová sada závitů. Dále byly použity dvě další datové sady keramiky a snímků z MRI (BraTS). Nad těmito dvěma datovými sadami je provedeno zhodnocení vlivu generovaných dat na učení a zhodnocení přínosu pro zlepšení klasifikace a segmentace.

This thesis deals with creation of elliptic curves generator. MIRACL library and C++ language are used. One of important issues is to determine the order of the elliptic curve group. SEA algorithm (Schoof–Elkies–Atkin) is used for point counting on the elliptic curve. Method with this algorithm is called as counting points method, SEA method etc. Next method is CM method. Both methods are available in the generator. The measurements of dependency of basic operations speed on the group size and parameters were done. ECIES hybrid scheme was implemented. It is practical verification of proper functionality of the generator. Another benchmarks measured dependency of ECIES encryption and decryption on various parameters, e.g. size of the curve, generating method, message size etc.

This thesis deals with procedural generation techniques and its use in the creation of voxel models. The techniques that have been used are Perlin Noise, Voronoi diagram, L-systems etc. This knowledge is then used to create a world generator for computer game with open world. This game provides players with the ability to modify this world and use its creativity, for example, in building construction. The game, however, will not give to the player all options for free, but for example for build, he or she will first have to find and mine the material. The game has been written in programming language C++ with the use of libraries Boost, SDL and OpenGL.

This master's thesis is focused on segmentation of the scene from traffic environment. The solution to this problem is segmentation neural networks, which enables classification of every pixel in the image. In this thesis is created segmentation neural network, that has reached better results than present state-of-the-art architectures. This work is also focused on the segmentation of the top view of the road, as there are no freely available annotated datasets. For this purpose, there was created automatic tool for generation of synthetic datasets by using PC game Grand Theft Auto V. The work compares the networks, that have been trained solely on synthetic data and the networks that have been trained on both real and synthetic data. Experiments prove, that the synthetic data can be used for segmentation of the data from the real environment. There has been implemented a system, that enables work with segmentation neural networks.

The work sets out requirements for the implementation of information systems generator. It deals with finding common elements of information systems. Further it specifies requirements for registration of a conceptual model. Then it goes on to describe user's general point of view of systems. Implementation technologies are chosen and architecture of generated systems is designed based on mentioned analysis. Generated systems are designed to provide basic operations for working with items of the system. Moreover, different ways of generating code are discussed. Metamodel of conceptual model is designed and its possible types of representation are discussed. At the end problems which generator deals with are described.

Arimaa is a strategic board game for two players. It was designed to be simple for human players and difficult for computers. The aim of this thesis is to design and implement the program with features of the artificial intelligence, which would be able to defeat human players. The implementation was realized in the three key parts: evaluation position, generation of moves and search. The program was run on the game server and defeated many bots as well as human players.

Předkládaná práce se zabývá problematikou navrhování membránových konstrukcí, a to především s ohledem na vývoj potřebných výpočetních nástrojů v rámci MKP programů. Po uvedení základních fyzikálních požadavků jednotlivých kroků při navrhování těchto konstrukcí budou dále prezentovány vybrané či navržené algoritmy. Kapitola form finding se zabývá analýzou tvaru membránových konstrukcí. Rovnovážný tvar je odvozen od požadavku na výsledné předpětí, specifikované okrajové podmínky a aplikované zatížení. Obecně se ale tento proces zabývá i samotným hledáním rovnovážné soustavy sil v prostoru. V důsledku této skutečnosti jsou součástí popisované analýzy také vhodné stabilizační metody. V této kapitole budou prezentovány jak zvolené postupy, tak i navržená stabilizační technika specializovaná na hledání tvarů kuželových membrán. Dále je také popsán navržený algoritmus pro řešení úloh optimalizujících tvary ohybově tuhých konstrukcí, které jsou spjaty s hledáním labilních rovnovážných konfigurací. Kapitola structural analysis je zaměřená především na fenomén vrásnění membrán. Tato náhlá ztráta stability silně ovlivňuje statickou i dynamickou odezvu membránových konstrukcí. V rámci této kapitoly je představena a verifikována navržená výpočetní metoda, modulárně aplikovatelná na lineární, nelineárně elastické i plastické materiály používané pro uvedené konstrukce. Kapitola cutting pattern generation se zabývá výpočtem střihových vzorů, nezbytných pro výrobní proces membránových konstrukcí. Pro tento proces je v rámci předkládané práce navržena kombinace dvou různých metod. Zvolená posloupnost algoritmů cílí na optimalizaci poměru rychlosti, obecnosti a přesnosti výpočtu. Zmíněné kapitoly jsou doplněny jednotlivými příklady, analyzovanými pomocí popisovaných algoritmů, které demonstrují konkrétní fyzikální problémy či nezbytné implementační procesy.

This master thesis deals with creation of library for volumetric clouds. The paper describes specific techniques for creation and rendering volumetric clouds as clouds and atmospheric scattering. For rendering this type of effects we have to cover theory for participating media.

This thesis deals with new teaching software, which supports asymmetric encryption algorithms based on the issue of large numbers´ factorization. A model program was created. It allows to carry out operations related to encryption and decryption with an interactive control. There is a simple way to understand the principle of the RSA encryption method with its help. The encryption of algorithms is generally analysed in chapters 1,2. Chapters 3 and 4 deals with RSA encryption algorithm in much more details, and it also describes the principles of the acquisition, management and usage of encryption keys. Chapters 5 suggest choosing of appropriate technologies for the creation of the final software product, which allow an appropriate way to present the characteristics of the extended RSA encryption algorithm. The final software product is the java applet. Aplet is described in the chaprers 6 and 7. It is divided into a theoretical and practical part. The theoretical part presents general information about the RSA encryption algorithm. The practical part allows the users of the program to have a try at tasks connected with the RSA algorthm in their own computers. The last part of Java applet deals with the users´ work results. The information obtained by the user in the various sections of the program are satisfactory enough to understand the principle of this algorithm´s operations.