6

Основные представления об
алгоритмах реконструкции

В данной главе мы начинаем систематическое изучение алгоритмов ре-

конструкции. Мы познакомимся с обозначениями, которые используются в
остальной части книги, разобьем алгоритмы на две основные группы — алгоритмы
с использованием преобразований и с использованием разложения в ряд. Мы
разъясним сущность алгоритмов каждой из этих групп и укажем, какими, по
нашему мнению, характеристиками должны обладать алгоритмы реконструкции,

6.1. ПОСТАНОВКА ЗАДАЧИ

До сих пор во всех рассматриваемых случаях при задании функций двух
переменных использовалась прямоугольная система координат. Для обозначения
относительной ослабляющей способности в точке (х, у) мы задавали функцию ^(х,
у), где (х, у) относилось к прямоугольной системе координат (рис. 2.8). Однако в
большинстве математических работ, посвященных указанной проблеме, удобнее
использовать полярную систему координат (г, ф), которая связана с прямоугольной
системой координат (х, у) следующими выражениями: г = (х2 + .у2)1/2, ф =
arctg(y/x-), х = rcos<f>, у = r sm<t>. Мы будем использовать выражение функция
двух полярных переменных, подразумевая при этом функцию /, значение которой
f(r, ф) представляет значение определенной физической величины (например, ко-
эффициента линейного ослабления рентгеновского излучения) в геометрической
точке с полярными координатами (r, ф). Характерной особенностью с
математической точки зрения функции / от двух полярных переменных является то,
что f(0, ф^) = f(0, ф^) для всех значений ф^ и ф^. Это соответствует тому, что
физическая величина в начале координат может иметь только одно значение. Далее
мы не ограничиваем область возможных значений полярных переменных, т.е.
разрешаем принимать для r и ф любые вещественные значения; следствием этого
является то, что функция / двух полярных переменных должна удовлетворять
условиюf(r, ф) =/(—r, ф +
v).
В разд. 4.1 мы определили изображение как функцию двух переменных,
значения которой вне области изображения равны нулю. а кадр изображения
представляет собой квадрат (например, размером \2Е х ^2Е), центр которого
находится в начале координат. В соответствии с этим мы используем
обозначение /, чтобы задать функцию двух полярных переменных r и
ф и тем самым определить изображение, подлежащее реконструированию.
Известно, что
(6.1)

(\х\ обозначает абсолютное значение х, равное х, если х ^ 0, и -х, если х < 0.) В
частности, f(r, ф) = 0, если г ^ Е.
Возможной физической интерпретацией функции изображения / является то,
что, если поле изображения равно полю реконструкции, изображенному на рис.
2.8, f(r, ф) соответствует значению линейного коэффициента ослабления в точке
(г, ф). Однако последующее обсуждение алгоритмов не зависит от приведенной
интерпретации f(r, ф). Алгоритмы реконструкции применимы для любой другой
физической интерпретации функции f(r, ф) (раза. 1.1).
Важное различие между исследованием функции / как таковой и иссле-
дованием ее как распределения некоторой физической величины состоит в
способе использования математики. Алгоритмы реконструкции, как правило,
базируются на самых общих теоремах математики, которые формулируются
обычно так: «Если функция/обладает свойством, что... то из этого следует... »
Мы будем последовательно использовать результаты этих теорем, если только
справедливость предпосылок разумна с физической точки зрения.
В частности, мы будем всегда полагать, где это требуется, что изображение
удовлетворяет определенным условиям интегрируемости. (Мы пользуемся
понятием интегралов без точного их определения. Хотя почти все наши
утверждения справедливы для любого обычно используемого определения
интеграла, однако те, кто хочет, чтобы наш подход был достаточно обоснован
математически, могут использовать понятие интеграла в смысле Лебега.)
Одним из наших предположений является то, что любая функция изображения
/ является квадратично интегрируемой, т.е. что существует интеграл
(6.2.)
(Существование в данном случае означает, что данный интеграл можно вы-
числить. Его значение есть вещественное число.) Такое предположение по-
зволяет определить расстояние d(f\, /^) между двумя функциями изображения/,
и/^:
(6.3)
гак как можно доказать, что, если функции У] и /^ таковы, что интеграл (6.2)
существует, когда/, или/^ заменяют на/, тогда интеграл (6.3) также
существует. Ясно, что (6.3) соответствует квадратичной мере различия между
изображениями, определенными выражением (5.1).
Теперь определим преобразования Радона для функции / от двух полярных
переменных. Сначала введем условные обозначения, которые используются по
всей книге. Преобразование Радона представляет собой пример оператора; когда
такой оператор действует на какую-то функцию, то он создает другую функцию.
Для обозначения операторов используем прописные рукописные буквы; например,
Sf обозначает оператор Радона. Функция, которая получается в результате
преобразования Радона, обозначается через SSf и называется радоновским образом.
Значение ^f в точке (/, в) в области ее задания определяется как [,$^] (/, ff).
Радоновский образ функции / определяется для пары любых вешес1вен-ных
чисел (/, в) следующим образом:

Из рис. 2.8 видно, что [^У\( {, в) соответствует линейному интегралу от/ вдоль
прямой L. [Отметим, что переменная т. в (6.4) не совпадает точно с той переменной
г, которая показана на рис. 2.8. В выражении (6.4) г = О соответствует точке, где
перпендикуляр, опущенный на прямую L из начала координат, пересекается с L.]
Существование радоновского образа для любого значения ( и в является вторым
предположением об интегрируемости.
Заметим, что
 (6.5)
и что
(6.6
)
Последнее уравнение следует из выражения (6.1). Из этих соотношений следует, что
функция i-^f полностью определена ее значением в точках (( , в) с областью задания
-Е < 1<ЕнО^:в<тг.
Между областями определения функций / и .-^f имеется существенное различие.
Функция изображения / определена для любой пары вещественных чисел (г, ф),
которые являются координатами точек на плоскости. Следовательно, значение/^, ф)
одинаково для любого значения ф, так как точка (0, ф) во всех случаях соответствует
началу координат. В случае ^f цело обстоит иначе. Ее значение для пары чисел (0, в)
равно линейному интегралу от / вдоль прямой, проходящей через начало координат
и составляющей угол 0 с положительным направлением оси у. Поэтому, если
только / не обладает круговой симметрией относительно начала координат, ^(0, в)