Detail projektu

Optimalizační postupy v diagnostice číslicových systémů

Období řešení: 1. 1. 2005 – 31. 12. 2007

Typ projektu: grant

Kód: GP102/05/P193

Agentura: Grantová agentura České republiky

Program: Postdoktorandské granty

Název anglicky
Optimizing Methods in Digital Systems Diagnosis
Typ
grant
Klíčová slova

optimalizační postupy; kompromis; diagnostika; návrhová omezení; číslicový
systém

Abstrakt

Obdobně jako v oblasti návrhu, tak i v oblasti diagnostiky číslicových systémů je
pro úspěšné řešení dílčích problémů třeba hledat vhodný kompromis mezi řadou
parametrů. Kvalita nalezeného kompromisu pak podstatným způsobem určuje
konkurenceschopnost výsledného produktu. Jednodušší kompromisy může učinit
člověk, složitější jsou výsledkem automatizovaného postupu. Tento projekt se bude
zaměřovat na vybrané problémy z oblasti diagnostiky číslicových systémů, na
jejich formální popis a snažit se o to, aby získané hluboké znalosti o těchto
problémech byly využity k tomu, aby do optimalizačního procesu pro hledání daného
kompromisu byla vnesena informace, která podstatně urychlí nalezení přijatelného
kompromisu - např. vhodným zúžením prohledávacího prostoru. Dalším z cílů
projektu bude algoritmizace navržených optimalizačních postupů, jejich ověření na
vhodných číslicových systémech a publikace výzkumných výsledků na konferencích
z oblasti návrhu a diagnostiky číslicových systémů.

Řešitelé
Strnadel Josef, Ing., Ph.D. (UPSY) – hlavní řešitel
Publikace

2008

2007

2006

2005

Nahoru