|
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).
|
|
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.
|
|
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.
|
|
Analysis of transfer from trolley bus to CNG sources: emission, economic and ecologic effects
Gärberová, Gabriela ; Vach, Marek (advisor)
This thesis is a comparative study comparing the environmental and economic impact after the abolition of public transport in Jirkov, using electric motors and its replacement by buses or CNG or diesel vehicles. The work also includes an opinion poll in which I canvassed 500 respondents and the resulting poll I evaluated statistically. I evaluted from the studies pollution from emissions of all three components, which I compared with each other. Results may be used for future evaluation of the effectiveness of public transport of other cities.
|
|
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.
|
|
Effect of feeding flaxseed on the quality of goat milk fat
Malá, Kateřina ; Fantová, Milena (advisor)
Type of feed, its quality, form of adjustments and feeding technique influence the composition and quality of milk. The share of milk components is highly variable, depending on nutrition and animal health. The greatest changes occurring in milk fat content. Milk fat is responsible for the natural flavor of milk. However, in terms of the modern world, human, saturated fatty acids contained in milk fat is considered negative active ingredient with the subsequent development of cardiovascular disease and the development of atherosclerosis in humans. Currently, therefore a growing demand for polyunsaturated fatty acids in milk as a healthy alternative. For this reason, an effort to influence the composition or the content of fatty acids in the milk of dairy animals. One way to significantly increase the content of desired MUFA and PUFA acids in milk fat is the use of oils and oilseeds in the ration. Very positive influence flaxseed, which among other things contains high levels of linolenic acid.
The aim of this work is to analyze and evaluate the milk fat of goats, which are fed with linseed in extruded form compared with a control group of goats without complementary food. It can assume that feeding flaxseed to increase milk fat content, including omega-3 and omega-6 fatty acids.
|
| |
|
Stirling engine
Blažek, Petr ; Hromádko, Jan (advisor) ; Mařík, Jakub (referee)
The aim of this thesis is to introduce the Stirling engine, to evaluate its potential use in practice and to propose possible further development in this area. The first part is devoted to the historical development of the Stirling engine. The next part contains brief explanation of its function, describes the individual components, introduces all modifications and evaluates the main advantages and disadvantages. The last part deals with the use of the engine with respect to its properties, structure and possible design.
|
| |
guest ::
