Filtry
*Výzkum a vývoj technologie a výroby odlitků pro nářadí. (FI-IM/152)
*Výzkum a vývoj technologie a výroby odlitků pro nářadí. Technologická příprava odlitku a modelu; optimalizace postupů jejich přípravy a výroby; zajištění kvality odlitků na požadované úrovni; podstatné zkrácení cyklu příprava výroby.......
JP - Průmyslové procesy a zpracování
- 2004 - 2005 •
- 8 393 tis. Kč •
- 2 460 tis. Kč •
- MPO
Řešení projektu: 1. 1. 2004 - 1. 1. 2005
Uznané náklady
Podpora ze státního rozpočtu (29%)
Poskytovatel: Ministerstvo průmyslu a obchodu
Přednáška 23rd BICTA Conference, 8. - 10. June, Cambridge Tvárná litina - perspektivní materiál pro přesné lití (PG97033)
small and medium size thin - walled casting currently produced of alloy steels where casting made by the Cronning method are rather common. However, many appropriate applications could be expec The NCI casting wit...
JG - Hutnictví, kovové materiály
- 1997 - 1997 •
- 37 tis. Kč •
- 17 tis. Kč •
- MŠMT
Řešení projektu: 1. 1. 1997 - 1. 1. 1997
Uznané náklady
Podpora ze státního rozpočtu (46%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
Pokročilé techniky automatické verifikace nekonečně stavových systémů (MEB020840)
Cílem projektu je přispět k výzkumu metod model checkingu nekonečně stavových systémů tak, aby byly v co největší míře odstraněny jejich současná omezení jak v oblasti efektivity, tak v oblasti obecnosti.......
IN - Informatika
- 2008 - 2009 •
- 92 tis. Kč •
- 92 tis. Kč •
- MŠMT
Řešení projektu: 1. 1. 2008 - 31. 12. 2009
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
Model checking paralelního software s využitím automatické dedukce object ownership vzorů (GPP202/12/P180)
Verifikace vícevláknového softwaru model checkingem je těžký problém, zejména kvůli explozi stavového prostoru. Správnost takového softwaru závisí na dodržení jistých synchronizačních pravidel navržených vývojáři, ale nezachycených v samotné...
IN - Informatika
- 2012 - 2013 •
- 672 tis. Kč •
- 672 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2012 - 31. 12. 2013
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
VÝZKUM A VÝVOJ TECHNOLOGIE VÝROBY ROZMĚRNÝCH, TENKOSTĚNNÝCH A VYSOCE JAKOSTNÍCH ODLITKŮ Z Al SLITIN (TA01010766)
Projekt má za cíl vyvinout a aplikovat technologii výroby odlitků hliníkových slitin pro extrémně náročné zákazníky převážně z leteckého a kosmického průmyslu. Řešení musí být komplexní a musí tedy vyřešit všechny současné bariéry, které brání ve výr...
JG - Hutnictví, kovové materiály
- 2011 - 2013 •
- 18 094 tis. Kč •
- 10 493 tis. Kč •
- TA ČR
Řešení projektu: 1. 1. 2011 - 31. 12. 2013
Uznané náklady
Podpora ze státního rozpočtu (58%)
Poskytovatel: Technologická agentura ČR
Práce se složitými datovými strukturami a paralelismem v prostředí Rich Model Toolkit (OC10009)
Cílem projektu je přispět výzkumem realizovaným v koordinaci s COST akcí IC0901 k výraznému zlepšení obecnosti a efektivnosti metod automatické verifikace počítačových systémů se složitými datovými strukturami a pokročilými rysy paralelismu.......
JC - Počítačový hardware a software
- 2010 - 2012 •
- 1 500 tis. Kč •
- 1 230 tis. Kč •
- MŠMT
Řešení projektu: 1. 5. 2010 - 31. 12. 2012
Uznané náklady
Podpora ze státního rozpočtu (82%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
Využití metodiky Model checking pro testování systémů I&C v jaderné energetice (TK01020068)
nástroje na principu Model checking pro ověřování návrhu algoritmů I&C a vygenerování...
Nuclear related engineering; (nuclear physics to be 1.3);
- 2018 - 2021 •
- 31 409 tis. Kč •
- 18 274 tis. Kč •
- TA ČR
Řešení projektu: 1. 7. 2018 - 31. 12. 2021
Uznané náklady
Podpora ze státního rozpočtu (58%)
Poskytovatel: Technologická agentura ČR
Výzkum a vývoj technologie odstředivého lití intermetalických sloučenin na bázi Ni. (TA01011128)
Cílem projektu je ověřená technologie odstředivého lití intermetalických sloučenin na bázi Ni v provozních podmínkách slévárny VÚHŽ a.s....
JG - Hutnictví, kovové materiály
- 2011 - 2014 •
- 10 715 tis. Kč •
- 6 079 tis. Kč •
- TA ČR
Řešení projektu: 1. 1. 2011 - 30. 5. 2014
Uznané náklady
Podpora ze státního rozpočtu (57%)
Poskytovatel: Technologická agentura ČR
Abstraktní interpretace a verifikace parametrizovaných booleovských regulačních sítí (8J18FR045)
biologie (Sybila FI MU, model checking a paralelní algoritmy)....
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2018 - 2019 •
- 108 tis. Kč •
- 98 tis. Kč •
- MŠMT
Řešení projektu: 1. 1. 2018 - 31. 12. 2019
Uznané náklady
Podpora ze státního rozpočtu (91%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
Rozvoj technik pro automatické verifikace programů s dynamickými datovými strukturami (GP201/09/P531)
Cílem projektu je rozvoj metod pro automatickou verifikaci programů s nekonečně stavovými prostory se zaměřením na programy s dynamickými datovými strukturami.......
JC - Počítačový hardware a software
- 2009 - 2011 •
- 708 tis. Kč •
- 708 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2009 - 31. 12. 2011
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
- 1 - 10 z 7 715