|
|
Model of a Betting Office
Matúška, Peter ; Zbořil, František (referee) ; Grulich, Lukáš (advisor)
Document analyses the betting office as economic subject. It shows how to make its model good to watch economic properties of this subject including commercial and other influence on customers. It also shows implementation of this model in C++ programming language with SIMLIB simulation library and results of simulating and experiments with this model.
|
|
|
x86 Assembler Simulator for Education
Heštera, Andrej ; Semerád, Lukáš (referee) ; Orság, Filip (advisor)
Point of this thesis is gain knowledge base of x86 Instruction Set Architecture and x86 assembly language through analysis. Based on this knowledge, design and implement simulation environment in object oriented programming language Java SE8. This environment will give user option to create code based on conventions and syntax of Netwide Assembler and simulate created code on virtual representation - simulation model, which will imitate behavior of processor implementing instruction set architecture x86. The result of using this environment should be new knowledge for user about basic function of machine code execution and how this execution alters state of processor, without the need to specially compile created code for use in Debugger and having physical system implementing architecture x86.
|
|
|
Predator-Prey Simulation in JavaScript
Méry, Jozef ; Janoušek, Vladimír (referee) ; Peringer, Petr (advisor)
Študovanie populácie organizmov je veľmi užitočná oblasť výskumu. Dokáže pomôcť s predpovedaním, porozumením a možným zachovaním populácií. Táto bakalárska práca sa zameriava na modelovanie a simulovanie modelu dravec-korisť založeného na agentoch. Medzi najpodstatnejšie vlastnosti agentov patrí schopnosť zhlukovania založená na modeli boids vytvorený C. Reynoldsom, reprodukcia a mutácia. Výsledok tejto práce je konfigurovateľná prehliadačová aplikácia, ktorú možno použiť na simulovanie rôzných situácií a získanie štatistických údajov. Aplikácia obsahuje šablóny nastavení, ktoré boli simulované. Výsledky simulácií sú krátko zhodnotené.
|
|
|
Dependability Assessment Based on SMC
Gajdošík, Róbert ; Lojda, Jakub (referee) ; Strnadel, Josef (advisor)
Cieľom tejto práce bolo vyhodnotiť ukazalete spoľahlivosti výpočtových systémov. V pr- vom rade bola založená terminológia ktorá vysvetľuje základné pojmy ohľadom štatistiky and spoľahlivosti. Ďalej boli v tomto kroku preskúmané typy a vlastnosti chýb ktoré sa v takýchto systémoch vyskytujú, a techniky ktoré sa dajú využit na ich potlačenie alebo zmiernenie ich dopadu na fungovanie systému. V ďalšom kroku boli vysvetlené základné koncepty ohľadom modelovania a simulácie ako aj krátky nahľad do presností jednotlivých techník ktoré boli zvažované ako možnosti ktoré by boli použiteľné pri samotnom pro- cese generovania dát. Po rozhodnutí ísť cestou štatistickej simulácie boli v ďalšom kroku zavedené metódy pre generovanie dát analytickým spôsobom ktoré slúžia na overenie dát vygenerovaných štatistickými simuláciami, do úrovne kde je ešte možné sa k nim dostať re- latívne jednoduchými výpočtami. Nasleduje prehľad nástrojov na implementáciu modelov našich systémov, ich výhody a nevýhody a miera použiteľnosti. V ďalšich krokoch boli vo vybranom nástroji Uppaal SMC naimplementované niektoré vybrané systémy a situácie na základe časovych automatov, a následne boli vyhodnotené oproti iným metódam zlepšenia spoľahlivosti ako aj oproti analyticky dosiahnutým dátam. Práca končí zavermi ktoré boli vyvodené z testovacích dát.
|
|
|
Pending Event Set Implementation
Kozovský, Daniel ; Hrubý, Martin (referee) ; Peringer, Petr (advisor)
This work aims to create a library in C++, which implements various variants of the pending event set, which is used in discrete simulations. The library includes nine different implementations of the pending event set, accessible through a single interface. This interface is designed to make it easy to extend the library with additional implementations. In addition to the library itself, the work also describes the design of the test application and evaluates the time complexity of individual implementations.
|
|
|
Agile Model Editor
Korec, Tomáš ; Pavela, Jiří (referee) ; Rogalewicz, Adam (advisor)
Cieľom práce je minimalizovať čas strávený modelovaním softvérovej architektúry a poskyt- núť praktický nástroj na vytváranie, zoraďovanie a vizualizáciu systémových modelov. Súčasné prístupy k modelovaniu zaberajú príliš veľa času, pričom vytvorenie a úpravy modelu často stoja viac času ako ich implementácia. Práca sa zameriava predovšetkým na efektívne zobrazenie zložitých modelov, nájdenie najlepšieho modelovacieho jazyka na vykonávanie tejto úlohy a vytvorenie agilného editora.
|
|
|
Predator-Prey Simulation in JavaScript
Méry, Jozef ; Janoušek, Vladimír (referee) ; Peringer, Petr (advisor)
Študovanie populácie organizmov je veľmi užitočná oblasť výskumu. Dokáže pomôcť s predpovedaním, porozumením a možným zachovaním populácií. Táto bakalárska práca sa zameriava na modelovanie a simulovanie modelu dravec-korisť založeného na agentoch. Medzi najpodstatnejšie vlastnosti agentov patrí schopnosť zhlukovania založená na modeli boids vytvorený C. Reynoldsom, reprodukcia a mutácia. Výsledok tejto práce je konfigurovateľná prehliadačová aplikácia, ktorú možno použiť na simulovanie rôzných situácií a získanie štatistických údajov. Aplikácia obsahuje šablóny nastavení, ktoré boli simulované. Výsledky simulácií sú krátko zhodnotené.
|
|
|
x86 Assembler Simulator for Education
Heštera, Andrej ; Semerád, Lukáš (referee) ; Orság, Filip (advisor)
Point of this thesis is gain knowledge base of x86 Instruction Set Architecture and x86 assembly language through analysis. Based on this knowledge, design and implement simulation environment in object oriented programming language Java SE8. This environment will give user option to create code based on conventions and syntax of Netwide Assembler and simulate created code on virtual representation - simulation model, which will imitate behavior of processor implementing instruction set architecture x86. The result of using this environment should be new knowledge for user about basic function of machine code execution and how this execution alters state of processor, without the need to specially compile created code for use in Debugger and having physical system implementing architecture x86.
|
|
|
x86 Assembler Simulator for Education
Heštera, Andrej ; Semerád, Lukáš (referee) ; Orság, Filip (advisor)
Point of this thesis is gain knowledge base of x86 Instruction Set Architecture and x86 assembly language through analysis. Based on this knowledge, design and implement simulation environment in object oriented programming language Java SE8. This environment will give user option to create code based on conventions and syntax of Netwide Assembler and simulate created code on virtual representation - simulation model, which will imitate behavior of processor implementing instruction set architecture x86. The result of using this environment should be new knowledge for user about basic function of machine code execution and how this execution alters state of processor, without the need to specially compile created code for use in Debugger and having physical system implementing architecture x86.
|
|
|
Virtual prototyping for machine tools
Klement, Roman ; Kovář, Jiří (referee) ; Hermanský, Dominik (advisor)
This bachelor thesis explores the possibilities of creating a virtual prototype, which is to be understood as an advantageous approach of designing new machine tools. Different approaches regarding the afromrentioned proces are described in the research part. Following the research, a simple virtual prototype for kinematics optimisation was made.
|
guest ::
