2012-04-30
コンパイル時離散フーリエ変換(DFT)
Sprout.Numeric.DFT は、constexpr DFT アルゴリズムを提供します。
https://github.com/bolero-MURAKAMI/Sprout/tree/master/sprout/numeric/dft
DFT は周波数解析などに用いられますが、ここでは詳しくは述べません。
とりあえずサンプルコードを見てください。
- 単純な正弦波の DFT
#include <iostream> #include <fstream> #include <sprout/array.hpp> #include <sprout/pit.hpp> #include <sprout/complex.hpp> #include <sprout/numeric/dft.hpp> #include <sprout/range/adaptor.hpp> #include <sprout/functional.hpp> template<typename Elem, typename Traits, typename InputRange> std::basic_ostream<Elem, Traits>& output_plot(std::basic_ostream<Elem, Traits>& os, InputRange const& range) { os << std::fixed; int x = 0; for (auto const& e : range) { os << x++ << ',' << e << '\n'; } return os; } template<typename Elem, typename Traits, typename InputRange> std::basic_ostream<Elem, Traits>& output_plot_real(std::basic_ostream<Elem, Traits>& os, InputRange const& range) { os << std::fixed; int x = 0; for (auto const& e : range) { os << x++ << ',' << real(e) << '\n'; } return os; } int main() { using namespace sprout; constexpr std::size_t size = 256; typedef array<complex<double>, size> container_t; typedef array<double, size> spectrum_t; // 周波数 10 の正弦波を生成 constexpr container_t src_data = adaptors::sinusoidal(10. / size, 10000.) | adaptors::copied; { std::ofstream os("src.txt"); output_plot_real(os, src_data); } // DFT(離散フーリエ変換) constexpr auto dft_data = sprout::dft(begin(src_data), end(src_data), pit<container_t>()); // IDFT(逆離散フーリエ変換) constexpr auto idft_data = sprout::idft(begin(dft_data), end(dft_data), pit<container_t>()); { std::ofstream os("dft_idft.txt"); output_plot_real(os, idft_data); } // 周波数スペクトルに変換 constexpr auto spec_data = sprout::spectrum(begin(dft_data), end(dft_data), pit<spectrum_t>()); { std::ofstream os("spec.txt"); output_plot(os, spec_data); } }
- dft_idft.txt ([DFT→IDFT]で変換→逆変換したもの)
周波数スペクトルのピークが X 軸上の 10 のところにあるので、周波数 10 の正弦波であることがわかります。
変換→逆変換の結果が入力ソースと等しくなっているので、正しく相互変換されていることも確かめられました。
主な機能は、
sprout::dft →DFT
sprout::idft →IDFT(逆変換)
また、正弦波の生成のところで使っているのは、最近 Sprout に追加された Range アダプタです。
adaptors::sinusoidal →正弦波を返す Range アダプタ。そのものを Range として扱うこともできる。
adaptors::copied →他のコンテナへ暗黙の変換をする Range アダプタ。Pstade.Oven の copied と同じ。
もうすこし複雑な例も。
- 重ね合わせた正弦波の DFT
#include <iostream> #include <fstream> #include <sprout/array.hpp> #include <sprout/pit.hpp> #include <sprout/complex.hpp> #include <sprout/numeric/dft.hpp> #include <sprout/range/adaptor.hpp> template<typename Elem, typename Traits, typename InputRange> std::basic_ostream<Elem, Traits>& output_plot(std::basic_ostream<Elem, Traits>& os, InputRange const& range) { os << std::fixed; int x = 0; for (auto const& e : range) { os << x++ << ',' << e << '\n'; } return os; } template<typename Elem, typename Traits, typename InputRange> std::basic_ostream<Elem, Traits>& output_plot_real(std::basic_ostream<Elem, Traits>& os, InputRange const& range) { os << std::fixed; int x = 0; for (auto const& e : range) { os << x++ << ',' << real(e) << '\n'; } return os; } int main() { using namespace sprout; constexpr std::size_t size = 256; typedef array<complex<double>, size> container_t; typedef array<double, size> spectrum_t; // 周波数 10, 25, 35 の正弦波の重ね合わせを生成 constexpr container_t src_data = adaptors::sinusoidal(10. / size, 10000.) | adaptors::transformed(adaptors::sinusoidal(25. / size, 5000.), plus<double>()) | adaptors::transformed(adaptors::sinusoidal(35. / size, 7500.), plus<double>()) | adaptors::copied ; { std::ofstream os("src.txt"); output_plot_real(os, src_data); } // DFT(離散フーリエ変換) constexpr auto dft_data = sprout::dft(begin(src_data), end(src_data), pit<container_t>()); // IDFT(逆離散フーリエ変換) constexpr auto idft_data = sprout::idft(begin(dft_data), end(dft_data), pit<container_t>()); { std::ofstream os("dft_idft.txt"); output_plot_real(os, idft_data); } // 周波数スペクトルに変換 constexpr auto spec_data = sprout::spectrum(begin(dft_data), end(dft_data), pit<spectrum_t>()); { std::ofstream os("spec.txt"); output_plot(os, spec_data); } }
- dft_idft.txt ([DFT→IDFT]で変換→逆変換したもの)
これもやはりピークが 10, 25, 35 のところにあり、正しく変換されています。
ここでは、正弦波の合成に transformed Range アダプタを使っています。
adaptors::transformed →Range の各要素をファンクタで変換する。1引数版と2引数版がある。
もし Range アダプタを使わなければ、一々テンポラリのコンテナを生成しなければならず非効率なので、
Range アダプタの有用性を示すケースであるとも言えます。
sprout::dft の実装は、離散フーリエ変換の数学的定義を素直にコードに落としたものです。
最初は FFT(高速フーリエ変換) のアルゴリズムを実装しようと思ったのですが、
FFT アルゴリズムは空間の再利用とループを必要とするため、constexpr で同様の実装をすることは、
不可能であるかまたは却って非効率な処理にならざるをえず断念しました。
以上のサンプルではコードによって生成した波形を解析していますが、
例のごとく #include でテキストを取り込めば外部のソースを解析することもできるでしょう。
さて、コンパイル時に DFT を走らせて何の役に立つかと言えば、
あなたのコーヒータイムが伸びることで人生にほんの少しゆとりが生まれるかもしれません。
もっと楽しそうな使い方があればぜひ教えてください。
- 72 http://www.google.co.jp/url?sa=t&rct=j&q=&esrc=s&source=web&cd=1&ved=0CCwQFjAA&url=http://d.hatena.ne.jp/boleros/20100726/1280115614&ei=VbGfT5qvCoeKmQXJoZzcAQ&usg=AFQjCNE2DDIRphw4xnH0ox0tB-ClF1Jehg&sig2=N3Bdnfzf2sItJc3_v2JXqA
- 31 http://www.google.co.jp/url?sa=t&rct=j&q=&esrc=s&source=web&cd=2&ved=0CDAQFjAB&url=http://d.hatena.ne.jp/boleros/20110926/1317032046&ei=kqGeT8GIJOyhmQXdvsnDDg&usg=AFQjCNGv-WEGjQx8TMNbOY8KxaXy_b0IAg&sig2=6wEBKBju50YN3tDIb_kx9Q
- 26 http://t.co/V9KgNNcZ
- 23 http://www.google.co.jp/url?sa=t&rct=j&q=&esrc=s&source=web&cd=3&ved=0CEMQFjAC&url=http://d.hatena.ne.jp/boleros/20110307/1299471666&ei=mAefT7zcIu2hmQWrnqS8Dg&usg=AFQjCNHNog7rIKINrUhDmxqoYBeiGSYo_A&sig2=N2-_EfIOQoitYitu88aPxw
- 22 http://t.co/JxaxMywx
- 17 http://t.co/hP8iAyRm
- 15 http://twitter.com/
- 15 http://www.google.co.jp/url?sa=t&rct=j&q=&esrc=s&source=web&cd=4&ved=0CD0QFjAD&url=http://d.hatena.ne.jp/boleros/20111209&ei=WLqgT5n4IM_kmAWx38yxCA&usg=AFQjCNE6xo81LCE-evEVNGzokj769J0mRw&sig2=CjBndpSHHfHpS1INi3-psw
- 14 http://t.co/oR9C32d5
- 11 http://longurl.org






