The Variants Of Spiking Neural P Systems And Their Turing Universality

Membrane computing,as an emerging research field of natural computing,is a kind of distributed and parallel computing models inspired by the structure and function of living cells and the collaboration among cell population in advanced biological tissues such as tissues,organs,and biological neural networks.They are known as membrane systems or P systems.At present,according to the structure of membrane systems,P system can been classified into three categories: cell-like P systems,tissue-like P systems and neural-like P systems.The neural-like P systems studied in this thesis are currently hot spot in the research field of membrane computing.The neural-like P systems are a new class of membrane computing models inspired by the biological nervous system.As one of them,spiking neural P systems(for short,SNP systems)are inspired by the way that neurons in biological neural networks process and communicate information in the form of spikes.On the premise of not reducing the computational power of the model,researchers hope to reduce the number of computing units used in the computing model as much as possible by optimizing the components of the system.Inspired by different biological mechanisms,this thesis proposes three variants of spiking neural P systems and studies their Turing universality.The main innovations of the thesis are summarized as follows:(1)A new variant of spiking neural P systems is proposed,called spiking neural P systems with extended channel rules(for short,SNP-ECR systems).It is proven that SNP-ECR systems are Turing universal as number generating and accepting devices.At the same time,an SNP-ECR system containing 34 neurons is constructed,which is Turing universal function computing device.(2)Sequential spiking neural P systems with multiple channels(for short,SSNP-MC systems)are proposed.It is proven that SSNP-MC systems working in four sequentiality strategies are Turing universal number generating and accepting devices,respectively.(3)Sequential coupled neural P systems(for short,SCNP systems)are proposed.It is proven that SCNP systems working in four sequentiality strategies are Turing universal number generating and accepting devices,respectively.