漢明如何學習數位濾波器
漢明作為一位數學家而非電氣工程師,來到了數位濾波器的領域。當他問工程師們為什麼他們使用正弦波而不是多項式或貝塞爾函數時,沒有人給出令人滿意的答案。所以他回到基礎。
他認識到複指數在數位訊號處理中占主導地位的三個獨立原因。每個原因單獨足以說明這個選擇;合在一起,它們使這個選擇幾乎是必然的。
原因 1: 時間不變性
大多數訊號處理系統沒有自然的時間起點。在正午應用的濾波器應該與在午夜應用的相同濾波器的行為相同。這個時間不變性的約束迫使特徵函數必須是複指數。
用數學術語來說:如果一個線性、時不變(LTI)系統的輸入為 x(n) = e^{i2πfn},輸出也必須以頻率 f 振盪。只有複指數滿足這個條件。
原因 2: 線性性
線性系統遵循疊加原理。任何線性運算子的特徵函數是那些在運算子作用於它們時保持不變(除了縮放)的函數。對於移位運算子 S: x(n) → x(n−1),特徵函數正好是 e^{i2πfn}。
原因 3: 奈奎斯特採樣
如果一個連續訊號不含有高於 f_max 的頻率成分,以不低於 2f_max 的速率採樣它就能捕捉所有資訊。這個奈奎斯特-香農採樣定理只有對傅立葉表示才能乾淨地連接連續和離散訊號處理。
在等距採樣下,單個高頻會混疊為單個較低頻。在多項式基下,單個高次冪會混疊為許多較低次冪:一個傅立葉完全避免的混亂。
傳遞函數作為特徵值
當 e^{i2πfn} 進入一個線性、時不變濾波器時,輸出等於某個複數 H(f) 乘以 e^{i2πfn}。濾波器可以縮放並移動振盪,但不能改變其頻率。
H(f) 將濾波器在頻率 f 處的所有行為收集到單個複數中。對於係數為 c_k 的濾波器:
H(f) = Σ c_k · e^{−i2πfk}
這個公式使 H(f) 成為係數序列的傅立葉變換。每個頻率通道獨立運作。濾波器將輸入分解為頻率成分,將每個乘以 H(f),然後重新組合它們。
採樣定理
漢明指出奈奎斯特採樣定理在奈奎斯特之前就已為人所知,但奈奎斯特獲得了名聲。他引用了巴斯德的話:『運氣偏愛準備充分的心靈。』將一個現有的想法與一個實際需求相連接的人贏得了名聲。
定理
如果連續訊號 x(t) 不包含高於 f_max 的頻率成分,則以 f_s ≥ 2·f_max 的速率採樣它能捕捉所有資訊。原始訊號從樣本中精確重構。
閾值 f_s / 2 = f_max 以奈奎斯特的名字命名。以恰好奈奎斯特速率(2·f_max)採樣在原則上是足夠的,但在實踐中很危險:任何輕微的不匹配都會將最高頻率混疊。
混疊
當訊號包含高於 f_s/2 的頻率時,這些頻率會摺回到帶寬 [0, f_s/2] 內。頻率為 f = f_s/2 + δ 的正弦波與頻率為 f_s/2 − δ 的正弦波在整數時間無法區分。圖基創造了術語混疊來命名這種偽裝。
幾何圖景:頻率為 f 和 f + f_s 的複指數在整數時間產生相同的樣本。它們共享一個混疊。
選擇採樣速率
實用的數位音頻系統必須在設計濾波器之前選擇其採樣速率。人類能聽到約 20 kHz。標準 CD 採樣速率 44.1 kHz 將奈奎斯特頻率設置為 22.05 kHz。
在採樣之前,一個反混疊濾波器必須移除所有高於奈奎斯特頻率的頻率。如果即使是一個小的 25 kHz 成分進入採樣器,它會混疊為 44100 − 25000 = 19.1 kHz——可聽見的。
硬體的三個限制
漢明在教數位濾波器數學的同時,也教授了更廣泛的課程。數位濾波器存在是因為硬體有限制——理解這些限制塑造了好的設計。
他認識到了束縛硬體性能的三個自然法則:
1. 分子大小:電路無法無限縮小。低於某個尺度,量子效應佔主導。
2. 光速:訊號最多以 3×10⁸ m/s 的速度傳播。快於光穿過晶片所需時間的時鐘週期會產生故障。
3. 散熱:開關消耗功率,成為熱量。密集、快速的晶片會過熱,除非冷卻。
他的設計哲學直接遵循:理解這些限制,然後設計在這些限制內舒適運作的系統,留有變化 & 誤差的空間。
數位濾波器將計算從硬體(類比電路)轉移到軟體(對樣本的算術)。這個轉變用數值精度 & 可程式性換取硬體脆弱性——採樣定理的結果,不是奇蹟。
漢明的設計哲學
漢明的框架:數位濾波器在軟體中實現類比濾波器在硬體中做的事。採樣定理是橋樑。一旦你知道橋樑成立,你可以通過指定所需的傳遞函數 H(f) 來設計濾波器,然後找到實現它的係數序列。
工程師的工作變成了規範 & 算術,而不是纏繞電感 & 焊接電容。