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í: 265
2002
-
$\xor$-OBDD in Symbolic Model Checking
SOFSEM 2002: Student Research Forum, rok: 2002
-
A tutorial review: Cold trapped ions as quantum information processors
Journal of Modern Optics, rok: 2002, ročník: 49, vydání: 10
-
Automatizovaná formální verifikace
XXI. conference EurOpen 2002. Znojmo, Czech republic, rok: 2002
-
Boundaries and Efficiency of Verification
Proceedings of summer school MOVEP~2002, rok: 2002
-
CONCUR 2002 - Concurrency Theory. 13th International Conference. Proceedings.
Rok: 2002, počet stran: 609 s.
-
Coordination by means of Synchronous and Asynchronous Communication in Concurrent constraint Programming
Foundations of Coordination Languages and Software Architecture (FOCLASA`02), rok: 2002
-
Diluting quantum information: An analysis of information transfer in system-reservoir interactions
Physical Review A, rok: 2002, ročník: 65, vydání: 04
-
Distributed Modular Model Checking
2002 IEEE International Conference on Automated Software Engineering Doctoral Symposium, rok: 2002
-
Distributed Modular Model Checking (abstract)
The Seventeenth IEEE International Conference on Automated Software Engineering, rok: 2002
-
EnEtanglement by a beamsplitter: Nonclassicality as a prerequisite for entanglement
Physical Review A, rok: 2002, ročník: 65, vydání: 03