Computa??o verificada aplicada ? resolu??o de sistemas lineares intervalares densos em arquiteturas multicore

• Ano de defesa: 2010
• Autor(a) principal: Milani, Cleber Roberto
• Orientador(a): Fernandes, Luiz Gustavo Le?o
• Tipo de documento: Dissertação
• Tipo de acesso: Acesso aberto
• Idioma: por
• Instituição de defesa: Pontif?cia Universidade Cat?lica do Rio Grande do Sul
• Programa de Pós-Graduação: Programa de P?s-Gradua??o em Ci?ncia da Computa??o
• Departamento: Faculdade de Inform?ca
• País: BR
• Palavras-chave em Português: INFORM?TICA; MATEM?TICA COMPUTACIONAL; SISTEMAS LINEARES; PROCESSAMENTO PARALELO; ARQUITETURA DE COMPUTADOR
• Área do conhecimento CNPq: CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO
• Link de acesso: http://tede2.pucrs.br/tede2/handle/tede/5110

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.