|
ELECTRON BEAM REMELTING OF PLASMA SPRAYED ALUMINA COATINGS
Matějíček, Jiří ; Veverka, J. ; Čížek, J. ; Kouřil, J.
Plasma sprayed alumina coatings find numerous applications in various fields, where they enhance the properties of the base material. Examples include thermal barriers, wear resistance, electrical insulation, and diffusion and corrosion barriers. A typical structure of plasma sprayed coatings, containing a multitude of voids and imperfectly bonded interfaces, gives them unique properties - particularly low thermal conductivity, high strain tolerance, etc. However, for certain applications such as permeation barriers or wear resistance, these voids may be detrimental.\nThis paper reports on the first experiments with remelting of plasma sprayed alumina coatings by electron beam technology, with the purpose of densifying the coatings and thereby eliminating the voids. Throughout the study, several parameters of the e-beam device were varied - beam current, traverse velocity and number of passes. The treated coatings were observed by light and electron microscopy and the thickness, structure and surface morphology of the remelted layer were determined and correlated with the process parameters. Based on the first series of experiments, the e-beam settings leading to dense and smooth remelted layer of sufficient thickness were obtained. In this layer, a change of phase composition and a marked increase in hardness were observed.\n
|
|
Dendrochronologie arktické tundry
Lehejček, Jiří ; Svoboda, Miroslav (vedoucí práce) ; Monika, Monika (oponent)
Historicky bezprecedentní environmentální změny arktických ekosystémů jsou často zasazovány do kontextu jejich vývoje; minulého, ale i očekávaného budoucího. V oblastech s nedostatečnými instrumentálními meteorologickými pozorováními je nutné studovat klimatické archivy, které jsou schopny zasadit probíhající environmentální změny do kontextu minulosti. Práce předkládá syntézu jednoho takového archivu jalovce obecného (Juniperus communis) dlouhověkého cirkumpolárního keře arktické tundry. Na úrovni anatomie buňky bylo prozkoumáno 20 keřů. Kromě ekologických nároků druhu se tím odkryl i jeho potenciál pro environmentální a klimatické rekonstrukce. Mezi klíčové výsledky patří následující:
i) Zastavení exponenciálního zvětšování plochy vodivého aparátu s věkem je v rozporu s přirozeným charakterem tohoto fenoménu u stromů. To naznačuje, že keře nepotřebují zajišťovat potřeby vody a živin klasickými cestami zákonů hydraulické konduktivity ale spíše pomocí jiných mechanismů. Extrémní podmínky tedy limitují výškový vzrůst rostlin, které kvůli nim mění převládající směr svého růstu z vertikálního na horizontální. Jednotlivé projevy počasí však na vzrůst působí pravděpodobně odlišně. Zatímco sníh a vítr ovlivňují růst kmene/větví mechanicky, pak teplota spíše fyziologicky. Až do věku, kdy je mladý keř schopen ustát silný vítr ve vzpřímené pozici a jeho kmínek/větve mají dostatečnou resilienci se po odtání sněhové pokrývky opět narovnat, roste vzhůru a plocha vodivého aparátu se zvětšuje. Současně s tím teplota, resp. cykly opakovaného mrznutí a rozmrzání, způsobuje konzervativní vývoj keře, který preferuje bezpečnost (limitní velikost plochy vodivého aparátu) před hydraulickou efektivitou, čímž se brání embólii, ale tím i dalšímu výškovému růstu. Všechny tyto (ale i další) faktory jsou zřejmě dohromady zodpovědné za postupný přechod od vertikálního ke kvazihorizontálnímu růstu. Od této chvíle již není potřeba (ani to není fyziologicky možné) dále zvětšovat plochu vodivého aparátu, jelikož voda přestává být transportována proti gravitaci.
ii) Tento věkový/růstový trend je nutné uvažovat při dalším využívání růstových parametrů v paleoenvironmentálních studiích. Buněčné parametry by tedy neměly být využívány k těmto účelům, pokud nejsou správně detrendovány. To umožní nejen přesnější ale i delší rekonstrukce, protože je možné využít celý život rostlin včetně často opomíjené juvenilní fáze.
iii) Předložena je i rekonstrukce tání jihozápadní části Grónského ledovcového štítu (GrIS) během 20. st. Tato oblast je považována v rámci celého GrIS za nejaktivnější. Dle naší rekonstrukce není míra současného tání GrIS v kontextu 20. st. neobvyklá, resp. je srovnatelná s prvními dekádami 20. st. Tento poznatek je významným přispěním do debaty o Atlantické meridionální zpětné cirkulaci (AMOC). A sice, příliš velký přítok sladké studené vody do severního Atlantiku v důsledku tání GrIS může zpomalit nebo dokonce zastavit AMOC, což by způsobilo prohloubení kontinentálního charakteru evropského klimatu. Naše výsledky tak ukazují, že tato hranice leží výše, než je současná míra tání GrIS.
Jalovec obecný je fascinující arktický keř, který prokázal schopnost zodpovědět množství ekologický a environmentálních otázek. Především díky své dlouhověkosti a četnosti má obrovský potenciál stát se významných účastníkem arktického výzkumu.
|
|
Neinvazivní metody pro stanovení pohlaví a stereoidních hormonů u gibonů rodu Nomascus
Bolechová, Petra ; Bartoš, Luděk (vedoucí práce) ; Pavel, Pavel (oponent)
Giboni rodu Nomascus patří ke kriticky ohroženému druhu, o kterém zároveň chybí velké množství základních biologických informací. Vzhledem ke statutu těchto zvířat ve volné přírodě i počtu chovaných jedinců v chovu zoologických zahrad je prioritní otázkou zlepšení managmentu chovu, kam patří i znalost reprodukce. Základním cílem této práce je praktické využití neinvazivních metod (polymerázová řetězová reakce k extrakci DNA a enzymové imunotesty), využívajících k analýzám vzorky výkalů. První metoda, polymerázová řetězová reakce, byla využita pro determinaci pohlaví u mláďat, protože kvůli jejich specifickému zbarvení a vzhledové podobnosti vnějších pohlavních orgánů, není diagnostika možná bez odchycení zvířete. Další částí je zodpovězení hypotéz týkajících se ovariálního cyklu samic a faktorů ovlivňujících jejich koncentrace včetně souvislosti nástupu pohlavního cyklu u samic a jejich změny barvy srsti. Hypotézy byly ověřeny sledováním výše koncentrací metabolitů progesteronu a estrogenu ve výkalech a vyhodnocením složení chovné skupiny gibonů a vlivu ZOO. Celkem bylo analyzováno během čtyř let (2010-2014) 51 zvířat z 16 zoologických zahrad v celkovém množství 1618 vzorků výkalů. Výsledky potvrdily využití neinvazivních metod pro determinaci pohlaví a tak zajištění maximálního welfare v chovech. Endokrinologické analýzy potvrdily hypotézy o vlivu prostředí (ZOO) na koncentraci hormonů a vliv březosti samice a jejího věku na výši koncentrace hormonů, ale také vliv březosti na koncentraci hormonů u samců-otců. Prvotní informací v této studii je potvrzení nástupu ovariálního cyklu u mladých samic bez návaznosti na jejich přebarvení a významný faktor vlivu matky a její teritoriality. Tato studie předkládá první dlouhodobější monitoring ovariálního cyklu u samic a koncentrace hormonů u ostatních jedinců ve všech věkových kategoriích i pohlaví. Výsledky umožňují pochopit vliv chovatelského prostředí na reprodukční postavení těchto gibonů a přispívají k celkovému zlepšení managementu chovu.
|
|
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.
|
|
Packet Classification Algorithms
Puš, Viktor ; Lhotka,, Ladislav (oponent) ; Dvořák, Václav (vedoucí práce)
This thesis deals with packet classification in computer networks. Classification is the key task in many networking devices, most notably packet filters - firewalls. This thesis therefore concerns the area of computer security. The thesis is focused on high-speed networks with the bandwidth of 100 Gb/s and beyond. General-purpose processors can not be used in such cases, because their performance is not sufficient. Therefore, specialized hardware is used, mainly ASICs and FPGAs. Many packet classification algorithms designed for hardware implementation were presented, yet these approaches are not ready for very high-speed networks. This thesis addresses the design of new high-speed packet classification algorithms, targeted for the implementation in dedicated hardware. The algorithm that decomposes the problem into several easier sub-problems is proposed. The first subproblem is the longest prefix match (LPM) operation, which is used also in IP packet routing. As the LPM algorithms with sufficient speed have already been published, they can be used in out context. The following subproblem is mapping the prefixes to the rule numbers. This is where the thesis brings innovation by using a specifically constructed hash function. This hash function allows the mapping to be done in constant time and requires only one memory with narrow data bus. The algorithm throughput can be determined analytically and is independent on the number of rules or the network traffic characteristics. With the use of available parts the throughput of 266 million packets per second can be achieved. Additional three algorithms (PFCA, PCCA, MSPCCA) that follow in this thesis are designed to lower the memory requirements of the first one without compromising the speed. The second algorithm lowers the memory size by 11 % to 96 %, depending on the rule set. The disadvantage of low stability is removed by the third algorithm, which reduces the memory requirements by 31 % to 84 %, compared to the first one. The fourth algorithm combines the third one with the older approach and thanks to the use of several techniques lowers the memory requirements by 73 % to 99 %.
|
|
Acceleration of Object Detection Using Classifiers
Juránek, Roman ; Kälviäinen, Heikki (oponent) ; Sojka, Eduard (oponent) ; Zemčík, Pavel (vedoucí práce)
Detection of objects in computer vision is a complex task. One of most popular and well explored approaches is the use of statistical classifiers and scanning windows. In this approach, classifiers learned by AdaBoost algorithm (or some modification) are often used as they achieve low error rates, high detection rates and they are suitable for detection in real-time applications. Object detection run-time which uses such classifiers can be implemented by various methods and properties of underlying architecture can be used for speed-up of the detection. For the purpose of acceleration, graphics hardware, multi-core architectures, SIMD or other means can be used. The detection is often implemented on programmable hardware. The contribution of this thesis is to introduce an optimization technique which enhances object detection performance with respect to an user defined cost function. The optimization balances computations of previously learned classifiers between two or more run-time implementations in order to minimize the cost function. The optimization method is verified on a basic example -- division of a classifier to a pre-processing unit implemented in FPGA, and a post-processing unit in standard PC.
|
|
Vliv rekonverze na hodnotu bývalého církevního objektu na jižní Moravě
Sýkorová, Michaela ; Gardášová, Alena (oponent) ; Hlavinková, Vítězslava (vedoucí práce)
Diplomová práce se zabývá oceněním bývalé fary v obci Přítluky na jižní Moravě. Základní myšlenkou je vyhodnotit vliv, který má změna účelu užívání spojená s rekonstrukcí na hodnotu objektu. A to z pohledu tržního přístupu i platných oceňovacích předpisů. Nejprve je v práci rozebrán teoretický základ dané problematiky jako pojmy, legislativa a postupy oceňování. Následně je charakterizována konkrétní situace lokality a objektu a v poslední části je popsána a zdůvodněna metodika vlastního ocenění. V závěru jsou výsledky vyhodnoceny a okomentovány.
|
|
Právní a zdravotně sociální aspekty činnosti OSPOD jako ustanovených opatrovníků v zámu nezletilých dětí
BORSKÁ, Jana
Česká republika, jako signatář Úmluvy o právech dítěte, svěřila výkon státní správy na úseku péče o nezletilé děti obecním úřadům obcí s rozšířenou působností, kde ochranu práv a oprávněných zájmů nezletilých dětí vykonávají orgány sociálně právní ochrany dětí (dále jen OSPOD), které jsou začleněny do systému výkonu státní správy v územním členění tak, aby byla zajištěna komplexní péče o nezletilé děti v rozsahu stanoveném zákonem o sociálně právní ochraně dětí. Postavení a úloha OSPOD, který je pověřen výkonem státní správy na úseku ochrany nezletilých dětí, jsou upraveny zák. č. 359/1999 Sb., o sociálně právní ochraně dětí, v platném znění. Stejně důležité je zakotvení postavení lidí pracujících na těchto úřadech. Z hlediska odbornosti jsou na ně kladeny vysoké nároky z hlediska znalostního profilu zejména z oboru práva. Jedná se o velice náročnou práci, která klade vysoké nároky na osobnostní profil zaměstnance. ČR provedla v posledních třech letech rozsáhlé zásahy do právní úpravy problematiky sociálně právní ochrany dětí, kde došlo k posílení ochrany práv nezletilých dětí a stanovení nových nástrojů k jejich ochraně. Přijetím nové právní úpravy rodinného práva, které je komplexně upraveno v zák. č. 89/2012 Sb., občanském zákoníku, následovala nová právní úprava procesních předpisů spojených s ochranou práv nezletilých dětí, kde vedle zák. č. 99/1963, občanský soudní řád platí také zák. č. 292/2013 Sb., o zvláštních řízeních soudních. Rozhodování o nezletilých dětech stát svěřil převážně do pravomoci soudů, které jmenují místně příslušný OSPOD opatrovníkem k zastupování zájmů nezletilých dětí. Na základě provedeného rozboru základních pojmů bylo cílem zjistit názory vybraných vedoucích pracovníků OSPOD a soudců okresních soudů na vydefinované problémy vyskytující se v postupech činnosti OSPOD a soudů při ochraně zájmu nezletilých dětí. Ve výzkumné části práce byly rozborem kazuistik vytipovány problémy v činnosti OSPOD. Z návrhů soudců i vedoucích pracovníků OSPOD vyplynula nezbytnost sjednocení místní příslušnosti. Soudy navrhují sjednocení dle místa, kde se nezletilé dítě zdržuje; OSPOD dle místa trvalého pobytu. Všech 10 oslovených vedoucích pracovníků OSPOD označilo za problém dožádání, kde tento institut není zahrnut do hodnocení výkonů, nelze jej odmítnout. Podjatost činí problémy v různých fázích řízení - je zde patrný rozdílný přístup soudů k řešení dané problematiky (některé vznesenou námitku podjatosti u soudu řeší a jiní nikoliv) a pro pracovníky OSPOD je obtížné odhadnout - jak se zachovat, je-li vůči nim námitka podjatosti vznesena (z tohoto důvodu bylo téma "podjatosti zpracováno komplexně včetně výkladu právního postupu pro pracovníky OSPOD). Vzdělávání pracovníků OSPOD je zákonem stanovenou povinností. Ne všem OSPOD se daří zajistit školení v požadovaném rozsahu - a to z finančních důvodů (průměrné náklady na školení na jednoho zaměstnance je od 9167,-- do 13400 Kč ročně - tyto náklady odpovídají cca 6 dnům školení). Pracovní vytíženost způsobená nedostatečným počtem zaměstnanců OSPOD neumožňuje absolvovat tato povinná školení. V rámci zkoumání "účasti kolizního opatrovníka při jednání u soudu" bylo zjištěno - nepravidelná účast kolizního opatrovníka u soudu (neúčast při odvolacím řízení); nedostatek zkušeností pracovníků OSPOD v této oblasti; neúplné zprávy z šetření v rodině, které jsou určené pro soud. Na základě vyhodnocení rozhovorů vyplynuly návrhy na zlepšení organizace školení OSPOD, na základě povedeného komplexního rozboru řešení problematiky místní příslušnosti bylo doporučeno řešení samostatné evidence dožádání a finanční kompenzace činnosti OSPOD při dožádání provedení zastupování nezletilých u soudu, vypracování návrhů předběžných opatření, návrh možného řešení začlenění OSPOD v jiné organizační struktuře.
|
|
Studie vlivu dobývání chodbicováním ve sloji 40 v OPJ Jan–Karel lokality ČSA, Důlní závod 1 na vtažné jámy Jan a č. 2 a na výdušnou jámu ČSA-3, povrch a povrchové objekty
Ptáček, Jiří ; Kajzar, Vlastimil ; Koníček, Petr ; Kukutsch, Radovan ; Waclawik, Petr ; Jiránková, E.
Předložená metoda chodbicování řeší možnost aplikace technologie dobývání uhelných slojí metodou chodbicování razicími kombajny, nově ve dvou variantách. V první budou chodbice i mezichodbice s určitým časovým zpožděním zaplaveny popílkovou směsí. Podle druhé varianty budou raženy pouze základní chodbice prvního systému o šířce 6,8 m. Ty nebudou zaplavovány. Účelem studie je rovněž doplnění výpočtů možného a očekávaného vlivu chodbicování na povrch a povrchové objekty a dále rovněž očekávaného vlivu na jámové stvoly jam v ochranném pilíři Jan-Karel.
|
|
Text a data mining šedé literatury pro vědecké účely
Myška, Matěj
Příspěvek zkoumá možnosti uživatelů jak legálně realizovat text a data mining nad repozitáři šedé literatury (a v nich obsažených dokumentech) pro vědecké účely bez souhlasu provozovatele repozitáře šedé literatury a nositelů práv k jednotlivým dokumentům. Nejprve je analyzován rozsah omezení výlučných práv (autorské právo, zvláštní práva pořizovatele databáze) a následně je prozkoumán význam pojmu „vědecké účely“ v příslušných regulačních nástrojích. V poslední části je představeno debatované omezení exkluzivních práv pro TDM pro vědecké účely.
Plný text: idr-1037_3 -  PDF
Prezentace: idr-1037_1 - PDF; idr-1037_2 - PDF
Videozáznam: idr-1037_4 -  MP4
|
host ::
