|
Residues of inhibitors in cow´s milk
STŘELEČKOVÁ, Veronika
Milk, in our territory frequently used cow?s milk, is very important nutrient. Its importance consists in the contents of valuable proteins, easily digestible milk fat, lactose, vitamins and minerals. The quality of raw cow?s milk is characterised by many indicators, for example total number of microorganisms, number of somatic cells, content of basic constituents (fat, protein, lactose, non-fat solids), freezing point or occurrence of undesirable foreign and inhibitory substances. Residuals of inhibitory substances (RIL) are one of the main criteria of raw milk hygienic quality, where they can appear for example due to prevention and treatment of mastitis. The risk of occurrence and spread of bacterial resistance, disruption of intestinal microflora, allergic reactions and RIL toxic effects, both in human and veterinary medicine, belong among the biggest risks of RIL presence in food and raw materials of animal origin, including milk. Inhibitory substances have an inhibiting effect on development and activity of microorganisms and in particular in milk industry they affect the activity of dairy cultures causing significant production problems. Their presence in milk causes problems when producing cheese, during fermentation of yoghurts and other fermentation during milk processing. Prevention of RIL occurrence depends especially on adherence to basic breeding and veterinary measures when using drugs and medicines, on technology discipline in primary production and regular and strict control of RIL contents in milk from the primary production up to processing when various screening detection methods are used. It is very important to deal with the matter of RIL in milk in connection with quality standards, national legislation and European Union legislation and to control methods used for their detection and verification.
|
|
Analysis of the real estate market in Hradec Králové region
Vašata, Zdeněk ; Hartman, Ladislav (advisor) ; Trýznová, Jana (referee)
The aim of this thesis is analysis of real estate market with focus to small investor with interest in appartments in Hradec Králové region. The first part is theoretical, oriented to general information about real estate market and useful economical knowledge for investing into real estate. Practical part is focused to Hradec Králové region. The best localities are find out with financial and general (e.g. geographical, demografical and infrastructure aspects) research of the region. In these recommended areas are made model analysis and potentional evaluations for the purpose of small investor in this region.
|
|
Using of the Care benefit by Users of Social services
ŠINÁKLOVÁ, Marie
The bachelor thesis deals with the widespread social benefit, the attendance allowance and problems associated with it, which implies the main objective of this work, to find out how or what for this allowance is used. This thesis consists of a theoretical and a practical part. In the theoretical part I focused mainly on the purpose, the principles and basic functions of the allowance. I have also described who is and who is not entitled to the allowance, and when such entitlement may extinguish. In this part, I also focused on what the allowance is intended for and what it has to be properly utilized for. Furthermore, I mentioned in my thesis the inspection in accordance with the Social Services Act and the means of protection applied by the state in order to prevent the abuse of the allowance. In the theoretical part, I also mentioned the history of this allowance when it still was an allowance for attending a close person. Due to the fact that the attendance allowance is intended for people who are disadvantaged in some way, I also put a chapter on disability into the theoretical part, where I gave a definition of disability, its types and forms or for example specific needs that result from such disability. In the second, practical part, the qualitative research method was applied. Data collection was conducted by questioning using the technique of a semi-controlled interview. Interviews were conducted with six communication partners that I have selected using the "snowball" method, so called accretion. The aim of this thesis was mainly to determine how or what for the attendance allowance is used by ist beneficiaries. Whether the amount of the attendance allowance is sufficient for its users to cover the costs of providing the social service. Whether users because of the low value of the attendance will be required to limit their individual needs and interests in some way. Whether users have identified some changes after the amendment of the Social Services Act. For the above objectives I tried to get the answers needed to solve the respective issue.
|
|
Animal from the Garry Winogrand´s point of view
Tvarůžka, Václav ; DVOŘÁK, Tomáš (advisor) ; Ledvina, Josef (referee)
Work is an introduction to the work of Gary Winogrand and also analysis of the issue of limited possibility of looking which manifests in the particular problem, of impossibility of looking at animal. Work is based on essay from John Berger who concludes this communication problem trough the rise of capitalism and lost connection between human and animal creature. This thing is also connected to the phenomenon of zoological garden. Work is set in this certain context and further it is analyzing the photographs from Winogrand himself and also other authors, which are dealing with affinity problems like for example problem of authenticity (in the photography with the motive of animal), which is represented by Joan Fontcuberta. Or the problem of anthropomorphization (Walt Disney).
|
|
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 -  PDF
Plný tet: SKMBT_22316111113040 - PDF
|
|
Total contents and speciation of arsenic and selenium in plants growing in soils with different physico-chemical properties
Tremlová, Jana ; Száková, Jiřina (advisor) ; Vymazal, Jan (referee)
This dissertation thesis deals with uptake, accumulation and transformation of arsenic and selenium in plants growing on soils with different chemico-physical soil properties. The contents of arsenic were investigated in 99 wild plant species, coming from 27 different families and 6 different vegetables growing in arsenic contaminated soils. The results suggest that there are species-specific mechanisms which protects certain plants from the excessive uptake of arsenic from the soil. On the other hand, there are plants using a strategy of accumulation, which theoretically may increase the risk of arsenic entry into the food chain, whether through grazing cattle and wildlife or through consumption of vegetables growing on arsenic contaminated soils. The most prevalent arsenic compounds are AsV and AsIII. Other arsenic compounds occure as minor species. An important finding was detection of arsenobetaine in Plantago lanceolata L. and Carex praecox Schreb ..
The contents of selenium were examined in 73 species of wild plants, coming from 29 different families. The results suggest that naturally low levels of selenium in the soil of selected locations along with a low capability of selenium uptake via collected plant species lead to the low content of selenium in plant biomass which may contribute to selenium deficient throughout the food chain. Foliar application of selenate on wild plant communities and on some types of vegetables in our case Brassica oleracea var. italica can have a positive impact on increasing the selenium content in the aboveground biomass of these plants and by extension, increase the selenium content in the human diet. Dominant selenium compounds in the aboveground biomass of the analyzed plants were SeVI and selenomethionine, with variable proportion of other commonly occurring organic selenium compounds, which is mainly affected by plant species.
|
|
Current environmental threats and their impact in the landscape
Zapletalová, Jana ; Kirchner, Karel
Workshop Current environmental threats and their impact on the landscape was organized in the framework of the Strategy AV21 of the Academy of Sciences, the program Natural threats.\nThe papers were oriented both on natural threats (geological and geomorphological threats - slope deformation, erosion, hydrometeorological extremes floods, droughs, biological invasions) and their evaluation and prediction, and social and legal implications of natural and human activities caused by threats and their impacts on the landscape (e. g. changes in the urban environment, anthropogenic impacts in the mining areas). Important topics were focused on the assessment of natural and environmental threats and their solving in selected emergency and crisis situations using geoinformation technologies. \n
Fulltext: content.csg - PDF
Plný tet: UGN_0465323 - PDF
|
|
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.
|
|
Acceleration Methods for Evolutionary Design of Digital Circuits
Vašíček, Zdeněk ; Miller, Julian (referee) ; Zelinka,, Ivan (referee) ; Sekanina, Lukáš (advisor)
Ačkoliv můžeme v literatuře nalézt řadu příkladů prezentujících evoluční návrh jakožto zajímavou a slibnou alternativu k tradičním návrhovým technikám používaným v oblasti číslicových obvodů, praktické nasazení je často problematické zejména v důsledku tzv. problému škálovatelnosti, který se projevuje např. tak, že evoluční algoritmus je schopen poskytovat uspokojivé výsledky pouze pro malé instance řešeného problému. Vážný problém představuje tzv. problém škálovatelnosti evaluace fitness funkce, který je markantní zejména v oblasti syntézy kombinačních obvodů, kde doba potřebná pro ohodnocení kandidátního řešení typicky roste exponenciálně se zvyšujícím se počtem primárních vstupů. Tato disertační práce se zabývá návrhem několika metod umožňujících redukovat problem škálovatelnosti evaluace v oblasti evolučního návrhu a optimalizace číslicových systémů. Cílem je pomocí několika případových studií ukázat, že s využitím vhodných akceleračních technik jsou evoluční techniky schopny automaticky navrhovat inovativní/kompetitivní řešení praktických problémů. Aby bylo možné redukovat problém škálovatelnosti v oblasti evolučního návrhu číslicových filtrů, byl navržen doménově specifický akcelerátor na bázi FPGA. Tato problematika reprezentuje případ, kdy je nutné ohodnotit velké množství trénovacích dat a současně provést mnoho generací. Pomocí navrženého akcelerátoru se podařilo objevit efektivní implementace různých nelineárních obrazových filtrů. S využitím evolučně navržených filtrů byl vytvořen robustní nelineární filtr implusního šumu, který je chráněn užitným vzorem. Navržený filtr vykazuje v porovnání s konvenčními řešeními vysokou kvalitu filtrace a nízkou implementační cenu. Spojením evolučního návrhu a technik známých z oblasti formální verifikace se podařilo vytvořit systém umožňující výrazně redukovat problém škálovatelnosti evoluční syntézy kombinačních obvodů na úrovni hradel. Navržená metoda dovoluje produkovat komplexní a přesto kvalitní řešení, která jsou schopna konkurovat komerčním nástrojům pro logickou syntézu. Navržený algoritmus byl experimentálně ověřen na sadě několika benchmarkových obvodů včetně tzv. obtížně syntetizovatelných obvodů, kde dosahoval v průměru o 25% lepších výsledků než dostupné akademické i komerční nástroje. Poslední doménou, kterou se práce zabývá, je akcelerace evolučního návrhu lineárních systémů. Na příkladu evolučního návrhu násobiček s vícenásobnými konstantními koeficienty bylo ukázáno, že čas potřebný k evaluaci kandidátního řešení lze výrazně redukovat (defacto na ohodocení jediného testovacího vektoru), je-li brán v potaz charakter řešeného problému (v tomto případě linearita).
|
|
Stability and convergence of numerical computations
Sehnalová, Pavla ; Dalík, Josef (referee) ; Horová, Ivana (referee) ; Kunovský, Jiří (advisor)
Tato disertační práce se zabývá analýzou stability a konvergence klasických numerických metod pro řešení obyčejných diferenciálních rovnic. Jsou představeny klasické jednokrokové metody, jako je Eulerova metoda, Runge-Kuttovy metody a nepříliš známá, ale rychlá a přesná metoda Taylorovy řady. V práci uvažujeme zobecnění jednokrokových metod do vícekrokových metod, jako jsou Adamsovy metody, a jejich implementaci ve dvojicích prediktor-korektor. Dále uvádíme generalizaci do vícekrokových metod vyšších derivací, jako jsou např. Obreshkovovy metody. Dvojice prediktor-korektor jsou často implementovány v kombinacích modů, v práci uvažujeme tzv. módy PEC a PECE. Hlavním cílem a přínosem této práce je nová metoda čtvrtého řádu, která se skládá z dvoukrokového prediktoru a jednokrokového korektoru, jejichž formule využívají druhých derivací. V práci je diskutována Nordsieckova reprezentace, algoritmus pro výběr proměnlivého integračního kroku nebo odhad lokálních a globálních chyb. Navržený přístup je vhodně upraven pro použití proměnlivého integračního kroku s přístupe vyšších derivací. Uvádíme srovnání s klasickými metodami a provedené experimenty pro lineární a nelineární problémy.
|
guest ::
