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

2001

On the Power of Labels in Transition Systems

SRBA Jiří

Článek ve sborníku

Proceedings of 12th International Conference on Concurrency Theory (CONCUR'01), rok: 2001
Programmable quantum gate arrays

HILLERY M. BŮŽEK Vladimír ZIMAN M.

Článek v odborném periodiku

FORTSCHRITTE DER PHYSIK-PROGRESS OF PHYSICS, rok: 2001, ročník: 49, vydání: 10,11
Properties of Distributed Timed-Arc Petri Nets

NIELSEN Mogens SASSONE Vladimiro SRBA Jiří

Článek ve sborníku

Proceedings of 21st International Conference on Foundations of SoftwareTechnology and Theoretical Computer Science (FSTTCS'01), rok: 2001
Quantum cloning

BŮŽEK Vladimír HILLERY Mark

Článek v odborném periodiku

PHYSICS WORLD, rok: 2001, ročník: 14, vydání: 11
Quantum information distributors: Quantum network for symmetric and asymmetric cloning in arbitrary dimension and continuous limit

BŮŽEK Vladimír BRAUNSTEIN S.L. HILLERY M.

Článek v odborném periodiku

Physical Review A, rok: 2001, ročník: 63, vydání: 5
Quantum observations

BŮŽEK Vladimír DERKA R.

Kapitola v knize

Coherence and Statistics of Photons and Atoms, rok: 2001, počet stran: 63 s.
Randomization Helps in LTL Model Checking

BRIM Luboš ČERNÁ Ivana NEČESAL Martin

Článek ve sborníku

Process Algebra and Probabilistic Methods. Proceedings of PAPM-PROBMIV 2001, rok: 2001
Rewrite Systems with Constraints

STREJČEK Jan

Článek ve sborníku

EXPRESS'01 the 8th International Workshop on Expressiveness in Concurrency, rok: 2001
Singlet states and the estimation of eigenstates and eigenvalues of an unknown Controlled-$U$ gate

HILLERY Mark BŮŽEK Vladimír

Článek v odborném periodiku

Physical Review A, rok: 2001, ročník: 64, vydání: 4
Towards a Notion of Distributed Time for Petri Nets

NIELSEN Mogens VLADIMIRO Sassone SRBA Jiří

Článek ve sborníku

Proceedings of 22nd International Conference on Application and Theory ofPetri Nets (ICATPN'01), rok: 2001