A 3D Bayesian Computed Tomography Reconstruction Algorithm with Gauss-Markov-Potts Prior Model and its Application to Real Data

Iterative reconstruction methods in Computed Tomography (CT) are known to provide better image quality than analytical methods but they are not still applied in many fields because of their computational cost. In the last years, Graphical Processor Units (GPU) have emerged as powerful devices in order to parallelize calculations, but the efficiency of their use is conditionned on applying algorithms that can be massively parallelizable. Moreover, in non-destructive testing (NDT) applications, a segmentation of the reconstructed volume is often needed in order to have an accurate diagnosis on the material health, but performing a segmentation after the reconstruction introduces uncertainties in the diagnosis from both the reconstruction and the segmentation algorithms. In this paper, we propose an iterative reconstruction method for 3D CT that performs a joint reconstruction and segmentation of the controlled object in NDT for industrial applications. The method is based on a 3D Gauss-Markov-Potts prior model in Bayesian framework, which has shown its effective use in many image restoration and super-resolution problems. First, we briefly describe this model, before deriving the expression of the joint posterior distribution of all the unknowns. Next, an effective maximization of this distribution is presented. We use a ray-driven projector and a voxel-driven backprojector implemented on GPU. The algorithm is developed so it can be massively parallelized. * The authors are grateful to Lionel Gay and Nicolas Cochennec for having provided the real IQI phantom used to test the method. They would also like to thank Thomas Boulay for his contribution to the implementation of the projector and the backprojector on GPU. 2 C. Chapdelaine, A. Mohammad-Djafari, N. Gac, E. Parra / 3D Bayesian CT with Gauss-Markov-Potts prior model Finally, we present our results on simulated and real phantoms. In addition, we investigate further reconstruction quality indicators in order to compare our results with other methods.

[1]  E. Sidky,et al.  Convex optimization problem prototyping for image reconstruction in computed tomography with the Chambolle–Pock algorithm , 2011, Physics in medicine and biology.

[2]  A. Katsevich Analysis of an exact inversion algorithm for spiral cone-beam CT. , 2002, Physics in medicine and biology.

[3]  R. Siddon Fast calculation of the exact radiological path for a three-dimensional CT array. , 1985, Medical physics.

[4]  Alexander Katsevich,et al.  Theoretically Exact Filtered Backprojection-Type Inversion Algorithm for Spiral CT , 2002, SIAM J. Appl. Math..

[5]  Jean-François Giovannelli,et al.  Sampling High-Dimensional Gaussian Distributions for General Linear Inverse Problems , 2012, IEEE Signal Processing Letters.

[6]  J. MacQueen Some methods for classification and analysis of multivariate observations , 1967 .

[7]  F. Bleichrodt Improving robustness of tomographic reconstruction methods , 2015 .

[8]  G Demoment,et al.  Maximum entropy image reconstruction in X-ray and diffraction tomography. , 1988, IEEE transactions on medical imaging.

[9]  E. M.,et al.  Statistical Mechanics , 2021, Manual for Theoretical Chemistry.

[10]  Keinosuke Fukunaga,et al.  A Graph-Theoretic Approach to Nonparametric Cluster Analysis , 1976, IEEE Transactions on Computers.

[11]  Tom Goldstein,et al.  The Split Bregman Method for L1-Regularized Problems , 2009, SIAM J. Imaging Sci..

[12]  L. Onsager Crystal statistics. I. A two-dimensional model with an order-disorder transition , 1944 .

[13]  Ali Mohammad-Djafari,et al.  Microwave imaging of inhomogeneous objects made of a finite number of dielectric and conductive materials from experimental data , 2005 .

[15]  Adrian M. K. Thomas,et al.  Classic Papers in Modern Diagnostic Radiology , 2005 .

[16]  G. Herman,et al.  Algebraic reconstruction techniques (ART) for three-dimensional electron microscopy and x-ray photography. , 1970, Journal of theoretical biology.

