|
|
Rodinný dům s prodejnou jízdních kol
Beránek, Tomáš ; Stodůlka, Jindřich (oponent) ; Sukopová, Dáša (vedoucí práce)
Bakalářská práce je zaměřena na zpracování projektové dokumentace samostatně stojícího rodinného domu s prodejnou jízdních kol. Prodejna je umístěna v přízemí a dům má také obyvatelné podkroví a suterén s garáží pro dvě auta. Dům je kompletně navržen v systému Velox. Díky tomuto systému je dům energeticky úsporný. Výkresová část byla zpracována v počítačovém programu AutoCAD.
|
|
|
Hotel Aztec
Beránek, Tomáš ; Spáčilová, Jitka (oponent) ; Sukopová, Dáša (vedoucí práce)
Úkolem diplomové práce bylo navrhnout a posoudit novostavbu Hotelu Aztec ve stupni pro provedení stavby. Objekt bude sloužit k ubytování a rekreaci. V budově hotelu je i restaurace a u hotelu nadzemní parkoviště. Budova má čtyři nadzemní a jedno podzemní podlaží. Budova má 26 pokojů pro hosty z toho 2 třílůžkové, 20 dvoulůžkových a 4 jednolůžkové. Pokoje jsou umístěny na jihozápadní straně v 1. NP, 2. NP, 3. NP a 4. NP. V 1. NP je jeden dvoulůžkový pokoj pro osoby se sníženou schopností pohybu. V 1. NP se nachází restaurace s kuchyní, která je propojena schodištěm s večerním barem v 1. PP, kde se dále nachází wellness centrum, technické místnosti a sklady. Na severovýchodní straně hotelu jsou kanceláře a místnosti sloužící k provozu hotelu a ve 2. NP je školící sál. Nosné stěny jsou z vápenopískových tvárnic a stropy jsou monolitické železobetonové. Základy jsou betonové pásy. Obvodově stěny jsou zatepleny v systému ETICS. Všechny střechy jsou ploché s klasickým pořadím vrstev. Střecha nad restaurací je vegetační, nad 3. NP tvoří střechu terasa s betonovou dlažbou a nad 4. NP je střecha s povlakovou hydroizolací. Budova bude vytápěna tepelnými čerpadly a větrána nuceně, pomocí vzduchotechniky.
|
|
|
Practical Application of Facebook Infer on Systems Code
Beránek, Tomáš ; Malík, Viktor (oponent) ; Vojnar, Tomáš (vedoucí práce)
Static analysis is nowadays often used in the development process to find defects in the produced software. Although static analysis tools can effectively find bugs in software with millions of lines of code, they have also some disadvantages. The main disadvantages are the difficulty to deploy the chosen tool on the given project, high numbers of false reports, and the time and space requirements. This thesis focuses on mitigating these negative features of the Facebook Infer tool mainly for the context of using it to analyse Linux utilities shipped as SRPM packages. To simplify its deployment, an Infer plugin has been created for the csmock tool, which allows static analysers to run automatically on packages for CentOS or Fedora. To reduce the number of false reports, a filter has been created, which filters Infer's output according to several proposed heuristics based on experience obtained by analysing the reports produced by Infer. The filter has been also included into the csmock plugin and tested on a number of packages. On the analysed packages, the filter was able to remove 60 % of false reports with a loss of 2.5 % of real defects. The time required to run the analysis can be reduced by using incremental analysis. Shortcomings of the incremental analysis provided implicitly by Infer were experimentally found, so this thesis also describes the creation of a wrapper for Infer, which replaces the incremental analysis in Infer.
|
|
|
Properties of integral operators on Orlicz spaces
Beránek, Tomáš ; Pick, Luboš (vedoucí práce) ; Mihula, Zdeněk (oponent)
V mnoha různých odvětvích matematické analýzy se při práci s prostory funkcí ob- jevují problémy optimality, kdy se otázka výběru jak přístupného, tak expresivního prostoru funkcí stává netriviální. Dobrou střední cestu poskytují Orliczovy prostory, které jsou parametrizovány jednou Youngovou funkcí, a jsou tak přístupné a rozsáhlé. V této práci studujeme problémy optimality Sobolevových vnoření na Maz'yovských třídách Eukleidovských oblastí, které jsou definovány pomocí jejich isoperimetrického chování. Dokážeme neexistenci optimálních Orliczových prostorů v určitých Orliczových- Sobolevových vnořeních v limitní (kritické) situaci, jejíž zásadním speciálním případem je vnoření Brezise a Waingera pro Johnovy oblasti. 1
|
|
|
Practical Application of Facebook Infer on Systems Code
Beránek, Tomáš ; Malík, Viktor (oponent) ; Vojnar, Tomáš (vedoucí práce)
Static analysis is nowadays often used in the development process to find defects in the produced software. Although static analysis tools can effectively find bugs in software with millions of lines of code, they have also some disadvantages. The main disadvantages are the difficulty to deploy the chosen tool on the given project, high numbers of false reports, and the time and space requirements. This thesis focuses on mitigating these negative features of the Facebook Infer tool mainly for the context of using it to analyse Linux utilities shipped as SRPM packages. To simplify its deployment, an Infer plugin has been created for the csmock tool, which allows static analysers to run automatically on packages for CentOS or Fedora. To reduce the number of false reports, a filter has been created, which filters Infer's output according to several proposed heuristics based on experience obtained by analysing the reports produced by Infer. The filter has been also included into the csmock plugin and tested on a number of packages. On the analysed packages, the filter was able to remove 60 % of false reports with a loss of 2.5 % of real defects. The time required to run the analysis can be reduced by using incremental analysis. Shortcomings of the incremental analysis provided implicitly by Infer were experimentally found, so this thesis also describes the creation of a wrapper for Infer, which replaces the incremental analysis in Infer.
|
|
| |
|
| |
|
|
Hotel Aztec
Beránek, Tomáš ; Spáčilová, Jitka (oponent) ; Sukopová, Dáša (vedoucí práce)
Úkolem diplomové práce bylo navrhnout a posoudit novostavbu Hotelu Aztec ve stupni pro provedení stavby. Objekt bude sloužit k ubytování a rekreaci. V budově hotelu je i restaurace a u hotelu nadzemní parkoviště. Budova má čtyři nadzemní a jedno podzemní podlaží. Budova má 26 pokojů pro hosty z toho 2 třílůžkové, 20 dvoulůžkových a 4 jednolůžkové. Pokoje jsou umístěny na jihozápadní straně v 1. NP, 2. NP, 3. NP a 4. NP. V 1. NP je jeden dvoulůžkový pokoj pro osoby se sníženou schopností pohybu. V 1. NP se nachází restaurace s kuchyní, která je propojena schodištěm s večerním barem v 1. PP, kde se dále nachází wellness centrum, technické místnosti a sklady. Na severovýchodní straně hotelu jsou kanceláře a místnosti sloužící k provozu hotelu a ve 2. NP je školící sál. Nosné stěny jsou z vápenopískových tvárnic a stropy jsou monolitické železobetonové. Základy jsou betonové pásy. Obvodově stěny jsou zatepleny v systému ETICS. Všechny střechy jsou ploché s klasickým pořadím vrstev. Střecha nad restaurací je vegetační, nad 3. NP tvoří střechu terasa s betonovou dlažbou a nad 4. NP je střecha s povlakovou hydroizolací. Budova bude vytápěna tepelnými čerpadly a větrána nuceně, pomocí vzduchotechniky.
|
|
|
Phosphorus Derivatives of Helicenes.
Beránek, Tomáš
In this work, synthetic pathways providing suitable phosphorous derivatives of helicenes and their transition metal complexes in both the racemic and the chiral forms were investigated in asymmetric Suzuki reaction.
Plný tet: SKMBT_C22018060408151 -  PDF
Plný text: content.csg - PDF
|
|
| |
host ::
RSS.