nach oben

Natural Computing

Erschienen in:

01.12.2008

A software tool for verification of Spiking Neural P Systems

verfasst von: Miguel A. Gutiérrez-Naranjo, Mario J. Pérez-Jiménez, Daniel Ramírez-Martínez

Erschienen in: Natural Computing | Ausgabe 4/2008

Einloggen

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

search-config

KI-gestützte Suche

Aus

Abstract

The formal verification of a Spiking Neural P System (SN P Systems, for short) designed for solving a given problem is usually a hard task. Basically, the verification process consists of the search of invariant formulae such that, once proved their validity, show the right answer to the problem. Even though there does not exist a general methodology for verifying SN P Systems, in (Păun et al., Int J Found Comput Sci 17(4):975–1002, 2006) a new tool based on the transition diagram of the P system has been developed for helping the researcher in the search of invariant formulae. In this paper we show a software tool which allows to generate the transition diagram of an SN P System in an automatic way, so it can be considered as an assistant for the formal verification of such computational devices.

Vorheriger Artikel On the power of elementary features in spiking neural P systems

Nächster Artikel Characterizations of some classes of spiking neural P systems

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!

Jetzt informieren

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!

Jetzt informieren

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!

Jetzt informieren

A comprehensive presentation can be found in Păun (2002) and further updated bibliography in http://ppage.psystems.eu/. A presentation of applications can be found in Ciobanu et al. (2006).

