Arithmetic abilities of SNP systems with astrocytes producing calcium

Area of Science:

• Membrane Computing
• Computational Biology
• Theoretical Computer Science

Background:

• Membrane systems, particularly spiking neural P systems, have been explored for arithmetic operations.
• Existing implementations often use binary number representations.
• There is a need for efficient arithmetic operations within membrane systems using alternative number bases.

Purpose of the Study:

• To investigate the performance of spiking neural P systems for arithmetic operations using unary number representations.
• To propose and evaluate two novel encodings for arithmetic operations (addition, subtraction, multiplication, division) in unary base.
• To demonstrate the reduced system size and improved performance of these encodings.

Main Methods:

• Developing two distinct encoding strategies for unary number arithmetic within spiking neural P systems.
• Utilizing astrocytes producing calcium as a mechanism within the P systems.
• Implementing a semantic interpreter in Haskell to test the proposed encodings.

Main Results:

• Two encodings for unary arithmetic operations were successfully proposed and implemented.
• The first encoding, generating systems based on input values, offers faster computation.
• Both approaches resulted in a reduced size of the created spiking neural P systems compared to existing methods.

Conclusions:

• Spiking neural P systems can effectively perform arithmetic operations on numbers represented in unary base.
• The proposed encodings offer advantages in terms of system size and computational speed.
• The developed Haskell interpreter facilitates the testing and validation of these membrane computing models.