Computação verificada aplicada à resolução de sistemas lineares intervalares densos em arquiteturas multicore
Autor(a) principal: | |
---|---|
Data de Publicação: | 2010 |
Tipo de documento: | Dissertação |
Idioma: | por |
Título da fonte: | Biblioteca Digital de Teses e Dissertações da PUC_RS |
Texto Completo: | http://tede2.pucrs.br/tede2/handle/tede/5110 |
Resumo: | A resolução de Sistemas de Equações Lineares é um problema de grande importância em Ciência da Computação. Entretanto, os métodos tradicionais não oferecem garantia de soluções corretas e nem mesmo da existência de uma solução. Por isso, cada vez mais tem-se aplicado a Computação Verificada em tais algoritmos. Por outro lado, a Computação Verificada aumenta o custo computacional e, em alguns casos, impossibilita a resolução dos sistemas em um tempo aceitável. Uma alternativa encontrada para minimizar o custo é a utilização de Computação Paralela. Diversos trabalhos têm focado em otimizar a Computação Verificada para execução em agregados de computadores. Entretanto, dado o grande avanço dos processadores com múltiplos núcleos de processamento (cores), é uma necessidade premente que sejam também propostas soluções baseadas em modelos de paralelismo para memória compartilhada buscando, assim, explorar eficientemente as novas arquiteturas. Nesse contexto, o presente trabalho apresenta uma ferramenta para resolução verificada de Sistemas Lineares Densos Intervalares de Grande Porte. Além de prover verificação automática dos resultados, a ferramenta é otimizada para execução em arquiteturas multicore. As estratégias adotadas permitiram desenvolver uma solução escalável que, ao resolver Sistemas Intervalares de ordem 15.000x15.000 em um computador com 8 cores, obteve redução de 85% no tempo de execução e speedup de 6,70 em comparação com a solução inicial. |
id |
P_RS_dd3a36b11d0263d6259da5847562e57d |
---|---|
oai_identifier_str |
oai:tede2.pucrs.br:tede/5110 |
network_acronym_str |
P_RS |
network_name_str |
Biblioteca Digital de Teses e Dissertações da PUC_RS |
repository_id_str |
|
spelling |
Fernandes, Luiz Gustavo LeãoCPF:57150010059http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4784653A5CPF:01056340002http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4198947A9Milani, Cleber Roberto2015-04-14T14:49:27Z2010-10-072010-03-25MILANI, Cleber Roberto. Computação verificada aplicada à resolução de sistemas lineares intervalares densos em arquiteturas multicore. 2010. 92 f. Dissertação (Mestrado em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul, Porto Alegre, 2010.http://tede2.pucrs.br/tede2/handle/tede/5110Made available in DSpace on 2015-04-14T14:49:27Z (GMT). No. of bitstreams: 1 426166.pdf: 1112842 bytes, checksum: 272980ccb156c75a298ac99c2e9c1b46 (MD5) Previous issue date: 2010-03-25A resolução de Sistemas de Equações Lineares é um problema de grande importância em Ciência da Computação. Entretanto, os métodos tradicionais não oferecem garantia de soluções corretas e nem mesmo da existência de uma solução. Por isso, cada vez mais tem-se aplicado a Computação Verificada em tais algoritmos. Por outro lado, a Computação Verificada aumenta o custo computacional e, em alguns casos, impossibilita a resolução dos sistemas em um tempo aceitável. Uma alternativa encontrada para minimizar o custo é a utilização de Computação Paralela. Diversos trabalhos têm focado em otimizar a Computação Verificada para execução em agregados de computadores. Entretanto, dado o grande avanço dos processadores com múltiplos núcleos de processamento (cores), é uma necessidade premente que sejam também propostas soluções baseadas em modelos de paralelismo para memória compartilhada buscando, assim, explorar eficientemente as novas arquiteturas. Nesse contexto, o presente trabalho apresenta uma ferramenta para resolução verificada de Sistemas Lineares Densos Intervalares de Grande Porte. Além de prover verificação automática dos resultados, a ferramenta é otimizada para execução em arquiteturas multicore. As estratégias adotadas permitiram desenvolver uma solução escalável que, ao resolver Sistemas Intervalares de ordem 15.000x15.000 em um computador com 8 cores, obteve redução de 85% no tempo de execução e speedup de 6,70 em comparação com a solução inicial.application/pdfhttp://tede2.pucrs.br:80/tede2/retrieve/15154/426166.pdf.jpgporPontifícia Universidade Católica do Rio Grande do SulPrograma de Pós-Graduação em Ciência da ComputaçãoPUCRSBRFaculdade de InformácaINFORMÁTICAMATEMÁTICA COMPUTACIONALSISTEMAS LINEARESPROCESSAMENTO PARALELOARQUITETURA DE COMPUTADORCNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAOComputação verificada aplicada à resolução de sistemas lineares intervalares densos em arquiteturas multicoreinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesis19749965330812744705006001946639708616176246info:eu-repo/semantics/openAccessreponame:Biblioteca Digital de Teses e Dissertações da PUC_RSinstname:Pontifícia Universidade Católica do Rio Grande do Sul (PUCRS)instacron:PUC_RSTHUMBNAIL426166.pdf.jpg426166.pdf.jpgimage/jpeg4163http://tede2.pucrs.br/tede2/bitstream/tede/5110/3/426166.pdf.jpgd088976c4e7beff7efd8eb9d11776033MD53TEXT426166.pdf.txt426166.pdf.txttext/plain178763http://tede2.pucrs.br/tede2/bitstream/tede/5110/2/426166.pdf.txtef0362e00d4dc9340a07be7bde48dba2MD52ORIGINAL426166.pdfapplication/pdf1112842http://tede2.pucrs.br/tede2/bitstream/tede/5110/1/426166.pdf272980ccb156c75a298ac99c2e9c1b46MD51tede/51102015-04-17 11:57:31.555oai:tede2.pucrs.br:tede/5110Biblioteca Digital de Teses e Dissertaçõeshttp://tede2.pucrs.br/tede2/PRIhttps://tede2.pucrs.br/oai/requestbiblioteca.central@pucrs.br||opendoar:2015-04-17T14:57:31Biblioteca Digital de Teses e Dissertações da PUC_RS - Pontifícia Universidade Católica do Rio Grande do Sul (PUCRS)false |
dc.title.por.fl_str_mv |
Computação verificada aplicada à resolução de sistemas lineares intervalares densos em arquiteturas multicore |
title |
Computação verificada aplicada à resolução de sistemas lineares intervalares densos em arquiteturas multicore |
spellingShingle |
Computação verificada aplicada à resolução de sistemas lineares intervalares densos em arquiteturas multicore Milani, Cleber Roberto INFORMÁTICA MATEMÁTICA COMPUTACIONAL SISTEMAS LINEARES PROCESSAMENTO PARALELO ARQUITETURA DE COMPUTADOR CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO |
title_short |
Computação verificada aplicada à resolução de sistemas lineares intervalares densos em arquiteturas multicore |
title_full |
Computação verificada aplicada à resolução de sistemas lineares intervalares densos em arquiteturas multicore |
title_fullStr |
Computação verificada aplicada à resolução de sistemas lineares intervalares densos em arquiteturas multicore |
title_full_unstemmed |
Computação verificada aplicada à resolução de sistemas lineares intervalares densos em arquiteturas multicore |
title_sort |
Computação verificada aplicada à resolução de sistemas lineares intervalares densos em arquiteturas multicore |
author |
Milani, Cleber Roberto |
author_facet |
Milani, Cleber Roberto |
author_role |
author |
dc.contributor.advisor1.fl_str_mv |
Fernandes, Luiz Gustavo Leão |
dc.contributor.advisor1ID.fl_str_mv |
CPF:57150010059 |
dc.contributor.advisor1Lattes.fl_str_mv |
http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4784653A5 |
dc.contributor.authorID.fl_str_mv |
CPF:01056340002 |
dc.contributor.authorLattes.fl_str_mv |
http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4198947A9 |
dc.contributor.author.fl_str_mv |
Milani, Cleber Roberto |
contributor_str_mv |
Fernandes, Luiz Gustavo Leão |
dc.subject.por.fl_str_mv |
INFORMÁTICA MATEMÁTICA COMPUTACIONAL SISTEMAS LINEARES PROCESSAMENTO PARALELO ARQUITETURA DE COMPUTADOR |
topic |
INFORMÁTICA MATEMÁTICA COMPUTACIONAL SISTEMAS LINEARES PROCESSAMENTO PARALELO ARQUITETURA DE COMPUTADOR CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO |
dc.subject.cnpq.fl_str_mv |
CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO |
description |
A resolução de Sistemas de Equações Lineares é um problema de grande importância em Ciência da Computação. Entretanto, os métodos tradicionais não oferecem garantia de soluções corretas e nem mesmo da existência de uma solução. Por isso, cada vez mais tem-se aplicado a Computação Verificada em tais algoritmos. Por outro lado, a Computação Verificada aumenta o custo computacional e, em alguns casos, impossibilita a resolução dos sistemas em um tempo aceitável. Uma alternativa encontrada para minimizar o custo é a utilização de Computação Paralela. Diversos trabalhos têm focado em otimizar a Computação Verificada para execução em agregados de computadores. Entretanto, dado o grande avanço dos processadores com múltiplos núcleos de processamento (cores), é uma necessidade premente que sejam também propostas soluções baseadas em modelos de paralelismo para memória compartilhada buscando, assim, explorar eficientemente as novas arquiteturas. Nesse contexto, o presente trabalho apresenta uma ferramenta para resolução verificada de Sistemas Lineares Densos Intervalares de Grande Porte. Além de prover verificação automática dos resultados, a ferramenta é otimizada para execução em arquiteturas multicore. As estratégias adotadas permitiram desenvolver uma solução escalável que, ao resolver Sistemas Intervalares de ordem 15.000x15.000 em um computador com 8 cores, obteve redução de 85% no tempo de execução e speedup de 6,70 em comparação com a solução inicial. |
publishDate |
2010 |
dc.date.available.fl_str_mv |
2010-10-07 |
dc.date.issued.fl_str_mv |
2010-03-25 |
dc.date.accessioned.fl_str_mv |
2015-04-14T14:49:27Z |
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.citation.fl_str_mv |
MILANI, Cleber Roberto. Computação verificada aplicada à resolução de sistemas lineares intervalares densos em arquiteturas multicore. 2010. 92 f. Dissertação (Mestrado em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul, Porto Alegre, 2010. |
dc.identifier.uri.fl_str_mv |
http://tede2.pucrs.br/tede2/handle/tede/5110 |
identifier_str_mv |
MILANI, Cleber Roberto. Computação verificada aplicada à resolução de sistemas lineares intervalares densos em arquiteturas multicore. 2010. 92 f. Dissertação (Mestrado em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul, Porto Alegre, 2010. |
url |
http://tede2.pucrs.br/tede2/handle/tede/5110 |
dc.language.iso.fl_str_mv |
por |
language |
por |
dc.relation.program.fl_str_mv |
1974996533081274470 |
dc.relation.confidence.fl_str_mv |
500 600 |
dc.relation.department.fl_str_mv |
1946639708616176246 |
dc.rights.driver.fl_str_mv |
info:eu-repo/semantics/openAccess |
eu_rights_str_mv |
openAccess |
dc.format.none.fl_str_mv |
application/pdf |
dc.publisher.none.fl_str_mv |
Pontifícia Universidade Católica do Rio Grande do Sul |
dc.publisher.program.fl_str_mv |
Programa de Pós-Graduação em Ciência da Computação |
dc.publisher.initials.fl_str_mv |
PUCRS |
dc.publisher.country.fl_str_mv |
BR |
dc.publisher.department.fl_str_mv |
Faculdade de Informáca |
publisher.none.fl_str_mv |
Pontifícia Universidade Católica do Rio Grande do Sul |
dc.source.none.fl_str_mv |
reponame:Biblioteca Digital de Teses e Dissertações da PUC_RS instname:Pontifícia Universidade Católica do Rio Grande do Sul (PUCRS) instacron:PUC_RS |
instname_str |
Pontifícia Universidade Católica do Rio Grande do Sul (PUCRS) |
instacron_str |
PUC_RS |
institution |
PUC_RS |
reponame_str |
Biblioteca Digital de Teses e Dissertações da PUC_RS |
collection |
Biblioteca Digital de Teses e Dissertações da PUC_RS |
bitstream.url.fl_str_mv |
http://tede2.pucrs.br/tede2/bitstream/tede/5110/3/426166.pdf.jpg http://tede2.pucrs.br/tede2/bitstream/tede/5110/2/426166.pdf.txt http://tede2.pucrs.br/tede2/bitstream/tede/5110/1/426166.pdf |
bitstream.checksum.fl_str_mv |
d088976c4e7beff7efd8eb9d11776033 ef0362e00d4dc9340a07be7bde48dba2 272980ccb156c75a298ac99c2e9c1b46 |
bitstream.checksumAlgorithm.fl_str_mv |
MD5 MD5 MD5 |
repository.name.fl_str_mv |
Biblioteca Digital de Teses e Dissertações da PUC_RS - Pontifícia Universidade Católica do Rio Grande do Sul (PUCRS) |
repository.mail.fl_str_mv |
biblioteca.central@pucrs.br|| |
_version_ |
1799765305456590848 |