Modern methods for solving inverse problems - ITIV

35
1 Modern methods for solving inverse problems J J ü ü rgen Hesser rgen Hesser Experimental Radiation Oncology Experimental Radiation Oncology University Medical Center Mannheim University Medical Center Mannheim University of Heidelberg University of Heidelberg

Transcript of Modern methods for solving inverse problems - ITIV

Page 1: Modern methods for solving inverse problems - ITIV

1

Modern methods for solving inverse problems

JJüürgen Hesserrgen HesserExperimental Radiation OncologyExperimental Radiation Oncology

University Medical Center MannheimUniversity Medical Center MannheimUniversity of HeidelbergUniversity of Heidelberg

Page 2: Modern methods for solving inverse problems - ITIV

Motivation

Image Guided Radiation Therapy (IGRT) allows to reduce the safety margins of treatment

less complications, better tumor controlnew: on-board cone-beam CT

BTVBTVBTVBTVBTVBTVBTV

BTV: Biological Target VolumeGTV: Gross Target VolumeCTV: Clinical Target VolumeITV: Internal Target VolumePTV: Planning Target VolumeTV: Treated VolumeIV: Irradiated Volume

Page 3: Modern methods for solving inverse problems - ITIV

Motivation

Acquisition requires 2 minutes scan timeLung cancer patients are treated in breath-hold:

requires acqisition times < 20s

Page 4: Modern methods for solving inverse problems - ITIV

kV+MV-Reconstruction

http://www.elekta.com/healthcare_international_beaumont_work_results_breakthrough.php

Solution: use both irradiation sources + faster rotation and < 180° angle

15 s acquisition timeAcquire kV+MV imagesConvert MV to kVReconstruct

Page 5: Modern methods for solving inverse problems - ITIV

Recent Results (Filtered Backprojection)

Page 6: Modern methods for solving inverse problems - ITIV

Question: How can such reconstruction be realized

optimally?

Page 7: Modern methods for solving inverse problems - ITIV

7

Table of ContentsTable of Contents

Examples of Inverse Problems/Definition of IllExamples of Inverse Problems/Definition of Ill--Posed Posed Inverse ProblemsInverse ProblemsXX--Ray ConeRay Cone--Beam TomographyBeam Tomography

Filtered BackprojectionFiltered BackprojectionIterative ReconstructionIterative ReconstructionStochastic ReconstructionStochastic ReconstructionRegularlized Stochastic ReconstructionRegularlized Stochastic Reconstruction

GPUGPU--AccelerationAccelerationOutlookOutlook

Page 8: Modern methods for solving inverse problems - ITIV

8

Examples of Inverse ProblemsExamples of Inverse Problems

DeblurringDeblurring

TomographyTomography

Page 9: Modern methods for solving inverse problems - ITIV

Examples of Inverse Problems

Denoising

Image registration

Y. Yue, M.M. Croitoru, A. Bidani, J.B. Zwischenberger, and J.W. Clark Jr.,Nonlinear Multiscale Wavelet Diffusion for Speckle Suppression and Edge Enhancement in Ultrasound Images, IEEE Trans. Med. Imaging.2006 Mar;25(3):297-311

Page 10: Modern methods for solving inverse problems - ITIV

Examples of Inverse Problems

Image Segmentation

Parameter Estimation

Page 11: Modern methods for solving inverse problems - ITIV

...seems that most problems are inverse?

...but some of these are really difficult to solveill-posed inverse problems

Page 12: Modern methods for solving inverse problems - ITIV

12

Definition of IllDefinition of Ill--Posed Inverse ProblemsPosed Inverse Problems

Inverse problemInverse problemgiven: measurement g, functional W, free parameter/original datagiven: measurement g, functional W, free parameter/original data : f: f

W(f)=gW(f)=g

A problem is called illA problem is called ill--posed if posed if at least oneat least one of the of the following conditions is not fulfilledfollowing conditions is not fulfilled

1.1. ∃∃f: f: W(f)=g for each gW(f)=g for each g ∈ ∈Y Y 2.2. the solution f is uniquethe solution f is unique3.3. the solution f depends on the data like a continuous functionthe solution f depends on the data like a continuous function

Page 13: Modern methods for solving inverse problems - ITIV

13

Examples of IllExamples of Ill--posed Problemsposed Problems

computer tomographycomputer tomographyXX--ray projection from a set of directionsray projection from a set of directionscompute volumecompute volume

modelmodel--fittingfittingdenoisingdenoisingdeconvolutiondeconvolution

remove blurringremove blurringgridding and regriddinggridding and regridding

measure on discrete points, how to interpolate in betweenmeasure on discrete points, how to interpolate in betweenmatching/registrationmatching/registrationsegmentationsegmentationnumerical analysis: e.g. Fredholm equationnumerical analysis: e.g. Fredholm equation

bxaxddssfsxkb

