|
|
Diskrétní simulace programovatelných systémů
Mynář, Pavel ; Zuzaňák, Jiří (oponent) ; Mlích, Jozef (vedoucí práce)
Předmětem této práce je návrh a implementace softwarové knihovny pro diskrétní simulaci programovatelných, navzájem komunikujících jednotek, a implementace několika názorných příkladů nad touto knihovnou. Knihovna je navržena jako platformě nezávislá, co možná nejrobustnější a jednoduchá na ovládání.
|
|
|
Modelování artefaktů procesu CT RTG zobrazení
Koťová, Markéta ; Kolář, Radim (oponent) ; Drastich, Aleš (vedoucí práce)
Bakalářská práce se zabývá modelováním artefaktů vznikajících během vyšetřovaní počítačovou tomografií. Teoretická část shrnuje poznatky o principech výpočetní tomografie a vzniku jednotlivých artefaktů. V praktické části byl vytvořen simulátor artefaktů, který obsahuje následující artefakty: kruhový, pohybový, aliasing, kovový, artefakt vlivem kvantového šumu. V další části je navržena laboratorní úloha.
|
|
|
Modelování rekonstrukce obrazu při CT RTG fluoroskopii
Bainar, Petr ; Kolář, Radim (oponent) ; Drastich, Aleš (vedoucí práce)
Cílem této práce je vytvoření simulátoru modelujícího rekonstrukci obrazu při CT RTG fluoroskopii. Program bude primárně sloužit k výuce v laboratorních cvičeních předmětů týkajících se zobrazovacích systémů v lékařství. Úvodní část je věnována popisu procesu zobrazení u CT RTG ZS. Důraz je kladen zejména na specifika užívaná při intervenční CT RTG fluoroskopii. Navazující část práce řeší koncepci simulátoru, definuje jeho vstupy a výstupy a nastiňuje způsob práce. Následně se práce věnuje realizovanému programu, je popsán vzhled jednotlivých oken a podrobně vysvětleny jednotlivé ovládací prvky. V hodnotící části práce jsou dokumentovány dosažené výsledky. Její součástí je popis vlivu jednotlivých parametrů procesu na vlastnosti získávaných snímků. V hodnotící části je rovněž představena filozofie hledání optimálních parametrů. Přílohou práce je návrh návodu k laboratornímu cvičení.
|
|
|
Autoškola - pravidla silničního provozu
Porč, Jiří ; Žák, Pavel (oponent) ; Chudý, Peter (vedoucí práce)
Tato diplomová práce se zabývá návrhem simulátoru silničního provozu. Je zde popsána problematika simulačních metod, návrhu modelu města, silniční sítě a jejich využití při implementaci v dopravním simulátoru. Práce dále vysvětluje principy a postupy pro vytvoření modelu města v editoru a analyzuje dopravní pravidla, bez kterých by simulátor tohoto typu nebylo možné vytvořit. Vytvořený simulátor pro svůj běh využívá různé enginy. Bez jejich správného nastavení by nebylo v práci možné pokračovat, proto je část práce věnována právě instalaci použitých enginů. Jsou zde také rozebrány postupy pro použití 3D modelů a textur.
|
|
|
Simulátor BDI agentů a okolního prostředí s překážkami
Matějíček, Petr ; Zbořil, František (oponent) ; Horáček, Jan (vedoucí práce)
Tato práce popisuje implementaci simulátoru multiagentního systému. Vysvětluje základní pojmy agentních a multiagentních systémů. Implementace simulátoru je řešena jako samostatný objekt, umožňující připojovat různé modely prostředí a agenty, kteří v tomto prostředí provádejí akce. V poslední části práce je provedeno vyhodnocení několika různých typů spolupráce agentů.
|
|
| |
|
|
Simulátor stavových diagramů
Žídek, Marek ; Janoušek, Vladimír (oponent) ; Kočí, Radek (vedoucí práce)
Práce popisuje životní modely softwaru a zdůrazňuje jejich význam při tvorbě softwaru. Věnuje se především metodám návrhu řízeného modelem, které jsou souhrnně označovány model based design. Dále rozebírá nejrozšířenější jazyk pro modelování softwaru - UML. Stručně popisuje téměř všechny diagramy UML 2.0 tj. diagram případů užití, tříd, spolupráce, aktivit, stavů, nasazení, komponent a sekvenční. Podrobněji se zaměřuje na Executable UML. Uvedené znalosti jsou prakticky využity při návrhu a implementaci simulátoru stavových diagramů. Na Fakultě informačních systémů VUT v Brně v současné době probíhá výzkumný projekt PNTalk zaměřený na model based design, jehož součástí je i simulátor stavových diagramů. Práce provádí celou problematikou návrhu od počáteční specifikace, přes diagramy případů užití a diagramy tříd až po diagramy spolupráce. Poté popisuje implementační detaily a specifika implementace systému v jazyce Smalltalk. Na závěr je diskutována možnost dalšího rozvoje aplikace a jsou zhodnoceny dosažené výsledky.
|
|
|
3D Autoškola
Pernica, Lukáš ; Žák, Pavel (oponent) ; Chudý, Peter (vedoucí práce)
Tato práce se zabývá popisem a návrhem simulátoru 3D autoškoly. V práci je shrnut základní popis některých dostupných simulátorů a možnosti jejich využití. Na základě podrobné studie dostupných simulátorů je navržen nový model simulátoru. V práci je popsána problematika simulace dopravního systému, kontroly dodržování pravidel v silničním provozu a také navržen nový model uživatelského rozhranní. Nakonec je popsán celý návrh a postup při implementaci simulátoru.
|
|
|
Analýza jader real-time operačních systémů běžících na platformě FITkit
Rajnoha, Peter ; Šimek, Václav (oponent) ; Strnadel, Josef (vedoucí práce)
Práce sa zabývá problematikou výstavby RT operačních systémů pro použití ve vestavěných zařízeních. Zaměřuje se hlavně na možné využití RT systémů pro platformu FITkit a popisuje jednotlivé problémy a jejich možné řešení. Jedním z takovýchto problémů je získání časových závislostí pro úlohy, pro které chceme zabezpečit jejich RT vlastnosti. Pro tento účel byl rozšířen existující simulátor daného mikrokontroléru, který se nachází na platformě FITkit. Simulátor je potom možné využít pro detailní sledování běhu jednotlivých úloh v systému na základě dynamické analýzy, sbírat časové statistiky pro části programu a rozšířit ho o další moduly. S využitím znalosti funkcionality konkrétního operačního systému a získaných časových závislostí byl integrován plánovací mechanizmus RM do systému FreeRTOS.
|
|
|
Simulátor nanopočítače na bázi celulárního automatu
Kmeť, Dušan ; Bidlo, Michal (oponent) ; Sekanina, Lukáš (vedoucí práce)
Tato diplomová práce se zabývá realizací simulátoru na bázi asynchronního celulárního automatu simulujícího obvody odolné vůči zpoždění. Celulární automaty mají z pohledu nanotechnologií několik zajímavých vlastnosti využitelných při fyzické implementaci nanopočítačů na nich založených. Těmito jsou hlavně sebereplikace, regulérnost a výrazný paralelismus. V práci je uveden vztah mezi nanopočítači a celulárními automaty, přičemž důraz je kladen na možnosti využití asynchronního módu časování. Asynchronní celulární pole vycházející z modelu asynchronního celulárního automatu by mohly být vhodnou architekturou pro budoucí nanopočítače, což bylo důvodem implementace simulátoru uvedené technologie. Jeho funkčnost byla ověřena na základě experimentů.
|
host ::
RSS.