Hamming이 디지털 필터를 배운 방법
Hamming은 전자 공학자가 아닌 수학자로서 디지털 필터에 접근했습니다. 그가 엔지니어들에게 다항식이나 베셀 함수 대신 정현파를 사용하는 이유를 물었을 때, 아무도 만족할 만한 답변을 주지 않았습니다. 그래서 그는 기초로 돌아갔습니다.
그는 복소 지수함수가 디지털 신호 처리를 지배하는 이유에 대한 세 가지 독립적인 이유를 찾아냈습니다. 각 이유만으로도 이 선택을 정당화할 수 있으며, 함께 고려하면 거의 필수적입니다.
이유 1: 시간 불변성
대부분의 신호 처리 시스템은 자연적인 시간의 원점을 갖지 않습니다. 정오에 적용된 필터는 자정에 적용된 같은 필터와 동일하게 작동해야 합니다. 이 시간 불변성의 제약은 고유함수가 복소 지수함수여야 함을 강제합니다.
수학적으로: 선형 시불변(LTI) 시스템이 입력 x(n) = e^{i2πfn}을 가지면, 출력도 주파수 f로 진동해야 합니다. 오직 복소 지수함수만이 이를 만족합니다.
이유 2: 선형성
선형 시스템은 중첩을 따릅니다. 모든 선형 연산자의 고유함수는 연산자가 작용할 때 변하지 않은 상태로 나타나는 함수(스케일링 제외)입니다. 이동 연산자 S: x(n) → x(n−1)에 대해, 고유함수는 정확히 e^{i2πfn}입니다.
이유 3: 나이퀴스트 샘플링
연속 신호가 f_max보다 높은 주파수 성분을 포함하지 않으면, 이를 ≥ 2f_max의 속도로 샘플링할 때 모든 정보가 캡처됩니다. 이 나이퀴스트-섀넌 샘플링 정리는 연속 & 이산 신호 처리를 오직 푸리에 표현에 대해서만 깔끔하게 연결합니다.
균등한 간격의 샘플링 하에서, 단일 높은 주파수는 단일 낮은 주파수로 앨리어싱됩니다. 다항식 기저 하에서, 단일 높은 거듭제곱의 t는 많은 낮은 거듭제곱으로 앨리어싱됩니다: 푸리에가 완전히 피하는 혼란입니다.
고유값으로서의 전달함수
e^{i2πfn}이 선형 시불변 필터에 들어가면, 출력은 어떤 복소수 H(f)에 대해 H(f) · e^{i2πfn}과 같습니다. 필터는 진동을 스케일링하고 이동할 수 있지만 주파수를 변경할 수는 없습니다.
H(f)는 주파수 f에서 필터의 모든 동작을 단일 복소수로 수집합니다. 계수 c_k를 가진 필터의 경우:
H(f) = Σ c_k · e^{−i2πfk}
이 공식은 H(f)를 계수 수열의 푸리에 변환으로 만듭니다. 모든 주파수 채널은 독립적으로 작동합니다. 필터는 입력을 주파수 성분으로 분해하고, 각 성분에 H(f)를 곱하고, 다시 재조립합니다.
샘플링 정리
Hamming은 나이퀴스트 샘플링 정리가 나이퀴스트 이전에 알려져 있었지만 나이퀴스트가 신용을 받는다고 지적했습니다. 그는 Pasteur를 인용했습니다: '행운은 준비된 마음을 돕습니다.' 기존 아이디어를 실제적인 필요와 연결하는 사람이 명성을 얻습니다.
정리
연속 신호 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 − δ의 정현파와 구별할 수 없어 보입니다. Tukey는 이 변장을 이름 붙이기 위해 앨리어싱이라는 용어를 만들었습니다.
기하학적 그림: 주파수 f & f + f_s의 복소 지수함수는 정수 시간에서 동일한 샘플을 생성합니다. 그들은 앨리어스를 공유합니다.
샘플링 레이트 선택하기
실제 디지털 오디오 시스템은 필터를 설계하기 전에 샘플링 레이트를 선택해야 합니다. 인간은 대략 20 kHz까지 들을 수 있습니다. 표준 CD 샘플링 레이트인 44.1 kHz는 나이퀴스트 주파수를 22.05 kHz로 설정합니다.
샘플링 이전에, 반앨리어싱 필터가 나이퀴스트 주파수 위의 모든 주파수를 제거해야 합니다. 작은 25 kHz 성분이라도 샘플러에 들어가면 44100 − 25000 = 19.1 kHz로 앨리어싱됩니다 — 들을 수 있습니다.
하드웨어의 세 가지 한계
Hamming은 수학과 함께 더 넓은 교훈을 가르쳤습니다. 디지털 필터는 하드웨어가 한계를 가지기 때문에 존재합니다 — & 그 한계를 이해하는 것은 좋은 설계를 형성합니다.
그는 하드웨어 성능을 제한하는 자연의 세 가지 법칙을 식별했습니다:
1. 분자 크기: 회로는 무한정 축소될 수 없습니다. 특정 규모 아래에서, 양자 효과가 지배합니다.
2. 광속: 신호는 최대 3×10⁸ m/s로 이동합니다. 칩 전체에 대한 광 이동 시간보다 빠른 클록 사이클은 글리치를 생성합니다.
3. 열 방출: 전환은 전력을 소비하며, 이는 열이 됩니다. 조밀하고 빠른 칩은 냉각되지 않으면 과열됩니다.
그의 설계 철학은 직접 다음을 따랐습니다: 한계를 이해한 다음, 그 한계 내에서 편안하게 작동하고 변화 & 오류의 여지가 있는 시스템을 설계합니다.
디지털 필터는 하드웨어(아날로그 회로)에서 소프트웨어(샘플에 대한 산술)로 계산을 이동합니다. 이 이동은 하드웨어의 취약성을 수치 정밀도 & 프로그래밍 가능성으로 교환합니다 — 기적이 아니라 샘플링 정리의 결과입니다.
Hamming의 설계 철학
Hamming의 구조: 디지털 필터는 소프트웨어에서 아날로그 필터가 하드웨어에서 하는 것을 구현합니다. 샘플링 정리가 다리입니다. 다리가 견디는 것을 알면, 원하는 전달함수 H(f)를 지정해서 필터를 설계할 수 있고, 그 다음 그것을 실현하는 계수 수열을 찾습니다.
엔지니어의 작업은 인덕터를 감싸고 커패시터를 납땜하는 것이 아니라 명세 & 산술이 됩니다.