114 年 國立臺灣大學電信工程學研究所乙組《通信原理》

📄 試題原卷 免費註冊後即可對照原始考卷 PDF免費註冊

第 1 題5 分

The convolution of x(t)x(t) and y(t)y(t) is denoted by x(t)∗y(t)x(t) * y(t). Find the continuous-time Fourier transform of e−∣t∣∗cos⁡(20πt)e^{-|t|} * \cos(20\pi t).

(A) 11+(ω−20π)2+11+(ω+20π)2\frac{1}{1 + ( \omega - 20\pi)^2} + \frac{1}{1 + ( \omega + 20\pi)^2}
(B) 12(11+(ω−20π)2+11+(ω+20π)2)\frac{1}{2} \left( \frac{1}{1 + ( \omega - 20\pi)^2} + \frac{1}{1 + ( \omega + 20\pi)^2} \right)
(C) 2π1+400π2(δ(ω−20π)+δ(ω+20π))\frac{2\pi}{1 + 400\pi^2} (\delta(\omega - 20\pi) + \delta(\omega + 20\pi))
(D) −12π1+400π2(δ(ω−20π)−δ(ω+20π))\frac{-12\pi}{1 + 400\pi^2} (\delta(\omega - 20\pi) - \delta(\omega + 20\pi))
(E) 2π1+400π2(δ(ω−10π)+δ(ω+10π))\frac{2\pi}{1 + 400\pi^2} (\delta(\omega - 10\pi) + \delta(\omega + 10\pi))

登入後即可作答並保存紀錄。

這一題的完整詳解

核心觀念

本題考查連續時間傅立葉轉換的三個基本公式:

  1. 時域摺積對應頻域相乘:
    F{x(t)∗y(t)}=X(ω)Y(ω)\mathcal{F}\{x(t)*y(t)\}=X(\omega)Y(\omega)

  2. 雙邊指數函數:
    F{e−∣t∣}=21+ω2\mathcal{F}\{e^{-|t|}\}=\frac{2}{1+\omega^2}

  3. 餘弦函數:

F{cos⁡(ω0t)}=π[δ(ω−ω0)+δ(ω+ω0)]\mathcal{F}\{\cos(\omega_0t)\} =\pi\left[\delta(\omega-\omega_0)+\delta(\omega+\omega_0)\right]

本題的角頻率為 ω0=20π\omega_0=20\pi。

解題方法

令

x(t)=e−∣t∣,y(t)=cos⁡(20πt)x(t)=e^{-|t|},\qquad y(t)=\cos(20\pi t)

先分別求傅立葉轉換。

對 x(t)=e−∣t∣x(t)=e^{-|t|}:

X(ω)=∫−∞∞e−∣t∣e−jωt dt=21+ω2X(\omega) =\int_{-\infty}^{\infty}e^{-|t|}e^{-j\omega t}\,dt =\frac{2}{1+\omega^2}

對 y(t)=cos⁡(20πt)y(t)=\cos(20\pi t):

Y(ω)=π[δ(ω−20π)+δ(ω+20π)]Y(\omega) =\pi\left[\delta(\omega-20\pi)+\delta(\omega+20\pi)\right]

題目要求的是時域摺積:

x(t)∗y(t)x(t)*y(t)

因此利用摺積定理:

F{x(t)∗y(t)}=X(ω)Y(ω)\mathcal{F}\{x(t)*y(t)\} =X(\omega)Y(\omega)

代入可得:

X(ω)Y(ω)=21+ω2⋅π[δ(ω−20π)+δ(ω+20π)]\begin{aligned} X(\omega)Y(\omega) &=\frac{2}{1+\omega^2} \cdot\pi\left[\delta(\omega-20\pi)+\delta(\omega+20\pi)\right] \end{aligned}

利用狄拉克脈衝的取樣性質:

f(ω)δ(ω−ω0)=f(ω0)δ(ω−ω0)f(\omega)\delta(\omega-\omega_0) =f(\omega_0)\delta(\omega-\omega_0)

所以

21+ω2δ(ω−20π)=21+(20π)2δ(ω−20π)\frac{2}{1+\omega^2}\delta(\omega-20\pi) = \frac{2}{1+(20\pi)^2}\delta(\omega-20\pi)

同理,

21+ω2δ(ω+20π)=21+(20π)2δ(ω+20π)\frac{2}{1+\omega^2}\delta(\omega+20\pi) = \frac{2}{1+(20\pi)^2}\delta(\omega+20\pi)

因此傅立葉轉換為

🔒

後續完整解題步驟與【答案】

免費註冊,享三天全站完整詳解閱覽。

免費註冊

第 2 題5 分

We consider the following statements:
{I} The continuous-time system S is linear time-invariant if and only if ejω0te^{j\omega_0 t} is an eigenfunction of S for all ω0∈R\omega_0 \in \mathbb{R}.
{II} The discrete-time signal ejωne^{j\omega n} is periodic.
{III} If a system S is memoryless, then S is causal.
Select a choice that best describes these above statements.
(A) {I} is true, {II} is false, and {III} is false.
(B) {I} is true, {II} is true, and {III} is true.
(C) {I} is true, {II} is false, and {III} is true.
(D) {I} is false, {II} is true, and {III} is true.
(E) {I} is false, {II} is false, but {III} is true.

登入後即可作答並保存紀錄。

這一題的完整詳解

核心觀念

本題考查三個基本觀念:

  1. 線性時不變系統與複指數訊號的特徵函數性質。
  2. 離散時間複指數訊號的週期條件。
  3. 無記憶系統與因果系統的關係。

解題方法

Statement I:連續時間 LTI 系統與特徵函數

若系統 SS 為線性時不變系統,輸入

x(t)=ejω0tx(t)=e^{j\omega_0 t}

其輸出為

y(t)=S{ejω0t}=H(jω0)ejω0t,y(t)=S\{e^{j\omega_0 t}\} =H(j\omega_0)e^{j\omega_0 t},

其中 H(jω0)H(j\omega_0) 為系統的頻率響應。因此,ejω0te^{j\omega_0 t} 確實是 LTI 系統的特徵函數。

然而,反向命題不一定成立。僅知道所有複指數輸入皆輸出為同一複指數的倍數,並不能保證系統具有線性。

例如定義系統

