Cấu Trúc Phản Hồi
Một bộ lọc FIR (finite impulse response) tính từng mẫu đầu ra dưới dạng tổng trọng số của các mẫu đầu vào hiện tại & quá khứ chỉ. Không có phản hồi. Đáp ứng xung có khoảng thời gian hữu hạn.
Một bộ lọc IIR (infinite impulse response) đưa các đầu ra trước đó trở lại vào tính toán:
y_n = Σ b_k · x_{n−k} − Σ a_k · y_{n−k}
Số hạng đệ quy −Σ a_k · y_{n−k} tạo phản hồi. Một xung duy nhất ở đầu vào sẽ vang lại xung quanh vòng phản hồi vô thời hạn (giảm dần hình học nếu ổn định).
Tại Sao Sử Dụng Phản Hồi?
Một bộ lọc IIR có thể đạt được tính chọn lọc tần số sắc nét với ít hệ số hơn nhiều so với bộ lọc FIR. Một IIR 2-cực có thể xấp xỉ những gì yêu cầu FIR có 50 hệ số cho cùng độ suy giảm vùng dừng.
Giá: tiềm năng không ổn định. Các cực của H(z) xác định ổn định. Tất cả các cực phải nằm hoàn toàn bên trong hình tròn đơn vị.
Câu Chuyện Vòi Hoa Sen Phản Hồi của Hamming
Hamming đã sử dụng một câu chuyện cá nhân sống động để minh họa không ổn định phản hồi.
Anh ấy ở lại trong cùng một phòng khách sạn lặp đi lặp lại vì quen thuộc giúp anh ấy định hướng khi mệt. Người thợ nước đã cài đặt các ống nước nóng đường kính lớn trong vòi hoa sen. Những cái này tạo ra một độ trễ đáng kể giữa điều chỉnh núm và cảm nhận sự thay đổi nhiệt độ nước.
Mỗi sáng, Hamming tuân theo cùng một mô hình: nước quá lạnh → tăng nóng → vẫn lạnh → tăng thêm → đột nhiên sôi → nhảy ra → hạ xuống → lặp lại.
Độ trễ trong đường dẫn phản hồi có nghĩa là sự điều chỉnh của anh ấy luôn vượt quá mục tiêu. Anh ấy không thể thích nghi với độ trễ, ngay cả sau nhiều lần lặp lại.
Bài học về kỹ thuật: không ổn định phát sinh từ lợi ích quá mức trong đường dẫn phản hồi HOẶC độ trễ quá mức trong đường dẫn phản hồi. Cả hai đều biểu hiện như hành vi săn lùng giống nhau. Theo thuật ngữ bộ lọc: các cực tại hoặc bên ngoài hình tròn đơn vị tạo ra chính xác phản ứng dao động hoặc phân kỳ này.
Mô Tả Đặc Trưng Không Ổn Định
Hamming quan sát rằng cùng một không ổn định vòi hoa sen có thể được phân tích theo hai cách:
1. Phản ứng của anh ấy quá mạnh (lợi ích quá mức trong hành động điều chỉnh).
2. Phát hiện của anh ấy quá trễ (quá vội vàng bước vào bồn trước khi hệ thống ổn định).
Cả hai mô tả đều tạo ra kết quả toán học giống nhau: cực của vòng phản hồi đã di chuyển bên ngoài hình tròn đơn vị.
Bốn Họ Cổ Điển
Lý thuyết bộ lọc tương tự được phát triển xung quanh bốn gia đình thiết kế cổ điển, mỗi gia đình đại diện cho một sự đánh đổi khác nhau. Các gia đình này được chuyển đổi thành thời gian rời rạc thông qua phép biến đổi song tuyến tính hoặc bất biến xung.
Butterworth (Tối Đa Phẳng)
Đáp ứng vùng thông: |H(jω)|² = 1 / (1 + (ω/ω_c)^{2N}). Giảm đơn điệu. Không có gợn sóng trong vùng thông hoặc vùng dừng. Các cực nằm trên một hình tròn bán kính ω_c trong mặt phẳng s (hoặc hình tròn được chuyển đổi trong mặt phẳng z). Vùng thông phẳng nhất có thể cho một bậc N nhất định.
Chebyshev Loại I
Gợn sóng bằng nhau trong vùng thông, đơn điệu trong vùng dừng. Đối với một bậc N nhất định và mức gợn sóng, đạt được cắt sắc hơn Butterworth. Các cực nằm trên một hình elip (trong mặt phẳng s).
Chebyshev Loại II
Gợn sóng bằng nhau trong vùng dừng, đơn điệu trong vùng thông. Ảnh phản chiếu của Loại I trong miền tần số.
Elliptic (Cauer)
Gợn sóng bằng nhau trong CẢ vùng thông và vùng dừng. Đối với một bậc N nhất định và mức gợn sóng, đạt được quá trình chuyển tiếp sắc nét nhất có thể từ vùng thông sang vùng dừng. Sử dụng các hàm elliptic để đặt các cực & số không tối ưu. Hamming: tên có nguồn gốc từ thực tế rằng các hàm elliptic được sử dụng trong đạo hàm.
Sự Đánh Đổi Cơ Bản
Tất cả bốn gia đình đạt được cùng một sự đánh đổi cơ bản khác nhau: bậc cao hơn N cho chuyển tiếp sắc nét hơn. Cho phép gợn sóng (Chebyshev, elliptic) đạt được chuyển tiếp sắc nét hơn cho cùng một N. Elliptic đạt được chuyển tiếp sắc nét tuyệt đối nhất cho bất kỳ N và đặc tả gợn sóng nào.
Chọn Giữa Các Họ Bộ Lọc
Sự lựa chọn giữa các gia đình phụ thuộc vào những gì ứng dụng cho phép.
Đặt Câu Hỏi Yêu Cầu Của Chuyên Gia
Hamming nhớ lại rằng một số chuyên gia đã tuyên bố tất cả các bộ lọc IIR (đệ quy) sở hữu một tính chất cụ thể. Anh ấy tự hỏi liệu điều này có thực sự đúng không — và tìm thấy một phản ví dụ.
Ý của anh ấy: các chuyên gia thường mang theo những tuyên bố mà họ hấp thụ ở trường mà không bao giờ tái xét lại chúng trong bối cảnh các vấn đề hiện tại. Nếu bạn tự hỏi liệu những gì bạn được nói có thực sự đúng hay không, thật kinh ngạc là bạn có thể tìm thấy bao nhiêu là, hoặc gần như, sai, ngay cả trong một lĩnh vực phát triển tốt.
Phản ví dụ không phải là loại bộ lọc bạn thường sẽ thiết kế, nhưng nó đã chứng minh yêu cầu bề ngoài. Một phản ví dụ duy nhất là đủ để bác bỏ một yêu cầu phổ biến.
Thiết Kế IIR Trong Thực Tế
Hamming lưu ý rằng anh ấy đã độc lập phát triển nhiều lý thuyết bộ lọc IIR trong khi giải quyết một vấn đề khác: lấy đạo hàm các công thức bằng chứng ổn định cho các phương trình vi phân thường.
Dạng công thức bằng chứng: y_n = Σ a_k · y_{n−k} + Σ b_k · f(y_{n−k})
Phản hồi xuất hiện ở cả các điều khoản y (phản hồi tuyến tính) và các điều khoản f(y) (phản hồi phi tuyến thông qua phương trình vi phân). Ổn định của bộ lọc IIR là một trường hợp đặc biệt của vấn đề tổng quát hơn về ổn định của tích phân số ODE.
Kết Nối Phản Hồi Trên Các Miền
Cùng một cấu trúc toán học — phản hồi, các cực, ranh giới ổn định — xuất hiện trong bộ lọc số, trình giải ODE số, hệ thống điều khiển, nhịp sinh học, & mô hình kinh tế.
Trong mỗi miền: một vòng phản hồi tính toán trạng thái mới từ các trạng thái trước đó. Ổn định yêu cầu phản hồi không khuếch đại các nhiễu loạn vô thời hạn.
Ranh giới ổn định hình tròn đơn vị trong mặt phẳng Z tương ứng với: trục tưởng tượng trong mặt phẳng Laplace s liên tục (thời gian liên tục), điều kiện bán kính quang phổ ρ(A) < 1 đối với các lần lặp tuyến tính, & điều kiện số mũ Lyapunov λ < 0 đối với các hệ thống phi tuyến.