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
2000
-
Quantum models and modes of computation and communication
Proceedings of RIMS Workshop on combinatorics, algorithms and semigroups, rok: 2000
-
Quantum puzzles, mysteries and paradoxes
Proceedings of the worksho "New challenges in computing?, rok: 2000
-
Quantum synthesis of arbitrary unitary operators
Phys. Rev. A, rok: 2000, ročník: 61, vydání: 2
-
Quantumization of informatics II
Proceedings of international workshop on quantum computing and learning, rok: 2000
-
Quantumization of theoretical informatics
Proceedings of IFIP TC20001, rok: 2000
-
Simulation and Bisimulation over One-Counter Processes
Proceedings of 17th Annual Symposium on Theoretical Aspects of Computer Science (STACS 2000), rok: 2000
-
Some Remarks on Weak Bisimilarity of BPA-Processes
Rok: 2000, počet stran: 26 s.
-
Stimulated emission via quantum interference: scattering of one-photon packets on an atom in a ground state
J. Mod. Opt., rok: 2000, ročník: 47, vydání: 5
-
Universal NOT gate
J. Mod. Opt., rok: 2000, ročník: 47, vydání: 2-3
1999
-
A Fully Abstract Semantics for a Version of Synchronous Concurrent Constraint Programming
FI MU Report Series, rok: 1999, ročník: 1999, vydání: 08