Skip to main content
SpringerLink
Log in
Book cover

International Conference on Membrane Computing

CMC 2015: Membrane Computing pp 262–276Cite as

Simulating FRSN P Systems with Real Numbers in P-Lingua on sequential and CUDA platforms

  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 9504))

Abstract

Fuzzy Reasoning Spiking Neural P systems (FRSN P systems, for short) is a variant of Spiking Neural P systems incorporating fuzzy logic elements that make it suitable to model fuzzy diagnosis knowledge and reasoning required for fault diagnosis applications. In this sense, several FRSN P system variants have been proposed, dealing with real numbers, trapezoidal numbers, weights, etc. The model incorporating real numbers was the first introduced [13], presenting promising applications in the field of fault diagnosis of electrical systems. For this variant, a matrix-based algorithm was provided which, when executed on parallel computing platforms, fully exploits the model maximally parallel capacities. In this paper we introduce a P-Lingua framework extension to parse and simulate FRSN P systems with real numbers. Two simulators, implementing a variant of the original matrix-based simulation algorithm, are provided: a sequential one (written in Java), intended to run on traditional CPUs, and a parallel one, intended to run on CUDA-enabled devices.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

References

  1. Binder, A., Freund, R., Oswald, M., Vock, L.: Extended spiking neural P systems with excitatory and inhibitory astrocytes. In: Proceedings of the 8th Conference on 8th WSEAS International Conference on Evolutionary Computing, EC 2007, vol. 8, pp. 320–325. World Scientific and Engineering Academy and Society (WSEAS), Stevens Point, Wisconsin, USA (2007)

    Google Scholar 

  2. Chen, H., Freund, R., Ionescu, M., Paun, G., Pérez-Jiménez, M.J.: On string languages generated by spiking neural P systems. Fundam. Inform. 75(1–4), 141–162 (2007)

    MATH  Google Scholar 

  3. Chen, H., Ionescu, M., Ishdorj, T.O., Paun, A., Paun, G., Pérez-Jiménez, M.J.: Spiking neural P systems with extended rules: universality and languages. Nat. Comput. 7(2), 147–166 (2008)

    Article  MATH  MathSciNet  Google Scholar 

  4. García-Quismondo, M., Gutiérrez-Escudero, R., del Amor, M.A.M., Orejuela-Pinedo, E.F., Pérez-Hurtado, I.: P-lingua 2.0: a software framework for cell-like P systems. Int. J. Comput. Commun. Control 4, 234–243 (2009)

    Google Scholar 

  5. Ionescu, M., Paun, G., Yokomori, T.: Spiking neural P systems. Fundam. Inf. 71, 279–308 (2006)

    MATH  MathSciNet  Google Scholar 

  6. Kirk, D.B., Hwu, WmW: Programming Massively Parallel Processors: A Hands-on Approach, 1st edn. Morgan Kaufmann Publishers Inc., San Francisco (2010)

    Google Scholar 

  7. Macías-Ramos, L.F., Pérez-Jiménez, M.J.: Spiking neural P systems with functional astrocytes. In: Csuhaj-Varjú, E., Gheorghe, M., Rozenberg, G., Salomaa, A., Vaszil, G. (eds.) CMC 2012. LNCS, vol. 7762, pp. 228–242. Springer, Heidelberg (2013)

    Chapter  Google Scholar 

  8. Martín-Vide, C., Paun, G., Pazos, J., Rodríguez-Patón, A.: Tissue P systems. Theor. Comput. Sci. 296(2), 295–326 (2003)

    Article  MATH  Google Scholar 

  9. Pan, L., Paun, G.: Spiking neural P systems with anti-spikes. Int. J. Comput. Commun. Control 4, 273–282 (2009)

    Google Scholar 

  10. Pan, L., Paun, G., Pérez-Jiménez, M.J.: Spiking neural P systems with neuron division and budding. Sci. China Inf. Sci. 54(8), 1596–1607 (2011)

    Article  MATH  MathSciNet  Google Scholar 

  11. Pan, L., Wang, J., Hoogeboom, H.J.: Asynchronous extended spiking neural P systems with astrocytes. In: Gheorghe, M., Paun, G., Rozenberg, G., Salomaa, A., Verlan, S. (eds.) CMC 2011. LNCS, vol. 7184, pp. 243–256. Springer, Heidelberg (2012)

    Chapter  Google Scholar 

  12. Pan, L., Wang, J., Hoogeboom, H.J.: Limited asynchronous spiking neural P systems. Fundam. Inform. 110(1–4), 271–293 (2011)

    MATH  MathSciNet  Google Scholar 

  13. Peng, H., Wang, J., Pérez-Jiménez, M.J., Wang, H., Shao, J., Wang, T.: Fuzzy reasoning spiking neural P system for fault diagnosis. Inf. Sci. 235, 106–116 (2013)

    Article  MATH  Google Scholar 

  14. Paun, A., Paun, G.: Small universal spiking neural P systems. Biosystems 90(1), 48–60 (2007)

    Article  Google Scholar 

  15. Paun, G.: Computing with membranes. J. Comput. Syst. Sci. 61, 108–143 (1998)

    Article  Google Scholar 

  16. Paun, G., Rozenberg, G., Salomaa, A.: The Oxford Handbook of Membrane Computing. Oxford University Press Inc, New York (2010)

    Book  MATH  Google Scholar 

  17. Song, T., Pan, L., Paun, G.: Asynchronous spiking neural P systems with local synchronization. Inf. Sci. 219, 197–207 (2013)

    Article  MATH  MathSciNet  Google Scholar 

  18. Ueng, S.-Z., Lathara, M., Baghsorkhi, S.S., Hwu, W.W.: CUDA-Lite: reducing GPU programming complexity. In: Amaral, J.N. (ed.) LCPC 2008. LNCS, vol. 5335, pp. 1–15. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  19. Wang, J., Hoogeboom, H.J., Pan, L., Paun, G., Pérez-Jiménez, M.J.: Spiking neural P systems with weights. Neural Comput. 22(10), 2615–2646 (2010)

    Article  MATH  MathSciNet  Google Scholar 

  20. Wang, T., Zhang, G., Pérez-Jiménez, M.J.: Application of weighted fuzzy reasoning spiking neural P systems to fault diagnosis in traction power supply systems of high-speed railways. In: Twelfth Brainstorming Week on Membrane Computing (BWMC2014), pp. 329–350 (2014)

    Google Scholar 

  21. Wang, T., Zhang, G., Pérez-Jiménez, M.J.: Fault diagnosis models for electric locomotive systems based on fuzzy reasoning spiking neural P systems. In: Gheorghe, M., Rozenberg, G., Salomaa, A., Sosík, P., Zandron, C. (eds.) CMC 2014. LNCS, vol. 8961, pp. 385–395. Springer, Heidelberg (2014)

    Google Scholar 

  22. Wang, T., Zhang, G., Rong, H., Pérez-Jiménez, M.J.: Application of fuzzy reasoning spiking neural P systems to fault diagnosis. Int. J. Comput. Commun. Control 9, 720–733 (2014)

    Google Scholar 

  23. Wang, T., Zhang, G., Zhao, J., He, Z., Wang, J., Pérez-Jiménez, M.: Fault diagnosis of electric power systems based on fuzzy reasoning spiking neural P systems. IEEE Trans. Power Syst. 30(3), 1182–1194 (2015)

    Article  Google Scholar 

  24. Web-page: The CUDA Website. https://developer.nvidia.com/cuda-zone

  25. Web-page: The GNU GPL Website. http://www.gnu.org/copyleft/gpl.html

  26. Web-page: The Java Website. https://www.java.com/

  27. Web-page: The JCUDA Website. http://www.jcuda.org/

  28. Web-page: The P-Lingua Website. http://www.p-lingua.org/

