|
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.
|
|
Risk analysis of load bearing RC structure review
Bohatec, Jiří ; Laníková, Ivana (referee) ; Šimůnek, Petr (advisor)
Master thesis deals with the evaluation of risks in the course of strengthening reinforced concrete column. It describes the assessment of existing structures according to ISO 13822, discusses the dangers that can occur when determining the carrying capacity of the existing structure. It also describes the different phases of strengthening steel banding, their functions and influence on the overall capacity. Also showing calculation process of strengthening reinforced concrete column, using steel banding, based on standard EN 1992-1-1 and EN 1998-3. In a concrete example of reinforcement is shown a process for determining the carrying capacity and then designed to the increase. In the two examples performs risk analysis using the universal matrix of risk analysis that identifies and quantifies the importance of various hazards associated with the calculation and implementation of the project.
|
|
New Methods for Increasing Efficiency and Speed of Functional Verification
Zachariášová, Marcela ; Dohnal, Jan (referee) ; Steininger, Andreas (referee) ; Kotásek, Zdeněk (advisor)
Při vývoji současných číslicových systémů, např. vestavěných systému a počítačového hardware, je nutné hledat postupy, jak zvýšit jejich spolehlivost. Jednou z možností je zvyšování efektivity a rychlosti verifikačních procesů, které se provádějí v raných fázích návrhu. V této dizertační práci se pozornost věnuje verifikačnímu přístupu s názvem funkční verifikace. Je identifikováno několik výzev a problému týkajících se efektivity a rychlosti funkční verifikace a ty jsou následně řešeny v cílech dizertační práce. První cíl se zaměřuje na redukci simulačního času v průběhu verifikace komplexních systémů. Důvodem je, že simulace inherentně paralelního hardwarového systému trvá velmi dlouho v porovnání s během v skutečném hardware. Je proto navrhnuta optimalizační technika, která umisťuje verifikovaný systém do FPGA akcelerátoru, zatím co část verifikačního prostředí stále běží v simulaci. Tímto přemístěním je možné výrazně zredukovat simulační režii. Druhý cíl se zabývá ručně připravovanými verifikačními prostředími, která představují výrazné omezení ve verifikační produktivitě. Tato režie však není nutná, protože většina verifikačních prostředí má velice podobnou strukturu, jelikož využívají komponenty standardních verifikačních metodik. Tyto komponenty se jen upravují s ohledem na verifikovaný systém. Proto druhá optimalizační technika analyzuje popis systému na vyšší úrovni abstrakce a automatizuje tvorbu verifikačních prostředí tím, že je automaticky generuje z tohoto vysoko-úrovňového popisu. Třetí cíl zkoumá, jak je možné docílit úplnost verifikace pomocí inteligentní automatizace. Úplnost verifikace se typicky měří pomocí různých metrik pokrytí a verifikace je ukončena, když je dosažena právě vysoká úroveň pokrytí. Proto je navržena třetí optimalizační technika, která řídí generování vstupů pro verifikovaný systém tak, aby tyto vstupy aktivovali současně co nejvíc bodů pokrytí a aby byla rychlost konvergence k maximálnímu pokrytí co nejvyšší. Jako hlavní optimalizační prostředek se používá genetický algoritmus, který je přizpůsoben pro funkční verifikaci a jeho parametry jsou vyladěny pro tuto doménu. Běží na pozadí verifikačního procesu, analyzuje dosažené pokrytí a na základě toho dynamicky upravuje omezující podmínky pro generátor vstupů. Tyto podmínky jsou reprezentovány pravděpodobnostmi, které určují výběr vhodných hodnot ze vstupní domény. Čtvrtý cíl diskutuje, zda je možné znovu použít vstupy z funkční verifikace pro účely regresního testování a optimalizovat je tak, aby byla rychlost testování co nejvyšší. Ve funkční verifikaci je totiž běžné, že vstupy jsou značně redundantní, jelikož jsou produkovány generátorem. Pro regresní testy ale tato redundance není potřebná a proto může být eliminována. Zároveň je ale nutné dbát na to, aby úroveň pokrytí dosáhnutá optimalizovanou sadou byla stejná, jako u té původní. Čtvrtá optimalizační technika toto reflektuje a opět používá genetický algoritmus jako optimalizační prostředek. Tentokrát ale není integrován do procesu verifikace, ale je použit až po její ukončení. Velmi rychle odstraňuje redundanci z původní sady vstupů a výsledná doba simulace je tak značně optimalizována.
|
|
Civil Associations in Belarus (1994 - 2005). Use of Legislation to Limit Freedom of Association
Vojtíšková, Kristýna ; Zilynskyj, Bohdan (advisor) ; Marian, Jan (referee)
Since the beginning of an authoritarian rule in half of the 1990s most news heard about Belarus have been linked to persistent effort of the ruling elite to silence voices of disagreement inside the Belarusian society. The purpose of this essay is to identify how this effort evinces in the non-government non-profit sphere, particularly in the legal documents dealing with civic associations and their use by the state bodies. I argue that not all civic organizations experience the same level of violation of their right to association and that certain means used to diminish the NGOs did not meet their goals and led to unpredicted and unwanted consequences.
|
|
Test Application Methodology Based On the Identification of Testable blocks
Herrman, Tomáš ; Plíva, Zdeněk (referee) ; Racek, Stanislav (referee) ; Kotásek, Zdeněk (advisor)
The PhD thesis deals with the analysis of digital systems described on RT level. The methodology of data paths analysis is decribed, the data path controller analysis is not solved in the thesis. The methodology is built on the concept of Testable Block (TB) which allows to divide digital component to such segments which can be tested through their inputs/outputs, border registers and primary inputs/outputs are used for this purpose. As a result, lower number of registers is needed to be included into scan chain - border registers are the only ones which are scanned. The segmentation allows also to reduce the volume of test vectors, tests are generated for segments, not for the complete component. To identify TBs, two evolutionary algorithms are used, they operate on TB formal model which is also defined in the thesis.
|
|
TIB AV-Portal: A Reliable Infrastructure for Scientific Videos
Plank, Margret
The German National Library of Science and Technology provides a web-based platform for quality-tested scientific videos including computer visualizations, experiments, interviews as well as recordings of lectures and conferences. Key feature of the portal is the use of automated video and semantic analyses, which enables pinpoint and cross lingual search on a segment level. All videos are assigned by Digital Object Identifi ers (DOI). As a result videos can be published in a scientifically sound way and be linked via DOIs to other research work like the corresponding article.
Fulltext: idr-1033_4 -  PDF
Slides: idr-1033_2 - PDF; idr-1033_3 - PDF
Video: idr-1033_1 -  MP4
|
|
Survey report on the condition assessment of the Church of the Holy Spirit truss in Telč
Kloiber, Michal ; Bláha, Jiří ; Hrivnák, Jaroslav ; Buzek, Jaroslav ; Kunecký, Jiří ; Hasníková, Hana
The survey described in this report contains the condition assessment of the truss of the Church of Holy Spirit in Telč. The stimulus for the survey report was an order from the parochial congregation ČCE in Telč. The order included a request to assess the condition and identify the extent of wood-decaying damage to the truss of the Church of the Holy Spirit in Telč, focusing on the location of the critical spots, the classification of the damage degree, the determination of the extent of hidden damage using non-destructive devices, and the specification of the wood damage cause, including drawing of the results in the documentation on the current truss condition. Based on the results, specific procedures of repair measures were proposed and the elements proposed for the reconstruction were sketched in the documentation.
|
|
Distribution of the Farm Products - Farm Boxes
PRŮŠOVÁ, Mirka
The diploma dissertation deals with farm box home delivery which is world widespread form of an alternative food system. The main aim of this dissertation was to identify the subjects involved in farm box distribution and make a survey on experiences with this form of business - afterwards to define the consumers´ attitude to this way of distribution.
|
|
Marketing at the shopping centre
POLÁKOVÁ, Lucie
The presented diploma thesis deals with the newly opened shopping center Galerie Teplice. The center is currently working on creation of a suitable market position with respect to the existing strong competition. The objective of the thesis is to evaluate the current position of the aforementioned shopping center on the market, then to learn more about its visitors and finally to improve targeting and personalize the marketing communication based on the analysis of results. For this reason the diploma thesis is focused on identifying and analyzing detailed information about the behavior, perceptions and preferences of visitors of designated shopping centers, especially of the Galerie center and on defining of its current positioning in relation to specified competitors.
|
|
Expression of selected proteins in sperm in men with normal and pathological spermiograms using monoclonal antibodies
Pěknicová, Jana ; Čapková, Jana ; Dorosh, Andriy ; Margaryan, Hasmik ; Kubátová, Alena ; Děd, Lukáš
Recent studies show that infertility in human populations it affects an estimated 15% of couples of reproductive age. Male infertility is the primary cause for 60% of these cases. For these reasons, we analyzed the acrosomal and sperm surface proteins in men with normal and pathological spermiograms. We found that intra-acrosome proteins: TERA (Transitional endoplasmic reticulum ATPase), GAPDHS (Sperm Glyceraldehyde-3-phosphate dehydrogenase), and PRKAR2A (C-AMP-dependent protein kinase II, PRKAR2A), which can be identified using our monoclonal antibodies, are different express in healthy men and men with astenozoospermia (with reduced sperm motility), and with a significantly reduced expression in the astenozoospermia. These proteins are involved in energy metabolism and apoptosis of the cells, and some of them in the sperm-egg interaction; therefore, they have an important role in reproduction. On the other hand, there were no statistically significant differences in the expression of surface proteins (Appolipoprotein J (Clusterin) and Semenogelin). Our findings show that astenozoospermia as a complex disorder of the semen is often combined with other pathological conditions that are not diagnosed by the semen analysis. Therefore monoclonal antibodies are so suitable instrument for the detection of proteins associated with the pathology of the sperm in the semen with low sperm motility. In general, monoclonal antibodies against the sperm proteins are an appropriate tool to detect sperm quality in reproductive medicine.
|
guest ::
