|
|
Hlas jemný, tichý
Krutsche, Karin ; Mladějovský, Josef (oponent) ; Štindlová, Marie (vedoucí práce)
Tato bakalářská práce zkoumá průnik křesťanských témat s každodenním životem a čerpá inspiraci přímo z Bible. Autorka se zaměřuje na svůj subjektivní výklad víry a zamýšlí se nad nečekanými způsoby, jakými se může projevovat Boží přítomnost. Prostřednictvím svých uměleckých děl tato témata vizuálně zobrazuje, přičemž zdůrazňuje symboliku světla jako reprezentaci Boží transcendence.
|
|
|
Transducers in Automata Library Mata
Chocholatý, David ; Lengál, Ondřej (oponent) ; Holík, Lukáš (vedoucí práce)
We implement finite transducers in a new fast and simple automata library Mata. Finite transducers are finite state machines modelling rational relations. Our primary use case for finite transducers is encoding replace operations (replacing a word or a regular pattern with a string literal). A recent automata-based SMT string solver Z3-Noodler uses Mata as a backbone of its decision procedure. Z3-Noodler needs finite transducers to analyse string manipulating programs with replace operations. The analysis of said programs used in web applications prevents software attacks such as cross-site scripting (XSS) or code injection. The distinctive features of Mata include simplicity (simple to use, modify and extend) and efficiency (fast to run). We design the representation and algorithms for finite transducers to fit the simplicity and efficiency requirements. We inherit and extend the existing data structures and algorithms for finite automata in Mata to represent the finite transducers and their operations. The representation for finite transducers serves as a common data structure and interface for the finite transducers and future representation of automata using multi-terminal binary decision diagrams to handle large alphabets. We further extend the design with algorithms to construct finite transducers modelling replace operations defined in SMT-LIB. Finally, we run an experimental evaluation of performance of finite transducers in Mata on a new benchmark with replace operations from runs of Z3-Noodler and from solving problems in pattern matching.
|
|
| |
|
|
Vitalita v architektonickém prostředí
Eyer, David ; Horáček, Martin (oponent) ; Hudec, Mojmír (oponent) ; Kyselka, Mojmír (oponent) ; Žabičková, Ivana (vedoucí práce)
Stále častěji se objevují výzkumy týkající se kvality architektonického prostředí z hlediska komplexního mentálního, sociálního a fyzického zdraví. Je to téma, které v minulosti bylo ve své komplexnosti často opomíjeno. Díky vzniku speciálních oborů stavební biologie, biofilní architektury, dílům Christophera Alexandera a Nikose Salingarose je možné na tuto problematiku nahlížet z různých stran. Cílem této práce je analyzovat téma vitality architektonického prostředí s využitím výzkumu schopností a vnímání jeho uživatelů. Není tedy cílem vytvořit novou teorii „vitalitu podporujícího architektonické prostředí“, ale spíše popsat, jak fenomén vnímají samotní uživatelé. Uživatel sám může dát zpětnou vazbu, jaké jsou pro něj nejdůležitější znaky vitalitu podporujícího architektonického prostředí. Tyto znaky jsou hierarchicky seřazeny dle důležitosti, podrobeny analýze a podrobně rozepsány tak, aby mohly být relativně jednoduše aplikovatelné v praxi. Disertační práce také umožní srovnání s dosavadními pracemi k danému tématu.
|
|
|
Ovčí farma
Bartošová, Petra ; Šuhajdová, Eva (oponent) ; Myslín, Jiří (vedoucí práce) ; Čuprová, Danuše (vedoucí práce)
Bakalářská práce byla zpracována jako projekt pro provedení stavby na základě ateliérové práce z 3. semestru. Areál Ovčí farmy Pozďatín je komplexem tří vzájemně propojených budov dělených podle jejich funkcí (ubytování, restaurace, výroba, ovčín). Komplex objektů je vzhledem ke svému umístění a účelu řešen z ekologických materiálů (dřevostavba). Základem architektonického a konstrukčního řešení je jednoduchost, funkčnost a praktičnost.
|
|
| |
|
|
Detekce pohybu pomocí inerciálních senzorů
Štancl, František ; Šimek, Milan (oponent) ; Pál, Tamás (vedoucí práce)
Předložená diplomová práce se věnuje problematice detekce pohybu, zaměřené na spotřebu energie. V jejím úvodu je kladen důraz na možnosti měření zrychlení a analyzuje technologii MEMS u akcelerometrů. Hlavním cílem práce je vybrat vhodné komponenty a pomocí nich také sestavit nízko-příkonový modul. V textu jsou rovněž uvedené návrhy řešení daného problému. Součástí práce je i konstrukce modulu, návrh plošného spoje a softwarového vybavení. Závěrem jsou shrnuté dosažené výsledky a přesnost řešení.
|
|
|
Piknik
Rafaelová, Kateřina ; Merta, Johana (oponent) ; Artamonov, Vasil (vedoucí práce)
Cílem mé práce je komunikace s divákem prostřednictvím simplicity v malířském médiu na pozadí rodinných vztahů. Prostřednictvím banalizovaných motivů nechávám diváka pozastavit se nad vlastní hodnotou rodinného sdílení.
|
|
|
Městský polyfunkční dům na ulici Křížová, Brno
Šímová, Jana ; Novotná, Kateřina (oponent) ; Sochor, Jan (vedoucí práce)
Cílem diplomové práce bylo navrhnout městský polyfunkční dům v proluce na ulici Křížová. Proluka se nachází na okraji Mendlova náměstí, důležitého dopravního uzlu města Brna. Prostorové i koncepční řešení domu vychází z urbanistické studie celého prostoru Mendlova náměstí. Dům je navržen na dlouhé parcele, která v městském prostředí odpovídá přibližně čtyřem domům. Proto je dům členěn vertikálně, aby bylo zachované měřítko městské zástavby. Zároveň na obou koncích přímo navazuje na stávající budovy, proto jsou navrženy různé výškové úrovně jednotlivých hmot. Parter domu zůstává komerční, stejně jako je tomu i u sousedních domů, v ostatních patrech jsou navrženy moderní velké jednopodlažní i mezonetové byty.
|
|
|
Moderní dřevostavba rodinného domu
Zářecký, Jan ; Gintar, Jan (oponent) ; Králová, Zuzana (vedoucí práce)
Tato bakalářská práce zpracovává samostatně stojící dvoupodlažní rodinný dům, který se skládá ze sendvičových konstrukcí. Nosná konstrukce domu je dřevěná skeletová. Objekt je zastřešen plochou střechou. V návrhu je kladen důraz na celkový soulad mezi prostorovými, konstrukčními, statickými, požárně bezpečnostními, akustickými a tepelně technickými požadavky. Dokumentace je zpracována pro provedení stavby. Výkresová část práce je zpracována počítačovým programem AUTOCAD.
|
host ::
RSS.