[17]  Kennan T. Smith,et al.  Mathematical foundations of computed tomography. , 1985, Applied optics.

[18]  Shimon Even,et al.  Graph Algorithms: Flow in Networks , 2011 .

[19]  Hiroyuki Kudo,et al.  Exact and approximate algorithms for helical cone-beam CT. , 2004, Physics in medicine and biology.

[20]  D. Mumford,et al.  Optimal approximations by piecewise smooth functions and associated variational problems , 1989 .

[21]  Ali Mohammad-Djafari,et al.  Please Scroll down for Article Journal of Modern Optics Bayesian Inversion for Optical Diffraction Tomography Bayesian Inversion for Optical Diffraction Tomography , 2022 .

[22]  P. Gilbert Iterative methods for the three-dimensional reconstruction of an object from projections. , 1972, Journal of theoretical biology.

[23]  Michel Desvignes,et al.  High Speed 3D Tomography on CPU, GPU, and FPGA , 2008, EURASIP J. Embed. Syst..

[24]  Antonin Chambolle,et al.  A First-Order Primal-Dual Algorithm for Convex Problems with Applications to Imaging , 2011, Journal of Mathematical Imaging and Vision.

[25]  Michael Unser,et al.  Joint image reconstruction and segmentation using the Potts model , 2014, 1405.5850.

[26]  Alfred O. Hero,et al.  A Survey of Stochastic Simulation and Optimization Methods in Signal Processing , 2015, IEEE Journal of Selected Topics in Signal Processing.

[27]  Jun Zhang,et al.  The mean field theory in EM procedures for blind Markov random field image restoration , 1993, IEEE Trans. Image Process..

[28]  Kees Joost Batenburg,et al.  DART: A Practical Reconstruction Algorithm for Discrete Tomography , 2011, IEEE Transactions on Image Processing.

[29]  Nick Whiteley,et al.  Maximum marginal likelihood estimation of the granularity coefficient of a Potts-Markov random field within an MCMC algorithm , 2014, 2014 IEEE Workshop on Statistical Signal Processing (SSP).

[30]  L. Feldkamp,et al.  Practical cone-beam algorithm , 1984 .

[31]  Ali Mohammad-Djafari,et al.  GPU implementation of a 3D bayesian CT algorithm and its application on real foam reconstruction , 2010 .

[32]  Thomas Rodet Algorithmes rapides de reconstruction en tomographie par compression des calculs : application à la tomofluoroscopie 3D , 2002 .

[33]  D. Greig,et al.  Exact Maximum A Posteriori Estimation for Binary Images , 1989 .

[34]  L. Bregman The relaxation method of finding the common point of convex sets and its application to the solution of problems in convex programming , 1967 .

[35]  Ali Mohammad-Djafari,et al.  Variational Bayes and Mean Field Approximations for Markov field unsupervised estimation , 2009, 2009 IEEE International Workshop on Machine Learning for Signal Processing.

[36]  Ali Akbar Shaikh,et al.  Flow in Networks , 2019 .

[37]  P. Joseph An Improved Algorithm for Reprojecting Rays through Pixel Images , 1983, IEEE Transactions on Medical Imaging.

[38]  Arthur Gretton,et al.  Parallel Gibbs Sampling: From Colored Fields to Thin Junction Trees , 2011, AISTATS.

[39]  Jean-Yves Tourneret,et al.  Joint Segmentation and Deconvolution of Ultrasound Images Using a Hierarchical Bayesian Model Based on Generalized Gaussian Priors , 2016, IEEE Transactions on Image Processing.

[40]  Jun Zhang The mean field theory in EM procedures for Markov random fields , 1992, IEEE Trans. Signal Process..

[41]  D. J. De Rosier,et al.  Reconstruction of Three Dimensional Structures from Electron Micrographs , 1968, Nature.

