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
2001
-
Distributed LTL Model-Checking Based on Negative Cycle Detection
FST-TCS 2001, rok: 2001
-
Distributed LTL Model-Checking in SPIN
M.B. Dwyer (Ed.): Model Checking Software, 8th International SPIN Workshop, rok: 2001
-
Dynamics of open quantum systems initially entangled with environment: Beyond the Kraus representation
Physical Review A, rok: 2001, ročník: 64, vydání: 6
-
Entanglement swapping between multi-qudit systems
Journal of Physics A, rok: 2001, ročník: 34, vydání: 20
-
How to Employ Reverse Search in Distributed Single-Source Shortest Paths
SOFSEM 2001, rok: 2001
-
Characterizing Non-Zenoness on Real-Time Processes
Rok: 2001, počet stran: 10 s.
-
Model-Checking LTL with Regular Valuations for Pushdown Systems
Proceedings of 4th International Symposium on Theoretical Aspects of Computer Software (TACS 2001), rok: 2001
-
Multi-Agents Systems as Concurrent Constraint Processes
SOFSEM 2001 28th Conf.on Current Trends in Theory and Practice of Informatics, rok: 2001
-
Multiparticle entanglement with quantum logic networks: Application to cold trapped ions
Physical Review A, rok: 2001, ročník: 64, vydání: 1
-
On the local unitary equivalence of states of multi-partite systems
FORTSCHRITTE DER PHYSIK-PROGRESS OF PHYSICS, rok: 2001, ročník: 49, vydání: 10,11