Experiments on the reliability of stochastic spiking neural P systems

被引:12
作者
Cavaliere M. [1 ]
Mura I. [1 ]
机构
[1] The Microsoft Research, University of Trento, CoSBi, Povo, Trento 38100
关键词
Reliable computations; Spiking neural P systems; Stochastic firing time; Time-freeness; Universality;
D O I
10.1007/s11047-008-9086-8
中图分类号
学科分类号
摘要
In the area of membrane computing, time-freeness has been defined as the ability for a timed membrane system to produce always the same result, independently of the execution times associated to the rules. In this paper, we use a similar idea in the framework of spiking neural P systems, a model inspired by the structure and the functioning of neural cells. In particular, we introduce stochastic spiking neural P systems where the time of firing for an enabled spiking rule is probabilistically chosen and we investigate when, and how, these probabilities can influence the ability of the systems to simulate, in a reliable way, universal machines, such as register machines. © Springer Science+Business Media B.V. 2008.
引用
收藏
页码:453 / 470
页数:17
相关论文
共 26 条
[1]  
Cavaliere M., Deufemia V., Further results on time-free P systems, Int J Found Comp Sci, 17, 1, pp. 68-89, (2006)
[2]  
Cavaliere M., Sburlan D., Time-independent P systems, International Workshop on Membrane Computing 2004, Milano, Italy. Lect Notes Comput Sci, 3365, pp. 239-258, (2005)
[3]  
Cavaliere M., Zandron C., Time-driven computations in P systems, Proceedings of Fourth Brainstorming Week on Membrane Computing, (2006)
[4]  
Cavaliere M., Egecioglu O., Ibarra O.H., Woodworth S., Ionescu M., Paun Gh., Asynchronous Spiking Neural P Systems, Tech, (2007)
[5]  
Cavaliere M., Egecioglu O., Ibarra O.H., Ionescu M., Paun Gh., Woodworth S., Asynchronous spiking neural P systems
[6]  
Decidability and undecidability, Proceedings of the 13th International Meeting on DNA Computing, DNA13. Lect Notes Comput Sci, 4848, pp. 246-255, (2007)
[7]  
Clark G., Courtney T., Daly D., Deavours D., Derisavi S., Doyle J.M., Sanders W.H., Webster P., The Möbius modeling tool, Proceedings of the 9th International Workshop on Petri Nets and Performance Models (PNPM'01), pp. 241-250, (2001)
[8]  
Gerstner W., Population dynamics of spiking neurons: Fast transients, asynchronous states, and locking, Neural Comput, 12, pp. 43-89, (2000)
[9]  
Heath J.R., Kuekes P.J., Snider G.S., Williams S., A Defect-tolerant computer architecture: Opportunities for nanotechnology, Science, 280, pp. 1716-1721, (1998)
[10]  
Ibarra O.H., Paun A., Paun Gh., Rodriguez-Paton A., Sosik P., Woodworth S., Normal forms for spiking neural P systems, Theor Comput Sci, 372, pp. 196-217, (2007)