[논문 리뷰] Adventures in Radio Astronomy Instrumentation and Signal Processing

Peter L. McMahon|arXiv (Cornell University)|2011. 09. 02.

Embedded Systems Design Techniques참고 문헌 13인용 수 4

한 줄 요약

이 학위논문은 CASPER의 오픈소스 하드웨어 및 툴체인을 활용하여 실시간 전파망원경 신호 처리를 위한 고속, FPGA 기반 스펙트럼계수를 설계하고 구현한 바 있다. 이 작업은 다수의 천체망원경에서 펄서 탐지에 적합한 비일관성 및 일관성 있는 디스퍼전을 가능하게 하여, 밀리초 이하의 정밀한 타이밍 정확도를 달성하였으며, PSR B0329+54의 밀리초 펄스와 크랩 성운의 거대 펄스를 성공적으로 탐지하였다.

ABSTRACT

This thesis describes the design and implementation of several instruments for digitizing and processing analogue astronomical signals collected using radio telescopes. Modern radio telescopes have significant digital signal processing demands that are typically best met using custom processing engines implemented in Field Programmable Gate Arrays. These demands essentially stem from the ever-larger analogue bandwidths that astronomers wish to observe, resulting in large data volumes that need to be processed in real time. We focused on the development of spectrometers for enabling improved pulsar science on the Allen Telescope Array, the Hartebeesthoek Radio Observatory telescope, the Nançay Radio Telescope, and the Parkes Radio Telescope. We also present work that we conducted on the development of real-time pulsar timing instrumentation. All the work described in this thesis was carried out using generic astronomy processing tools and hardware developed by the Center for Astronomy Signal Processing and Electronics Research (CASPER) at the University of California, Berkeley. We successfully deployed to several telescopes instruments that were built solely with CASPER technology, which has helped to validate the approach to developing radio astronomy instruments that CASPER advocates.

연구 동기 및 목표

• 증가하는 아날로그 대역폭으로 인해 현대 전파망원경에서 실시간 디지털 신호 처리에 대한 수요 증가에 대응하기 위해.
• 다양한 전파망원경에 배포 가능한 비용 효율적이고 확장 가능한 스펙트럼계수를 오픈소스 CASPER 하드웨어 및 툴체인을 사용해 개발하기 위해.
• 향상된 펄서 타이밍 및 일시적 신호 탐지에 기여하기 위해 비일관성 및 일관성 있는 디스퍼전을 가능하게 하기 위해.
• 1PPS 및 카운터 동기화를 통한 정밀한 타임스탬프 기능을 통해 펄서 관측에서 정확한 타이밍을 확보하기 위해.
• 앨런 천체망원경, 파크스, 하르테베스후크 등 주요 망원경에 대한 성공적인 구현을 통해 CASPER 접근법의 타당성을 검증하기 위해.

제안 방법

• 10GbE 출력을 통해 고속 데이터 전송을 구현하기 위해 CASPER의 IBOB 및 ROACH FPGA 플랫폼을 사용하여 맞춤형 스펙트럼계수를 구현하였다.
• 실시간 처리를 위한 파werPC-FPGA 인터페이스를 사용하여 플라이즈 아이 시스템의 210MHz 4채널 스펙트럼계수를 설계하였다.
• 스펙트럼 채널화를 위해 폴리페이즈 필터 범프를 사용하고 힘모잉 윈도잉을 적용하였으며, 18비트 고정소수점 산술을 최적화하여 동적 범위를 향상시켰다.
• 1PPS 및 ARM 기반 카운터 동기화를 통합하여 스펙트럼 데이터의 밀리초 이하 정밀 타이밍 정확도를 달성하였다.
• 패킷 손실 탐지 및 정밀한 시간 태그 기능을 위해 카운터 값이 내장된 10GbE 패킷 포맷을 사용하였다.
• 일관성 있는 디스퍼전을 지원하고 전체 스토크스 매개변수 처리를 가능하게 하기 위해 '원시 복소 전압' 출력을 갖춘 이중 스펙트럼계수를 구현하였다.

실험 결과

연구 질문

• RQ1 광대역 전파망원경에서 유입되는 고속 데이터를 실시간으로 처리할 수 있도록 FPGA 기반 스펙트럼계수를 어떻게 설계할 수 있는가?
• RQ2 1PPS 및 내부 카운터를 사용하여 스펙트럼 데이터의 정밀한 타임스탬프를 기록하는 최적의 방법은 무엇인가?
• RQ3 오픈소스 CASPER 하드웨어 및 툴체인은 다양한 망원경 플랫폼에서 신뢰성 있고 고성능의 펄서 스펙트럼계수를 제공할 수 있는가?
• RQ4 비일관성 및 일관성 있는 디스퍼전 기법은 알려진 펄서에서 밀리초 전파 펄스를 탐지하는 데 얼마나 효과적인가?
• RQ5 빠른 읽기 읽기 스펙트럼계수의 성능 한계는 스펙트럼 덤프 레이트, 채널 수 및 동적 범위 측면에서 어떻게 되는가?

주요 결과

• 플라이즈 아이 시스템은 210MHz 4채널 스펙트럼계수를 사용하여 수소 스펙트럼선과 PSR B0329+54의 개별 펄스를 성공적으로 탐지하였다.
• 크랩 성운의 거대 펄스는 높은 신호 대 잡음비로 탐지되어 시스템의 밝은 일시적 사건에 대한 민감도를 확인하였다.
• 파크스 400MHz 이중 스펙트럼계수는 최소 통합 시간 5.12μs(195kHz 덤프 레이트)를 달성하였으며 장기간 관측 기간 동안 안정적으로 작동하였다.
• 하르테베스후크 스펙트럼계수는 1024개 주파수 채널과 8비트 출력을 갖추고 10GbE를 통해 1.5kHz 덤프 레이트로 작동하며 전체 스토크스 매개변수 기능을 구현하였다.
• 1PPS 및 ARM 트리거 기반 카운터 리셋을 통한 정밀한 타이밍 기능으로 밀리초 이하 정밀도의 타임스탬프 정확도를 달성하였다.
• 버클리 앨런 천체망원경 펄서 프로세서는 이중 스펙트럼계수를 통해 105MHz 대역폭을 확보하였으며, PSR B0329+54의 개별 펄스 실시간 탐지를 성공적으로 구현하였다.