你的浏览器版本过低,可能导致网站不能正常访问!
为了你能正常使用网站功能,请使用这些浏览器。

如何实现快速傅立叶变换FFT及其应用

[复制链接]
gaosmile 发布时间:2020-6-18 15:52
[导读] 今天来聊聊如何实现快速傅立叶变换FFT及其应用,希望大家喜欢。直接谈FFT,可能没这方面基础的同学,不太能明白,先看看它的相近较容易理解的几个概念吧。
) s& s% l5 s& D1 C3 [+ i
8 ]1 N" j; {7 y# Y! W) I! ~
( x. ], x0 o$ v; W: m! q% C5 A
啥是傅立叶级数?1 U- y! a( C8 ~

在数学中,傅里叶级数(Fourier series)是把类似波的函数表示成简单正弦波的方式。更正式地说法是,它能将任何周期性函数或周期信号分解成一个(可能由无穷个元素组成的)简单振荡函数的集合,即正弦函数和余弦函数(或者,等价地使用复指数),从数学的定义来看,是这样地:

设x(t)是一周期信号,其周期为T。若x(t)在一个周期的能量是有限的,有即

1592465976(1).png

) _) a$ j% J% w. s2 W

则,可以将x(t)展开为傅立叶级数。怎么展开呢?计算如下:

