연구자들은 근거리 보정을 사용하여 특히 항공기와 같은 근거리 물체에서 발생하는 무선 주파수 간섭(RFI) 소스를 찾는 새로운 방법을 개발했습니다. 이 방법은 원거리 위상 조정, 근거리 보정, 빔포밍을 결합하여 곡선형 근거리 신호의 일관성을 극대화함으로써 RFI 방출기의 3차원 위치를 정확하게 파악합니다. 이는 기존 플래깅 방법보다 효율적이며, 더 많은 사용 가능한 데이터를 유지하고 재이온화 시대 21cm 신호 검출 가능성을 높입니다. 결과는 RFI 방출기의 고도를 효과적으로 추정하고 다양한 관측 조건에서 성능 차이를 보여주며, 향후 더 정확한 RFI 제거를 위한 기반을 마련합니다.
더 보기
이 논문은 리처드 버드의 저서 'Thinking Functionally with Haskell'에서 에라토스테네스의 체에 대한 잘못된 증명을 수정합니다. 버드는 순환적인 리스트 기반 구현을 제시하지만, 그 증명 힌트는 잘못되었습니다. 저자들은 새로운 보조정리를 도입하고 버트랜드의 가설을 약화시켜 완전한 정확성 증명을 제공합니다. 이 알고리즘과 데이비드 터너의 "전체 함수형 프로그래밍" 비전과의 관계도 탐구합니다.
더 보기
본 논문은 Fenwick 트리(이진 색인 트리라고도 함)의 구현 원리를 심도 있게 다룹니다. 이해하기 쉬운 세그먼트 트리로부터 시작하여 함수형 프로그래밍과 등식 추론을 사용하여 Fenwick 트리 구현을 단계적으로 유도하고, 겉보기에는 수수께끼 같은 비트 연산의 이면에 있는 논리를 밝힙니다. 무한 이진 보수 이진수에 작용하는 Haskell EDSL을 교묘하게 사용함으로써, 마침내 Fenwick 트리의 효율적인 구현 비밀을 밝혀내고, 업데이트 및 범위 쿼리 연산의 로그 시간 복잡도를 증명합니다.
더 보기
영국 1차 의료 데이터를 사용한 매칭 코호트 연구에 따르면, ADHD 진단을 받은 성인의 평균 수명이 일반 인구보다 상당히 짧은 것으로 나타났습니다. 2000년부터 2019년까지 792개의 일반의원에서 수집된 950만 명 이상의 데이터 분석 결과, 남성은 6.78년, 여성은 8.64년의 수명 단축이 확인되었습니다. 이러한 수명 단축은 ADHD와 동반되는 정신 질환 및 신체 질환에 대한 개선 가능한 위험 요인 및 충족되지 않은 지원 요구에 기인할 가능성이 높습니다. 이러한 결과는 ADHD 성인을 위한 더 나은 지원과 치료의 필요성을 강조합니다.
더 보기
시베리아 남부 투바 지역의 기원전 9세기 후반 투누그 1호 무덤 발굴 조사에서 최소 18마리의 말과 한 명의 인간 유해가 발견되었습니다. 그 배치는 헤로도토스가 기원전 5세기 스키타이 장례 의식에서 묘사한 희생 제물인 '유령 기병'을 연상시킵니다. 말 장비의 발견은 이 발견을 몽골 초기 말 문화와 더욱 밀접하게 연결시켜 줍니다. 방사성 탄소 연대 측정을 통해 무덤의 연대가 확인되었으며, 이러한 의식은 스키타이 시대의 시작으로 거슬러 올라갑니다. 이는 스키타이 기원에 대한 기존의 이해에 도전하고 유라시아 대초원에서의 초기 문화 교류를 부각합니다.
더 보기
영국 서머셋주 챠터하우스 워렌에서의 발굴 조사에서 청동기 시대 초기의 충격적인 대학살이 드러났습니다. 최소 37명의 남녀노소가 잔혹하게 살해되었고, 시체는 훼손되어 깊이 15미터의 자연 갱구에 버려져 있었습니다. 뼈에 남은 절단 자국과 둔기로 인한 외상은 계획적인 극단적인 폭력 행위, 그리고 아마도 식인 행위가 있었음을 시사합니다. 이 발견은 영국 선사 시대의 폭력에 대한 독특한 통찰력을 제공하며, 이 시대의 사회적 안정에 대한 기존의 이해를 뒤집고, 사건의 동기와 사회적 배경에 대한 추가 조사를 촉구하고 있습니다.
더 보기