Problemas inversos : metodos iterativos, regularização e validação cruzada generalizada

Orientador: Alvaro Rodolfo de Pierro === Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Científica === Made available in DSpace on 2018-07-19T21:39:36Z (GMT). No. of bitstreams: 1 Santos_ReginaldodeJesus_D.pdf: 2167771 bytes, checksum: f0eb369...

Full description

Bibliographic Details
Main Author: Santos, Reginaldo de Jesus
Other Authors: UNIVERSIDADE ESTADUAL DE CAMPINAS
Format: Others
Language:Portuguese
Published: [s.n.] 1995
Subjects:
Online Access:SANTOS, Reginaldo de Jesus. Problemas inversos: metodos iterativos, regularização e validação cruzada generalizada. 1995. 76p. Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Científica, Campinas, SP. Disponível em: <http://www.repositorio.unicamp.br/handle/REPOSIP/307570>. Acesso em: 19 jul. 2018.
http://repositorio.unicamp.br/jspui/handle/REPOSIP/307570
id ndltd-IBICT-oai-repositorio.unicamp.br-REPOSIP-307570
record_format oai_dc
spelling ndltd-IBICT-oai-repositorio.unicamp.br-REPOSIP-3075702019-01-21T20:21:58Z Problemas inversos : metodos iterativos, regularização e validação cruzada generalizada Santos, Reginaldo de Jesus UNIVERSIDADE ESTADUAL DE CAMPINAS De Pierro, Alvaro Rodolfo, 1950- Problemas inversos (Equações diferenciais) Métodos iterativos (Matemática) Orientador: Alvaro Rodolfo de Pierro Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Científica Made available in DSpace on 2018-07-19T21:39:36Z (GMT). No. of bitstreams: 1 Santos_ReginaldodeJesus_D.pdf: 2167771 bytes, checksum: f0eb369f820cdb52e5b52637905253c4 (MD5) Previous issue date: 1995 Resumo: Estudamos aqui métodos numéricos para resolver problemas inversos. Provamos resultados sobre a consistência de métodos iterativos lineares estacionários convergentes para solução de quadrados mínimos de um sistema linear. Demonstramos a equivalência entre truncar um método iterativo linear estacionário e regularização de Tikhonov. Nossos resultados estendem, para o caso de posto incompleto, os de H. Fleming. Estendemos, para problemas não lineares, o método de escolha do parâmetro de regularização chamado Validação Cruzada Generalizada (GCV), introduzido por G. Whaba. Provamos resultados sobre o comportamento assintótico do parâmetro determinado por GCV para problemas não lineares que estendem os de G. Golub, M. Heath e G. Whaba. D. Girard introduziu uma variação do método GCV, que usa um método Monte-Cado para o cálculo do traço de uma matriz simétrica ou simetrizável. Demonstramos resultados sobre o comportamento assintótico da estimativa do traço, para matrizes quaisquer, que generalizam resultados de D. Girard. Aplicamos os resultados anteriores em Tomografia Computadorizada como critério de parada de métodos iterativos. Abstract: In this thesis we study numerical methods for solving inverse problems. We prove results on consistency of iterative linear stationary methods which converge to the least squares solution of a linear system of algebraic equations. We prove that solutions by direct regularization of linear systems are equivalent to truncated iterations of certain type of iterative methods. Our proofs extend previous results of H. Fleming to the rank-deficient case, giving a unified approach that includes the underdetermined and overdetermined problems. We extend Generalized Cross-Validation (GCV) to the case in which the problem and the influence operator are nonlinear. From this extension we deduce stopping rules for general linear stationary methods and for the conjugate gradients (CG) method. We use a Monte-Carlo approach to compute the GCV functional. We prove results on the asymptotic optimality of our extension of GCV and on the Girard's Monte-Carlo method to estimate the trace of general matrices. Finally, we apply our results to the Positron Emission Tomography problem using the stationary method ART and CG. Doutorado Doutor em Matemática Aplicada 1995 2018-07-19T21:39:36Z 2018-07-19T21:39:36Z 1995-01-12T00:00:00Z info:eu-repo/semantics/publishedVersion info:eu-repo/semantics/doctoralThesis SANTOS, Reginaldo de Jesus. Problemas inversos: metodos iterativos, regularização e validação cruzada generalizada. 1995. 76p. Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Científica, Campinas, SP. Disponível em: <http://www.repositorio.unicamp.br/handle/REPOSIP/307570>. Acesso em: 19 jul. 2018. http://repositorio.unicamp.br/jspui/handle/REPOSIP/307570 por info:eu-repo/semantics/openAccess 76p. : il. application/pdf [s.n.] Universidade Estadual de Campinas. Instituto de Matemática, Estatística e Computação Científica Programa de Pós-Graduação em Matemática Aplicada reponame:Repositório Institucional da Unicamp instname:Universidade Estadual de Campinas instacron:UNICAMP
collection NDLTD
language Portuguese
format Others
sources NDLTD
topic Problemas inversos (Equações diferenciais)
Métodos iterativos (Matemática)
spellingShingle Problemas inversos (Equações diferenciais)
Métodos iterativos (Matemática)
Santos, Reginaldo de Jesus
Problemas inversos : metodos iterativos, regularização e validação cruzada generalizada
description Orientador: Alvaro Rodolfo de Pierro === Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Científica === Made available in DSpace on 2018-07-19T21:39:36Z (GMT). No. of bitstreams: 1 Santos_ReginaldodeJesus_D.pdf: 2167771 bytes, checksum: f0eb369f820cdb52e5b52637905253c4 (MD5) Previous issue date: 1995 === Resumo: Estudamos aqui métodos numéricos para resolver problemas inversos. Provamos resultados sobre a consistência de métodos iterativos lineares estacionários convergentes para solução de quadrados mínimos de um sistema linear. Demonstramos a equivalência entre truncar um método iterativo linear estacionário e regularização de Tikhonov. Nossos resultados estendem, para o caso de posto incompleto, os de H. Fleming. Estendemos, para problemas não lineares, o método de escolha do parâmetro de regularização chamado Validação Cruzada Generalizada (GCV), introduzido por G. Whaba. Provamos resultados sobre o comportamento assintótico do parâmetro determinado por GCV para problemas não lineares que estendem os de G. Golub, M. Heath e G. Whaba. D. Girard introduziu uma variação do método GCV, que usa um método Monte-Cado para o cálculo do traço de uma matriz simétrica ou simetrizável. Demonstramos resultados sobre o comportamento assintótico da estimativa do traço, para matrizes quaisquer, que generalizam resultados de D. Girard. Aplicamos os resultados anteriores em Tomografia Computadorizada como critério de parada de métodos iterativos. === Abstract: In this thesis we study numerical methods for solving inverse problems. We prove results on consistency of iterative linear stationary methods which converge to the least squares solution of a linear system of algebraic equations. We prove that solutions by direct regularization of linear systems are equivalent to truncated iterations of certain type of iterative methods. Our proofs extend previous results of H. Fleming to the rank-deficient case, giving a unified approach that includes the underdetermined and overdetermined problems. We extend Generalized Cross-Validation (GCV) to the case in which the problem and the influence operator are nonlinear. From this extension we deduce stopping rules for general linear stationary methods and for the conjugate gradients (CG) method. We use a Monte-Carlo approach to compute the GCV functional. We prove results on the asymptotic optimality of our extension of GCV and on the Girard's Monte-Carlo method to estimate the trace of general matrices. Finally, we apply our results to the Positron Emission Tomography problem using the stationary method ART and CG. === Doutorado === Doutor em Matemática Aplicada
author2 UNIVERSIDADE ESTADUAL DE CAMPINAS
author_facet UNIVERSIDADE ESTADUAL DE CAMPINAS
Santos, Reginaldo de Jesus
author Santos, Reginaldo de Jesus
author_sort Santos, Reginaldo de Jesus
title Problemas inversos : metodos iterativos, regularização e validação cruzada generalizada
title_short Problemas inversos : metodos iterativos, regularização e validação cruzada generalizada
title_full Problemas inversos : metodos iterativos, regularização e validação cruzada generalizada
title_fullStr Problemas inversos : metodos iterativos, regularização e validação cruzada generalizada
title_full_unstemmed Problemas inversos : metodos iterativos, regularização e validação cruzada generalizada
title_sort problemas inversos : metodos iterativos, regularização e validação cruzada generalizada
publisher [s.n.]
publishDate 1995
url SANTOS, Reginaldo de Jesus. Problemas inversos: metodos iterativos, regularização e validação cruzada generalizada. 1995. 76p. Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Científica, Campinas, SP. Disponível em: <http://www.repositorio.unicamp.br/handle/REPOSIP/307570>. Acesso em: 19 jul. 2018.
http://repositorio.unicamp.br/jspui/handle/REPOSIP/307570
work_keys_str_mv AT santosreginaldodejesus problemasinversosmetodositerativosregularizacaoevalidacaocruzadageneralizada
_version_ 1718872127890784256