Detail projektu
Integrovaný přístup k výchově studentů DSP v oblasti paralelních a distribuovaných systémů
Období řešení: 1.1.2005 — 31.12.2008
Zdroje financování
Grantová agentura České republiky - Doktorské granty
O projektu
Cílem projektu je vytvoření kvalitativně nového typu výchovy doktorandů, který odpovídá současným mezinárodním trendům. Projekt je zaměřen na paralelní a distribuované systémy, na jejich modelování, simulaci, verifikaci, související teoretické otázky i aplikace. Počítá se zapojením 18 nejperspektivnějších doktorandů ze všech zúčastněných pracovišť (přibližně 7 z FIT VUT, 9 z FI MU a 2 z PřF MU). Při vytváření nové kvality bude využito jak bohatých vědeckých, aplikačních a výchovných zkušeností týmu školitelů, tak již vybudované struktury laboratoří, existujících systémů seminářů a bohatých mezinárodních kontaktů. Těžištěm nového přístupu je důraz na kooperativní a mezinárodní charakter výchovy doktorandů, společné vedení doktorandů učiteli z různých pracovišť a s do jisté míry různým primárním zaměřením, týmovou práci v laboratořích a zapojení studentů do mezinárodních doktorandských aktivit (účast na mezinárodních konferencích a letních školách, pořádání pravidelného mezinárodního workshopu pro studenty doktorského studijního programu, speciální kurzy doktorského studijního programu vyučované zahraničními odborníky, atd.). Nosná témata projektu se odvíjejí od výzkumných priorit zúčastněných institucí, které jsou v mnoha ohledech příbuzné. Kombinuje se tak základní a aplikovaný výzkum, který je na těchto institucích realizován v souladu s jejich zaměřením. Důležitou výhodou je v tomto směru skutečnost, že se zapojené instituce nacházejí nedaleko od sebe a je tedy možné realizovat společné přednášky, semináře apod. prakticky bez časových ztrát a dalších finančních nákladů spojených s cestováním a ubytováním. Pro výchovu studentů doktorského studijního programu již byly na těchto institucích vytvořeny dobré podmínky (včetně technického a přístrojového vybavení). Cílem projektu je posunout tuto kvalitu o další stupeň výše a dostat se tak na úroveň špičkových mezinárodních vědecko-výchovných center (typu BRICS v Dánsku, nebo CWI v Holandsku).
Popis anglicky
english
Klíčová slova
souběžnost; kvantové výpočty; verifikace; modelování; diskrétní matematika
Klíčová slova anglicky
concurrency; quantum computing; verification; modelling; discrete mathematics
Označení
GD102/05/H050
Originální jazyk
čeština
Řešitelé
Češka Milan, prof. RNDr., CSc. - hlavní řešitel
Gruska Jozef, prof. RNDr., DrSc. - hlavní řešitel
Hanáček Petr, doc. Dr. Ing. - spoluřešitel
Kotásek Zdeněk, doc. Ing., CSc. - spoluřešitel
Rábová Zdeňka, doc. Ing., CSc. - spoluřešitel
Růžička Richard, doc. Ing., Ph.D., MBA - spoluřešitel
Švéda Miroslav, prof. Ing., CSc. - spoluřešitel
Vojnar Tomáš, prof. Ing., Ph.D. - spoluřešitel
Útvary
Ústav inteligentních systémů
- odpovědné pracoviště (4.5.2004 - nezadáno)
Ústav počítačových systémů
- odpovědné pracoviště (1.1.1989 - nezadáno)
Výzkumná skupina automatizované analýzy a verifikace - VeriFIT
- interní (4.5.2004 - 31.12.2008)
Ústav informačních systémů
- spolupříjemce (4.5.2004 - 31.12.2008)
Ústav inteligentních systémů
- spolupříjemce (4.5.2004 - 31.12.2008)
Ústav počítačových systémů
- spolupříjemce (4.5.2004 - 31.12.2008)
Výsledky
HERRMAN, T. Metodika aplikace testu obvodu založená na identifikaci testovatelných bloků. Brno: 2011. s. 0-0.
Detail
MAZAL, Z. Modelování uvažujících agentů Petriho sítěmi. Brno: Fakulta informačních technologií VUT v Brně, 2008. s. 0-0.
Detail
MASOPUST, T. Regulated Formal Models and Their Reduction. Brno: 2007. p. 0-0.
Detail
TECHET, J. k-Limited Erasing Performed by Scattered Context Grammars. Proceedings of the 13th Conference STUDENT EEICT 2007, Volume 4. Brno: Faculty of Electrical Engineering and Communication BUT, 2007. p. 419-423. ISBN: 978-80214-3410-3.
Detail
ŠKARVADA, J.; KOTÁSEK, Z.; STRNADEL, J. Optimalizace aplikace testu číslicových systémů pro nízký příkon. Brno: Fakulta informačních technologií VUT v Brně, 2010. 142 s. ISBN: 978-80-214-4209-2.
Detail
PEČENKA, T.; KOTÁSEK, Z.: Cirgen; RTL benchmark circuit generator. Software je společně se sadou vytvořených testovacích obvodů ke stažení z URL: http://www.fit.vutbr.cz/~pecenka/cirgen/. URL: https://www.fit.vut.cz/research/product/55/. (software)
Detail
ROGALEWICZ, A.; VOJNAR, T.: ARTMC-v1; ARTMC - Abstract Regular Tree Model Checking. http://www.fit.vutbr.cz/research/groups/verifit/tools/artmc/. URL: http://www.fit.vutbr.cz/research/groups/verifit/tools/artmc/. (software)
Detail
TECHET, J. Scattered Context in Formal Languages. Brno: Faculty of Information Technology BUT, 2008. p. 0-0.
Detail
VOJNAR, T.; ANTOŠ, D.; ČEŠKA, M.; KOTÁSEK, Z.; KŘETÍNSKÝ, M.; MATYSKA, L. Proceedings of 4th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno: Faculty of Informatics MU, 2008. p. 0-0. ISBN: 978-80-7355-082-0.
Detail
HOLÍK, L.; VOJNAR, T.; ABDULLA, P.; BOUAJJANI, A.; KAATI, L. Computing Simulations over Tree Automata: Efficient Techniques for Reducing Tree Automata. FIT-TR-2008-001, Brno: 2008. p. 0-0.
Detail
HOLÍK, L.; VOJNAR, T.; ABDULLA, P.; KAATI, L. A Uniform (Bi-)Simulation-Based Framework for Reducing Tree Automata. FIT-TR-2008-005, Brno: 2008. p. 0-0.
Detail
PEČENKA, T. Prostředky a metody pro automatické generování testovacích obvodů. Brno: Fakulta informačních technologií VUT v Brně, 2008. 141 s. ISBN: 978-80-214-3603-9.
Detail
ROGALEWICZ, A. Verification of Programs with Complex Data Structures. Brno: 2007. 122 p. ISBN: 978-80-214-3548-3.
Detail
MASOPUST, T. Formal Models: Regulation and Reduction. Brno: Faculty of Information Technology BUT, 2007. 103 p. ISBN: 978-80-214-3550-6.
Detail
MEDUNA, A.; TECHET, J. Scattered Context Grammars that Erase Nonterminals in a Generalized k-Limited Way. Acta Informatica, 2008, vol. 45, no. 7, p. 593-608. ISSN: 0001-5903.
Detail
ŠKARVADA, J.; KOTÁSEK, Z.; HERRMAN, T. Testability Analysis Based on the Identification of Testable Blocks with Predefined Properties. Microprocessors and Microsystems, 2008, vol. 32, no. 5, p. 296-302. ISSN: 0141-9331.
Detail
BIDLO, M.; ŠKARVADA, J. Instruction-based development: From evolution to generic structures of digital circuits. International Journal of Knowledge-Based and Intelligent Engineering Systems, 2008, vol. 12, no. 3, p. 221-236. ISSN: 1327-2314.
Detail
MEDUNA, A.; TECHET, J. An Infinite Hierarchy of Language Families Generated by Scattered Context Grammars with n-Limited Derivations. Theoretical Computer Science, 2009, vol. 410, no. 21, p. 1961-1969. ISSN: 0304-3975.
Detail
PEČENKA, T.; SEKANINA, L.; KOTÁSEK, Z. Evolution of Synthetic RTL Benchmark Circuits with Predefined Testability. ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS, 2008, vol. 13, no. 3, p. 1-21. ISSN: 1084-4309.
Detail
MASOPUST, T.; TECHET, J. Leftmost Derivations of Propagating Scattered Context Grammars: A New Proof. DISCRETE MATHEMATICS AND THEORETICAL COMPUTER SCIENCE, 2008, vol. 10, no. 2, p. 39-46. ISSN: 1365-8050.
Detail
Odpovědnost: Češka Milan, prof. RNDr., CSc.