BDBComp
Parceria:
SBC
Paralelização de Solvers Intervalares para a Resolução de Sistemas Lineares

Andriele Busatto do CarmoLeila Diane WentzCarlos A Holbig

Esta pesquisa tem por meta paralelizar os solvers verificados LSS (LinearSystem Solver) e BAND. O solver LSS foi implementado em C-XSC [KLA 93],resolvendo sistemas lineares quadrados, sobre-determinados (ou seja, com maisequações do que incógnitas) e sub-determinados (com mais incógnitas do que equações)para valores reais, números complexos, intervalos e intervalos complexos. O cálculo daaproximação da inversa para as matrizes quadradas e da pseudo-inversa para as matrizessobre e sub-determinadas, é igualmente abordado pelo LSS.Já o solver BAND foi implementado com o objetivo de solucionar sistemaslineares com matrizes esparsas do tipo banda. Todos esses algoritmos foramimplementados com técnicas que possibilitam a Computação Verificada.

http://www.lbd.dcc.ufmg.br/colecoes/erad-rs/2006/0052.pdf

Caso o link acima esteja inválido, faça uma busca pelo texto completo na Web: Buscar na Web

Biblioteca Digital Brasileira de Computação - Contato: bdbcomp@lbd.dcc.ufmg.br
     Mantida por:
LBD