Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 4 of 4 for “"statická analýza"”.
-
Statická analýza konstrukce pro zpracování odpadu
Diplomová práce se zabývá statickou analýzou konstrukce halového typu pro zpracování odpadu. V práci nalezneme návrh a statické posouzení hlavních nosných prvků konstrukce. Jedná se o dvoulodní kombinovanou skeletovou stavbu. Střešní systém je tvořený ocelovou příhradovou konstrukcí.
-
Statická analýza některých typů dřevěných konstrukcí
Bakalářská práce je zaměřena na analýzu krovových konstrukcí, rozborem a zhodnocením jejich rozdílů v chování. Práce je zaměřena na posouzení tradičních krovů, vytvoření jejich rovinných modelů, které jsou navzájem porovnány. Z vybraného krovu je vytvořen 3D model, na kterém jsou posuzovány klíčové …
-
Statická detekce častých chyb JBoss aplikačního serveru
Práce si klade za úkol poskytnout čtenáři popis statické analýzy prováděné prostřednictvím nástroje FindBugs nad aplikačním serverem JBoss od společnosti Red Hat. Na základě analýzy vybraných chyb byly vytvořeny vzory pro jejich detekci, které byly následně naimplementovány jako zásuvné moduly …
-
Automaty v rozhodovacích procedurách a výkonnostní analýze
Tato práce se věnuje vylepšení současného stavu formalní analýzy a verifikace založené na automatech a zaměřené na systémy s nekonečnými stavovými prostory. V první části se práce zabývá dvěma rozhodovacími procedurami pro logiku WS1S, které jsou založené na korespondenci mezi formulemi logiky WS1S …