Informace o projektu
Nesekvenční modely výpočtů -- kvantové a souběžné distribuované modely výpočetních procesů

Informace

Projekt nespadá pod Ekonomicko-správní fakultu, ale pod Fakultu informatiky. Oficiální stránka projektu je na webu muni.cz.

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

prof. RNDr. Jozef Gruska, DrSc.

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

Note on the Tableau Technique for Commutative Transition Systems

SRBA Jiří

Článek ve sborníku

Proceedings of 5th Foundations of Software Science and Computation Structures (FOSSACS'02), rok: 2002
On the Complexity of Semantic Equivalences for Pushdown Automata and BPA

KUČERA Antonín MAYR Richard

Článek ve sborníku

Proceedings of 27th International Symposium on Mathematical Foundations of Computer Science (MFCS 2002), rok: 2002
PDMC 2002 - Parallel and Distributed Model Checking. Proceedings.

BRIM Luboš GRUMBERG Orna

Odborná kniha

Rok: 2002, počet stran: 165 s.
Probabilistic implementation of universal quantum processors

HILLERY Mark BŮŽEK Vladimír ZIMAN Mario

Článek v odborném periodiku

Physical Review A, rok: 2002, ročník: 65, vydání: 2
Property Driven Distribution of Nested DFS

BARNAT Jiří BRIM Luboš ČERNÁ Ivana

Článek ve sborníku

M. Leuschel and U. Ultes-Nitsche (Eds.): Proceedings of the 3rd International Workshop on Verification and Computational Logic, rok: 2002
Purification and correlated measurements of bipartite mixed states

BOUDA Jan BŮŽEK Vladimír

Článek v odborném periodiku

Physical Review A, rok: 2002, ročník: 65, vydání: 03
Quantum homogenization for continuous variables: Realization with linear optical elements

NAGAJ Daniel STELMACHOVIC Peter BŮŽEK Vladimír KIM Myungshik

Článek v odborném periodiku

Physical Review A, rok: 2002, ročník: 66, vydání: 06
Quantum multimeters: A programmable state discriminator

DUSEK Miloslav BŮŽEK Vladimír

Článek v odborném periodiku

Physical Review A, rok: 2002, ročník: 66, vydání: 02
Reconstruction of motional states of neutral atoms via MaxEnt principle

DROBNY Gabriel BŮŽEK Vladimír

Článek v odborném periodiku

Physical Review A, rok: 2002, ročník: 65, vydání: 05
Roadmap of Infinite Results

SRBA Jiří

Článek v odborném periodiku

Bulletin of the European Association for Theoretical Computer Science, rok: 2002, ročník: 2002, vydání: 78