National Repository of Grey Literature 93 records found  1 - 10nextend  jump to record: Search took 0.00 seconds. 
HyperLTL Model Checking
Alexaj, Ondrej ; Strejček, Jan (referee) ; Lengál, Ondřej (advisor)
HyperLTL model checking je technika pre overenie systému voči danej hypervlastnosti vyjadrenej logikou HyperLTL, ktorá dokáže prepojiť viaceré spustenia systému. Hoci bol vytvorený algoritmický prístup založený na automatoch, spolieha sa na štandardné operácie -automatov. Cieľom tejto práce je prekonať kompletný state-of-the-art HyperLTL model checker AutoHyper využitím efektívnejších čiastkových operácií nad automatmi, najmä komplementácie a inklúzie. Implementácia HyperLTL model checkingu v modulárne založenom nástroji pre komplementáciu, Kofola, viedla k výraznému zvýšeniu výkonu v porovnaní s referenčným nástrojom. Napokon, náš prístup ku kontrole jazykovej inklúzie vykazuje výrazné zmenšenie generovaného stavového priestoru. Keďže ide o bežne používanú operáciu nad automatmi, náš prístup by potenciálne mohol prispieť k pokroku aj v iných oblastiach verifikácie.
Rational layout of the assembly line in the pre-manufacturing stage and Lean principles
Škrdla, Michal ; Bernát, Michal (referee) ; Strejček, Jan (advisor)
This thesis deals with the current state of assembly workplace for prefabrication in selected company. Using lean manufacturing principles it describes and subsequently eliminating all forms of waste that occur in the workplace. Part of the project is to design a new layout of the manufacturing cell, operation balancing and standardize the work of operators in the process. The project aims to achieve the planned production volumes at the same or lower operating costs.
Proposal warehouse in engineering company
Rada, Tomáš ; Strejček, Jan (referee) ; Štroner, Marek (advisor)
The bachelor thesis is dealing with a proposal metal sheet warehouse in an engineering company. At first a research of storage and supply management has been carried. After that a storage capacity has been calculated and a warehouse layout solution has been proposed. Two variants of the solution have been proposed: cantilever racks and an automated vertical storage system, each with a layout drawing. Both variants have been evaluated and compared in terms of purchase costs and technical possibilities and advantages.
Proposal or the new layout of the "toolshop"
Varhaník, Matúš ; Zahradníček, Radim (referee) ; Strejček, Jan (advisor)
The aim of this work was creating the draft of stamping tool workshop layout. Our first task was to define the product range. Afterwards we were able to identify the technological and machinery equipment necessary for the execution of orders. The paper further discusses the need of human resources as well as the needs of the production, administrative and social areas. We propose possible technological solutions considering the range of production, the amount of machinery and personnel capacities. The next step is to optimize the layout, using tools such as material flow and continuity of operations. Not only safety at work but also the ergonomics of the proposed workplace is important for the final draft. The result of our project is to develop the final layout of stamping tool workshop containing the economic evaluation of the investment plan.
Production technology for selected part of the hydraulic rolling machine
Mynář, Josef ; Strejček, Jan (referee) ; Zemčík, Oskar (advisor)
Description of the machine with a closer analysis of a structural node, in which is situated the produced part. Design, calculation and the choice of blanks for the two variants of the production. The choice of machines for piece and series production, the choice of instruments and gauges for mass production. Developing manufacturing processes with the choice of times in the piece production and the calculation for mass production. Technoeconomic assessment of the costs of semi-finished products and variants of production.
Production of Components with a Combination of Different Technological Processes
Borek, Vojtěch ; Strejček, Jan (referee) ; Kalivoda, Milan (advisor)
The objective of this bachelor’s thesis is to design production of the part with use of several technological processes. Solved project is extractor of steering ball joints for cars. The most important sections of bachelor’s thesis are: description of used technologies, real production of the part in company and evaluation of the results according to different aspects.
Technology production of knife for demolition shears
Měrka, Tibor ; Strejček, Jan (referee) ; Osička, Karel (advisor)
The Bachelor’s thesis analyzes the scrap metal processing technology with focusing on shearing. The thesis also describes technological process in production of a tip knife, which is designed for demolition shears manufacturing in Italian company that specializes in the manufacturing of equipment and systems for the processing and recycling scrap metal. The end of the thesis includes proposal for new production technology and its techno-economic evaluation.
Analysis of material handling and storage at company SEJONG Czech, Ltd
Schwarz, Adam ; Neužil, Karel (referee) ; Strejček, Jan (advisor)
This thesis aims to analyze the current state of storage and material handling in the selected company and also to provide possible improvements that could be applied. The theoretical part of the thesis summarizes some unconventional methods in this field, their description and possible benefits from their use.
Rationalization of the workpiece technology part with the aim to reduce costs
Vojtěch, Jakub ; Strejček, Jan (referee) ; Chladil, Josef (advisor)
This bachelor thesis is focused on the improvement of the production technology during machining of the given component. The main goal is to design a different production technology, to reduce production time terms using more appropriate tools and to reduce the total costs of machining.
Detailed project proposal of a technological workplace in the company Kovo Poláček
Věžníková, Tereza ; Neužil, Karel (referee) ; Strejček, Jan (advisor)
The presented masters’s thesis deals with the design of a new production hall for the metalworking and with the proposal of a facility for the powder coating in the company Kovo Poláček in Nesvačilka. The solution is preceded by a literature search of the designing and explanation of some basic concepts in the subject matter. The part of this thesis is an analysis of the current situation of the company including an analysis of its internal and external environment affecting the company. The result of this thesis is the creation of the layout with respect to safety and ergonomics, verified by the calculation of capacity for a typical product, as well as an economic evaluation of the investment.

National Repository of Grey Literature : 93 records found   1 - 10nextend  jump to record:
See also: similar author names
5 Strejček, Jakub
3 Strejček, Jindřich
2 Strejček, Jiří
4 Strejček, Josef
Interested in being notified about new results for this query?
Subscribe to the RSS feed.