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
1999
-
A Logical Viewpoint on Process-Algebraic Quotients
Computer Science Logic; Proceedings of 8th Annual Conference of the EACSL (CSL´99), rok: 1999
-
Approximating Weak Bisimulation on Basic Process Algebras
Mathematical Foundations of Computer Science 1999, Proceedings, rok: 1999
-
Approximating Weak Bisimulation on Basic Process Algebras
Rok: 1999, počet stran: 18 s.
-
Comparing Expressibility of Normed BPA and Normed BPP Processes.
Acta informatica, rok: 1999, ročník: 36, vydání: 3
-
Complexity Issues of the Pattern Equations in Idempotent Semigroups
Technical Report, Faculty of Informatics, Masaryk University, rok: 1999, ročník: 1999, vydání: 02
-
Numerical simulations of fundamental processes in cavity QED: Atomic decay
Physical Review A, rok: 1999, ročník: 60, vydání: 1
-
On Finite Representations of Infinite-State Behaviours.
Information Processing Letters, rok: 1999, ročník: 70, vydání: 1
-
On the Pattern Equations
Technical Report, Faculty of Informatics, Masaryk University, rok: 1999, ročník: 1999, vydání: 01
-
Optimal encoding of phase information into trapped ions
Acta physica slovaca, rok: 1999, ročník: 49, vydání: 2
-
Optimal manipulations wih qubits: Universal NOT gate
Physical Review A, rok: 1999, ročník: 60, vydání: 4