|
Comparing the Price of a Transportation Structure and the Actual Costs Incurred in Various Stages of Construction
Nezbeda, Jiří ; Zímová, Štěpánka (referee) ; Kosová, Jaroslava (advisor)
This diploma thesis deals with the calculation of the cost of the building work in order to create the price, which at the stage of the contract becomes a selling price, and the costs are fixed as a budget. The subject of this work is to monitor the development of costs in time so that the cost does not exceed the budget and the construction did not get into the negative result. Then set the price by its own methods (item budget, calculation according to budget indicators) and compare the prices and costs thus obtained from different phases of construction between each other and determine the differences. In this work is monitored and compared the cost of a construction contract and its costs in the construction stages. In the practical part,is used the method of direct comparison of cost and price values over time, in the form of different outputs from the controlling program and outputs from compiled item budget and the calculation of the construction. Analyzing the differences between these costs and their evolution over time by more detailed examination of item budgets and cost calculations, they determine the origin of these deviations. In conclusion, is proposed measures for a particular transport structure whitch was handled by the author as"master and co-ordinator of the construction".
|
|
The impact of executing new thermal insulation on a apartment building on the expenses associated with its operation
Machová, Petra ; Kosová, Jaroslava (referee) ; Čech, Josef (advisor)
The topic of the diploma thesis „The impact of executing new thermal insulation on a apartment building on the expenses associated with its operation “ is a draft and appraisal of four variants of thermal insulation of the building. The thesis deals with the assessment of the current proposal for apartment building envelopes along with proposing alternative plans with emphasis on reducing heating costs. The first section describes the types of buildings according to heating demand and a list of different variants of thermal insulation materials. The second part is devoted to a specific apartment building in the Ústí nad Labem for which there are designed in four variants of insulation. The work includes thermal assessment in original condition and the assessment of new condition modified by adding thermal insulation. Through research will bedetermined price of implementation of proposed insulation options together with the costs of operation of the apartment building. In conclusion, the diploma thesis evaluates the payback period of insulation.
|
|
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.
|
| |
|
Simulace a protiřetězce pro efektivní práci s konečnými automaty
Holík, Lukáš ; Černá, Ivana (referee) ; Jančar, Petr (referee) ; Vojnar, Tomáš (advisor)
Cílem této práce je vývoj technik umožňujících praktické využití nedeterministických konečných automatů, zejména nedeterministických stromových automatů. Jde zvláště o techniky pro redukci velikosti a testování jazykové inkluze, jež hrají zásadní roli v mnoha oblastech aplikace konečných automatů. V oblasti redukce velikosti vycházíme z dobře známých metod pro slovní automaty které jsou založeny na relacích simulace. Navrhli jsme efektivní algoritmy pro výpočet stromových variant simulačních relací a identifikovali jsme nový typ relace založený na kombinaci takzvaných horních a dolních simulací nad stromovými automaty. Tyto kombinované relace jsou zvláště vhodné pro redukci velikosti automatů slučováním stavů. Navržený princip kombinace relací simulace je relevantní i pro slovní automaty. Náš přínos v oblasti testování jazykové inkluze je dvojí. Nejprve jsme zobecnili na stromové automaty takzvané protiřetězcové algoritmy, které byly původně navrženy pro slovními automaty. Dále se nám podařilo použitím simulačních relací výrazně zefektivnit protiřetězcové algoritmy pro testování jazykové inkluze jak pro slovní, tak pro stromové automaty. Relevanci našich technik pro praxi jsme demonstrovali jejich nasazením v rámci regulárního stromového model checkingu, což je verifikační metoda založená na stromových automatech. Použití našich algoritmů zde vedlo k výraznému zrychlení a zvětšení škálovatelnosti celé metody. Základní myšlenky našich algoritmů pro redukci velikosti automatů a testování jazykové inkluze jsou aplikovatelné i na jiné typy automatů. Příkladem jsou naše redukční techniky pro alternující Büchiho automaty prezentované v poslední části práce.
|
|
Intrusion Detection in Network Traffic
Homoliak, Ivan ; Čeleda, Pavel (referee) ; Ochoa,, Martín (referee) ; Hanáček, Petr (advisor)
Tato práce se zabývá problematikou anomální detekce síťových útoků s využitím technik strojového učení. Nejdříve jsou prezentovány state-of-the-art datové kolekce určené pro ověření funkčnosti systémů detekce útoků a také práce, které používají statistickou analýzu a techniky strojového učení pro nalezení síťových útoků. V další části práce je prezentován návrh vlastní kolekce metrik nazývaných Advanced Security Network Metrics (ASNM), který je součástí konceptuálního automatického systému pro detekci průniků (AIPS). Dále jsou navrženy a diskutovány dva různé přístupy k obfuskaci - tunelování a modifikace síťových charakteristik - sloužících pro úpravu provádění útoků. Experimenty ukazují, že použité obfuskace jsou schopny předejít odhalení útoků pomocí klasifikátoru využívajícího metriky ASNM. Na druhé straně zahrnutí těchto obfuskací do trénovacího procesu klasifikátoru může zlepšit jeho detekční schopnosti. Práce také prezentuje alternativní pohled na obfuskační techniky modifikující síťové charakteristiky a demonstruje jejich použití jako aproximaci síťového normalizéru založenou na vhodných trénovacích datech.
|
|
Biochemical methods as tool for study of reproductive proteins
Postlerová, Pavla ; Zigo, Michal ; Pohlová, Alžběta ; Jonáková, Věra
Study of molecular mechanisms in reproduction is essential for the understanding of this outstanding process. Our lab studies proteins secreted by reproductive organs and sperm using various biochemical methods for a long time. We have expertise in protein extraction from spermatic cells using different approaches, and by kits for proteins from the sperm surface and distinct subcellular compartments. The proteins of reproductive organ fluids are separated by chromatographic methods, such as size exclusion chromatography, high-performance liquid chromatography with reverse phase (RP-HPLC) and affinity chromatography on matrices with various ligands. Proteins are subjected to SDS- or 2D-electrophoresis for their characterization and comparison of various extraction methods, different mammalian species, and sperm in different functional development. Electrophoretically separated proteins may be transferred onto nitrocellulose membrane (Western blot) for antibody detection or binding studies with lectin-labelled ligands (lectins, polysaccharides, zona pellucida glycoproteins). We use immunoprecipitation method with specific antibody for protein determination followed by the MALDI identification. Proteins are localized by immunofluorescent techniques on/in spermatic cells and tissue sections of reproductive organs. Isolation of proteins from reproductive tissues and fluids, and the antibody detection is crucial for the studying of reproductive protein origin.
|
|
Dynamics of mouse sperm capacitation and acrosome reaction
Dvořáková-Hortová, Kateřina ; Frolíková, Michaela ; Děd, Lukáš ; Šebková, Nataša
Capacitation followed by the acrosome reaction (AR), is a very complex event of molecular changes, including acrosome matrix rearrangement and actin polymerization, which mammalian sperm must undergo in the female reproductive tract in order to obtain the ability to penetrate and fertilize the egg. CD46 and β1-integrin belong to specific proteins, which are predicted to interact during molecular reorganization of capacitating sperm. The IZUMO1 as the primary fusion protein of the mammalian sperm is also involved in this dynamic network. We investigated the relationship between the Izumo, CD46 and β1 integrin relocation in the sperm head during the capacitation and AR in vitro. We have already successfully monitored by immunofluorescent labelling the dynamics of proteins CD46 and β1-integrin. The changes in the localization of these proteins associated with the AR and their mutual co-localization was observed. The original β1-integrin location in the freshly released epididymal sperm is in the acrosome and it relocates during the AR further through the sperm head compartments into the equatorial segment and over the whole sperm head. Its density over the equatorial segment is decreasing with the extended time of the AR. Also its presence in the perforatorium of the mouse sperm head is very prominent. The pattern for protein CD46 is extremely similar if not identical in both aspects such as compartment localization and time progress during capacitation and AR in vitro. The molecular interaction of CD46 and β1-integrin was investigated using the Proximity Ligation Assay and Super resolution microscopy STED. The data were statistically analysed. The newly obtained results from CD46 and β1-integrin relocation are in correlation with IZUMO1 dynamics and giving a substantial knowledge on the studied protein network rearrangement during capacitation and AR in mouse spermatozoa.
|
|
History of critical and intensive care - past and present
HOVORKOVÁ, Nicole
The title of the bachelor thesis is "History of critical and intensive care - past and present". Its main aim is to describe its origins in order to explore the history of providing critical and intensive care, both in the Czech Republic and in a global context, and also in comparison to the current state of the medical field. This work is focused on the period of development of intensive care, from the 50s to the 80s. It is a theoretical work done by detailed research of secondary and primary sources. It is divided into two parts. The first is dedicated to intensive care and its global development and in the Czech Republic. The second part contains data about intensive care within the hospitals of South Bohemia, which I have gathered during the study of materials provided by the local archives. The first chapter and the second chapter is dedicated to the history of nursing, both worldwide and in the Czech Republic. It serves for better orientation in the next chapter. The third chapter deals with intensive care itself. It is described in many of its aspects and in its historical and global context. The fourth chapter brings us to the second part of the thesis, which is supplemented with information from archival materials found during the research in regional archives. The thesis includes some photos that were captured either during a visit to the Museum of the National Medical Library, or during visits to the archives.
|
|
The Use of the Addictive Drugs by the Seniors
KOPAČKOVÁ, Dominika
The bachelor thesis deals with using addictive substances by senior citizens. The age cathegoty 60+ should not be omitted when speaking of using addictive substances. Even senior citizens are users of some addictive substances, especially drugs. The thesis is divided into two parts, theoretical and explorative one. There are four chapters in the theoretical part (Old age and ageing, Substance addiction, Addictive substances and their classification, Usage of addictive substances in the old age) and summarizes the knowledge from recent literature about this topic. First, the old age and ageing are described. This chapter deals with ageing and old age of the human. This work describes the right mental hygiene, too. Multi-factorial manifestation of the old age (biological, psychological and social) is mentioned as well. In the second chapter there are described the factors that increase probability of the addiction origin. These factors can be genetic, biological, and psychological. There are mentioned some system models of the formation, development and maintenance of addiction, dependence and definition of the signs that addiction manifests. The third chapter divides addictive substances between legal and illegal. There are their effects, impacts on the human organism decribed. The group of legal addictive substances are included tobacco, alcohol, drugs and certain foods. Illegal substances represented here by cannabis, hallucinogens, stimulants, opiates. The last fourth chapter focuses directly on the addictive behaviour of the senior citizens. Seniors are also users of substances with addictive potential. At first alcoholism is mapped, other chapters devote addiction to nicotine, drugs and narcotics. The main goal of the thesis is to determine whether seniors use an addictive substance. A partial goal of is to find out the extent and cause of using addictive substances by the senior population. To find out these goals there were used the principles of quantitive research. To collect the data there were used questionnaires, created all by the author. The questionnaires were created with open and closed questiones and used in the printed form. The research has been conducted in Sušice and its close surroundings in February 2015. Respondents were the people with the least age limit of 70 years. These were 40 people living in their households or home for elderly. The results show that also amongst senior citizens can be found those ones who use the addictive substances. Current problem are by the doctor prescribed drugs. Today´s senior citizen uses drugs regularly, very often also combination of more drugs. Seniors often use medication to relieve the pain because the pain occurs more frequently. They use drugs to help them sleep better, too. The next group of addictive substances, which this chapter deals with, are drugs with a shoothing effect. There are smokers between the senior citizens who bare this bad habit from their midlife. Some research shows that cannabis helps people with Parkinson's and Alzheimer´s disease. Seniors do not use cannabis for these purposes because it is not legal. Alcohol is drunk by older people on occassion, on the other hand there are also people who drink such an amount that is not considered as not-risky. Seniors do not drink so much on one occasion, compared to the young generation. In the thesis this problem is described more detailed. Results of the research can be used by lay public to understand issues of addictive substances better. This thesis can be source of information for students of healt-social fields of study and it can improve the awareness about reasons of using addictive substances amongs senior citizens.
|
guest ::
