Dissertação 29/08 – Simulação de Algoritmos Quânticos Considerando a Teoria Quântica Modal em Haskell

Título: Simulação de Algoritmos Quânticos Considerando a Teoria Quântica Modal em Haskell Aluno: EDUARDO FERREIRA DA SILVA Orientador: JULIANA KAIZER VIZZOTTO Data: 29/08/2014 Horário: 10:00h Local: Sala 321-B Banca: Drª. JULIANA KAIZER VIZZOTTO - Presidente/Co-orientador (UFSM) Dr. ANDRE RAUBER DU BOIS - UFPEL Dr. EDUARDO KESSLER PIVETA – UFSM Dr. GIOVANI RUBERT LIBRELOTTO – UFSM (Suplente) Resumo: O desenvolvimento de algoritmos quânticos esbarra em algumas dificuldades, a falta de um computador quântico de propósito geral, uma linguagem ou formalismo específico, ou o alto consumo de recursos computacionais quando trata-se de simulação de algoritmos quânticos em computadores clássicos. Este trabalho, apresenta o desenvolvimento da biblioteca MQS (Modal Quantum Simulation) um modelo de computação quântica escrita em Haskell capaz de desenvolver a implementação de algoritmos considerando a Teoria Quântica Modal. Esta teoria tem como atrativo a substituição de amplitudes de probabilidade complexas por campos finitos. Ou seja, uma teoria simplificada se comparada com a computação quântica convencional, mas que mantém muito da estrutura da computação quântica tradicional. .