National Repository of Grey Literature 26,838 records found  previous11 - 20nextend  jump to record: Search took 1.41 seconds. 

Sorption and Stabilization of Metals/Mettalloids by Innovative Synthesized Sorbent Amochar.
Ouředníček, P. ; Trakal, L. ; Komárek, M. ; Pohořelý, Michael
Remediation of contaminated soil which is based on stabilization and immobilization of potential\nhazardous substance by sorption materials has been studied intensively nowadays. Biochar – activated organic carbon belongs to this group of stabilizing agents which can adsorb wide range of contaminants, including metals/metalloids. Surface area of the biochars is quite large in general and functional groups (e.g. COO–) can form chelates or alkaline elements on the surface, which is represented by cation exchange capacity. Altogether with the high pH values (7.00 – 10.00), biochars are quite effective sorbents and can adsorb metals/metalloids from the solution (ground water), especially in acidic soils (in the environments affected by intensive mining activities). Sorption\neffectiveness can be increased (especially for As (V) or Cr (VI) sorption) by modification of biochar by various types of secondary oxides. Innovative sorbent AMOchar (AMO + biochar) has been synthesized currently. The product was prepared by adding of biochar to the reaction solution during amorphous manganese oxide (AMO) synthesis. The AMOchar was formed mainly by Mn-oxalates which had coated surface of the pristine biochar. AMOchar composite was able to remove significantly higher amounts of various metal(loid)s from the solution despite the rather high pH of the material. Sorption effectiveness was high not only in case of Pb (II) sorption (almost 99%), and Cd(II) (51.2%), but also a very high amount of As(V), 91.4%. Additionally, both AMOchar composite was able to reduce Mn leaching. This can avoid potential post-contamination caused by the dissolution of less stable Mn-oxalates as observed in the pure AMO.
Fulltext: content.csg - Download fulltextPDF
Plný tet: SKMBT_22316111113040 - Download fulltextPDF

Nutritional analysis and optimization of breeding of selected species of edible insects under conditions of the Czech Republic with regard to human health
Adámková, Anna ; Kouřimská, Lenka (advisor)
All over the world, the edible insects are considered a highly nutritious food with high protein and fat content. However, the nutritional value of insect is not constant. It can be affected by species, developmental stage, rearing technology or nutrition. Therefore, this thesis was aimed at obtaining the selected nutritional value of edible insects. Analyses were focused on the determination of the crude protein content, fat content, fatty acid profile and sterols in selected species of edible insects, which can be commonly reared in the Czech Republic. At the same time we also analysed samples of insects reared on the island of Sumatra to evaluate the influence of the climate on the nutritional value. The main aim of the thesis was the determination of optimal breeding conditions, developmental stages and feed rations for obtaining good production of insects with nutritional properties suitable for human nutrition. The analyses showed a high nutritional value of selected insect species, but also confirmed the significant differences in the content of individual nutrients between different species depending on the climate conditions and developmental stage. Comparing the fat and crude protein content in edible insects and other conventional sources of meat it has been found, that the examined insect is similar to beef concerning the fat and crude protein content. The results obtained are the basis for determining the appropriate rearing conditions and developmental stages for obtaining insect with the desired nutritional properties for human nutrition.

Population genetic analysis of Old Kladruber horse
Vostrá Vydrová, Hana ; Majzlík, Ivan (advisor) ; Karel, Karel (referee)
The Old Kladruber horse, along with the Lipizzaner horse, Andalusian horse and Lusitano horse, is of the original Italo-Spanish type. The Old Kladruber horse is kept in two colour varieties (grey and black). Because the population is closed, there is a concern about the loss of genetic variation. The genetic diversity and population structure were analysed in the Old Kladruber horse breed based on the pedigree information of animals that were registered in the Studbook to identify factors that may have affected the genetic variability of the breed. Pedigree records collected from 1729 to 2013 contained information on 7971 animals that were used in the analyses. The pedigree depth was up to 33 generations, with an average of 15.1 complete generations. The effective number of founders and ancestors contributing to the current genetic pool was 92.69 and 17.16, respectively. The average values of the inbreeding coefficient were as follows: 13% (with a maximum value of 29%) for the reference population (individuals that can currently take part in reproduction, n=612), 11% for the grey variety (with a maximum value of 25%) and 15% for the black variety (with a maximum value of 29%). The proportion of inbred animals was high (99%). The average rate of inbreeding in the reference population was 1%: 0.8% for the grey variety and 1.1% for the black variety, and the respective estimates of the effective population sizes were 52 for the reference population, 62 for the grey variety and 45 for the black variety. The estimated percentage of genetic diversity lost due to non-random mating within subpopulations and the reference population was 1.0, 1.0 and 1.2%, respectively. The total loss of genetic diversity in the reference population, in the grey variety and in the black variety was 11%, 13% and 17%, respectively.

