Research On Model And Theoretical Of Spiking Neural P Systems

The computing ability of the computer maded by silica materials continues to grow. However, the silica devices of line width is less than10mm, the growthof computing capacity has technical obstacle, such as:circuit board route arrangement, the integration of transistor technology etc. In order to overcome the problem, people intend to look for some new computering model. Natual computing is a promising computing model. Membrane computing (called membrane system or P system) is a new computing model of natual computing in recent years,because the mathematical theory foundation are not perfect,then this paper studies based on neurons of membrang computing: spiking neural P system (SN P system) of computing power, which computing model is combined with nervous system and membrane computing. This paper research spiking neural P system theory model and the computing capacity by regular language, automata theory, and the rough set, which made of computing power, language generative power, numerical ability etc. The main work:Firstly, the new model spiking neural P systems is proposed with rough set upper approximation of the definition of neural:spiking neural P system with rough set rule. The paper proved computing complete (equivalent to the Turing machines) of the system with the extended rules. Then the system as languages generating devices, the relationships with finite automata language are investigated, get a limited language and regular language.Secondly, seen as number computing devices, spiking neural P system with astrocyte are shown to be universal (computationally complete), when the system use standard rule.Finally, it is investigated spiking neural P system with the rules of time delay by matrix represent and matrix computing. The represnt is expanded to represent homogeneous spiking neural P system with astrocytes in the paper, by defined vector and matrix; The system is made of spiking consumption, spiking produce, spiking migration, spiking lost and so on. The paper gived some simple basic operation about vector and matrix, the system derived the next step from last setp by matrix computation...