Skip to main content
Erschienen in: Natural Computing 4/2008

01.12.2008

Experiments on the reliability of stochastic spiking neural P systems

verfasst von: Matteo Cavaliere, Ivan Mura

Erschienen in: Natural Computing | Ausgabe 4/2008

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

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.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Literatur
Zurück zum Zitat Cavaliere M, Deufemia V (2006) Further results on time-free P systems. Int J Found Comp Sci 17(1):68–89. World Scientific Cavaliere M, Deufemia V (2006) Further results on time-free P systems. Int J Found Comp Sci 17(1):68–89. World Scientific
Zurück zum Zitat Cavaliere M, Sburlan D (2005) Time-independent P systems. In: International workshop on membrane computing 2004, Milano, Italy. Lect Notes Comput Sci 3365:239–258. Springer Cavaliere M, Sburlan D (2005) Time-independent P systems. In: International workshop on membrane computing 2004, Milano, Italy. Lect Notes Comput Sci 3365:239–258. Springer
Zurück zum Zitat Cavaliere M, Zandron C (2006) Time-driven computations in P systems. In: Gutiérrez-Naranjo MA et al (eds) Proceedings of fourth brainstorming week on membrane computing, Fenix Editora, Sevilla Cavaliere M, Zandron C (2006) Time-driven computations in P systems. In: Gutiérrez-Naranjo MA et al (eds) Proceedings of fourth brainstorming week on membrane computing, Fenix Editora, Sevilla
Zurück zum Zitat Cavaliere M, Egecioglu O, Ibarra OH, Woodworth S, Ionescu M, Păun Gh (2007a) Asynchronous spiking neural P systems, Tech. Report 9/2007, Microsoft Research, University of Trento, Centre for Computational and Systems Biology, available at http://www.cosbi.eu Cavaliere M, Egecioglu O, Ibarra OH, Woodworth S, Ionescu M, Păun Gh (2007a) Asynchronous spiking neural P systems, Tech. Report 9/2007, Microsoft Research, University of Trento, Centre for Computational and Systems Biology, available at http://​www.​cosbi.​eu
Zurück zum Zitat Cavaliere M, Egecioglu O, Ibarra OH, Ionescu M, Păun Gh, Woodworth S (2007b) Asynchronous spiking neural P systems; Decidability and undecidability. In: Proceedings of the 13th international meeting on DNA computing, DNA13. Lect Notes Comput Sci 4848:246–255. Springer Cavaliere M, Egecioglu O, Ibarra OH, Ionescu M, Păun Gh, Woodworth S (2007b) Asynchronous spiking neural P systems; Decidability and undecidability. In: Proceedings of the 13th international meeting on DNA computing, DNA13. Lect Notes Comput Sci 4848:246–255. Springer
Zurück zum Zitat Clark G, Courtney T, Daly D, Deavours D, Derisavi S, Doyle JM, Sanders WH, Webster P (2001) The Möbius modeling tool. In: Proceedings of the 9th international workshop on petri nets and performance models (PNPM’01), IEEE Computer Society, pp 241–250 Clark G, Courtney T, Daly D, Deavours D, Derisavi S, Doyle JM, Sanders WH, Webster P (2001) The Möbius modeling tool. In: Proceedings of the 9th international workshop on petri nets and performance models (PNPM’01), IEEE Computer Society, pp 241–250
Zurück zum Zitat Gerstner W (2000) Population dynamics of spiking neurons: fast transients, asynchronous states, and locking. Neural Comput 12:43–89CrossRef Gerstner W (2000) Population dynamics of spiking neurons: fast transients, asynchronous states, and locking. Neural Comput 12:43–89CrossRef
Zurück zum Zitat Heath JR, Kuekes PJ, Snider GS, Williams S (1998) A Defect-tolerant computer architecture: opportunities for nanotechnology. Science 280:1716–1721CrossRef Heath JR, Kuekes PJ, Snider GS, Williams S (1998) A Defect-tolerant computer architecture: opportunities for nanotechnology. Science 280:1716–1721CrossRef
Zurück zum Zitat Ibarra OH, Păun A, Păun Gh, Rodríguez-Patón A, Sosik P, Woodworth S (2007) Normal forms for spiking neural P systems. Theor Comput Sci 372:196–217MATHCrossRef Ibarra OH, Păun A, Păun Gh, Rodríguez-Patón A, Sosik P, Woodworth S (2007) Normal forms for spiking neural P systems. Theor Comput Sci 372:196–217MATHCrossRef
Zurück zum Zitat Ionescu M, Păun Gh, Yokomori T (2006) Spiking neural P systems. Fundamenta Informaticae 71:279–308MATHMathSciNet Ionescu M, Păun Gh, Yokomori T (2006) Spiking neural P systems. Fundamenta Informaticae 71:279–308MATHMathSciNet
Zurück zum Zitat Laprie JC (1995) Dependability—its attributes, impairments and means. In: Randell B, Laprie JC, Kopetz H, Littlewood B (eds) Predictably dependable computing systems. Springer-Verlag, pp 3–24 Laprie JC (1995) Dependability—its attributes, impairments and means. In: Randell B, Laprie JC, Kopetz H, Littlewood B (eds) Predictably dependable computing systems. Springer-Verlag, pp 3–24
Zurück zum Zitat Maass W (1996) On the computational power of noisy spiking neurons. Adv Neural Inf Process Syst 8:212–217. MIT Press Maass W (1996) On the computational power of noisy spiking neurons. Adv Neural Inf Process Syst 8:212–217. MIT Press
Zurück zum Zitat Marsan MA (1989) Stochastic petri nets: an elementary introduction. In: Advances in petri nets. Lect Notes Comput Sci 424:1–29. Springer Marsan MA (1989) Stochastic petri nets: an elementary introduction. In: Advances in petri nets. Lect Notes Comput Sci 424:1–29. Springer
Zurück zum Zitat Minsky M (1967) Computation—finite and infinite machines. Prentice Hall, Englewood CliffsMATH Minsky M (1967) Computation—finite and infinite machines. Prentice Hall, Englewood CliffsMATH
Zurück zum Zitat Muskulus M, Besozzi D, Brijder R, Cazzaniga P, Houweling S, Pescini D, Rozenberg G (2007) Cycles and communicating classes in membrane systems and molecular dynamics. Theor Comput Sci 372(2–3):242–266MATHCrossRefMathSciNet Muskulus M, Besozzi D, Brijder R, Cazzaniga P, Houweling S, Pescini D, Rozenberg G (2007) Cycles and communicating classes in membrane systems and molecular dynamics. Theor Comput Sci 372(2–3):242–266MATHCrossRefMathSciNet
Zurück zum Zitat Obtulowicz A, Păun Gh (2003) (In search of) probabilistic P systems. BioSystems 70(2):107–121CrossRef Obtulowicz A, Păun Gh (2003) (In search of) probabilistic P systems. BioSystems 70(2):107–121CrossRef
Zurück zum Zitat Păun Gh (2002) Membrane computing—an introduction. Springer Păun Gh (2002) Membrane computing—an introduction. Springer
Zurück zum Zitat Păun Gh (2007) Spiking neural P systems: a tutorial. Bull EATCS 91:145–159 Păun Gh (2007) Spiking neural P systems: a tutorial. Bull EATCS 91:145–159
Zurück zum Zitat Păun Gh, Pérez-Jiménez MJ, Rozenberg G (2006) Spike trains in spiking neural P systems. Int J Found Comput Sci 17(4):975–1002MATHCrossRef Păun Gh, Pérez-Jiménez MJ, Rozenberg G (2006) Spike trains in spiking neural P systems. Int J Found Comput Sci 17(4):975–1002MATHCrossRef
Zurück zum Zitat Pescini D, Besozzi D, Mauri G, Zandron C (2005) Analysis and simulation of dynamics in probabilistic P systems. In: Carbone A, Pierce N (eds) DNA computing, 11th international workshop on DNA computing. Lect Notes Comput Sci 3892. Springer Pescini D, Besozzi D, Mauri G, Zandron C (2005) Analysis and simulation of dynamics in probabilistic P systems. In: Carbone A, Pierce N (eds) DNA computing, 11th international workshop on DNA computing. Lect Notes Comput Sci 3892. Springer
Zurück zum Zitat Salomaa A (1973) Formal languages. Academic Press, New York. Revised edition in the series “Computer Science Classics”, Academic Press, 1987 Salomaa A (1973) Formal languages. Academic Press, New York. Revised edition in the series “Computer Science Classics”, Academic Press, 1987
Zurück zum Zitat Trivedi KH (2001) Probability and statistics with reliability, queuing, and computer science applications. Wiley Trivedi KH (2001) Probability and statistics with reliability, queuing, and computer science applications. Wiley
Metadaten
Titel
Experiments on the reliability of stochastic spiking neural P systems
verfasst von
Matteo Cavaliere
Ivan Mura
Publikationsdatum
01.12.2008
Verlag
Springer Netherlands
Erschienen in
Natural Computing / Ausgabe 4/2008
Print ISSN: 1567-7818
Elektronische ISSN: 1572-9796
DOI
https://doi.org/10.1007/s11047-008-9086-8

Weitere Artikel der Ausgabe 4/2008

Natural Computing 4/2008 Zur Ausgabe

Premium Partner