8.3. СРАВНЕНИЕ С ЭТАЛОНОМ И ТЕОРЕМА О СВЕРТКЕ

Мы уже писали в предыдущей главе о том, что сравнение с эталоном во всем многообразии своих форм представляет собой одну из фундаментальных операций анализа изображений. Теперь мы хотели бы установить связь между одной из форм сравнения с эталоном и преобразованием Фурье. Для наших целей удобней считать, что сравнение с эталоном выполняется с помощью вычисления функции взаимной корреляции. Ее определение в дискретной форме было дано в выражении (5) гл. 7, но существует такое же определение и для аналоговых функций. Пусть даны аналоговая функция интенсивности и аналоговый эталон Тогда их

функция взаимной корреляции определяется формулой

В силу определенных причин, которые пока не очевидны, будем называть сверткой двух функций интенсивности следующую величину:

Операция свертки коммутативна и может интерпретироваться следующим образом: функция t переносится в заданную точку и затем переворачивается относительно перенесенных осей координат. Далее вычисляется взаимная корреляция между перевернутой функцией t и исходной функцией интенсивности g. В соответствии с этим, если эталон описывается функцией его перевернутый вариант определяется формулой

Ясно что

поскольку

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

Чтобы упростить доказательство теоремы о свертке, рассмотрим предварительно более простое утверждение, называемое обычно теоремой о сдвиге.

Теорема о сдвиге. Если то

Доказательство. Записав определение спектра и подставив величины получим

что доказывает теорему.

После этих предварительных замечаний сформулируем теорему о свертке и коротко докажем ее.

Теорема о свертке. Если даны две функции g и t со спектрами Фурье G и Т, то

Доказательство. По определению

Изменив порядок интегрирования, получим

Согласно теореме о сдвиге,

что и завершает доказательство.

Из теоремы о свертке и формулы (13) можно получить следующую формулу для вычисления функции взаимной корреляции

изображения g и эталона

Выражение (14) представляет собой широко применяемый оператор, посредством которого метод преобразования Фурье используется для сравнения с эталоном. Хотя в этой формуле преобразование выполняется трижды, иногда это сделать проще, чем вычислять корреляцию непосредственно. Особенно это справедливо по отношению к изображениям в аналоговой форме, существующим в виде диапозитивов, поскольку преобразование Фурье и перемножение легко реализуются оптическими средствами. Заметим, что формула (14) дает величину взаимной корреляции в любой точке. Другими словами, величины взаимной корреляции для всех положений эталона получаются с помощью единственной операции. Мы можем поэтому считать особой «функцией интенсивности», величина которой отображает степень соответствия между изображением и эталоном, смещенным в точку По этой причине данную операцию часто предлагают в качестве средства для обнаружения «объекта» t где-либо на изображении