Now showing items 1-20 of 65

  • Administrativní budova 

    Luža, Radim
    Tato bakalářská práce se zabývá statickou analýzou a posouzením železobetonové stropní desky nad prvním nadzemním podlažím administrativní budovy. Stropní konstrukci tvoří monolitická lokálně podepřená deska. Statická ...
  • 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 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 konstrukčních, statických a proporčních kritérií románských a předrománských rotund. 

    Kříž, Pavel
    Disertační práce svým tématem navazuje na předchozí disertace v oboru rekonstrukcí historických staveb, které byly na Ústavu pozemního stavitelství Stavební fakulty VUT v Brně, vypracovány a obhájeny. Objekty, kterými se ...
  • 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 působení větru na stavební konstrukci 

    Tačner, Jan
    Diplomová práce se zabývá statickou a dynamickou analýzou chování štíhlé mostní konstrukce. V programovém systému ANSYS 14.5 byl vytvořen výpočtový model konstrukce lávky. Byla provedena statická a modální analýza, na ...
  • 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ť ...
  • 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 ...
  • Extrakce statických rysů z binárních aplikací za účelem analýzy malwaru 

    Pružinec, Jakub
    Podoby škodlivého software sa deň čo deň menia a vyvíjajú. Vzniká tak nutnosť jednostaj tvoriť, aktualizovať a zlepšovať metódy na analýzu škodlivého software. Jedným z možných prístupov ako bojovať proti škodlivému software ...
  • Generická syntéza invariantů v programu založená na šablonách 

    Marušák, Matej
    Cieľom tejto práce je návrh a implementácia generického strategy solveru pre nástroj 2LS. 2LS je analyzátor na statickú verifikáciu programov napísaných v jazyku C. Verifikovaný program je za využita abstraktnej interpretácie ...