Informace o projektu
Nesekvenční modely výpočtů -- kvantové a souběžné distribuované modely výpočetních procesů
- Kód projektu
- MSM 143300001
- Období řešení
- 1/1999 - 12/2004
- Investor / Programový rámec / typ projektu
-
Ministerstvo školství, mládeže a tělovýchovy ČR
- Výzkumné záměry
- Fakulta / Pracoviště MU
- Fakulta informatiky
- Klíčová slova
- concurrency;process algebras; infinite state systems; real-time; modal and temporal logics;concurrent constraint systems;specification;verification;quantum algorithms and protocols;entanglement;quantum finite and cellular automata;design methodologies
Cíl: Význam nesekvenčních modelů výpočetních procesů vzrůstá jak z hlediska teoretického, tak praktického. Cílem tohoto návrhu pro dlouhodobý výzkumný záměr je jak pokračování v již existujícím úspěšném výzkumu v oblasti souběžných (concurrent) distribuovaných systémů, tak i rozšíření výzkumu na problematiku kvantových modelů a výpočtů. Obsah: Analýza modelů souběžných procesů a jejich vzájemných vztahů s důrazem na algoritmické a složitostní aspekty. Analýza modelů a návrh specifikačních a transformačních nástrojů pro souběžné systémy pracující v reálném čase s důrazem na tzv. safety-critical systémy. Logiky, zejména temporální a modální, pro specifikaci a analýzu souběžných systémů. Návrh a analýza kvantových algoritmů a vývoj metod pro návrh kvantových algoritmů a protokolů, jakož i kvantových konečných automatů a celulárních automatů.
Výsledky
Cílem tohoto návrhu pro dlouhodobý výzkumný záměr je jak pokračování v již existujícím úspěšném výzkumu v oblasti souběžných (concurrent) distribuovaných systémů, tak i rozšíření výzkumu na problematiku kvantových modelů a výpočtů.
Publikace
Počet publikací: 264
2004
-
Verification Process of Hardware Design in Liberouter Project
Rok: 2004, druh: Prezentace v oblasti VaV (AV tvorba, WEB aplikace apod.)
-
Verification Results in Liberouter Project
Rok: 2004, druh: Prezentace v oblasti VaV (AV tvorba, WEB aplikace apod.)
-
Visual Coordination Diagrams
Proceedings of the Doctoral Symposium of 7th International Conference on the Unified Modeling Language, rok: 2004
-
Visual Specification of Systems with Heterogeneous Coordination Models
Proceeding of 3rd International Workshop on Foundations of Coordination Languages and Software Architectures, rok: 2004
2003
-
A Logical Viewpoint on Process-algebraic Quotients
Journal of logic and computation, rok: 2003, ročník: 13, vydání: 6
-
Comment on "no-signaling condition and quantum dynamics".
Physical Review Letters, rok: 2003, ročník: 90, vydání: 20
-
Complexity of Weak Bisimilarity and Regularity for BPA and BPP
Mathematical Structures in Computer Science, rok: 2003, ročník: 12, vydání: 1
-
Coordination by means of Synchronous and Asynchronous Communication in Concurrent constraint Programming
Electronic Notes in Theoretical Computer Science, rok: 2003, ročník: 68, vydání: 3
-
Correlation-assisted quantum communication
Physical Review A, rok: 2003, ročník: 67, vydání: 04
-
Deciding Bisimilarity between BPA and BPP Processes
Proceedings of 14th International Conference on Concurrency Theory (CONCUR 2003), rok: 2003