Freezing technology of bull sperm in relation to its survivability and fertilization ability
Doležalová, Martina ; Stádník, Luděk (advisor) ; Jiří, Jiří (referee)
The aim of optimalization the insemination doses production is to provide the highest fertilization ability of spermatozoa during the demanding proces of processing fresh semen and its subsequent cryopreservation. Temperature changes causes spermatozoa damage during the cooling and freezing. Spermatozoa is exposed to cold shock and many others limiting factors, which leads to cell death and therefore to decline of fertilization ability of thawed insemination doses. For increasing spermatozoa resistance, exactly the plasma membrane resistance against cold shock was fraction of egg yolk LDL cholesterol (low density lipoprotein) at various concentrations into the comercially produced diluents added. It is believed that LDL acts possitively to plasma membrane and helps to maintain the fertilization ability of spermatozoa after thawing. Following step in the proces of insemination doses production is slow cooling of diluted semen and equilibration, when the straws are store at cooling box for 30 minutes to 240 hours. This period is necessary to penetrate of certain diluent components into the spermatazoa also maintain the balance between their intracellular and extracellular concentration. Also important is subsequent freezing temperature gradient of insemination doses. The most suitable freezing method is based on computer controlled temperature decline in freezing chamber which allows the precise control of ice crystals formation that could tear and kill the cell. During 2012 to 2016 was repeatedly collected semen from the group of breeding bulls (n = 27, Holstein and Czech Fleckvieh breed) at AI centre. Semen which fulfill the standard entrance conditions in first step was evenly into several parts divided. For dilution the three types of comercially diluents AndroMed, Bioxcell and Triladyl with and without LDL addition were used. Into the diluents AndroMed and Bioxcell the concentration of LDL 4 %, 6 % and 8% into the dilent Triladyl 6 %, 8 % and 10 % was added. Diluted semen was filled into the glass capillares with volume 0,1 ml and temperature +4 °C. Subsequently the sample was placed to cold bath (0°C) for 10 minutes. Then the volume of capillare with physiological solution (37 °C) was mixed and for next 120 minutes was incubate. The effect of cold shock to proportion of live spermatozoa was evaluated by using Eosin and Nigrosine staining technique during heat test of spermatozoa survivability after spermatozoa heating and after 120 minutes of incubation. The more suitable semen diluents which provide the higher spermatozoa resistance against cold shock were AndroMed and Bioxcell. Together the possitive effect of LDL addition into the diluents to lower decrease of proportion of live spermatozoa during heat test was found (P<0.05). The most suitable LDL concentration which had a favorable influence at spermatozoa resistance against cold shock was 6 % in diluent Bioxcell. Values of the proportion of live sperm were higher at the beginning of the heat test (+1.31% to + 3.2%) and after 120 minute incubation (+5.82% to +8.41%) compared to other diluents with and without addition of LDL. In the next step the process of equilibration was optimized, is an important part of insemination doses production. The effect of the length of equilibration for subsequent fertilization ability of spermatozoa was evaluated using spermatozoa motility based of CASA and proportion of live spermatozoa after thawing and during heat survival test lasting 120 minutes (37 ° C). Suitable semen was diluted by comercially used diluent AndroMed based on soya lecithin, filled into the straws (0.25 ml), cooled and equilibrated in cooling box for 30, 120 and 240 minutes and freezed in programmable freezing box applying four types of freezing curves differing in temperature rate decline. There was used standard and by producer recommended 3. phase freezing curve, then 2. phase freezing curve, and 3. phase freezing curve with slower as well as rapid decline of temperature rate in freezing chamber, compared with standard freezing curve. The highest spermatozoa motility was found using 240 minutes of equilibration by +2.72% and +4.58% compared to other lengths of equilibration (P <0.05 to 0.01). The highest proportion of live spermatozoa was found using 120 minutes of equilibration (+6.87 % and +8.68 %). The highest average spermatozoa motility during heat test after thawing was achieved by using 2. phase freezing curve (from +2.97% to +10.37%, P <0.05), also in the proportion of live spermatozoa (from + 4.37% to +8.82%, P <0.01). When evaluating interaction between the length of equilibration and freezing curve (standard 3. phase and 2 . phase freezing curve), the highest average spermatozoa motility and proportion of live spermatozoa using 240 minutes of equilibration by both freezing curves was reached, there was no statistically significant differences. As well as, in all evaluated parts of this study the individual differences between ejaculate of bulls and within semen from one bull (P <0.05) as secondary effect were found. To maintain good fertilization ability of semen during cryopreservation is necessary to increase the spermatozoa resistance against cold shock using addition of correct concentration of LDL into the commercially used diluents AndroMed and Bioxcell. Subsequently the fertilization ability of insemination dose is influenced by cooling, the length of equilibration and freezing. The length of equilibration 120 minutes and more as well as gentle way of freezing according to freezing curve, which ensures a gradual decrease of temperature in freezing chamber provided the higher average spermatozoa motility and proportion of live spermatozoa.

