Research On Some Arithmetic Operations And Simulation Of Membrane Computing Model

Membrane Computing Model is also called P Systems, which gets the idea frombiologic live cells and organizations and it's a kind of Distributed,Parallel computingmodel,it is a new branch of natural computing.Because of its inherent characteristics ofsome of the internal structure,P Systems have powerful computing ability,even may over-come the limits of Turing Machine.According to the different of structure, P Systems canbe divided into cell-like P Systems,tissue-like P Systems, neuronal-like P Systems, thisarticle focuses on cell-like P systems: transition P Systems, communication P systems.This paper is mainly composed by the following two parts:(1) considering the uncertainty of P Systems when it implement rules,P Systemscan be used as generator of language,many study have focused on the proving of abilityof generating language,and achieved useful results. We remove the uncertainty of imple-mentation,study the ability using P Systems as function calculator.First we designed theinstances performing addition, subtraction, multiplication and division of two nonnega-tive integers using P Systems,then we proved the correctness of the instance.By compar-ing with the same operation instance using Turing Machine,we proved the P System'sadvantages of parallel computing.(2) as tools to carry out experiments in the field of membrane computing,kinds ofsoftware simulators for P Systems have been developed,and simulate different kinds of PSystems.However,these softwares are all developed in the laboratory of foreign,no sim-ilar software has been developed in China.We present a software tool for dealing withtransition P Systems,give the implementation process with demo input. Defined the for-mate of text files which storage the P System instances;described some important problemsuch as choosing rules,update after one step running,then designed Corresponding algo-rithms.We input the addition, subtraction, multiplication, division instances of P Systemsto the software, and verify the correctness of the software.