Full waveform inversion for ultrasound computed tomography in the deterministic and Bayesian settings
| dc.contributor.author | Ziegler, Scott, author | |
| dc.contributor.author | Mueller, Jennifer, advisor | |
| dc.contributor.author | Cheney, Margaret, committee member | |
| dc.contributor.author | Bangerth, Wolfgang, committee member | |
| dc.contributor.author | Rezende, Marlis, committee member | |
| dc.date.accessioned | 2022-05-30T10:22:57Z | |
| dc.date.available | 2022-05-30T10:22:57Z | |
| dc.date.issued | 2022 | |
| dc.description.abstract | Ultrasound computed tomography (USCT) is a noninvasive imaging technique in which acoustic waves are sent through a region and measured after transmission and reflection in order to provide information concerning that region. There are many reconstruction techniques for USCT which rely on linearization of the total pressure field, but this simplifying assumption often causes a loss of resolution and poor results in highly reflective media. Full waveform inversion (FWI) is a method popularized by the geophysical community which makes use of entire time-dependent pressure measurements and repeated solutions of the nonlinear wave equation. Due to this lack of linearization, FWI is able to produce high-fidelity sound speed reconstructions, albeit at a steep computational cost. In this dissertation, we explore the use of the FWI techniques in both the deterministic and Bayesian settings. For the deterministic case, an algorithm for FWI is derived which makes use of the adjoint method for the computation of functional derivatives and the software package k-Wave for the solution of the nonlinear wave equation. This algorithm is tested on numerical breast and lung phantoms for a variety of regularization functionals and parameters, where it displays an excellent ability to reconstruct the size and shape of inhomogeneities. For the lung phantom, a novel application of a structural similarity index regularization term is used with an Electrical Impedance Tomography prior to speed convergence and improve organ boundary delineation. In the Bayesian setting, a Metropolis-adjusted Langevin FWI algorithm is proposed and tested on a simplified breast phantom, with an emphasis on reducing computational expense. Preliminary results from this test show promise for future research on FWI in the Bayesian framework. | |
| dc.format.medium | born digital | |
| dc.format.medium | doctoral dissertations | |
| dc.identifier | Ziegler_colostate_0053A_17177.pdf | |
| dc.identifier.uri | https://hdl.handle.net/10217/235344 | |
| dc.language | English | |
| dc.language.iso | eng | |
| dc.publisher | Colorado State University. Libraries | |
| dc.relation.ispartof | 2020- | |
| dc.rights | Copyright and other restrictions may apply. User is responsible for compliance with all applicable laws. For information about copyright law, please see https://libguides.colostate.edu/copyright. | |
| dc.subject | full waveform inversion | |
| dc.subject | Markov chain Monte Carlo | |
| dc.subject | Bayesian | |
| dc.subject | ultrasound computed tomography | |
| dc.subject | inverse problems | |
| dc.title | Full waveform inversion for ultrasound computed tomography in the deterministic and Bayesian settings | |
| dc.type | Text | |
| dcterms.rights.dpla | This Item is protected by copyright and/or related rights (https://rightsstatements.org/vocab/InC/1.0/). You are free to use this Item in any way that is permitted by the copyright and related rights legislation that applies to your use. For other uses you need to obtain permission from the rights-holder(s). | |
| thesis.degree.discipline | Mathematics | |
| thesis.degree.grantor | Colorado State University | |
| thesis.degree.level | Doctoral | |
| thesis.degree.name | Doctor of Philosophy (Ph.D.) |
Files
Original bundle
1 - 1 of 1
Loading...
- Name:
- Ziegler_colostate_0053A_17177.pdf
- Size:
- 4.57 MB
- Format:
- Adobe Portable Document Format