Projeto

FUNDAMENTOS SEMÂNTICOS DA COMPUTAÇÃO QUÂNTICA

Linha de Pesquisa: FUNDAMENTOS DA COMPUTAÇÃO
Início: 2005
Coordenador: Renata Hax Sander Reiser.

Descrição:
A pesquisa em Programação Quântica busca desenvolver algoritmos que utilizem as vantagens associadas às propriedades quânticas, como o paralelismo quântico e o emaranhamento. Tais propriedades estão diretamente relacionadas com a distribuição espaço-temporal da memória e dos processos do modelo computacional. Nesta perspectiva, o Projeto FSPQ propõe a extensão quântica do modelo de Máquina Geométrica (MGQ), fundamentada nos Espaços Coerentes, incluindo a especificação da linguagem induzida por sua estrutura ordenada. O modelo apresenta uma arquitetura com memória compartilhada, possivelmente homogênea, com estrutura matricial e ênfase na modelagem do paralelismo síncrono e no conflito de acesso à memória. Este domínio semântico para representação dos processos quânticos está comprometido com os fundamentos da Mecânica Quântica, capaz de expressar a linguagem dos algoritmos e das estruturas de dados quânticos de uma forma mais familiar aos programadores. Busca-se a aplicação deste domínio na análise e compreensão da Informação Quântica, manipulando dados quânticos por uma estrutura de controle clássica e modelando operações quânticas como transformações unitárias e arbitrárias, rotações e portas controladas, incluindo também, as construções recursivas e a operação de medida. Quanto ao desenvolvimento de novas tecnologias tem-se a implementação da Máquina Virtual correspondente ao modelo MGQ, integrada ao Ambiente de Programação Visual do modelo Máquina Geométrica. Propõe-se: (1) Definição do Modelo Computacional e Linguagem para Programação Quântica, e (2) Implementação da Máquina Virtual Quântica compatívelcom o modelo proposto, incluindo a extensão do Ambiente de Programação Visual para a Máquina Geométrica Quântica.

Financiamento: FAPERGS, CNPq, UCPel
Período: Março/2005 - Dezembro/2006
Bolsistas: 3 BIC/UCPel, 1 PIBIC/CNPq, 1 BIC/FAPERGS
Participantes:
- RENATA HAX SANDER REISER
- ANTÔNIO CARLOS DA ROCHA COSTA