|
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).
|
|
Test Application Methodology Based On the Identification of Testable blocks
Herrman, Tomáš ; Plíva, Zdeněk (referee) ; Racek, Stanislav (referee) ; Kotásek, Zdeněk (advisor)
The PhD thesis deals with the analysis of digital systems described on RT level. The methodology of data paths analysis is decribed, the data path controller analysis is not solved in the thesis. The methodology is built on the concept of Testable Block (TB) which allows to divide digital component to such segments which can be tested through their inputs/outputs, border registers and primary inputs/outputs are used for this purpose. As a result, lower number of registers is needed to be included into scan chain - border registers are the only ones which are scanned. The segmentation allows also to reduce the volume of test vectors, tests are generated for segments, not for the complete component. To identify TBs, two evolutionary algorithms are used, they operate on TB formal model which is also defined in the thesis.
|
|
Methodology of highly reliable systems design
Straka, Martin ; Gramatová, Elena (referee) ; Racek, Stanislav (referee) ; Kotásek, Zdeněk (advisor)
In the thesis, a methodology alternative to existing methods of digital systems design with increased dependability implemented into FPGA is presented, new features which can be used in the implementation and testing of these systems are demonstrated. The research is based on the use of FPGA partial dynamic reconfiguration for the design of fault tolerant systems. In these applications, the partial dynamic reconfiguration can be used as a mechanism to correct the fault and recover the system after the fault occurrence. First, the general principles of diagnostics, testing and digital systems dependability are presented including a brief description of FPGA components and their architectures. Next, a survey of currently used methods and techniques used for the design and implementation of fault tolerant systems into FPGA is described, especially the methods used for fault detection and localization, their correction, together with the principles of evaluating fault tolerant systems design quality. The most important part of the thesis is seen in the description of the design methodology, implementation and testing of fault tolerant systems implemented into FPGAs which uses SRAMs as the configuration memory. First, the methodology of developing and automated checker components design for digital systems and communication protocols is presented. Then, a reference architecture of a dependable system implemented into FPGA is demonstrated including several fault tolerant architectures based on the use of partial dynamic reconfiguration as the mechanism of fault correction and the recovery from it. The principles of controlling the reconfiguration process are described together with the description of the test platform which allows to test and verify the design of fault tolerant systems based on the methodology presented in the thesis. The experimental results and the contribution of the thesis are discussed in the conclusions.
|
|
Methodology of highly reliable systems design
Straka, Martin ; Kotásek, Zdeněk (advisor)
In the thesis, a methodology alternative to existing methods of digital systems design with increased dependability implemented into FPGA is presented, new features which can be used in the implementation and testing of these systems are demonstrated. The research is based on the use of FPGA partial dynamic reconfiguration for the design of fault tolerant systems. In these applications, the partial dynamic reconfiguration can be used as a mechanism to correct the fault and recover the system after the fault occurrence. First, the general principles of diagnostics, testing and digital systems dependability are presented including a brief description of FPGA components and their architectures. Next, a survey of currently used methods and techniques used for the design and implementation of fault tolerant systems into FPGA is described, especially the methods used for fault detection and localization, their correction, together with the principles of evaluating fault tolerant systems design quality. The most important part of the thesis is seen in the description of the design methodology, implementation and testing of fault tolerant systems implemented into FPGAs which uses SRAMs as the configuration memory. First, the methodology of developing and automated checker components design for digital systems and communication protocols is presented. Then, a reference architecture of a dependable system implemented into FPGA is demonstrated including several fault tolerant architectures based on the use of partial dynamic reconfiguration as the mechanism of fault correction and the recovery from it. The principles of controlling the reconfiguration process are described together with the description of the test platform which allows to test and verify the design of fault tolerant systems based on the methodology presented in the thesis. The experimental results and the contribution of the thesis are discussed in the conclusions.
|
|
Mechanochemical Preparation of Alumina-Ceria
Jirátová, Květa ; Spojakina, A. ; Tyuliev, G. ; Balabánová, Jana ; Kaluža, Luděk ; Palcheva, R.
Ceria containing catalysts play an essential role in heterogeneous catalytic processes. However, ceria shows poor thermal stability and low specific surface area and therefore, many studies have been done to improve its properties by combination with other oxides. Alumina-ceria is substantial component of the three ways catalysts, due to the ceria ability to function as the buffer of oxygen and to enhance the oxygen storage capacity of the catalysts. Ceria in these catalysts also functions as structural promoting component, increasing alumina stability towards thermal sintering. Promising method of oxides preparation, very interesting and simple but not sufficiently studied yet is a mechanochemical synthesis. Here we report on the synthesis of nano-sized alumina, ceria and ceria-alumina of various compositions by a wet solid phase mechanochemical reaction of hydrous aluminum, and/or cerium nitrate with ammonium bicarbonate after addition of a small amount of water. The aim of this contribution is to study processes being in progress during synthesis of the mixed oxides, interaction between components and their mutual effect on the properties of resulting products. The phase evolution during mechanical milling and the subsequent heat treatment of precursors were studied by X-ray diffraction, DTA/TG, H2-TPR, NH3-TPD, CO2-TPD, N2 adsorption at -195°C, IR, and XPS spectroscopy. Alumina and mixtures of alumina with different quantities of CeO2 (1- 18 wt. %) were synthesized by mechanochemical method from aluminum nitrate, cerium nitrate and ammonia bicarbonate.
Fulltext: content.csg -  PDF
Plný tet: SKMBT_C22015083108560 - PDF
|
|
Social transformations of the Czechoslovak village in the first half of the fifties - example of the district of Sedlcany
Čermáková, Hana ; Rákosník, Jakub (advisor) ; Pullmann, Michal (referee)
This thesis seeks to capture the changed political climate after 1948 in the Czechoslovak village. It examines one political Sedlčany district, which was very specific in term of industrial backwardness and depopulation after World War II. It consisted of a specific marginal share of industrial production and low population density. The starting point is the work of Communist propaganda at the district level. The second chapter deals with the theoretical definition, especially socio-cultural propaganda as a concept, is looking for its solution, goals and different definitions. Another chapter deals with general history Sedlčany and regional specifics. The fourth and fifth chapter focuses on the local structure of the district committee and the lower components of the Communist Party of Czechoslovakia in the region and social transformation of society as a whole in the first half of the fifties in the country. The second part of the thesis is devoted to defining the scope of direct advertising strategies and resources. Most of the work deals with propaganda, describing the district level, monitors the work of the district committee of the Communist Party of Czechoslovakia, analyzes the rural district newspaper articles and records the memories of witnesses. The remaining chapters deal with the practical...
|
|
Component method of depreciation
IMBER, Jakub
The topic of this thesis is the issue of component depreciation, which is a relatively new method of accounting depreciation. The theoretical part describes the methods of depreciation, the component depreciation method analyzed in detail and the definition of particular basic concepts in the depreciation policy. The theoretical part focuses on the issue of dismantling the component depreciation for easy understanding of the advantages and disadvantages of this method. The practical part is focused primarily on the display of depreciation in the accounts and the display of the problems on the real entity. Data from the real company are used in this section. The aim is to acquaint students with the component depreciation method and the advantages or disadvantages of using this method in practice.
|
|
Supplier management in automotive industry
Holubcová, Romana ; Štůsek, Jaromír (advisor)
In my thesis I deal with the process of Supplier management in automotive industry. Supplier - customer relationship is very important for a success both company and for the global development of the economy too. These relationships must be partnership and support the development of the companies and their each other businesses are beneficial for both sides. In my thesis I analyze current process of the supplier management in the company, what directly supply to OEM. Original Equipment manufacturing (OEM), is the final producer of automobiles, it is mean this company do not produce components but assemble supplied modules. I propose improvements and up-date the directive Strategic purchasing according to results from the analysis.
|
|
Assessment of capacity of selected systems of public infrastructure. Case study Barrandov.
Kocábek, Ondřej ; Novotný, Vojtěch (advisor) ; Vojtěch , Vojtěch (referee)
This bachelor thesis deals with the assessment of capacities of selected components of public infrastructure of housing estate Barrandov. The first part of the work concerns with literature review in spatial planning and sustainable development, the concept of public infrastructure, and outlines the birth and development of prefabricated housing estates. It elaborates and further describes the functional breakdown and the individual components of public infrastructure. The second part of the thesis is focused on the methodology of capacity assessments including the determination of the investigated components of the public infrastructure. It also describes the method of determining the capacity of the investigated components. The third part of the thesis describes the territory of the case study, which is followed by the assessment of the examined components of the public infrastructure. Based on the results of the assessment the thesis states that the capacity of all the assessed components of the public capacities are in certain respects at the edge of their capacity.
|
|
Effect of dairy cows housing technology on mastitis occurrence
Brzáková, Lenka ; Stádník, Luděk (advisor) ; Jan, Jan (referee)
The objective of my bachelor thesis was evaluation of quality of housing, milking and making analysis of mastitis on chosen farm.
First part of the thesis contains of literature summary about housing technologies, mastitis issues, their detection, originators, therapy and factors affects against their incidence. Thereafter is this part focused on tipes of milking parlours, corect milking procedures and mechanized milking.
Materials and methodes of the thesis contains the characteristics of chosen farm where the quality and technology of housing, milking and nutrition of milk cows and other factors affecting presence of mastitis such as taking care of cloven hooves was watched in 2014. The incidence, detection and curation of mastitis was watched afterwards. Montamilk s.r.o. farm cradles 1,200 pieces of cattle and milk cows are about 419 out of it.
In the part of thesis named results was watched and evaluated inspection of efficiency in inspecting year 2013 - 2014, which was stated on first lactated cows and on cows which are on second and further lactation. Milk yield was far better with cows on second or futher lactation according to data gathered during the study and expressed by diagram. Diagram of milk components (fat and proteins), which was divided by lactation, was expressed in this part too. Other examinated parameters was occurrence of mastitis - which milk cows, in which season is the occurrence more often, treatment and cost of treatment for one cow. At the end the number of somatic cells for 2014 was represented in diagram for particular lactations.
In part of thesis called discusion the comparison was drowed between results from chosen farm and national average of efficiency checks. From results is obvious that milk cow in Mnotamilk has been better in first lactated cows by 427 kg and in second and more lactated cows by 602 kg than is the avarage in Czech republic.
Far more the milk components in Montamilk was compared with rest of Czech republic and the results was quite similar. The volume of fat of Montamilk cows was lower in every lactation in comparison with milk cows from Czech. Value of fat in Czech republic avarage first lactated cows is 3,87 % in Montamilk 3,85 % and the value of fat on second and more lactation cows is 3,86 % in Czech average and 3,81 % in Montamilk.
|
guest ::
