2025-06-24
14:09 |
Active flow control on aircraft wing
Koziel, David ; Novák, Ondřej (oponent) ; Popela, Robert (vedoucí práce)
This thesis deals with the concept of an active flow control (AFC) device applied to a wing. First, the problem of high-lift devices is outlined in general, and then the concept of the AFC device is introduced with several ways of assessing its benefits and efficiency. Then, the idea of computational fluid dynamics (CFD) is introduced with several tools necessary to evaluate the overall design and results. Using the Fluent code, the simulations are run for the clean and AFC configurations. The 2D and 3D cases are the subject of analysis. However, the focus is put mainly on the 3D cases, as the idea of this thesis is to translate the concept of the device (which was simulated in 2D already before) to a straight wing and a swept wing. The results given at the end of this document show that the AFC device concept could be applied in theory to a wing. However, it has to be designed specifically for the given wing, as the planform and the airfoil used influence the spatial effects (mainly the induced velocity and wingtip vortices). Subsequently, this influences the position of the blowing slot. The results also show that the efficiency of this device tends to peak when the velocity of the blowing slot is close to the free-stream velocity magnitude. Another outcome is that the device tends to improve its efficiency to a greater extent on a swept wing than on a straight wing. This means that the concept of an AFC device could be further optimized (before possible wind tunnel testing) using the methods and results shown in this (and the previous) thesis. However, the optimization, which must be done for a specific wing, would now involve varying more parameters such as blowing slot velocity, blowing slot width, blowing slot length, blowing slot chordwise position, and blowing slot spanwise position, which makes the job resource-demanding.
Úplný záznam
|
2025-06-24
14:09 |
Static Analysis of Heap-Manipulating programs using Separation Logic
Brablec, Tomáš ; Rogalewicz, Adam (oponent) ; Dacík, Tomáš (vedoucí práce)
This thesis introduces the KTSN static analyzer that aims to verify the memory safety of C programs. The method focuses on programs that manipulate linked lists. Our tool is able to prove the correctness of handling dynamically allocated memory and detect invalid pointer dereferences such as use-after-free, memory leaks, and other bugs. The approach is based on dataflow analysis, and it uses separation logic to represent abstract memory states. The analysis uses Astral, a dedicated solver for SL based on translation to SMT. KTSN is implemented as a plugin to the Frama-C framework. The tool was tested on the linked lists subset of the SV-COMP benchmarks and compared to other verification tools. While it does not reach the top competitor, PredatorHP, it outperforms most verifiers in this category, including EVA, a value analyzer of Frama-C. Thus, our method shows promise of integration into EVA, greatly improving the analysis of linked lists in Frama-C.
Úplný záznam
|
2025-06-24
14:09 |
Průmyslová pekárna Brno
Zámečník, Pavel ; Vitík, Jan (oponent) ; Dýr, Petr (vedoucí práce)
Pekárna společnosti Herold je navržena na brownfieldu v Brně-Černovicích. Tento projekt spojuje funkčnost a estetiku v industriálním prostředí, kde je cílem nejen efektivní výroba, ale i příjemné pracovní prostředí pro zaměstnance. Umístění stavby v průmyslové zóně s výhledem na přírodní plochu zajišťuje optimální podmínky pro růst společnosti i pozitivní vliv na psychiku pracovníků. Hmotové řešení budovy spojuje moderní design s funkčností. Stavba je tvořena kombinací dvou různě vysokých hmot – administrativní budovy, výrobní haly a sestavy tří sil na skladování mouky. Tato dynamická kompozice vytváří vizuálně zajímavý dojem a zároveň umožňuje efektivní využití prostoru pro průmyslovou výrobu. Delší strana budovy je orientována směrem k městské zeleni, což pozitivně ovlivňuje pracovní prostředí, zatímco kratší strana, s reprezentativní fasádou, čelí páteřní komunikaci a vytváří vizuální identitu společnosti. Fasádní řešení stavby zdůrazňuje odlišnost mezi administrativní a výrobní částí budovy. Barevné a materiálové členění zajišťuje jasné rozhraní mezi těmito funkcemi. Okenní otvory směřují na městskou zeleň a přírodní prostředí, čímž podporují příjemné pracovní prostředí a kontakt s přírodou. Dispoziční řešení objektu bylo navrženo s ohledem na maximální efektivitu a hygienické normy potravinářské výroby. Prostor je rozdělen tak, aby odděloval pracovníky administrativní části od výroby, přičemž návštěvníci vstupují do objektu přes vestibul mezi administrativní částí a šatnami. Vytvořený tvar písmene L umožňuje přirozené rozdělení pracovních toků. Objekt je tak navržen tak, aby zajišťoval efektivní pohyb materiálu a hotových výrobků, a zároveň odpovídal všem přísným normám potravinářské výroby.
Úplný záznam
|
2025-06-24
14:09 |
Registrace obrazů v oftalmologii
Havlátová, Monika ; Odstrčilík, Jan (oponent) ; Kolář, Radim (vedoucí práce)
Bakalářská práce se zabývá návrhem a implementací algoritmu pro registraci oftalmologických snímků v prostředí Matlab. Cílem je přesné zarovnání snímku s úzkým zorným polem na širokoúhlý snímek fundu oka. Práce nejprve shrnuje současné metody snímání sítnice a principy registrace medicínských obrazů. Následně je představen navržený registrační algoritmus, jehož cílem je zjištění vzájemného posunu mezi obrazy pomocí segmentovaných cév. Součástí algoritmu je jemné zarovnání sloužící k přesnému lícování anatomických struktur. Úspěšnost registrace navrženého algoritmu je vyhodnocena na dodaných obrazových datech.
Úplný záznam
|
2025-06-24
14:09 |
Management stakeholderů v projektovém řízení staveb
Petrov, Jurij ; Hromádka, Vít (oponent) ; Trtílek, Petr (vedoucí práce)
Efektivní řízení stakeholderů ve stavebních projektech stále více závisí na využití Sdíleného datového prostředí (CDE), které usnadňuje komunikaci a správu stakeholderů (SH). Práce zkoumá, jak CDE přispívá ke zlepšení koordinace a spolupráce prostřednictvím kvantitativních a kvalitativních me-tod, včetně poznatků získaných během stáže u specialistů na BIM. Zaměřuje se na vliv CDE na transparentnost a efektivitu stakeholderů, což může významně podpořit dosažení cílů projektu, za předpokladu, že je správně a v pravé míře integrovaný. Práce také definuje rizika při implementaci CDE do projektového řízení, a to zejména ve vztahu k účastníkům projektu. Výsledky mohou pomoci při zavádění CDE do praxe ve stavebnictví a definování a řešení problematiky koordinace stakeholderů při použití CDE.
Úplný záznam
|
2025-06-24
14:09 |
Limity tenkostěnnosti skořepin a chyby vzniklé jejich překročením
Halas, Zbyněk ; Profant, Tomáš (oponent) ; Burša, Jiří (vedoucí práce)
Tato práce se zabývá vlivem tloušťky stěny na velikost chyby vzniklé při výpočtu napětí pomocí Laplaceovy rovnice u válcové a kulové bezmomentové skořepiny. Hodnoty napětí vypočtené pomocí Laplaceovy rovnice jsou srovnávány s hodnotami vypočtenými podle vztahů pro tlustostěnná tělesa. Bylo zjištěno, že velikost chyby je nezávislá na absolutních rozměrech tělesa a závisí pouze na poměru r/h. Pokud tento poměr klesá, velikost chyby roste. Ukázalo se, že pro stejný poměr r/h je chyba u kulové skořepiny větší než u válcové. V této práci je také provedena deformačně napěťová analýza válcové skořepiny v případě velkých deformací. Z výsledků je vidět nelineární chování napětí a deformace. Jsou zde také uvedeny příklady použití skořepin v praxi a aplikace Laplaceovy rovnice pro vybrané skořepiny.
Úplný záznam
|
2025-06-24
14:09 |
System for detecting the number of people in a room
Šikula, Josef ; Matúška, Slavomir (oponent) ; Frýza, Tomáš (vedoucí práce)
In the bachelor's thesis an overview of systems for detecting number of people is described discussing their pros and cons. Based on that a new system of detecting number of people in room is designed. The people count is determined by the count of people passing through the door. It is based on Infrared Time of Flight sensor VL53L7CX, controlled by microcontroller unit ESP32-C6. Raw data are stored on the SD card and they are processed by an algorithm based on local minimums of correlation matrix. The changes of the people count in the room are sent using HTTP protocol to cloud storage (Google Sheets). The data are visualised in an application developed in Flutter hosted by PC or smartphone.
Úplný záznam
|
2025-06-24
14:09 |
Řešení nonogramů pomocí celulárních automatů
Kotvitskiy, Nikita ; Havel, Martin (oponent) ; Meduna, Alexandr (vedoucí práce)
Tato práce se zaměřuje na výzkum nonogramů, automatizovaných metod jejich řešení a návrh vlastních přístupů založených na využití celulárních automatů. Pro dosažení tohoto cíle byly navrženy speciální modifikace celulárních automatů, které byly následně implementovány a otestovány na nonogramech různých velikostí a zaplněnosti. Kromě toho práce porovnává vyvinuté metody s jinou již existující metodou založenou na celulárních automatech a diskutuje jejich výhody a omezení.
Úplný záznam
|
2025-06-24
14:09 |
Vliv srážek na vnější stabilitu zemních konstrukcí
Kupka, Jan ; Havlíček, Jaroslav (oponent) ; Chalmovský, Juraj (vedoucí práce)
Tato bakalářská práce se zabývá vlivem srážek na vnější stabilitu svahů a zemních konstrukcí v kontextu mechaniky nenasycených zemin. Práce popisuje teoretické základy mechaniky nenasycených zemin, především roli sání, retenčních vlastností zemin a závislost hydraulické vodivosti na obsahu vody v zemině. Dále se věnuje analýze konkrétních případů sesuvů půdy v České republice i ve světě, kde byla destabilizace svahů způsobena infiltrací srážkové vody. V praktické části je pomocí metody konečných prvků v programu PLAXIS 2D analyzována stabilita svahů konvenčním přístupem (nasycené, hydrostatické podmínky) a pokročilým přístupem (nenasycené podmínky s časově nestacionárním prouděním) pro soudržné a nesoudržné zeminy. Výsledky ukazují, že infiltrace srážek vede k výraznému poklesu stability svahu, přičemž tento efekt je výraznější u soudržných zemin s nižší propustností. Práce rovněž potvrzuje význam použití časově nestacionární filtrační analýzy, která poskytuje realističtější výsledky oproti konvenčním hydrostatickým výpočtům.
Úplný záznam
|
2025-06-24
14:09 |
Využití nástroje Simulink pro automatické generování kódu pro mikrokontroléry dsPIC a STM32
Dúha, Dominik ; Dobossy, Barnabás (oponent) ; Šulc, Michael (vedoucí práce)
Bakalářská práce se zabývá využitím nástroje Simulink pro automatické generování kódu pro mikrokontroléry PIC32 a STM32. Cílem práce bylo navrhnout a realizovat desku plošných spojů umožňující řízení výukových modelů pomocí těchto mikrokontrolérů a následně porovnat jednotlivé platformy. Pro demonstraci funkčnosti byl pro model ”Ball on the Spool” v prostředí Simulink implementován algoritmus PID regulace s využitím techniky gain scheduling. Z tohoto modelu byl následně generován kód pro cílové platformy PIC32 a STM32, i pro srovnávací kartu Humusoft MF-624. Výsledky ukázaly, že všechny tři platformy dokázaly úspěšně stabilizovat model se srovnatelnou kvalitou regulace, přičemž klíčovým faktorem bylo naladění PID parametrů. Výraznější rozdíly se projevily v samotném vývojovém procesu, zejména v konfiguraci hardwaru, možnostech ladění a přehlednosti podpůrných nástrojů. Práce potvrzuje efektivitu Simulinku pro rychlý vývoj vestavěných systémů a poskytuje praktické srovnání vybraných mikrokontrolérových platforem.
Úplný záznam
|
|
|
|
host ::
