|
|
Nové možnosti využití superabsorpčních polymerů v cementových kompozitech
Holubová, Petra ; Melichar, Jindřich (oponent) ; Černý, Vít (vedoucí práce)
Práce se zabývá vlivem superabsorpčních polymerů (SAP) na strukturu a vlastnosti cementových kompozitů. SAP vynikají jedinečnou schopností pojímat ve velkém množství vodu. Této vlastnosti lze využít při hydratačních procesech pro vnitřní ošetřování betonu. V cementové pastě byly zkoušeny dva typy receptur, které byly dále modifikovány dvěma typy SAP. SAP byly vždy použity dvěma způsoby dávkování (za sucha, v suspenzi). Vzorky byly následně uloženy na 28denní zrání v laboratorním prostředí, resp. v prostředí o teplotě 30 °C. Byly stanoveny fyzikálně mechanické vlastnosti, jako jsou především pevnost v tlaku, pevnost v tahu za ohybu a objemová hmotnost. Přidáním SAP do směsi měl za výsledek zvýšení tahových pevnosti téměř o dvojnásobek. Lze tedy vyvodit, že SAP pomohl při hydratačních procesech.
|
|
|
Studium vlastností cementových kompozitů s přídavkem polymerních vláken
Dokoupil, Tomáš ; Hela, Rudolf (oponent) ; Bodnárová, Lenka (vedoucí práce)
Bakalářská práce se zabývá užitím polymerních vláken v cementové matrici. Popisuje rozdělení a výrobu nejběžněji používaných polymerních vláken a také požadavky na jejich vlastnosti. Je uvedeno porovnání vlastností různých typů polymerních vláken. Práce představuje jednotlivé složky matrice vláknobetonu, její výrobu, zkoušení čerstvého i ztvrdlého vláknobetonu a konkrétní příklady jeho využití v praxi. S využitím odborných rešerší je podrobně popsán vliv PP, PE a PVA vláken na vlastnosti čerstvého i ztvrdlého betonu. Jsou uvedeny také nové trendy využití polymerních vláken. V závěru práce je navržen postup experimentálního ověření vlastností vláknobetonu v porovnání s referenčním vzorkem prostého betonu.
|
|
|
Bounded model checking v nástroji Java PathFinder
Dudka, Vendula ; Češka, Milan (oponent) ; Křena, Bohuslav (vedoucí práce)
Diplomová práce je věnovaná aplikaci formální metody bounded model checking pro automatickou opravu chyb. Oprava se specializuje na chyby spojené se souběžností. Práce je zaměřena na programy napsané v jazyce Java, a proto pro verifikační metodu byl zvolen model checker Java Pathfinder, který je určen pro Java programy. Vlastní verifikační metoda spočívá v aplikaci strategie pro navigaci stavovým prostorem do místa verifikace. Z daného místa je spuštěn bounded model checking pro ověření opravy. Navigace stavovým prostorem je implementována pomocí strategie record&replay trace. Pro aplikaci bounded model checkingu jsou implementovány další parametry a moduly pro verifikaci speciálních vlastností systému, které ověřují koreknost opravy chyby. Bounded model checking se provádí v okolí opravy.
|
|
|
Ověřování efektu jemných vláken a absorpčních přísad na proces self-healing betonu
Dokoupil, Tomáš ; Ťažký, Tomáš (oponent) ; Hela, Rudolf (vedoucí práce)
Diplomová práce se zabývá samohojením mikrotrhlin či defektů v betonovém kompozitu. V teoretické části představuje vliv polymerních mikrovláken na omezení rozvoje mikrotrhlin a na zlepšení samohojivých vlastností cementové matrice. Dále popisuje nejčastěji používané druhy bakterií používané pro umocnění samohojícího procesu a jejich vliv jak samostatně, tak ve spolupůsobení s vlákny, zdroji vápníku a absorpčními přísadami. Představuje také podpůrné příměsi ve formě superabsorpčních polymerů. V praktické části ověřuje vliv výše uvedených prvků a popisuje, jak bylo samohojení betonu umocněno užitím kombinací vláken, absorpčních polymerů a zdroje vápníku ve formě laktátu vápenatého. Ověřuje také, zda nebyly použitými složkami samohojivé vlastnosti zlepšeny na úkor zhoršení mechanických vlastností kompozitu.
|
|
|
Nové možnosti využití superabsorpčních polymerů v cementových kompozitech
Holubová, Petra ; Melichar, Jindřich (oponent) ; Černý, Vít (vedoucí práce)
Práce se zabývá vlivem superabsorpčních polymerů (SAP) na strukturu a vlastnosti cementových kompozitů. SAP vynikají jedinečnou schopností pojímat ve velkém množství vodu. Této vlastnosti lze využít při hydratačních procesech pro vnitřní ošetřování betonu. V cementové pastě byly zkoušeny dva typy receptur, které byly dále modifikovány dvěma typy SAP. SAP byly vždy použity dvěma způsoby dávkování (za sucha, v suspenzi). Vzorky byly následně uloženy na 28denní zrání v laboratorním prostředí, resp. v prostředí o teplotě 30 °C. Byly stanoveny fyzikálně mechanické vlastnosti, jako jsou především pevnost v tlaku, pevnost v tahu za ohybu a objemová hmotnost. Přidáním SAP do směsi měl za výsledek zvýšení tahových pevnosti téměř o dvojnásobek. Lze tedy vyvodit, že SAP pomohl při hydratačních procesech.
|
|
|
Ověřování efektu jemných vláken a absorpčních přísad na proces self-healing betonu
Dokoupil, Tomáš ; Ťažký, Tomáš (oponent) ; Hela, Rudolf (vedoucí práce)
Diplomová práce se zabývá samohojením mikrotrhlin či defektů v betonovém kompozitu. V teoretické části představuje vliv polymerních mikrovláken na omezení rozvoje mikrotrhlin a na zlepšení samohojivých vlastností cementové matrice. Dále popisuje nejčastěji používané druhy bakterií používané pro umocnění samohojícího procesu a jejich vliv jak samostatně, tak ve spolupůsobení s vlákny, zdroji vápníku a absorpčními přísadami. Představuje také podpůrné příměsi ve formě superabsorpčních polymerů. V praktické části ověřuje vliv výše uvedených prvků a popisuje, jak bylo samohojení betonu umocněno užitím kombinací vláken, absorpčních polymerů a zdroje vápníku ve formě laktátu vápenatého. Ověřuje také, zda nebyly použitými složkami samohojivé vlastnosti zlepšeny na úkor zhoršení mechanických vlastností kompozitu.
|
|
|
Studium vlastností cementových kompozitů s přídavkem polymerních vláken
Dokoupil, Tomáš ; Hela, Rudolf (oponent) ; Bodnárová, Lenka (vedoucí práce)
Bakalářská práce se zabývá užitím polymerních vláken v cementové matrici. Popisuje rozdělení a výrobu nejběžněji používaných polymerních vláken a také požadavky na jejich vlastnosti. Je uvedeno porovnání vlastností různých typů polymerních vláken. Práce představuje jednotlivé složky matrice vláknobetonu, její výrobu, zkoušení čerstvého i ztvrdlého vláknobetonu a konkrétní příklady jeho využití v praxi. S využitím odborných rešerší je podrobně popsán vliv PP, PE a PVA vláken na vlastnosti čerstvého i ztvrdlého betonu. Jsou uvedeny také nové trendy využití polymerních vláken. V závěru práce je navržen postup experimentálního ověření vlastností vláknobetonu v porovnání s referenčním vzorkem prostého betonu.
|
|
|
Evaluation of self-healing in concrete by means of analytical techniques
Aspiotis, K. ; Sotiriadis, Konstantinos ; Kumpová, Ivana ; Mácová, Petra ; Badogiannis, E. ; Tsivilis, S.
In the present work, the self-healing process in concrete was evaluated using analytical techniques. For this purpose, two concrete mixes of different composition (one used as reference) were prepared with a W/B of 0.45. The self-healing process was triggered by the introduction in the concrete mix of a commercial expansive admixture (calcium sulfo-aluminate), two dicarboxylic acids, and sodium carbonate salt. After 28 days curing in water, the specimens were artificially cracked (crack width ≈ 400 μm) and then again water-cured for 40 days until self-healing occurred. The progress of self-healing was investigated with a stereo-microscope at 40, 50 and 60 days. The efficiency of the process was evaluated using micro-Raman spectroscopy and X-ray micro-computed tomography (XmCT). Significant reduction in the crack width was observed as a result of filling the crack with calcite generated during the self-healing process. In some cases, the crack was completely healed. The experimental methodology used provided new insights into the evolution of the self-healing phenomenon in concrete.
|
|
|
Bounded model checking v nástroji Java PathFinder
Dudka, Vendula ; Češka, Milan (oponent) ; Křena, Bohuslav (vedoucí práce)
Diplomová práce je věnovaná aplikaci formální metody bounded model checking pro automatickou opravu chyb. Oprava se specializuje na chyby spojené se souběžností. Práce je zaměřena na programy napsané v jazyce Java, a proto pro verifikační metodu byl zvolen model checker Java Pathfinder, který je určen pro Java programy. Vlastní verifikační metoda spočívá v aplikaci strategie pro navigaci stavovým prostorem do místa verifikace. Z daného místa je spuštěn bounded model checking pro ověření opravy. Navigace stavovým prostorem je implementována pomocí strategie record&replay trace. Pro aplikaci bounded model checkingu jsou implementovány další parametry a moduly pro verifikaci speciálních vlastností systému, které ověřují koreknost opravy chyby. Bounded model checking se provádí v okolí opravy.
|
host ::
RSS.