Comparison of house prices in different parts of the city of Brno in 2015 and 2016
Drcmánková, Hana ; Komosná, Milada (referee) ; Lorencová, Marie (advisor)
Diploma thesis deals with price comparison of family house in Brno – Královo Pole between 2015 and 2016. This family house is located near of the town center and then will be as a simulation moved to the outskirts, Brno – Líšeň. House prices are determined by observed price and market value. The task is to find out and evaluate the price differences, dependents to the valuation time and the place. I will make summary of factors that affect these prices.

Appraisal and assessment of development options immovable manufacturing facility open market value
Hanzlovská, Nikola ; Gardášová, Alena (referee) ; Hlavinková, Vítězslava (advisor)
The main objective of this diploma thesis is to determine the usual price for a manufacturing facility, by using valuation methods. A secondary aim was to determine best possible use of the building and the development possibilities, according to the results from valuation. Diploma thesis is divided to theoretical and practical part. In theoretical part are detailed valuation methods divided to two main parts, the valuation by price regulation and the market valuation. In the beginning the pratical part describes the location and property. Furthermore I applied valuation method for manufacturing complex. At the conclusion is recapitulation and analysis of results, where are considered diferences and the usual price is set. The last chapter is devoted to the best use of complex and consideration of development possibilities.

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".

Automata in Infinite-state Formal Verification
Lengál, Ondřej ; Jančar, Petr (referee) ; Veith, Helmut (referee) ; Esparza, Javier (referee) ; Vojnar, Tomáš (advisor)
Tato práce se zaměřuje na konečné automaty nad konečnými slovy a konečnými stromy, a použití těchto automatů při formální verifikaci nekonečně stavových systémů. Práce se nejdříve věnuje rozšíření existujícího přístupu pro verifikaci programů které manipulují s haldou (konkrétně programů s dynamickými datovými strukturami), jenž je založen na stromových automatech. V práci je navrženo několik rozšíření tohoto přístupu, jako například jeho plná automatizace či jeho rozšíření o podporu uspořádaných dat. V práci jsou popsány nové rozhodovací procedury pro dvě logiky, které jsou často používány ve formální verifikaci: pro separační logiku a pro slabou monadickou druhořádovou logiku s následníkem. Obě tyto rozhodovací procedury jsou založeny na převodu jejich problému do automatové domény a následné manipulaci v této cílové doméně. Posledním přínosem této práce je vývoj nových algoritmů k efektivní manipulaci se stromovými automaty, s důrazem na testování inkluze jazyků těchto automatů a manipulaci s automaty s velkými abecedami, a implementace těchto algoritmů v knihovně pro obecné použití. Tyto vyvinuté algoritmy jsou použity jako klíčová technologie, která umožňuje použití výše uvedených technik v praxi.

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.

Trust and Reputation in Distributed Systems
Samek, Jan ; Návrat,, Pavol (referee) ; Šafařík,, Jiří (referee) ; Hanáček, Petr (advisor)
This Ph.D. thesis deals with trust modelling for distributed systems especially to multi-context trust modelling for multi-agent distributed systems. There exists many trust and reputation models but most of them do not dealt with the multi-context property of trust or reputation. Therefore, the main focus of this thesis is on analysis of multi-context trust based models and provides main assumptions for new fully multi-contextual trust model on the bases of them. The main part of this thesis is in providing new formal multi-context trust model which are able to build, update and maintain trust value for different aspects (contexts) of the single entity in the multi-agent system. In our proposal, trust value can be built on the bases of direct interactions or on the bases on recommendations and reputation. Moreover we assume that some context of one agent is not fully independent and on the bases of trust about one of them we are able to infer trust to another's. Main contribution of this new model is increasing the efficiency in agent decision making in terms of optimal partner selection for interactions. Proposed model was verified by implementing prototype of multi-agent system when trust was used for agents' decision making and acting.