Дискретное преобразование Хартли - Discrete Hartley transform
А дискретное преобразование Хартли (DHT) это Преобразование Фурье дискретных периодических данных, подобных дискретное преобразование Фурье (DFT) с аналогичными приложениями в обработке сигналов и смежных областях. Его главное отличие от DFT заключается в том, что он преобразует реальные входные данные в реальные выходы без внутреннего участия сложные числа. Подобно тому, как ДПФ является дискретным аналогом непрерывного преобразование Фурье (FT), DHT является дискретным аналогом непрерывного Преобразование Хартли (HT), введенный Ральф В. Л. Хартли в 1942 г.[1]
Потому что есть быстрые алгоритмы DHT, аналогичные быстрое преобразование Фурье (FFT), DHT был первоначально предложен Рональд Н. Брейсвелл в 1983 г.[2] как более эффективный вычислительный инструмент в общем случае, когда данные являются чисто реальными. Однако впоследствии утверждалось, что специализированные алгоритмы БПФ для реальных входов или выходов обычно можно найти с немного меньшим количеством операций, чем любой соответствующий алгоритм для DHT.
Определение
Формально дискретное преобразование Хартли представляет собой линейное обратимое функция ЧАС: рп → рп (куда р обозначает набор действительные числа ). В N действительные числа Икс0, ..., ИксN−1 превращаются в N действительные числа ЧАС0, ..., ЧАСN−1 в соответствии с формулой
Комбинация иногда обозначается cas (z), и его не следует путать с цис (z) = еiz = cos (z) + я грех (z), или же е−iz = цис (-z) которое появляется в определении ДПФ (где я это мнимая единица ).
Как и в случае с ДПФ, общий масштабный коэффициент перед преобразованием и знак синусоидального члена являются условием. Хотя эти соглашения иногда различаются между авторами, они не влияют на основные свойства преобразования.
Характеристики
Преобразование можно интерпретировать как умножение вектора (Икс0, ...., ИксN−1) от N-от-N матрица; следовательно, дискретное преобразование Хартли является линейный оператор. Матрица обратимая; обратное преобразование, позволяющее восстановить Иксп от ЧАСk, это просто DHT ЧАСk умноженное на 1 /N. То есть DHT - это собственная инверсия (инволютивный ), с точностью до общего масштабного коэффициента.
DHT можно использовать для вычисления ДПФ и наоборот. Для реальных входов Иксп, вывод ДПФ Иксk имеет реальную часть (ЧАСk + ЧАСN − k) / 2 и мнимой части (ЧАСN − k − ЧАСk) / 2. И наоборот, DHT эквивалентен вычислению ДПФ Иксп умноженный на 1 +я, затем взяв реальную часть результата.
Как и в случае с ДПФ, циклический свертка z = Икс∗у двух векторов Икс = (Иксп) и у = (уп) для создания вектора z = (zп), вся длина N, становится простой операцией после DHT. В частности, предположим, что векторы Икс, Y, и Z обозначают DHT Икс, у, и z соответственно. Тогда элементы Z даны:
где мы берем все векторы периодическими по N (ИксN = Икс0и так далее). Таким образом, подобно тому, как ДПФ преобразует свертку в поточечное умножение комплексных чисел (пары действительной и мнимой частей), DHT преобразует свертку в простую комбинацию пары реальных частотных составляющих. Затем обратный DHT дает желаемый вектор z. Таким образом, быстрый алгоритм DHT (см. Ниже) дает быстрый алгоритм свертки. (Это немного дороже, чем соответствующая процедура для ДПФ, не считая затрат на приведенные ниже преобразования, потому что вышеупомянутая попарная операция требует 8 действительных арифметических операций по сравнению с 6 операциями комплексного умножения. Это количество не включает деление на 2, которое может быть поглощено, например, в 1 /N нормализация обратной DHT.)
Быстрые алгоритмы
Как и в случае с DFT, прямая оценка определения DHT потребует O (N2) арифметические операции (см. Обозначение Big O ). Однако существуют быстрые алгоритмы, подобные БПФ, которые вычисляют тот же результат только за O (N бревно N) операции. Почти каждый алгоритм БПФ, начиная с Кули – Тьюки к главный фактор Винограду (1985)[3] к Брууна (1993),[4] имеет прямой аналог для дискретного преобразования Хартли. (Однако некоторые из более экзотических алгоритмов БПФ, такие как QFT, еще не исследовались в контексте DHT.)
В частности, аналог DHT алгоритма Кули – Тьюки широко известен как быстрое преобразование Хартли (FHT) и впервые был описан Брейсвеллом в 1984 году.[5] Этот алгоритм БПА, по крайней мере, применительно к степень двойки размеры N, является предметом Соединенных Штатов патент номер 4646256, выданный в 1987 г. Стэндфордский Университет. Стэнфорд поместил этот патент в общественное достояние в 1994 г. (Bracewell, 1995).[6]
Как упоминалось выше, алгоритмы DHT обычно немного менее эффективны (с точки зрения количества плавающая точка операций), чем соответствующий алгоритм ДПФ (БПФ), специализированный для реальных входов (или выходов). Впервые это утверждали Соренсен и др. (1987)[7] и Дюамель и Веттерли (1987).[8] Последние авторы получили, по-видимому, самое низкое опубликованное количество операций для DHT размера степени двойки, используя алгоритм с разделенным основанием (похожий на алгоритм БПФ с разделенным основанием ), который нарушает DHT длины N в DHT длины N/ 2 и два ДПФ с реальным входом (нет DHT) длины N/ 4. Таким образом, они утверждали, что DHT длины, равной степени двойки, может быть вычислено в лучшем случае на 2 сложения больше, чем соответствующее количество арифметических операций для ДПФ с реальным вводом.
На современных компьютерах производительность больше определяется тайник и Конвейер процессора соображений, чем строгий подсчет операций, и небольшая разница в арифметических затратах вряд ли будет значительной. Поскольку алгоритмы БПФ и БПФ с реальным вводом имеют схожие вычислительные структуры, ни один из них не имеет существенного априори преимущество в скорости (Попович и Шевич, 1994).[9] На практике высокооптимизированные библиотеки БПФ с реальным вводом доступны из многих источников (например, от поставщиков ЦП, таких как Intel ), тогда как высокооптимизированные библиотеки DHT встречаются реже.
С другой стороны, избыточные вычисления в БПФ из-за реальных входных данных труднее устранить для больших основной N, несмотря на существование O (N бревно N) алгоритмы сложных данных для таких случаев, потому что избыточность скрыта за сложными перестановками и / или фазовыми поворотами в этих алгоритмах. Напротив, стандартный алгоритм БПФ простого размера, Алгоритм Рейдера, может быть непосредственно применен к DHT реальных данных примерно в два раза меньше вычислений, чем эквивалентное комплексное БПФ (Frigo and Johnson, 2005).[10] С другой стороны, также возможна адаптация алгоритма Райдера к ДПФ с реальным входом (Chu & Буррус, 1982).[11]
Многомерное дискретное преобразование Хартли (MD-DHT)
RD-DHT (MD-DHT с размерами "r") определяется как
с и где
Как и в случае 1-D, как действительное и симметричное преобразование, MD-DHT проще, чем MD-DFT. Во-первых, обратный DHT идентичен прямому преобразованию с добавлением коэффициента масштабирования;
и, во-вторых, поскольку ядро реально, оно позволяет избежать вычислительной сложности сложные числа. Кроме того, DFT можно напрямую получить из DHT с помощью простой аддитивной операции (Bracewell, 1983).[2]
MD-DHT широко используется в таких областях, как обработка изображений и оптических сигналов. Конкретные приложения включают компьютерное зрение, телевидение высокой четкости и телеконференции, области, которые обрабатывают или анализируют движущиеся изображения (Zeng, 2000).[12]
Быстрые алгоритмы для MD-DHT
По мере того, как скорость вычислений продолжает расти, более крупные многомерные задачи становятся вычислительно выполнимыми, что требует быстрых многомерных алгоритмов. Следуют три таких алгоритма.
В поисках отделимости для эффективности мы рассматриваем следующее преобразование (Bracewell, 1983):[2]
Это было показано в Bortfeld (1995),[13] что их можно связать несколькими дополнениями. Например, в 3-D,
За затем могут быть реализованы алгоритмы строка-столбец. Этот метод обычно используется из-за простоты таких алгоритмов R-C, но они не оптимизированы для общих пространств M-D.
Были разработаны другие быстрые алгоритмы, такие как radix-2, radix-4 и split radix. Например, Буссакта (2000)[14] разработал трехмерную векторную систему счисления,
Он также был представлен в Boussakta (2000).[14] что этот алгоритм системы счисления 3D-вектора принимает умножения и дополнения по сравнению с умножения и дополнения по принципу "строка-столбец". Недостатком является то, что реализация этих алгоритмов основанного на системе счисления трудно обобщить для сигналов произвольной размерности.
Теоретико-числовые преобразования также использовались для решения MD-DHT, поскольку они выполняют чрезвычайно быстрые свертки. В Boussakta (1988),[15] было показано, как разложить преобразование MD-DHT в форму, состоящую из сверток:
Для случая 2-D (случай 3-D также рассматривается в указанной ссылке),
,
можно разложить на 1-D и 2-D круговые свертки следующим образом:
куда
Развитие дальше,
На этом этапе мы представляем преобразование числа Ферма (FNT). Тth Число Ферма дан кем-то , с . Хорошо известные числа Ферма предназначены для ( является основным для ), (Буссакта, 1988).[15] Преобразование числа Ферма дается формулой
с . и корни единства порядка и соответственно .
Возвращаясь к разложению, последний член для будем обозначать , тогда
Если и находятся первобытные корни из и (которые гарантированно существуют, если и находятся основной ) тогда и карта к Итак, отображение и к и , получается следующее,
.
Который сейчас круговая свертка. С участием , , и , надо
куда обозначает посрочное умножение. Об этом также говорилось в (Boussakta, 1988).[15] что этот алгоритм уменьшает количество умножений в 8–20 раз по сравнению с другими алгоритмами DHT за счет небольшого увеличения количества операций сдвига и сложения, которые считаются более простыми, чем умножения. Недостатком этого алгоритма является ограничение, заключающееся в том, что каждое измерение преобразования имеет первобытный корень.
Рекомендации
- ^ Хартли, Ральф В. Л. (Март 1942 г.). «Более симметричный анализ Фурье применительно к задачам передачи». Труды IRE. 30 (3): 144–150. Дои:10.1109 / JRPROC.1942.234333.
- ^ а б c Брейсуэлл, Рональд Н. (1983). «Дискретное преобразование Хартли». Журнал Оптического общества Америки. 73 (12): 1832–1835. Дои:10.1364 / josa.73.001832.
- ^ Соренсен, Хенрик В .; Джонс, Дуглас Л.; Буррус, Чарльз Сидни; Хайдеман, Майкл Т. (1985). «О вычислении дискретного преобразования Хартли». Транзакции IEEE по акустике, речи и обработке сигналов. АССП-33 (4): 1231–1238.
- ^ Бини, Дарио Андреа; Боззо, Энрико (1993). «Быстрое дискретное преобразование с помощью собственных многочленов». Компьютеры и математика (с приложениями). 26 (9): 35–52. Дои:10.1016 / 0898-1221 (93) 90004-ф.
- ^ Брейсуэлл, Рональд Н. (1984). «Быстрое преобразование Хартли». Труды IEEE. 72 (8): 1010–1018. Дои:10.1109 / proc.1984.12968.
- ^ Брейсуэлл, Рональд Н. (1995). «Вычисления с преобразованием Хартли». Компьютеры в физике. 9 (4): 373–379. Bibcode:1995ComPh ... 9..373B. Дои:10.1063/1.168534.
- ^ Соренсен, Хенрик В .; Джонс, Дуглас Л.; Хайдеман, Майкл Т .; Буррус, Чарльз Сидни (1987). «Действительные алгоритмы быстрого преобразования Фурье». Транзакции IEEE по акустике, речи и обработке сигналов. АССП-35 (6): 849–863.
- ^ Дюамель, Пьер; Веттерли, Мартин (1987). «Улучшенные алгоритмы преобразования Фурье и Хартли: приложение к циклической свертке реальных данных». Транзакции IEEE по акустике, речи и обработке сигналов. АССП-35: 818–824.
- ^ Поповић [Попович], Миодраг [Миодраг]; Шевич, Драгутин (1994). «Новый взгляд на сравнение быстрых преобразований Хартли и Фурье». Транзакции IEEE при обработке сигналов. 42 (8): 2178–2182. Bibcode:1994ITSP ... 42.2178P. Дои:10.1109/78.301854.
- ^ Фриго, Маттео; Джонсон, Стивен Г. (2005). «Дизайн и реализация FFTW3» (PDF). Труды IEEE. 93 (2): 216–231. CiteSeerX 10.1.1.66.3097. Дои:10.1109 / jproc.2004.840301.}
- ^ Чу, Шуни; Буррус, Чарльз Сидни (1982). "Основной фактор FTT [sic] алгоритм с использованием распределенной арифметики ». Транзакции IEEE по акустике, речи и обработке сигналов. 30 (2): 217–227. Дои:10.1109 / тассп.1982.1163875.
- ^ Цзэн, Юнхан; Би, Гоань; Лейман, Абдул Рахим (2000). "Алгоритмы полиномиального преобразования для многомерного дискретного преобразования Хартли". Международный симпозиум IEEE по схемам и системам (V): 517–520.
- ^ Бортфельд, Томас; Динтер, Вольфганг (1995). «Вычисление многомерных преобразований Хартли с использованием одномерных преобразований Фурье». Транзакции IEEE при обработке сигналов. 43 (5): 1306–1310. Bibcode:1995ITSP ... 43.1306B. Дои:10.1109/78.382424.
- ^ а б Буссакта, Саид; Алшибами, Усама (2000). «Быстрый алгоритм для трехмерного дискретного преобразования Хартли». Международная конференция по акустике, речи и обработке сигналов '00 (4): 2302–2305.
- ^ а б c Буссакта, Саид; Холт, Алан Дж. Дж. (1988). «Быстрое многомерное дискретное преобразование Хартли с использованием преобразования числа Ферма». IEE Proceedings G - Электронные схемы и системы. 135 (6): 235–237. Дои:10.1049 / ip-g-1.1988.0036.
дальнейшее чтение
- Брейсуэлл, Рональд Н. (1986). Преобразование Хартли (1-е изд.). Oxford University Press. ISBN 978-0-19503969-6.
- Буссакта, Саид; Холт, Алан Дж. Дж. (1988). «Быстрое многомерное дискретное преобразование Хартли с использованием преобразования числа Ферма». IEE Proceedings G - Электронные схемы и системы. 135 (6): 235–237. Дои:10.1049 / ip-g-1.1988.0036.
- Хонг, Джонатан; Веттерли, Мартин; Дюамель, Пьер (1994). «Бейсфилд трансформируется со свойством свертки» (PDF). Труды IEEE. 82 (3): 400–412. Дои:10.1109/5.272145.
- О'Нил, Марк А. (1988). «Быстрее быстрого Фурье». БАЙТ. 13 (4): 293–300.
- Olnejniczak, Kraig J .; Хейдт, Джеральд Т. (март 1994). «Сканирование специального раздела по преобразованию Хартли». Труды IEEE. 82: 372–380. (NB. Содержит обширную библиографию.)