Národní úložiště šedé literatury Nalezeno 21,332 záznamů.  předchozí11 - 20dalšíkonec  přejít na záznam: Hledání trvalo 0.81 vteřin. 

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

Properties of Aerosol, Produced by Laser Ablation of Standard Materials for ICP-MS Analysis.
Holá, M. ; Nováková, H. ; Ondráček, Jakub ; Vojtíšek, M. ; Kanický, V.
Laser ablation (LA), together with inductively coupled plasma mass spectrometry (ICP-MS) as a detection system, has become a routine method for the direct analysis of various solid samples. The product of laser ablation contains a mixture of vapour, droplets and solid particles. All components are finally transported to a plasma by a carrier gas as a dry aerosol including mainly agglomerates of primary nanoparticles. In general, characterisation of aerosols by their particle size distribution (PSD) represents indispensable tool for fundamental studies of the interaction of laser radiation with various materials. The particle size distribution of dry aerosol originating from laser ablation of standard material was monitored by two aerosol spectrometers – Fast Mobility Particle Sizer (EEPS) and Scanning Mobility Particle Sizer (SMPS) simultaneously with laser ablation - ICP-MS analysis.\n
Plný tet: SKMBT_C22016102412241 - Stáhnout plný textPDF
Plný text: content.csg - Stáhnout plný textPDF

Single particle analysis of size-segregated aerosol in Prague city center
Marvanová, S. ; Skoupý, Radim ; Kulich, P. ; Bendl, J. ; Hovorka, J. ; Machala, M.
Particulate matter (PM) is omnipresent pollutant in the ambient air known to cause cardiovascular and respiratory diseases (WHO 2004). Recently, outdoor air pollution and particulate matter in outdoor air pollution were classified as carcinogenic to humans, Group 1 (IARC 2015). Especially, ambient PM of aerodynamic diameter < 100 nm, ultrafine particles, appears to be of great importance due to its high specific surface area and high number concentration (Hughes et al. 1998). Ultrafine particles also easily enter and are being transferred in organisms, and interact with cells and subcellular components (Oberdorster et al. 2005). As the evidence of ultrafine PM significance increased, size-fractionated PMs sampled by various cascade impactors have been employed into the toxicological studies on cell cultures or isolated cells, using the organic extracts of size-fractionated PMs (Topinka et al. 2013, Topinka et al. 2015) or directly the size-fractionated particles (Becker et al. 2003, Ramgolam et al. 2009, Reibman et al. 2002, Loxham et al. 2013, Jalava et al. 2006, Thomson et al. 2015, Jalava et al. 2015). The aim of this study was to evaluate shape and composition of size-segregated aerosol particles, sampled by high volume cascade impactor, using electron microscopy and energy dispersive X-ray spectroscopy (EDX).

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.

Formal Systems Based on Automata and Grammars
Čermák, Martin ; Rybička, Jiří (oponent) ; Šaloun, Petr (oponent) ; Meduna, Alexandr (vedoucí práce)
The present thesis continues with study of grammar and automata systems. First of all, it deals with regularly controlled CD grammar systems with phrase-structure grammars as components. Into these systems, three new derivation restrictions are placed and their effect on the generative power of these systems are investigated. Thereafter, this thesis defines two automata counterparts of canonical multi-generative nonterminal and rule synchronized grammar systems, generating vectors of strings, and it shows that these investigated systems are equivalent. Furthermore, this thesis generalizes definitions of these systems and establishes fundamental hierarchy of n-languages (sets of n-tuples of strings). In relation with these mentioned systems, automaton-grammar translating systems based upon finite automaton and context-free grammar are introduced and investigated as a mechanism for direct translating. At the end, in this thesis introduced automata systems are used as the core of parse-method based upon n-path-restricted tree-controlled grammars.

