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í: 263
2003
-
PDMC 2003 - Parallel and Distributed Model Checking. Proceedings.
Rok: 2003, počet stran: 130 s.
-
Quantum Computing
Rok: 2003, počet stran: 439 s.
-
Quantum Computing - updatings
Rok: 2003, počet stran: 40 s.
-
Quantum dynamics of open systems from the point of view of information transfer
Proceedings of QCMC03, rok: 2003
-
Quantum Entanglement as a New Information Processing Resource
New Generation Computing, rok: 2003, ročník: 21, vydání: 4
-
Relating Hierarchy of Temporal Properties to Model Checking
Mathematical Foundations of Computer Science (MFCS 2003), rok: 2003
-
Saturation of Coffman-Cundu-Wotters inequality via quantum homogenization
Journal of Optics B, rok: 2003, ročník: -, vydání: 5
-
Simulation of exponential decay on simple quantum circuits: a case study
Journal of Optics B, rok: 2003, ročník: -, vydání: 5
-
Special Issue on Quantum Computing in the International Journal of Foundations of Computer Science
Rok: 2003, počet stran: 194 s.
-
Strong Bisimilarity of Simple Process Algebras: Complexity Lower Bounds
Acta Informatica, rok: 2003, ročník: 39, vydání: 1