|
|
Family house with a bicycle shop
Beránek, Tomáš ; Stodůlka, Jindřich (referee) ; Sukopová, Dáša (advisor)
The thesis is focused on preparation of project documentation of a detached family house with a bicycle shop. The shop is situated in ground floor and house has also atic and basement with garage for two cars. House is completely designed in Velox system. Thanks to the system it is energy-saving building. Drawing part was processed in a computer program AutoCAD.
|
|
|
Hotel Aztec
Beránek, Tomáš ; Spáčilová, Jitka (referee) ; Sukopová, Dáša (advisor)
The aim of the thesis was to design a building named Hotel Aztec. The building will serve for accommodation and recreation. The restaurant is also part of the hotel. There is a car park near the hotel building. The hotel has four floors and basement. There are 26 suites, 2 of them are three bed rooms, 20 double or twin rooms and 4 single rooms. The south-facing orientation of the suites ensures sufficient insolation. In ground floor there is one twin room for disabled persons. In ground floor there is restaurant with kitchen connected with bar in basement. There is also wellness centre, mechanical rooms and storages. On the northeast side of the hotel there are offices and rooms for employees and training room. The loadbearing masonry is from sand-lime blocks and there are cast-in-place reinforced concrete slabs and concrete foundations. The external wall is insulated with ETICS. All roofs are warm flat, over the restaurant there is intensive green roof, The roof over the 2nd floor is walkable - roof terrace. Over the 3rd floor there is non-walkable flat roof. The building is heated by heat pumps and there is mechanical ventilation with heat recovery.
|
|
|
Practical Application of Facebook Infer on Systems Code
Beránek, Tomáš ; Malík, Viktor (referee) ; Vojnar, Tomáš (advisor)
Statická analýza je dnes často využívána ve vývojovém procesu pro hledání defektů v produkovaném softwaru. I když nástroje na statickou analýzu dokáží hledat defekty v softwarech o miliónech řádků kódu, mají také řadu nevýhod. Hlavními nevýhodami jsou náročnost nasazení nástroj na vyvíjený projekt, vysoký počet falešných hlášení a časové i paměťové požadavky. Tato práce se zaměřuje na zmírnění těchto negativních vlastností u nástroje Facebook Infer, zejména pro analýzu Linuxových nástrojů v podobě SRPM balíčků. Pro zjednodušení nasazení byl vytvořen modul pro nástroj csmock, který umožňuje automaticky spouštět statické analyzátory nad balíčky pro CentOS a Fedoru. Pro snížení počtu falešných hlášení byl vytvořen filtr, který filtruje výstup Inferu podle heuristik, které byly navrženy na základě zkušeností získaných kontrolou hlášení z Inferu. Filtr byl také zapojen do modulu pro csmock a otestován na řadě balíčků. Na analyzovaných balíčcích filtr dokázal odstranit 60 % falešných hlášení se ztrátou 2.5 % skutečných defektů. Doba potřebná pro běh analýzy může být zkrácena použitím inkrementální analýzy. U inkrementální analýzy Inferu byly experimentálně zjištěny nedostatky, proto se tato práce věnuje také vytvoření nástavby nad Inferem, která nahrazuje inkrementální analýzu v Inferu.
|
|
|
Properties of integral operators on Orlicz spaces
Beránek, Tomáš ; Pick, Luboš (advisor) ; Mihula, Zdeněk (referee)
Working with function spaces in various branches of mathematical analysis introduces optimality problems, where the question of choosing a function space both accessible and expressive becomes a nontrivial exercise. A good middle ground is provided by Orlicz spaces, parameterized by a single Young function and thus accessible, yet expansive. In this work, we study optimality problems on Sobolev embeddings in the so-called Maz'ya classes of Euclidean domains which are defined through their isoperimetric behavior. In particular, we prove the non-existence of optimal Orlicz spaces in certain Orlicz-Sobolev embeddings in a limiting (critical) state whose pivotal special case is the celebrated embedding of Brezis and Wainger for John domains. 1
|
|
|
Practical Application of Facebook Infer on Systems Code
Beránek, Tomáš ; Malík, Viktor (referee) ; Vojnar, Tomáš (advisor)
Statická analýza je dnes často využívána ve vývojovém procesu pro hledání defektů v produkovaném softwaru. I když nástroje na statickou analýzu dokáží hledat defekty v softwarech o miliónech řádků kódu, mají také řadu nevýhod. Hlavními nevýhodami jsou náročnost nasazení nástroj na vyvíjený projekt, vysoký počet falešných hlášení a časové i paměťové požadavky. Tato práce se zaměřuje na zmírnění těchto negativních vlastností u nástroje Facebook Infer, zejména pro analýzu Linuxových nástrojů v podobě SRPM balíčků. Pro zjednodušení nasazení byl vytvořen modul pro nástroj csmock, který umožňuje automaticky spouštět statické analyzátory nad balíčky pro CentOS a Fedoru. Pro snížení počtu falešných hlášení byl vytvořen filtr, který filtruje výstup Inferu podle heuristik, které byly navrženy na základě zkušeností získaných kontrolou hlášení z Inferu. Filtr byl také zapojen do modulu pro csmock a otestován na řadě balíčků. Na analyzovaných balíčcích filtr dokázal odstranit 60 % falešných hlášení se ztrátou 2.5 % skutečných defektů. Doba potřebná pro běh analýzy může být zkrácena použitím inkrementální analýzy. U inkrementální analýzy Inferu byly experimentálně zjištěny nedostatky, proto se tato práce věnuje také vytvoření nástavby nad Inferem, která nahrazuje inkrementální analýzu v Inferu.
|
|
| |
|
| |
|
|
Hotel Aztec
Beránek, Tomáš ; Spáčilová, Jitka (referee) ; Sukopová, Dáša (advisor)
The aim of the thesis was to design a building named Hotel Aztec. The building will serve for accommodation and recreation. The restaurant is also part of the hotel. There is a car park near the hotel building. The hotel has four floors and basement. There are 26 suites, 2 of them are three bed rooms, 20 double or twin rooms and 4 single rooms. The south-facing orientation of the suites ensures sufficient insolation. In ground floor there is one twin room for disabled persons. In ground floor there is restaurant with kitchen connected with bar in basement. There is also wellness centre, mechanical rooms and storages. On the northeast side of the hotel there are offices and rooms for employees and training room. The loadbearing masonry is from sand-lime blocks and there are cast-in-place reinforced concrete slabs and concrete foundations. The external wall is insulated with ETICS. All roofs are warm flat, over the restaurant there is intensive green roof, The roof over the 2nd floor is walkable - roof terrace. Over the 3rd floor there is non-walkable flat roof. The building is heated by heat pumps and there is mechanical ventilation with heat recovery.
|
|
|
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.
Fulltext: content.csg -  PDF
Plný tet: SKMBT_C22018060408151 - PDF
|
|
| |
guest ::
