|
Comparison of stability criteria of V-notched body under combined mode of loading
Klusák, Jan ; Knésl, Zdeněk
The stability criteria of V-notched bodies under combination of loading modes I and II are suggested and compared in the article. Methodology of stability criterion suggestion is based on analogy between behaviour of body with a crack and with a V-notch. Analytical approach to suggestion of stability criteria and methods of numerical estimation of magnitudes controlling stability of the concentrators are shown in the article. Corresponding evaluations are obtained from finite element method system ANSYS. Suggested criteria are mutually compared.
|
|
Shluková a regresní analýza mikropanelových dat
Sobíšek, Lukáš ; Pecáková, Iva (vedoucí práce) ; Komárek, Arnošt (oponent) ; Brabec, Marek (oponent)
Panelové studie se provádí především za účelem analýzy změn hodnot sledovaných proměnných v čase. V mikropanelovém výzkumu se sleduje velké množství objektů periodicky během relativně krátkého časového úseku (v řádu let). Počet opakovaných měření je v řádu jednotek. Tato práce se věnuje stávajícím přístupům k regresní a shlukové analýze mikropanelových dat. Jedním z přístupů k analýze mikropanelu je využití modifikovaných vícerozměrných statistických modelů pro průřezová data, které zohledňují korelaci měření pro daný objekt. V práci jsou shrnuty dostupné nástroje pro regresní analýzu mikropanelových dat. Kromě rekapitulace známých a užívaných smíšených lineárních modelů pro normálně rozdělenou závisle proměnnou jsou stručně představeny nové přístupy pro analýzu vysvětlovaných proměnných s jiným než normálním rozdělením. Mezi ně patří například zobecněný lineární marginální model, zobecněný lineární model se smíšenými efekty a bayesovský přístup. Kromě popisu těchto modelů je uveden stručný přehled jejich implementace v systému R. S regresními modely upravenými pro mikropanelová data je spjato úskalí v nejednoznačnosti odhadu jejich parametrů. V práci je navrženo, jak zpřesnit odhady pomocí shlukové analýzy. Proto jsou v práci popsány metody shlukové analýzy mikropanelových dat. Vzhledem k tomu, že nabídka metod je omezená, hlavním cílem práce bylo navrhnout vlastní dvoukrokový postup shlukování mikropanelových dat. V prvním kroku jsou transformována panelová data na statická pomocí skupiny navržených charakteristik dynamiky, které reprezentují různé vlastnosti časového vývoje sledované proměnné. Ve druhém kroku jsou shlukovány objekty konvenčními prostorovými technikami (aglomerativní shlukování a metoda C-průměrů) na základě matice nepodobnosti hodnot shlukovacích proměnných spočítaných v prvním kroku. Dalším cílem práce je zjistit, zda navržený postup shlukování vede ke zkvalitnění regresních modelů pro tento typ dat. Pomocí simulační studie je porovnáván navržený shlukovací přístup s postupem aplikovaným v balíčku kml systému R a se shlukovacími charakteristikami, které navrhuje Urso (2004). V provedené studii dosáhla kombinace navržených shlukovacích proměnných lepších výsledků než používané skupiny shlukovacích proměnných. Dalším přínosem práce je skript napsaný pro jazyk R přiložený na CD. Tento skript je možno použít pro analýzu vlastních mikropanelových dat.
|
|
A novel nanospray liquid junction interface for versatile CE-MS
Křenková, Jana ; Haselberg, R. ; Somsen, G. W. ; Foret, František
In this work we present a new polyimide-based liquid junction nanospray interface, combining the advantages of sheath flow and sheathless designs. The liquid junction interface was prepared as a hybrid microfabricated plastic liquid junction sprayer allowing to perform analysis in standard (30-100 micro m ID) separation capillaries. The interface incorporates a self-aligning port for coupling of the separation capillary as well as ports for automated flushing of both the liquid junction and the separation capillary. The interface permits performing CE both with and without electroosmotic flow. The use of large bore capillaries allows injection and preconcentration of larger sample volumes, favoring detection sensitivity. Different compositions of the spray liquid and BGE can be used when needed.
|
|
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
|
|
Využití popela ze spalování biomasy
Ochecová, Pavla ; Tlustoš, Pavel (vedoucí práce) ; Radim, Radim (oponent)
V České republice, podobně jako i v jiných zemích Evropské unie, dochází k rozvoji využití obnovitelných zdrojů energie. Důvodem je mimo jiné závazek členských států EU dosáhnout podílu 20 % energie získané z obnovitelných zdrojů do roku 2020, a tím se snižuje závislost národních hospodářství na fosilních palivech a importech energetických surovin, omezuje se tvorba skleníkových plynů, a v neposlední řadě se přispívá i k rozvoji zaměstnanosti v jednotlivých regionech.
Jedním z nejčastěji využívaných zdrojů obnovitelné energie je biomasa, především dřevní biomasa. Spalování patří mezi nejběžnější technologie využívající nahromaděné energie z biomasy k produkci tepla. Vedlejším produktem těchto technologií je popel, jehož složení je odvislé od složení vstupní suroviny i od technologie použité pro spalování.
Popel se skládá z širokého spektra chemických prvků a jejich sloučenin, mezi nimiž dominují prvky jako Si, Ca, Mg, Al, K a P. Tyto prvky byly součástí biomasy rostlin, ale mohou pocházet i z prachu zachyceného během růstu na povrchu rostlin, či jsou společně s biomasou sklizeny - například zbytky zeminy, kameny apod.
Vezmeme-li v úvahu zvyšující se počet instalovaných zařízení na spalování biomasy v České republice, a tedy i nárůst produkce popelů, je nutné se začít seriózně zabývat otázkou možného druhotného využití těchto popelů. Jednou z vhodných možností se zdá být, dle zahraničních zkušeností, a vzhledem k vysokému obsahu cenných živin, aplikace na zemědělskou či lesní půdu.
Při aplikaci popelů na půdu jsou důležitými faktory kromě jiného typ popela, jeho dávka a typ půdy, neboť půdní aditivum má většinou vliv na mobilitu prvků v půdě a na půdní vlastnosti. Nevhodně zvolený popel či jeho dávka mohou způsobit omezení příjmu živin rostlinami nebo kontaminaci půdy rizikovými prvky či sloučeninami.
Je tedy zřejmé, že pro případné zemědělské využití je třeba testovat popele ze spalování biomasy na půdách a rostlinách, podrobně popsat jejich vliv a hledat nejvhodnější kombinace pro konkrétní půdy a plodiny v našich podmínkách.
|
|
Time lapse tomography of fracture progress in silicate-based composite subjected to the loading a combination with acoustic emission scanning
Kumpová, Ivana ; Kytýř, Daniel ; Fíla, Tomáš ; Veselý, V. ; Trčka, T. ; Vopálenský, Michal ; Vavřík, Daniel
The initiation and propagation of a fracture in quasi-brittle materials (such as silicatebased composite) is an increasingly discussed topic for which various methods of research have been developed/applied. As the quasi-brittle silicate-based composite compounds are very non-homogenous, the mechanism of the crack initiation and propagation can be very different even for samples with the\nidentical geometry. One possible approach to study the fracture mechanism in quasi-brittle materials is to use several different experimental techniques in a single experiment and perform detail analysis to identify generally valid fracture process phenomena. In this work, a simultaneous monitoring of fracture\nprocess zone formation and propagation by three different methods is presented and discussed. A three point bending test was performed on a notched silicate composite specimen. During the loading process, a highly accurate force displacement dependence was recorded accompanied with X-ray radiography,\nX-ray computed tomogra-phy and acoustic emission scanning.
|
|
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 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).
|
|
Simulace a protiřetězce pro efektivní práci s konečnými automaty
Holík, Lukáš ; Černá, Ivana (oponent) ; Jančar, Petr (oponent) ; Vojnar, Tomáš (vedoucí práce)
This thesis is focused on techniques for finite automata and their use in practice, with the main emphasis on nondeterministic tree automata. This concerns namely techniques for size reduction and language inclusion testing, which are two problems that are crucial for many applications of tree automata. For size reduction of tree automata, we adapt the simulation quotient technique that is well established for finite word automata. We give efficient algorithms for computing tree automata simulations and we also introduce a new type of relation that arises from a combination of tree automata downward and upward simulation and that is very well suited for quotienting. The combination principle is relevant also for word automata. We then generalise the so called antichain universality and language inclusion checking technique developed originally for finite word automata for tree automata. Subsequently, we improve the antichain technique for both word and tree automata by combining it with the simulation-based inclusion checking techniques, significantly improving efficiency of the antichain method. We then show how the developed reduction and inclusion checking methods improve the method of abstract regular tree model checking, the method that was the original motivation for starting the work on tree automata. Both the reduction and the language inclusion methods are based on relatively simple and general principles that can be further extended for other types of automata and related formalisms. An example is our adaptation of the reduction methods for alternating Büchi automata, which results in an efficient alternating automata size reduction technique.
|
|
Č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.
|
host ::
