|
HYDROGEN ABSORPTION IN A-Co30Fe55B15
Čermák, Jiří ; Král, Lubomír ; Roupcová, Pavla
Hydrogen solved in amorphous alloys (AAs) influences their magnetic characteristics. AAs are also perspective\nas additives that can improve hydrogen storage kinetic in certain types of ball-milled hydrogen storage\nmaterials (HSMs). Therefore, knowledge of hydrogen solubility and hydrogen sorption kinetics in AAs are of a\ngreat importance for aimed design both AAs with optimal magnetic parameters and HSMs with desired sorption\ncharacteristics. In the present paper, amorphous alloy Co30Fe55B15 (an example of the type a-TM1xTM2y Bz ;\nTM - transition metal) was investigated. Hydrogen concentration c H was measured by Sieverts method in\ntemperature interval from T = 150 °C to T = 350 °C under hydrogen pressure p up to 6 MPa. It was found that\nc H was an increasing function of p and its maximum value was typically 0.5 wt.% H2 at 350 °C and 6 MPa.\nHowever, when the alloy was preliminary hydrogen charged (PHC), the pressure dependence of total c Htot in\nthe first absorption cycle(s) is non-monotonous in dependence on PHC conditions. For the sake of comparison,\nthe same absorption characteristics were measured also in Mg2Ni intermetallic that is a common constituent\nin Mg-based HSMs. Comparing Co30Fe55B15 and Mg2Ni, it was concluded that Co30Fe55B15 shows lower\nhydrogen solubility, but much better absorption kinetics.
|
|
Specifika sociální práce u klientů s drogovou závislostí
HANZALOVÁ, Vendula
V populaci stále roste počet osob, které užívají návykové látky a dostávají se do nepříznivé životní situace. S tím jsou spojeny i sociální, zdravotní a právní problémy, s kterými se musí uživatel drog vypořádat. V takovém případě může vyhledat pomoc v podobě nízkoprahového zařízení, kterým je kontaktní centrum. V teoretické části jsem se zaměřila na tři témata. Prvním z témat je drogová závislost, její vznik, důsledky, formy odborné pomoci. V práci se dále zabývám teoriemi, které jsou významné pro práci s drogově závislými. Posledním tématem byla specifika sociální práce v kontaktním centru. Vybrala jsem jen stěžejní činnosti a techniky, které jsou specifické pro toto zařízení. Stanovila jsem si cíle práce. Jaký teoretický přístup je nejlépe uplatňován sociálními pracovníky při práci s drogově závislými. A dále jsem zjišťovala, jaké jsou příklady dobré praxe. Po vyhodnocení výsledků vyplynulo, že sociální pracovníci příliš nedokážou říci, zda pracují podle nějaké teorie. Většinou se jedná o eklekticismus, což znamená, že vybírají z různých směrů a to pak uplatňují při práci. Základ je pro ně bio-psycho-socio-spirituální model, který bere v potaz celistvé pojetí osobnosti, a filozofie Harm Reduction, což je hlavní bod kontaktní práce. Výzkum přinesl názory sociálních pracovníků, jejich doporučení a techniky, které se jim při práci osvědčily, následně úskalí jejich práce. Dle mého názoru by tato práce mohla posloužit jako přehled osvědčených technik pro nové pracovníky, kteří by chtěli pracovat s drogově závislými. Výsledky mohou být rovněž základem pro další studie a výzkumy v této oblasti.
|
|
Neural Networks Between Integer and Rational Weights
Šíma, Jiří
The analysis of the computational power of neural networks with the weight parameters between integer and rational numbers is refined. We study an intermediate model of binary-state neural networks with integer weights, corresponding to finite automata, which is extended with an extra analog unit with rational weights, as already two additional analog units allow for Turing universality. We characterize the languages that are accepted by this model in terms of so-called cut languages which are combined in a certain way by usual string operations. We employ this characterization for proving that the languages accepted by neural networks with an analog unit are context-sensitive and we present an explicit example of such non-context-free languages. In addition, we formulate a sufficient condition when these networks accept only regular languages in terms of quasi-periodicity of parameters derived from their weights.
Plný tet: v1237-16 -  PDF
Plný text: content.csg - PDF
|
|
Rybí přechody a jejich význam v péči o krajinu a ekosystémy
Míka, Martin ; Horký, Pavel (vedoucí práce) ; Kuříková, Pavlína (oponent)
Rybí přechody jsou zařízení, které slouží k obnově migrace ryb přes příčné překážky ve fragmentovaných tocích. Základní typy rybích přechodů lze rozdělit na technické a přírodě blízké. Technické jsou například komůrkové nebo štěrbinové mezi přírodě blízké lze zařadit například obtoková koryta nebo balvanité rampy. Přírodě blízké rybí přechody jsou vhodnější nejen pro migraci širšího druhového a velikostního spektra ryb, ale jsou vhodnější i jako krajinotvorné prvky v urbanizované krajině. Lze proto doporučit, aby byly přírodě blízké přechody při zprůchodňování fragmentovaných toků upřednostňovány, i když ne vždy je jejich využití například z důvodu prostorových omezení na konkrétní lokalitě možné.
|
|
Extrémy funkcí více proměnných - sbírka řešených příkladů
ZACHAROVÁ, Jana
Hlavním cílem mojí bakalářské práce na téma Extrémy funkcí více proměnných ? sbírka příkladů je vytvořit soubor řešených příkladů, které by mohly sloužit studentům Matematické analýzy II. k procvičování. Práce se bude týkat funkcí nejen dvou, ale i tří proměnných. Pro lepší přehled budou jednotlivé příklady řazeny od nejjednodušších po nejsložitější. V mojí práci se objevují funkce nejen polynomické, ale i logaritmické, goniometrické či exponenciální, aby došlo k procvičení i náročnějších parciálních derivací. Při řešení příkladů se také budou využívat soustavy rovnic, jak lineárních, tak kvadratických.
|
|
Fázově koherentní přenos stabilní optické frekvence pro senzorické sítě
Čížek, Martin ; Pravdová, Lenka ; Hucl, Václav ; Řeřucha, Šimon ; Hrabina, Jan ; Mikel, Břetislav ; Lazar, Josef ; Číp, Ondřej
Využití optických vláken pro fázově koherentní přenosy vysoce stabilních optických frekvencí na velké vzdálenosti je testováno světovými metrologickými laboratořemi již řadu let. Současný rozmach moderních optovláknových senzorů v průmyslových aplikacích vytváří poptávku po transferu technologie fázově koherentních přenosů z laboratoří do průmyslové praxe. Příkladem může být dálková kalibrace tenzometrů pracujících na principu Braggových vláknových mřížek. V našem příspěvku prezentujeme 306 km dlouhou obousměrnou experimentální optickou trasu pro fázově koherentní přenosy z pracoviště oddělení Koherenční optiky na ÚPT AVČR v Brně do laboratoře sdružení CESNET v Praze. Linka využívá telekomunikační vlákno s vyhrazeným DWDM oknem 1540-1546 nm. V tomto okně probíhá stabilizovaný fázově koherentní přenos laserového normálu pracujícího na vlnové délce 1540,5 nm a obousměrný přenos časových značek 1PPS z časových normálů na obou koncích trasy. V příspěvku je diskutováno dlouhodobé měření fluktuací transportního zpoždění a relativní stability linky.
|
|
Analýza rizika posouzení nosné ŽB konstrukce
Bohatec, Jiří ; Laníková, Ivana (oponent) ; Šimůnek, Petr (vedoucí práce)
Diplomová práce se zabývá hodnocením rizik v průběhu zesilování železobetonového sloupu. Popisuje hodnocení existujících konstrukcí dle normy ČSN ISO 13822, rozebírá nebezpečí, která mohou nastat při určení únosnosti stávající konstrukce. Dále práce popisuje jednotlivé fáze zesilování ocelovou bandáží, jejich působení a vliv na celkovou únosnost. Také ukazuje výpočetní postup zesilování železobetonového sloupu, pomocí ocelové bandáže, vycházející z normy ČSN EN 1992-1-1 a ČSN EN 1998-3. Na konkrétním příkladu zesílení je ukázán postup stanovení únosnosti a poté je navrženo její zvýšení. Na dvou příkladech je provedena analýza rizika pomocí univerzální maticové analýzy rizik, která identifikuje a kvantifikuje význam jednotlivých nebezpečí spojených s výpočtem a realizací projektu.
|
|
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.
|
|
STATISTICAL LANGUAGE MODELS BASED ON NEURAL NETWORKS
Mikolov, Tomáš ; Zweig, Geoffrey (oponent) ; Hajič,, Jan (oponent) ; Černocký, Jan (vedoucí práce)
Statistical language models are crucial part of many successful applications, such as automatic speech recognition and statistical machine translation (for example well-known Google Translate). Traditional techniques for estimating these models are based on Ngram counts. Despite known weaknesses of N-grams and huge efforts of research communities across many fields (speech recognition, machine translation, neuroscience, artificial intelligence, natural language processing, data compression, psychology etc.), N-grams remained basically the state-of-the-art. The goal of this thesis is to present various architectures of language models that are based on artificial neural networks. Although these models are computationally more expensive than N-gram models, with the presented techniques it is possible to apply them to state-of-the-art systems efficiently. Achieved reductions of word error rate of speech recognition systems are up to 20%, against stateof-the-art N-gram model. The presented recurrent neural network based model achieves the best published performance on well-known Penn Treebank setup.
|
|
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).
|
host ::
