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...
Main Author: | |
---|---|
Other Authors: | |
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 |