|
Optimalization of material flow in automotive industry
Kolář, Tomáš ; Jirsák, Petr (advisor) ; Vinš, Marek (referee)
This master thesis is focussed on optimalization of material flow in an automotive company. First part introduce theoretical background. Automotive industry and its actual trends on global markets. Follows short introduction of the company where project of this thesis was executed. Main theoretical part describes concept of lean management, its tools in practical examples, but it is also focussed on philosophical approach to the work and mindset of the company. Follows the aplication part based on theoretical background. The whole project of this master thesis is focussed on specific area called PC store. At first this area is showed in context of overall material flow. Shortly there are introduced processes and areas where full material packaging flows. Follows deeper analysis and optimalization of PC store itself. There are three approaches of stock and lead time reduction applied. Last part shows the comparison of initial and future state including performed changes.
|
|
ELECTRON BEAM REMELTING OF PLASMA SPRAYED ALUMINA COATINGS
Matějíček, Jiří ; Veverka, J. ; Čížek, J. ; Kouřil, J.
Plasma sprayed alumina coatings find numerous applications in various fields, where they enhance the properties of the base material. Examples include thermal barriers, wear resistance, electrical insulation, and diffusion and corrosion barriers. A typical structure of plasma sprayed coatings, containing a multitude of voids and imperfectly bonded interfaces, gives them unique properties - particularly low thermal conductivity, high strain tolerance, etc. However, for certain applications such as permeation barriers or wear resistance, these voids may be detrimental.\nThis paper reports on the first experiments with remelting of plasma sprayed alumina coatings by electron beam technology, with the purpose of densifying the coatings and thereby eliminating the voids. Throughout the study, several parameters of the e-beam device were varied - beam current, traverse velocity and number of passes. The treated coatings were observed by light and electron microscopy and the thickness, structure and surface morphology of the remelted layer were determined and correlated with the process parameters. Based on the first series of experiments, the e-beam settings leading to dense and smooth remelted layer of sufficient thickness were obtained. In this layer, a change of phase composition and a marked increase in hardness were observed.\n
|
|
Animal from the Garry Winogrand´s point of view
Tvarůžka, Václav ; DVOŘÁK, Tomáš (advisor) ; Ledvina, Josef (referee)
Work is an introduction to the work of Gary Winogrand and also analysis of the issue of limited possibility of looking which manifests in the particular problem, of impossibility of looking at animal. Work is based on essay from John Berger who concludes this communication problem trough the rise of capitalism and lost connection between human and animal creature. This thing is also connected to the phenomenon of zoological garden. Work is set in this certain context and further it is analyzing the photographs from Winogrand himself and also other authors, which are dealing with affinity problems like for example problem of authenticity (in the photography with the motive of animal), which is represented by Joan Fontcuberta. Or the problem of anthropomorphization (Walt Disney).
|
|
Studio Damúza
Řezníková, Veronika ; PROKOP, Petr (advisor) ; SULŽENKO, Jiří (referee)
The bachelor thesis named Studio Damúza analyses the current state of the eponymous production unit, founded 17 years ago as an alternative stage to the DISK Theatre of Prague´sTheatre Faculty of the Academy od Performing Arts. The term "production unit" is explained on the example of several other production units, comparing the operation of Studio Damúza, Jedefrau.org and ART Prometheus. It gives a brief outline of Studio Damúza´s history. If further describes its current operation, financing and attemps at obtaining a production space run solely by Damúza. The poetics of Studio Damúza are characterised through the current repertoire. In the end, the thesis offers several possibilities of advancing the work of Studio Damúza. It looks for problems that create obstacles and tries to offer solutions.
|
| |
|
Cut Languages in Rational Bases
Šíma, Jiří ; Savický, Petr
We introduce a so-called cut language which contains the representations of numbers in a rational base that are less than a given threshold. The cut languages can be used to refine the analysis of neural net models between integer and rational weights. We prove a necessary and sufficient condition when a cut language is regular, which is based on the concept of a quasi-periodic power series. We show that any cut language with a rational threshold is context-sensitive while examples of non-context-free cut languages are presented.
Fulltext: content.csg -  PDF
Plný tet: v1236-16 - PDF
|
|
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
|
|
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 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).
|
|
Simulace a protiřetězce pro efektivní práci s konečnými automaty
Holík, Lukáš ; Černá, Ivana (referee) ; Jančar, Petr (referee) ; Vojnar, Tomáš (advisor)
Cílem této práce je vývoj technik umožňujících praktické využití nedeterministických konečných automatů, zejména nedeterministických stromových automatů. Jde zvláště o techniky pro redukci velikosti a testování jazykové inkluze, jež hrají zásadní roli v mnoha oblastech aplikace konečných automatů. V oblasti redukce velikosti vycházíme z dobře známých metod pro slovní automaty které jsou založeny na relacích simulace. Navrhli jsme efektivní algoritmy pro výpočet stromových variant simulačních relací a identifikovali jsme nový typ relace založený na kombinaci takzvaných horních a dolních simulací nad stromovými automaty. Tyto kombinované relace jsou zvláště vhodné pro redukci velikosti automatů slučováním stavů. Navržený princip kombinace relací simulace je relevantní i pro slovní automaty. Náš přínos v oblasti testování jazykové inkluze je dvojí. Nejprve jsme zobecnili na stromové automaty takzvané protiřetězcové algoritmy, které byly původně navrženy pro slovními automaty. Dále se nám podařilo použitím simulačních relací výrazně zefektivnit protiřetězcové algoritmy pro testování jazykové inkluze jak pro slovní, tak pro stromové automaty. Relevanci našich technik pro praxi jsme demonstrovali jejich nasazením v rámci regulárního stromového model checkingu, což je verifikační metoda založená na stromových automatech. Použití našich algoritmů zde vedlo k výraznému zrychlení a zvětšení škálovatelnosti celé metody. Základní myšlenky našich algoritmů pro redukci velikosti automatů a testování jazykové inkluze jsou aplikovatelné i na jiné typy automatů. Příkladem jsou naše redukční techniky pro alternující Büchiho automaty prezentované v poslední části práce.
|
guest ::
