|
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.
|
| |
|
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.
|
| |
|
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.
|
| |
| |
|
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.
|