[논문 리뷰] Towards a Spiking Neural P Systems OS

Ammar Adl, Amr Badr외 1명|arXiv (Cornell University)|2010. 12. 01.

DNA and Biological Computing참고 문헌 3인용 수 7

한 줄 요약

이 논문은 자극 전도 신경 퍼져나가는 P 시스템(SN P 시스템)에서 영감을 얻은 새로운 운영체제(OS) 아키텍처를 제안한다. 이는 뉴런의 자극 발생 시점이 정보를 인코딩하는 시간 기반 계산 모델을 활용하여 핵심 OS 기능을 실현한다. 자극 발생 시점에 기반한 모델링을 통해 논리 게이트, 산술 연산, 정렬을 실현함으로써 계산 완전성을 입증하고 뇌 기반 OS 설계의 기초 원리를 제시한다.

ABSTRACT

This paper is an attempt to incorporate the idea of spiking neural P systems as an early seed into the area of Operating System Design, regarding their capability to solve some classical computer science problems. It is reflecting the power of such systems to simulate well known parallel computational models, like logic gates, arithmetic operation, and sorting. In these devices, the time (when the neurons fire and/or spike) plays an essential role. For instance, the result of a computation is the time between the moments when a specified neuron spikes. Seen as number computing devices, SN P systems are shown to be computationally complete, and with such capabilities, arithmetic operations, logic, and timing, some first steps could be taken towards an OS design.

연구 동기 및 목표

• 스파이킹 뉴럴 P 시스템(SN P 시스템)을 운영체제 설계의 기초 모델로 사용할 수 있는지 탐색하는 것.
• SN P 시스템의 자극 발생 시점의 시간적 동역학을 활용하여 계산 결과를 인코딩하고 처리하는 것.
• SN P 시스템이 전통적인 계산 모델, 예를 들어 논리 게이트, 산술 유닛, 정렬 알고리즘을 시뮬레이션할 수 있음을 입증하는 것.
• 뇌 기반, 스파이킹 뉴럴 OS의 이론적 기반을 마련하고 계산 완전성을 확보하는 것.
• 미래의 OS 아키텍처에서 병렬적이고 시간에 민감한 계산을 위한 새로운 패러다임으로 SN P 시스템을 위치시키는 것.

제안 방법

• 자기 신경의 자극 발생 시점이 출력 값을 인코딩하는 계산 장치로 SN P 시스템을 모델링하는 것.
• 자극 전파 및 지연 메커니즘을 활용해 논리 게이트(AND, OR, NOT)를 모방하는 뉴런 네트워크를 설계하는 것.
• 동기화된 자극 시퀀스와 임계값 기반 뉴런 활성화를 통해 산술 연산(덧셈, 곱셈)을 구현하는 것.
• 자극 기반 동기화와 지연선을 활용해 스파이크 시퀀스를 정렬하는 정렬 네트워크를 구성하는 것.
• 스파이크 기반 인코딩을 통해 보편 타링 기계와의 등가성을 입증함으로써 계산 완전성을 증명하는 것.
• 특정 자극 사건 간의 시간 간격을 계산 결과로 사용하여 시간 기반 출력 표현을 가능하게 하는 것.

실험 결과

연구 질문

• RQ1 스파이킹 뉴럴 P 시스템은 논리 게이트 및 산술 연산과 같은 기본 계산 연산을 모델링하는 데 사용될 수 있는가?
• RQ2 자극 발생 시점은 전통적 계산 방식과 유사하게 결과를 표현하고 계산하는 데 어떻게 활용될 수 있는가?
• RQ3 SN P 시스템은 정렬 네트워크와 같은 전통적인 병렬 계산 모델을 어느 정도 시뮬레이션할 수 있는가?
• RQ4 오직 자극 발생 시점과 뉴런의 동역학만을 사용해 계산 완전성을 달성할 수 있는가?
• RQ5 스파이킹 뉴럴 운영체제 설계를 뒷받침할 수 있는 기초 원리는 무엇인가?

주요 결과

• SN P 시스템은 자극 전달 및 지연 메커니즘을 활용해 기본 논리 게이트(AND, OR, NOT)를 시뮬레이션할 수 있다.
• 덧셈 및 곱셈과 같은 산술 연산은 동기화된 자극 시퀀스와 임계값 기반 뉴런 활성화를 통해 실현될 수 있다.
• 지연선과 뉴런 동기화를 통해 스파이크 트레인을 정렬함으로써 정렬 연산을 달성할 수 있다.
• 특정 자극 사건 간의 시간 간격이 계산 결과를 인코딩하여 시간 기반 출력 표현을 가능하게 한다.
• 시스템은 계산 완전성을 입증하여 보편 타링 기계를 모방할 수 있음을 확인한다.
• 제안된 모델은 스파이킹 뉴럴 동역학을 기반으로 한 새로운 종류의 뇌 기반 운영체제 설계를 위한 이론적 기반을 마련한다.