|
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.
|
|
Specifics of social work with clients with drug addiction
HANZALOVÁ, Vendula
The number of people in the population who use addictive substances and develop adverse life situations is still growing. This issue is also connected with social, health and legal problems with which the drug user must deal. In this case, those addicted can look for help to institutions such as a contact centre. The theoretical part is focused on three topics. The first describes the terms of drug addiction, its origin, consequences and forms of support. The work deals with theories that are significant to the work. The last topic concerns the specifics of social work in a contact centre. There are selected core activities and techniques specific to this institution. I set the aim for this paper, which was to answer the question of which theoretical approach is best applied by social workers working with drug addicts. Furthermore I was finding out which are the best examples of good practical training. The results after evaluation showed that social workers cannot tell whether they work according to particular theories. Usually there is eclecticism, which means that they collect different experiences and then apply them to the work. The basis for these is a bio-psycho-socio-spiritual model that takes into account the integral concept of personality and the philosophy of Harm Reduction which is the main point of contact work. The research brought the views of social workers, their recommendations, and techniques that are proven by them, and also describe the pitfalls of their work. In my opinion, this work could serve as a good summary of techniques for new workers who would like to work with drug addicts. My results can also be the basis for further studies and research in this area.
|
|
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.
Fulltext: content.csg -  PDF
Plný tet: v1237-16 - PDF
|
|
Fish passes and their role in landscape and ecosystem management
Míka, Martin ; Horký, Pavel (advisor) ; Kuříková, Pavlína (referee)
Fishways are devices intended to restore fish migration through the transverse obstacles in fragmented flows. Basic types of fish passages can be divided into technical and close to nature. Technical as cellular or crevice between the close to nature can include, for example, a bypass channel or boulder ramps. Close to nature fishways are suitable not only for Migration wider range of species and the size of fish, but they are preferable as landscape elements in urban landscapes. Can be recommended to be close to nature when crossing streams fragmented preferred, although not necessarily their use, for example, due to space constraints at a particular location possible.
|
|
Extremes of more-variable functions - a digest of solved examples
ZACHAROVÁ, Jana
The main goal of my bachelor work on the topic "Extremes of more-variable functions - a digest of solved examples" is to create a set of solved exercises, which could serve students of Mathematical analysis II for practicing. The work will be bearing on functions with two, but even three variables For better understanding, the individual examples will be arranged from the simpliest to the most complex. In my work appear polynomic functions, but also logaritmic, goniometric, or exponential functions to practice more difficult derivations too. During the solving of the examples will be used systems of equations, linear, but also quadratic.
|
|
Phase coherent transfer of stable optical frequency for sensory networks
Čížek, Martin ; Pravdová, Lenka ; Hucl, Václav ; Řeřucha, Šimon ; Hrabina, Jan ; Mikel, Břetislav ; Lazar, Josef ; Číp, Ondřej
Using long-haul optical fiber links for phase coherent transfers of stable optical frequencies has been developed by metrological laboratories for at least a decade. Present boom of optical fiber sensors puts a demand on transferring this technology from laboratories to industrial practice. A remote calibration of fiber Bragg grating tensometers can be an example. In our contribution we present a 306 km long fiber link between laboratories of ISI in Brno and CESNET in Prague. The line uses a telecom fiber with a dedicated DWDM window at 1540-1546 nm. The setup implements a phase coherent transfer of a laser standard working with 1540.5nm wavelength and a bi-directional transfer of 1PPS timestamps from radiofrequency standards at the both ends of the line. A long-term measurement of transport delay fluctuations and relative stability of the line are discussed.
|
|
Risk analysis of load bearing RC structure review
Bohatec, Jiří ; Laníková, Ivana (referee) ; Šimůnek, Petr (advisor)
Master thesis deals with the evaluation of risks in the course of strengthening reinforced concrete column. It describes the assessment of existing structures according to ISO 13822, discusses the dangers that can occur when determining the carrying capacity of the existing structure. It also describes the different phases of strengthening steel banding, their functions and influence on the overall capacity. Also showing calculation process of strengthening reinforced concrete column, using steel banding, based on standard EN 1992-1-1 and EN 1998-3. In a concrete example of reinforcement is shown a process for determining the carrying capacity and then designed to the increase. In the two examples performs risk analysis using the universal matrix of risk analysis that identifies and quantifies the importance of various hazards associated with the calculation and implementation of the project.
|
|
Acceleration of Object Detection Using Classifiers
Juránek, Roman ; Kälviäinen, Heikki (referee) ; Sojka, Eduard (referee) ; Zemčík, Pavel (advisor)
Detekce objektů v počítačovém vidění je složítá úloha. Velmi populární a rozšířená metoda pro detekci je využití statistických klasifikátorů a skenovacích oken. Pro učení kalsifikátorů se často používá algoritmus AdaBoost (nebo jeho modifikace), protože dosahuje vysoké úspěšnosti detekce, nízkého počtu chybných detekcí a je vhodný pro detekci v reálném čase. Implementaci detekce objektů je možné provést různými způsoby a lze využít vlastnosti konkrétní architektury, pro urychlení detekce. Pro akceleraci je možné využít grafické procesory, vícejádrové architektury, SIMD instrukce, nebo programovatelný hardware. Tato práce představuje metodu optimalizace, která vylepšuje výkon detekce objektů s ohledem na cenovou funkci zadanou uživatelem. Metoda rozděluje předem natrénovaný klasifikátor do několika různých implementací, tak aby celková cena klasifikace byla minimalizována. Metoda je verifikována na základním experimentu, kdy je klasifikátor rozdělen do předzpracovací jednotku v FPGA a do jednotky ve standardním PC.
|
|
STATISTICAL LANGUAGE MODELS BASED ON NEURAL NETWORKS
Mikolov, Tomáš ; Zweig, Geoffrey (referee) ; Hajič,, Jan (referee) ; Černocký, Jan (advisor)
Statistické jazykové modely jsou důležitou součástí mnoha úspěšných aplikací, mezi něž patří například automatické rozpoznávání řeči a strojový překlad (příkladem je známá aplikace Google Translate). Tradiční techniky pro odhad těchto modelů jsou založeny na tzv. N-gramech. Navzdory známým nedostatkům těchto technik a obrovskému úsilí výzkumných skupin napříč mnoha oblastmi (rozpoznávání řeči, automatický překlad, neuroscience, umělá inteligence, zpracování přirozeného jazyka, komprese dat, psychologie atd.), N-gramy v podstatě zůstaly nejúspěšnější technikou. Cílem této práce je prezentace několika architektur jazykových modelůzaložených na neuronových sítích. Ačkoliv jsou tyto modely výpočetně náročnější než N-gramové modely, s technikami vyvinutými v této práci je možné jejich efektivní použití v reálných aplikacích. Dosažené snížení počtu chyb při rozpoznávání řeči oproti nejlepším N-gramovým modelům dosahuje 20%. Model založený na rekurentní neurovové síti dosahuje nejlepších publikovaných výsledků na velmi známé datové sadě (Penn Treebank).
|
|
Acceleration Methods for Evolutionary Design of Digital Circuits
Vašíček, Zdeněk ; Miller, Julian (referee) ; Zelinka,, Ivan (referee) ; Sekanina, Lukáš (advisor)
Ačkoliv můžeme v literatuře nalézt řadu příkladů prezentujících evoluční návrh jakožto zajímavou a slibnou alternativu k tradičním návrhovým technikám používaným v oblasti číslicových obvodů, praktické nasazení je často problematické zejména v důsledku tzv. problému škálovatelnosti, který se projevuje např. tak, že evoluční algoritmus je schopen poskytovat uspokojivé výsledky pouze pro malé instance řešeného problému. Vážný problém představuje tzv. problém škálovatelnosti evaluace fitness funkce, který je markantní zejména v oblasti syntézy kombinačních obvodů, kde doba potřebná pro ohodnocení kandidátního řešení typicky roste exponenciálně se zvyšujícím se počtem primárních vstupů. Tato disertační práce se zabývá návrhem několika metod umožňujících redukovat problem škálovatelnosti evaluace v oblasti evolučního návrhu a optimalizace číslicových systémů. Cílem je pomocí několika případových studií ukázat, že s využitím vhodných akceleračních technik jsou evoluční techniky schopny automaticky navrhovat inovativní/kompetitivní řešení praktických problémů. Aby bylo možné redukovat problém škálovatelnosti v oblasti evolučního návrhu číslicových filtrů, byl navržen doménově specifický akcelerátor na bázi FPGA. Tato problematika reprezentuje případ, kdy je nutné ohodnotit velké množství trénovacích dat a současně provést mnoho generací. Pomocí navrženého akcelerátoru se podařilo objevit efektivní implementace různých nelineárních obrazových filtrů. S využitím evolučně navržených filtrů byl vytvořen robustní nelineární filtr implusního šumu, který je chráněn užitným vzorem. Navržený filtr vykazuje v porovnání s konvenčními řešeními vysokou kvalitu filtrace a nízkou implementační cenu. Spojením evolučního návrhu a technik známých z oblasti formální verifikace se podařilo vytvořit systém umožňující výrazně redukovat problém škálovatelnosti evoluční syntézy kombinačních obvodů na úrovni hradel. Navržená metoda dovoluje produkovat komplexní a přesto kvalitní řešení, která jsou schopna konkurovat komerčním nástrojům pro logickou syntézu. Navržený algoritmus byl experimentálně ověřen na sadě několika benchmarkových obvodů včetně tzv. obtížně syntetizovatelných obvodů, kde dosahoval v průměru o 25% lepších výsledků než dostupné akademické i komerční nástroje. Poslední doménou, kterou se práce zabývá, je akcelerace evolučního návrhu lineárních systémů. Na příkladu evolučního návrhu násobiček s vícenásobnými konstantními koeficienty bylo ukázáno, že čas potřebný k evaluaci kandidátního řešení lze výrazně redukovat (defacto na ohodocení jediného testovacího vektoru), je-li brán v potaz charakter řešeného problému (v tomto případě linearita).
|
guest ::
