|
|
Real-Time Optimizations in Industrial Production
Křen, Michal ; Kočí, Radek (referee) ; Hrubý, Martin (advisor)
The thesis deals with the scheduling problem of manufacturing operations in industrial production. This problem is described as the well-known the Resource-Constrained Project Scheduling Problem. The objective of this problem is to find an optimal assignment of operations to limited resources. Optimizer created for the thesis uses a genetic algorithm to solve the scheduling problem. For the purpose of a dynamic scheduling, a failures model was designed and a system with real-time optimizer, that is able to repair the original schedule fluently, was created. In the real-time optimizer, several solution methods were implemented and these solution methods underwent a number of experiments. The system thus created is also able to simulate manufacturing operations and draw a Gantt chart.
|
|
|
Diachronic comparison of synchronic corpora
Křen, Michal ; Čermák, František (advisor) ; Kučera, Karel (referee) ; Králík, Jan (referee)
The thesis presents a method for diachronic comparison of synchronic corpora that reflect language of very close time periods. Its primary aim is the assessment of possi- bilities and limitations of language change detection based on the synchronic written SYN-series corpora. The approach is corpus-driven, based on a statistical evaluation of differences among normalized average reduced frequencies of lemmata and lexical combinations. There are several variants of the method applied on various subcorpora of corpus SYN and their results examined in detail. Difficulty of the comparison lies in the influence of corpus composition and the interconnection of changes in language with changes in society. As it is not easy to distinguish the signs of diachronic shift from naturally existing synchronic variability, the statistically discovered significance of frequency differences is additionally verified by querying the base corpora. The interpretation of the results is also adjusted by the knowledge of their exact composition. The conclusions are based mainly on the newspapers as a written text type that is most receptive to the changes. The changes can be characterized as a thematic diversion from the original political and economical orientation of the newspapers towards real- life and free-time topics...
|
|
|
Diachronic comparison of synchronic corpora
Křen, Michal ; Čermák, František (advisor) ; Kučera, Karel (referee) ; Králík, Jan (referee)
The thesis presents a method for diachronic comparison of synchronic corpora that reflect language of very close time periods. Its primary aim is the assessment of possi- bilities and limitations of language change detection based on the synchronic written SYN-series corpora. The approach is corpus-driven, based on a statistical evaluation of differences among normalized average reduced frequencies of lemmata and lexical combinations. There are several variants of the method applied on various subcorpora of corpus SYN and their results examined in detail. Difficulty of the comparison lies in the influence of corpus composition and the interconnection of changes in language with changes in society. As it is not easy to distinguish the signs of diachronic shift from naturally existing synchronic variability, the statistically discovered significance of frequency differences is additionally verified by querying the base corpora. The interpretation of the results is also adjusted by the knowledge of their exact composition. The conclusions are based mainly on the newspapers as a written text type that is most receptive to the changes. The changes can be characterized as a thematic diversion from the original political and economical orientation of the newspapers towards real- life and free-time topics...
|
|
|
Generator of Instruction Set Manual
Křen, Michal ; Přikryl, Zdeněk (referee) ; Hruška, Tomáš (advisor)
This bachelor thesis describes the design and implementation of a generator of instruction set manual, that is a part of the Lissom project. Model of microprocessor is described using architecture and instruction set description language ISAC with added special marked comments to each one declaration. From this source of data useful information and relationships between them are selected for manual. The source of data for generating of instructions is the intermediate-language for generator of C language compiler. The output generated manual document is saved as RTF file and it contains two parts. First part includes summary of all microprocessor's resources and second part contains the list of all instructions.
|
|
|
Real-Time Optimizations in Industrial Production
Křen, Michal ; Kočí, Radek (referee) ; Hrubý, Martin (advisor)
The thesis deals with the scheduling problem of manufacturing operations in industrial production. This problem is described as the well-known the Resource-Constrained Project Scheduling Problem. The objective of this problem is to find an optimal assignment of operations to limited resources. Optimizer created for the thesis uses a genetic algorithm to solve the scheduling problem. For the purpose of a dynamic scheduling, a failures model was designed and a system with real-time optimizer, that is able to repair the original schedule fluently, was created. In the real-time optimizer, several solution methods were implemented and these solution methods underwent a number of experiments. The system thus created is also able to simulate manufacturing operations and draw a Gantt chart.
|
guest ::
