|
| |
|
|
State Space Symmetry Reduction for TBP Analysis
Černý, Ondřej ; Šerý, Ondřej (vedoucí práce) ; Poch, Tomáš (oponent)
Threaded Behavior Protocols (TBP) je specifikační jazyk pro modelování chování softwarových komponent. Tato práce se zaměřuje na analýzu TBP specifikací v rámci prostředí, která obsahují neomezené množšví replikovaných vláken. Takové specifikace spolu s modely možných prostředí způsobí nekonečnost stavového prostoru analýzy, který obsahuje velké množství symetrií, způsobených replikací vláken. V práci je navžena technika analýzy takových modelů, která redukuje symetrie s použitím abstrakce zvané Symbolic Counter Abstraction. Pro její použití je však nutné převést vlastnosti modelu na problém dosažitelnosti stavů vláken. Navrhovaná technika je bezpečná ve smyslu odhalení všech chyb v modelu. Na druhou stranu může způsobovat tzv. spurious erros, tj. chyby které neodpovídají skutečným chybám v modelu. Tyto chyby jsou v práci dobře identifikovány a dále jsou nastíněny způsoby jejich redukce. Práce navíc může představovat malý krok směrem k podpoře dynamického vytváření vláken v TBP specifikacích.
|
|
|
Možnosti spojování trubkových dílců
Holusek, Maxmilián ; Štroner, Marek (oponent) ; Peterková, Eva (vedoucí práce)
Bakalářská práce je zaměřena na metody spojování trubkových dílců a trubek. Je zde uvedena příprava základních spojovaných materiálů, kde jsou zmíněny nástroje a stroje pro dělení a upravování výchozích polotovarů. Dále jsou představeny jednotlivé metody jako je pájení, svařování, zalisování, lepení a závitové spojení. U každé metody je popsán základní princip, používané stroje a nástroje a výhody společně s nevýhodami. Závěrem je uvedeno několik příkladů využití trubkových dílců v praxi.
|
|
|
Moderní metody výroby závitů
Mišák, Ondřej ; Dvořáková, Jana (oponent) ; Píška, Miroslav (vedoucí práce)
Tato bakalářská práce se zabývá studiem závitů, konkrétně úvodem do základní geometrie závitů, jejich výrobou a moderními trendy, kterými lze závity zhotovit. Experimentální část je věnována výrobě závitů pomocí řezacích a tvářecích závitníků, porovnání silového i momentového zatížení a poškození vzniklé při výrobě závitů při změně řezné rychlosti. V závěru jsou shrnuty dosažené výsledky experimentálních zkoušek a jejich zhodnocení.
|
|
|
Optimisation of machining process for an industrial application and a CNC machining centre
Soukupová, Veronika ; Sliwková, Petra (oponent) ; Píška, Miroslav (vedoucí práce)
This diploma work was elaborated in industrial context during an internship at the company Metso. Optimising machining process of components called locking bolts was set as a goal to allow future project of workpiece feed automation. Optimising was evaluated by the level of autonomy, elimination of unprogrammed interventions of the machine’s operator and sufficient chip evacuation. Implementation of automatic systems to a CNC machining centre allows increase in productivity. Before automation of machining process, the machining needs to be optimised. Especially good chip fragmentation and evacuation is important. Long unfragmented chips can damage systems the like the automatic tool changer, chip conveyor or industrial robot. Sufficient chip fragmentation is given by choosing a machining technology and strategy, correct cutting tools and correct cutting conditions for given workpiece material.
|
|
|
Paralelizace ultrazvukových simulací pomocí 2D dekompozice
Nikl, Vojtěch ; Dvořák, Václav (oponent) ; Jaroš, Jiří (vedoucí práce)
Tato práce je součástí projektu k-Wave, což je simulační nástroj akustické tomografie sloužící k simulaci a rekonstrukci akustických vlnových polí a jeho hlavním přínosem je plánování ultrazvukových operací lidské tkáně, např. nádoru na mozku. Dopředné simulace jsou založeny na řešení k-prostorové pseudospektrální časové domény. Simulace jsou časově a výpočetně velice náročné. Simulace probíhají na 3D maticích, které reprezentují určité vlastnosti reálné tkáně, např. hustotu absorbce nebo rychlost šíření zvuku. K výpočtu gradientu se používá Rychlá Fourierova transformace (dále jen FFT), jejíž výpočet zabere zhruba 60% simulačního času. 3D FFT byla do této doby počítána pomocí softwarové knihovny FFTW, která interně využívá 1D dekompozici, tj. dekompozici podél jedné osy. Hlavní nevýhoda 1D dekompozice je relativně malý maximální počet výpočetních jader, přes které lze paralelizovat výpočet. Matice mají velikost řádově 1024x2048x3072, tím pádem lze efektivně paralelizovat přes maximálně 1024 jader. Dnešní superpočítače umožnují využít až stovky tisíc jader a tomu bychom se rádi přiblížili. Řešením je využití 2D dekompozice, která by teoretický maximální počet jader posunula až do řádu milionů. Její efektivní implementací se zabývá právě tato práce. 2D dekompozice je obecně paralelizována pouze pomocí MPI procesů, např. v~knihovnách PFFT nebo P3DFFT, v této práci ale využíváme pokročilejší kombinace MPI procesů a OpenMP vláken, kterou jsme nazvali hybridní 2D dekompozice (HybridFFT). Má tři hlavní části: výpočet 1D FFTs, lokální transpozice dat a globální transpozice dat. Pro výpočet sérií 1D FFT je využita knihovna FFTW.Lokální transpozice jsou implementovány pomocí blokové transpozice 2D matice, která je vektorizována pomocí SSE/AVX instrukcí. Jak 1D FFT, tak lokální lokální transpozice, jsou akcelerovány pomocí OpenMP vláken. Globální transpozice je opět implementována prostřednictvím knihovny FFTW, která při použití pokročilého plánování dokáže výrazně snížit dobu potřebnou pro její realizaci. Hlavním cílem této práce je tedy dosáhnout maximálního možného zrychlení a škálovatelnosti oproti předchozímu řešení, zároveň ale i zachovat kompatibilitu a přenositelnost. Hybridní transformace pracuje nejlépe, pokud na jednom socketu spustíme jeden MPI proces a v rámci tohoto socketu využijeme tolik vláken, kolik máme k dispozici jader. Díky tomu nemusí jádra v rámci jednoho socketu komunikovat přes MPI zprávy, ale využívají rychlejší sdílenou paměť, a zároveň je MPI komunikace efektivnější, protože máme pouze jeden MPI proces na socket a tím pádem jsou MPI zprávy vetší a je jich méně, což vede k menšímu zahlcení propojovací sítě a lepší efektivitě komunikace. Řešení bylo testováno na superpočítačích Anselm (Ostrava), Zapat (Brno) a Supernova (Wroclaw). Pro nižší počty jader, v řádu několika set, je výkon přibližně stejný nebo o pár procent lepší, než původně použitá 1D dekompozice FFTW knihovny nebo knihony PFFT a P3DFFT. Jeden z velmi dobrých výsledků je např. 512^3 FFT na 512 jádrech, kde hybridní dekompozice dosáhla času 31 ms, zatímco FFTW 39 ms a PFFT 44ms. Na stroji Anselm jsme spustili výpočet až na 2048 jádrech a škálovatelnost byla stále lineární. Nejlepší nárust výkonu oproti ostatním knihovnám by se měl projevit při počtu zhruba 8-16 tisíc jader pro kostky velikosti 1024^3, protože v této konfiguraci bude mít jeden MPI proces na starosti jednu desku matice a zároveň budou MPI zprávy dostatečně velké a v takovém počtu, že by se měla projevit lepší efektivita komunikace oproti ostatním knihovnám.
|
|
|
Výroby závitů závitníky
Nasyrov, Ildar ; Sliwková, Petra (oponent) ; Píška, Miroslav (vedoucí práce)
V teoretické části této diplomové práce jsou popsány druhy závitů, způsoby výroby a kontroly závitů, druhy závitníků, druhy povlaků a řezných kapalin, analýza měrných řezných sil při řezání závitů a teoretický rozbor rozložení průřezu třísky při aplikaci závitníků. Experimantální část této diplomové práce pojednává o výrobě vnitřních závitů řezacím závitníkem při konstantních řezných podmínkách. Při experimentu byl měřen průběh řezného momentu v závislosti na čase. Po provedení experimentu byly vyhodnoceny naměřené hodnoty, které byly statisticky zpracovány, a v jejich důsledku byl proveden výpočet ceny výroby jednoho závitu.
|
|
|
Production of threads with forming taps
Yermakov, Yegor ; Sliwková, Petra (oponent) ; Píška, Miroslav (vedoucí práce)
This diploma thesis deals with issues in production of threads. Its first part describes kinds of taps used in mechanical engineering. Then it focuses on issues about fundamental principles of threading and material forming during machining. Later on it focuses on comparing of forming and cutting taps forces during the treatment. The diploma thesis also describes an experiment of torque measurement by using forming tap. All the measured values were statistically processed and conclusions were then evaluated. The final part is devoted to a calculation of production costs.
|
|
|
Systémové řešení bezpečnosti informací v organizaci
Palička, Jan ; Dohnal, Matěj (oponent) ; Sedlák, Petr (vedoucí práce)
Tato diplomová práce zpracovává problematiku zavedení ISMS ve společnosti Netcope Technologies, a. s., která se věnuje výrobě síťových karet pro vysokorychlostní akceleraci. Práce je rozdělena na dvě logické části. V první části je uveden teoretický základ práce, včetně vybraných metod pro zavedení bezpečnosti informací. Ve druhé části potom analýza společnosti a navrhovaná opatření.
|
|
|
State Space Symmetry Reduction for TBP Analysis
Černý, Ondřej ; Šerý, Ondřej (vedoucí práce) ; Poch, Tomáš (oponent)
Threaded Behavior Protocols (TBP) je specifikační jazyk pro modelování chování softwarových komponent. Tato práce se zaměřuje na analýzu TBP specifikací v rámci prostředí, která obsahují neomezené množšví replikovaných vláken. Takové specifikace spolu s modely možných prostředí způsobí nekonečnost stavového prostoru analýzy, který obsahuje velké množství symetrií, způsobených replikací vláken. V práci je navžena technika analýzy takových modelů, která redukuje symetrie s použitím abstrakce zvané Symbolic Counter Abstraction. Pro její použití je však nutné převést vlastnosti modelu na problém dosažitelnosti stavů vláken. Navrhovaná technika je bezpečná ve smyslu odhalení všech chyb v modelu. Na druhou stranu může způsobovat tzv. spurious erros, tj. chyby které neodpovídají skutečným chybám v modelu. Tyto chyby jsou v práci dobře identifikovány a dále jsou nastíněny způsoby jejich redukce. Práce navíc může představovat malý krok směrem k podpoře dynamického vytváření vláken v TBP specifikacích.
|
host ::
RSS.