| Attributes | Values |
|---|
| rdf:type
| |
| Description
| - In both digital circuit design area and diagnosis area a feasible trade-off among various constraints is to be investigated for the purposes of a successful solving of partial problems. The quality of the trade-off has a real impact on competition abilities of a result product. Usually, simple trade-offs can be resolved by a human, while the complex ones by an automated process. In this project, selected optimization problems from the area of digital circuit diagnosis will be dealt and solved; they will be formally described and utilized to speed-up the optimization process by injecting a very deep knowledge about the problem to the process (e.g., the speed-up can be done by a proper reduction of the problem search space). Further goals of theproject are: algorithmization of the proposed methods, their implementation and verification on a set of digital systems, presentation and publication of gained results on conferences and workshops from digital circuit design and diagnosis area. (en)
- 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ů. (cs)
|
| Title
| - Optimizing Methods in Digital Systems Diagnosis (en)
- Optimalizační postupy v diagnostice číslicových systémů (cs)
|
| http://linked.open...vai/cislo-smlouvy
| |
| http://linked.open...avai/druh-souteze
| |
| http://linked.open...domain/vavai/faze
| |
| http://linked.open...vavai/hlavni-obor
| |
| http://linked.open...vai/vedlejsi-obor
| |
| http://linked.open...vavai/id-aktivity
| |
| http://linked.open.../vavai/id-souteze
| |
| http://linked.open...n/vavai/kategorie
| |
| http://linked.open...vai/klicova-slova
| - optimizing methods; trade-off; diagnosis; design constraints; digital system (en)
|
| http://linked.open...avai/konec-reseni
| |
| http://linked.open...nujicich-prijemcu
| |
| http://linked.open...avai/poskytovatel
| |
| http://linked.open...avai/start-reseni
| |
| http://linked.open...ai/statni-podpora
| |
| http://linked.open...vavai/typProjektu
| |
| http://linked.open...ai/uznane-naklady
| |
| http://linked.open...ai/pocet-prijemcu
| |
| http://linked.open...cet-spoluprijemcu
| |
| http://linked.open...ai/pocet-vysledku
| |
| http://linked.open...ku-zverejnovanych
| |
| is http://linked.open...ain/vavai/projekt
of | |
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)