This article may be too technical for most readers to understand.(November 2015) |
In iterative reconstruction in digital imaging, interior reconstruction (also known as limited field of view (LFV) reconstruction) is a technique to correct truncation artifacts caused by limiting image data to a small field of view. The reconstruction focuses on an area known as the region of interest (ROI). Although interior reconstruction can be applied to dental or cardiac CT images, the concept is not limited to CT. It is applied with one of several methods.
The purpose of each method is to solve for vector in the following problem:
Let be the region of interest (ROI) and be the region outside of . Assume , , , are known matrices; and are unknown vectors of the original image, while and are vector measurements of the responses ( is known and is unknown). is inside region , () and , in the region , (), is outside region . is inside a region in the measurement corresponding to . This region is denoted as , (), while is outside of the region . It corresponds to and is denoted as , ().
For CT image-reconstruction purposes, .
To simplify the concept of interior reconstruction, the matrices , , , are applied to image reconstruction instead of complex operators.
The first interior-reconstruction method listed below is extrapolation. It is a local tomography method which eliminates truncation artifacts but introduces another type of artifact: a bowl effect. An improvement is known as the adaptive extrapolation method, although the iterative extrapolation method below also improves reconstruction results. In some cases, the exact reconstruction can be found for the interior reconstruction. The local inverse method below modifies the local tomography method, and may improve the reconstruction result of the local tomography; the iterative reconstruction method can be applied to interior reconstruction. Among the above methods, extrapolation is often applied.
, , , are known matrices; and are unknown vectors; is a known vector, and is an unknown vector. We need to know the vector . and are the original image, while and are measurements of responses. Vector is inside the region of interest , (). Vector is outside the region . The outside region is called , () and is inside a region in the measurement corresponding to . This region is denoted , (). The region of vector (outside the region ) also corresponds to and is denoted as , (). In CT image reconstruction, it has
To simplify the concept of interior reconstruction, the matrices , , , are applied to image reconstruction instead of a complex operator.
The response in the outside region can be a guess ; for example, assume it is
A solution of is written as , and is known as the extrapolation method. The result depends on how good the extrapolation function is. A frequent choice is
at the boundary of the two regions. [1] [2] [3] [4] The extrapolation method is often combined with a priori knowledge, [5] [6] and an extrapolation method which reduces calculation time is shown below.
Assume a rough solution, and , is obtained from the extrapolation method described above. The response in the outside region can be calculated as follows:
The reconstructed image can be calculated as follows:
It is assumed that
at the boundary of the interior region; solves the problem, and is known as the adaptive extrapolation method. is the adaptive extrapolation function. [7] [8] [9] [10] [5]
It is assumed that a rough solution, and , is obtained from the extrapolation method described below:
or
The reconstruction can be obtained as
Here is an extrapolation function, and it is assumed that
is one solution of this problem. [11]
Local tomography, with a very short filter, is also known as lambda tomography. [12] [13]
The local inverse method extends the concept of local tomography. The response in the outside region can be calculated as follows:
Consider the generalized inverse satisfying
Define
so that
Hence,
The above equation can be solved as
considering that
is the generalized inverse of , i.e.
The solution can be simplified as
The matrix is known as the local inverse of matrix , corresponding to . This is known as the local inverse method. [11]
Here a goal function is defined, and this method iteratively achieves the goal. If the goal function can be some kind of normal, this is known as the minimal norm method.
subject to
and is known,
where , and are weighting constants of the minimization and is some kind of norm. Often-used norms are , , , total variation (TV) norm or a combination of the above norms. An example of this method is the projection onto convex sets (POCS) method. [14] [15]
In special situations, the interior reconstruction can be obtained as an analytical solution; the solution of is exact in such cases. [16] [17] [18]
Extrapolated data often convolutes to a kernel function. After data is extrapolated its size is increased N times, where N = 2 ~ 3. If the data needs to be convoluted to a known kernel function, the numerical calculations will increase log(N)·N times, even with the fast Fourier transform (FFT). An algorithm exists, analytically calculating the contribution from part of the extrapolated data. The calculation time can be omitted, compared to the original convolution calculation; with this algorithm, the calculation of a convolution using the extrapolated data is not noticeably increased. This is known as fast extrapolation. [19]
The extrapolation method is suitable in a situation where
The adaptive extrapolation method is suitable for a situation where
The iterative extrapolation method is suitable for a situation in which
Local tomography is suitable for a situation in which
The local inverse method, identical to local tomography, suitable in a situation in which
The iterative reconstruction method obtains a good result with large calculations. Although the analytic method achieves an exact result, it is only functional in some situations. The fast extrapolation method can get the same results as the other extrapolation methods, and can be applied to the above interior reconstruction methods to reduce the calculation.
In Euclidean geometry, an affine transformation or affinity is a geometric transformation that preserves lines and parallelism, but not necessarily Euclidean distances and angles.
In mathematics, particularly in linear algebra, matrix multiplication is a binary operation that produces a matrix from two matrices. For matrix multiplication, the number of columns in the first matrix must be equal to the number of rows in the second matrix. The resulting matrix, known as the matrix product, has the number of rows of the first and the number of columns of the second matrix. The product of matrices A and B is denoted as AB.
Ray transfer matrix analysis is a mathematical form for performing ray tracing calculations in sufficiently simple problems which can be solved considering only paraxial rays. Each optical element is described by a 2×2 ray transfer matrix which operates on a vector describing an incoming light ray to calculate the outgoing ray. Multiplication of the successive matrices thus yields a concise ray transfer matrix describing the entire optical system. The same mathematics is also used in accelerator physics to track particles through the magnet installations of a particle accelerator, see electron optics.
In mathematics, the name symplectic group can refer to two different, but closely related, collections of mathematical groups, denoted Sp(2n, F) and Sp(n) for positive integer n and field F (usually C or R). The latter is called the compact symplectic group and is also denoted by . Many authors prefer slightly different notations, usually differing by factors of 2. The notation used here is consistent with the size of the most common matrices which represent the groups. In Cartan's classification of the simple Lie algebras, the Lie algebra of the complex group Sp(2n, C) is denoted Cn, and Sp(n) is the compact real form of Sp(2n, C). Note that when we refer to the (compact) symplectic group it is implied that we are talking about the collection of (compact) symplectic groups, indexed by their dimension n.
In the mathematical field of differential geometry, a metric tensor is an additional structure on a manifold M that allows defining distances and angles, just as the inner product on a Euclidean space allows defining distances and angles there. More precisely, a metric tensor at a point p of M is a bilinear form defined on the tangent space at p, and a metric field on M consists of a metric tensor at each point p of M that varies smoothly with p.
An inverse problem in science is the process of calculating from a set of observations the causal factors that produced them: for example, calculating an image in X-ray computed tomography, source reconstruction in acoustics, or calculating the density of the Earth from measurements of its gravity field. It is called an inverse problem because it starts with the effects and then calculates the causes. It is the inverse of a forward problem, which starts with the causes and then calculates the effects.
In linear algebra, an n-by-n square matrix A is called invertible if there exists an n-by-n square matrix B such that
In linear algebra and the theory of matrices, the Schur complement of a block matrix is defined as follows.
In mathematics, the Radon transform is the integral transform which takes a function f defined on the plane to a function Rf defined on the (two-dimensional) space of lines in the plane, whose value at a particular line is equal to the line integral of the function over that line. The transform was introduced in 1917 by Johann Radon, who also provided a formula for the inverse transform. Radon further included formulas for the transform in three dimensions, in which the integral is taken over planes. It was later generalized to higher-dimensional Euclidean spaces and more broadly in the context of integral geometry. The complex analogue of the Radon transform is known as the Penrose transform. The Radon transform is widely applicable to tomography, the creation of an image from the projection data associated with cross-sectional scans of an object.
DIIS, also known as Pulay mixing, is a technique for extrapolating the solution to a set of linear equations by directly minimizing an error residual with respect to a linear combination of known sample vectors. DIIS was developed by Peter Pulay in the field of computational quantum chemistry with the intent to accelerate and stabilize the convergence of the Hartree–Fock self-consistent field method.
Tomographic reconstruction is a type of multidimensional inverse problem where the challenge is to yield an estimate of a specific system from a finite number of projections. The mathematical basis for tomographic imaging was laid down by Johann Radon. A notable example of applications is the reconstruction of computed tomography (CT) where cross-sectional images of patients are obtained in non-invasive manner. Recent developments have seen the Radon transform and its inverse used for tasks related to realistic object insertion required for testing and evaluating computed tomography use in airport security.
Iterative reconstruction refers to iterative algorithms used to reconstruct 2D and 3D images in certain imaging techniques. For example, in computed tomography an image must be reconstructed from projections of an object. Here, iterative reconstruction techniques are usually a better, but computationally more expensive alternative to the common filtered back projection (FBP) method, which directly calculates the image in a single reconstruction step. In recent research works, scientists have shown that extremely fast computations and massive parallelism is possible for iterative reconstruction, which makes iterative reconstruction practical for commercialization.
In numerical analysis, Bairstow's method is an efficient algorithm for finding the roots of a real polynomial of arbitrary degree. The algorithm first appeared in the appendix of the 1920 book Applied Aerodynamics by Leonard Bairstow. The algorithm finds the roots in complex conjugate pairs using only real arithmetic.
In computer vision, the Lucas–Kanade method is a widely used differential method for optical flow estimation developed by Bruce D. Lucas and Takeo Kanade. It assumes that the flow is essentially constant in a local neighbourhood of the pixel under consideration, and solves the basic optical flow equations for all the pixels in that neighbourhood, by the least squares criterion.
In mathematics, the generalized minimal residual method (GMRES) is an iterative method for the numerical solution of an indefinite nonsymmetric system of linear equations. The method approximates the solution by the vector in a Krylov subspace with minimal residual. The Arnoldi iteration is used to find this vector.
Compressed sensing is a signal processing technique for efficiently acquiring and reconstructing a signal, by finding solutions to underdetermined linear systems. This is based on the principle that, through optimization, the sparsity of a signal can be exploited to recover it from far fewer samples than required by the Nyquist–Shannon sampling theorem. There are two conditions under which recovery is possible. The first one is sparsity, which requires the signal to be sparse in some domain. The second one is incoherence, which is applied through the isometric property, which is sufficient for sparse signals. Compressed sensing has applications in, for example, MRI where the incoherence condition is typically satisfied.
In linear algebra, eigendecomposition is the factorization of a matrix into a canonical form, whereby the matrix is represented in terms of its eigenvalues and eigenvectors. Only diagonalizable matrices can be factorized in this way. When the matrix being factorized is a normal or real symmetric matrix, the decomposition is called "spectral decomposition", derived from the spectral theorem.
Inverse modeling is a mathematical technique where the objective is to determine the physical properties of the subsurface of an earth region that has produced a given seismogram. Cooke and Schneider (1983) defined it as calculation of the earth's structure and physical parameters from some set of observed seismic data. The underlying assumption in this method is that the collected seismic data are from an earth structure that matches the cross-section computed from the inversion algorithm. Some common earth properties that are inverted for include acoustic velocity, formation and fluid densities, acoustic impedance, Poisson's ratio, formation compressibility, shear rigidity, porosity, and fluid saturation.
The local inverse is a kind of inverse function or matrix inverse used in image and signal processing, as well as in other general areas of mathematics.
In mathematics, the matrix sign function is a matrix function on square matrices analogous to the complex sign function.