|
Next: Results Up: Registration Algorithm Previous: Transformation Parameterization
Estimation Procedure
The Fourier series parameterization in Eq. 6
is a multi-resolution decomposition of the displacement fields. Let
represent a family of subsets
of where
and the set subtraction
notation
is defined as all elements of A not in B. Figure 2
illustrates the definition of
using a 2D example. In practice, the low frequency basis
coefficients are estimated before the higher ones allowing the global
image features to be registered before the local features. This is accomplished
by replacing Eq. 7
by
and![$\displaystyle \quad w_d [n,r] = \sum_{k \in \Omega_d[r]} \eta[k] e^{j<n,\theta[k]>} .$](img156.png) |
(11) |
where
determines the number of harmonics used to represent
the displacement fields. Let the set of multi-resolution transformations
be defined as
and
. The components of are initially set small and are periodically increased throughout
the iterative minimization procedure. The set
can be replaced by when all of the components of are greater than or equal to since the set is empty. The constants , , and represent the largest , , and harmonic components of the displacement fields. Each displacement
field in Eq. 11 is efficiently
computed using three
FFTs, i.e., each component of the
vectors and are computed with a FFT after zeroing out the coefficients not
present in the summations.
Figure 2: Example of elements
contained in an
lattice. (a) contains all of the points while contains the points within the doted lines; (b) Elements of
.
|
The image registration problem can be stated mathematically by combining
Eqs. (2), (3),
(4), and (9)
and estimating the set of parameters
that minimize the combined cost function
The constants , and are used to enforce/balance the constraints. The effects of varying
these parameters are studied later in the paper.
The basis coefficients
are determined
by gradient descent using
where
is the step size. The superscript corresponds to the value of and at the
iteration. Each equation above represents a
vector equation3, i.e., one equation for each component
of the vectors , , , and . The partial derivatives4 of
used in Eqs. 13
and 14 are
where
The terms and are
vectors and are efficiently computed for all using 3D FFTs; each component of and requires a separate 3D FFT for a total of 6 FFTs. The notation
represents the gradient of evaluated at the point
. The gradient is computed using symmetric difference equations5and trilinear interpolation is
used to evaluate the gradient at the point
. The notation
is defined similarly. The gradient
descent insures that and have complex conjugate symmetry. Notice that and are the Fourier Transforms of a real signal implying that and have complex conjugate symmetry. This in turn implies that the
gradients in Eqs. 13 and 14
have conjugate symmetry and therefore the basis coefficients and have complex conjugate symmetry.
The steps involved in estimating the basis coefficients and are summarized in the following algorithm.
Algorithm
- Set
for
and set
.
- Compute
using the procedure described in Section 2.3
and set
.
- Compute new forward basis coefficients
using Eq. 13.
- Compute the forward displacement field
using Eq. 11.
- Compute
using the procedure described in Section 2.3
and set
.
- Compute new reverse basis coefficients
using Eq. 14.
- Compute the reverse displacement field
using Eq. 11.
- If the criteria is met to increase the number of basis functions then
set
, and set the new coefficients in Eq. 11
to zero.
- If the algorithm has not converged or reached the maximum number of
iterations goto step 2.
- Use forward displacement field
to transform the template image and reverse displacement field to transform the target image .
Next: Results Up: Registration Algorithm Previous: Transformation Parameterization
Xiujuan Geng 2002-07-04
|