|
Optimalizace toku materiálu ve výrobní firmě v automobilovém průmyslu
Kolář, Tomáš ; Jirsák, Petr (vedoucí práce) ; Vinš, Marek (oponent)
Diplomová práce je zaměřena na optimalizaci materiálového toku v automobilovém průmyslu. První část práce uvádí teoretická východiska. Představuje odvětví automobilového průmyslu a aktuální tendence na světovém trhu. Následuje krátké představení společnosti, kde byla práce zpracována. Hlavní teoretická část pojednává o konceptu štíhlé výroby, kde na konkrétních příkladech popisuje jednotlivé nástroje lean managementu, ale zaměřuje se také na filozofickou rovinu, zejména tedy na přístup k práci a firemní strategii. Na teoretické poznatky již navazuje aplikační část. Celý projekt diplomové práce se zaměřuje na optimalizaci specifické oblasti PC store. Nejprve je tato oblast zasazena do kontextu s celkovým tokem materiálu, kde jsou ve zkratce představeny všechny procesy a oblasti na toku plných obalů. Poté se již přistupuje k hlubší analýze a samotné optimalizaci PC storu, kde jsou aplikovány tři různé způsoby redukce zásob a zrychlení materiálového toku. Závěrečná část uvádí porovnání výchozího a budoucího stavu, včetně přehledu provedených změn.
|
|
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
|
|
Zvíře u Garryho Winogranda
Tvarůžka, Václav ; DVOŘÁK, Tomáš (vedoucí práce) ; Ledvina, Josef (oponent)
Práce se zabývá představením Garryho Winogranda jakožto dokumentárního fotografa a dále pak analyzuje problém omezené možnosti pohledu, která se manifestuje právě v nemožnosti pohledu na zvíře. Práce vychází z eseje Johna Bergera "O Pohledu", který vyvozuje tuto omezenou možnost komunikace skrz nástup kapitalismu a vytržení člověka z přírody. S čímž souvisí také fenomén zoologické zahrady. Práce je tedy zasazena v tomto kontextu a dále obsahuje analýzu fotografie (jednak samotného Winogranda) ale i dalších autorů, kteří vnášejí k tématu spřízněné otázky jako je např. autenticita fotografie s motivem zvířete (Joan Fontcuberta) nebo problematika antropomorfizace (Walt Disney).
|
|
Studio Damúza
Řezníková, Veronika ; PROKOP, Petr (vedoucí práce) ; SULŽENKO, Jiří (oponent)
Bakalářská práce Studio Damúza je zaměřena na současný stav produkční jednotky, která vznikla před 17 lety původně jako alternativní scéna k Divadlu DISK pražské DAMU. Na příkladu několika produkčních jednotek je zde vysvětlen pojem produkční jednotka. Práce srovnává provoz Studia Damúza, Jedefrau.org a ART Prometheus. Popisuje vy zkratce historii Studia Damúza. Dále se věnuje především jeho současnému provozu, financování a pokusům o získání vlastního prostoru. Poetiku Studia Damúza přibližuje práce na popisu současného repertoáru. V závěru práce nabízí několik variant, jak posunout provoz Studia Damúza směrem kupředu. Hledá problémy, které mu v tom brání, a snaží se najít jejich řešení.
|
| |
|
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.
Plný tet: v1236-16 -  PDF
Plný text: content.csg - 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.
Plný tet: v1237-16 - PDF
Plný text: content.csg - PDF
|
|
Analýza rizika posouzení nosné ŽB konstrukce
Bohatec, Jiří ; Laníková, Ivana (oponent) ; Šimůnek, Petr (vedoucí práce)
Diplomová práce se zabývá hodnocením rizik v průběhu zesilování železobetonového sloupu. Popisuje hodnocení existujících konstrukcí dle normy ČSN ISO 13822, rozebírá nebezpečí, která mohou nastat při určení únosnosti stávající konstrukce. Dále práce popisuje jednotlivé fáze zesilování ocelovou bandáží, jejich působení a vliv na celkovou únosnost. Také ukazuje výpočetní postup zesilování železobetonového sloupu, pomocí ocelové bandáže, vycházející z normy ČSN EN 1992-1-1 a ČSN EN 1998-3. Na konkrétním příkladu zesílení je ukázán postup stanovení únosnosti a poté je navrženo její zvýšení. Na dvou příkladech je provedena analýza rizika pomocí univerzální maticové analýzy rizik, která identifikuje a kvantifikuje význam jednotlivých nebezpečí spojených s výpočtem a realizací projektu.
|
|
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.
|
host ::