a≤≤=∫ );()(),(

many problems in image analysis are

ill-posed inverse problems

Page 14: Modern methods for solving inverse problems - ITIV

...seems that most interesting inverse problems are ill-posed

what to do?...take the example of a cone-beam tomography

Page 15: Modern methods for solving inverse problems - ITIV

15

XX--Ray ConeRay Cone--Beam TomographyBeam Tomography

http://www.medical.toshiba.com/images/products/cv/cv_DP-i_lg.jpg

Page 16: Modern methods for solving inverse problems - ITIV

16

XX--Ray ConeRay Cone--Beam TomographyBeam TomographyLambertLambert--Beer absorption law Beer absorption law (homogenous tissue)(homogenous tissue)absorption law for inhomogeneous absorption law for inhomogeneous tissue along a ray tissue along a ray

0

( ') '

( ) (0)

x

f x dx

I x I e−∫

=

( )

0 0

1

:object , 0

1

, ; ,, 0

( )( ) ln ( ') ' ( ( ')) '(0)

( , ) ( , ) ( , ) ( , )

x x

j j

N

j i k j i ki k

N

i k j i k ji k

I xP x f x dx f ray x dxI

f x y w x y dxdy f x y w x y

f w Wf

Ω =

=

= − = =∫ ∫

= =∫

= =

∑r

( ) (0) f xI x I e− ⋅=

Page 17: Modern methods for solving inverse problems - ITIV

17

XX--Ray TomographyRay Tomography

( ) 1PI T T

2

n n n

P Wfsolve

f W P W W W P

resp.

M(f ) P Wf min

P ;W

×

=

= =

= − →

∈ℜ ∈ℜ

rr

r r r

r rr

r

Page 18: Modern methods for solving inverse problems - ITIV

18

Filtered BackprojectionFiltered Backprojection

real space

projection

Fourier in x Fourier in x,y

generated projections from generated projections from all directionsall directions

fills Fourier space denselyfills Fourier space denselyprojections given in cylinder projections given in cylinder coordinates (r,coordinates (r,θθ))

Page 19: Modern methods for solving inverse problems - ITIV

19

Filtered BackprojectionFiltered Backprojection

Accumulate all projections in Fourier SpaceAccumulate all projections in Fourier Spaceregrid in Eucledian Spaceregrid in Eucledian Spaceapply inverse FFTapply inverse FFT

AlternativeAlternativeFilter in Real SpaceFilter in Real SpaceBackprojectBackprojectAccumulate projectionsAccumulate projections

Page 20: Modern methods for solving inverse problems - ITIV

20

Example Filtered BackprojectionExample Filtered Backprojection

manymany fewfew very few very few projectionsprojections

360360 7272 3636

Image Size: 256 ×256

Page 21: Modern methods for solving inverse problems - ITIV

21

ProblemProblem

Many projections required to fill frequency spaceMany projections required to fill frequency spaceImprovement:Improvement:

Iterative ReconstructionIterative Reconstruction

http://www.elekta.com/healthcare_international_beaumont_work_results_breakthrough.php

Page 22: Modern methods for solving inverse problems - ITIV

22

Iterative ReconstructionIterative Reconstruction

Idea: Idea: numerically solve numerically solve

(e.g. gradient or conjugate gradient technique)(e.g. gradient or conjugate gradient technique)

Theory:Theory:...says that compared to Filtered Backprojection, only half of t...says that compared to Filtered Backprojection, only half of the number of he number of projections is really requiredprojections is really required

CostCostapprox. 10x Filtered Backprojectionapprox. 10x Filtered Backprojection

2M(f ) P Wf min= − →

r rr

Page 23: Modern methods for solving inverse problems - ITIV

23

Example: SIRTExample: SIRT

manymany fewfew very few very few projectionsprojections

360360 7272 363635 iterations35 iterations 100 iterations100 iterations 100 iterations100 iterations

Image Size: 256 ×256

Page 24: Modern methods for solving inverse problems - ITIV

24

Stochastic ReconstructionStochastic Reconstruction

Before: Before: stochastic noise not considered (Poisson noise)stochastic noise not considered (Poisson noise)

Stochastic ReconstructionStochastic Reconstruction

Page 25: Modern methods for solving inverse problems - ITIV

25

Stochastic ReconstructionStochastic Reconstruction

Idea: BayesIdea: Bayes--TheoremTheorem

Approach: maximize Approach: maximize

Problem: typically does not consider Problem: typically does not consider pp(Volume) (Volume)

( | ) ( )( | )( )

p P f p fp f Pp P

=

( | )p P f forward projectionp(): Poisson Distribution

likelihood

( | )p P f ( ), ( ) assumed constantp f p P

Page 26: Modern methods for solving inverse problems - ITIV

26

Stochastic ReconstructionStochastic ReconstructionPopular methodPopular method

Expectation MaximizationExpectation MaximizationE Step: calculate expectation, i.e. likelihood(f) given measureE Step: calculate expectation, i.e. likelihood(f) given measurements, ments, knowing previous volume;knowing previous volume;

M Step: maximize likelihoodM Step: maximize likelihood

Problem: compute intensiveProblem: compute intensiveOSEM: ordered subset expectation maximizationOSEM: ordered subset expectation maximization

processes a selection of projections at a time processes a selection of projections at a time –– accelerates accelerates processingprocessing

( ) ( )( ) ( ) | ,k koE f L v P f=

( )( ) 0kE f

f∂

=∂

Page 27: Modern methods for solving inverse problems - ITIV

27

Example: OSEMExample: OSEM

manymany fewfew very few very few projectionsprojections

360360 7272 363610 iterations10 iterations 15 iterations15 iterations 30 iterations30 iterations3 subsets3 subsets 3 subsets3 subsets 3 subsets3 subsets

Image Size: 256 ×256

Page 28: Modern methods for solving inverse problems - ITIV

28

Regularized Stochastic ReconstructionRegularized Stochastic Reconstruction

Approach: Maximum A PosterioriApproach: Maximum A Posteriori

A Priory knowledgeA Priory knowledgesmooth resultsmooth result

„„linear theorylinear theory““: Tikhonov Regularization: Tikhonov Regularization„„nonnon--linear theorylinear theory““: non: non--linear regularizers like total variationlinear regularizers like total variation

( ) ln ( | ) ln ( | ) ln ( ) ln ( )L f p f P p P f p f p P= = + −a posteriori likelihood a priori

2( )T f fλ= ∇( )TV f fλ= ∇

Page 29: Modern methods for solving inverse problems - ITIV

29

Example: OSEM with TVExample: OSEM with TV

manymany fewfew very few very few projectionsprojections

360360 7272 363615 iterations15 iterations 15 iterations15 iterations 30 iterations30 iterations

Image Size: 256 ×256

Page 30: Modern methods for solving inverse problems - ITIV

ComparisonFiltered Backprojection

Iterative Reconstruction

Stochastic Reconstruction

Regularized Stochastic

Reconstruction

360 72 36

Page 31: Modern methods for solving inverse problems - ITIV

31

GPUsGPUs

Use highly parallel systems for Use highly parallel systems for accelerationacceleration

GPUs = many simple CPUs GPUs = many simple CPUs concentrate only on compute concentrate only on compute elementselementsleave out all control (superscalar leave out all control (superscalar hardware, lookhardware, look--up tables for up tables for caching, flow control)caching, flow control)consequence: programmer is consequence: programmer is restrictedrestricted

many independent processes: many independent processes: single instruction multiple datasingle instruction multiple data

Page 32: Modern methods for solving inverse problems - ITIV

32

GPUGPU--AccelerationAcceleration

Tomography reconstruction is time consuming for typical Tomography reconstruction is time consuming for typical CT data setsCT data sets

distribute compute tasks to compute nodesdistribute compute tasks to compute nodesindependent computationindependent computationhighly parallelhighly parallel

Page 33: Modern methods for solving inverse problems - ITIV

33

Mapping Tomography on GPUsMapping Tomography on GPUs

Forward ProjectionForward ProjectionGraphics processing: sample along ray and accumulateGraphics processing: sample along ray and accumulate

BackprojectionBackprojectionGraphics processing: distribute ray intensity on voxelsGraphics processing: distribute ray intensity on voxels

RegularizationRegularizationFor each voxel compute regularization gradientFor each voxel compute regularization gradient

Update each voxel independentlyUpdate each voxel independently

Page 34: Modern methods for solving inverse problems - ITIV

34

GPUGPU--PerformancePerformance

Forward projection (360 projections):Forward projection (360 projections):Volume 256Volume 25633, projection 256x256 = 4s, projection 256x256 = 4sVolume 512Volume 51233, projection 512x512 = 28s, projection 512x512 = 28s

Backward projection (360 projections):Backward projection (360 projections):Volume 256Volume 25633, projection 256x256 = 3s;, projection 256x256 = 3s;Volume 512Volume 51233, projection 512x512 = 12s;, projection 512x512 = 12s;

Iterative (GPU+CPU) (36 projections, 100 iterations):Iterative (GPU+CPU) (36 projections, 100 iterations):nonnon--regularized = 6 min;regularized = 6 min;Regularized = 30 min;Regularized = 30 min;

Page 35: Modern methods for solving inverse problems - ITIV

35

OutlookOutlook

Solving inverse problems is a highly complex taskSolving inverse problems is a highly complex taskdirect solution methods like filtered backprojection have severedirect solution methods like filtered backprojection have severelimitationslimitationsiterative approaches improve considerably, especially when usingiterative approaches improve considerably, especially when usingstochastic approaches and regularizationstochastic approaches and regularization

GPU implementation can mitigate the high compute GPU implementation can mitigate the high compute intensivityintensivity