1592466029(1).png ) \4 T% `3 U2 n

公式中的k表示第k次谐波,这是个什么概念呢?不容易理解,看下对于一个方波的前4次谐波合成动图就比较好理解了。这里的合成的概念是时域上的叠加的概念

微信图片_20200618153457.gif
微信图片_20200618153505.png
啥是傅里叶变换?

在数学中,傅里叶变换(Fourier transform FT )是一种数学变换,它将一个函数(通常是一个时间的函数,或一个信号)分解成它的组成频率,例如用组成音符的音量和频率表示一个音乐和弦。傅里叶变换指的是频域表示和将频域表示与时间函数相关联的数学运算。其本质是一种线性积分变换,用于信号在时域(或空域)和频域之间的变换,在物理学和工程学中有许多应用。因其基本思想首先由法国学者约瑟夫·傅里叶系统地提出,所以以其名字来命名以示纪念。实际上傅里叶变换就像化学分析,确定物质的基本成分;信号来自自然界,也可对其进行分析,确定其基本频率成分。其数学定义为:

对于连续时间信号x(t),若x(t)在时间维度上可积分,(实际上并不一定是时间t维度,这里可以是任意维度,只需在对应维度空间可积分即可),即:

1592466069(1).png

那么,x(t)的傅立叶变换存在,且其计算式为:

1592466116(1).png ) \7 z: r* [2 Y* U4 t

其反变换为:

1592466143(1).png
6 a9 x. y% n7 G, g. s

上面这两个公式是啥意思呢?在度量空间可积可以理解成其在度量空间能量有限,也即对其自变量积分(相当于求面积)是一个确定值,那么这样的函数或者信号就可以进行傅立叶变换展开,展开得到的 1592466191(1).png 7 Z# g# t* d' x6 C8 R+ M$ @5 J
就变成是频域的函数了,如果对频率 1592466239(1).png 将函数值绘制出曲线就是我们所说的频谱图,而其反变换就比较好理解了,如果我们知道一个信号或者函数谱密度函数
/ v" K# V! p" z5 K,就可以对应还原出其时域的函数,也能绘制出时域的波形图。
微信图片_20200618153509.gif

当然,本文限定讨论时域信号是因为我们电子系统中的应用最为普遍的就是一个时域信号,当然推而广之,其他的多维度信号也能利用上面定义进行推广,同样在多维空间信号也非常有应用价值,比如2维图像处理等等


- ~9 S1 V  ^9 l* ~

上面两个概念是一个东东么?
  • 傅立叶级数对应的是周期信号,而傅立叶变换则对应的是一个时间连续可积信号(不一定是周期信号)
  • 傅立叶级数要求信号在一个周期内能量有限,而后者则要求在整个区间能量有限
  • 傅立叶级数的对应是离散的,而傅立叶变换则对应是连续的。
    7 W  o! g) g- ~5 d# u& B
故而,两者的物理含义不同,且其量纲也是不同的, 1592466282(1).png # A( H2 H! d0 f, L2 p' B
代表周期信号的第k次谐波幅度的大小,而 1592466315(1).png " z+ F5 g' y' P9 Q5 u
则是频谱密度的概念。所以答案是这两者从本质上不是一个概念,傅立叶级数是周期信号的另一种时域的表达方式,也就是正交级数,它是不同的频率的波形的时域叠加。而傅立叶变换则是完全的频域分析,傅里叶级数适用于对周期性现象做数学上的分析,傅里叶变换可以看作傅里叶级数的极限形式,也可以看作是对周期现象进行数学上的分析,同时也适用于非周期性现象的分析。傅里叶级数适用于对周期性现象做数学上的分析,傅里叶变换可以看作傅里叶级数的极限形式,也可以看作是对周期现象进行数学上的分析,同时也适用于非周期性现象的分析。; ]- w/ H* F: A3 |% i

% _1 l4 ^# m$ B8 g; J

% N& k5 @  e# G, ^啥是离散傅立叶变换?7 P4 @1 ~/ Z6 j2 H: I

离散傅里叶变换(Discrete Fourier Transform,缩写为DFT),是傅里叶变换在时域和频域上都呈离散的形式,将信号的时域采样变换为其DTFT的频域采样。

在形式上,变换两端(时域和频域上)的序列是有限长的,而实际上这两组序列都应当被认为是离散周期信号的主值序列。即使对有限长的离散信号作DFT,也应当将其看作其周期延拓的变换。在实际应用中通常采用快速傅里叶变换计算DFT。

对于N点序列 1592466368(1).png
& l2 ~- u! d* n; [: \# J( Z: J,它的离散傅立叶变换为(DFT)为:

1592466394(1).png 8 e, z; G/ O+ ^/ k! Y) P' W

其中k=0,1,....,N-1,上面的式子展开一下:

1592466424(1).png
" ], f8 ?: p8 i4 ?

微信图片_20200618153513.jpg
% U6 C( \5 ?/ P" H7 O4 N
啥是快速傅立叶变换?2 \% e7 l* C: X1 Z
快速傅立叶变换(Fast Fourier Transform:FFT)是一种计算数字信号序列的离散傅立叶变换(Discrete Fourier Transform:DFT)或其逆变换(IDFT)的算法。傅里叶分析将信号从其原始域(通常是时间或空间)转换为频域的表示,反之亦然。DFT是通过将一系列值分解成不同频率的分量来获得的。这个操作在很多领域中都很有用,但是直接从定义中计算它通常太慢而不实际。FFT通过将DFT矩阵分解成稀疏(大部分为零)因子的乘积来快速计算这种转换。所以其本质是实现离散傅立叶变换的一种优化算法,将时间复杂度从 1592466507(1).png 降低为 1592466463(1).png
$ V9 X7 u  P2 i+ F,其中N为待计算序列的长度。当N非常大时,这种优化在时间维度上提升是非常显著的。尤其在嵌入式应用领域,由于受限于采用的芯片算力往往不强,所以FFT算法较之于DFT的效果是非常有应用价值的。

1994年,Gilbert Strang将FFT描述为“我们一生中最重要的数值算法”,并被IEEE杂志《计算科学与工程》列入20世纪十大算法之一,它深远的影响了我们世界与日常生活。说这个算法改变了世界也不为过。在我们日常生活中很多设备里面都有它的影子,比如手机、比如photoshop,比如数字音响等等。

快速傅立叶算法的最核心思想就是计算机科学里面常见的分治思想,即把一个复杂的问题,分解为一个小的类似问题进行求解。

FFT基本上可分为两类,时间抽取法和频率抽取法,而一般的时间抽取法和频率抽取法只能处理长度N=2M的情况,另外还有组合数基四FFT来处理一般长度的FFT。所谓抽取,就是把长序列分为短序列的过程,可在时域也可在频域进行。最常用的时域抽选方法是按奇偶将长序列不断地变为短序列,结果使输入序列为倒序,输出序列为顺序排列,这就是Coolly—Tukey算法。

假定待变换离散时间序列信号长度为 1592466536(1).png ,将x(n)按照奇偶分组:

1592466565(1).png ; U3 b5 d& V; }

上式可变换为:

1592466587(1).png
" A) K- x% V# N; t

1592466620(1).png
6 u0 ?+ y  u; ?% b

其中,k取0,1,...,N/2-1

从而,

1592466654(1).png
% F) I" m$ H" V8 ~8 P; Y+ b

由于A(k),B(k)都是 1592466686(1).png 点的DFT,X(k)为N点的DFT。那么这一分治思想还可以进一步做下去,这里就不赘述了。

下图就是一个时间抽取的基2FFT算法的示意图:

微信图片_20200618153517.png

对于频率抽取基2的示意图其原理类似,这里放个图:

微信图片_20200618153520.png

不同点:. I+ }+ p/ g% n( e' e" d

  • DIT2 FFT是在时域先进行奇欧倒序,频域输出为正序
  • DIF2 FFT其输入序列在时域是正序,而频域输出为奇偶分开的倒序。
    7 G& E$ X& u7 G) W% ^  _2 x% R8 ?
代码实践

好了,前面码了这么多字,还是不够直观,为了更好说明前面的分治思想,这里放了个递归实现代码测一下看看疗效:

#include <assert.h>
9 x) n. p% Q) X. V( n' _2 i#include <math.h>
1 R+ `; u( b/ ^4 J- V8 Z#include <stdio.h>! f/ H4 V1 O" b
#include <stdlib.h>3 Y) |- v- e0 c" c$ X$ X

6 i# s! y  W/ \$ z: B#define q 8      /* 2^q 点,256 */( O. L* A+ ?3 h
#define N (1<<q)  /* N点 FFT, iFFT */
7 q  C8 }) r4 W* M9 B* c8 L6 k! F3 N8 i. z- J8 M: ^
typedef float real;
0 f! W- D4 E7 m) X+ w8 h: jtypedef struct{
! F( R0 P2 R: x0 M5 X8 X  real Re;
6 D# c; z! P' p' n! v: T7 E6 h  real Im;0 I5 n! z+ n& _2 z* d
} complex;
4 Y; L  K8 ~1 G9 |9 z" Z
: E* |! }# b9 R#ifndef PI% n9 q2 H' S5 i( m
# define PI 3.141592653589793238462643383279502884 |  P+ r7 i2 X( P
#endif/ r: k+ y2 d' |" E$ Q0 H% N
; x9 k8 z, I1 [) G  T4 S
/*为了更好说明分治思想,这里采用递归实现,结束条件为N<=1*/( i# k: i9 s$ q  `( j2 q
void fft( complex *v, int n, complex *tmp )
( @$ n8 t* _8 g5 k! N8 J' A{
  U" s4 M( t& X/ e. i4 u  if(n>1) {   /* N如小于1,直接返回*/! T1 ~4 l, J; C& G
    int k,m;    complex z, w, *vo, *ve;0 u/ x, c: w( ~3 ^/ j& r
    ve = tmp; vo = tmp+n/2;/ U+ Q. U$ @% f
    for(k=0; k<n/2; k++) {
  ^3 u8 J2 j" H- f, }  s4 O* X6 x+ w      ve[k] = v[2*k];6 p/ {4 d* G1 C$ H8 i  V' S
      vo[k] = v[2*k+1];
5 [. L* T( c  K. @0 F* `2 r+ x    }
7 o* l8 ^6 B- T5 `' }2 V. a) S' ]    fft( ve, n/2, v );  /* FFT 偶数序列 v[] */8 v  v2 Q+ O  o
    fft( vo, n/2, v );  /* FFT 偶数序列 v[] */
  T$ K7 j; I0 Y    for(m=0; m<n/2; m++) {
3 w7 g" U2 C, k8 ], V, N      w.Re = cos(2*PI*m/(double)n);
9 P' F2 n; a' f" U( I      w.Im = -sin(2*PI*m/(double)n);
' O$ Y7 L2 j7 G/ B5 u: e      z.Re = w.Re*vo[m].Re - w.Im*vo[m].Im; /* Re(w*vo[m]) */
$ _# B; |4 d+ Z7 U4 r/ d      z.Im = w.Re*vo[m].Im + w.Im*vo[m].Re; /* Im(w*vo[m]) */
9 m, U+ g* J& Z. j8 _      v[  m  ].Re = ve[m].Re + z.Re;( v0 B/ C5 m' |
      v[  m  ].Im = ve[m].Im + z.Im;
' j- V$ r+ N2 N( A# @, j      v[m+n/2].Re = ve[m].Re - z.Re;7 u' M, k; |1 R# [* y
      v[m+n/2].Im = ve[m].Im - z.Im;
( f( L# t9 ^0 y% ]9 k8 A6 l    }
+ ?7 u! h' O! k4 A  L8 u" x  }
9 ?3 y/ _$ _; V/ l! ~2 h% |# n  return;
8 f# v5 W3 D& O5 f# w' w}9 {5 b2 @* Z. V% M3 s

" m5 _+ z5 k7 K  i) q/*为了更好说明分治思想,这里采用递归实现,结束条件为N<=1*/
/ x/ Y, A( x; a8 n- Y$ Bvoid ifft( complex *v, int n, complex *tmp )5 \. n: T3 _6 B& T' u
{
5 b# w# D0 v0 B' ?: y2 |  e  if(n>1) {   + ~! @1 ]: o. f2 X% }
    int k,m;    complex z, w, *vo, *ve;
% J: V; m: q) k# V, _! S! v$ ]. v    ve = tmp; vo = tmp+n/2;" v( U, [' v1 s9 a  U9 H+ o
    for(k=0; k<n/2; k++) {
8 f" I' g- u; k! c      ve[k] = v[2*k];
! s& U% p& I$ E6 {      vo[k] = v[2*k+1];
+ C/ c: A$ f# ~6 O; N2 s6 t" z# t/ d    }* t: P2 k4 h* l$ x; f7 {) J: \
    ifft( ve, n/2, v );  /* FFT 偶数序列 v[] */
. Q! D0 U- d/ b    ifft( vo, n/2, v );  /* FFT 奇数序列 v[] */( n- m: j, L- g5 c4 t
    for(m=0; m<n/2; m++) {& c% A4 M& t7 c8 ]7 @
      w.Re = cos(2*PI*m/(double)n);7 a; q& O9 r+ e
      w.Im = sin(2*PI*m/(double)n);8 `* Z. d, R$ ?! `
      z.Re = w.Re*vo[m].Re - w.Im*vo[m].Im; /* Re(w*vo[m]) */
6 U, |' t$ J! }: I      z.Im = w.Re*vo[m].Im + w.Im*vo[m].Re; /* Im(w*vo[m]) */
. q% I+ U0 }4 v! c( Z2 R      v[  m  ].Re = ve[m].Re + z.Re;
5 A* E  N. N/ s2 M: K7 H! w      v[  m  ].Im = ve[m].Im + z.Im;" P2 }; E4 o/ i. L- E* V
      v[m+n/2].Re = ve[m].Re - z.Re;$ d3 n7 @- M! H7 j- E( P8 b
      v[m+n/2].Im = ve[m].Im - z.Im;2 @( O' p1 t7 A9 N6 u; P1 t& C
    }8 p( z# ^6 c( L6 d
  }" Q. e; a! w9 a- M! p% i
  return;9 Q6 x$ [& X  Z- n8 b2 b
}
' }: j- y$ W" v, s4 n# x; U/ l/ V: F. X+ {
#define SAMPLE_RATE (10000.0f)+ G2 {* y  w1 y6 \8 |# ?( G! |$ q
int main(void)
; n% t& c; q3 v" P{
; S: b* o+ ]* N# x. H+ S$ l5 R3 F  complex v[N], scratch[N];
, b! X* w- M1 v  float amp[N];
0 t) _5 b( I6 |: M7 `( I! f) c* p  int k;5 J( u; F( c! M% D# r
- [% \& A$ ^4 W" B# u9 U' m
  /*模拟一个采样系统,采样率为10KHz,有两个信号:500Hz/2kHz*/" _3 K+ ]; s4 h- p8 N
  for(k=0; k<N; k++) {8 S+ {6 X1 p7 z) |  M2 b, T7 H
    v[k].Re = 1*sin(2*PI*500*k/SAMPLE_RATE)+0.5*sin(2*PI*2000*k/SAMPLE_RATE);
6 ], M9 }% _8 T; Q: M    v[k].Im = 0;//实际信号处理时,虚部常为0
% }! X( y1 V! h6 S  }
' ~: T0 f2 {% R# d   
  x" n  B5 n* K" y0 ~' M8 c3 H  /*输出模拟信号*/
' P  K* j5 j9 {1 Y  for(int i=0;i<N;i++)$ ?& K/ h- Y  M; q8 F* y7 H8 {2 m
  {5 y+ Z& O3 v4 o) H* V% P
      printf("%f,",v.Re);      
  F' X1 o" A5 @" R  }
, C6 O1 I' x) A" p# j" I; S% `# d  printf("\n");  ) X  @) T) S) Z3 d7 \# C6 n
  fft( v, N, scratch );
( r+ f; ^  q; b1 C! v3 k5 K* I* a2 F" I4 l
  for( int i=0;i<N;i++)
6 B( B4 ?1 I% a$ l% I$ n  {0 V+ t. y# X3 G% R* p
      printf("%f,",sqrt(v.Re*v.Re+v.Im*v.Im));
$ P/ l2 }, B6 q8 o  }
7 C2 y6 |  ~" Z: {4 d  printf("\n");  . H4 ?7 q6 z  J
  while(1);1 W/ Y0 m" z8 x4 J4 B/ c# H
}
8 }* w, U$ W# i% x! z. a  u5 {& @

代码来源:http://www.math.wustl.edu/~victor/mfmm/fourier/fft.c

为华盛顿大学的教学代码,上面代码仅测试了正变换,对于逆变换有兴趣的可以试试。

微信图片_20200618153524.png
总结一下

本文目的为了方便理解快速傅立叶的算法思想,如果需要将算法实际应用到单片机或者DSP中,还需要做进一步的优化,实际使用时,一般会将蝶形算子做成一个表,另外也会做定点优化。对于ARM芯片而言,其CMSIS库有现成的实现例子可以直接使用,对于TI系列DSP而言,也内置了FFT代码库,可直接使用。


2 R: a7 ?2 D- _( q/ h
收藏 4 评论1 发布时间:2020-6-18 15:52

举报

1个回答
a707083746 回答时间:2020-6-18 16:35:00
我是来看动态图的,其他看不懂
关于
我们是谁
投资者关系
意法半导体可持续发展举措
创新与技术
意法半导体官网
联系我们
联系ST分支机构
寻找销售人员和分销渠道
社区
媒体中心
活动与培训
隐私策略
隐私策略
Cookies管理
行使您的权利
官方最新发布
STM32N6 AI生态系统
STM32MCU,MPU高性能GUI
ST ACEPACK电源模块
意法半导体生物传感器
STM32Cube扩展软件包
关注我们
st-img 微信公众号
st-img 手机版