The simulator is available at (http://ppage.psystems.eu/).

For the values r = 3, n = 5 and the labels d ₁ = 6, d ₂ = 7, d ₃ = 8, out = 7, env = 10 and 0 = 11.

Adleman LM (1994) Molecular computations of solutions to combinatorial problems. Science 226:1021–1024CrossRef

Adrian ED (1926a) The impulses produced by sensory nerve endings. J Physiol 61:49–72

Adrian ED (1926b) The basis of Sensation. WW Norton, New York

Bianco L, Fontana F, Franco G, Manca V (2006) P systems for biological dynamics. In Ciobanu G, Păun Gh, Pérez-Jiménez MJ (eds) Applications of membrane computing. Natural Computing Series, Springer, pp 83–128

Cavaliere M, Ardelean II (2006) Modelling respiration in bacteria and respiration/photosynthesis interaction in cyanobacteria by using a P system simulator. In Ciobanu G, Păun Gh, Pérez-Jiménez MJ (eds) Applications of membrane computing. Natural Computing Series, Springer, pp 129–158

Ciobanu G, Paraschiv D (2002) P system software simulator. Fundam Inform 49(1–3):61–66MATH

Ciobanu G, Păun Gh, Pérez-Jiménez MJ (eds) (2006) Applications of membrane computing. Natural Computing Series, Springer

Ciobanu G, Wenyuan G (2004) P systems running on a cluster of computers. In: Martín-Vide C, Păun Gh, Rozenberg G, Salomaa A (eds) Membrane computing WMC 2003. Lect Notes Comput Sci 2933:123–139

Eckhorn R, Bauer R, Jordan W, Brosch M, Kruse W, Munk M, Reitboeck HJ (1988) Coherent oscillations: a mechanism of feature linking in the visual cortex? Biol Cybern 60:121–130CrossRef

Gray CM, Singer W (1989) Stimulus-specific neuronal oscillations in orientation columns of cat visual cortex. Proc Natl Acad Sci USA 86:1698–1702

Group for Models of Natural Computing in Verona http://www.di.univr.it

Gutiérrez-Naranjo MA, Pérez-Jiménez MJ, Riscos-Núñez A (2005). On descriptive complexity of P systems. In: Mauri G, Paun Gh, Pérez-Jiménez MJ, Rozenberg G, Salomaa A (eds) Membrane computing. Fifth International Workshop, WMC5 2004. Lect Notes Comput Sci 3365:320–330

Gutiérrez-Naranjo MA, Pérez-Jiménez MJ, Riscos-Núñez A (2006) Available membrane computing software. In Ciobanu G, Păun Gh, Pérez-Jiménez MJ (eds) Applications of membrane computing. Natural Computing Series, Springer, pp 411–439

Holland JH (1975) Adaptation in natural and artificial systems. University of Michigan Press, Ann Arbor, MI

Hubel DH, Wiesel TN (1959) Receptive fields of single neurons in the cat’s striate cortex. J Phisiol 148:574–591

Ionescu M, Păun Gh, Yokomori T (2006) Spiking Neural P Systems. Fundam Inform 71(2–3):279–308MATH

Maliţa M (2000) Membrane Computing in Prolog, In: Calude CS, Dinneen MJ, Păun Gh (eds) Pre-proceedings of the Workshop on Multiset Processing. Curtea de Arges, Romania, CDMTCS TR 140, Univ of Auckland, pp 159–175

Martín Vide C, Pazos J, Păun Gh, Rodríguez Patón A (2002) A new class of symbolic abstract neural nets: tissue P systems. Lect Notes Comput Sci 2387:290–299CrossRef

Martín Vide C, Pazos J, Păun Gh, Rodríguez Patón A (2003) Tissue P systems. Theor Comput Sci 296:295–326MATHCrossRef

McCulloch WS, Pitts W (1943) A logical calculus of the ideas immanent in nervous activity. Bull Math Biophys 5:115–133MATHCrossRefMathSciNet

Mountcastle VB (1957) Modality and topographic properties of single neurons of cat’s somatosensory cortex. J Neurophysiol 20:408–434

P systems web page http://ppage.psystems.eu/

Păun Gh (2000) Computing with membranes. J Comput Syst Sci 61(1):108–143MATHCrossRef

Păun Gh (2002) Membrane computing. An introduction. Springer-Verlag, BerlinMATH

Păun Gh, Pérez-Jiménez MJ, Rozenberg Gr (2008) Spike trains in Spiking Neural P Systems. Int J Found Comput Sci 17(4):975–1002CrossRef

Ramírez-Martínez D, Gutiérrez-Naranjo MA (2007) A software tool for dealing with Spiking Neural P Systems. In: Gutiérrez-Naranjo MA, Paun Gh, Romero-Jiménez A, Riscos–Núñez A (eds) Fifth brainstorming week on membrane computing. Fénix Editora, Sevilla, Spain, pp 299–313

Romero-Campero FJ, Pérez-Jiménez MJ (2008) A model of the quorum sensing system in vibrio fischeri using P systems. Artif Life 14(1):95–109CrossRef

Sedwards S, Mazza T (2007) Cyto-sim: a formal language model and stochastic simulator of membrane-enclosed biochemical processes. Bioinformatics 23(20):2800–2802CrossRef

Suzuki Y, Fujiwara Y, Tanaka H, Takabayashi J (2001) Artificial life applications of a class of P systems: abstract rewriting systems on multisets. In Calude CS, Paun Gh, Rozenberg G, Salomaa A (eds) Multiset processing. Mathematical, computer science, and molecular computing points of view. Lect Notes Comput Sci 2235:299–346

The Alaska Software web page http://www.alaska-software.com

The SWI-Prolog web page http://www.swi-prolog.org

Titel: A software tool for verification of Spiking Neural P Systems
verfasst von: Miguel A. Gutiérrez-Naranjo
Mario J. Pérez-Jiménez
Daniel Ramírez-Martínez
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-9083-y

Springer Professional

Abstract

Bitte loggen Sie sich ein, um Zugang zu Ihrer Lizenz zu erhalten.

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

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"

Weitere Artikel der Ausgabe 4/2008

Uniform solutions to SAT and 3-SAT by spiking neural P systems with pre-computed resources

Preface

Computation with finite stochastic chemical reaction networks

Evolution strategies with cumulative step length adaptation on the noisy parabolic ridge

Characterizations of some classes of spiking neural P systems

Repeated patterns in genetic programming

Premium Partner