|
|
Model sázkové kanceláře
Matúška, Peter ; Zbořil, František (oponent) ; Grulich, Lukáš (vedoucí práce)
Práca analyzuje stávkovú kanceláriu ako ekonomický subjekt. Ukazuje, ako vytvoriť jej model tak, aby bolo možné skúmať práve ekonomické vlastnosti tohoto subjektu vrátane vplyvov reklamy a kurzov na zákazníka. Popisuje implementáciu modelu pomocou jazyka C++ a simulačnej knižnice SIMLIB a v závere ukazuje výsledky experimentov s týmto modelom.
|
|
|
Simulátor asembleru x86 pro výuku
Heštera, Andrej ; Semerád, Lukáš (oponent) ; Orság, Filip (vedoucí práce)
Cieľom tejto práce je nadobudnúť potrebné znalosti analýzou architektúry inštrukčnej sady x86 a jazyka symbolických inštrukcií pre navrhnutie a implementovanie simulačného prostriedku v objektovo orientovanom jazyku Java SE8. Ten používateľovi umožní vytvárať kód založený na konvenciách a syntaxe z prostredia Netwide Assembler a následne daný kód simulovať na virtuálnej reprezentácii - simulačnom modele, ktorý napodobuje chovanie procesora z architektúru x86. Výsledkom by malo byť prehĺbenie znalostí používateľa o principiálnej funkcionalite vykonávaného strojového kódu a to, ako mení stav procesora bez potreby takýto kód kompilovať špeciálnym spôsobom za účelom spustenia cez Debugger, či nutnosťou disponovať fyzickým systémom implementujúcim architektúru x86.
|
|
|
Predator-Prey Simulation in JavaScript
Méry, Jozef ; Janoušek, Vladimír (oponent) ; Peringer, Petr (vedoucí práce)
Studying the populations of organisms is a useful research field. It can help predict, understand, and possibly help preserve populations. This bachelor's thesis focuses on modeling and simulating an agent-based predator-prey model. The agents' essential traits include flocking based on C. Reynolds's boids model, reproduction, and mutation. This thesis's result is a configurable browser-based application, which can be used to simulate different scenarios and extract various statistical information. The application contains setting templates that were simulated. The results of the simulations are briefly evaluated.
|
|
|
Dependability Assessment Based on SMC
Gajdošík, Róbert ; Lojda, Jakub (oponent) ; Strnadel, Josef (vedoucí práce)
The aim of this thesis is assessing dependability of computerized systems using modelling and simulation. After establishing basic nomenclature, research was performed on de- pendability metrics, fault taxonomy and dependability bolstering techniques. Afterwards, analytical solutions were explored to be used as a reference point. Next, multiple simulation tools were assessed and Uppaal SMC was chosen as the most suitable tool because of it’s timed automaton framework enriched with a query language and multiple Simulation Model Checking tools. Finally, systems describing multiple relevant situations were implemented and evaluated against both themselves and the analytically computed reference point.
|
|
|
Implementace kalendáře událostí
Kozovský, Daniel ; Hrubý, Martin (oponent) ; Peringer, Petr (vedoucí práce)
Táto práca sa zaoberá vytvorením knižnice v C++, ktorá implementuje rôzne varianty kalendára udalostí, ktorý sa používa na riadenia diskrétnych simulácií. Knižnica zahŕňa deväť rôznych implementácií kalendára udalostí, ktoré sú prístupné cez jednotné rozhranie. Toto rozhranie je navrhnuté tak, aby bolo jednoduché knižnicu rozšíriť o ďalšie implementácie. Okrem samotnej knižnice sa práca zaoberá aj návrhom a popisom testovacej aplikácie a zhodnotením časových zložitostí jednotlivých implementácií.
|
|
|
Agile Model Editor
Korec, Tomáš ; Pavela, Jiří (oponent) ; Rogalewicz, Adam (vedoucí práce)
The thesis aims to minimize time spent on modeling software architecture and provide a practical tool to create, order, and visualize system models. The current modeling ap- proaches consume too much time, often creating and editing the model costs more time than implementing such a system. The work focuses primarily on representing complex models efficiently, finding the best modeling language to do this task, and developing an agile editor.
|
|
|
Predator-Prey Simulation in JavaScript
Méry, Jozef ; Janoušek, Vladimír (oponent) ; Peringer, Petr (vedoucí práce)
Studying the populations of organisms is a useful research field. It can help predict, understand, and possibly help preserve populations. This bachelor's thesis focuses on modeling and simulating an agent-based predator-prey model. The agents' essential traits include flocking based on C. Reynolds's boids model, reproduction, and mutation. This thesis's result is a configurable browser-based application, which can be used to simulate different scenarios and extract various statistical information. The application contains setting templates that were simulated. The results of the simulations are briefly evaluated.
|
|
|
Simulátor asembleru x86 pro výuku
Heštera, Andrej ; Semerád, Lukáš (oponent) ; Orság, Filip (vedoucí práce)
Cieľom tejto práce je nadobudnúť potrebné znalosti analýzou architektúry inštrukčnej sady x86 a jazyka symbolických inštrukcií pre navrhnutie a implementovanie simulačného prostriedku v objektovo orientovanom jazyku Java SE8. Ten používateľovi umožní vytvárať kód založený na konvenciách a syntaxe z prostredia Netwide Assembler a následne daný kód simulovať na virtuálnej reprezentácii - simulačnom modele, ktorý napodobuje chovanie procesora z architektúru x86. Výsledkom by malo byť prehĺbenie znalostí používateľa o principiálnej funkcionalite vykonávaného strojového kódu a to, ako mení stav procesora bez potreby takýto kód kompilovať špeciálnym spôsobom za účelom spustenia cez Debugger, či nutnosťou disponovať fyzickým systémom implementujúcim architektúru x86.
|
|
|
Simulátor asembleru x86 pro výuku
Heštera, Andrej ; Semerád, Lukáš (oponent) ; Orság, Filip (vedoucí práce)
Cieľom tejto práce je nadobudnúť potrebné znalosti analýzou architektúry inštrukčnej sady x86 a jazyka symbolických inštrukcií pre navrhnutie a implementovanie simulačného prostriedku v objektovo orientovanom jazyku Java SE8. Ten používateľovi umožní vytvárať kód založený na konvenciách a syntaxe z prostredia Netwide Assembler a následne daný kód simulovať na virtuálnej reprezentácii - simulačnom modele, ktorý napodobňuje chovanie procesora z rodiny architektúry x86. Výsledkom by malo byť prehĺbenie znalostí používateľa o principiálnej funkcionalite vykonávaného strojového kódu a to, ako mení stav procesora bez potreby takýto kód kompilovať špeciálnym spôsobom za účelom spustenia cez Debugger, či nutnosťou disponovať fyzickým systémom implementujúcim architektúru x86.
|
|
| |
host ::
RSS.