Curvature-driven diffusion-based mathematical image registration models
© Akinlar et al.; licensee Springer 2012
Received: 6 August 2012
Accepted: 25 October 2012
Published: 7 November 2012
This paper introduces several mathematical image registration models. Image registration, an ill-posed optimization problem, is formulated as the minimization of the sum of an image similarity metric and a regularization term. Curvature-driven diffusion-based techniques, in particular Perona-Malik, anisotropic diffusion, mean curvature motion (MCM), affine invariant MCM (AIMCM), are employed as a regularization term in this optimal control formulation. Adopting the steepest-descent marching with an artificial time t, Euler-Lagrange (EL) equations with homogeneous Neumann boundary conditions are obtained. These EL equations are approximately solved by the explicit Petrov-Galerkin scheme. The method is applied to the registration of brain MR images of size . Computational results indicate that all these regularization terms produce similarly good registration quality but that the cost associated with the AIMCM approach is, on average, less than that for the others.
MSC:68U10, 65D18, 65J05, 97N40.
Keywordssum of squared differences inverse problems computational modeling Petrov-Galerkin scheme image registration
The purpose of image registration is to align two or more images of the same scene obtained at different times, perspectives or sensors such as MRI, X-ray, CT, PET, SPECT, and tomography. Given a reference image and a template image , the main idea behind an image registration paradigm is to find a reasonable transformation such that the transformed image becomes similar to the reference image. Image registration has a broad range of applications such as object or motion tracking, detecting tumors, image fusion among many others; see, for example, . Image registration is a significant and challenging subject which usually involves high storage requirements, high CPU costs and mostly deals with noisy, distorted, and occluded data. In literature several different types of image registration techniques (see, for instance, [2, 3] and references therein) were developed. Each of these algorithms was generated based on a specific application, disease or image modality. There is still no general image registration technique which could be used in every sort of data. Based on these facts, finding fast and efficient image registration techniques is a quite useful and still significantly important area of research.
In this paper, we express the image registration algorithm as a variational optimization problem which consists of the sum of a similarity measure and a regularization term. Our method incorporates -norm sense similarity measures with several different curvature-driven diffusion-based regularization terms such as anisotropic diffusion, mean curvature motion (MCM), and affine invariant MCM. We are mostly motivated by the efficient performance of these regularization terms in image denoising and restoration problems (for instance,  applies these regularization terms to image processing problems). It is significantly important to explore the utility of these geometrically derived regularization terms in the field of image deformation.
Organization of the paper is as follows. In the Section 2, we present an optimal control formulation of the image registration problem. We use the sum of squared differences in the -norm sense as the similarity measure and introduce four different regularization terms. In the same section, we solve the existing optimization problem in a systematic manner by the techniques in variational calculus such as gradient-descent based methods. Computational results given in the last section indicate that new regularization terms provide fast, stable, and efficient image registration models.
2 Optimal control formulation of image registration problem
where denotes a similarity measure between the template image T and the reference image R, is the deformation field, u is the displacement field, Γ is the set of all possible admissible transformations, is a regularization term, and λ is a regularization constant. Because reference and template images are obtained from different distances, angles, times, and sometimes even by different individuals, a deformation field may occur between these images. A deformation field is a vector field that maps pixels of the reference image to the corresponding ones of the template image. One of the major goals of this paper is to compute the deformation field in a systematic way.
This similarity measure is often referred to as the ‘sum of squared differences’ (SSD) measure. Note that other similarity measures can be selected depending on the problem. We choose the similarity measure (3) due to its well-known effectiveness (for example, see ), the convenience in computations, and easy adaptation of the regularization terms in numerical computations.
where n denotes the outer normal along the boundary ∂ Ω, and is the one-dimensional Hausdorff measure supported on ∂ Ω. Here, the divergence in the regularization terms is understood in the distributional meaning. In  we studied the same optimal control formulation of the image registration problem with different regularization terms and showed the existence and uniqueness of this optimization problem using appropriate theorems. Similar sorts of optimal control problems with their computational solutions might be seen in [5, 6].
with homogeneous Neumann boundary conditions along ∂ Ω.
Sethian  developed a good number of efficient schemes for the numerical solution of these types of equations, some of which are the fast marching scheme, the explicit positive-coefficient scheme, the explicit Petrov-Galerkin scheme, and some other schemes for so-called curvature type flows. Aubert et al.  also developed some efficient numerical solution methods for these sorts of equations. We adopted the explicit Petrov-Galerkin scheme and implemented the corresponding algorithm in Matlab computer algebra system. Next section shows the experimental results.
The similarity measure and the cost in computational time
Medical image registration is quite an important and challenging branch of image processing world. It has broad applications in medical and non-medical imaging.
In this paper, we presented a number of curvature-driven diffusion-based image registration techniques. Our method incorporates the sum of a squared differences similarity measure with several different regularization terms such as Perona-Malik, anisotropic diffusion, mean curvature motion, and affine invariant MCM. To the best of our knowledge, nobody in the literature associated these regularization terms with the SSD similarity measure and applied them to the nonrigid registration of medical images. By using gradient-descent based optimization techniques, we solve the existing optimization problem and obtain the corresponding optimality system in a systematic manner. Exploiting the explicit Petrov-Galerkin scheme, we implemented the corresponding algorithm in Matlab.
In future work, we will investigate the applications of these image registration techniques to the registration of noisy and blurred images. Furthermore, we plan to compare the strength of these registration techniques with some well-known image registration methods in terms of speed, quality, and effectiveness in detail.
- Akinlar, MA: A new method for non-rigid registration of 3D images. PhD thesis, The University of Texas at Arlington (2009)Google Scholar
- Akinlar MA, Celenk M: Quality assessment for an image registration. Int. J. Contemp. Math. Sci. 2011, 6(30):1483–1490.MathSciNetGoogle Scholar
- Akinlar MA, Kurulay M, Secer A, Bayram M: Efficient variational approaches for deformable registration of images. Abstr. Appl. Anal. 2012. doi:10.1155/2012/704567Google Scholar
- Scherzer O, Grasmair M, Grossauer H, Haltmeier M, Lenzen F: Variational Methods in Imaging. Springer, Berlin; 2009.Google Scholar
- Zheng G, Ma B: A time optimal control problem of some linear switching controlled ordinary differential equations. Adv. Differ. Equ. 2012., 2012: Article ID 52. doi:10.1186/1687–1847–2012–52Google Scholar
- Chen P, Li Y, Fan H: Existence of strong solutions for a class of semilinear evolution equations with nonlocal initial conditions. Adv. Differ. Equ. 2012., 2012: Article ID 79. doi:10.1186/1687–1847–2012–79Google Scholar
- Sethian JA: Level Set Methods and Fast Marching Methods. 9th edition. Cambridge University Press, Cambridge; 2008.Google Scholar
- Aubert G, Kornprobst P: Mathematical Problems in Image Processing. 2nd edition. Springer, Berlin; 2006.Google Scholar
This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.