|
Verifikace a dokazování geometrických vět s podporou počítače
CUKR, Pavel
Cílem diplomové práce Verifikace a dokazování geometrických vět s podporou počítače je ověření a dokazování vybraných geometrických vět a tvrzení pomocí programů GeoGebra a CoCoA. Každý problém je nejprve demonstrován v programu GeoGebra, poté následuje ověření (verifikace) problému v tomtéž programu. Dále je uveden klasickýdůkaz a důkaz, případně určení rovnice křivky, pomocí matematického programu CoCoA. Využití programu dynamické geometrie současně s programem počítačové algebry je vhodné jako učební pomůcka v hodinách matematiky na základních a středních školách.
|
|
Reintrodukce ohrožených druhů obratlovců v České republice
Prokorátová, Vendula ; Kubík, Štěpán (vedoucí práce) ; Vynikalová, Lucie (oponent)
Reintrodukční proces, často také nazývaný repatriací, znovuobnovení populace určitého druhu v místech, kde se tento druh dříve vyskytoval. Tato práce je zaměřena na zhodnocení reintrodukcí, včetně problémů, které ji provázejí a její historii. Pro úspěšné obnovení populace musí mít každý reintrodukční program tři fáze. První z nich je před reintrodukční průzkum
a přípravná fáze. Následuje samotné vypuštění daného druhu do volné přírody a poslední fází reintrodukčního projektu je následná péče a monitoring. Reintrodukčního programu by se vždy měli účastnit odborníci z různých vědních disciplín a to nejen přírodovědných, ale také z oblasti sociologie a specialisté na komunikaci s veřejnosti. Úspěšnost je rovněž dána
i finanční nákladností těchto projektů. Problémů spojených s reintrodukcí je hned několik, důležité je především vybrat vhodný druh k reintrodukci, to však není lehké, zejména kvůli veřejnému mínění. Odborným podkladem pro výběr druhu je sice Červená kniha, ale mínění veřejnosti je při reintrodukčních programech významné a může být rozhodující. Přednost tak dostávají z pohledu veřejnosti atraktivnější druhy, zejména savci a ptáci. Dále jsou v této práci uvedeny příklady úspěšné reintrodukce ve světě. Hlavní část je zaměřena na jednotlivé druhy obratlovců, které jsou vypuštěny do volné přírody v České republice: Sysel obecný Spermophilus citellus, Rys ostrovid Lynx lynx a Puštík bělavý Strix uralensis. Každý z těchto druhů je podrobně popsán, jsou u nich uvedeny ochranářské aktivity a příčiny ohrožení či vyhynutí druhu. Stručně jsou rovněž zmíněny některé organizace věnující se záchranným programům, zejména reintrodukci ohrožených druhů obratlovců.
|
|
Rozbor selekčního programu u bílé krátkosrsté kozy v ČR
Holecová, Alena ; Přibyl, Josef (vedoucí práce) ; Vít, Vít (oponent)
Selekční program je souhrn zásad a postupů pro zlepšování genetických vlastností zvířat. Cílem selekce je zajištění žádoucí úrovně užitkových vlastností, a tím ovlivnění ekonomických výsledků chovu ve prospěch chovatele. Genetického zlepšení je dosahováno výběrem nejlepších jedinců jako rodičů další generace. Základem organizace selekčního programu je stanovení cílů selekce, výběr vhodných selekčních kritérií a zajištění systému získávání dat z kontroly užitkovosti. Následuje výběr nejlepších jedinců a jejich připařování na základě stanovených zásad. Kvalita selekčního programu je dána odpovědí na selekci v jednotlivých znacích, udržením genetické diverzity vyjádřené koeficientem inbrídingu a ekonomickým ziskem. V případě genetických zdrojů, mezi které koza bílá krátkosrstá v ČR patří, je kladen důraz na zachování genetické rozmanitosti, ale také na ekonomický zisk, díky kterému je chov plemene pro chovatele zajímavým. Dosažený genetický zisk, koeficient inbrídingu a ekonomický zisk jsou porovnávány s očekávaným a v případě zjištěných odchylek je provedena analýza příčin a změna nastavení programu. V šlechtitelském programu kozy bílé krátkosrsté v ČR jsou nastaveny chovné cíle a systém kontroly užitkovosti, organizace připařování zajišťuje zamezení příbuzenské plemenitby. Plemenná hodnota není odhadována, rodiče další generace jsou vybíráni na základě naměřené hrubé fenotypové hodnoty pro obsah bílkovin v mléce a na základě hodnocení exteriéru. Není možné vyhodnotit genetický pokrok. Při analýze selekčních programů ve vybraných zemích (Francie, Švýcarsko, Chorvatsko, Slovinsko, Německo a Rakousko) bylo zjištěno, že ve všech těchto zemích je součástí selekčního programu odhad plemenných hodnot metodou BLUP - Animal model pro produkční znaky, případně exteriér nebo plodnost, nebo je v současné době připravován. Doporučuji odhadovat v rámci šlechtitelského programu kozy bílé krátkosrsté v ČR plemennou hodnotu pro množství mléka, bílkovin a tuku a vytvořit selekční index s důrazem na množství bílkovin v mléce, na jehož základě budou vybírání rodiče budoucí populace. Dále doporučuji zavedení lineárního hodnocení exteriéru z důvodu možnosti přesnějšího vyhodnocení znaků exteriéru, které mají souvislost s užitkovými znaky, zdravím, plodností a dlouhověkostí, a stanovování odhadu plemenné hodnoty i v těchto ukazatelích.
|
| |
|
Volnočasový vzdělávací program pro seniory ve vybrané organizaci
Mlýnková, Klára ; Tomšíková, Kateřina (vedoucí práce) ; Jana, Jana (oponent)
Bakalářská práce s názvem Volnočasový vzdělávací program pro seniory ve vybrané organizaci je zaměřena na vytvoření nového vzdělávacího programu pro daný segment. Teoretická část se zabývá jednotlivými souvisejícími pojmy z této problematiky. Nejdříve je charakterizován pojem senior, stáří a stárnutí, dále termíny volný čas a životní styl. Závěr teoretické části je věnován vzdělávání seniorů. V praktické části analyzuji nabídku již existujících volnočasových projektů a programů zaměřených na vzdělávání seniorů. Dále je provedeno dotazníkové šetření, jehož výsledky jsou přehledně zpracovány do tabulek a slovně okomentovány. Na základě získaných dat je na konci praktické části zpracován nový volnočasový vzdělávací program pro občany v postproduktivním věku.
|
|
Porovnání vlivu dojení krav dojicím automatem a rybinovou dojírnou na vybrané parametry welfare dojnic
PROVAZNÍKOVÁ, Iveta
Cílem této diplomové práce bylo získat základní údaje o průběhu dojení a formulovat poznatky o chování dojnic při dojení a následně 30 minut po ukončení vlastního dojení v dojírně s robotem a porovnání s konvenční dojírnou. Etologické pozorování probíhalo po dobu 24 hodin a bylo zaměřeno na všechny dojené kusy v průběhu 3 různých ročních období na dvou různých farmách. V průběhu sledování bylo provedeno pozorování na 862 kusech a to 478 kusů na farmě s robotem a 384 kusů na farmě s rybinovou dojírnou. Sběr údajů probíhal při pozorování stáda holštýnského skotu a byl zaměřen na tři oblasti chování zvířat. Porovnávali jsme potřebu přijmu krmiva, pití a ulehnutí dojnic do 30 minut po opuštění dojícího zařízení. Získané výsledky jsme následně vyhodnotili prostřednictvím programů Microsoft Excel a Statistika 9.
|
| |
|
Does oxidation make the organic aerosol coatings more hydrophilic? Insight from molecular dynamics study of oxidized surfactant monolayers
Roeselová, Martina ; Khabiri, Morteza ; Cwiklik, Lukasz
Organic compounds are ubiquitous in atmospheric aerosols. The morphology and structure of the organic phase affect the optical properties of the aerosols, their heterogeneous reactivity as well as their ability to nucleate cloud droplets and ice particles. It is commonly assumed that atmospheric oxidative ageing of the organic material, leading to the formation of polar groups such as carbonyl (=O), hydroxyl (-OH) and carboxylic acid (-COOH), will render the aerosol particle surfaces increasingly more hydrophilic, hence, able to take up more water. Field measurements have shown that a large fraction of the organic material found in aerosols are surface active compounds, such as fatty acids and lipids(Tervahattu, 2002 and 2005). An inverted micelle structure, with an aqueous core surrounded by an organic surfactant layer, has thus been proposed for aqueous aerosols, both marine and continental (Donaldson, 2006). While recent experiments suggest the existence of more complex structures, such as organic inclusions and surfactant lenses (Dennis-Smither, 2012), a monolayer (ML) of surface active organics on an aqueous subphase (the so called Langmuir monolayers) represents the basic model system used in laboratory studies aimed at elucidating the effect of oxidative processes on structural properties of organic coatings on aerosol particles. In our previous work, we used molecular dynamics computer simulations to study the structure and stability of oxidized phospholipid MLs (Khabiri, 2012). In this contribution, we employed the molecular dynamics simulation technique to investigate – with atomistic resolution – structural changes occuring in a fatty acid ML upon moderate degree of oxidation.
|
| |
|
Convexity in stochastic programming model with indicators of ecological stability
Houda, Michal
We develop an optimization model dealing with construction expenses that are prescribed as a result of the EIA (Environmental Impact Assessment) process. The process is an obligatory part of every large construction project and evaluates possible influences of the project to the environment, including population health, natural and other socio-economic aspects; the result of the process is a set of recommendation and arrangements the construction must meet. Our optimization model incorporates uncertainties in model parameters; we represent them through their probabilistic distribution. Furthermore, to overcome a problem with quantifying subjective utility function of ecological impacts, we measure them by so-called indicators of ecological stability. The resulting problem is stochastic programming problem formulated as (C)VaR model used traditionally in finance area. In our contribution we deal with convexity properties of this problem – these are especially important from the theoretical as well as from the computational point of view.
|
host ::