Download references

Acknowledgements

This work was supported by Project TIN2012-37434 of the Ministerio de Economía y Competitividad of Spain, cofinanced by FEDER funds. The authors also acknowledge the support of the GPU Research Center program granted by NVIDIA to the University of Seville.

Author information

Authors and Affiliations

  1. Research Group on Natural Computing, Department of Computer Science and Artificial Intelligence, University of Sevilla, Avda. Reina Mercedes s/n., 41012, Sevilla, Spain

    Luis F. Macías-Ramos, Miguel A. Martínez-del-Amor & Mario J. Pérez-Jiménez

Authors
  1. Luis F. Macías-Ramos
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Miguel A. Martínez-del-Amor
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Mario J. Pérez-Jiménez
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Luis F. Macías-Ramos .

Editor information

Editors and Affiliations

  1. LIACS, Leiden University, Leiden, Zuid-Holland, The Netherlands

    Grzegorz Rozenberg

  2. Turku Center for Computer Science, Turku, Finland

    Arto Salomaa

  3. Universidad Politécnica de Valencia, Valencia, Spain

    José M. Sempere

  4. University of Milan-Bicocca, Milano, Italy

    Claudio Zandron

Rights and permissions

Reprints and permissions

Copyright information

© 2015 Springer International Publishing Switzerland

About this paper

Cite this paper

Macías-Ramos, L.F., Martínez-del-Amor, M.A., Pérez-Jiménez, M.J. (2015). Simulating FRSN P Systems with Real Numbers in P-Lingua on sequential and CUDA platforms. In: Rozenberg, G., Salomaa, A., Sempere, J., Zandron, C. (eds) Membrane Computing. CMC 2015. Lecture Notes in Computer Science(), vol 9504. Springer, Cham. https://doi.org/10.1007/978-3-319-28475-0_18

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-28475-0_18

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-28474-3

  • Online ISBN: 978-3-319-28475-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation