Simulação de algoritmos quânticos considerando a teoria quântica modal em Haskell

Detalhes bibliográficos
Ano de defesa: 2014
Autor(a) principal: Silva, Eduardo Ferreira da lattes
Orientador(a): Vizzotto, Juliana Kaizer lattes
Banca de defesa: Du Bois, André Rauber lattes, Piveta, Eduardo Kessler lattes
Tipo de documento: Dissertação
Tipo de acesso: Acesso aberto
Idioma: por
Instituição de defesa: Universidade Federal de Santa Maria
Centro de Tecnologia
Programa de Pós-Graduação: Programa de Pós-Graduação em Ciência da Computação
Departamento: Ciência da Computação
País: Brasil
Palavras-chave em Português:
Computação quântica
Algoritmos quânticos
Teoria modal quântica
Palavras-chave em Inglês:
Quantum computing
Quantum algorithm
Modal quantum theory
Área do conhecimento CNPq:
CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO
Link de acesso: http://repositorio.ufsm.br/handle/1/15432
Resumo: 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.
id UFSM-20_f421081e612275a4c9835bbd212d41f0
oai_identifier_str oai:repositorio.ufsm.br:1/15432
network_acronym_str UFSM-20
network_name_str Manancial - Repositório Digital da UFSM
repository_id_str
spelling 2019-01-23T09:34:57Z2019-01-23T09:34:57Z2014-08-29http://repositorio.ufsm.br/handle/1/15432The 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.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.Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPESporUniversidade Federal de Santa MariaCentro de TecnologiaPrograma de Pós-Graduação em Ciência da ComputaçãoUFSMBrasilCiência da ComputaçãoAttribution-NonCommercial-NoDerivatives 4.0 Internationalhttp://creativecommons.org/licenses/by-nc-nd/4.0/info:eu-repo/semantics/openAccessComputação quânticaAlgoritmos quânticosTeoria modal quânticaQuantum computingQuantum algorithmModal quantum theoryCNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAOSimulação de algoritmos quânticos considerando a teoria quântica modal em HaskellSimulation of quantum algorithms considering the quantum theory modal in Haskellinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisVizzotto, Juliana Kaizerhttp://lattes.cnpq.br/4384914116033913Du Bois, André Rauberhttp://lattes.cnpq.br/3277487290886063Piveta, Eduardo Kesslerhttp://lattes.cnpq.br/8687196768910831http://lattes.cnpq.br/7300981880560227Silva, Eduardo Ferreira da10030000000760005cfea7a-2f9a-458f-8d0a-d0ebfed222021b128e73-7c16-41cb-aa23-b0a7bb9d1e628c511362-f298-4426-8ef4-2a8d12741c25deff8c52-5f3b-4d6f-845c-f8292592f73creponame:Manancial - Repositório Digital da UFSMinstname:Universidade Federal de Santa Maria (UFSM)instacron:UFSMORIGINALDIS_PPGCC_2014_SILVA_EDUARDO.pdfDIS_PPGCC_2014_SILVA_EDUARDO.pdfDissertação de Mestradoapplication/pdf674075http://repositorio.ufsm.br/bitstream/1/15432/1/DIS_PPGCC_2014_SILVA_EDUARDO.pdfa921b4dbaba4fcc95a3f1d1a2b1f55aeMD51CC-LICENSElicense_rdflicense_rdfapplication/rdf+xml; charset=utf-8805http://repositorio.ufsm.br/bitstream/1/15432/2/license_rdf4460e5956bc1d1639be9ae6146a50347MD52LICENSElicense.txtlicense.txttext/plain; charset=utf-816http://repositorio.ufsm.br/bitstream/1/15432/3/license.txtf8fcb28efb1c8cf0dc096bec902bf4c4MD53TEXTDIS_PPGCC_2014_SILVA_EDUARDO.pdf.txtDIS_PPGCC_2014_SILVA_EDUARDO.pdf.txtExtracted texttext/plain139529http://repositorio.ufsm.br/bitstream/1/15432/4/DIS_PPGCC_2014_SILVA_EDUARDO.pdf.txt4986d6e02c86f5e0aa04d1ca670778f8MD54THUMBNAILDIS_PPGCC_2014_SILVA_EDUARDO.pdf.jpgDIS_PPGCC_2014_SILVA_EDUARDO.pdf.jpgIM Thumbnailimage/jpeg4749http://repositorio.ufsm.br/bitstream/1/15432/5/DIS_PPGCC_2014_SILVA_EDUARDO.pdf.jpgad8f93562d8f1cce87113ab5d9441b9eMD551/154322019-01-24 03:00:26.517oai:repositorio.ufsm.br:1/15432Q3JlYXRpdmUgQ29tbW9ucw==Repositório Institucionalhttp://repositorio.ufsm.br/PUBhttp://repositorio.ufsm.br/oai/requestopendoar:39132019-01-24T05:00:26Manancial - Repositório Digital da UFSM - Universidade Federal de Santa Maria (UFSM)false
dc.title.por.fl_str_mv Simulação de algoritmos quânticos considerando a teoria quântica modal em Haskell
dc.title.alternative.eng.fl_str_mv Simulation of quantum algorithms considering the quantum theory modal in Haskell
title Simulação de algoritmos quânticos considerando a teoria quântica modal em Haskell
spellingShingle Simulação de algoritmos quânticos considerando a teoria quântica modal em Haskell
Silva, Eduardo Ferreira da
Computação quântica
Algoritmos quânticos
Teoria modal quântica
Quantum computing
Quantum algorithm
Modal quantum theory
CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO
title_short Simulação de algoritmos quânticos considerando a teoria quântica modal em Haskell
title_full Simulação de algoritmos quânticos considerando a teoria quântica modal em Haskell
title_fullStr Simulação de algoritmos quânticos considerando a teoria quântica modal em Haskell
title_full_unstemmed Simulação de algoritmos quânticos considerando a teoria quântica modal em Haskell
title_sort Simulação de algoritmos quânticos considerando a teoria quântica modal em Haskell
author Silva, Eduardo Ferreira da
author_facet Silva, Eduardo Ferreira da
author_role author
dc.contributor.advisor1.fl_str_mv Vizzotto, Juliana Kaizer
dc.contributor.advisor1Lattes.fl_str_mv http://lattes.cnpq.br/4384914116033913
dc.contributor.referee1.fl_str_mv Du Bois, André Rauber
dc.contributor.referee1Lattes.fl_str_mv http://lattes.cnpq.br/3277487290886063
dc.contributor.referee2.fl_str_mv Piveta, Eduardo Kessler
dc.contributor.referee2Lattes.fl_str_mv http://lattes.cnpq.br/8687196768910831
dc.contributor.authorLattes.fl_str_mv http://lattes.cnpq.br/7300981880560227
dc.contributor.author.fl_str_mv Silva, Eduardo Ferreira da
contributor_str_mv Vizzotto, Juliana Kaizer
Du Bois, André Rauber
Piveta, Eduardo Kessler
dc.subject.por.fl_str_mv Computação quântica
Algoritmos quânticos
Teoria modal quântica
topic Computação quântica
Algoritmos quânticos
Teoria modal quântica
Quantum computing
Quantum algorithm
Modal quantum theory
CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO
dc.subject.eng.fl_str_mv Quantum computing
Quantum algorithm
Modal quantum theory
dc.subject.cnpq.fl_str_mv CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO
description 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.
publishDate 2014
dc.date.issued.fl_str_mv 2014-08-29
dc.date.accessioned.fl_str_mv 2019-01-23T09:34:57Z
dc.date.available.fl_str_mv 2019-01-23T09:34:57Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://repositorio.ufsm.br/handle/1/15432
url http://repositorio.ufsm.br/handle/1/15432
dc.language.iso.fl_str_mv por
language por
dc.relation.cnpq.fl_str_mv 100300000007
dc.relation.confidence.fl_str_mv 600
dc.relation.authority.fl_str_mv 05cfea7a-2f9a-458f-8d0a-d0ebfed22202
1b128e73-7c16-41cb-aa23-b0a7bb9d1e62
8c511362-f298-4426-8ef4-2a8d12741c25
deff8c52-5f3b-4d6f-845c-f8292592f73c
dc.rights.driver.fl_str_mv Attribution-NonCommercial-NoDerivatives 4.0 International
http://creativecommons.org/licenses/by-nc-nd/4.0/
info:eu-repo/semantics/openAccess
rights_invalid_str_mv Attribution-NonCommercial-NoDerivatives 4.0 International
http://creativecommons.org/licenses/by-nc-nd/4.0/
eu_rights_str_mv openAccess
dc.publisher.none.fl_str_mv Universidade Federal de Santa Maria
Centro de Tecnologia
dc.publisher.program.fl_str_mv Programa de Pós-Graduação em Ciência da Computação
dc.publisher.initials.fl_str_mv UFSM
dc.publisher.country.fl_str_mv Brasil
dc.publisher.department.fl_str_mv Ciência da Computação
publisher.none.fl_str_mv Universidade Federal de Santa Maria
Centro de Tecnologia
dc.source.none.fl_str_mv reponame:Manancial - Repositório Digital da UFSM
instname:Universidade Federal de Santa Maria (UFSM)
instacron:UFSM
instname_str Universidade Federal de Santa Maria (UFSM)
instacron_str UFSM
institution UFSM
reponame_str Manancial - Repositório Digital da UFSM
collection Manancial - Repositório Digital da UFSM
bitstream.url.fl_str_mv http://repositorio.ufsm.br/bitstream/1/15432/1/DIS_PPGCC_2014_SILVA_EDUARDO.pdf
http://repositorio.ufsm.br/bitstream/1/15432/2/license_rdf
http://repositorio.ufsm.br/bitstream/1/15432/3/license.txt
http://repositorio.ufsm.br/bitstream/1/15432/4/DIS_PPGCC_2014_SILVA_EDUARDO.pdf.txt
http://repositorio.ufsm.br/bitstream/1/15432/5/DIS_PPGCC_2014_SILVA_EDUARDO.pdf.jpg
bitstream.checksum.fl_str_mv a921b4dbaba4fcc95a3f1d1a2b1f55ae
4460e5956bc1d1639be9ae6146a50347
f8fcb28efb1c8cf0dc096bec902bf4c4
4986d6e02c86f5e0aa04d1ca670778f8
ad8f93562d8f1cce87113ab5d9441b9e
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
MD5
MD5
MD5
repository.name.fl_str_mv Manancial - Repositório Digital da UFSM - Universidade Federal de Santa Maria (UFSM)
repository.mail.fl_str_mv
_version_ 1801224113221533696

Registros relacionados