|
The rear axle of a small urban car
Fišer, Petr ; Veselý, Oldřich (referee) ; Koutný, Daniel (advisor)
This Master’s thesis is dedicated to innovative structural design of the supporting frame rear axle of a small urban utility vehicle. The frame allows you to change the wheel base by sliding rear axle so the car can be used in its short or long version. The main part begins with description of the design solutions and continues with selection of a solution and description of its main parts. The work is finished by description of the production the rear axle.
|
|
Methodology for fault tolerant system state synchronization design and its recovery from faults
Szurman, Karel ; Fišer, Petr (referee) ; Racek, Stanislav (referee) ; Vlček, Karel (referee) ; Kotásek, Zdeněk (advisor)
In this Ph.D. thesis, a new methodology for the fault tolerant system state synchronization design and its recovery from faults is presented. A state synchronization method designed by means of the proposed methodology allows to repair the state of sequential logic elements implemented in the FPGA application logic, which cannot be repaired by the partial dynamic reconfiguration. The proposed methodology describes possible state synchronization design methods with respect to TMR granularity, dependence of the system function on its previous states and the system architecture. The methodology focuses on coarse-grained TMR architectures and state synchronization in the systems controlled by means of finite state machines or a processor. The use of the methodology is demonstrated on the CAN bus control system and the microcontroller NEO430, for which specific synchronization methods were designed. The systems reliability and new ability of the systems for recovery from faults were verified in the presence of simulated SEU faults. The experimental results and the contribution of this thesis are discussed in the conclusion.
|
|
Polymorphic circuits synthesis and optimization
Crha, Adam ; Plíva, Zdeněk (referee) ; Fišer, Petr (referee) ; Růžička, Richard (advisor)
Tato práce se zabývá metodami logické syntézy a optimalizací pro polymorfní obvody. V práci jsou jak diskutovány existující metody pro konvenční obvody, tak i představeny nové metody, aplikovatelné na polymorfní elektroniku. Hlavním přínosem práce je představení nových metod optimalizace a logické syntézy pro polymorfní obvody. Přesto, že v minulých letech byly představeny metody pro návrh polymorfních obvodů, jsou tyto metody založené na evolučních technikách nebo nejsou dobře škálovatelné. Z toho vyplývá, že stále neexistuje stabilní metodika pro návrh složitějších polymorfních obvodů. Tato práce představuje zejména reprezentaci polymorgních obvodů a metodiku pro jejich návrh založenou na And-Inverter grafech. Na polymorfní obvody reprezentované pomocí AIG je možné aplikovat známé techniky jako například přepisování [rewriting]. Nasazením techniky přepisování na polymorfní AIG získáme obvod, obsahující polymorfní prvky uvnitř obvodu, a je možné dosáhnout značných úspor prostředků, které mohou být sdíleny mezi dvěma funkcemi současně. Ověření návrhové metodiky pro polymorfní obvody bylo provedeno nad sadou veřejně dostupných obvodů, čímž je demonstrována efektivita metodiky.
|
|
Foundry in technical documentacion
Fišer, Petr ; Svoboda, Pavel (referee) ; Prokeš, František (advisor)
This bachelor’s thesis deals with design documentation of foundry. It present‘s the basic rules of making design documentation, listing of used types of documentation and all their formal belongings. It’s foremost determined to complete the basic knowledge of first year students VUT FSI with assigned project Foundry. Set of new problems is also part of this thesis.
|
|
Another professional education and development of employees of the municipal police
Fišer, Petr
The thesis focuses on the identification of the training needs of municipal police employees and defines possible areas of further professional development. The theoretical part focuses on the characteristics of the objectives and mission of the municipal police, its specifics in terms of development and further professional education of employees. Part of the theoretical framework has been developed the issues of lifelong education and learning, motivation for professional development and the possibilities of further professional education of employees or officers. In the empirical part, the educational needs of employees - constables assigned to municipal / city police forces were examined, i.e. analysed and identified, and based on the results, areas of further professional education and development of employees were defined. Emphasis was placed on current societal issues that affect the work of constables. The topic of lifelong learning of officers was viewed through the lens of current technological and knowledge developments. The visual century, as the present era is called, is influenced by geopolitical, global and social aspects. These transformations fundamentally affect the behaviour of people - citizens, but also the officers themselves who oversee the safety of towns and cities....
|
|
Another professional education and development of employees of the municipal police
Fišer, Petr ; Veteška, Jaroslav (advisor) ; Kříž, Jaroslav (referee)
The thesis focuses on the identification of the training needs of municipal police employees and defines possible areas of further professional development. The theoretical part focuses on the characteristics of the objectives and mission of the municipal police, its specifics in terms of development and further professional education of employees. Part of the theoretical framework has been developed the issues of lifelong education and learning, motivation for professional development and the possibilities of further professional education of employees or officers. In the empirical part, the educational needs of employees - constables assigned to municipal / city police forces were examined, i.e. analysed and identified, and based on the results, areas of further professional education and development of employees were defined. Emphasis was placed on current societal issues that affect the work of constables. The topic of lifelong learning of officers was viewed through the lens of current technological and knowledge developments. The visual century, as the present era is called, is influenced by geopolitical, global and social aspects. These transformations fundamentally affect the behaviour of people - citizens, but also the officers themselves who oversee the safety of towns and cities....
|
|
Scots pine climate-growth response in the topographically complex landscape of the Kokořínsko region
Fišer, Petr ; Treml, Václav (advisor) ; Šefrna, Luděk (referee)
The extensive Scots pine Pinus sylvestris forests in topographically complex landscape of the Kokořínsko region in the Czech Republic are a suitable area for investigating how trees react differently to climate factors depending on local site conditions. Individual habitats are characterized by specific conditions which can influence a wide range of growth factors. It is therefore important to understand these differences also from the point of view of ongoing climate change, which threats forest ecosystems in central Europe. The relatively dry environment of the highly permeable sandstone landscape is vulnerable to increasing drought, which will increase the stress of local Scots pine population. Samples from 20 sites divided into 4 categories of northern slopes, southern slopes, plateaus and valley bottoms are supposed to sufficiently represent variability of the local terrain. Correlation of tree-ring chronologies with climate variables as well as PCA analysis revealed that the greatest differences are between plateaus and valley bottoms. In case of highly exposed plateaus, drought seems to be the most important limiting factor, whereas at the valley bottoms temperatures at the turn of winter and spring are the main controlling factor. Signifficant differences between northern and southern...
|
|
Polymorphic circuits synthesis and optimization
Crha, Adam ; Plíva, Zdeněk (referee) ; Fišer, Petr (referee) ; Růžička, Richard (advisor)
Tato práce se zabývá metodami logické syntézy a optimalizací pro polymorfní obvody. V práci jsou jak diskutovány existující metody pro konvenční obvody, tak i představeny nové metody, aplikovatelné na polymorfní elektroniku. Hlavním přínosem práce je představení nových metod optimalizace a logické syntézy pro polymorfní obvody. Přesto, že v minulých letech byly představeny metody pro návrh polymorfních obvodů, jsou tyto metody založené na evolučních technikách nebo nejsou dobře škálovatelné. Z toho vyplývá, že stále neexistuje stabilní metodika pro návrh složitějších polymorfních obvodů. Tato práce představuje zejména reprezentaci polymorgních obvodů a metodiku pro jejich návrh založenou na And-Inverter grafech. Na polymorfní obvody reprezentované pomocí AIG je možné aplikovat známé techniky jako například přepisování [rewriting]. Nasazením techniky přepisování na polymorfní AIG získáme obvod, obsahující polymorfní prvky uvnitř obvodu, a je možné dosáhnout značných úspor prostředků, které mohou být sdíleny mezi dvěma funkcemi současně. Ověření návrhové metodiky pro polymorfní obvody bylo provedeno nad sadou veřejně dostupných obvodů, čímž je demonstrována efektivita metodiky.
|
|
Methodology for fault tolerant system state synchronization design and its recovery from faults
Szurman, Karel ; Fišer, Petr (referee) ; Racek, Stanislav (referee) ; Vlček, Karel (referee) ; Kotásek, Zdeněk (advisor)
In this Ph.D. thesis, a new methodology for the fault tolerant system state synchronization design and its recovery from faults is presented. A state synchronization method designed by means of the proposed methodology allows to repair the state of sequential logic elements implemented in the FPGA application logic, which cannot be repaired by the partial dynamic reconfiguration. The proposed methodology describes possible state synchronization design methods with respect to TMR granularity, dependence of the system function on its previous states and the system architecture. The methodology focuses on coarse-grained TMR architectures and state synchronization in the systems controlled by means of finite state machines or a processor. The use of the methodology is demonstrated on the CAN bus control system and the microcontroller NEO430, for which specific synchronization methods were designed. The systems reliability and new ability of the systems for recovery from faults were verified in the presence of simulated SEU faults. The experimental results and the contribution of this thesis are discussed in the conclusion.
|
|
Automated Design Methodology for Approximate Low Power Circuits
Mrázek, Vojtěch ; Bosio, Alberto (referee) ; Fišer, Petr (referee) ; Sekanina, Lukáš (advisor)
Rozšiřování moderních vestavěných a mobilních systémů napájených bateriemi zvyšuje požadavky na návrh těchto systémů s ohledem na příkon. Přestože moderní návrhové techniky optimalizují příkon, elektrická spotřeba těchto obvodů stále roste díky jejich složitosti. Nicméně existuje celá řada aplikací, kde nepotřebujeme získat úplně přesný výstup. Díky tomu se objevuje technika zvaná aproximativní (přibližné) počítání, která umožňuje za cenu zanesení malé chyby do výpočtu významně redukovat příkon obvodů. V práci se zaměřujeme na použití evolučních algoritmů v této oblasti. Ačkoliv již tyto algoritmy byly úspěšně použity v syntéze přesných i aproximativních obvodů, objevují se problémy škálovatelnosti - schopnosti aproximovat složité obvody. Cílem této disertační práce je ukázat, že aproximační logická syntéza založená na genetickém programování umožňuje dosáhnout vynikajícího kompromisu mezi spotřebou a chybou. Byla provedena analýza čtyř různých aplikacích na třech úrovních popisu. Pomocí kartézského genetického programování s modifikovanou reprezentací jsme snížili spotřebu malých obvodů popsaných na úrovni tranzistorů použitelných například v technologické knihovně. Dále jsme zavedli novou metodu pro aproximaci aritmetických obvodů, jako jsou sčítačky a násobičky, popsaných na úrovni hradel. S využitím metod formální verifikace navíc celý návrhový proces umožňuje garantovat stanovenou chybu aproximace. Tyto obvody byly využity pro významné snížení příkonu v neuronových sítích pro rozpoznávání obrázků a v diskrétní kosinově transformaci v HEVC kodéru. Pomocí nové chybové metriky nezávislé na rozložení vstupních dat jsme navrhli komplexní aproximativní mediánové filtry vhodné pro zpracování signálů. Disertační práce reprezentuje ucelenou metodiku pro návrh aproximativních obvodů na různých úrovních popisu, která navíc garantuje nepřekročení zadané chyby aproximace.
|