情報通信システム(3) http://www10.plala.or.jp/katofmly/chiba-u/ 2015年5月12日 火曜日 午後4時10分~5時40分 NTT-IT Corp. 加藤 洋一 千葉大学 3- 2 FFTの例 • フーリエ級数(三角関数版→指数関数版) → フーリエ変換→標本化定理(ナイキスト定理,サ ンプリング定理,ともいう) →ディジタルフーリエ 変換→高速ディジタルフーリエ変換(FFT) WaveSpectra 波形表示部(縦軸は振幅, 横軸は時間) 周波数成分表示部(縦軸は 振幅,横軸は周波数) 千葉大学 3- 3 フーリエ級数まとめ(前回の講義) 周期的に繰り返す信号は、その繰り返しの周波数(基本周波数)の整数倍の サイン波とコサイン波の全てに重みをかけたものの和に展開できる。 基本周波数= 1 0 繰り返しの周期T T -3T/2 t T -T/2 T T/2 3T/2 1周期の平均値a0 重みb1と基本周波数のサイン波をかける 重みa1と基本周波数のコサイン波をかける 重みb2と2・基本周波数のサイン波をかける 全て加 える 重みa2と2・基本周波数のコサイン波をかける 重みb3と3・基本周波数のサイン波をかける 重みa3と3・基本周波数のコサイン波をかける : : 千葉大学 3- 4 フーリエ級数(前回の講義) f (t )が周期Tで繰り返す周期関数で あるとき、 a0 t t f (t ) an cos(n 2 ) bn sin(n 2 ) 2 n 1 T T と展開することができ る。ここで、 T /2 2 t an f (t ) cos(n 2 )dt, T T / 2 T n 0の整数 T /2 2 t bn f (t ) sin(n 2 )dt, T T / 2 T である。 n 0の整数 千葉大学 3- 5 周期的信号の複素フーリエ級数(前回の講義) jn2 Tt f (t ) cn e n T /2 1 cn f ( t ) e T T / 2 (周期的)信号 強度 f(t) 時刻t 周波数n/Tの サイン波 t jn2 T T 強度 c(n) dt 複素フーリエ級数の場合のcnは、その絶 対値が振幅、偏角が初期位相を表す。 n/T 基本周波数のn 倍の周波数 基本周波数=1/T フーリエ級数では、「元の信号が周期的信号である」という条 件がある。この条件がはずせれば、適用範囲が広がる。 フーリエ変換 千葉大学 3- 6 フーリエ変換 T /2 t jn2 1 1 T cn f (t )e dt, で、 T0 T , f 0 とすると、 T T / 2 T0 cn f 0 T0 / 2 T0 / 2 T0 / 2 T0 / 2 f (t )e j 2 n f 0t dt となる。 cnを f 0と f (t )e j 2 n f 0t dt の積、即ち、面積と考 えて図にしてみると以 下のように 書ける。 T 0/2 T 0/2 f (t ) dt T 0 / 2 f (t )e j2 f 0t dt T 0/2 T 0 / 2 f (t )e j 2 n f 0t dt T 0 / 2 n f 0 c0 c1 c2 ・・・・・・・・・ cn cn+1 ・・・・・・・・・ n f 0 f0 f0 3f0 2f0 f0 f0 ・・・・・・・・・ T 0/2 nf0 f0 (n+1)f0 f0 ・・・・・・・・・ f (t )e j 2 ( n1) f 0t dt T 0 / 2 周波数 千葉大学 3- 7 フーリエ変換 T 0/2 F (n f 0 ) T 0/2 f (t ) dt T 0 / 2 f (t )e j2 f 0t dt T 0/2 T 0 / 2 f (t )e j 2 n f 0t dt T 0 / 2 n f 0 c0 c2 c1 ・・・・・・・・・ cn cn+1 f0 3f0 2f0 f0 ・・・・・・・・・ nf0 f0 f0 T 0 / 2 (n+1)f0 ・・・・・・・・・ 周波数 f0 周波数n f 0での、 Cnを面積と見たときの高 F (n f 0 ) f (t )e j 2 ( n 1) f 0 t dt ・・・・・・・・・ n f 0 f0 T 0/2 さを F (n f 0 )とすると、 T0 / 2 f (t )e 2n f 0t dt T0 / 2 ここで、 f 0 (即ち 0 T0 )とすると、 なく連続値となる。そ こで、 n f 0 fとする。すると、 フーリエ変換の公式 n f 0は、飛び飛びの値では F( f ) f (t )e 2 f t dt が得られる。 千葉大学 3- 8 T0を無限大にするということは… フーリエ級数は f (t )が周期Tで繰り返す周期関数で あるときに適用できた 。 T0を無限大にするという ことは、周期が無限大 、即ち、 f (t )は「周期関数 である必要はない」と いうことに他ならない 。 0 t T -T/2 T T/2 T 3T/2 5T/2 フーリエ変換では信号は周期的である必要はない 千葉大学 3- 9 フーリエ逆変換 c e f (t ) n t T n cn F (n f 0 ) f0 なので、 jn2 (複素フーリエ級数の式 ) (前々頁) f (t ) f F (n f n 0 0 )e jn2 t T 1 f0 ) T n この式で f 0 0 (即ち T 0 )の時を考える。 ( は n j 2nf 0t F ( n f ) e f0 0 , n f 0は f , f 0は df となるので、 f (t ) j 2ft F ( f ) e df が得られる(フーリエ 逆変換) 千葉大学 3- 10 フーリエ変換対 F( f ) フーリエ変換 f (t )e j 2ft dt フーリエ逆変換 f (t ) j 2ft F ( f ) e df フーリエ変換 信号の強度(振幅) f(t) フーリエ逆変換 t 時間 周波数成分の大きさ(複素数) F(f) f 周波数 千葉大学 3- 11 フーリエ級数とフーリエ変換の違い フーリエ級数 対象は周期関数(信号) フーリエ変換 T→∞としたので、対象は 周期関数に限らない 変換結果(フーリエ係数) 変換結果は連続で、周波 Cnは離散的( Cnは数列で 数の関数となる。 あり、連続量ではない) さて、フーリエ級数も、フーリエ変換もこのままでは、実際の役には立たない(これは 極論です。理論的な解析には役に立ちます)。というのは、実際に観測する信号 f(t) は初等関数で表されるようなものではないので、積分が簡単には計算ではできない からです(「アナログコンピューター」というのもあることはありますが。。。)。 「使える」形のフーリエ変換は、ディジタル計算が行える「離散フーリエ変換」です。離 散フーリエ変換にたどり着くまで、もう少しの辛抱、です。 千葉大学 3- 12 補足:マイナスの周波数? sin(2 ft ( 1)) sin(2 ft 1) -3 -2 1 1 0.5 0.5 -1 1 2 3 t -0.5 -3 -2 -1 1 3 t -0.5 -1 2 -1 三角関数では、どちらも同じに見える。 1Hz e -1Hz j ( 2 f t 1) jy t=0のポイント 1.5 e j ( 2 ft ( 1)) 1.5 1 1 0.5 -1 1 -0.5 -1 -1.5 x 指数関数では、 マイナスの周 波数は回転が 逆 0.5 -1 1 -0.5 -1 -1.5 千葉大学 3- 13 フーリエ変換の例題(1) 1.5 f(t) ステップ関数:時刻-0.5から0.5までの間だけ値が1、 その他の期間は値が0 1.25 1 f (t ) 1, 0.5 t 0.5 0, otherwise 0.75 0.5 0.25 -1 -0.5 t 0.5 1 1/ 2 1 F ( f ) e j 2ft dt e j 2ft j 2f 1 / 2 sin(f ) f 1/ 2 1 / 2 e j f e j f j 2f F(f) 1 0.75 0.5 0.25 -10 -5 5 10 f 時間的には、有限時間(-0.5 =< t =< 0.5)にしか存在しない(0ではない)f(t)が、無限に 続く無数の周波数の波から成り立っている、ということになる。 フーリエ級数のときの結果と比較 fourier1.gcd: Step Shape 千葉大学 3- 14 フーリエ変換の例題(2) 1.5 F(f) F ( f ) 1, 0.5 f 0.5 0, otherwise 1.25 1 0.75 0.5 0.25 -1 -0.5 周波数が0.5より上では値が0、ということは、「帯 域制限」されている、ということである。 f 0.5 1 1/ 2 1 j 2ft f (t ) e df e j 2ft j 2t 1/ 2 sin(t ) t 1/ 2 1/ 2 e j t e j t j 2t f(t) 1 0.75 0.5 0.25 -10 -5 5 10 t 周波数帯域は制限されているが、信号は無限の時間存在する (「信号が無限の時間存在する」。。なんだか「無理」がありそうな感じですね。。。) 千葉大学 3- 15 時間領域と周波数領域 信号の周波数領域での表現 信号の時間領域での表現 信号強度 1.5 f(t) 周波数成分の大きさ F(f) 1.25 1 1 0.75 0.75 0.5 0.5 時間 t 0.25 -1 -0.5 0.5 1 周波数 0.25 -10 -5 5 • フーリエ級数やフーリエ変換は、信号の時間領域で の表現を、周波数領域での表現に変える変換 • 両者は同じ現象を異なる視点で見ているだけ(逆変 換可能な変換である) 信号強度と周波数成分の大きさは複素数 10 f 千葉大学 3- 16 ちょっと息抜き • 人間の耳は「位相」を聞き分けることができる か? • 近接した2つの周波数のサイン波を同時に鳴 らすと? WaveGenを使って実験します。 千葉大学 3- 17 標本化定理 標本化間隔 ディジタル信号 アナログ信号 標本化 時間 時間 • 標本点の間の値は保存しなくても大丈夫なのだろう か?上記の例では、標本点を「滑らかに」つないでいけ ば元の波形になるように見える。 時間 しかし、上記の例ではうまくいきそうにない。 時間 千葉大学 3- 18 標本化定理(サンプリング定理)の導出 F(f) 1 周波数 0.5 -3 -2 -1 1 -W W 2 3 f 周波数制限された信号を考える。つまり、-W<f<W以外の区 間では、 F(f)は0。本来はF(f)は複素数だが、上図は便宜上実数 のように書いてある。 さらに、便宜的に、 F(f)は、周期2Wで繰り返すとする(下記)。 F(f) 便宜的に繰り返した部分 便宜的に繰り返した部分 1 0.5 -3 -3W -2 -1 -W 1 W 2 3 f 3W この関数をフーリエ級数で展開する(普通、フーリエ級数は、時 間領域の信号を対象にする。周波数領域の関数であるF(f)をさ らにフーリエ級数で展開する、というのはちょっと奇妙な感じだが、 もちろん、数学的には問題ない)。 千葉大学 3- 19 標本化定理(サンプリング定理) f (t ) c e jn2 n t T フーリエ級数展開の式 。 tを f , f (t )を F ( f ), Tを 2Wとすると、 n F( f ) c e n jn2 f 2W c n e f 2W n nとおいた。 n T /2 t jn2 1 T cn f (t )e dt T T / 2 同じように、 1 cn 2W n jn2 W フーリエ係数を求める 式。 tを f , f (t )を F ( f ), Tを 2W , nを nとすると、 F ( f )e jn2 f 2W df W W さて、元の信号を f (t )とすると、 f (t ) F ( f )e j 2ft W W n df t のとき 2W f jn2 n 2W f( ) F ( f )e df 2W W 上の式と比較すると、 cn 1 n f( ) 2W 2W 千葉大学 3- 20 標本化定理(サンプリング定理) n 1 0 1 2 )は連続信号f (t )の t , , , , 2W 2W 2W 2W 2W n の時の値を示している 。つまり、全ての nに対する f ( )がきまれば、 2W c nというフーリエ係数が 求まり、 c nからフーリエ級数で F ( f )が求まる。 cn 1 n f( ) 2W 2W f( F ( f )が求まれば、フーリエ 逆変換で、元の f (t )が求まる。 n 0.5 n n 1 )のように f ( )と f ( )の間の値は知る必要が 2W 2W 2W n 1 なく、 f ( )という 秒毎の値だけわかれば 、元の f (t )が完全に再現で 2W 2W きる。 つまり、例えば、 f( f t n 2W n 0.5 2W n 1 2W 不要 千葉大学 3- 21 標本化定理(サンプリング定理) 最大の周波数成分が WHz に制限されている信号 fw(t) を時間 間隔 1/2W でサンプルした場合、そのサンプル系列(つまりディ ジタル信号)から元の 連続信号 fw(t) を完全に再現できる。 例:人間が聞くことができる音の周波数は、20Hzから20KHzとい われている。音楽CDでは、44.1KHzで音楽をサンプルし、ディジ タルデータとして保存している。即ち、2W=44.1KHzなので、 W=22.05KHzとなる。理論的には、音楽CDは22.05KHzまでの 周波数を含む信号を完全に再生できる(もちろん実際には理論 どおりにはいかないので、大体20KHz程度までの音を再生でき るようである)。 ところで、 1/44.1KHz=22.676マイクロ秒。即ち、音楽CDは 連続信号である音楽を22.676マイクロ秒ごとにサンプルし、そ のサンプル値のみを保存している。 千葉大学 3- 22 標本化定理(完全再現の方法) 1 n cn f( ), 2W 2W F( f ) c e jn2 n f 2W から、 n f 1 n jn2 2W F( f ) f( )e 2W n 2W f (t ) F ( f )e j 2ft f 1 n jn2 2W j 2ft df f( )e e df 2W 2W n W 1 2W n n W n f( ) e 2W W n j 2 ( t )f 2W 1 df 2W n j 2 ( t n ) f 2W n e f( ) 2W j 2 (t n ) 2W W n e j ( 2Wt n ) e j ( 2Wt n ) n sin( (2Wt n)) f( ) ) f( 2W j 2 (2Wt n) n 2W (2Wt n) 千葉大学 3- 23 標本化定理(完全再現の方法) n sin( (2Wt n)) f (t ) f ( ) 2W (2Wt n) n n この式で、サンプル値 列f ( )から、元の信号 f (t )を再生できる。 2W Gcalcで確認 標本化定理が成立するには、元の信号が周波数Wに制限さ れている必要がある。この条件は、一般的な音声信号、音楽 信号、映像信号では普通に達成できる。たとえば、音楽の場 合、人間の耳に聞こえる周波数の最大値は決まっているなど。 標本化定理は、アナログ信号とディジタル信号の関係を規定 する最も重要な法則である。 サンプリング定理,ナイキストの定理,とも呼ばれています 千葉大学 3- 24 標本化定理(完全再現の確認) W=100Hz 2W= 200Hz 1/ 2W= 0.005sec=5m sec f (t ) = 3 sin ( 2 15 t + 1 ) + 2 sin ( 2 70 t + 2 ) + cos( 2 80 t + 3 ) 0 <= t < 0.2 (second) (f=15Hz) (f=70Hz) (f=80Hz) 実際の数値をプログラ ムで計算し、グラフソ フトで表示してみる。 信号のグラフと、サンプル値から再生された信号のグラフは、両端を除き、 よく一致している。両端のさらに外側では信号値は0と考えられるが、そこ で、「急に」値が変化するため、W以上の周波数成分が存在する。このため、 両端ではうまく再生できないこととなる。 (Sampling.demをgnuplotで表示) 千葉大学 3- 25 標本化定理(完全再現ができない場合) W=100Hz 2W= 200Hz 1/ 2W= 0.005sec=5m sec f (t ) = 3 sin ( 2 15 t + 1 ) + 2 sin ( 2 70 t + 2 ) + cos( 2 120 t + 3 ) 0 <= t < 0.2 (second) (f=15Hz) (f=70Hz) (f=120Hz) 実際の数値をプログラ ムで計算し、グラフソ フトで表示してみる。 W=100Hzにもかかわらず、上記信号は120Hzの成分を含んでいる。 この場合は、再生信号とオリジナル信号との誤差が大きくなることが わかる。 千葉大学 3- 26 予習のお願い • 今回の講義でも使いましたが、教材として Pythonという言語で書いたプログラムを用い ます。 • Pythonは、最初に学習するプログラミング言 語として最適といわれています。 • Pythonに関する説明をしようと考えています。 そこで、皆さんもPythonの処理系を自分の PCにインストールし、できれば、予めいろいろ 試してください。 • PythonのWindows版のダウンロードURLは、 本講義のホームページにあります。 千葉大学 3- 27 標本化した信号の数学的取り扱いについて f (nT ), t nT , nは整数 f * (t ) otherwise 0, f (t ) 標本化 t t 連続信号なので積分ができる t 0 , そこで、 (t ) 0, otherwise (t )dt T このままでは、積分ができない。 (Diracのデルタ関数という) は小さな実数 a (t a) f (t )dt Tf (a) a f (t ) (t nT ) f ( nT ) * n 0 として、f*(t)を標本化された信号列を表す関数とする。f(nT)は数値の列(ディジタル)で あるが、 f*(t)は(一応)連続関数であることに注意。各サンプルにそれぞれデルタ関 数をかけたものの総和になっている。 千葉大学 3- 28 標本化した信号の表現方法について 積分してみると、 f (t ) f * (t ) (t nT ) f (nT ) n 0 f * (t )dt t (t nT ) f (nT )dt n 0 n 0 f (nT ) (t nT )dt f (nT ) T f(t)の積分(斜線の面積) f (t ) f (nT ) 間隔=T n 0 t f*(t)の積分(長方形の面積の合計) 両方とも大体同じ値になる。 千葉大学 3- 29 離散フーリエ変換(DFT) 周期的(と仮定した)なディジタル信号を扱います f (nT ) これは含まない(次の 周期の最初のサンプ ル) n=N-1 t 時刻 N個のサンプル n=0 n=1 繰り返しの周期 N T T の意味が変わっ た。。以前は周期、い まはサンプル間隔 NT 0 サンプリングレート 2W サンプリング間隔 = T = 1 / 2W f (t ) (t nT ) f (nT ) * アナログ的な扱いのための記法 n 0 千葉大学 3- 30 離散フーリエ変換(DFT: Discrete Fourier Transform) N 1 f (t ) (t nT ) f (nT ) を周期 N Tで繰り返す周期信号と する。 * n 0 N 1 一周期分は、 f (t ) (t nT ) f (nT ), t NT と表せる。 * n 0 ここで、 を小さな正の実数とす る。 f * (t ) のフーリエ係数を求め る。 1 ck NT 1 NT 1 N NT * f (t )e jk 2 N 1 NT n 0 f (nT ) N 1 f (nT )e jk 2 t NT 1 dt NT (t nT )e NT N 1 (t nT ) f (nT )e t NT dt n 0 jk 2 jk 2 t NT 1 dt NT N 1 f (nT )Te jk 2 nT NT n 0 n N n 0 ckを Fk、 f (nT )を f nと書き直すと、 信号f nはN個である。 e j ( k N ) 2 n N 1 Fk N e jk 2 N 1 fe n N n 0 n jk 2 n N ( DFTの計算式) なので、 kの範囲は0,1,..., N 1。 千葉大学 3- 31 離散フーリエ逆変換(IDFT: Inverse DFT) 1 N 1 jk2 N Fk fn e ( DFTの計算式) N n 0 離散フーリエ逆変換は 、 n N 1 fn Fk e jk 2 n N である。これを証明す る。 k 0 N 1 1 k 0 N N 1 fe jk 2 m m N e jk 2 n N m 0 1 N N 1 N 1 f e m m 0 1 N jk 2 f e nm N k 0 fn (証明終わり) N 1 N 1 jk 2 m n m jk 2 N N k 0 m 0 N 1 , e k 0 jk 2 nm N N, n m 0, n m 千葉大学 3- 32 離散フーリエ逆変換(IDFT: Inverse DFT) N 1 e nm jk 2 N k 0 N 1 e jk 2 N 1 j 2 nm N k 0 e N 1 N 1 0 N , n m, これは e 1 N だから分かるけど、 k 0 k 0 0, n m これは???? N 1 e j 2 k ( nm) N k 0 k N N 1 ( e j 2 k N ) nm k 0 の部分は、複素平面で の半径1の円を N個の円弧に k 0 分割したときの、各円 弧の始点の総和である 。従って、 0になるのは明らか。 1 1 -0.5 1 0.5 0.5 -1 jy jy jy 0.5 1 x -1 -0.5 0.5 0.5 1 x -1 -0.5 0.5 -0.5 -0.5 -0.5 -1 -1 -1 N=8 これらの値の総和 N=16 N=7 1 x 千葉大学 3- 33 DFTの行列表現 1 Fk N N 1 f e jk 2 n ( DFTの計算式) n 0 W 1, W e 0 1 Fk N n N 1 j 2 1 N ,W e 2 j 2 2 N , W N 1 e j 2 N 1 N と定義すると、 N 1 fW n kn n 0 W 0 W 0 W0 W 0 f 0 F0 0 F1 1 2 N 1 f 1 W W W W 1 0 2 4 2 ( N 1 ) f 2 F 2 W W W W N W 0 W N 1 W 2( N 1) W ( N 1) 2 fN 1 FN 1 ところで、明らかに、 W mN n W n なので、上記の Wの行列の要素は、 N 個の異なる値しかない 。 F 0 は、全信号列の平均値 となる。 千葉大学 3- 34 IDFTの行列表現 N 1 fn Fk e jk 2 n N ( IDFTの計算式) k 0 W 0 1, W 1 e j 2 1 N , W 2 e j 2 2 N , W ( N 1) e j 2 N 1 N N 1 fn Fk W kn k 0 W0 W0 f 0 W 0 f1 0 1 2 W W W f 2 W 0 W 2 W 4 fN 1 W 0 W ( N 1) W 2 ( N 1) F 0 F 1 2 ( N 1) F2 W ( N 1) 2 W FN 1 W0 W ( N 1) と定義すると、 千葉大学 3- 35 DFTとIDFTの実験 DFTとIDFTならディジタル計算ができる。いろいろな信号のDFTを実際に計算してみる。 (dft.demをgnuplotで表示) | Fk | Fk F *k 信号が実数のときは、 Fkは以下のような関係に あることが分かる。 Fkの実部 F ( N k )の実部 Fkの虚部 F ( N k )の虚部 即ち、 1 F (N k) N * 1 N (複素共役) Fk F * ( N k ) N 1 fn e j 2 ( N k ) n 0 N 1 fn e j 2k n N n N * 1 N Fk N 1 n 0 fn e j 2k * n j 2kn N (証明終わり ) n 0 以上から、実数の信号に対するDFTは、0=<k<N/2だけ計算すればよいことが分かる。
© Copyright 2024 ExpyDoc