Hamming Dijital Filtreleri Nasıl Öğrendi
Hamming dijital filtrelere bir matematikçi olarak, elektrik mühendisi olarak değil, geldi. Mühendislere neden sinüzoidler yerine polinomlar veya Bessel fonksiyonları kullandıklarını sorduğunda, kimse tatmin edici bir cevap vermedi. Bu yüzden temellere geri döndü.
Karmaşık üstel fonksiyonların dijital sinyal işlemesinde egemen olması için üç bağımsız sebebi tanımladı. Her bir sebep tek başına seçimi haklı çıkarır; birlikte, seçimi neredeyse zorunlu kılarlar.
Sebep 1: Zaman Değişmezliği
Çoğu sinyal işleme sistemi doğal bir zaman orijini taşımaz. Öğle saatinde uygulanan bir filtre, gece yarısında uygulanan aynı filtre ile özdeş davranmalıdır. Bu zaman değişmezliği sınırlaması, öz-fonksiyonların karmaşık üstel fonksiyonlar olmasını zorunlu kılar.
Matematiksel terimlerle: eğer doğrusal, zamandan bağımsız (LZB) bir sistem x(n) = e^{i2πfn} girişine sahipse, çıkış da f frekansında salınmalıdır. Yalnızca karmaşık üstel fonksiyonlar bunu sağlar.
Sebep 2: Doğrusallık
Doğrusal sistemler üst üste binme ilkesine uyar. Herhangi bir doğrusal operatörün öz-fonksiyonları, operatör onlara etki ettiğinde değişmeden ortaya çıkan fonksiyonlardır (sadece ölçekleme hariç). Kayma operatörü S: x(n) → x(n−1) için, öz-fonksiyonlar tam olarak e^{i2πfn} dir.
Sebep 3: Nyquist Örneklemesi
Eğer sürekli bir sinyal f_max üstünde hiçbir frekans bileşeni içermiyorsa, onu hız ≥ 2f_max ile örneklemek tüm bilgiyi yakalar. Bu Nyquist-Shannon örnekleme teoremi sürekli & ayrık sinyal işlemesini temiz bir şekilde birleştirir sadece Fourier gösterimleri için.
Eşit aralıklı örnekleme altında, tek bir yüksek frekans, tek bir daha düşük frekansta isme bürünür (alias). Polinom tabanları altında, tek bir yüksek kuvvet t, birçok daha düşük kuvvete isme bürünür: Fourier tamamen kaçındığı bir karmaşa.
Transfer Fonksiyonu Özdeğer Olarak
e^{i2πfn} doğrusal, zamandan bağımsız bir filtreye girdiğinde, çıkış H(f) · e^{i2πfn} değerine eşittir, burada H(f) bazı karmaşık bir sayıdır. Filtre salınımı ölçeklendirir & kaydırır ama frekansını değiştiremez.
H(f) filtrenin f frekansındaki tüm davranışını tek bir karmaşık sayıya yoğunlaştırır. c_k katsayılarına sahip bir filtre için:
H(f) = Σ c_k · e^{−i2πfk}
Bu formül H(f) fonksiyonunu katsayı dizisinin Fourier dönüşümü yapar. Her frekans kanalı bağımsız çalışır. Filtre girişi frekans bileşenlerine ayrıştırır, herbiri H(f) ile çarpar, & onları yeniden birleştirir.
Örnekleme Teoremi
Hamming, Nyquist örnekleme teoreminin Nyquist'ten önce bilindiğini ama Nyquist'e kredi verildiğini belirtti. Pasteur'ü alıntıladı: 'Şans hazırlıklı zihne gülümser.' Varolan bir fikri pratik bir gereksinimlere bağlayan kişi ün kazanır.
Teorem
Eğer sürekli bir sinyal x(t) f_max üstünde hiçbir frekans bileşeni içermiyorsa, onu hız f_s ≥ 2·f_max ile örneklemek tüm bilgiyi yakalar. Orijinal sinyal örneklerden tam olarak yeniden oluşturulur.
f_s / 2 = f_max eşiği Nyquist'in adını taşır. Tam olarak Nyquist oranında (2·f_max) örnekleme prensipte yeterlidir ama pratikte tehlikelidir: herhangi küçük bir uyumsuzluk en yüksek frekansı isme büründürür.
Isme Bürünme
Bir sinyal f_s/2 üstünde frekanslar içerdiğinde, bu frekanslar [0, f_s/2] bandına geri katlı. f = f_s/2 + δ deki bir sinüzoit, f_s/2 − δ de bir ile ayırt edilemez. Tukey isme bürünme terimini bu taklidini adlandırmak için icat etti.
Geometrik resim: f & f + f_s frekanslarındaki karmaşık üstel fonksiyonlar tam sayı zamanlarında özdeş örnekler üretir. Bunlar bir isimleri paylaşırlar.
Örnekleme Oranı Seçimi
Pratik bir dijital ses sistemi filtreler tasarlamadan önce örnekleme oranını seçmelidir. İnsanlar kabaca 20 kHz'e kadar duyarlar. Standart CD örnekleme oranı 44,1 kHz, Nyquist frekansını 22,05 kHz'e ayarlar.
Örneklemeden önce, bir isme bürünme önleme filtresi Nyquist frekansının üstündeki tüm frekansları kaldırmalıdır. Küçük bir 25 kHz bileşeni bile örnekleyiciye girerse, 44100 − 25000 = 19,1 kHz'e isme bürünür — işitilir.
Donanımın Üç Sınırı
Hamming matematikle beraber daha geniş bir dersi öğretti. Dijital filtreler var çünkü donanım sınırlarına sahiptir — ve bu sınırları anlamak iyi tasarımı şekillendiriyor.
Donanım performansını sınırlayan doğa'nın üç yasasını tanımladı:
1. Moleküler boyut: devreler sonsuzca küçülemez. Belirli bir ölçeğin altında, kuantum etkiler baskın hale gelir.
2. Işık hızı: sinyaller en fazla 3×10⁸ m/s'de seyahat ederler. Çip üzerinde ışık geçiş-zamanından daha hızlı saat döngüleri bozulmalar üretir.
3. Isı dağılımı: değiştirme güç tüketir, bu da ısı haline gelir. Yoğun, hızlı çipleri soğutmadıkça aşırı ısınır.
Tasarım felsefesi doğrudan takip edildi: sınırları anlayın, sonra bu sınırlar içinde rahat çalışan sistemler tasarlayın, değişim & hata için alan bırakın.
Dijital filtreler hesaplamayı donanımdan (analog devreler) yazılıma (örnekler üzerinde aritmetik) hareket ettirir. Bu değişim donanım hassasiyetini sayısal hassasiyet & programlanabilirlikle takas eder — örnekleme teoreminin bir sonucu, mucize değil.
Hamming'in Tasarım Felsefesi
Hamming'in çerçevesi: bir dijital filtre yazılımda yapar analog filtrenin donanımda yaptığını. Örnekleme teoremi köprüdür. Köprünün tuttuğunu bildikten sonra, istenen transfer fonksiyonunu H(f) belirterek filtreler tasarlayabilirsiniz, sonra bunu gerçekleştiren katsayı dizisini bulursunuz.
Mühendis'in işi belirtim & aritmetik haline gelir, endüktörleri sardığı & kapasitörleri lehitlediği değil.