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
2003
-
LTL Hierarchies and Model Checking
Proceedings of the Eight ESSLLI Student Session, rok: 2003
-
Microscopic description of information transfer from a qudit to reservoir
FORTSCHRITTE DER PHYSIK-PROGRESS OF PHYSICS, rok: 2003, ročník: 51, vydání: 4-5
-
Model checking LTL with regular valuations for pushdown systems
Information and Computation, rok: 2003, ročník: 186, vydání: 2
-
Modelling Multi-Agents Systems as Concurrent Constraint Processes
Computing and Informatics, rok: 2003, ročník: 21, vydání: 6
-
On Extensions of Process Rewrite Systems: Rewrite Systems with Weak Finite-State Unit
Prelim.Proc.of the 5th Internat.Workshop on Verification of Infinite-State Systems (INFINITY'2003), rok: 2003
-
Optimal manipulations with quantum information: Universal quantum machines
NATO advanced study institute on quantum communication and information technologies, rok: 2003
-
Packet header matching in Combo6 IPv6 router
Rok: 2003, druh: Prezentace v oblasti VaV (AV tvorba, WEB aplikace apod.)
-
Parallel Algorithms for Detection of Negative Cycles
Rok: 2003, počet stran: 14 s.
-
Parallel Algorithms for Detection of Negative Cycles
Proceedings of the 10th ParCo Conference, rok: 2003
-
Parallel Breadth-First Search LTL Model-Checking
18th IEEE International Conference on Automated Software Engineering (ASE'03), rok: 2003