|
|
Rodinný dům v Rybanoch
Sokolík, Patrik ; Hoffmann, Petr (oponent) ; Brzoň, Roman (vedoucí práce)
Obsahom bakalárskej práce je vypracovanie projektovej dokumentácie pre návrh rodinného domu nachádzajúceho sa v obci Rybany, na Slovenku. Jedná sa o samostatne stojaci rodinný dom čiastočne podpivničený, s dvoma nadzemnými poschodiami. Objekt rodinného domu je navrhnutý ako jednogeneračný. Konštrukčný systém je murovaný zo strateného debnenia Velox. Objekt je zastrešený vegetačnou plochou strechou. Výkresová časť je spracovaná v počítačovom programe ArchiCAD.
|
|
|
Bytový dům v Humpolci
Novák, Tomáš ; Hoffmann, Petr (oponent) ; Brzoň, Roman (vedoucí práce)
Bakalářská práce řeší návrh bytového domu s prodejnou kol ve městě Humpolec. Práce obsahuje kompletní dokumentaci pro provádění stavby, posouzení z hlediska stavební fyziky a požární ochrany staveb. Objekt je rozdělen do dvou provozních celků. První celek je prodejna kol, kde nechybí zázemí pro zaměstnance a servis kol. Druhý celek je tvořen jednotlivými byty a jejich zázemím. V suterénu jsou sklepní kóje pro jednotlivé byty, technická místnost a dílna. V přízemí se nachází bezbariérový byt o dispozici 2+kk. Druhé nadzemní podlaží je tvořeno čtyřmi byty. Dva o dispozici 1+kk a dva s dispozicí 2+kk. V posledním nadzemním užitném podlaží jsou dva byty s dispozicí 3+kk určené pro 4-5ti člennou rodinu. Dům je zděný, kde svislé konstrukce v podzemním podlaží jsou z betonových tvárnic prolévaných betonem. Nadzemní svislé konstrukce jsou z keramických tvárnic Porotherm. Vodorovné konstrukce jsou z předpjatých stropních panelů Spiroll. Střecha je dvouplášťová a její nosnou konstrukci tvoří dřevěné příhradové vazníky uložené na obvodových stěnách.
|
|
|
Bytový dům Skalky
Svobodová, Olga ; Hoffmann, Petr (oponent) ; Brzoň, Roman (vedoucí práce)
Bakalářská práce řeší projekt bytového domu ve Svitávce. Bytový dům má celkem 10 bytových jednotek. Má čtyři nadzemní a jedno podzemní podlaží. V podzemním podlaží je umístěna technická místnno jost a sklepní kóje. Obvodová nosná konstrukce suterénu je navržena jako monolitická z železobetonu. Obvodové zdivo nadzemní části objektu je řešeno z keramických tvárnic Heluz doplněných kontaktním zateplovacím systémem podle zásad ETICS. Vodorovné nosné konstrukce jsou navrženy jako monolitické z železobetonu. Celý objekt je zastřešen jednoplášťovou plochou střechou se spádovou vrstvou z tepelné izolace.
|
|
|
Searching for similar secondary structures in RNA
Vojtek, Daniel ; Mráz, František (vedoucí práce) ; Hoffmann, Petr (oponent)
Reťazce RNA na rozdiel od DNA môžu vytvárať zložité sekundárne štruktúry, ktoré významne ovplyvňujú ich vlastnosti. Cieľom tejto práce bolo vytvorenie aplikácie, ktorá umožňuje do detailov navrhnúť vzor sekundárnej štruktúry RNA a následne v danej množine sekvencií RNA vyhľadať reťazce s podobnými sekundárnymi štruktúrami. Aplikácia má aj priamy prístup do databázy GenBank, z ktorej sa na základe užívateľom zadaného dotazu sťahujú sekvencie RNA. Sekvenciám bez sekundárnej štruktúry sa táto dopočíta pomocou funkcií prevzatých z Vienna RNA Package. Súčasťou aplikácie je grafické rozhranie, v ktorom je možné vzor pohodlne navrhnúť, ako aj prehliadať nájdené podobné sekundárne štruktúry. Práca obsahuje úvod do problematiky hľadania sekundárnych štruktúr RNA a jeho možné využitie pri tvorbe fylogenetických stromov. Súčasťou práce je aj popis všetkých najdôležitejších postupov, ktoré boli použité.
|
|
|
Databáze sekundárních struktur RNA
Tattermusch, Jan ; Mráz, František (vedoucí práce) ; Hoffmann, Petr (oponent)
V předložené práci studujeme primární a sekundární struktury RNA a stanovujeme vhodné modely pro jejich počítačové vyjádření. Dále stanovujeme kritéria pro výběr metod na porovnávání primárních a sekundárních struktur a na jejich základě jsme vybrali metodu tree alignmentu jakožto vhodný prostředek pro implementaci strukturálního vyhledávání s tím, že zmiňujeme některá speci fika problému strukturálního vyhledávání a navrhujeme některé možné modifi kace zrychlující vyhledávání. Součástí práce je webová aplikace "Databáze sekundárních struktur RNA", která implementuje strukturální a sekvenčně strukturální vyhledávání.
|
|
|
Prostředí pro testování algoritmů pro učení automatů
Vyšohlíd, Jan ; Hoffmann, Petr (vedoucí práce) ; Krčah, Peter (oponent)
V předložené práci studujeme metody pro testování algoritmů regulární inference. Nejprve jsou uvedeny některé teoretické poznatky z oblasti konečných automatů a regulární inference. Dále jsou představeny některé algoritmy pro učení konečných automatů, jejich principy a použité testovací metody, jež zjišťují kvalitu algoritmů testováním výsledných automatů. V dalším textu je pak vysvětlen způsob generování trénovacích a testovacích dat, popsán formát pro uložení těchto dat a pro uložení konečných automatů a nakonec také samotný průběh testování algoritmů. Součástí práce je rovněž aplikace, která uvedené testovací metody implementuje a výsledné statistiky ukládá ve zvoleném formátu. V dodatcích přikládáme uživatelskou a programátorskou dokumentaci k této aplikaci.
|
|
|
Sada nástrojů pro manipulaci s bibliografickými údaji
Hlušičková, Šárka ; Žemlička, Michal (vedoucí práce) ; Hoffmann, Petr (oponent)
V předložené práci se zabýváme konvrzí záznamů mezi několik vybranými biblografickými formáty a tvorbou bibliografických citací. U konverzí jsme se zaměřili především n formáty, které jsou nativní pro nejrozšířenější citační aplikace nebo je lze snadno importovat. Konkrétně jsou to BibTeX format (BibTeX), RIS format (Reference Manager, Procite, EndNote) a Tagged "EndNote Import" (EndNote). Aplikace též podporuje konverze z formátu MARC 21, v němž jsou uloženy záznamy o dokumentech v databázích knihoven. Tvorba bibliogra ckých citací se řídí pravidly norem ČSN ISO 960 a ČSN ISO 960-2 a je zaměřena na vytváření seznamů použité literatury, tzn. celých odkazů na dokumenty, nikoli na citace obsažené v textu.
|
|
| |
|
|
Nástroj pro testování algoritmů pro učení jazyků
Krejčová, Martina ; Hoffmann, Petr (vedoucí práce) ; Kukačka, Marek (oponent)
Úkolem gramatické inference je nalezení pravidelností v datech. Je-li pro data z techto odpozorovaných pravidel vytvoren model, mužeme pomocí tohoto modelu data napríklad zkomprimovat, vytvorit data nová, která budou tato pravidla také splnovat, ci mužeme urcit, která data tomuto modelu odpovídají a která ne. Cílem této práce bylo vytvorit testovací prostredí pro algoritmy gramatické inference bezkontextových jazyku. Model dat v našem prostredí tvorí bezkontextové gramatiky. Je zde popsán postup generování gramatik a následne generování dat, z kterých se algoritmus muže pokusit bezkontextový jazyk naucit. Za úcelem srovnání úspešnosti algoritmu na datech generovaných z více ruzných bezkontextových gramatik je rešen pojem složitosti bezkontextových gramatik. Dále je navrženo nekolik variant vyhodnocení úspešnosti algoritmu.
|
|
|
An environment for restarting automata
Černo, Peter ; Mráz, František (vedoucí práce) ; Hoffmann, Petr (oponent)
Reštartovacie automaty sú lingvisticky motivované modely automatov, ktoré môžu byť použité napríklad na kontrolu správnosti viet. Hlavným cieľom tejto práce je vytvoriť špecializovaný program, ktorý umožní jednoduchý interaktívny návrh a testovanie týchto automatov a poskytne špecializované nástroje určené na učenie konečných automatov a definovanie jazykov. Práca prezentuje teoretické základy a uvádza formálnu definíciu reštartovacieho automatu. Ďalej sú v práci diskutované možnosti implementácie takéhoto systému a je popísaná skutočná realizácia systému. K práci je priložená užívateľská príručka.
|
host ::
RSS.