가상 지연을 이용한 HF 전파 레이 트레이싱 검증 방법

초록

본 논문은 전리층의 3차원 레이 트레이싱 알고리즘이 산출하는 군집 시간 지연(t calc)을, 가상의 완전 반사체를 가정해 얻은 가상 시간 지연(t virt)과 비교함으로써 알고리즘의 정확성을 검증한다. 단조 증가 전자밀도 프로파일(분석식 챕먼 모델 및 수치형 IRI 기반 모델)에서 두 지연값의 상대 오차가 0.2 % 이하로 매우 작음을 확인하였다.

상세 분석

이 연구는 HF 전파가 전리층을 통과하면서 발생하는 군집(group) 시간 지연을 정량적으로 평가하는 새로운 검증 프레임워크를 제시한다. 전통적으로 레이 트레이싱 알고리즘의 성능을 검증하려면 실제 측정된 t real이 필요하지만, 실험적 측정이 드물고 비용이 많이 든다. 저자들은 ‘가상 반사체’를 전리층의 가상 반사 고도(h′ v)와 동일한 고도에 배치함으로써, 가상의 전파 경로를 정의하고 이 경로를 진공에서 빛의 속도 c로 전파시킨 가상 시간 지연 t virt을 ‘실제’ 지연값으로 대체한다.

핵심 이론은 Breit‑Tuve 정리와 Martyn 정리이다. Breit‑Tuve 정리는 전리층을 평탄한 층으로 가정할 때, 실제 전파가 군집 속도 vg(=c/ng)로 이동하는 시간 t calc이 진공에서 직선 경로를 따라 이동하는 시간 t virt과 동일함을 보장한다. Martyn 정리는 수직 주파수 f v와 경사 주파수 f ob 사이의 관계를 cos φ · f ob = f v (φ는 입사각)로 연결시켜, 두 경우에 동일한 가상 반사 고도 h′ v가 적용된다는 점을 강조한다. 이러한 정리를 전제로, 저자들은 레이 트레이싱 프로그램이 6개의 해밀턴 방정식을 구형 좌표계에서 수치 적분함을 설명하고, 적분 단계 Δt를 c·Δt 로 변환해 t calc을 직접 계산한다.

검증에 사용된 전자밀도 모델은 두 종류다. 첫 번째는 분석식 챕먼 모델(단조 증가)이며, 두 번째는 IRI 기반 수치 모델을 0.5 km 간격의 격자로 재구성한 것이다. 두 모델 모두 전리층을 수평 구배가 없는 평탄(또는 구형) 구조로 가정하고, 전파가 통과하는 구간에서 전자밀도가 연속적으로 증가하도록 설계되었다. 결과적으로, 챕먼 모델에서는 주파수가 낮을수록 t calc과 t virt 사이의 상대 오차가 0.2 % 이하로 거의 무시할 수 있는 수준이었다. 고주파(임계 주파수에 근접)에서는 굴절률이 급격히 변하면서 수치 적분 오차가 증가했지만, 전체 오차는 여전히 1 % 미만에 머물렀다. 수치 모델에서도 동일한 경향이 관찰되었으며, 격자 간격에 의한 이산화 효과가 오차를 약간 증폭시켰다.

이 논문의 주요 공헌은 다음과 같다. 첫째, 실제 측정 없이도 레이 트레이싱 알고리즘의 시간 지연 계산 정확성을 검증할 수 있는 실용적인 방법을 제시하였다. 둘째, 가상 반사체와 가상 시간 지연 개념을 이용해 전리층 모델링의 이상적인 경우(단조 증가 프로파일)에서 이론적 정리와 수치 결과가 일치함을 실증하였다. 셋째, 분석식과 수치식 두 전자밀도 모델 모두에서 오차가 1 % 이하임을 보여, 제안된 검증 절차가 다양한 전리층 모델에 적용 가능함을 입증했다. 마지막으로, 레이 트레이싱 프로그램이 해밀턴 방정식 기반으로 구현된 점을 강조하며, 적분 스텝 선택이 오차에 미치는 영향을 정량적으로 평가하였다. 이러한 결과는 HF 통신, 오버‑더‑호라이즌 레이더, 전리층 사운드링크 등 고정밀 전파 전파 모델링이 요구되는 분야에서 알고리즘 신뢰성을 확보하는 데 큰 도움이 될 것이다.