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:

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 FIT VUT) , hlavní řešitel
Publikace

2008

2007

2006

2005

Nahoru