Now showing items 1-20 of 66

  • Administrativní budova v Brně 

    Ječmínková, Michaela
    Bakalářská práce se zabývá návrhem železobetonové nosné konstrukce administrativní budovy. Práce je zaměřena na návrh a statické posouzení lokálně podepřených stropních desek a sloupů s hlavicemi dle platných norem ČSN EN. ...
  • Alias analýza v překladači jazyka C 

    Bolvanský, Dávid
    Táto práca sa venuje problematike alias analýzy a možnostiam jej vylepšenia v LLVM frameworku. Cieľom tejto práce je zlepšiť jej presnosť, čoho bolo dosiahnuté rozšírením implementácie Andersenovho algoritmu o citlivosť ...
  • Analýza a návrh sanace krovu kostela 

    Múčka, Martin
    Tato bakalářská práce se zabývá vytvořením statického modelu historického krovu daného kostela. Cíle práce byly provedení statické analýzy krovu, který prodělal řadu stavebních zásahů ovlivňujících tuhost, návrh sanace a ...
  • Analýza chování koleje na účinky železničních vozidel 

    Kopeček, Josef
    Diplomová práce se zabývá sestavením numerických modelů klasické koleje pomocí metody konečných prvků, a to v několika variantách. Modely jsou porovnány s výsledky získanými na analytických modelech. Komplexnější modely ...
  • Analýza dynamického chování štíhlé mostní konstrukce a návrh zařízení na omezení vibrací 

    Řehová, Jana
    Tato diplomová práce se zabývá dynamickou analýzou lávky pro pěší. Výpočtový model lávky byl vytvořen v programu ANSYS. Model byl zatížen působením větru v příčném a podélném směru. Dále byl buzen pohybem chodců ve svislém ...
  • Analýza mechanického namáhání při zkratu ve vzduchem izolovaném rozváděči vn 

    Bártů, Jan
    Tato diplomová práce je zaměřena na problematiku silových účinků magnetického pole zkratového proudu. V první části práce bylo úkolem provést analýzu vzájemného silového působení tří fázových přípojnic během třípólového ...
  • Analýza odezvy výškové uskladňovací nádrže na statické a dynamické zatížení 

    Strnadlová, Kateřina
    Tato bakalářská práce se zabývá návrhem a posouzením konstrukce vodojemu na statická a dynamická zatížení. V úvodu jsou popsány základní konstrukční typy vodojemů, jejich statické řešení a podmínky návrhu. Je proveden ...
  • Analýza práce s dynamickými datovými strukturami v C programech 

    Šoková, Veronika
    Táto diplomová práca sa zaoberá analýzou dynamických dátových štruktúr pomocou analýzy tvaru použitej v nástroji Predator. Popisuje zvolenú abstraktnú doménu pre reprezentáciu pamäte vo forme symbolických grafov pamäte. ...
  • Analýza síťové bezpečnosti 

    de Silva, Hidda Marakkala Gayan Ruchika
    Práce představuje model a metody analýzy vlasností komunikace v počítačových sítích. Model dosažitelnosti koncových prvků v IP sítích je vytvořen na základě konfigurace a síťové topologie a umožňuje ukázat, že vabraný ...
  • Analýza škodlivého softwaru 

    Bláha, Michael
    Cílem mojí bakalářské práce je navrhnout bezpečné prostředí pro analýzu škodlivého softwaru. V teoretické části práce se věnuji základnímu dělení počítačových virů. Poté popisuji dva hlavní postupy při analyzování škodlivého ...
  • Analýza ztráty stability termoplastových trubek 

    Procházka, Martin
    Tato bakalářská práce se zabývá ztrátou stability termoplastových trubek. Byl proveden experiment, ve kterém byly trubky zatěžovány v ose, přičemž byla sledována hodnota zatěžovací síly při ztrátě stability materiálu. Pro ...
  • Automatická formální verifikace korektnosti programů v nástrojích SDV, Copper a podobných 

    Kovalič, Peter
    Tato práce se věnuje verifikaci ovládačů. Používají se při tom model checkery, hlavní z nich je Static Driver Verifier. Pomocí něj se kontroluje zvolený ovládač Ext2Fsd. Patří do skupiny ovládačů souborových systémů. ...
  • Automatická tvorba testovacích případů z datových toků 

    Kraut, Daniel
    Tato práce se zabývá automatickou tvorbou testovacích případů na úrovni jednotkového testování, pro zdrojové texty v jazyce C. K dosažení automatizace jsou použity metody přístupu k software jako k datovým tokům proměnných. ...
  • Automatická tvorba testovacích případů z datových toků 

    Kraut, Daniel
    Tato práce se zabývá automatickou tvorbou testovacích případů na úrovni jednotkového testování, pro zdrojové texty v jazyce C. K dosažení automatizace jsou použity metody přístupu k software jako k datovým tokům proměnných. ...
  • Automatické dopředné prořezávání programů 

    Patrik, Nikolas
    Táto práca popisuje návrh a implementáciu nového riešenie pre nástroj DiffKemp na automatické dopredné prerezávanie programov. Po zdĺhavej analýze súčasného riešenia, sme sa rozhodli súčasné riešenie ponechať a rozšíriť ...
  • Automatické srovnávání výstupu statické analýzy na různých verzích programů 

    Kompová, Radmila
    Práce se zabývá vývojem nástrojové podpory pro srovnávání výstupu statické analýzy uplatněné na různé verze zdrojových kódů programů. Součástí je rovněž diskuze tří volně dostupných statických analyzátorů pro jazyk C, z ...
  • Detekce škodlivých webových stránek pomocí strojového učení 

    Šulák, Ladislav
    Táto práca sa zaoberá problematikou škodlivého kódu na webe so zameraním na analýzu a detekciu škodlivého JavaScriptu umiestneného na strane klienta s využitím strojového učenia. Navrhnutý prístup využíva známe i nové ...
  • Dynamická detekce a léčení časově závislých chyb nad daty v prostředí Java 

    Letko, Zdeněk
    Hledání chyb plynoucích ze souběžného zpracovávání výpočtů je obtížné. Proto se tato diplomová práce zabývá detekcí a léčením časově závislých chyb nad daty a chyb plynoucích z nesprávné atomicity operací v prostředí Java. ...
  • Efektivní techniky pro měření výkonu programů 

    Pavela, Jiří
    Tato práce představuje optimalizační techniky zaměřené na proces sběru výkonnostních dat v rámci výkonnostní analýzy a profilování programů v nástroji Perun.   Rozšíření architektury a implementace těchto nových optimalizačních ...
  • Experimentální a numerická analýza zesílení ŽB prvku na smykové účinky 

    Folvarčná, Ingrid
    Návrh a výroba zkušebních prvků pro experimentální laboratorní zkoušení na smykové účinky. Provedení zkoušek mechanických vlastností zkušebních prvků. Experimentální analýza zkušebních prvků v laboratoři, tvorba matematického ...