실시간 제어를 위한 초병렬 리드 뮬러 복호기

초록

본 논문은 리드-뮬러 부호 RM(r,m)에 대한 새로운 하드-디시전 다수결-로직 복호 알고리즘을 제안한다. 기존 최고 알고리즘보다 낮은 복잡도로 모든 비트를 복호하며, 상수 병렬 시간 내에 작동하는 고도로 병렬화된 디코딩을 가능하게 한다. 이는 안전 및 시간이 중요한 임베디드 시스템의 실시간 제어에 특히 중요한 결과이다.

상세 분석

이 논문의 핵심 기여는 리드-뮬러 부호에 대한 다수결-로직 복호의 복잡도를 획기적으로 낮춘 새로운 알고리즘 설계에 있다. 기존의 대표적인 Chen의 알고리즘은 0-플랫(단일 비트), r-플랫, (r+1)-플랫이라는 세 종류의 기하학적 객체를 사용하여 두 단계의 다수결 투표를 수행했다. 이 과정에서 (r+1)-플랫에 대한 체크섬 계산과 r-플랫에 대한 다수결 판정이 필요했으며, O(nδ²) 수준의 함수 호출이 발생했다.

본 논문에서 제안하는 알고리즘은 (r+1)-플랫을 전혀 사용하지 않고, 오직 r-플랫 집합 F에만 집중함으로써 복잡도를 감소시킨다. 이 r-플랫 집합 F는 Proposition 3에 따라 구성되며, 두 가지 핵심 속성을 가진다: 1) 임의의 두 r-플랫의 교집합은 최대 하나의 벡터로만 이루어져 있고, 2) Z₂^m 공간의 모든 벡터 v는 정확히 (δ-2)개의 서로 다른 r-플랫에 포함된다. 이 집합을 바탕으로, Theorem 5는 복호 논리를 정립한다: a) 특정 위치에서 오류가 발생했는지는 해당 위치를 포함하는 (δ-2)개의 r-플랫 중 과반수가 ‘odd’인지 여부로 판단한다(Chen의 알고리즘과 동일). b) 특정 r-플랫이 ‘odd’인지는 해당 r-플랫이 속한 그룹(동일한 부분공간 U_l로부터 생성된 δ개의 r-플랫들)에 대한 전체 다수결 결과(μ_l)와 해당 r-플랫의 체크섬(ς_l,i)이 다른지 여부로 간단히 판단할 수 있다.

이 접근법의 강점은 두 번째 단계에서 (r+1)-플랫에 대한 체크섬을 계산할 필요가 전혀 없으며, r-플랫 그룹별로 단 한 번의 다수결 연산(μ_l 계산)만으로 해당 그룹 내 모든 r-플랫의 상태를 동시에 판정할 수 있다는 점이다. 결과적으로 함수 호출 횟수는 O(nδ) 수준으로 감소하며, 모든 연산이 완전히 병렬화되어 상수 시간 내에 복호가 완료된다. 이는 하드웨어 구현 시 매우 간단한 조합회로만으로도 초고속 복호가 가능함을 의미하며, RM(2,5) 부호에 대한 하드웨어 설계 예시를 통해 그 실현 가능성을 입증하고 있다.