Geri Bildirim Yapısı
Bir FIR (sonlu dürtü yanıtı) filtresi, her çıkış örneğini yalnızca şimdiki & geçmiş girdilerin ağırlıklı toplamı olarak hesaplar. Geri bildirim yoktur. Dürtü yanıtı sonlu süredir.
Bir IIR (sonsuz dürtü yanıtı) filtresi önceki çıkışları geri besler:
y_n = Σ b_k · x_{n−k} − Σ a_k · y_{n−k}
Özyinelemeli terim −Σ a_k · y_{n−k} geri bildirim oluşturur. Girdideki tek bir dürtü geri bildirim döngüsü etrafında sonsuza kadar yankılanır (kararlı ise geometrik olarak azalır).
Neden Geri Bildirim Kullanalım?
Bir IIR filtresi, FIR filtresi ile aynı durdurma bandı zayıflaması için çok daha az katsayı ile keskin frekans seçkiliğine ulaşabilir. 2 kutuplu bir IIR, aynı durdurma bandı zayıflaması için 50 katsayılı bir FIR'ı yaklaşıklaştırabilir.
Bedel: olası kararsızlık. H(z) kutuplaması kararlılığı belirler. Tüm kutuplar birim daire içinde kesin olarak bulunmalıdır.
Hamming'in Geri Bildirim Duş Hikayesi
Hamming, geri bildirim kararsızlığını açıklamak için canlı kişisel bir hikaye kullandı.
Yorgun olduğunda oryantasyona yardımcı olduğu için aynı otel odasında defalarca kaldı. Tesisatçı, duşta büyük çaplı sıcak su boruları kurmuştu. Bunlar, vanayı ayarlama ile su sıcaklığındaki değişimi hissetme arasında önemli bir gecikme oluşturdular.
Her sabah Hamming aynı düzeni izledi: su çok soğuk → sıcağı aç → hala soğuk → daha fazla aç → aniden kaynar → dışarı çık → azalt → tekrarla.
Geri bildirim yolundaki gecikme, onun düzeltmelerinin her zaman aşırı olması anlamına geldi. Pek çok tekrardan sonra dahi gelen geri bildirimine uyum sağlayamadı.
Mühendislik dersi: kararsızlık, geri bildirim yolunda aşırı kazanç VEYA geri bildirim yolunda aşırı gecikme nedeniyle ortaya çıkar. İkisi de aynı avınayı davranışı gösterir. Filtre terimlerine göre: kutuplar birim daire içinde veya dışında olan yanıtlar tam olarak bu salınımlı veya ıraksamış yanıt üretir.
Kararsızlığı Karakterize Etme
Hamming, aynı duş kararsızlığının iki şekilde analiz edilebileceğini gözlemledi:
1. Tepkisi çok güçlüydü (düzeltme eyleminde aşırı kazanç).
2. Tespiti çok gecikmişti (sistem yerleşmeden önce küvete girmeye çok aceleci).
Her iki açıklama da aynı matematiksel sonucu üretir: geri bildirim döngüsünün kutubu birim daire dışına hareket etmiştir.
Dört Klasik Aile
Analog filtre teorisi, her biri farklı bir uzlaşmayı temsil eden dört klasik tasarım ailesi etrafında gelişti. Bu aileler, iki kutuplu dönüşüm veya dürtü değişmezliği aracılığıyla ayrık zamana dönüşür.
Butterworth (Maksimal Düz)
Geçiş bandı yanıtı: |H(jω)|² = 1 / (1 + (ω/ω_c)^{2N}). Monoton olarak azalır. Geçiş bandı veya durdurma bandında dalgalanma yoktur. Kutuplar s-düzleminde ω_c yarıçaplı bir daire üzerinde (veya z-düzleminde dönüştürülmüş daire) yer alırlar. Verilen N mertebesine göre en düz olası geçiş bandı.
Chebyshev Tip I
Geçiş bandında eşit dalgalanma, durdurma bandında monoton. Verilen N mertebesine göre ve dalgalanma seviyesine göre Butterworth'tan daha keskin kesme ulaşır. Kutuplar bir elips üzerinde yer alırlar (s-düzleminde).
Chebyshev Tip II
Durdurma bandında eşit dalgalanma, geçiş bandında monoton. Tip I'ın frekans alanında ayna görüntüsü.
Eliptik (Cauer)
BOTH geçiş bandında VE durdurma bandında eşit dalgalanma. Verilen N mertebesine göre ve dalgalanma seviyeleri için, geçiş bandından durdurma bandına en keskin geçişi ulaşır. Kutupları & sıfırları en uygun şekilde yerleştirmek için eliptik fonksiyonları kullanır. Hamming: ad, eliptik fonksiyonların türetimde kullanılması gerçeğinden gelir.
Temel Uzlaşma
Dört aile de aynı temel uzlaşmayı farklı şekilde ulaşır: daha yüksek N mertebesine geçişin daha keskin olması sağlar. Dalgalanmaya izin vermek (Chebyshev, eliptik) aynı N için daha keskin geçiş ulaşır. Eliptik, herhangi bir N ve dalgalanma spesifikasyonu için mutlak en keskin geçişi ulaşır.
Filtre Aileleri Arasında Seçim Yapma
Aileler arasında seçim, uygulamanın ne tolere ettiğine bağlıdır.
Uzman İddiasını Sorgulamak
Hamming, belirli uzmanların tüm IIR (özyinelemeli) filtrelerin belirli bir özelliğe sahip olduğunu iddia ettiklerini hatırlıyordu. Bunun gerçekten doğru olup olmadığını kendine sordu — ve bir karşı örnek buldu.
Onun noktası: uzmanlar çoğu zaman, okulda emiştirdikleri iddiaları taşırlar ve bunları mevcut sorunlar bağlamında hiç yeniden incelemezler. Kendinize söylenenlerin gerçekten doğru olup olmadığını sorsanız, iyi gelişmiş bir alanda bile çok sayıda şeyin yanlış olduğunu veya yanlışa yakın olduğunu bulabilirsiniz.
Karşı örnek, normalde tasarlamak isteyeceğiniz bir filtre türü değildi, ancak iddiyayı yüzeyselleştirmek için yeterli olmuştur. Tek bir karşı örnek evrensel bir iddiyayı çürütmek için yeterlidir.
Uygulamada IIR Tasarımı
Hamming, farklı bir sorun çözerken IIR filtre teorisinin çoğunu bağımsız olarak geliştirmiş olduğunu kaydetti: sayısal adi diferansiyel denklemler için kararlı düzeltici formülleri türetmek.
Düzeltici formül formu: y_n = Σ a_k · y_{n−k} + Σ b_k · f(y_{n−k})
Geri bildirim hem y terimlerinde (doğrusal geri bildirim) hem de f(y) terimlerinde (diferansiyel denklem aracılığıyla doğrusal olmayan geri bildirim) görünür. IIR filtreleri için kararlılık, sayısal ODE integratörleri için kararlılığın daha genel sorununun özel bir örneğidir.
Geri Bildirimi Alanlar Arasında Bağlantı Kurmak
Aynı matematiksel yapı — geri bildirim, kutuplar, kararlılık sınırı — sayısal filtrelerde, sayısal ODE çözücülerde, kontrol sistemlerinde, biyolojik ritimlerde & ekonomik modellemede görünür.
Her alanda: geri bildirim döngüsü önceki durumlardan yeni bir durum hesaplar. Kararlılık, geri bildirimin pertürbasyonları sınırsızca amplifier etmemesini gerektirir.
Z-düzlemindeki birim daire kararlılık sınırı şu durumlara karşılık gelir: (sürekli zaman) Laplace s-düzleminde hayali eksen, (doğrusal yineleme) spektral yarıçap koşulu ρ(A) < 1, & (doğrusal olmayan sistemler) Lyapunov üssü koşulu λ < 0.