스파이킹 뉴럴 P 시스템의 지연 현상과 무지연 시뮬레이션

초록

본 논문은 지연이 포함된 스파이킹 뉴럴 P 시스템(SNP 시스템)을 지연이 없는 SNP 시스템으로 정확히 변환하는 방법을 제시한다. 순차, 반복, 결합, 분할 라우팅 네가지 기본 패턴을 대상으로 구성법을 설계하고, 변환된 시스템이 원본과 동일한 시간에 정지하고, 동일한 수의 스파이크를 환경에 방출하도록 보장한다.

상세 분석

본 연구는 기존 작업에서 제시된 지연을 갖는 SNP 시스템을 무지연 시스템으로 시뮬레이션하는 방법을 확장·개선하였다. 핵심 아이디어는 지연 규칙을 “가상 뉴런”과 “보조 스파이크”를 이용해 시간적 흐름을 재현하는 것이다. 구체적으로, 각 지연 d를 갖는 규칙 a → b; d는 d개의 연속적인 중간 뉴런을 삽입하고, 각 중간 뉴런은 단일 스파이크를 한 단계씩 전달하도록 설계한다. 이렇게 하면 원본 시스템이 d 단계 후에 발생시키는 스파이크와 동일한 시점에 무지연 시스템에서도 스파이크가 방출된다.

연구는 네 가지 라우팅 패턴을 체계적으로 분석한다. 순차 라우팅에서는 한 뉴런이 다른 뉴런에 순차적으로 스파이크를 전달하는 과정에서 발생하는 누적 지연을, 중간 뉴런 체인을 통해 정확히 재현한다. 반복 라우팅은 동일 뉴런이 자체 규칙을 반복 실행하는 구조로, 지연이 있는 경우와 없는 경우의 주기성을 비교한다. 여기서는 주기 길이를 보존하기 위해 중간 뉴런을 순환 구조로 배치하고, 초기 스파이크 수를 1개로 제한함으로써 동기화를 유지한다.

결합 라우팅은 두 개 이상의 입력 뉴런이 동시에 스파이크를 받아 하나의 출력 뉴런으로 전달되는 경우이며, 지연이 서로 다를 때 발생하는 비동기성을 해결하기 위해 가장 큰 지연값을 기준으로 전체 시스템의 타임스텝을 맞춘다. 이를 위해 각 입력 경로에 적절한 수의 보조 뉴런을 삽입해 작은 지연을 “채우는” 방식으로 동기화한다.

분할 라우팅은 하나의 뉴런이 여러 출력 뉴런으로 스파이크를 분산시키는 구조다. 여기서는 스파이크 복제 규칙을 사용하면서, 각 복제 경로에 독립적인 지연 보정 뉴런을 두어 원본 시스템의 동시 방출 특성을 그대로 재현한다.

전체 변환 과정에서 중요한 보장 조건은 (1) 초기 스파이크 수가 정확히 1개여야 함, (2) 변환 전·후 시스템이 동일한 시간에 정지하고, (3) 정지 시 환경에 방출되는 스파이크 수가 동일해야 한다는 점이다. 논문은 수학적 귀납법과 시뮬레이션 결과를 통해 이 세 조건이 모두 만족됨을 증명한다. 또한 변환 후 시스템의 크기(뉴런 수와 규칙 수)가 원본에 비해 선형적으로 증가한다는 점을 언급하며, 실용적인 구현 가능성을 강조한다.

본 연구는 SNP 시스템의 이론적 모델링에서 지연을 다루는 복잡성을 크게 완화시킨다. 지연이 없는 시스템으로 변환함으로써 기존의 분석 도구와 검증 기법을 그대로 적용할 수 있게 되며, 특히 자동화된 정규성 검사와 최적화 알고리즘에 유리하다. 또한, 변환 기법이 순차·반복·결합·분할이라는 네 가지 기본 라우팅에 대해 일반화 가능함을 보였으므로, 복합적인 네트워크 구조에도 확장 적용이 가능하다는 점에서 향후 연구의 토대를 제공한다.