|
| |
|
|
Efektivní implementace vysoce náročných algoritmů na vícejádrových procesorech
Tomečko, Lukáš ; Bidlo, Michal (oponent) ; Jaroš, Jiří (vedoucí práce)
Cieľom tejto práce je paralelizovať a vektorizovať simuláciu toku kvapalín. Dosiahne sa to pomocou knižnice OpenMP a prekladaču od Intelu. Implementované boli rôzne prístupy k problému, ako napr. cache blocking, zoraďovanie dát počas behu a dočasné reorganizovanie dát v pamäti. Skombinovaním najrýchlejších riešení sa podarilo simuláciu celkovo zrýchliť 11,4krát na 16 jadrách, pričom testy prebiehali na ostravskom superpočítači Anselm. Výsledky ukazujú, že výsledná aplikácia dobre škáluje s pribúdajúcim počtom jadier. Ďalej, vektorizovanie daného problému bolo možné len čiastočne z dôvodu nevhodného spôsobu práce s dátami.
|
|
|
Simulace pro symbolické automaty
Síč, Juraj ; Lengál, Ondřej (oponent) ; Holík, Lukáš (vedoucí práce)
Symbolické automaty sú podobné klasickým automatom s jedným veľkým rozdielom: prechody sú značené predikátmi definovanými v oddelenej teórii. Toto umožňuje použiť veľké abecedy s pouźitím oveľa menšieho miesta. V tejto práci sa zaoberáme výpočtom simulácie (binárnej relácie nad množinou stavov, ktorá aproximuje jazykovú inklúziu) pre tieto automaty. Táto relácia sa dá potom použiť pri redukovaní počtu stavov bez nutnosti determinizácie. Existuje niekoľko algoritomv pre výpočet simulácie pre Kripkeho štruktúry, ktoré boli neskôr modifikované pre označené prechodové systémy a klasické automaty. V tejto práci ukážeme ako sa dá jeden z týchto algoritmov modifikovať pre symbolické automaty použitím rozkladu domény abecedy ktorý je kompatibilný s predikátmi značiacimi prechody a použitím možností teórie abecedy.
|
|
|
Modelování a identifikace středověkého katapultu
Štupák, Jakub ; Křivánek, Václav (oponent) ; Grepl, Robert (vedoucí práce)
Táto práca sa zoberá modelovaním a optimalizáciou stredovekého trebuchetu a niekoľkých zjednodušených variánt tohoto systému. Prvá časť obsahuje informácie o podobných obliehacích strojoch, ako aj princíp fungovania stredovekého trebuchetu a ich historicky používané parametre. V praktickej časti boli vytvorené 4 modely trebuchetu s rôznou mierou zjednodušenia ich pohybu. Následne bola zistená veľkosť dostrelu a efektivity týchto modelov v závislosti na ich parametroch. Taktiež boli tieto parametre optimalizované pre dosiahnutie maximálneho dostrelu. Získané výsledky boli medzi jednsotilvými modelmi porovnané. V poslednej časti bol vytvorený reálny zmenšený model trebuchetu, a jeho pohyb bol porovnaný s pohybom počítačového modelu. Pomocou tohto počítačového modelu boli taktiež získané optimálne parametre tohto systému pre dosiahnutie maximálneho dostrelu.
|
|
|
Design of RC sinusoidal oscillator based on active building blocks
Režňák, Patrik ; Šotner, Roman (oponent) ; Kartci, Aslihan (vedoucí práce)
Thesis is focused on RC oscillators employing active building blocks and operational amplifiers. In the beginning, review of available literature talking about this topic is done. Different building blocks and circuits containing those blocks are picked and some of them simulated with PSpice and SNAP programs. Oscillation creation and influence of circuit components is verified. Those circuits are realized in practical application and simulation results are compared to those gained from real world circuits, also the chosen circuits are compared between each other.
|
|
| |
|
|
Návrh nových U/I a I/U převodníků pro měření filtrů v proudovém módu
Jarník, Lukáš ; Polák, Josef (oponent) ; Langhammer, Lukáš (vedoucí práce)
Táto diplomová práca sa zaoberá problematikou analógových diferenčných prevodníkov, ktoré slúžia pri meraní obvodov pracujúcich v prúdovom móde. Cieľom práce je navrhnúť nové prevodníky napätia na prúd a prúdu na napätie, tak aby v čo najmenšej miere ovplyvňovali merané kmitočtové charakteristiky. Pre návrh prevodníkov sú použité komerčné aktívny prvky. Aktívne prvky sú porovnávané na základe vlastností ako šírka pásma a rýchlosť prebehu. Navrhnuté prevodníky sú odsimulované v programe Orcad PSpice. Prevodníky, s najlepšími hodnotami sú prakticky zrealizované a zmerané. Namerané a odsimulované hodnoty sú navzájom porovnané.
|
|
|
Autonomous Rover Navigation on Planetary Surface
Vaško, Marek ; Prustoměrský, Milan (oponent) ; Chudý, Peter (vedoucí práce)
Exploration of the depths of the space has led to the development of technology in various fields. One of these areas is the exploration of the surface of extraterrestrial planets. An unmanned ground vehicle is an effective way of exploration. This thesis deals with one of the most important systems of unmanned vehicles, which is autonomous navigation. The vehicle must be able to navigate in the environment and map potential obstacles. The thesis will examine the navigation principles that have been used by existing vehicles. It will then research the use of the algorithm based on the principle of simultaneous localization and mapping and its implementation in MATLAB. This algorithm will be integrated into the simulator, which will allow later integration into the real environment using the Robot Operating System. A vehicle platform with simulated sensors and a six-wheel chassis, which will be used for an integrated algorithm, will be designed in the simulator. Finally, the quality of the proposed algorithm is evaluated and a discussion about future improvements is initiated.
|
|
|
VRF systém
Lackovič, Roman ; Lopušník, Petr (oponent) ; Hejčík, Jiří (vedoucí práce)
Diplomová práca VRF systém sa zameriava na energetickú simuláciu potrieb dodávky a odvodu tepla na vykurovanie a chladenie jedného podlažia budovy výskumného centra FSI NetMe a následné zhodnotenie výhodnosti použitia VRF systému s funkciou prečerpávania tepla. Prvou časťou je teoretický úvod, kde sú popísané základy fungovania strojného chladenia, ďalej sú uvedené odlišnosti a spôsoby fungovania VRF systému s funkciou prečerpávania tepla (heat recovery). V praktickej časti tejto práce je pozornosť venovaná popisu priebehu zadávania údajov do simulačného nástroja. Na záver sú uvedené výsledky simulácie a ekonomické porovnanie VRF systému a existujúceho štvor trubkového systému s rozvodom chladnej a teplej vody.
|
|
| |
host ::
RSS.