京都大学 情報学研究科 知能情報学専攻 2020年8月実施 専門科目 S-5
Author
realball
Description
The Fourier spectrum of a continuous-time signal f ( t ) f(t) f ( t ) is given by F ( ω ) = ∫ − ∞ ∞ f ( t ) e − j ω t d t F(\omega) = \int_{-\infty}^{\infty}f(t)e^{-j\omega t}dt F ( ω ) = ∫ − ∞ ∞ f ( t ) e − jω t d t ,
where j j j denotes the imaginary unit.
Let X [ k ] X[k] X [ k ] denote discrete Fourier transform of a finite-length discrete signal of length N N N , x [ n ] ( n = 0 , … , N − 1 ) x[n] \ (n = 0, \ldots, N-1) x [ n ] ( n = 0 , … , N − 1 ) .
Answer the following questions.
Q.1
Suppose that f ( t ) f(t) f ( t ) is an even function, that is f ( x ) = f ( − x ) . f(x) = f(-x). f ( x ) = f ( − x ) . The Fourier spectrum of f ( t ) f(t) f ( t ) is given by
F ( ω ) = 2 ∫ 0 ∞ f ( t ) ( A ) d t . F(\omega) = 2 \int_0^{\infty} f(t) \boxed{\ (A)\ }dt. F ( ω ) = 2 ∫ 0 ∞ f ( t ) ( A ) d t .
Answer ( A ) \boxed{\ (A)\ } ( A ) . Calculation procedure must also be included in the answer.
Q.2
Let x s [ n ] x_s[n] x s [ n ] be the circular shifted version of x [ n ] x[n] x [ n ] by s s s ,
x s [ n ] = { x [ N + n − s ] ( n < s ) x [ n − s ] ( n ≥ s ) x_s[n] = \begin{cases}
x[N+n-s] &(n<s) \\
x[n-s] &(n \geq s)
\end{cases} x s [ n ] = { x [ N + n − s ] x [ n − s ] ( n < s ) ( n ≥ s )
The discrete Fourier transform of x s [ n ] x_s[n] x s [ n ] is given by ( B ) X [ k ] \boxed{\ (B)\ }X[k] ( B ) X [ k ] .
Answer ( B ) \boxed{\ (B)\ } ( B ) . Calculation procedure must also be included in the answer.
Q.3
Let y [ n ] y[n] y [ n ] be a finite-length discrete signal of length 2 N 2N 2 N ,
y [ n ] = { x [ n ] ( 0 ≤ n < N ) x [ 2 N − 1 − n ] ( N ≤ n < 2 N ) . y[n] = \begin{cases}
x[n] &(0 \leq n < N) \\
x[2N-1-n] &(N \leq n < 2N).
\end{cases} y [ n ] = { x [ n ] x [ 2 N − 1 − n ] ( 0 ≤ n < N ) ( N ≤ n < 2 N ) .
The discrete Fourier transform of y [ n ] y[n] y [ n ] is given by
Y [ k ] = 2 ( C ) ∑ n = 0 N − 1 x [ n ] cos ( ( D ) ) . Y[k] = 2 \boxed{\ (C)\ } \sum_{n=0}^{N-1} x[n] \cos (\boxed{\ (D)\ }). Y [ k ] = 2 ( C ) n = 0 ∑ N − 1 x [ n ] cos ( ( D ) ) .
Answer ( C ) \boxed{\ (C)\ } ( C ) and ( D ) \boxed{\ (D)\ } ( D ) . Calculation procedure must also be included in the answer.
Q.4
The transform of x [ n ] x[n] x [ n ] ,
X D C T [ k ] = α k ∑ n = 0 N − 1 x [ n ] cos ( ( D ) ) , α 0 = 1 / N , α k = 2 / N X_{DCT}[k] = \alpha_k \sum_{n=0}^{N-1} x[n] \cos (\boxed{\ (D)\ }), \alpha_0 = 1/\sqrt{N}, \alpha_k = \sqrt{2/N} X D CT [ k ] = α k n = 0 ∑ N − 1 x [ n ] cos ( ( D ) ) , α 0 = 1/ N , α k = 2/ N
is known as a discrete cosine tranform (DCT-II), and is used in data compression such as JPEG.
Explain an advantage of the discrete cosine transform compared to the discrete Fourier transform in terms of data compression.
题目描述
连续时间信号 f ( t ) f(t) f ( t ) 的 Fourier 变换为
F ( ω ) = ∫ − ∞ ∞ f ( t ) e − j ω t d t F(\omega)=\int_{-\infty}^{\infty}f(t)e^{-j\omega t}\,dt F ( ω ) = ∫ − ∞ ∞ f ( t ) e − jω t d t 。长度 N N N 的离散信号为 x [ n ] x[n] x [ n ] (n = 0 , … , N − 1 n=0,\ldots,N-1 n = 0 , … , N − 1 ),其 DFT 记为 X [ k ] X[k] X [ k ] 。回答各空并写出推导。
若 f ( t ) f(t) f ( t ) 为偶函数,则
F ( ω ) = 2 ∫ 0 ∞ f ( t ) ( A ) d t . F(\omega)=2\int_0^\infty f(t)\boxed{(A)}\,dt. F ( ω ) = 2 ∫ 0 ∞ f ( t ) ( A ) d t .
求 ( A ) (A) ( A ) 。
将 x [ n ] x[n] x [ n ] 循环右移 s s s 位:
x s [ n ] = { x [ N + n − s ] , n < s , x [ n − s ] , n ≥ s . x_s[n]=
\begin{cases}
x[N+n-s],&n x s [ n ] = { x [ N + n − s ] , x [ n − s ] , n < s , n ≥ s .
其 DFT 为 ( B ) X [ k ] \boxed{(B)}X[k] ( B ) X [ k ] 。求 ( B ) (B) ( B ) 。
构造长度 2 N 2N 2 N 的偶对称延拓
y [ n ] = { x [ n ] , 0 ≤ n < N , x [ 2 N − 1 − n ] , N ≤ n < 2 N . y[n]=
\begin{cases}
x[n],&0\le n<N,\\
x[2N-1-n],&N\le n<2N.
\end{cases} y [ n ] = { x [ n ] , x [ 2 N − 1 − n ] , 0 ≤ n < N , N ≤ n < 2 N .
其 DFT 写为
Y [ k ] = 2 ( C ) ∑ n = 0 N − 1 x [ n ] cos ( ( D ) ) . Y[k]=2\boxed{(C)}
\sum_{n=0}^{N-1}x[n]\cos\bigl(\boxed{(D)}\bigr). Y [ k ] = 2 ( C ) n = 0 ∑ N − 1 x [ n ] cos ( ( D ) ) .
求 ( C ) , ( D ) (C),(D) ( C ) , ( D ) 。
定义 DCT-II
X D C T [ k ] = α k ∑ n = 0 N − 1 x [ n ] cos ( ( D ) ) , α 0 = 1 N , α k = 2 N . X_{\mathrm{DCT}}[k]=\alpha_k
\sum_{n=0}^{N-1}x[n]\cos\bigl(\boxed{(D)}\bigr),
\quad
\alpha_0=\frac1{\sqrt N},\quad
\alpha_k=\sqrt{\frac2N}. X DCT [ k ] = α k n = 0 ∑ N − 1 x [ n ] cos ( ( D ) ) , α 0 = N 1 , α k = N 2 .
从数据压缩角度说明 DCT 相比 DFT 的一个优势,例如其在 JPEG 中的使用。
偶信号 Fourier 变换 :利用正弦项奇对称消失,将变换化为实余弦积分。
DFT 循环移位性质 :通过索引代换推导时域循环移位对应的频域线性相位因子。
偶延拓与 DCT-II :把 2 N 2N 2 N 点 DFT 配对为余弦和,确定相位因子与余弦角度。
变换编码能量集中 :说明实信号 DCT 的边界延拓减少不连续,常使低频少量系数集中更多能量且无需复数系数。
Kai
Q.1
F ( ω ) = ∫ − ∞ ∞ f ( t ) e − j ω t d t = ∫ − ∞ ∞ f ( t ) [ cos ( ω t ) − j sin ( ω t ) d t ] = ∫ − ∞ ∞ f ( t ) cos ( ω t ) d t − ∫ − ∞ ∞ f ( t ) j sin ( ω t ) d t = ∫ − ∞ ∞ f ( t ) cos ( ω t ) d t \begin{aligned}
\mathcal{F}(\omega)
&=\int_{-\infty}^{\infty} f(t)e^{-j\omega t}dt\\
&= \int_{-\infty}^{\infty}f(t)\left[\cos(\omega t)-j \sin(\omega t)dt \right]\\
&= \int_{-\infty}^{\infty}f(t)\cos(\omega t)dt - \int_{-\infty}^{\infty}f(t)j \sin(\omega t)dt\\
&= \int_{-\infty}^{\infty}f(t)\cos(\omega t)dt
\end{aligned} F ( ω ) = ∫ − ∞ ∞ f ( t ) e − jω t d t = ∫ − ∞ ∞ f ( t ) [ cos ( ω t ) − j sin ( ω t ) d t ] = ∫ − ∞ ∞ f ( t ) cos ( ω t ) d t − ∫ − ∞ ∞ f ( t ) j sin ( ω t ) d t = ∫ − ∞ ∞ f ( t ) cos ( ω t ) d t
Thus, blank (A) is cos ( ω t ) \cos(\omega t) cos ( ω t ) .
Q.2
X s [ k ] = ∑ n = 0 N − 1 x s [ n ] e − j 2 π N k n = ∑ n = 0 S − 1 x [ N + n − s ] e − j 2 π N k n + ∑ n = s N − 1 x [ n − s ] e − j 2 π N k n assume 1 ◯ : m = N + n − s ; n = m + s − N assume 2 ◯ : m = n − s ; n = m + s = ∑ m = N − s N − 1 x [ m ] e − j 2 π N k ( m + s − N ) + ∑ m = 0 N − S − 1 x [ m ] e − j 2 π N k ( m + s ) = e − j 2 π N k s ∑ m = 0 N − 1 x [ m ] e − j 2 π N k m Thus: x s [ k ] = X [ k ] e − j 2 π N k s Then: ( B ) = e − j 2 π N k s \begin{aligned}
X_s[k]&= \sum_{n=0}^{N-1}x_s[n]e^{-j\frac{2\pi}{N}kn}\\
&=\sum_{n=0}^{S-1}x[N+n-s]e^{-j\frac{2\pi}{N}kn}+\sum_{n=s}^{N-1}x[n-s]e^{-j\frac{2\pi}{N}kn}\\
&\text{assume \textcircled{1}:} m=N+n-s;n=m+s-N\\
&\text{assume \textcircled{2}:} m=n-s;n=m+s\\
&=\sum_{m=N-s}^{N-1}x[m]e^{-j\frac{2\pi}{N}k(m+s-N)}+\sum_{m=0}^{N-S-1}x[m]e^{-j\frac{2\pi}{N}k(m+s)}\\
&=e^{-j\frac{2\pi}{N}ks}\sum_{m=0}^{N-1}x[m]e^{-j\frac{2\pi}{N}km}\\
&\text{Thus: } x_s[k]=X[k]e^{-j\frac{2\pi}{N}ks}\\
&\text{Then: } (B)=e^{-j\frac{2\pi}{N}ks}
\end{aligned} X s [ k ] = n = 0 ∑ N − 1 x s [ n ] e − j N 2 π kn = n = 0 ∑ S − 1 x [ N + n − s ] e − j N 2 π kn + n = s ∑ N − 1 x [ n − s ] e − j N 2 π kn assume 1 ◯ : m = N + n − s ; n = m + s − N assume 2 ◯ : m = n − s ; n = m + s = m = N − s ∑ N − 1 x [ m ] e − j N 2 π k ( m + s − N ) + m = 0 ∑ N − S − 1 x [ m ] e − j N 2 π k ( m + s ) = e − j N 2 π k s m = 0 ∑ N − 1 x [ m ] e − j N 2 π km Thus: x s [ k ] = X [ k ] e − j N 2 π k s Then: ( B ) = e − j N 2 π k s
Q.3
Y [ k ] = ∑ n = 0 2 N − 1 x [ n ] e − j 2 π 2 N k n = ∑ n = 0 N − 1 x [ n ] e − j π N k n + ∑ n = N 2 N − 1 x [ 2 N − 1 − n ] e − j π N k n = ∑ n = 0 N − 1 x [ n ] e − j π N k n + ∑ n = 0 N − 1 x [ N − 1 − n ] e − j π N k n = ∑ n = 0 N − 1 x [ n ] e − j π N k n + ∑ m = 0 N − 1 x [ m ] e − j π N k ( N − 1 − m ) = ∑ n = 0 N − 1 x [ n ] e − j π N k n + ∑ m = 0 N − 1 x [ m ] e j π N k ( m + 1 ) = e j π 2 N k ( ∑ n = 0 N − 1 x [ n ] e − j π k 2 n + 1 2 N + ∑ n = 0 N − 1 x [ n ] e j π k 2 n + 1 2 N ) = 2 e j π 2 N k ( ∑ n = 0 N − 1 x [ n ] e − j π k 2 n + 1 2 N + e j π k 2 n + 1 2 N 2 ) = 2 e j π 2 N k ( ∑ n = 0 N − 1 x [ n ] cos 2 n + 1 2 N π k ) \begin{aligned}
Y[k]
&= \sum_{n=0}^{2N-1}x[n] e^{-j\frac{2\pi}{2N}kn} \\
&= \sum_{n=0}^{N-1}x[n] e^{-j\frac{\pi}{N}kn} + \sum_{n=N}^{2N-1}x[2N-1-n] e^{-j\frac{\pi}{N}kn} \\
&= \sum_{n=0}^{N-1}x[n] e^{-j\frac{\pi}{N}kn} + \sum_{n=0}^{N-1}x[N-1-n] e^{-j\frac{\pi}{N}kn} \\
&= \sum_{n=0}^{N-1}x[n] e^{-j\frac{\pi}{N}kn} + \sum_{m=0}^{N-1}x[m] e^{-j\frac{\pi}{N}k(N-1-m)} \\
&= \sum_{n=0}^{N-1}x[n] e^{-j\frac{\pi}{N}kn} + \sum_{m=0}^{N-1}x[m] e^{j\frac{\pi}{N}k(m+1)} \\
&= e^{j\frac{\pi}{2N}k}\left( \sum_{n=0}^{N-1}x[n] e^{-j\pi k\frac{2n+1}{2N}} + \sum_{n=0}^{N-1}x[n] e^{j\pi k\frac{2n+1}{2N}} \right) \\
&= 2e^{j\frac{\pi}{2N}k}\left( \sum_{n=0}^{N-1}x[n] \frac{e^{-j\pi k\frac{2n+1}{2N}} + e^{j\pi k\frac{2n+1}{2N}}}{2} \right) \\
&= 2e^{j\frac{\pi}{2N}k}\left( \sum_{n=0}^{N-1}x[n] \cos \frac{2n + 1}{2N}\pi k \right)
\end{aligned} Y [ k ] = n = 0 ∑ 2 N − 1 x [ n ] e − j 2 N 2 π kn = n = 0 ∑ N − 1 x [ n ] e − j N π kn + n = N ∑ 2 N − 1 x [ 2 N − 1 − n ] e − j N π kn = n = 0 ∑ N − 1 x [ n ] e − j N π kn + n = 0 ∑ N − 1 x [ N − 1 − n ] e − j N π kn = n = 0 ∑ N − 1 x [ n ] e − j N π kn + m = 0 ∑ N − 1 x [ m ] e − j N π k ( N − 1 − m ) = n = 0 ∑ N − 1 x [ n ] e − j N π kn + m = 0 ∑ N − 1 x [ m ] e j N π k ( m + 1 ) = e j 2 N π k ( n = 0 ∑ N − 1 x [ n ] e − jπk 2 N 2 n + 1 + n = 0 ∑ N − 1 x [ n ] e jπk 2 N 2 n + 1 ) = 2 e j 2 N π k ( n = 0 ∑ N − 1 x [ n ] 2 e − jπk 2 N 2 n + 1 + e jπk 2 N 2 n + 1 ) = 2 e j 2 N π k ( n = 0 ∑ N − 1 x [ n ] cos 2 N 2 n + 1 πk )
Q.4
Better concentrate energy