[42]  Jean-François Giovannelli Estimation of the Ising field parameter thanks to the exact partition function , 2010, 2010 IEEE International Conference on Image Processing.

[43]  Fredrik Kahl,et al.  Parallel and distributed graph cuts by dual decomposition , 2010, 2010 IEEE Computer Society Conference on Computer Vision and Pattern Recognition.

[44]  Ali Mohammad-Djafari,et al.  Joint NDT Image Restoration and Segmentation Using Gauss–Markov–Potts Prior Models and Variational Bayesian Computation , 2009, IEEE Transactions on Image Processing.

[45]  Ron Kikinis,et al.  Markov random field segmentation of brain MR images , 1997, IEEE Transactions on Medical Imaging.

[46]  T. M. Peters Algorithms for Fast Back- and Re-Projection in Computed Tomography , 1981, IEEE Transactions on Nuclear Science.

[47]  Gengsheng Lawrence Zeng,et al.  Unmatched projector/backprojector pairs in an iterative reconstruction algorithm , 2000, IEEE Transactions on Medical Imaging.

[48]  Audrey Giremus,et al.  Potts model parameter estimation in Bayesian segmentation of piecewise constant images , 2015, 2015 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP).

[49]  Jean-Yves Tourneret,et al.  Estimating the Granularity Coefficient of a Potts-Markov Random Field Within a Markov Chain Monte Carlo Algorithm , 2012, IEEE Transactions on Image Processing.

[50]  Guo-Qiang Zhang,et al.  A Fast Iterated Conditional Modes Algorithm for Water–Fat Decomposition in MRI , 2011, IEEE Transactions on Medical Imaging.

[51]  Hacheme Ayasso Une approche bayésienne de l'inversion. Application à l'imagerie de diffraction dans les domaines micro-onde et optique , 2010 .

[52]  Bülent Sankur,et al.  Color image segmentation using histogram multithresholding and fusion , 2001, Image Vis. Comput..

[53]  Bjorn De Sutter,et al.  A Fast Algorithm to Calculate the Exact Radiological Path through a Pixel or Voxel Space , 1998 .

[54]  Stephen M. Smith,et al.  Segmentation of brain MR images through a hidden Markov random field model and the expectation-maximization algorithm , 2001, IEEE Transactions on Medical Imaging.

[55]  Donald Geman,et al.  Stochastic Relaxation, Gibbs Distributions, and the Bayesian Restoration of Images , 1984, IEEE Transactions on Pattern Analysis and Machine Intelligence.

[56]  A. Kak,et al.  Simultaneous Algebraic Reconstruction Technique (SART): A Superior Implementation of the Art Algorithm , 1984, Ultrasonic imaging.

[57]  J. Besag On the Statistical Analysis of Dirty Pictures , 1986 .

[58]  Jean-Yves Tourneret,et al.  Segmentation of Skin Lesions in 2-D and 3-D Ultrasound Images Using a Spatially Coherent Generalized Rayleigh Mixture Model , 2012, IEEE Transactions on Medical Imaging.

[59]  John Staples,et al.  The Maximum Flow Problem is Log Space Complete for P , 1982, Theor. Comput. Sci..

[60]  Mark W. Schmidt,et al.  Generalized Fast Approximate Energy Minimization via Graph Cuts: Alpha-Expansion Beta-Shrink Moves , 2011, ArXiv.

[61]  Olga Veksler,et al.  Fast approximate energy minimization via graph cuts , 2001, Proceedings of the Seventh IEEE International Conference on Computer Vision.

[62]  B. F. Logan,et al.  The Fourier reconstruction of a head section , 1974 .

[63]  A. Macovski,et al.  Selection of a convolution function for Fourier inversion using gridding [computerised tomography application]. , 1991, IEEE transactions on medical imaging.

[64]  Saïd Moussaoui,et al.  Efficient Gaussian Sampling for Solving Large-Scale Inverse Problems Using MCMC , 2014, IEEE Transactions on Signal Processing.