Metoda komponentního odepisování
IMBER, Jakub
Bakalářská práce se zabývá komponentní metodou odpisování hmotného majetku a jejím využitím v praxi. Cílem práce je představení komponentní metody, zjištění výhod a nevýhod, porovnat odpisy komponentní metody s odpisy ostatních metod, které jsou v českých účetních jednotkách častěji používány. Dalším cílem je najít pro účetní jednotku vhodnou metodu pro výpočet odpisů specifického majetku, tak aby účetní náklady co nejlépe odpovídali reálným nákladům. Teoretická část práce se převážně věnuje charakteristice dlouhodobého majetku a daňovým a účetním odpisům včetně metody komponentní. Praktická část je zaměřena na nejmenovanou společnost s ručením omezeným, jejímž předmětem podnikání je prováděním staveb (dřevostaveb), jejich změna a odstraňování, pokrývačství, tesařství, truhlářství a projektové činnosti ve výstavbě. Jsou zde vypočteny a následně porovnány jednotlivé metody odpisování s metodou komponentní. Veškeré výpočty jsou použity na specifický majetek vhodný pro komponentní metodu. Výsledkem práce je poukázání na výhody a funkčnost komponentní metody a doporučení změny odpisové metody pro účetní jednotku.

Management dodavatelů v automobilovém průmyslu
Holubcová, Romana ; Štůsek, Jaromír (vedoucí práce)
Jako téma své diplomové práce jsem si zvolila management dodavatelů v automobilovém průmyslu. Dodavatelsko-odběratelské vztahy jsou velmi důležité pro úspěch zúčastněných organizací i pro celkový rozvoj ekonomiky. Musí to být vztahy partnerské, aby se společnosti mohly rozvíjet, aby vzájemné obchody pro ně byly ekonomicky výhodné a své procesy mohly neustále zlepšovat. Ve své práci budu analyzovat stávající proces řízení dodavatelů ve společnosti, která je přímým dodavatelem do OEM. Original Equipment manufacturing (OEM), což je používaná zkratka pro finální výrobce automobilů a znamená to, že nevytváří jednotlivé produkty, ale je to vlastně montovna. Podle výsledků analýzy budou navržena zlepšení a implementována do nové směrnice pro strategický nákup.

Posouzení kapacity vybraných složek veřejné infrastruktury. Případová studie sídliště Barrandov.
Kocábek, Ondřej ; Novotný, Vojtěch (vedoucí práce) ; Vojtěch , Vojtěch (oponent)
Bakalářská práce se zabývá posouzením kapacit vybraných složek veřejné infrastruktury na sídlišti Barrandov. První část práce přibližuje formou literární rešerše problematiku územního plánování a udržitelného rozvoje, definuje pojem veřejná infrastruktura, nastiňuje zrod a vývoj panelových sídlišť a dále popisuje funkční členění a jednotlivé složky veřejné infrastruktury. Druhá část práce je zaměřena na metodiku posouzení kapacit včetně určení zkoumaných složek veřejné infrastruktury. Dále popisuje způsob určení kapacity zkoumaných složek. Třetí část práce popisuje řešené území, na které navazuje posouzení zkoumaných složek veřejné infrastruktury, vycházející z předchozí části. Z výsledků posouzení vyplynulo, že kapacity posuzovaných složek veřejné kapacity jsou v určitých ohledech na hraně své kapacitelnosti.

Ověření vybraných vlastností vozidla při použití speciálních úprav.
HAJNÝ, Vladislav
V práci se zabývám možnostmi aplikace speciálních závodních komponent u sériově vyráběných vozidel. Cílem práce je popsat možnosti úprav vybraných komponent sériových vozidel pro sportovní účely a na základě naměřených hodnot porovnat jízdní vlastnosti vozidla vybaveného sériovými a upravenými komponenty.

Analýza transferu trolejbusové dopravy na CNG zdroje: její emisní, ekonomické a ekologické dopady
Gärberová, Gabriela ; Vach, Marek (vedoucí práce)
Tato bakalářská práce je srovnávací studií porovnávající ekologický a ekonomický dopad po zrušení městské hromadné dopravy v Jirkově využívající elektromotory a její nahrazení autobusy na CNG nebo dieslový pohon . Součástí práce je i průzkum veřejného mínění , ve kterém jsem oslovila 500 respondentů a anketu jsem statisticky vyhodnotila. Studií jsem zjistila emisní znečištění všech tří složek,které jsem mezi sebou vzájemně porovnala. Výsledky mohou posloužit pro budoucí vyhodnocováni efektivnosti městské hromadné dopravy ostatních měst.