S{x(t)}={x(t),x(t) 為單一複指數訊號,0,其他訊號.S\{x(t)\}= \begin{cases} x(t), & x(t)\text{ 為單一複指數訊號},\\ 0, & \text{其他訊號}. \end{cases}

對所有 ejω0te^{j\omega_0t},皆有

S{ejω0t}=ejω0t,S\{e^{j\omega_0t}\}=e^{j\omega_0t},

所以複指數皆為其特徵函數。但若

x1(t)=ejω1t,x2(t)=ejω2t,x_1(t)=e^{j\omega_1t},\qquad x_2(t)=e^{j\omega_2t},

則

S{x1+x2}=0,S\{x_1+x_2\}=0,

而

S{x1}+S{x2}=ejω1t+ejω2t≠0.S\{x_1\}+S\{x_2\} =e^{j\omega_1t}+e^{j\omega_2t}\neq 0.

因此該系統不具線性,Statement I 的「當且僅當」錯誤。


Statement II:離散時間複指數的週期性

離散時間訊號

x[n]=ejωnx[n]=e^{j\omega n}

若具有整數週期 N>0N>0,必須滿足

x[n+N]=x[n].x[n+N]=x[n].

因此

ejω(n+N)=ejωn,e^{j\omega(n+N)}=e^{j\omega n},

消去 ejωne^{j\omega n} 得

ejωN=1.e^{j\omega N}=1.

所以

ωN=2πk,k∈Z,\omega N=2\pi k,\qquad k\in\mathbb{Z},

亦即

ω2π=kN\frac{\omega}{2\pi}=\frac{k}{N}

必須為有理數。

🔒

後續完整解題步驟與【答案】

免費註冊,享三天全站完整詳解閱覽。

免費註冊

第 3 題6 分

Let {ak}k∈Z\{a_k\}_{k\in\mathbb{Z}} be the Fourier series coefficients of a periodic signal x(t)x(t) with period TT. We consider the
truncated signal xN(t)x_N(t) by xN(t)=∑k=−NNakej2πkTtx_N(t) = \sum_{k=-N}^{N} a_k e^{j\frac{2\pi k}{T}t}. We consider the energy in the error is defined
as EN=∫0T∣x(t)−xN(t)∣2dtE_N = \int_{0}^{T} |x(t) - x_N(t)|^2 dt. We have the following statements:
{I} lim⁡N→∞xN(t)=x(t)\lim_{N\to\infty} x_N(t) = x(t) for all t∈Rt \in \mathbb{R}.
{II} lim⁡N→∞EN=0\lim_{N\to\infty} E_N = 0.
{III} The Fourier series coefficients of x(−t)x(-t) are a−ka_{-k}.
Select a choice that best describes these above statements.
(A) {I} is true, {II} is true, and {III} is false.
(B) {I} is true, {II} is true, and {III} is true.
(C) {I} is false, {II} is true, and {III} is true.
(D) {I} is true, {II} is false, and {III} is true.
(E) {I} is false, {II} is false, and {III} is true.

登入後即可作答並保存紀錄。

這一題的完整詳解

本題考查傅立葉級數的收斂性、能量的性質以及對稱訊號的傅立葉級數係數。

首先,我們分析三個敘述:

{I} lim⁡N→∞xN(t)=x(t)\lim_{N\to\infty} x_N(t) = x(t) for all t∈Rt \in \mathbb{R}.
xN(t)x_N(t) 是訊號 x(t)x(t) 的傅立葉級數截斷。
根據傅立葉級數的收斂定理,如果 x(t)x(t) 是一個週期為 TT 的絕對可積且具有有限個奇點的函數(例如,分段光滑),則其傅立葉級數在所有連續點 tt 都收斂到 x(t)x(t),而在奇點 tt 處收斂到 x(t+)x(t^+) 和 x(t−)x(t^-) 的平均值 x(t+)+x(t−)2\frac{x(t^+) + x(t^-)}{2}。
然而,敘述 {I} 要求在 所有 t∈Rt \in \mathbb{R} 上都收斂到 x(t)x(t)。
如果 x(t)x(t) 在某些點是奇點(例如,方波訊號),那麼傅立葉級數在這些點的收斂值是平均值,而不是訊號本身的值。
因此,這個敘述 不一定為真,除非 x(t)x(t) 在所有點都是連續的。
在一般情況下,傅立葉級數的收斂性是平均收斂 (mean square convergence) 或 L2L^2 收斂,而不是處處收斂 (pointwise convergence)。
所以,敘述 {I} 是 錯誤 的。

{II} lim⁡N→∞EN=0\lim_{N\to\infty} E_N = 0.
EN=∫0T∣x(t)−xN(t)∣2dtE_N = \int_{0}^{T} |x(t) - x_N(t)|^2 dt 是截斷訊號與原訊號之間誤差的能量。
根據 Parseval 定理,對於週期為 TT 的訊號 x(t)x(t),其傅立葉級數係數為 aka_k,有:
∫0T∣x(t)∣2dt=T∑k=−∞∞∣ak∣2\int_{0}^{T} |x(t)|^2 dt = T \sum_{k=-\infty}^{\infty} |a_k|^2。
截斷訊號 xN(t)=∑k=−NNakej2πkTtx_N(t) = \sum_{k=-N}^{N} a_k e^{j\frac{2\pi k}{T}t}。
∣x(t)−xN(t)∣2|x(t) - x_N(t)|^2 的能量積分是:
EN=∫0T∣x(t)−xN(t)∣2dtE_N = \int_{0}^{T} |x(t) - x_N(t)|^2 dt。
根據 Parseval 定理,這個積分可以表示為:
EN=T∑k=−∞∞∣ck∣2E_N = T \sum_{k=-\infty}^{\infty} |c_k|^2,其中 ckc_k 是 x(t)−xN(t)x(t) - x_N(t) 的傅立葉級數係數。
x(t)−xN(t)=x(t)−∑k=−NNakej2πkTtx(t) - x_N(t) = x(t) - \sum_{k=-N}^{N} a_k e^{j\frac{2\pi k}{T}t}。
假設 x(t)x(t) 的傅立葉級數係數是 aka_k。
則 x(t)−xN(t)x(t) - x_N(t) 的傅立葉級數係數是:
對於 ∣k∣≤N|k| \le N,係數是 ak−ak=0a_k - a_k = 0。
對於 ∣k∣>N|k| > N,係數是 aka_k。
所以,EN=T∑∣k∣>N∞∣ak∣2E_N = T \sum_{|k|>N}^{\infty} |a_k|^2。
當 N→∞N \to \infty 時,我們需要 ∑k=−∞∞∣ak∣2\sum_{k=-\infty}^{\infty} |a_k|^2 收斂,才能保證 lim⁡N→∞EN=0\lim_{N\to\infty} E_N = 0。
如果 x(t)x(t) 的能量是有限的,即 ∫0T∣x(t)∣2dt<∞\int_{0}^{T} |x(t)|^2 dt < \infty,則根據 Parseval 定理,∑k=−∞∞∣ak∣2\sum_{k=-\infty}^{\infty} |a_k|^2 是收斂的(有限的)。

🔒

後續完整解題步驟與【答案】

免費註冊,享三天全站完整詳解閱覽。

免費註冊

第 4 題5 分

We consider a continuous-time, stable, linear time-invariant system with system function
H(s)=1(s2+6s+18)(s+2)(s+1)(s−4)H(s) = \frac{1}{(s^2 + 6s + 18)(s+ 2)(s + 1)(s - 4)}
What is the region of convergence of H(s)H(s)?
(A) {s∣Re{s}<−3}\{s | \text{Re}\{s\} < -3\}.
(B) {s∣−3<Re{s}<−2}\{s | -3 < \text{Re}\{s\} < -2\}.
(C) {s∣−2<Re{s}<−1}\{s | -2 < \text{Re}\{s\} < -1\}.
(D) {s∣−1<Re{s}<4}\{s | -1 < \text{Re}\{s\} < 4\}.
(E) {s∣Re{s}>4}\{s | \text{Re}\{s\} > 4\}.

登入後即可作答並保存紀錄。

這一題的完整詳解

本題考查拉普拉斯轉換的收斂域 (Region of Convergence, ROC) 以及穩定 LTI 系統的性質。

首先,我們需要找到系統函數 H(s)H(s) 的極點 (poles)。
H(s)=1(s2+6s+18)(s+2)(s+1)(s−4)H(s) = \frac{1}{(s^2 + 6s + 18)(s+ 2)(s + 1)(s - 4)}
其中,s2+6s+18=0s^2 + 6s + 18 = 0 的根為:
s=−6±62−4(1)(18)2(1)=−6±36−722=−6±−362=−6±j62=−3±j3s = \frac{-6 \pm \sqrt{6^2 - 4(1)(18)}}{2(1)} = \frac{-6 \pm \sqrt{36 - 72}}{2} = \frac{-6 \pm \sqrt{-36}}{2} = \frac{-6 \pm j6}{2} = -3 \pm j3。
所以,s2+6s+18=(s−(−3+j3))(s−(−3−j3))s^2 + 6s + 18 = (s - (-3+j3))(s - (-3-j3))。

H(s)H(s) 的所有極點是:
p1=−3+j3p_1 = -3 + j3
p2=−3−j3p_2 = -3 - j3
p3=−2p_3 = -2
p4=−1p_4 = -1
p5=4p_5 = 4

極點的實部分別為:
Re{p1}=−3\text{Re}\{p_1\} = -3
Re{p2}=−3\text{Re}\{p_2\} = -3
Re{p3}=−2\text{Re}\{p_3\} = -2
Re{p4}=−1\text{Re}\{p_4\} = -1
Re{p5}=4\text{Re}\{p_5\} = 4

對於一個因果系統 (causal system),其拉普拉斯轉換的 ROC 是位於最右邊的極點右側的半平面。
對於一個反因果系統 (anti-causal system),其 ROC 是位於最左邊的極點左側的半平面。
對於一個既非因果也非反因果的系統,其 ROC 是位於兩個極點之間的帶狀區域。

題目中提到,該系統是 穩定 (stable) 的。
一個 LTI 系統是穩定的,當且僅當其 ROC 包含虛軸 (imaginary axis),即 jωj\omega 軸。
虛軸的定義是 Re{s}=0\text{Re}\{s\} = 0。
因此,ROC 必須包含 Re{s}=0\text{Re}\{s\} = 0。

我們來看各個極點的實部:-3, -3, -2, -1, 4。
最左邊的極點實部是 -3。
最右邊的極點實部是 4。

如果 ROC 包含虛軸 (Re{s}=0\text{Re}\{s\} = 0),那麼 ROC 必須包含從最左邊的極點實部到最右邊的極點實部之間的區域,並且這個區域必須包含虛軸。
最左邊的極點的實部是 -3。最右邊的極點的實部是 4。
如果 ROC 包含虛軸 (Re{s}=0\text{Re}\{s\} = 0),那麼 ROC 必須從某個值 σmin\sigma_{min} 開始,到最右邊的極點右側結束。
或者,從虛軸的左側開始,到最左邊的極點左側結束。

對於一個有理系統函數,其 ROC 是由極點決定的半平面、帶狀區域或其補集。
如果系統是穩定的,則 ROC 必須包含虛軸。
這意味著 ROC 必須包含 Re{s}=0\text{Re}\{s\} = 0。
為了包含虛軸,ROC 不能是 Re{s}<σmin\text{Re}\{s\} < \sigma_{min} 或 Re{s}>σmax\text{Re}\{s\} > \sigma_{max} 這種形式,除非 σmin≤0≤σmax\sigma_{min} \le 0 \le \sigma_{max}。
對於有理系統函數,ROC 總是形如 Re{s}>σmax\text{Re}\{s\} > \sigma_{max},或 Re{s}<σmin\text{Re}\{s\} < \sigma_{min},或 σa<Re{s}<σb\sigma_a < \text{Re}\{s\} < \sigma_b。

由於系統是穩定的,ROC 必須包含虛軸 (Re{s}=0\text{Re}\{s\} = 0)。
考慮所有極點的實部:-3, -2, -1, 4。
最左邊的極點實部是 -3。
最右邊的極點實部是 4。

如果 ROC 是 Re{s}>4\text{Re}\{s\} > 4,則不包含虛軸,系統不穩定。
如果 ROC 是 Re{s}<−3\text{Re}\{s\} < -3,則不包含虛軸,系統不穩定。
如果 ROC 是 −3<Re{s}<4-3 < \text{Re}\{s\} < 4,則包含虛軸 (Re{s}=0\text{Re}\{s\}=0)。
如果 ROC 是 −2<Re{s}<−1-2 < \text{Re}\{s\} < -1,則不包含虛軸。
如果 ROC 是 −3<Re{s}<−2-3 < \text{Re}\{s\} < -2,則不包含虛軸。
如果 ROC 是 −1<Re{s}<4-1 < \text{Re}\{s\} < 4,則包含虛軸 (Re{s}=0\text{Re}\{s\}=0)。

我們需要仔細考慮 ROC 的形成。
對於一個有理系統函數 H(s)H(s),其 ROC 是由極點決定的。
極點為 -3 (複數對), -2, -1, 4。
最左邊的極點實部是 -3。
最右邊的極點實部是 4。

如果系統是因果的,則 ROC 是 Re{s}>σmax\text{Re}\{s\} > \sigma_{max},其中 σmax\sigma_{max} 是最大的極點實部。
在這裡,σmax=4\sigma_{max} = 4。所以因果系統的 ROC 是 Re{s}>4\text{Re}\{s\} > 4。

🔒

後續完整解題步驟與【答案】

免費註冊,享三天全站完整詳解閱覽。

免費註冊

第 5 題6 分

We consider the discrete-time signal x[n]=ejπn/2(n+1)(n+2)x[n] = \frac{e^{j\pi n/2}}{\sqrt{(n+1)(n+2)}}, where n∈Zn \in \mathbb{Z}. The discrete-time Fourier transform of x[n]x[n] is X(ejω)X(e^{j\omega}). Find the value of the integral ∫−ππ∣X(ejω)∣2dω\int_{-\pi}^{\pi} |X(e^{j\omega})|^2 d\omega.

登入後即可作答並保存紀錄。

這一題的完整詳解

核心觀念

本題主要考:

  1. 離散時間傅立葉轉換的 Parseval 定理。
  2. 複指數因子 ejπn/2e^{j\pi n/2} 不會改變訊號的幅度。
  3. 級數
    ∑n=0∞1(n+1)(n+2)\sum_{n=0}^{\infty}\frac{1}{(n+1)(n+2)}
    的裂項相消。

題目將 nn 寫成 n∈Zn\in\mathbb Z 時,在 n=−2,−1n=-2,-1 分母為零,因此訊號嚴格而言未定義。依此題的標準題意,採用合理假設:訊號定義於 n≥0n\ge 0,即

x[n]=ejπn/2(n+1)(n+2)u[n].x[n]=\frac{e^{j\pi n/2}}{\sqrt{(n+1)(n+2)}}u[n].

解題方法

離散時間傅立葉轉換的 Parseval 定理為

12π∫−ππ∣X(ejω)∣2dω=∑n=−∞∞∣x[n]∣2.\frac{1}{2\pi}\int_{-\pi}^{\pi} \left|X(e^{j\omega})\right|^2d\omega = \sum_{n=-\infty}^{\infty}|x[n]|^2.

因此

∫−ππ∣X(ejω)∣2dω=2π∑n=0∞∣x[n]∣2.\int_{-\pi}^{\pi} \left|X(e^{j\omega})\right|^2d\omega = 2\pi\sum_{n=0}^{\infty}|x[n]|^2.

計算訊號的平方幅度:

∣x[n]∣2=∣ejπn/2(n+1)(n+2)∣2.|x[n]|^2 = \left| \frac{e^{j\pi n/2}}{\sqrt{(n+1)(n+2)}} \right|^2.

因為

∣ejπn/2∣=1,|e^{j\pi n/2}|=1,

所以

∣x[n]∣2=1(n+1)(n+2).|x[n]|^2 = \frac{1}{(n+1)(n+2)}.

利用裂項分解:

🔒

後續完整解題步驟與【答案】

免費註冊,享三天全站完整詳解閱覽。

免費註冊

第 6 題6 分

The discrete-time unit step sequence is denoted by u[n]u[n]. We consider the discrete-time signal x[n]=a1u[n]+a2u[n−1]+a3u[−n]+a4u[−n−1]+a5u[n−2]+a6u[−n−2]x[n] = a_1 u[n] + a_2 u[n-1] + a_3 u[-n] + a_4 u[-n-1] + a_5 u[n-2] + a_6 u[-n-2], where the parameters are a1=(1+j)/2a_1 = (1+j)/2, a2=(2−5j)/8a_2 = (2-5j)/8, a3=−2+ja_3 = -2+j, a4=−4−ja_4 = -4-j, a5=3/2a_5 = 3/2, a6=4a_6 = 4, and n∈Zn \in \mathbb{Z}. The z-transform of x[n]x[n] is X(z)X(z), where z∈Cz \in \mathbb{C}. For ℓ=1,2,3\ell = 1,2,3, we define another discrete-time signal yℓ[n]y_\ell[n] by yℓ[n]=12πj∮CℓX(z)zℓ−1dzy_\ell[n] = \frac{1}{2\pi j} \oint_{C_\ell} X(z) z^{\ell-1} dz, where the contour CℓC_\ell are given as C1={z∣∣z∣=0.6}C_1 = \{z | |z|=0.6\}, C2={z∣∣z∣=0.8}C_2 = \{z | |z|=0.8\}, C3={z∣∣z∣=1.2}C_3 = \{z | |z|=1.2\}. The error is defined as Eℓ=∑n=−∞∞∣a1δ[n]−yℓ[n]∣2\mathcal{E}_\ell = \sum_{n=-\infty}^{\infty} |a_1 \delta[n] - y_\ell[n]|^2. Which of the following relation is true?
(A) E1=E2=E3\mathcal{E}_1 = \mathcal{E}_2 = \mathcal{E}_3.
(B) E1>E2=E3\mathcal{E}_1 > \mathcal{E}_2 = \mathcal{E}_3.
(C) E1=E2>E3\mathcal{E}_1 = \mathcal{E}_2 > \mathcal{E}_3.
(D) E2>E1=E3\mathcal{E}_2 > \mathcal{E}_1 = \mathcal{E}_3.
(E) E2=E3>E1\mathcal{E}_2 = \mathcal{E}_3 > \mathcal{E}_1.

登入後即可作答並保存紀錄。

這一題的完整詳解

核心觀念

雙邊 zz 轉換定義為

X(z)=∑n=−∞∞x[n]z−n.X(z)=\sum_{n=-\infty}^{\infty}x[n]z^{-n}.

由柯西積分公式,

12πj∮CX(z)zℓ−1 dz\frac{1}{2\pi j}\oint_C X(z)z^{\ell-1}\,dz

所擷取的是 X(z)X(z) 中 z−ℓz^{-\ell} 的係數。不過題目將結果記為 yℓ[n]y_\ell[n],右側並沒有 nn,因此依照題目原式,yℓ[n]y_\ell[n] 實際上是與 nn 無關的常數,而不是一個正常的離散時間序列。


解題方法

先將 X(z)X(z) 寫成

X(z)=a1+a2z−1+a5z−21−z−1+a3+a4z+a6z21−z.X(z) = \frac{a_1+a_2z^{-1}+a_5z^{-2}}{1-z^{-1}} + \frac{a_3+a_4z+a_6z^2}{1-z}.

其奇異點位於 z=0z=0 與 z=1z=1。因此 C1C_1、C2C_2 都只包住 z=0z=0,而 C3C_3 同時包住 z=0z=0 與 z=1z=1。

對於 ∣z∣<1|z|<1 的輪廓,第一部分採反因果展開,第二部分採因果展開。取正整數 ℓ=1,2,3\ell=1,2,3,可得

12πj∮C1X(z)zℓ−1 dz=12πj∮C2X(z)zℓ−1 dz={−a5=−32,ℓ=1,0,ℓ=2,3.\frac{1}{2\pi j}\oint_{C_1}X(z)z^{\ell-1}\,dz = \frac{1}{2\pi j}\oint_{C_2}X(z)z^{\ell-1}\,dz = \begin{cases} -a_5=-\dfrac32,&\ell=1,\\[4pt] 0,&\ell=2,3. \end{cases}

因此

y1[n]=−32,y2[n]=0,y3[n]=0(對所有 n)y_1[n]=-\frac32,\qquad y_2[n]=0,\qquad y_3[n]=0 \quad\text{(對所有 }n\text{)}

其中前兩個等式分別對應 C1C_1、C2C_2。

對於 C3C_3,因為輪廓包住 z=1z=1,其正頻率係數變為

y3[n]={a1+a2−a3−a4−a6=114−j8,ℓ=1,a1+a2+a5−a3−a4−a6=174−j8,ℓ=2,3.y_3[n]= \begin{cases} a_1+a_2-a_3-a_4-a_6 =\dfrac{11}{4}-\dfrac{j}{8},&\ell=1,\\[6pt] a_1+a_2+a_5-a_3-a_4-a_6 =\dfrac{17}{4}-\dfrac{j}{8},&\ell=2,3. \end{cases}

因此依題目記號,C3C_3 所得到的三個常數也都不為零。

誤差的目標序列為

🔒

後續完整解題步驟與【答案】

免費註冊,享三天全站完整詳解閱覽。

免費註冊

第 7 題6 分

A causal linear time-invariant discrete-time system S has the transfer function H(z)=z+2(z−1)(z−2)(z−3)H(z) = \frac{z+2}{(z-1)(z-2)(z-3)}. The impulse response of S is h[n]h[n]. The input signal is x[n]x[n] while the output signal is y[n]y[n]. We consider the following statements:
{I} The system S is unstable.
{II} lim⁡n→∞h[n]3n=0\lim_{n\to\infty} \frac{h[n]}{3^n} = 0.
{III} The system S can be described by the difference equation y[n]−6y[n−1]+11y[n−2]−6y[n−3]=x[n]+9x[n−1]+8x[n−2]y[n] - 6y[n-1] + 11y[n-2] - 6y[n-3] = x[n] + 9x[n-1] + 8x[n-2].
Select a choice that best describes these above statements.
(A) {I} is true, {II} is true, and {III} is true.
(B) {I} is true, {II} is false, and {III} is false.
(C) {I} is true, {II} is false, and {III} is true.
(D) {I} is true, {II} is true, and {III} is false.
(E) {I} is false, {II} is true, and {III} is false.

登入後即可作答並保存紀錄。

這一題的完整詳解

核心觀念

本題考查三個重點:

  1. 因果離散時間 LTI 系統的 ROC 與穩定性

    • 因果系統的 ROC 位於最外側極點之外。
    • 離散時間 LTI 系統穩定的條件是 ROC 必須包含單位圓 ∣z∣=1|z|=1。
  2. 由極點判斷 h[n]h[n] 的漸近成長率

    • 最大極點為 z=3z=3,其對應項會主導 h[n]h[n] 的成長。
    • 必須確認 3n3^n 項的係數是否為零。
  3. 由轉移函數推導差分方程

    • 將 H(z)H(z) 改寫成 z−1z^{-1} 的形式,再比較 Y(z)Y(z) 與 X(z)X(z) 的關係。

解題方法

判斷敘述 I:系統是否不穩定

已知

H(z)=z+2(z−1)(z−2)(z−3).H(z)=\frac{z+2}{(z-1)(z-2)(z-3)}.

系統的極點位於

z=1,z=2,z=3.z=1,\quad z=2,\quad z=3.

因為題目明確指出系統為因果系統,所以 ROC 必須在最外側極點之外:

ROC:∣z∣>3.\text{ROC}: |z|>3.

穩定系統要求 ROC 包含單位圓 ∣z∣=1|z|=1。但 ∣z∣>3|z|>3 不包含單位圓,因此系統不穩定。

所以:

敘述 I 正確\boxed{\text{敘述 I 正確}}

判斷敘述 II:lim⁡n→∞h[n]3n\displaystyle \lim_{n\to\infty}\frac{h[n]}{3^n}

先求 H(z)H(z) 的部分分式:

H(z)=Az−1+Bz−2+Cz−3.H(z)=\frac{A}{z-1}+\frac{B}{z-2}+\frac{C}{z-3}.

其中 z=3z=3 極點的係數為

C=z+2(z−1)(z−2)∣z=3=5(2)(1)=52.C=\left.\frac{z+2}{(z-1)(z-2)}\right|_{z=3} =\frac{5}{(2)(1)} =\frac{5}{2}.

對因果系統,

Z−1{1z−a}=an−1u[n−1].\mathcal{Z}^{-1}\left\{\frac{1}{z-a}\right\} =a^{n-1}u[n-1].

因此,來自極點 z=3z=3 的脈衝響應成分為

523n−1u[n−1].\frac{5}{2}3^{n-1}u[n-1].

其餘來自 z=1z=1 與 z=2z=2 的項,除以 3n3^n 後會趨近於零。因此

lim⁡n→∞h[n]3n=lim⁡n→∞523n−13n=56.\lim_{n\to\infty}\frac{h[n]}{3^n} = \lim_{n\to\infty} \frac{\frac{5}{2}3^{n-1}}{3^n} = \frac{5}{6}.

由於

56≠0,\frac{5}{6}\neq 0,

所以:

🔒

後續完整解題步驟與【答案】

免費註冊,享三天全站完整詳解閱覽。

免費註冊

第 8 題5 分

Let x(t)x(t) be a bandlimited signal. Which of the following signals has the same bandwidth as x(t)x(t)?
(A) 8x(t−3)8x(t-3).
(B) x(t/2−5)x(t/2 - 5).
(C) sin⁡(x(t))\sin(x(t)).
(D) x(t)2x(t)^2.
(E) x(2t+4)x(2t+4).

登入後即可作答並保存紀錄。

這一題的完整詳解

本題考查訊號頻寬的性質。一個訊號的頻寬是指其傅立葉轉換非零的頻率範圍。

我們逐一分析選項:

(A) 8x(t−3)8x(t-3)
訊號 8x(t−3)8x(t-3) 是由 x(t)x(t) 進行時間延遲 (3 秒) 和幅度縮放 (乘以 8)。
時間延遲和幅度縮放不會改變訊號的頻寬。
因此,8x(t−3)8x(t-3) 的頻寬與 x(t)x(t) 相同。

(B) x(t/2−5)x(t/2 - 5)
訊號 x(t/2−5)x(t/2 - 5) 是由 x(t)x(t) 進行時間壓縮 (乘以 1/2,表示速度加快一倍) 和時間平移 (-5)。
時間壓縮會改變頻率。如果時間軸被壓縮 (例如,乘以 a<1a < 1),頻率會被擴展 (乘以 1/a>11/a > 1)。
如果 x(t)x(t) 的頻寬是 BB,那麼 x(at)x(at) 的頻寬是 B/aB/a。
在這裡,t/2t/2 表示 a=1/2a=1/2。所以頻寬會變成 B/(1/2)=2BB/(1/2) = 2B。
時間平移不會改變頻寬。
因此,x(t/2−5)x(t/2 - 5) 的頻寬是 x(t)x(t) 的兩倍,不是相同。

(C) sin⁡(x(t))\sin(x(t))
sin⁡(x(t))\sin(x(t)) 是一個非線性變換。
如果 x(t)x(t) 是頻帶有限的,例如頻寬為 BB,則 x(t)x(t) 的傅立葉轉換 X(ω)X(\omega) 在 ∣ω∣>B|\omega| > B 時為零。
然而,sin⁡(x(t))\sin(x(t)) 的傅立葉轉換通常會包含比 x(t)x(t) 更寬的頻率成分。
例如,如果 x(t)=cos⁡(ω0t)x(t) = \cos(\omega_0 t),頻寬為 ω0\omega_0。

🔒

後續完整解題步驟與【答案】

免費註冊,享三天全站完整詳解閱覽。

免費註冊

第 9 題6 分

Let x(t)x(t) be a continuous-time signal whose continuous-time Fourier transform is Xc(ω)X_c(\omega). It is assumed that Xc(ω)=0X_c(\omega) = 0 if ∣ω∣>100π|\omega| > 100\pi. The discrete-time signal x[n]=x(nT1)x[n] = x(nT_1) for some T1>0T_1 > 0. We define the reconstructed signal as
x^(t)=∑n=−∞∞x[n]sin⁡(πT2(t−nT1))πT2(t−nT1)\hat{x}(t) = \sum_{n=-\infty}^{\infty} x[n] \frac{\sin\left(\frac{\pi}{T_2}(t-nT_1)\right)}{\frac{\pi}{T_2}(t-nT_1)}
where T2>0T_2 > 0. Select a sufficient condition such that x^(t)=x(t)\hat{x}(t) = x(t) for all t∈Rt \in \mathbb{R}.
(A) T1=T2=1800T_1 = T_2 = \frac{1}{800}.
(B) T1=1800T_1 = \frac{1}{800}, T2=1400T_2 = \frac{1}{400}.
(C) T1=11200T_1 = \frac{1}{1200}, T2=1500T_2 = \frac{1}{500}.
(D) T1=11200T_1 = \frac{1}{1200}, T2=1600T_2 = \frac{1}{600}.
(E) T1=11200T_1 = \frac{1}{1200}, T2=1800T_2 = \frac{1}{800}.

登入後即可作答並保存紀錄。

這一題的完整詳解

核心觀念

本題考查:

  1. 連續時間訊號的取樣定理
  2. 取樣後頻譜的週期性複製
  3. 理想 sinc 插值重建
  4. 取樣間隔與重建 sinc 函數尺度必須一致

已知訊號頻譜滿足

Xc(ω)=0,∣ω∣>100πX_c(\omega)=0,\qquad |\omega|>100\pi

因此訊號的最高角頻率為

ωm=100π rad/s\omega_m=100\pi\ \text{rad/s}

對應的最高頻率為

fm=ωm2π=50 Hzf_m=\frac{\omega_m}{2\pi}=50\ \text{Hz}

解題方法

1. 取樣條件

取樣週期為 T1T_1,取樣角頻率為

ωs=2πT1\omega_s=\frac{2\pi}{T_1}

根據取樣定理,為避免頻譜混疊,必須滿足

ωs≥2ωm\omega_s\ge 2\omega_m

代入 ωm=100π\omega_m=100\pi:

2πT1≥200π\frac{2\pi}{T_1}\ge 200\pi

因此

T1≤1100T_1\le \frac{1}{100}

所有選項中的 T1T_1 都小於 1100\frac{1}{100},所以所有選項均符合避免混疊的條件。


2. 分析 sinc 重建公式

題目給出的重建訊號為

x^(t)=∑n=−∞∞x[n]sin⁡(πT2(t−nT1))πT2(t−nT1)\hat{x}(t)=\sum_{n=-\infty}^{\infty}x[n] \frac{\sin\left(\frac{\pi}{T_2}(t-nT_1)\right)} {\frac{\pi}{T_2}(t-nT_1)}

將其寫成 normalized sinc 函數:

sinc⁡(u)=sin⁡(πu)πu\operatorname{sinc}(u)=\frac{\sin(\pi u)}{\pi u}

可得

x^(t)=∑n=−∞∞x[n] sinc⁡(t−nT1T2)\hat{x}(t)=\sum_{n=-\infty}^{\infty}x[n]\, \operatorname{sinc}\left(\frac{t-nT_1}{T_2}\right)

標準取樣重建公式為

x(t)=∑n=−∞∞x(nT1)sinc⁡(t−nT1T1)x(t)=\sum_{n=-\infty}^{\infty}x(nT_1) \operatorname{sinc}\left(\frac{t-nT_1}{T_1}\right)

因此,要使題目中的插值公式成為標準理想重建公式,必須有

T2=T1T_2=T_1

此外,重建濾波器的截止角頻率為

ωc=πT2\omega_c=\frac{\pi}{T_2}

為完整保留原訊號頻譜,還需滿足

πT2≥100π\frac{\pi}{T_2}\ge 100\pi

也就是

🔒

後續完整解題步驟與【答案】

免費註冊,享三天全站完整詳解閱覽。

免費註冊

第 10 題2 分

Two equal-probability messages with indexes jj are mapped into symbol waveforms as
S(t,j)={d2sinc(2t)if j=1d2sinc(2t)sin⁡(t)if j=2S(t, j) = \begin{cases} d\sqrt{2} \text{sinc}(2t) & \text{if } j=1 \\ d\sqrt{2} \text{sinc}(2t) \sin(t) & \text{if } j=2 \end{cases}
where dd is a positive real number. Assume there is an additive noise in the channel.
(a) (5%) Assume the noise is an additive white Gaussian noise with power spectrum SN(f)=σ2S_N(f) = \sigma^2, please find the decision regions of the optimal receiver, which minimizes the symbol error probability.
(b) (8%) Please find the symbol error probability of your answer in (a).
(c) (12%) Repeat (a) for the case where the additive noise is still Gaussian but with autocorrelation function Rτ=exp⁡(−∣τ∣)R_\tau = \exp(-|\tau|).

登入後即可作答並保存紀錄。

這一題的完整詳解

核心觀念

本題考查二元訊號偵測中的:

  • 等概訊息下的最大概似決策。
  • 白高斯雜訊下的歐氏距離判決。
  • 有色高斯雜訊下的逆雜訊協方差加權距離判決。
  • 訊號能量、互相關與訊號間距離。
  • 二元 AWGN 偵測的錯誤率公式。

以下採用通信中常見的定義:

sinc⁡(t)=sin⁡(πt)πt.\operatorname{sinc}(t)=\frac{\sin(\pi t)}{\pi t}.

令

x(t)=sinc⁡(2t),x(t)=\operatorname{sinc}(2t),

則

s1(t)=d2 x(t),s2(t)=d2 x(t)sin⁡t.s_1(t)=d\sqrt{2}\,x(t),\qquad s_2(t)=d\sqrt{2}\,x(t)\sin t.

由

X(f)=12,∣f∣<1X(f)=\frac{1}{2},\qquad |f|<1

可得

∫−∞∞x2(t) dt=∫−1114 df=12.\int_{-\infty}^{\infty}x^2(t)\,dt = \int_{-1}^{1}\frac{1}{4}\,df = \frac{1}{2}.

此外,x(t)x(t) 為偶函數,x(t)sin⁡tx(t)\sin t 為奇函數,因此兩個訊號彼此正交:

⟨s1,s2⟩=2d2∫−∞∞x2(t)sin⁡t dt=0.\langle s_1,s_2\rangle = 2d^2\int_{-\infty}^{\infty}x^2(t)\sin t\,dt =0.

(a)白高斯雜訊下的最佳決策區域

解題方法

白高斯雜訊的功率頻譜為

SN(f)=σ2.S_N(f)=\sigma^2.

對於等概訊息,最佳接收器選擇使下式較小的訊號:

∥r−sj∥2,\|r-s_j\|^2,

其中 r(t)r(t) 是接收波形。

因此選擇 s1s_1 的條件為

∥r−s1∥2≤∥r−s2∥2.\|r-s_1\|^2\leq \|r-s_2\|^2.

展開兩邊:

⟨r,r⟩−2⟨r,s1⟩+∥s1∥2≤⟨r,r⟩−2⟨r,s2⟩+∥s2∥2.\langle r,r\rangle-2\langle r,s_1\rangle+\|s_1\|^2 \leq \langle r,r\rangle-2\langle r,s_2\rangle+\|s_2\|^2.

消去 ⟨r,r⟩\langle r,r\rangle 後,得到

2⟨r,s1−s2⟩≥∥s1∥2−∥s2∥2.2\langle r,s_1-s_2\rangle \geq \|s_1\|^2-\|s_2\|^2.

計算兩個訊號的能量

先計算 s1s_1:

E1=∥s1∥2=2d2∫x2(t) dt=d2.E_1=\|s_1\|^2 = 2d^2\int x^2(t)\,dt =d^2.

接著計算 s2s_2:

E2=2d2∫x2(t)sin⁡2t dt.E_2 = 2d^2\int x^2(t)\sin^2t\,dt.

利用

sin⁡2t=1−cos⁡(2t)2,\sin^2t=\frac{1-\cos(2t)}{2},

以及

∫x2(t)cos⁡(2t) dt=14(2−1π),\int x^2(t)\cos(2t)\,dt = \frac{1}{4}\left(2-\frac{1}{\pi}\right),

可得

∫x2(t)sin⁡2t dt=18π.\int x^2(t)\sin^2t\,dt = \frac{1}{8\pi}.

因此

E2=d24π.E_2=\frac{d^2}{4\pi}.

所以最佳決策區域為

R1={r:⟨r,s1−s2⟩≥d22(1−14π)}\boxed{ \mathcal R_1= \left\{ r: \langle r,s_1-s_2\rangle \geq \frac{d^2}{2}\left(1-\frac{1}{4\pi}\right) \right\} }

以及

R2={r:⟨r,s1−s2⟩<d22(1−14π)}.\boxed{ \mathcal R_2= \left\{ r: \langle r,s_1-s_2\rangle < \frac{d^2}{2}\left(1-\frac{1}{4\pi}\right) \right\}. }

其中

⟨r,s1−s2⟩=∫−∞∞r(t)[s1(t)−s2(t)] dt.\langle r,s_1-s_2\rangle = \int_{-\infty}^{\infty} r(t)\bigl[s_1(t)-s_2(t)\bigr]\,dt.

(b)符號錯誤率

解題方法

兩個訊號的平方距離為

D2=∥s1−s2∥2.D^2=\|s_1-s_2\|^2.

由於 s1s_1 與 s2s_2 正交,

D2=E1+E2=d2+d24π.D^2 = E_1+E_2 = d^2+\frac{d^2}{4\pi}.

因此

D=d1+14π.D = d\sqrt{1+\frac{1}{4\pi}}.

白高斯雜訊下,等概二元訊號的最佳符號錯誤率為

Pe=Q(D2σ),P_e = Q\left(\frac{D}{2\sigma}\right),

其中

Q(u)=12π∫u∞e−v2/2 dv.Q(u)=\frac{1}{\sqrt{2\pi}} \int_u^\infty e^{-v^2/2}\,dv.

代入 DD:

Pe=Q(d2σ1+14π).\boxed{ P_e = Q\left( \frac{d}{2\sigma} \sqrt{1+\frac{1}{4\pi}} \right). }

快速驗算

若兩個訊號的距離增加,錯誤率應下降;若雜訊強度 σ2\sigma^2 增加,錯誤率應上升。上述結果符合此物理意義。


(c)相關高斯雜訊下的最佳決策區域

已知雜訊自相關函數為

RN(τ)=e−∣τ∣.R_N(\tau)=e^{-|\tau|}.

1. 求雜訊功率頻譜

依 Wiener–Khinchin 定理,

SN(f)=∫−∞∞e−∣τ∣e−j2πfτ dτ=21+(2πf)2.S_N(f) = \int_{-\infty}^{\infty} e^{-|\tau|}e^{-j2\pi f\tau}\,d\tau = \frac{2}{1+(2\pi f)^2}.

有色高斯雜訊下,最佳判決不是直接使用普通內積,而是使用逆雜訊頻譜加權內積:

⟨a,b⟩N−1=∫−∞∞A(f)B∗(f)SN(f) df.\langle a,b\rangle_{N^{-1}} = \int_{-\infty}^{\infty} \frac{A(f)B^*(f)}{S_N(f)}\,df.

本題中

1SN(f)=1+(2πf)22.\frac{1}{S_N(f)} = \frac{1+(2\pi f)^2}{2}.

因此此接收器等效於先通過白化濾波器,再進行最小距離判決。

2. 有色雜訊下的最佳判決公式

等概訊息的最大概似判決為選擇使下式較小的訊號:

∥r−sj∥N−12.\|r-s_j\|_{N^{-1}}^2.

選擇 s1s_1 的條件為

🔒

後續完整解題步驟與【答案】

免費註冊,享三天全站完整詳解閱覽。

免費註冊

第 11 題5 分

(a) (5%) We collect all possible codewords generated from G as a codebook C, show that for any two codewords c1,c2∈Cc_1, c_2 \in C, the finite-field (modulo-2) addition of them is a valid binary codeword belongs to C.
(b) (10%) Prove that for any binary (n; k) linear code that can correct up to E binary errors in its codeword, integers n,k,En, k, E must satisfy the inequality ∑t=0E(nt)≤2n−k\sum_{t=0}^{E} \binom{n}{t} \le 2^{n-k}, where the combinatorial number (nt)\binom{n}{t} is defined as n!/(t!(n−t)!)n!/(t!(n-t)!).
(c) (10%) Let E=0.1nE = 0.1n, from (b) prove that when n→∞n \to \infty, the maximum possible rate log⁡2(k/n)\log_2(k/n) approaches 1−H(0.1)1-H(0.1), where H(x)=−(xlog⁡2(x)+(1−x)log⁡2(1−x))H(x) = -(x \log_2(x) + (1-x) \log_2(1-x)). You can use the following large n approximation: n!≈2πn(n/e)nn! \approx \sqrt{2\pi n} (n/e)^n.

登入後即可作答並保存紀錄。

這一題的完整詳解

核心觀念

本題考查二元線性碼的三個基本結果:

  1. 線性碼的封閉性:碼字由生成矩陣 GG 產生,任兩個碼字的有限域加法仍屬於該碼。
  2. 球堆積界(Sphere-Packing Bound/Hamming Bound):若可更正至多 EE 個錯誤,則不同碼字周圍半徑 EE 的漢明球必須互不重疊。
  3. 二項式係數的漸近成長率:當 nn 很大時,
    (npn)≈2nH(p).\binom{n}{pn}\approx 2^{nH(p)}.

其中二元漢明距離 dH(x,y)d_H(x,y) 是兩個二元向量中相異位置的數目。


(a) 證明線性碼對模二加法封閉

解題方法

設 GG 為一個二元線性碼的生成矩陣。所有可能的訊息向量組合形成碼字集合

C={uG:u∈F2k},C=\{uG:u\in \mathbb{F}_2^k\},

其中 F2={0,1}\mathbb{F}_2=\{0,1\},所有運算皆為模二運算。

任取 c1,c2∈Cc_1,c_2\in C,則必存在訊息向量 u1,u2∈F2ku_1,u_2\in\mathbb{F}_2^k,使得

c1=u1G,c2=u2G.c_1=u_1G,\qquad c_2=u_2G.

因此,

c1+c2=u1G+u2G.c_1+c_2 =u_1G+u_2G.

利用矩陣乘法對加法的分配律,

c1+c2=(u1+u2)G.c_1+c_2=(u_1+u_2)G.

因為 F2k\mathbb{F}_2^k 對模二加法封閉,所以

u1+u2∈F2k.u_1+u_2\in\mathbb{F}_2^k.

故 (u1+u2)G(u_1+u_2)G 仍是由 GG 生成的碼字,得到

c1+c2∈C.c_1+c_2\in C.

【答案】

對任意 c1,c2∈Cc_1,c_2\in C,皆有

c1+c2∈C.c_1+c_2\in C.

因此,二元線性碼對有限域 F2\mathbb{F}_2 上的加法封閉。


(b) 證明球堆積界

解題方法

對每一個碼字 c∈Cc\in C,考慮以 cc 為中心、半徑 EE 的漢明球:

BE(c)={y∈F2n:dH(y,c)≤E}.B_E(c)=\{y\in\mathbb{F}_2^n:d_H(y,c)\le E\}.

若一個碼可更正至多 EE 個錯誤,則接收向量不可能同時落在兩個不同碼字的半徑 EE 漢明球內。因此,所有碼字的漢明球必須兩兩不相交。

1. 計算一個漢明球的大小

與固定碼字 cc 距離恰好為 tt 的向量,必須從 nn 個位置中選出 tt 個位置翻轉。因此數目為

(nt).\binom{n}{t}.

所以半徑 EE 的漢明球大小為

∣BE(c)∣=∑t=0E(nt).|B_E(c)| =\sum_{t=0}^{E}\binom{n}{t}.

這個大小與中心碼字 cc 無關。

2. 計算所有碼字周圍漢明球所占的向量數

二元 (n,k)(n,k) 線性碼共有

∣C∣=2k|C|=2^k

個碼字。因此,所有半徑 EE 漢明球共包含

2k∑t=0E(nt)2^k\sum_{t=0}^{E}\binom{n}{t}

個向量。

這些漢明球彼此不重疊,而整個 F2n\mathbb{F}_2^n 一共只有 2n2^n 個二元向量,故必須滿足

2k∑t=0E(nt)≤2n.2^k\sum_{t=0}^{E}\binom{n}{t}\le 2^n.

兩邊除以 2k2^k,得到

∑t=0E(nt)≤2n−k.\boxed{ \sum_{t=0}^{E}\binom{n}{t}\le 2^{n-k} }.

這就是二元線性碼的球堆積界。

關鍵理由

若存在兩個不同碼字 c1,c2c_1,c_2,使其漢明球相交,則存在某個接收向量 yy 滿足

dH(y,c1)≤E,dH(y,c2)≤E.d_H(y,c_1)\le E,\qquad d_H(y,c_2)\le E.

此時同一個 yy 可能由 c1c_1 發生至多 EE 個錯誤產生,也可能由 c2c_2 發生至多 EE 個錯誤產生,接收端無法唯一決定原始碼字,因而無法保證更正至多 EE 個錯誤。

【答案】

若二元 (n,k)(n,k) 線性碼可更正至多 EE 個錯誤,則

∑t=0E(nt)≤2n−k.\boxed{ \sum_{t=0}^{E}\binom{n}{t}\le 2^{n-k} }.

(c) E=0.1nE=0.1n 時的漸近速率

題目符號說明

題目所寫的「maximum possible rate log⁡2(k/n)\log_2(k/n)」與後方答案形式不一致。通信原理中,碼率定義為

R=kn,R=\frac{k}{n},

而球堆積界給出的結果是

R≤1−H(0.1).R\le 1-H(0.1).

以下依照此標準碼率定義作答。若將題目中的 log⁡2(k/n)\log_2(k/n) 按字面解讀,結果會是 log⁡2(1−H(0.1))\log_2(1-H(0.1)),不會等於題目所指定的 1−H(0.1)1-H(0.1)。

1. 將 (b) 的結果取對數

由 (b),

∑t=00.1n(nt)≤2n−k.\sum_{t=0}^{0.1n}\binom{n}{t}\le 2^{n-k}.

兩邊取以 22 為底的對數:

log⁡2(∑t=00.1n(nt))≤n−k.\log_2\left(\sum_{t=0}^{0.1n}\binom{n}{t}\right) \le n-k.

除以 nn,並令 R=k/nR=k/n,得到

🔒

後續完整解題步驟與【答案】

免費註冊,享三天全站完整詳解閱覽。

免費註冊

其他考古題