455-0921/01 – Systems of Heuristic Optimisation ()
Gurantor department | Department of Measurement and Control | Credits | 0 |
Subject guarantor | prof. Ing. Karel Vlček, CSc. | Subject version guarantor | prof. Ing. Karel Vlček, CSc. |
Study level | postgraduate | Requirement | Choice-compulsory |
Year | | Semester | winter + summer |
| | Study language | Czech |
Year of introduction | 1960/1961 | Year of cancellation | 2005/2006 |
Intended for the faculties | FEI | Intended for study types | Doctoral |
Subject aims expressed by acquired skills and competences
Teaching methods
Summary
Control of changes of generic description is done as a kernel of heuristic methods. The aim of the course is generalisation these methods and following specification into the controllable programmable system. The systems of heuristic optimisation represent an important step between the behavioural description and functional description of the system. The function description, which is generated by decomposition of heuristic (algorithmic) description, is possible optimised with respect to this decomposition.
Compulsory literature:
Recommended literature:
Way of continuous check of knowledge in the course of semester
Průběžná kontrola studia:
Zpracování samostatného projektu
E-learning
Other requirements
Prerequisities
Subject has no prerequisities.
Co-requisities
Subject has no co-requisities.
Subject syllabus:
Přednášky:
Specifikace číslicových systémů jazykem, prostředky teorie grafů a pomocí Petriho sítí.
Využití teorie konečných automatů. Metody formální verifikace.
Použití simulace pro verifikaci časování. Formulace problému syntézy podle výchozího algoritmu.
Heuristické metody minimalizace. Vyjádření pomocí
regulárních struktur. Řešení úlohy rozkladu. Metoda větví a mezí.
Heuristické metody konstruktivní a iterativní. Procedurální heuristické popisy a jejich optimalizace.
Hierarchie struktur. Konverze typů. Generický popis a jeho
parametrizace.
Využití knihovních parametrizovaných prvků při heuristické
optimalizaci popisu.
Projekty:
Projekt zpracovaný ke zkoušce je střední složitosti a vede absolventa ke zvládnutí problematiky na profesionálních návrhových systémech.
Conditions for subject completion
Occurrence in study plans
Occurrence in special blocks
Assessment of instruction
Předmět neobsahuje žádné hodnocení.