Spiking Neural Membrane Systems with Adaptive Synaptic Time Delay

Spiking neural membrane systems (or spiking neural P systems, SNP systems) are a new type of computation model which have attracted the attention of plentiful scholars for parallelism, time encoding, interpretability and extensibility. The original SNP systems only consider the time delay caused by the execution of rules within neurons, but not caused by the transmission of spikes via synapses between neurons and its adaptive adjustment. In view of the importance of time delay for SNP systems, which are a time encoding computation model, this study proposes SNP systems with adaptive synaptic time delay (ADSNP systems) based on the dynamic regulation mechanism of synaptic transmission delay in neural systems. In ADSNP systems, besides neurons, astrocytes that can generate adenosine triphosphate (ATP) are introduced. After receiving spikes, astrocytes convert spikes into ATP and send ATP to the synapses controlled by them to change the synaptic time delays. The Turing universality of ADSNP systems in number generating and accepting modes is proved. In addition, a small universal ADSNP system using 93 neurons and astrocytes is given. The superiority of the ADSNP system is demonstrated by comparison with the six variants. Finally, an ADSNP system is constructed for credit card fraud detection, which verifies the feasibility of the ADSNP system for solving real-world problems. By considering the adaptive synaptic delay, ADSNP systems better restore the process of information transmission in biological neural networks, and enhance the adaptability of SNP systems, making the control of time more accurate.

Small universal spiking neural P systems with dendritic/axonal delays and dendritic trunk/feedback

In spiking neural P (SN P) systems, neurons are interconnected by means of synapses, and they use spikes to communicate with each other. However, in biology, the complex structure of dendritic tree is also an important part in the communication scheme between neurons since these structures are linked to advanced neural process such as learning and memory formation. In this work, we present a new variant of the SN P systems inspired by diverse dendrite and axon phenomena such as dendritic feedback, dendritic trunk, dendritic delays and axonal delays, respectively. This new variant is referred to as a spiking neural P system with dendritic and axonal computation (DACSN P system). Specifically, we include experimentally proven biological features in the current SN P systems to reduce the computational complexity of the soma by providing it with stable firing patterns through dendritic delays, dendritic feedback and axonal delays. As a consequence, the proposed DACSN P systems use the minimum number of synapses and neurons with simple and homogeneous standard spiking rules. Here, we study the computational capabilities of a DACSN P system. In particular, we prove that DACSN P systems with dendritic and axonal behavior are universal as both number-accepting/generating devices. In addition, we constructed a small universal SN P system using 39 neurons with standard spiking rules to compute any Turing computable function.

Dynamic Threshold Neural P Systems with Multiple Channels and Inhibitory Rules

In biological neural networks, neurons transmit chemical signals through synapses, and there are multiple ion channels during transmission. Moreover, synapses are divided into inhibitory synapses and excitatory synapses. The firing mechanism of previous spiking neural P (SNP) systems and their variants is basically the same as excitatory synapses, but the function of inhibitory synapses is rarely reflected in these systems. In order to more fully simulate the characteristics of neurons communicating through synapses, this paper proposes a dynamic threshold neural P system with inhibitory rules and multiple channels (DTNP-MCIR systems). DTNP-MCIR systems represent a distributed parallel computing model. We prove that DTNP-MCIR systems are Turing universal as number generating/accepting devices. In addition, we design a small universal DTNP-MCIR system with 73 neurons as function computing devices.

Spiking Neural P Systems with Extended Channel Rules

This paper discusses a new variant of spiking neural P systems (in short, SNP systems), spiking neural P systems with extended channel rules (in short, SNP-ECR systems). SNP-ECR systems are a class of distributed parallel computing models. In SNP-ECR systems, a new type of spiking rule is introduced, called ECR. With an ECR, a neuron can send the different numbers of spikes to its subsequent neurons. Therefore, SNP-ECR systems can provide a stronger firing control mechanism compared with SNP systems and the variant with multiple channels. We discuss the Turing universality of SNP-ECR systems. It is proven that SNP-ECR systems as number generating/accepting devices are Turing universal. Moreover, we provide a small universal SNP-ECR system as function computing devices.

Nonlinear Spiking Neural P Systems

This paper proposes a new variant of spiking neural P systems (in short, SNP systems), nonlinear spiking neural P systems (in short, NSNP systems). In NSNP systems, the state of each neuron is denoted by a real number, and a real configuration vector is used to characterize the state of the whole system. A new type of spiking rules, nonlinear spiking rules, is introduced to handle the neuron’s firing, where the consumed and generated amounts of spikes are often expressed by the nonlinear functions of the state of the neuron. NSNP systems are a class of distributed parallel and nondeterministic computing systems. The computational power of NSNP systems is discussed. Specifically, it is proved that NSNP systems as number-generating/accepting devices are Turing-universal. Moreover, we establish two small universal NSNP systems for function computing and number generator, containing 117 neurons and 164 neurons, respectively.

Spiking neural P systems with multiple channels and polarizations

In this paper, we investigate a new variant of spiking neural P systems (SNP systems, in short), called spiking neural P systems with multiple channels and polarizations (SNP-MCP systems, in short). The variant integrates two interesting features: multiple channel and polarization. Each neuron can use its multiple channels to connect one or more subsequent sets of neurons. Moreover, both polarizations and regular expressions are used in rules to control the spiking of neurons. The computational power of the variant is discussed. The Turing universality of the variant as number generating/accepting devices is proven, and then a small universal system with 150 neurons is constructed to compute any Turing computable function.

Coupled Neural P Systems

Inspired by Eckhorn's neuron model that emulates a mammal's visual cortex, this paper proposes a new kind of neural-like P system, called a coupled neural P (CNP) system. The CNP system consists of some coupled neurons, each with three components: receptive field, modulation, and output module. CNP systems are a kind of distributed parallel-computing model with a directed graph structure like spiking neural P systems. Moreover, CNP systems have a nonlinear coupled-modulation characteristic and a dynamic threshold mechanism. The computational power of CNP systems is discussed. Specifically, it is proved that CNP systems as number-generating devices are Turing universal. Moreover, we provide a small universal CNP system for function-computing devices.