|
| |
|
|
Creating e-learning materials for Automatization course
MÍČEK, Radek
The thesis deals with the creation of e-learning materials for the subject Automation. The theoretical part briefly deals with the definition of e-learning as a modern form of teaching and further provides an overview of the advantages and disadvantages of e-learning. The theoretical part also contains a summary of systems, tools, methods and technologies that enter e-learning. The practical part of the thesis deals with selected methods of e-learning and also contains materials e-learning materials created directly for the subject Automation. The practical part includes 10 presentations, which can be used for teaching the subject Automation and at the same time a description of creating the presentations.
|
|
|
Automated model building
Miček, Radek ; Stanovský, David (advisor) ; Surynek, Pavel (referee)
We implement a MACE-style method for finding finite models in unsorted classical first-order logic. Additionally to well-known modifications of the method we also describe and implement several new modifications such as: unflattening, generation of redundant clauses and encoding into Gecode constraints. Our implementation is benchmarked together with Mace4, Paradox and iProver. Finally, some suggestions for improvements and further research are given. Powered by TCPDF (www.tcpdf.org)
|
|
| |
|
|
Modernisation of the lathe by frequency converter
MÍČEK, Radek
Bachelor thesis Modernization of the lathe by frequency converter to focus on how we can achieve better properties lathe replacement of the engine with direct control for asynchronous motor with frequency converter. This thesis introduces the different types of regulation as a practical implementation of the modernization of the lathe. The work also includes measurements that verify the success of modernization.
|
guest ::
RSS feed.