|
Technologie zmrazování spermií býků ve vztahu k jejich přežitelnosti a oplozovací schopnosti
Doležalová, Martina ; Stádník, Luděk (vedoucí práce) ; Jiří, Jiří (oponent)
Cílem optimalizace procesu výroby inseminačních dávek je zajištění co nejvyšší oplozovací schopnosti spermií v průběhu relativně náročného procesu zpracování čerstvého ejakulátu a jeho následná kryokonzervace. Zejména v průběhu chlazení a mrazení spermií dochází k jejich poškození vlivem změny teplot, kdy jsou spermie vystaveny chladovému šoku a dalším limitujícím faktorům, které mají za následek buněčnou smrt a tudíž i snižování oplozovací schopnosti následně rozmrazené inseminační dávky. Pro zvýšení odolnosti spermií, respektive plazmatické membrány, vůči chladovému šoku byla do komerčně vyráběných ředidel přidávána frakce vaječného žloutku LDL cholesterol (low density lipoprotein) v různých koncentracích, takto vyrobené dávky byly testovány pomocí chladového a tepelného testu přežitelnosti spermií. Má se za to, že LDL příznivě ovlivňuje plazmatickou membránu spermií a napomáhá k lepší oplozovací schopnosti spermií po rozmrazení. Dalším krokem v procesu výroby inseminačních dávek je pozvolné chlazení naředěného ejakulátu a ekvilibrace, kdy jsou dávky uloženy v chladicím boxu po bobu 30 minut až 24 hodin, tato doba je nezbytně nutná pro penetraci určitých komponent ředidla do spermatických buněk a nastolení balance mezi jejich intracelulární a extracelulární koncentrací. Současně je důležitý následný teplotní gradient mrazení inseminačních dávek. Jako nejvhodnější způsob mrazení je dostupný systém počítačově řízeného poklesu teplot v mrazicím boxu, který umožňuje přesnou kontrolu tvorby ledových krystalů, které by mohly roztrhat, a tím zabít buňku.
V průběhu 2012 až 2016 byl opakovaně odebírán ejakulát od skupiny plemenných býků (n=27, býci holštýnského a českého strakatého plemene) na inseminační stanici. Ejakulát splňující standardní vstupní podmínky byl v prvním kroku rovnoměrně rozdělen na několik částí. K ředění ejakulátu byly využity 3 typy komerčně vyráběných ředidel AndroMed, Bioxcell a Triladyl bez a s přídavku LDL do ředidel o koncentraci 4 až 10 % v závislosti na typu ředidla. Naředěný ejakulát byl naplněn do skleněných kapilár o objemu 0,1 ml a teplotě +4 °C a vložen na 10 minut do chladicího boxu o teplotě 0 °C. Po uplynutí stanovené doby byl objem kapiláry smíchán s fyziologickým roztokem o teplotě 37 °C, kde byl vzorek 120 minut inkubován. Byl hodnocen vliv chladového šoku na podíl živých spermií v ejakulátu pomocí barvení Eosinem a Nigrosinem v průběhu tepelného testu přežitelnosti spermií a to ihned po zahřátí vzorku a po uplynutí 120 minutové inkubace. Z výsledků bylo patrné, že vhodnějšími ředidly pro zvyšování odolnosti spermií vůči chladovému šoku byly AndroMed a Bioxcell. Současně byl také zjištěn pozitivní vliv přídavku LDL do ředidel na nižší pokles podílu živých spermií v průběhu tepelného testu (P<0,05). Jako nejvhodnější koncentrace mající příznivý vliv na odolnost spermií vůči chladovému šoku byla vyhodnocena 6% koncentrace LDL v ředidle Bioxcell, kdy byly hodnoty podílu živých spermií vyšší jak na začátku tepelného testu (+1,31 % až +3,2 %) tak po 2 hodinové inkubaci (+5,82 % až +8,41 %) oproti ostatním ředidlům bez a s přídavkem LDL.
V dalším kroku byl optimalizován proces ekvilibrace, který je důležitou součástí výroby dávek a byl vyhodnocen vliv délky ekvilibrace na následnou oplozovací schopnost spermií hodnocenou pomocí motility spermií po rozmrazení zjištěné na základě CASA a podíl živých spermií v průběhu tepelného testu přežitelnosti trvajícím 120 minut (37 °C). Vhodný ejakulát byl naředěn standardně využívaným ředidlem AndroMed na bázi sojového lecitinu, naředěný ejakulát byl naplněn do pejet (0,25 ml), zchlazen a ekvilibrován v chladicím boxu po dobu 30, 120 a 240 minut, následně byl mrazen v programovatelném mrazicím boxu dle 4 typů mrazicích křivek lišících se teplotou a rychlostí poklesu teplot v komoře. K mrazení byla využita standardně využívaná a výrobcem doporučovaná 3. fázová mrazicí křivka, dále 2. fázová mrazicí křivka, a 3. fázová mrazicí křivka s pomalejším a naopak rychlejším poklesem teplot v komoře, oproti standardní mrazicí křivce. Nejvhodnější délka ekvilibrace byla 240 minut, kde byla zjištěna motilita vyšší o +2,72 % a +4,58 % oproti ostatním délkám ekvilibrace (P<0,05 až 0,01). Nejvyšších průměrných hodnot podílu živých spermií bylo dosaženo při délce ekvilibrace 120 minut (+6,87 % a 8,68 %). Nejvyšší průměrné motility spermií po rozmrazení v průběhu tepelného testu přežitelnosti bylo dosaženo při mrazení na základě 2. fázové mrazicí křivky (od +2,97 % do +10,37 %, P<0,05), taktéž při hodnocení podílu živých spermií (od +4,37% do +8,82 %, P<0,01). Při vyhodnocení interakce mezi délkou ekvilibrace mrazicí křivkou ( 2. fázová a 3. fázová standardní) bylo nejvyšších hodnot průměrné motility a podílu živých spermií u obou křivek v kombinaci s délkou ekvilibrace 240 minut, avšak nebyl mezi nimi zaznamenán žádný statisticky průkazný rozdíl. Ve všech hodnocených částech práce byly nalezeny individuální rozdíly mezi jednotlivými býky i mezi jednotlivými odběry ejakulátu od jednoho býka (P<0,05).
Pro zachování dobré oplozovací schopnosti ejakulátu v průběhu procesu kryokonzervace je zapotřebí zvýšit odolnost spermií vůči chladovému šoku a to přidáním správné koncentrace LDL do vhodného komerčně vyráběného ředidla, kterým bylo ředidlo AndoMed a Bioxcell. Následně je ve velké míře oplozovací schopnost vyrobené inseminační dávky ovlivněna chlazením a délkou ekvilibrace před samotným mrazením. Délka ekvilibrace 120 minut a déle a následný šetrný způsob mrazení dle mrazicí křivky, která zajišťuje pozvolný pokles teplot v komoře, zajistí vyšší průměrnou motilitu spermií a podíl živých spermií po rozmrazení.
|
|
New Methods for Increasing Efficiency and Speed of Functional Verification
Zachariášová, Marcela ; Dohnal, Jan (oponent) ; Steininger, Andreas (oponent) ; Kotásek, Zdeněk (vedoucí práce)
In the development of current hardware systems, e.g. embedded systems or computer hardware, new ways how to increase their reliability are highly investigated. One way how to tackle the issue of reliability is to increase the efficiency and the speed of verification processes that are performed in the early phases of the design cycle. In this Ph.D. thesis, the attention is focused on the verification approach called functional verification. Several challenges and problems connected with the efficiency and the speed of functional verification are identified and reflected in the goals of the Ph.D. thesis. The first goal focuses on the reduction of the simulation runtime when verifying complex hardware systems. The reason is that the simulation of inherently parallel hardware systems is very slow in comparison to the speed of real hardware. The optimization technique is proposed that moves the verified system into the FPGA acceleration board while the rest of the verification environment runs in simulation. By this single move, the simulation overhead can be significantly reduced. The second goal deals with manually written verification environments which represent a huge bottleneck in the verification productivity. However, it is not reasonable, because almost all verification environments have the same structure as they utilize libraries of basic components from the standard verification methodologies. They are only adjusted to the system that is verified. Therefore, the second optimization technique takes the high-level specification of the system and then automatically generates a comprehensive verification environment for this system. The third goal elaborates how the completeness of the verification process can be achieved using the intelligent automation. The completeness is measured by different coverage metrics and the verification is usually ended when a satisfying level of coverage is achieved. Therefore, the third optimization technique drives generation of input stimuli in order to activate multiple coverage points in the veri\-fied system and to enhance the overall coverage rate. As the main optimization tool the genetic algorithm is used, which is adopted for the functional verification purposes and its parameters are well-tuned for this domain. It is running in the background of the verification process, it analyses the coverage and it dynamically changes constraints of the stimuli generator. Constraints are represented by the probabilities using which particular values from the input domain are selected. The fourth goal discusses the re-usability of verification stimuli for regression testing and how these stimuli can be further optimized in order to speed-up the testing. It is quite common in verification that until a satisfying level of coverage is achieved, many redundant stimuli are evaluated as they are produced by pseudo-random generators. However, when creating optimal regression suites, redundancy is not needed anymore and can be removed. At the same time, it is important to retain the same level of coverage in order to check all the key properties of the system. The fourth optimization technique is also based on the genetic algorithm, but it is not integrated into the verification process but works offline after the verification is ended. It removes the redundancy from the original suite of stimuli very fast and effectively so the resulting verification runtime of the regression suite is significantly improved.
|
|
Optimalizace testu digitálního obvodu multifunkčními prvky
Stareček, Lukáš ; Gramatová, Elena (oponent) ; Kubátová, Hana (oponent) ; Kotásek, Zdeněk (vedoucí práce)
Tato práce se zabývá možností optimalizace testu číslicových obvodů pomocí multifunkčních logických hradel. Nejdůležitější částí práce je vysvětlení samotného principu optimalizace, který je popsán také formálními matematickými prostředky. Na základě tohoto popisu je v práci prezentováno několik možností využití. Ukázána je optimalizace testovatelnosti obdobná metodě vkládání testovacích bodů a jednoduchá metodika založena na základě SCOAP. Těžištěm práce je však metodika, která byla vytvořena pro optimalizaci testu obvodu. Ta byla implementována v podobě softwarových nástrojů. V práci jsou následně prezentovány výsledky použití těchto nástrojů na úloze snížení počtu testovacích vektorů se zachováním pokrytí poruch pro různé obvody včetně testovací sady ISCAS 85. Část práce je věnována také různým principům a technologiím tvorby multifunkčních logických hradel. Některá vybraná hradla z těchto technologií jsou podrobena simulacím elektronických vlastností ve SPICE. Na základě principů prezentované metodiky a výsledků simulací multifunkčních hradel je také provedena analýza a rozbor různých problémů jako je platnost testu modifikovaného obvodu a vhodnost jednotlivých technologií multifunkčních hradel pro danou metodiku. Výsledky analýz a provedených experimentů je potvrzeno, že pomocí multifunkčních hradel lze optimalizovat diagnostické vlastnosti obvodu takovým způsobem, aby došlo k požadovaným úpravám parametrů výsledných testů obvodů při minimálních dopadech na kvalitu a věrohodnost těchto testů.
|
|
Acceleration Methods for Evolutionary Design of Digital Circuits
Vašíček, Zdeněk ; Miller, Julian (oponent) ; Zelinka,, Ivan (oponent) ; Sekanina, Lukáš (vedoucí práce)
Although many examples showing the merits of evolutionary design over conventional design techniques utilized in the field of digital circuits design have been published, the evolutionary approaches are usually hardly applicable in practice due to the various so-called scalability problems. The scalability problem represents a general problem that refers to a situation in which the evolutionary algorithm is able to provide a solution to a small problem instances only. For example, the scalability of evaluation of a candidate digital circuit represents a serious issue because the time needed to evaluate a candidate solution grows exponentially with the increasing number of primary inputs. In this thesis, the scalability problem of evaluation of a candidate digital circuit is addressed. Three different approaches to overcoming this problem are proposed. Our goal is to demonstrate that the evolutionary design approach can produce interesting and human competitive solutions when the problem of scalability is reduced and thus a sufficient number of generations can be utilized. In order to increase the performance of the evolutionary design of image filters, a domain specific FPGA-based accelerator has been designed. The evolutionary design of image filters is a kind of regression problem which requires to evaluate a large number of training vectors as well as generations in order to find a satisfactory solution. By means of the proposed FPGA accelerator, very efficient nonlinear image filters have been discovered. One of the discovered implementations of an impulse noise filter consisting of four evolutionary designed filters is protected by the Czech utility model. A different approach has been introduced in the area of logic synthesis. A method combining formal verification techniques with evolutionary design that allows a significant acceleration of the fitness evaluation procedure was proposed. The proposed system can produce complex and simultaneously innovative designs, overcoming thus the major bottleneck of the evolutionary synthesis at gate level. The proposed method has been evaluated using a set of benchmark circuits and compared with conventional academia as well as commercial synthesis tools. In comparison with the conventional synthesis tools, the average improvement in terms of the number of gates provided by our system is approximately 25%. Finally, the problem of the multiple constant multiplier design, which belongs to the class of problems where a candidate solution can be perfectly evaluated in a short time, has been investigated. We have demonstrated that there exists a class of circuits that can be evaluated efficiently if a domain knowledge is utilized (in this case the linearity of components).
|
|
Využití odpadní suroviny po zpracování sklářských písků
Zach, Jaroslav ; Přikryl, Richard (vedoucí práce) ; Vavro, Martin (oponent)
Předložená diplomová je zaměřena na možné využití odpadního výplavu z procesu úpravy sklářských a slévárenských písků ložiska Provodín. Bylo studováno mineralogické a chemické složení, mechanické a fyzikální vlastnosti, parametry pórového prostoru a velikost specifického měrného povrchu. RTG difrakční rozbor prokázal zastoupení kaolinitu, illitu, křemene a akcesoricky se vyskytujícího mikroklinu. Silikátová analýza prokázala dominantní zastoupení SiO2, které tvoří 80,52%, Al2O3 tvoří 11,36% a K2O 2,14%. Tato diplomová práce se zaměřila na tři hlavní oblasti použití zkoumaného materiálu: na použití jako jílové složky do surovinových směsí pro výrobu hydraulických vápen, jako možného kaolinitického absorbentu a možné použití výplavu v geotechnice. Experimentálně se studovaný materiál míchal s vápencem v poměru 10; 15; 20 a 25 hm% a následně vypaloval v rozmezí teplot 850-1200řC. Pomocí RTG difrakčního rozboru se identifikovaly nově vzniklé fáze. Bylo prokázáno, že vznikají fáze, které jsou charakteristické pro hydraulická vápna (C2S, C3A, C4AF). Vznik fází je závislý na teplotě, nejvíce se objevují při teplotě nad 1050řC. Na studium specifického měrného povrchu a pórového prostoru byl použit čistý materiál a vypálené vzorky čistého materiálu z teplot 500 a 900řC. Největšími hodnotami disponuje čistý...
|
|
Metodologie pro návrh číslicových obvodů se zvýšenou spolehlivostí
Straka, Martin ; Gramatová, Elena (oponent) ; Racek, Stanislav (oponent) ; Kotásek, Zdeněk (vedoucí práce)
Práce představuje alternativní metodiku k již existujícím technikám pro návrh číslicových systémů se zvýšenou spolehlivostí implementovaných do obvodů FPGA a doplňuje některé nové vlastnosti při realizaci a testování těchto systémů. Práce se opírá o využití částečné dynamické rekonfigurace obvodu FPGA při návrhu systémů odolných proti poruchám, kde může být částečná rekonfigurace využita jako mechanizmus pro opravu a zotavení systému po výskytu poruchy. Práce nejprve představuje obecné principy diagnostiky, testování a spolehlivosti číslicových systémů včetně stručného popisu programovatelných obvodů FPGA a jejich architektury. Dále pokračuje přehledem současných metod a technik při návrhu a implementaci systémů odolných proti poruchám do obvodů FPGA, kde jsou popsány zejména techniky z oblasti detekce a lokalizace poruch, opravy a posuzování kvality návrhu. Nejdůležitější částí práce je popis metodiky pro návrh, implementaci a testování systémů odolných proti poruchám, která byla vytvořena pro obvody FPGA, jejichž konfigurační paměť je založena na pamětech typu SRAM. Nejprve je prezentována technika pro vytváření a automatizované generování hlídacích obvodů pro číslicové systémy a komunikační protokoly v FPGA, následně je prezentovaná referenční architektura spolehlivého systému implementovaného do FPGA včetně několika odolných architektur využívajících principu částečné dynamické rekonfigurace jako mechanizmu opravy a zotavení po výskytu poruchy. Dále je popsán způsob řízení rekonfiguračního procesu a testovací platforma pro snadné testovaní a ověření kvality systémů odolných proti poruchám implementovaných dle navržené metodiky. V závěru jsou diskutovány experimentální výsledky a přínos práce.
|
|
Metodologie pro návrh číslicových obvodů se zvýšenou spolehlivostí
Straka, Martin ; Kotásek, Zdeněk (vedoucí práce)
Práce představuje alternativní metodiku k již existujícím technikám pro návrh číslicových systémů se zvýšenou spolehlivostí implementovaných do obvodů FPGA a doplňuje některé nové vlastnosti při realizaci a testování těchto systémů. Práce se opírá o využití částečné dynamické rekonfigurace obvodu FPGA při návrhu systémů odolných proti poruchám, kde může být částečná rekonfigurace využita jako mechanizmus pro opravu a zotavení systému po výskytu poruchy. Práce nejprve představuje obecné principy diagnostiky, testování a spolehlivosti číslicových systémů včetně stručného popisu programovatelných obvodů FPGA a jejich architektury. Dále pokračuje přehledem současných metod a technik při návrhu a implementaci systémů odolných proti poruchám do obvodů FPGA, kde jsou popsány zejména techniky z oblasti detekce a lokalizace poruch, opravy a posuzování kvality návrhu. Nejdůležitější částí práce je popis metodiky pro návrh, implementaci a testování systémů odolných proti poruchám, která byla vytvořena pro obvody FPGA, jejichž konfigurační paměť je založena na pamětech typu SRAM. Nejprve je prezentována technika pro vytváření a automatizované generování hlídacích obvodů pro číslicové systémy a komunikační protokoly v FPGA, následně je prezentovaná referenční architektura spolehlivého systému implementovaného do FPGA včetně několika odolných architektur využívajících principu částečné dynamické rekonfigurace jako mechanizmu opravy a zotavení po výskytu poruchy. Dále je popsán způsob řízení rekonfiguračního procesu a testovací platforma pro snadné testovaní a ověření kvality systémů odolných proti poruchám implementovaných dle navržené metodiky. V závěru jsou diskutovány experimentální výsledky a přínos práce.
|
|
Čerpadlo s difuzorem s použitím stochastických lopatek (oběžné kolo i difuzor)
Dobšáková, Lenka ; Melichar, Jan (oponent) ; Veselý, Jindřich (oponent) ; Haluza, Miloslav (vedoucí práce)
Tato dizertační práce se zabývá studiem nerovnoměrné lopatkové mříže u odstředivých čerpadel. Vliv nerovnoměrné lopatkové mříže je zkoumána u oběžného i rozváděcího kola. Nerovnoměrné lopatkování kol čerpadla je v této práci zkoumáno z hlediska vlivu na účinnostní charakteristiku. Myšlenkou použití nerovnoměrného lopatkování je získání ploché účinnostní charakteristiky. Odstředivé čerpadlo by pak mohlo být používáno na větším rozsahu výkonů při dosažení dostatečně velké účinnosti. Práce je založena na experimentální měření a numerické simulaci nerovnoměrných hydraulických prvků čerpadla. Nerovnoměrné oběžné kolo a rozvaděč byli pro tento výzkum nově navrženy. Pro měření bylo v rámci této práce potřeba navrhnout a sestavit novou měřící trať malých ponorných čerpadel. Měřeny byly různé sestavy čerpadla s kombinacemi běžných návrhů hydraulik na jeden pracovní bod a hydraulik s nerovnoměrnou lopatkovou mříží. Všechna měření byla vyhodnocena a byly získány charakteristiky účinnosti, dopravní výšky a příkonu pro každou měřenou kombinaci. Část sestav měřených experimentálně byla také numericky vypočtena pomocí programu Ansys Fluent. Z numerických výpočtů byla sbírána data potřebná pro vyhodnocení charakteristiky účinnosti a měrné energie pro každou řešenou sestavu. Teoretické úvahy se týkají vlivu nerovnoměrné mříže u rozvaděče a vzniká tak doporučení, jak by bylo možné významně snížit ztráty v kanálech. Bylo také provedeno teoretické odvození způsobu, jak získat plochou charakteristiku účinnosti oběžného kola.
|
|
Gender schematization in self-description
Vranka, Marek ; Bahbouh, Radvan (vedoucí práce) ; Šulová, Lenka (oponent)
Diplomová práca kriticky analyzuje vybrané miery maskulinity a feminity. Zvláštna pozornosť je venovaná predovšetkým inventáru BSRI (Bem Sex-Role Inventory), ktorý je dlhodobo najrozšírenejším, avšak úplne nevalidným nástrojom pre meranie gendrovej identity. Zároveň je predložený návrh alternatívneho prístupu k problematike gendrovej identity založený na aplikácii štatistickej techniky diskriminačnej analýzy na obecne zdieľane stereotypické hodnotenia mužov a žien. V empirickej časti je v praxi úspešne overené vytvorenie indexu maskulinity/feminity podľa tohto návrhu. Výsledky analýz vzťahov medzi takto stanovenou gendrovou identitou a rôznymi inými zložkami systému gendrových presvedčení (kognitívnou gendrovou schematizáciou, explicitnou mierou M/F a gendrovými postojmi) naznačujú validitu takéhoto prístupu. Medzi feminitou (bez ohľadu na pohlavie) a mierou tradičnosti gendrových postojov bol zistený neveľký, ale významný negatívny vzťah (rs = -0,3). Kľúčové slová: maskulinita, feminita, diskriminačná analýza, kritika BSRI
|
|
Podniková kultura a její proměna
VONDROVÁ, Martina
Úvodní část této práce se zabývá studiem literatury, konkrétně, představuje vybrané definice podnikové kultury, její prvky a sílu. Bližší pozornost je věnována především typologii, diagnostice a změně podnikové kultury. V praktické části je prováděn kvalitativní výzkum podnikové kultury ve vybraném podniku. Závěr práce obsahuje shrnuté výsledky a navržené změny.
|
host ::
