Struktur Balik
Sebuah filter FIR (tanggapan impuls terbatas) menghitung setiap sampel output sebagai jumlah bobot dari masukan saat ini dan masukan yang lalu hanya. Tidak ada balik. Respon impulsnya memiliki durasi terbatas.
Sebuah filter IIR (tanggapan impuls tak terbatas) mengirimkan output sebelumnya kembali ke perhitungan:
y_n = Σ b_k · x_{n−k} − Σ a_k · y_{n−k}
Bagian rekursif −Σ a_k · y_{n−k} menciptakan balik. Impuls tunggal pada input akan menggema di sekitar loop balik secara tidak terbatas (menurun secara geometris jika stabil).
Mengapa Menggunakan Balik?
Sebuah filter IIR dapat mencapai selektivitas frekuensi yang tajam dengan koefisien jauh lebih sedikit daripada filter FIR. Sebuah IIR 2-pole dapat mengaplikasikan apa yang membutuhkan 50 koefisien FIR yang sama untuk stopband attenuasi yang sama.
Harga: potensi instabilitas. Stabilitas ditentukan oleh sumbu H(z). Semua sumbu harus memenuhi lingkaran unit secara ketat.
Cerita Pancuran Hamming Tentang Balik
Hamming menggunakan cerita pribadi yang menonjol untuk menggambarkan instabilitas balik.
Dia menginap di kamar hotel yang sama berulang kali karena kebiasaan membantunya berorientasi ketika lelah. Tukang pipa telah menginstal pipa air panas diameter besar di pancuran. Ini menciptakan retardo yang signifikan antara menyesuaikan keran dan merasakan perubahan suhu air.
Setiap pagi, Hamming mengikuti pola yang sama: air terlalu dingin → naik panas → masih dingin → naik lebih banyak → tiba-tiba panas → melompat keluar → turun → ulangi.
Retardo dalam jalur balik berarti koraksannya selalu melebihi. Dia tidak bisa beradaptasi dengan retardo, bahkan setelah banyak kali ulangan.
Pelajaran teknik: instabilitas muncul baik dari gain balik yang berlebihan atau retardo dalam jalur balik yang berlebihan. Keduanya menghasilkan perilaku berburu yang sama. Dalam istilah filter: sumbu di atau di luar lingkaran unit menghasilkan respons osilasi atau divergen yang sama.
Mengkarakterisasi Instabilitas
Hamming menyadari bahwa ketidaktahan stabilitas pancutan air dapat dianalisis dua cara:
1. Tanggapannya terlalu kuat (gain yang berlebihan dalam tindakan koreksi).
2. Deteksinya terlalu terundur (terlalu cepat masuk ke dalam bak sebelum sistem stabil).
Kedua deskripsi tersebut menghasilkan hasil matematis yang sama: titik umpan balik loop telah pindah di luar lingkaran unit.
Empat Keluarga Klasik
Teori filter analog berkembang sekitar empat desain keluarga kelasik, masing-masing mewakili perdagangan yang berbeda. Keluarga-keluarga ini diubah menjadi waktu diskrit melalui transformasi bilinear atau impuls invariance.
Butterworth (Paling Rata)
Respon band lebar: |H(jω)|² = 1 / (1 + (ω/ω_c)^{2N}). Menurun monotonik. Tidak ada runcing di band lebar atau band non-lebar. Titik-titik berada pada lingkaran radius ω_c dalam ruang s (atau lingkaran yang diubah dalam ruang z). Flattest band lebar yang mungkin untuk urutan N tertentu.
Tipe Chebyshev I
Ripple yang sama di dalam daerah laluan, monoton di dalam daerah penghambat. Untuk tingkat urutan N dan tingkat ripple yang diberikan, mencapai potongan pemotongan yang lebih tajam daripada Butterworth. Puncak terletak pada elips (dalam s-plane).
Tipe Chebyshev II
Ripple yang sama di dalam daerah penghambat, monoton di dalam daerah laluan. Salinan gambaran frekuensi dari Tipe I.
Elips (Cauer)
Ripple yang sama di DALAM daerah laluan dan penghambat. Untuk tingkat urutan N dan tahap-tahap ripple yang diberikan, mencapai transisi yang paling tajam dari daerah laluan ke daerah penghambat. Menggunakan fungsi elips untuk menempatkan puncak dan nol secara optimum. Hamming: nama ini datang dari kenyataan bahwa fungsi elips digunakan dalam penarikan kesimpulan.
Perdagangan Dasar
Empat keluarga ini mencapai perdagangan yang sama secara dasar dengan cara yang berbeda: tingkat urutan N yang lebih tinggi memberikan transisi yang lebih tajam. Mengizinkan ripple (Chebyshev, elips) mencapai transisi yang lebih tajam untuk tingkat yang sama N. Elips mencapai transisi yang paling tajam secara absolut untuk apa pun N dan spesifikasi ripple.
Memilih Antar Keluarga Filter
Pilihan antara keluarga bergantung pada apa yang diterima aplikasi.
Mengajukan Klaim Ahli
Hamming mengingat bahwa beberapa ahli telah mengklaim bahwa semua filter IIR (rekursif) memiliki sifat tertentu. Dia bertanya-tanya apakah benar ini - dan menemukan kontercontoh.
Poinnya: ahli sering kali mengangkat klaim yang mereka absorbsi di sekolah tanpa pernah menguji kembali mereka dalam konteks masalah saat ini. Jika Anda bertanya-tanya apakah yang Anda diberitahu benar-benar benar, Anda akan terkejut dengan banyaknya yang dapat Anda temukan yang salah, atau hampir salah, bahkan dalam bidang yang sangat berkembang.
Contoh konter ini bukan jenis filter yang Anda biasanya desain, tetapi membuktikan bahwa klaim tersebut superfisial. Satu contoh konter cukup untuk membantah klaim universal.
Desain IIR dalam Praktek
Hamming mencatat bahwa dia telah mengembangkan sendiri sebagian besar teori filter IIR sambil memecahkan masalah yang berbeda: mendapatkan rumus koreksi stabil untuk persamaan diferensial biasa numerik.
Bentuk rumus koreksi: y_n = Σ a_k · y_{n−k} + Σ b_k · f(y_{n−k})
Feedback terlihat dalam kedua variabel y (feedback linear) dan variabel f(y) (feedback non-linear melalui persamaan diferensial). Stabilitas untuk filter IIR adalah kasus khusus dari masalah yang lebih umum tentang stabilitas untuk integrator ODE numerik.
Menghubungkan Feedback di Antara Bidang
Struktur matematis yang sama - feedback, pola, batas stabilitas - muncul dalam filter digital, pemecah ODE numerik, sistem kendali, ritme biologis, dan model ekonomi.
Dalam setiap bidang: sebuah loop feedback menghitung sebuah keadaan baru dari keadaan sebelumnya. Stabilitas membutuhkan feedback tidak menggandakan gangguan secara tidak terbatas.
Batang stabilitas lingkaran satuan dalam Z-plane berkorespondensi dengan: sumbu imajiner dalam ruang Laplace s (waktu terus menerus), kondisi spectral radius ρ(A) < 1 untuk iterasi linear, dan kondisi eksponen Lyapunov λ < 0 untuk sistem non-linear.