dc.creator | Silva, Eduardo Ferreira da | |
dc.date.accessioned | 2019-01-23T09:34:57Z | |
dc.date.available | 2019-01-23T09:34:57Z | |
dc.date.issued | 2014-08-29 | |
dc.identifier.uri | http://repositorio.ufsm.br/handle/1/15432 | |
dc.description.abstract | The development of quantum algorithms faces some difficulties such as the lack of a
general-purpose quantum computer, a language or a specific formalism, or high consumption
of computational resources when it is simulation of quantum algorithms on classical computers.
This paper presents the development of the MQS (Modal Quantum Simulatio), a library
of quantum computing written in Haskell able to develop implementation of algorithms considering
the Quantum Theory Modal. This theory is attractive as the replacement of complex
probability amplitudes for finite fields. A simplified theory is compared with the conventional
quantum computing, but retains much of the structure of the traditional quantum computing. | eng |
dc.description.sponsorship | Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES | por |
dc.language | por | por |
dc.publisher | Universidade Federal de Santa Maria | por |
dc.rights | Attribution-NonCommercial-NoDerivatives 4.0 International | * |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0/ | * |
dc.subject | Computação quântica | por |
dc.subject | Algoritmos quânticos | por |
dc.subject | Teoria modal quântica | por |
dc.subject | Quantum computing | eng |
dc.subject | Quantum algorithm | eng |
dc.subject | Modal quantum theory | eng |
dc.title | Simulação de algoritmos quânticos considerando a teoria quântica modal em Haskell | por |
dc.title.alternative | Simulation of quantum algorithms considering the quantum theory modal in Haskell | eng |
dc.type | Dissertação | por |
dc.description.resumo | O desenvolvimento de algoritmos quânticos esbarra em algumas dificuldades, tais como
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.
Essa 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. | por |
dc.contributor.advisor1 | Vizzotto, Juliana Kaizer | |
dc.contributor.advisor1Lattes | http://lattes.cnpq.br/4384914116033913 | por |
dc.contributor.referee1 | Du Bois, André Rauber | |
dc.contributor.referee1Lattes | http://lattes.cnpq.br/3277487290886063 | por |
dc.contributor.referee2 | Piveta, Eduardo Kessler | |
dc.contributor.referee2Lattes | http://lattes.cnpq.br/8687196768910831 | por |
dc.creator.Lattes | http://lattes.cnpq.br/7300981880560227 | por |
dc.publisher.country | Brasil | por |
dc.publisher.department | Ciência da Computação | por |
dc.publisher.initials | UFSM | por |
dc.publisher.program | Programa de Pós-Graduação em Ciência da Computação | por |
dc.subject.cnpq | CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO | por |
dc.publisher.unidade | Centro de Tecnologia | por |