|
Time lapse tomography of fracture progress in silicate-based composite subjected to the loading a combination with acoustic emission scanning
Kumpová, Ivana ; Kytýř, Daniel ; Fíla, Tomáš ; Veselý, V. ; Trčka, T. ; Vopálenský, Michal ; Vavřík, Daniel
The initiation and propagation of a fracture in quasi-brittle materials (such as silicatebased composite) is an increasingly discussed topic for which various methods of research have been developed/applied. As the quasi-brittle silicate-based composite compounds are very non-homogenous, the mechanism of the crack initiation and propagation can be very different even for samples with the\nidentical geometry. One possible approach to study the fracture mechanism in quasi-brittle materials is to use several different experimental techniques in a single experiment and perform detail analysis to identify generally valid fracture process phenomena. In this work, a simultaneous monitoring of fracture\nprocess zone formation and propagation by three different methods is presented and discussed. A three point bending test was performed on a notched silicate composite specimen. During the loading process, a highly accurate force displacement dependence was recorded accompanied with X-ray radiography,\nX-ray computed tomogra-phy and acoustic emission scanning.
|
|
Analýza rizika posouzení nosné ŽB konstrukce
Bohatec, Jiří ; Laníková, Ivana (oponent) ; Šimůnek, Petr (vedoucí práce)
Diplomová práce se zabývá hodnocením rizik v průběhu zesilování železobetonového sloupu. Popisuje hodnocení existujících konstrukcí dle normy ČSN ISO 13822, rozebírá nebezpečí, která mohou nastat při určení únosnosti stávající konstrukce. Dále práce popisuje jednotlivé fáze zesilování ocelovou bandáží, jejich působení a vliv na celkovou únosnost. Také ukazuje výpočetní postup zesilování železobetonového sloupu, pomocí ocelové bandáže, vycházející z normy ČSN EN 1992-1-1 a ČSN EN 1998-3. Na konkrétním příkladu zesílení je ukázán postup stanovení únosnosti a poté je navrženo její zvýšení. Na dvou příkladech je provedena analýza rizika pomocí univerzální maticové analýzy rizik, která identifikuje a kvantifikuje význam jednotlivých nebezpečí spojených s výpočtem a realizací projektu.
|
|
New Methods for Increasing Efficiency and Speed of Functional Verification
Zachariášová, Marcela ; Dohnal, Jan (oponent) ; Steininger, Andreas (oponent) ; Kotásek, Zdeněk (vedoucí práce)
In the development of current hardware systems, e.g. embedded systems or computer hardware, new ways how to increase their reliability are highly investigated. One way how to tackle the issue of reliability is to increase the efficiency and the speed of verification processes that are performed in the early phases of the design cycle. In this Ph.D. thesis, the attention is focused on the verification approach called functional verification. Several challenges and problems connected with the efficiency and the speed of functional verification are identified and reflected in the goals of the Ph.D. thesis. The first goal focuses on the reduction of the simulation runtime when verifying complex hardware systems. The reason is that the simulation of inherently parallel hardware systems is very slow in comparison to the speed of real hardware. The optimization technique is proposed that moves the verified system into the FPGA acceleration board while the rest of the verification environment runs in simulation. By this single move, the simulation overhead can be significantly reduced. The second goal deals with manually written verification environments which represent a huge bottleneck in the verification productivity. However, it is not reasonable, because almost all verification environments have the same structure as they utilize libraries of basic components from the standard verification methodologies. They are only adjusted to the system that is verified. Therefore, the second optimization technique takes the high-level specification of the system and then automatically generates a comprehensive verification environment for this system. The third goal elaborates how the completeness of the verification process can be achieved using the intelligent automation. The completeness is measured by different coverage metrics and the verification is usually ended when a satisfying level of coverage is achieved. Therefore, the third optimization technique drives generation of input stimuli in order to activate multiple coverage points in the veri\-fied system and to enhance the overall coverage rate. As the main optimization tool the genetic algorithm is used, which is adopted for the functional verification purposes and its parameters are well-tuned for this domain. It is running in the background of the verification process, it analyses the coverage and it dynamically changes constraints of the stimuli generator. Constraints are represented by the probabilities using which particular values from the input domain are selected. The fourth goal discusses the re-usability of verification stimuli for regression testing and how these stimuli can be further optimized in order to speed-up the testing. It is quite common in verification that until a satisfying level of coverage is achieved, many redundant stimuli are evaluated as they are produced by pseudo-random generators. However, when creating optimal regression suites, redundancy is not needed anymore and can be removed. At the same time, it is important to retain the same level of coverage in order to check all the key properties of the system. The fourth optimization technique is also based on the genetic algorithm, but it is not integrated into the verification process but works offline after the verification is ended. It removes the redundancy from the original suite of stimuli very fast and effectively so the resulting verification runtime of the regression suite is significantly improved.
|
|
Občanská sdružení v Bělorusku (1994 - 2005). Užití legislativy k omezení svobody sdružování
Vojtíšková, Kristýna ; Zilynskyj, Bohdan (vedoucí práce) ; Marian, Jan (oponent)
Od nastolení autoritativní vlády v Bělorusku v polovině devadesátých let minulého století se většina zpravodajství z této země týká snah vládnoucí skupiny o umlčení projevů nesouhlasu v tamní společnosti. V této bakalářské práci si kladu za cíl zachytit, jak se tato snaha o eliminaci potenciálních protivníků projevila ve sféře nevládních neziskových organizací (NGO), konkrétně v legislativních normách upravujících záležitosti občanských sdružení a způsobech, jakými byly tyto normy využívány státními orgány. Předpokládám, že omezování práva na sdružování se netýká všech sdružení stejnou měrou a že některé metody pronásledování NGO pravděpodobně dosáhly neočekávaných až kontraproduktivních důsledků.
|
|
Metodika aplikace testu obvodu založená na identifikaci testovatelných bloků
Herrman, Tomáš ; Plíva, Zdeněk (oponent) ; Racek, Stanislav (oponent) ; Kotásek, Zdeněk (vedoucí práce)
Dizertační práce se zabývá analýzou číslicových obvodů popsaných na úrovni meziregistrových přenosů. Je v ní zahrnuta pouze problematika související s testovatelností obvodových datových cest, řadičem ovládajícím tok dat těmito cestami se nezabývá. Stěžejní částí práce je návrh konceptu testovatelného bloku (TB), pomocí něhož se obvod rozdělí na části, jež jsou plně testovatelné přes jejich vstupy a výstupy, přes takzvané hraniční registry bloku nebo primární vstupy/výstupy. Přínosem nové metodiky je také redukce počtu registrů v řetězci scan, do něhož jsou zařazeny pouze hraniční registry. Segmentací obvodu dosáhneme také zjednodušení generování testu rozdělením tohoto problému na více menších částí. Navržená metodika pro identifikaci TB v číslicovém obvodu využívá dvou vybraných evolučních algoritmů operujících na formálním modelu obvodu na úrovni RT.
|
|
TIB AV-portál: Spolehlivá infrastruktura pro vědecká videa
Plank, Margret
Německá národní knihovna pro vědu a techniku (Technische Informationsbibliothek) nabízí webovou platformu pro kvalitní vědecká videa zachycující počítačové vizualizace, experimenty, rozhovory nebo nahrávky přednášek a konferenčních prezentací. Klíčovou vlastností tohoto portálu je využití automatizovan é analýzy videa a sémantické analýzy, pomocí kterých je video rozděleno na menší části, na které lze odkazovat nebo v nich vícejazyčně vyhledávat. Všem videím jsou přiděleny identifikátory DOI. Videonahrávky jsou díky tomu zpřístupněny na vědecké úrovni a prostřednictvím DOI mohou být propojeny na jiné výzkumné práce (články aj.).
Plný text: idr-1033_4 - PDF Prezentace: idr-1033_2 - PDF; idr-1033_3 - PDF Videozáznam: idr-1033_1 - MP4
|
|
Výzkumná zpráva z hodnocení stavu krovu kostela sv. Ducha v Telči
Kloiber, Michal ; Bláha, Jiří ; Hrivnák, Jaroslav ; Buzek, Jaroslav ; Kunecký, Jiří ; Hasníková, Hana
Průzkum popisovaný v této výzkumné zprávě obsahuje hodnocení stavu krovu kostela sv. Ducha v Telči. Podnětem k sepsání zprávy byla objednávka od farního sboru ČCE v Telči. Objednávka obsahovala požadavek na posouzení stavu a identifikaci rozsahu dřevokazného poškození krovu kostela sv. Ducha v Telči se zaměřením na lokalizaci kritických míst, klasifikaci stupně poškození, určení rozsahu skrytého napadení pomocí nedestruktivních přístrojů, specifikaci napadení dřeva, včetně zakreslení zjištěných výsledků do kresebné dokumentace stávajícího stavu krovu. Na základě výsledků byly navrženy konkrétní postupy pro sanační opatření a do výkresové dokumentace zakresleny prvky navržené ke konstrukční sanaci. \n
|
|
Distribuce farmářské produkce - bedýnky
PRŮŠOVÁ, Mirka
Diplomová práce se zabývala bedýnkovým systémem, který je světově rozšířenou formou alternativního potravinového systému. Hlavním cílem práce bylo identifikovat subjekty zapojené do distribuce bedýnek a provést průzkum zkušeností s touto formou prodeje. Dále pak vymezit postoj spotřebitelů k tomuto způsobu prodeje.
|
|
Marketing nákupního centra
POLÁKOVÁ, Lucie
Předložená diplomová práce pojednává o nově otevřeném nákupním centru Galerie v Teplicích, které v současné době usiluje o vybudování výhodné pozice na trhu a rovněž pracuje na svém vhodném vymezení vůči stávající silné konkurenci. Hlavními cíli této práce je zjistit, jakou pozici výše zmíněné nákupní centrum v současné době na trhu zaujímá, poznat blíže jeho návštěvníky a následně na základě výsledků realizovaných šetření lépe zacílit a přizpůsobit stávající marketingovou komunikaci centra. Z tohoto důvodu je tato diplomová práce zaměřená zejména na zjišťování a analýzu bližších informací o chování, vnímání a preferencích návštěvníků určených nákupních center, především pak nákupního centra Galerie a rovněž na vymezení jeho současného positioningu ve vztahu k určeným konkurentům.
|
|
Exprese vybraných proteinů spermií u mužů s normálním a patologickým spermiogramem za použití monoklonálních protilátek
Pěknicová, Jana ; Čapková, Jana ; Dorosh, Andriy ; Margaryan, Hasmik ; Kubátová, Alena ; Děd, Lukáš
Nedávné studie ukázaly že neplodnost v lidské populaci postihuje odhadem 15% párů v reprodukčním věku. Mužská neplodnost je primární příčinou u 60% těchto případů. Z těchto důvodů jsme analyzovali povrchové a akrozomální proteiny spermií u mužů s normálním a patologickým spermiogramem. Zjistili jsme že intra-akrozomální proteiny: TERA, GAPDHS, PRKAR2A, které lze analyzovat pomocí našich monoklonálních protilátek , jsou rozdílně exprimovány u zdravých mužů a mužů s asthenozoospermií a to se signifikantně sníženou expresí u asthenozoospermie. tyto proteiny se účastní energetického metabolismu a apoptózy buněk a některé z nich i vazby na vajíčko - mají tedy důležitou roli v reprodukci. Na druhou starnu nebyly zjisštěny statisticky významné rozdíly v expresi povrchových proteinů (Appolipoprotein J, Semenogelin). Naše závěry ukazují že asthenozoospermie jako komplexní poruch apermatu je často v kombinaci s jinými patologickými stavy, které nejsou diagnostikovány základní analýzou spermatu. Monoklonální protilátky jsou tak vhodným nástrojem pro detekci proteinů spojených s patologií spermií ve spermatu s nízkou pohyblivostí spermií. Obecně, monoklonální protilátky proti proteinům spermie jsou vhodným nástrojem k detekci kvality spermií v reprodukční medicíně.
|