CMC 2011: Membrane Computing pp 257-281 | Cite as
A P–Lingua Based Simulator for Spiking Neural P Systems
Abstract
The research within the field of Spiking Neural P systems (SN P systems, for short) is focusing mainly in the study of the computational completeness (they are equivalent in power to Turing machines) and computational efficiency of this kind of systems. These devices have been shown capable of providing polynomial time solutions to computationally hard problems by making use of an exponential workspace constructed in a natural way. In order to experimentally explore this computational power, it is necessary to develop software that provides simulation tools (simulators) for the existing variety of SN P systems. Such simulators allow us to carry out computations of solutions to NP-complete problems on certain instances. Within this trend, P-Lingua provides a standard language for the definition of P systems. As part of the same project, pLinguaCore library provides particular implementations of parsers and simulators for the models specified in P-Lingua. In this paper, an extension of the P-Lingua language to define SN P systems is presented, along with an upgrade of pLinguaCore including a parser and a new simulator for the variants of these systems included in the language.
Preview
Unable to display preview. Download preview PDF.
References
- 1.Cabarle, F., Adorna, H., Martínez-del-Amor, M.A.: Spiking neural P system without delay simulator implementation using GPGPUs. In: Eleventh Philippine Computing Science Congress, pp. 35–43 (2011)Google Scholar
- 2.Chen, H., Freund, R., Ionescu, M., Păun, G., Pérez-Jiménez, M.J.: On string languages generated by spiking neural P systems. Fundamenta Informaticae 75, 141–162 (2007)MathSciNetMATHGoogle Scholar
- 3.Chen, H., Ionescu, M., Ishdorj, T.-O.: On the efficiency of spiking neural P systems. In: Proceedings of the 8th International Conference on Electronics, Information, and Communication, pp. 49–52 (2006)Google Scholar
- 4.Chen, H., Ionescu, M., Ishdorj, T.-O., Păun, A., Păun, G., Pérez-Jiménez, M.J.: Spiking neural P systems with extended rules: universality and languages. Natural Computing 7(2), 147–166 (2008)MathSciNetCrossRefMATHGoogle Scholar
- 5.Díaz-Pernil, D., Pérez-Hurtado, I., Pérez-Jiménez, M.J., Riscos-Núñez, A.: A P-Lingua Programming Environment for Membrane Computing. In: Corne, D.W., Frisco, P., Păun, G., Rozenberg, G., Salomaa, A. (eds.) WMC 2008. LNCS, vol. 5391, pp. 187–203. Springer, Heidelberg (2009)CrossRefGoogle Scholar
- 6.Galli, R., Gritti, A., Bonfanti, L., Vescovi, A.L.: Neural stem cells: an overview. Circulation Research 92, 598–608 (2003)CrossRefGoogle Scholar
- 7.García-Quismondo, M., Gutiérrez-Escudero, R., Pérez-Hurtado, I., Pérez-Jiménez, M.J., Riscos-Núñez, A.: An Overview of P-Lingua 2.0. In: Păun, G., Pérez-Jiménez, M.J., Riscos-Núñez, A., Rozenberg, G., Salomaa, A. (eds.) WMC 2009. LNCS, vol. 5957, pp. 264–288. Springer, Heidelberg (2010)CrossRefGoogle Scholar
- 8.Ibarra, O.H., Leporati, A., Păun, A., Woodworth, S.: Spiking Neural P Systems. In: Paun, G., Rozenberg, G., Salomaa, A. (eds.) The Oxford Handbook of Membrane Computing, ch. 13, pp. 337–362. Oxford University Press, Oxford (2009)Google Scholar
- 9.Ionescu, M., Păun, G., Yokomori, T.: Spiking neural P systems. Fundamenta Informaticae 71(2-3), 279–308 (2006)MathSciNetMATHGoogle Scholar
- 10.Ishdorj, T.-O., Leporati, A.: Uniform solutions to SAT and 3-SAT by spiking neural P systems with pre-computed resources. Natural Computing 7(4), 519–534 (2008)MathSciNetCrossRefMATHGoogle Scholar
- 11.Leporati, A., Gutiérrez-Naranjo, M.A.: Solving Subset Sum by spiking neural P systems with pre-computed resources. Fundamenta Informaticae 87(1), 61–77 (2008)MathSciNetMATHGoogle Scholar
- 12.Pan, L., Păun, G., Pérez-Jiménez, M.J.: Spiking Neural P systems with neuron division and budding. In: Proceedings of the Seventh Brainstorming Week on Membrane Computing, vol. 2, pp. 151–168 (2009)Google Scholar
- 13.Păun, G.: Membrane Computing. An Introduction. Springer, Berlin (2002)CrossRefMATHGoogle Scholar
- 14.Păun, G., Pérez-Jiménez, M.J., Rozenberg, G.: Spike trains in spiking neural P systems. International Journal of Foundations of Computer Science 17(4), 975–1002 (2006)MathSciNetCrossRefMATHGoogle Scholar
- 15.Păun, A., Păun, G.: Small universal spiking neural P systems. BioSystems 90(1), 48–60 (2007)CrossRefMATHGoogle Scholar
- 16.Pérez-Hurtado, I., Valencia-Cabrera, L., Pérez-Jiménez, M.J., Colomer, M.A., Riscos-Núñez, A.: MeCoSim: A general purpose software tool for simulating biological phenomena by means of P Systems. In: IEEE Fifth International Conference on Bio-inspired Computing: Theories and Applications (BIC-TA 2010), vol. 1, pp. 637–643 (2010)Google Scholar
- 17.Rozenberg, G.: DNA processing in ciliates. The wonders of DNA computing in vivo. In: Unconventional models of Computation (UMC 2K), pp. 116–118 (2010)Google Scholar
- 18.Wang, J., Hoogeboom, H.-J., Pan, L.: Spiking Neural P Systems with Neuron Division. In: Gheorghe, M., Hinze, T., Păun, G., Rozenberg, G., Salomaa, A. (eds.) CMC 2010. LNCS, vol. 6501, pp. 361–376. Springer, Heidelberg (2010)CrossRefGoogle Scholar
- 19.Wang, J., Hoogeboom, H.-J., Pan, L., Păun, G.: Spiking neural P systems with weights and thresholds. In: Proceedings of Tenth Workshop on Membrane Computing, pp. 514–533 (2009)Google Scholar
- 20.Java’s regular expressions specification, http://download.oracle.com/javase/1.4.2/docs/api/java/util/regex/Pattern.html
- 21.The Sun’s Java Web Site, http://www.oracle.com/us/technologies/java/index.html
- 22.The P–Lingua Web Site, http://www.p-lingua.org/
- 23.The SATLIB library, http://www.cs.ubc.ca/~hoos/SATLIB/index-ubc.html