455-0921/01 – Systémy heuristické optimalizace ()
Garantující katedra | Katedra měřicí a řídicí techniky | Kredity | 0 |
Garant předmětu | prof. Ing. Karel Vlček, CSc. | Garant verze předmětu | prof. Ing. Karel Vlček, CSc. |
Úroveň studia | postgraduální | Povinnost | povinně volitelný |
Ročník | | Semestr | zimní + letní |
| | Jazyk výuky | čeština |
Rok zavedení | 1960/1961 | Rok zrušení | 2005/2006 |
Určeno pro fakulty | FEI | Určeno pro typy studia | doktorské |
Cíle předmětu vyjádřené dosaženými dovednostmi a kompetencemi
Řízení změn generického popisu tvoří jádro heuristických postupů. Cílem kursu je zobecnění těchto postupů a následná konkretizace do podoby řiditelného programového systému.
Řešení úloh heuristické optimalizace využívá prostředků generického popisu a jeho parametrizace jako prostředku pro optimalizaci. Zvládnutí těchto technik je praktickým přínosem absolvování předmětu.
Vyučovací metody
Anotace
Systémy heuristické optimalizace představují důležitý mezistupeň mezi popisem
chování a popisem systému na funkční úrovni. Funkční popis, který vzniká
dekompozicí heuristického (algoritmického) popisu, je možné optimalizovat s
ohledem na tuto dekompozici. Přitom je využíváno prostředků generického popisu
a jeho parametrizace jako prostředku pro optimalizaci. Řízení změn generického
popisu tvoří jádro heuristických postupů. Cílem kursu je zobecnění těchto
postupů a následná konkretizace do podoby řiditelného programového systému.
Povinná literatura:
Němec, J., Souček, J.: Modulární tvorba modelů v simulačním systému ISIS. VÚMS Praha (1984).
Servít, M.: A New Two-Phase Router. 8th International Symposium CAD/CAM. Zagreb (1986).
Doporučená literatura:
Zendulka, J., Schwarz, J.: Automatizace projektování číslicových systémů. VUT Brno (1992).
Další studijní materiály
Forma způsobu ověření studijních výsledků a další požadavky na studenta
Průběžná kontrola studia:
Zpracování samostatného projektu
E-learning
Další požadavky na studenta
Prerekvizity
Předmět nemá žádné prerekvizity.
Korekvizity
Předmět nemá žádné korekvizity.
Osnova předmětu
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.
Podmínky absolvování předmětu
Výskyt ve studijních plánech
Výskyt ve speciálních blocích
Hodnocení Výuky
Předmět neobsahuje žádné hodnocení.