specified by the set of
N
coefficients
aj.
Combining
Eqs.
(5)
and (6), we see that the coefficients must
satisfy
N
1
ajS(bj;rj,B,w)
=
gi,
i
=
1,
.
. .
,M.
(7)
j=1
This approach has been considered before in CT re-
con~truction.~.~ It is also referred to as collocation
when applied to the solution of integral and differen-
tial
equation^.^^
The projection operation, defined by
Eq. (I), becomes a sum over contributions from the
individual basis functions. Backprojection, used as
the principle means of updating reconstructions,
amounts to adding a quantity to the
a,
that is propor-
-
-
-
-
tional to
S(b,;r&,w).
If we define a matrix
P
whose entry in the ith row
and jth column is given by
Eq.
(7)
can be written in matrix form as
Pa
=
e.
(9)
-
where
a
is the vector of
N
unknown coefficients
a,,
and
g
is the vector of
M
measurements
g,.
If Eq.
(9)
can be
solved for
a,
the values off at any point
(x,y)
can be
obtained using Eq. (6). The essential problem, then, is
to invert the
M
X
N
measurement matrix
P.
When
either
M
+
N
or when
P
is a singular matrix, the
inverse of
P
does not exist. When the problem is
underdetermined, as it must be when
M
<
N,
for
example, a plethora of solutions exists. Finding a
solution is not the dilemma; rather, it is to decide
which of the many solutions to choose. To make the
solution in some sense unique, it might be required
that out of the many possible solutions the one with
minimum norm be chosen. This amounts to employ-
ing the pseudoinverse or generalized inverse2' of
P
(or
P'IP).
The ambiguous nature of the solutions to this
~roblem has its roots in the existence of a null s~ace~
bf
the matrix
P.
When any vector lying wbollyAin the
null space is multiplied by
P,
the result is zero. The
components of
a
that lie in this null space cannot be
determined from the measurements a1one.I When
reconstruction is formulated as a least-square error
problem, the matrix that must be inverted is
PTP,
which is square but may be singular nevertheless.
Consider the magnitude of this inversion task when
one has 10 views with 100 samples in each view and the
reconstruction image is to be defined on a 100
X
100
grid, which is a CT problem of only moderate size. In
this case,
P
is a 1000
X
10,000 matrix. Fortunately,
when the basis functions are local,
P
is sparse. For
example, in the above problem,
P
might contain only
200,000 nonzero elements, i.e., 2% of the total. It is
known3 that in such a case iterative reconstruction
algorithms may be be used to solve Eq.
(9)
with a small
number (between
3
and 20) of iterations, where one
iteration includes
all
the measurements.
At this point it becomes necessary to choose the
basis functions
bj.
Desirable properties of a suitable
basis-function set include the following:
(A)
strong linear independence;
(B)
power of approximation;
(C) insensitivity to shift of basis-function set;
(D)
efficient computation of projections and back-
projections;
(E) efficient implementation of reconstruction con-
straints;
(F)
fidelity of visual appearance.
It is quite possible that no single set of local basis
functions can meet all these conditions ideally, but
some do much better than others. Let us discuss these
criteria in turn. Linear independence of functions in a
basis set is necessary to specify the coefficients corre-
sponding to a given reconstruction function uniquely.
Moreover, we prefer strong linear independence so
that a pair of distant points in the coefficient space
corresponds to significantly different reconstruction
'functions.
Ideally we want a basis-function set to be complete
in the class of all acceptable reconstructions so that
any reconstruction can be represented. In practice,
we can only ask that any reconstruction function be
accurately approximated by a linear combination of
basis functions. For a fixed number of basis functions,
some sets provide better approximations than others.
For example, we expect a piecewise-linear function to
furnish a better approximation to a smooth function
than a piecewise-constant one. The number of coeffi-
cients needed to represent the
reconstmction is often a
dominant consideration in the selection of a basis-
function set because of the need to limit the amount of
computer storage and computation speed required to
perform a reconstruction. Hence it is desirable to
select a representation that gives the best approxima-
tion with a fixed minimal number of coefficients. It is
expected that, for any form of baais function, the de-
gree of approximation will improve as the number of
basis functions is increased. In particular, it is desir-
able to have agood representation of both the constant
andlinearly varyingfunctions. It is oftenthe case that
the objective of reconstruction is to detect the presence
of a low contrast anomaly against a simple slowly vary-
ing background. If the representation is incapable of
properly portraying such a background, it might be
difficult to distinguish the actual anomaly from de-
fects in representation. Similarly, it is undesirable for
a step function to evoke oscillations in the reconstruc-
tion, as in the Gibbs phenomenon.
It would be unfortunate if a shift of the basis func-
tions resulted in a much different approximation to
the same function. Such behavior could only be a
boon if the basis functions were used to enforce a
certain structure in the reconstructed function that
was known beforehand. Generally such information is
not available, and the choice of the position of the
basis-function set is arbitrary and random relative to
the object.
Computational speed is very important for iterative
CT reconstruction algorithms, because many itera-
tions are usually required
to
obtain an acceptable re-
sult. In these algorithms it is the projection and back-
4030
APPLIED
OPTICS
I
Vol.
24.
Nor23
I
1
December
1985