skip to main content
survey

An Overview of Hardware Implementation of Membrane Computing Models

Published:03 August 2020Publication History
Skip Abstract Section

Abstract

The model of membrane computing, also known under the name of P systems, is a bio-inspired large-scale parallel computing paradigm having a good potential for the design of massively parallel algorithms. For its implementation it is very natural to choose hardware platforms that have important inherent parallelism, such as field-programmable gate arrays (FPGAs) or compute unified device architecture (CUDA)-enabled graphic processing units (GPUs). This article performs an overview of all existing approaches of hardware implementation in the area of P systems. The quantitative and qualitative attributes of FPGA-based implementations and CUDA-enabled GPU-based simulations are compared to evaluate the two methodologies.

References

  1. Rick Merritt. 2017. Roadmap Says CMOS Ends ~2024. IRDS points to chip stacks, new architectures. Retrieved from https://web.archive.org/web/20170324022546/, https://www.eetimes.com/document.asp?doc_id=1331517.Google ScholarGoogle Scholar
  2. Gordon Moore. 1975. Progress in digital integrated electronics. International Electron Devices Meeting. IEEE, 11--13.Google ScholarGoogle Scholar
  3. Oana Agrigoroaiei, Gabriel Ciobanu, and Andreas Resios. 2010. Evolving by maximizing the number of rules: Complexity study. In Proceedings of the 10th International Workshop on Membrane Computing (WMC’09) (LNCS), Gheorghe Păun, Mario J. Pérez-Jiménez, Agustín Riscos-Núñez, Grzegorz Rozenberg, and Arto Salomaa (Eds.). Springer, 149--157.Google ScholarGoogle ScholarDigital LibraryDigital Library
  4. Bruce Alberts, Alexander Johnson, Julian Lewis, Martin Raff, Keith Roberts, and Peter Walter. 2002. Molecular Biology of the Cell (4th ed.). Garland.Google ScholarGoogle Scholar
  5. Artiom Alhazov. 2005. Maximally parallel multiset-rewriting systems: Browsing the configurations. In Proceedings of the 3rd Brainstorming Week on Membrane Computing (RGNC Report), M. A. Gutiérrez-Naranjo, A. Riscos-Núñez, F. J. Romero-Campero, and D. Sburlan (Eds.). 1--10.Google ScholarGoogle Scholar
  6. Santiago Alonso, Luis Fernández, Fernando Arroyo, and Javier Gil. 2008. A circuit implementing massive parallelism in transition P systems. Int. J. Inform. Technol. Knowl. 2, 1 (2008), 35--42.Google ScholarGoogle Scholar
  7. Santiago Alonso, Luis Fernández, Fernando Arroyo, and Javier Gil. 2008. Main modules design for a HW implementation of massive parallelism in transition P-systems. Artif. Life Robot. 13, 1 (2008), 107--111.Google ScholarGoogle ScholarCross RefCross Ref
  8. Himanshu Kushwah Anil Sethi. 2015. Multicore processor technology—Advantages and challenges. Int. J. Res. Eng. Technol. 4, 9 (2015), 87--89.Google ScholarGoogle ScholarCross RefCross Ref
  9. Alberto Arteta, Luis Fernández, and Javier Gil. 2008. Algorithm for application of evolution rules based on linear diofantic equations. In Proceedings of the 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC’08), Viorel Negru, Tudor Jebelean, Dana Petcu, and Daniela Zaharie (Eds.). IEEE Computer Society, 496--500.Google ScholarGoogle ScholarDigital LibraryDigital Library
  10. Jambhlekar P. Arun, Manoj Mishra, and Sheshasayee V. Subramaniam. 2011. Parallel implementation of MOPSO on GPU using OpenCL and CUDA. In Proceedings of the 18th International Conference on High Performance Computing. 1--10.Google ScholarGoogle Scholar
  11. Angel V. Baranda, Fernando Arroyo, Juan Castellanos, and Rafael Gonzalo. 2001. Towards an electronic implementation of membrane computing: A formal description of non-deterministic evolution in transition P systems. In Proceedings of the 7th International Workshop on DNA-Based Computers: DNA Computing (LNCS), N. Jonoska and N. C. Seeman (Eds.), Vol. 2340. Springer, 350--359.Google ScholarGoogle Scholar
  12. Sankar Basu, Randal E. Bryant, Giovanni De Micheli, Thomas Theis, and Lloyd Whitman. 2019. iFLEX: A fully open-source high-density field-programmable gate array (FPGA)-based hardware co-processor for vector similarity searching. Proc. IEEE 107, 1 (2019), 11--18.Google ScholarGoogle ScholarCross RefCross Ref
  13. Francesco Bernardini and Marian Gheorghe. 2004. Population P systems. J. Univ. Comput. Sci. 10, 5 (2004), 509--539.Google ScholarGoogle Scholar
  14. Catalin Buiu, Cristian Vasile, and Octavian Arsene. 2012. Development of membrane controllers for mobile robots. Inf. Sci. 187 (2012), 33--51.Google ScholarGoogle ScholarDigital LibraryDigital Library
  15. Francis G. C. Cabarle, Henry N. Adorna, Miguel A. Martínez-del-Amor, and Mario J. Pérez-Jiménez. 2012. Improving GPU simulations of spiking neural P systems. Roman. J. Inf. Sci. Technol. 15, 1 (2012), 5--20.Google ScholarGoogle Scholar
  16. Jym P. Carandang, Francis G. C. Cabarle, Henry N. Adorna, Nestine H. S. Hernandez, and Miguel Á. Martínez-del-Amor. 2019. Handling non-determinism in spiking neural P systems: Algorithms and simulations. Fundam. Inform. 164 (2019), 139--155.Google ScholarGoogle ScholarCross RefCross Ref
  17. Jym P. A. Carandang, John M. B. Villaflores, Francis G. C. Cabarle, Henry N. Adorna, and Miguel A. Martínez-del-Amor. 2017. CuSNP: Spiking neural P systems simulators in CUDA. Roman. J. Inform. Sci. Technol. 20, 1 (2017), 57--70.Google ScholarGoogle Scholar
  18. José M. Cecilia, José M. García, Ginés D. Guerrero, Miguel A. Martínez-del-Amor, Ignacio Pérez-Hurtado, and Mario J. Pérez-Jiménez. 2010. Simulation of P systems with active membranes on CUDA. Brief. Bioinform. 11, 3 (2010), 313--322.Google ScholarGoogle ScholarCross RefCross Ref
  19. José M. Cecilia, José M. García, Ginés D. Guerrero, Miguel A. Martínez-del-Amor, Mario J. Pérez-Jiménez, and Manuel Ujaldon. 2012. The GPU on the simulation of cellular computing models. Soft Comput. 16, 2 (2012), 231--246.Google ScholarGoogle ScholarDigital LibraryDigital Library
  20. Gabriel Ciobanu, Solomon Marcus, and Gheorghe Păun. 2009. New strategies of using the rules of a P system in a maximal way: Power and complexity. Roman. J. Inform. Sci. Technol. 12, 2 (2009), 157--173.Google ScholarGoogle Scholar
  21. Gabriel Ciobanu and Andreas Resios. 2009. Complexity of evolution in maximum cooperative P systems. Nat. Comput. 8, 4 (31 Jan. 2009), 807.Google ScholarGoogle Scholar
  22. Gabriel Ciobanu and Guo Wenyuan. 2003. P systems running on a cluster of computers. In Proceedings of the International Workshop Membrane Computing (WMC’03) (Lecture Notes in Computer Science), Carlos Martín-Vide, Giancarlo Mauri, Gheorghe Páun, Grzegorz Rozenberg, and Arto Salomaa (Eds.), Vol. 2933. Springer, 123--139.Google ScholarGoogle Scholar
  23. Daniele D’Agostino, Giulia Pasquale, and Ivan Merelli. 2014. A fine-grained CUDA implementation of the multi-objective evolutionary approach NSGA-II: Potential impact for computational and systems biology applications. In Proceedings of the 11th International Meeting of Computational Intelligence Methods for Bioinformatics and Biostatistics (CIBB’14) (LNCS), Clelia Di Serio, Pietro Liò, Alessandro Nonis, and Roberto Tagliaferri (Eds.), Vol. 8623. Springer, 273--284.Google ScholarGoogle Scholar
  24. Ren T. A. de la Cruz, Francis G. C. Cabarle, and Henry N. Adorna. 2019. Generating context-free languages using spiking neural P systems with structural plasticity. J. Memb. Comput. 1, 3 (2019), 161--177.Google ScholarGoogle ScholarCross RefCross Ref
  25. Daniel Díaz-Pernil, Miguel A. Gutiérrez-Naranjo, and Hong Peng. 2019. Membrane computing and image processing: A short survey. J. Memb. Comput. (04 Feb. 2019).Google ScholarGoogle ScholarCross RefCross Ref
  26. Matthew S. Dodd, Dominic Papineau, Tor Grenne, John F. Slack, Martin Rittner, Franco Pirajno, Jonathan O’Neil, and Crispin T. S. Little. 2017. Evidence for early life in Earth’s oldest hydrothermal vent precipitates. Nature 543, 7643 (2017), 60--64.Google ScholarGoogle Scholar
  27. Matthias Ehrgott. 2005. Multicriteria Optimization (2nd ed.). Springer.Google ScholarGoogle ScholarDigital LibraryDigital Library
  28. H. Esmaeilzadeh, A. Sampson, L. Ceze, and D. Burger. 2012. Neural acceleration for general-purpose approximate programs. In Proceedings of the 45th Annual IEEE/ACM International Symposium on Microarchitecture (MICRO’12). IEEE Computer Society, 449--460.Google ScholarGoogle Scholar
  29. R. Uribe, F. Varela, and H. Maturana. 1974. Autopoiesis: The organization of living systems, its characterization and a model. BioSystems 5, 4 (1974), 187--196.Google ScholarGoogle ScholarCross RefCross Ref
  30. Luis Fernández, Fernando Arroyo, Ivan Garcia, and Gines Bravo. 2007. Decision trees for applicability of evolution rules in transition P systems. Inf. Theor. Applic. 14, 3 (2007), 223--230.Google ScholarGoogle Scholar
  31. Luis Fernández, Fernando Arroyo, Jorge A. Tejedo, and Juan Castellanos. 2006. Massively parallel algorithm for evolution rules application in transition P systems. In Proceedings of the 7th Workshop on Membrane Computing, Hendrik Jan Hoogeboom, Gheorghe Păun, and Grzegorz Rozenberg (Eds.). Universiteit Leiden, 337--343.Google ScholarGoogle Scholar
  32. Luis Fernández, Victor J. Martínez, Fernando Arroyo, and Luis F. Mingo. 2005. A hardware circuit for selecting active rules in transition P systems. In Proceedings of the 7th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC’05), Daniela Zaharie, Dana Petcu, Viorel Negru, Tudor Jebelean, Gabriel Ciobanu, Alexandru Cicortas, Ajith Abraham, and Marcin Paprzycki (Eds.). IEEE Computer Society, 415--418.Google ScholarGoogle Scholar
  33. Rudolf Freund, Alberto Leporati, Giancarlo Mauri, Antonio E. Porreca, Sergey Verlan, and Claudio Zandron. 2013. Flattening in (Tissue) P systems. In Proceedings of the 14th International Conference on Membrane Computing (CMC’13) (Lecture Notes in Computer Science), Artiom Alhazov, Svetlana Cojocaru, Marian Gheorghe, Yurii Rogozhin, Grzegorz Rozenberg, and Arto Salomaa (Eds.), Vol. 8340. Springer, 173--188.Google ScholarGoogle Scholar
  34. Rudolf Freund, Ignacio Pérez-Hurtado, Agustín Riscos-Núñez, and Sergey Verlan. 2013. A formalization of membrane systems with dynamically evolving structures. Int. J. Comput. Math. 90, 4 (2013), 801--815.Google ScholarGoogle ScholarDigital LibraryDigital Library
  35. Rudolf Freund and Sergey Verlan. 2007. A formal framework for static (Tissue) P systems. In Proceedings of the 8th International Workshop on Membrane Computing (WMC’07) (Lecture Notes in Computer Science), George Eleftherakis, Petros Kefalas, Gheorghe Paun, Grzegorz Rozenberg, and Arto Salomaa (Eds.), Vol. 4860. Springer, 271--284.Google ScholarGoogle ScholarCross RefCross Ref
  36. Zsolt Gazdag and Gábor Kolonits. 2019. A new method to simulate restricted variants of polarizationless P systems with active membranes. J. Memb. Comput. 1, 4 (2019), 251--261.Google ScholarGoogle ScholarCross RefCross Ref
  37. Marian Gheorghe, Andrei Păun, Sergey Verlan, and Gexiang Zhang. 2017. Membrane Computing, Power and Complexity. Springer Berlin, 1--16.Google ScholarGoogle Scholar
  38. Francisco J. Gil, Luis Fernández, Fernando Arroyo, and Juan Alberto de Frutos. 2008. Parallel algorithm for P systems implementation in multiprocessors. In Proceedings of the 13th International Symposium on Artificial Life and Robotics (AROB’08), M. Sugisaka and H. Tanaka (Eds.). 10--25.Google ScholarGoogle Scholar
  39. Francisco J. Gil, Luis Fernández, Fernando Arroyo, and Jorge A. Tejedor. 2007. Delimited massively parallel algorithm based on rules elimination for application of active rules in transition P systems. In Proceedings of the 5th International Conference on Information Research and Applications (i.TECH’07), Krassimir Markov and Krassimira Ivanova (Eds.), Vol. 1. Institute of Information Theories and Applications FOI ITHEA, Bulgaria, 182--188.Google ScholarGoogle Scholar
  40. Francisco J. Gil, Jorge A. Tejedor, and Luis Fernández. 2008. Fast linear algorithm for active rules application in transition P systems. In Algorithmic and Mathematical Foundations of the Artificial Intelligence (International Book Series INFORMATION SCIENCE 8 COMPUTING), Krassimir Markov, Krassimira Ivanova, and Ilia Mitov (Eds.), Vol. Supple. Institute of Information Theories and Applications FOI ITHEA, Sofia, Bulgaria, 35--44.Google ScholarGoogle Scholar
  41. Fernando Arroyo Ginés Bravo, Luis Fernández, and Juan Frutos. 2008. A hierarchical architecture with parallel communication for implementing P systems. Inf. Technol. Knowl. 2, 1 (2008), 43--48.Google ScholarGoogle Scholar
  42. Sandra M. Gomez-Canaval, Abraham Gutiérrez, and Santiago Alonso. 2008. Hardware implementation of P systems using microcontrollers. An operating environment for implementing a partially parallel distributed architecture. In Proceedings of the 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC’08), Viorel Negru, Tudor Jebelean, and Dana Petcuand Daniela Zaharie (Eds.). IEEE, 489--495.Google ScholarGoogle Scholar
  43. Ananth Grama, George Karypis, Vipin Kumar, and Anshul Gupta. 2003. Introduction to Parallel Computing (2nd ed.). Addison-Wesley.Google ScholarGoogle Scholar
  44. Abraham Gutiérrez, Luis Fernández, Fernando Arroyo, and Santiago Alonso. 2007. Hardware and software architecture for implementing membrane systems: A case of study to transition P systems. In Proceedings of the 13th International Meeting on DNA Computing (LNCS), Max H. Garzon and Hao Yan (Eds.), Vol. 4848. Springer, 211--220.Google ScholarGoogle Scholar
  45. Abraham Gutiérrez, Luis Fernández, Fernando Arroyo, and Santiago Alonso. 2008. Suitability of using microcontrollers in implementing new P-system communications architectures. Artif. Life Robot. 13, 1 (01 Dec. 2008), 102--106.Google ScholarGoogle Scholar
  46. Abraham Gutiérrez, Luis Fernández, Fernando Arroyo, and Ginés Bravo. 2007. Optimizing membrane system implementation with multisets and evolution rules compression. In Proceedings of the 8th Workshop on Membrane Computing, G. Ekeftherakis, P. Kefalas, and Gh. Păun (Eds.). 345--362.Google ScholarGoogle Scholar
  47. Abraham Gutiérrez, Luis Fernández, Fernando Arroyo, and Victor J. Martínez. 2006. Design of a hardware architecture based on microcontrollers for the implementation of membrane systems. In Proceedings of the 8th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Viorel Negru, Dana Petcu, Daniela Zaharie, Ajith Abraham, Bruno Buchberger, Alexandru Cicortas, Dorian Gorgan, and Joël Quinqueton (Eds.). IEEE Computer Society, 350--353.Google ScholarGoogle Scholar
  48. Francisco Javier Gil, Luis Fernández, Fernando Arroyo, and Jorge Tejedor. 2008. Delimited massively parallel algorithm based on rules elimination for application of active rules in transition P systems. Inf. Technol. Knowl. 2, 1 (2008), 56--61.Google ScholarGoogle Scholar
  49. Z. B. Jimenez, Francis G. C. Cabarle, Ren T. A. de la Cruz, Kelvin C. Buño, Henry N. Adorna, Nestine H. S. Hernandez, and Xiangxiang Zeng. 2019. Matrix representation and simulation algorithm of spiking neural P systems with structural plasticity. J. Memb. Comput. 1, 3 (2019), 145--160.Google ScholarGoogle ScholarCross RefCross Ref
  50. Ignacy Kaliszewski, Janusz Miroforidis, and Dmitry Podkopaev. 2016. Multiple Criteria Decision Making by Multiobjective Optimization–A Toolbox. Int. Series in Operations Research 8 Management Science, Vol. 242. Springer.Google ScholarGoogle Scholar
  51. Takahiro Katagiri. 2019. High-performance computing basics. In The Art of High Performance Computing for Computational Science, Vol. 1, Techniques of Speedup and Parallelization for General Purposes, Masaaki Geshi (Ed.). Springer, 1--25.Google ScholarGoogle Scholar
  52. David Kirk and Wen-Mei Hwu. 2010. Programming Massively Parallel Processors: A Hands On Approach. Morgan Kaufmann.Google ScholarGoogle Scholar
  53. Julien Legriel. 2011. Multi-Criteria Optimization and Its Application to Multi-Processor Embedded Systems. Universite de Grenoble, Grenoble, France.Google ScholarGoogle Scholar
  54. Jianping Kelvin Li, Jia-Kai Chou, and Kwan-Liu Ma. 2015. High performance heterogeneous computing for collaborative visual analysis. In Proceedings of the SIGGRAPH Asia Visualization in High Performance Computing Conference. ACM, 12:1–12:4.Google ScholarGoogle ScholarDigital LibraryDigital Library
  55. Luis F. Macías-Ramos, Miguel A. Martínez-del-Amor, and Mario J. Pérez-Jiménez. 2015. Simulating FRSN P systems with real numbers in P-Lingua on sequential and CUDA platforms. In Proceedings of the 16th International Conference on Membrane Computing (CMC’15) (LNCS), G. Rozenberg, A. Salomaa, J. M. Sempere, and C. Zandron (Eds.). 262--276.Google ScholarGoogle Scholar
  56. Vincenzo Manca. 2019. From biopolymer duplication to membrane duplication and beyond. J. Memb. Comput. 1, 4 (2019), 292--303.Google ScholarGoogle ScholarCross RefCross Ref
  57. Víctor Martínez, Santiago Alonso, and Abraham Gutiérrez. 2010. Hardware circuit for the application of evolution rules in a transition P-system. Artif. Life Robot. 15, 1 (01 Aug. 2010), 89--92.Google ScholarGoogle Scholar
  58. Victor Martínez, Fernando Arroyo, Abraham Gutiérrez, and Luis Fernández. 2006. Hardware implementation of a bounded algorithm for application of rules in a transition P-system. In Proceedings of the 8th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC’06), Viorel Negru, Dana Petcu, Daniela Zaharie, Ajith Abraham, Bruno Buchberger, Alexandru Cicortas, Dorian Gorgan, and Joel Quinqueton (Eds.). IEEE, 343--349.Google ScholarGoogle ScholarDigital LibraryDigital Library
  59. Victor Martínez, Luis Fernández, Fernando Arroyo, and Abraham Gutiérrez. 2007. HW implementation of a optimized algorithm for the application of active rules in a transition P-system. Inf. Theor. Applic. 14, 4 (2007), 324--331.Google ScholarGoogle Scholar
  60. Victor J. Martínez, Fernando Arroyo, Abraham Gutiérrez, and Luis Fernández. 2006. Hardware implementation of a bounded algorithm for application of rules in a transition P-system. In Proceedings of the 8th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC’06), Viorel Negru, Dana Petcu, Daniela Zaharie, Ajith Abraham, Bruno Buchberger, Alexandru Cicortas, Dorian Gorgan, and Joël Quinqueton (Eds.). IEEE Computer Society, 343--349.Google ScholarGoogle ScholarDigital LibraryDigital Library
  61. Miguel A. Martínez-del-Amor, Manuel García-Quismondo, Luis F. Macías-Ramos, Luis Valencia-Cabrera, Agustin Riscos-Núñez, and Mario J. Pérez-Jiménez. 2015. Simulating P systems on GPU devices: A survey. Fundam. Inform. 136, 3 (2015), 269--284.Google ScholarGoogle ScholarCross RefCross Ref
  62. Miguel A. Martínez-del-Amor, Luis F. Macías-Ramos, Luis Valencia-Cabrera, and Mario J. Pérez-Jiménez. 2016. Parallel simulation of population dynamics P systems: Updates and roadmap. Nat. Comput. 15, 4 (2016), 565--573.Google ScholarGoogle ScholarDigital LibraryDigital Library
  63. Miguel A. Martínez-del-Amor, Ignacio Pérez-Hurtado, Manuel García-Quismondo, Luis F. Macías-Ramos, Luis Valencia-Cabrera, Álvaro Romero Jiménez, Carmen Graciani Díaz, Agustin Riscos-Núñez, Maria Angels Colomer, and Mario J. Pérez-Jiménez. 2012. DCBA: Simulating population dynamics P systems with proportional object distribution. In Proceedings of the 13th International Conference on Membrane Computing (CMC’12) (Lecture Notes in Computer Science), Erzsébet Csuhaj-Varjú, Marian Gheorghe, Grzegorz Rozenberg, Arto Salomaa, and György Vaszil (Eds.). 257--276.Google ScholarGoogle Scholar
  64. Miguel Á. Martínez-del-Amor, Ignacio Pérez-Hurtado, David Orellana-Martín, and Mario J. Pérez-Jiménez. 2020. Adaptative parallel simulators for bioinspired computing models. Fut. Gen. Comput. Syst. 107 (2020), 469--484.Google ScholarGoogle ScholarDigital LibraryDigital Library
  65. Miguel A. Martínez-del-Amor, Ignacio Pérez-Hurtado, Mario J. Pérez-Jiménez, Agustin Riscos-Núñez, and M. Angels Colomer. 2010. A new simulation algorithm for multienvironment probabilistic P systems. In Proceedings of the 5th International Conference on Bio-Inspired Computing: Theories and Applications, M. Gong, L. Pan, T. Song, and G. Zhang (Eds.). 59--68.Google ScholarGoogle Scholar
  66. Neil Mathur. 2002. Beyond the silicon roadmap. Nature 419 (Oct. 2002), 573--575.Google ScholarGoogle Scholar
  67. George H. Mealy. 1955. A method for synthesizing sequential circuits. Bell Syst. Tech. J. 34, 5 (1955), 1045--1079.Google ScholarGoogle ScholarCross RefCross Ref
  68. Anthony Nash and Sara Kalvala. 2019. A P system model of swarming and aggregation in a Myxobacterial colony. J. Memb. Comput. 1, 2 (2019), 103--111.Google ScholarGoogle ScholarCross RefCross Ref
  69. Van Nguyen. 2010. An Implementation of the Parallelism, Distribution and Nondeterminism of Membrane Computing Models on Reconfigurable Hardware. Ph.D. Dissertation. University of South Australia.Google ScholarGoogle Scholar
  70. Van Nguyen, David Kearney, and Gianpaolo Gioiosa. 2007. Balancing performance, flexibility, and scalability in a parallel computing platform for membrane computing applications. In Proceedings of the 8th International Workshop on Membrane Computing (LNCS), G. Eleftherakis, P. Kefalas, Gh. Păun, G. Rozenberg, and A. Salomaa (Eds.), Vol. 4860. Springer, 385--413.Google ScholarGoogle ScholarCross RefCross Ref
  71. Van Nguyen, David Kearney, and Gianpaolo Gioiosa. 2008. An algorithm for non-deterministic object distribution in P systems and its implementation in hardware. In Proceedings of the 9th International Workshop on Membrane Computing (WMC’08) (LNCS), D. W. Corne, P. Frisco, Gh. Păun, G. Rozenberg, and A. Salomaa (Eds.), Vol. 5391. Springer, 325--354.Google ScholarGoogle Scholar
  72. Van Nguyen, David Kearney, and Gianpaolo Gioiosa. 2008. An implementation of membrane computing using reconfigurable hardware. Comput. Inform. 27, 3 (2008), 551--569.Google ScholarGoogle Scholar
  73. Van Nguyen, David Kearney, and Gianpaolo Gioiosa. 2009. A region-oriented hardware implementation for membrane computing applications. In Proceedings of the 10th International Workshop on Membrane Computing (WMC’09) (LNCS), Gh. Păun, M. J. Pérez-Jiménez, A. Riscos-Núñez, G. Rozenberg, and A. Salomaa (Eds.), Vol. 5957. Springer, 385--409.Google ScholarGoogle Scholar
  74. Van Nguyen, David Kearney, and Gianpaolo Gioiosa. 2010. An extensible, maintainable and elegant approach to hardware source code generation in Reconfig-P. J. Logic Algeb. Program. 79, 6 (2010), 383--396.Google ScholarGoogle ScholarCross RefCross Ref
  75. Taishin Y. Nishida. 2006. A Membrane Computing Model of Photosynthesis. Springer, 181--202.Google ScholarGoogle Scholar
  76. David Orellana-Martín, Miguel A. Martínez-del-Amor, Luis Valencia-Cabrera, Bosheng Song, Linqiang Pan, and Mario J. Pérez-Jiménez. 2020. P systems with symport/antiport rules: When do the surroundings matter? Theoret. Comput. Sci. 805 (2020), 206–217.Google ScholarGoogle ScholarCross RefCross Ref
  77. David Orellana-Martín, Luis Valencia-Cabrera, Agustín Riscos-Núñez, and Mario J. Pérez-Jiménez. 2019. Minimal cooperation as a way to achieve the efficiency in cell-like membrane systems. J. Memb. Comput. 1, 2 (2019), 85--92.Google ScholarGoogle ScholarCross RefCross Ref
  78. Ana Pavel, Octavian Arsene, and Catalin Buiu. 2010. Enzymatic numerical P systems—A new class of membrane computing systems. In Proceedings of the 5th International Conference on Bio-Inspired Computing: Theories and Applications (BIC-TA’10), A. K. Nagar, R. Thamburaj, K. Li, Z. Tang, and R. Li (Eds.). IEEE, 1331--1336.Google ScholarGoogle ScholarCross RefCross Ref
  79. Ignacio Pérez-Hurtado, Miguel Á. Martínez-del-Amor, Gexiang Zhang, Ferrante Neri, and Mario J. Pérez-Jiménez. 2020. A membrane parallel rapidly-exploring random tree algorithm for robotic motion planning. Integ. Comput.-Aided Eng. 27 (2020), 121--138.Google ScholarGoogle ScholarCross RefCross Ref
  80. Ignacio Pérez-Hurtado, David Orellana-Martín, Gexiang Zhang, and Mario J. Pérez-Jiménez. 2019. P-Lingua in two steps: Flexibility and efficiency. J. Memb. Comput. 1, 2 (01 June 2019), 93--102.Google ScholarGoogle Scholar
  81. Ignacio Pérez-Hurtado, Mario J. Pérez-Jiménez, Gexiang Zhang, and David Orellana-Martín. 2018. Simulation of rapidly-exploring random trees in membrane computing with P-lingua and automatic programming. Int. J. Comput. Commun. Contr. 13, 6 (2018), 1007--1031.Google ScholarGoogle ScholarCross RefCross Ref
  82. Biljana Petreska and Christof Teuscher. 2003. A reconfigurable hardware membrane system. In Proceedings of the International Workshop on Membrane Computing (WMC’03) (Lecture Notes in Computer Science), Carlos Martín-Vide, Giancarlo Mauri, Gheorghe Paun, Grzegorz Rozenberg, and Arto Salomaa (Eds.), Vol. 2933. Springer, 269--285.Google ScholarGoogle Scholar
  83. Andrew Pohorille and David Deamer. 2009. Self-assembly and function of primitive cell membranes. Res. Microbiol. 160, 7 (2009), 449--456.Google ScholarGoogle ScholarCross RefCross Ref
  84. Gheorghe Păun. 2000. Computing with membranes. J. Comput. Syst. Sci. 61, 1 (2000), 108--143.Google ScholarGoogle ScholarDigital LibraryDigital Library
  85. Gheorghe Păun. 2002. Membrane Computing: An Introduction. Springer-Verlag, Berlin.Google ScholarGoogle ScholarCross RefCross Ref
  86. Gheorghe Păun and Radu A. Păun. 2006. Membrane computing and economics: Numerical P systems. Fundam. Inform. 73, 1–2 (2006), 213--227.Google ScholarGoogle Scholar
  87. Gheorghe Păun, Grzegorz Rozenberg, and Arto Salomaa (Eds.). 2009. The Oxford Handbook of Membrane Computing. Oxford University Press.Google ScholarGoogle Scholar
  88. Juan Quiros, Sergey Verlan, Julian Viejo, Alejandro Millán, and Manuel J. Bellido. 2016. Fast hardware implementations of static P systems. Comput. Inform. 35, 3 (2016), 687--718.Google ScholarGoogle Scholar
  89. Raúl Reina-Molina, Daniel Díaz-Pernil, and Miguel A. Gutiérrez-Naranjo. 2011. Integer linear programming for tissue-like P systems. In Proceedings of the 9th Brainstorming Week on Membrane Computing, M. A. Martínez-del-Amor, Gh. Păun, I. Pérez-Hurtado, F. J. Romero-Campero, and L. Valencia-Cabrera (Eds.).Google ScholarGoogle Scholar
  90. Haina Rong, Kang Yi, Gexiang Zhang, Jianping Dong, Prithwineel Paul, and Zhiwei Huang. 2019. Automatic implementation of fuzzy reasoning spiking neural P systems for diagnosing faults in complex power systems. Complexity 2019 (2019), 2635714:1–2635714:16.Google ScholarGoogle Scholar
  91. Grzegorz Rozenberg and Arto Salomaa (Eds.). 1997. Handbook of Formal Languages. Vol. 1–3. Springer.Google ScholarGoogle Scholar
  92. Eduardo Sánchez-Karhunen and Luis Valencia-Cabrera. 2019. Modelling complex market interactions using PDP systems. J. Memb. Comput. 1, 1 (2019), 40--51.Google ScholarGoogle ScholarCross RefCross Ref
  93. James E. Smith. 1984. Decoupled access/execute computer architectures. ACM Trans. Comput. Syst. 2, 4 (1984), 289--308.Google ScholarGoogle ScholarDigital LibraryDigital Library
  94. Yasuhiro Suzuki, Yoshi Fujiwara, Junji Takabayashi, and Hiroshi Tanaka. 2000. Artificial life applications of a class of P systems: Abstract rewriting systems on multisets. In Proceedings of the Workshop on Membrane Computing - Multiset Processing (LNCS), C. S. Calude, Gh. Păun, G. Rozenberg, and A. Salomaa (Eds.). Springer, 299--346.Google ScholarGoogle Scholar
  95. Yasuhiro Suzuki and Hiroshi Tanaka. 2006. Modeling p53 Signaling Pathways by Using Multiset Processing. Springer Berlin, 203--214.Google ScholarGoogle Scholar
  96. El-Ghazali Talbi, Sanaz Mostaghim, Tatsuya Okabe, Hisao Ishibuchi, Günter Rudolph, and Carlos A. Coello Coello. 2008. Parallel approaches for multiobjective optimization. In Multiobjective Optimization, Interactive and Evolutionary Approaches (LNCS), J. Branke, K. Deb, K. Miettinen, and R. Slowinski (Eds.), Vol. 5252. Springer, 349–372.Google ScholarGoogle Scholar
  97. El-Ghazali Talbi. 2018. A unified view of parallel multi-objective evolutionary algorithms. J. Parallel Distrib. Comput. 133 (2018), 349--358.Google ScholarGoogle ScholarCross RefCross Ref
  98. Jorge A. Tejedor, Luis Fernández, Fernando Arroyo, and Sandra Gómez-Canaval. 2007. Algorithm of rules applications based on competitiveness of evolution rules. In Proceedings of the 8th Workshop on Membrane Computing, G. Ekeftherakis, P. Kefalas, and Gh. Păun (Eds.). 567--580.Google ScholarGoogle Scholar
  99. Jorge A. Tejedor, Luis Fernández, Fernando Arroyo, and Abraham Gutiérrez. 2007. Algorithm of active rule elimination for application of evolution rules. In Proceedings of the 8th WSEAS International Conference on Evolutionary Computing, Akshai Aggarwal (Ed.). 259--267.Google ScholarGoogle Scholar
  100. Jorge A. Tejedor, Abraham Gutiérrez, Luis Fernández, Fernando Arroyo, Ginés Bravo, and Sandra Gómez-Canaval. 2007. Optimizing evolution rules application and communication times in membrane systems implementation. In Proceedings of the 8th International Workshop on Membrane Computing (WMC’07) (Lecture Notes in Computer Science), George Eleftherakis, Petros Kefalas, Gheorghe Păun, Grzegorz Rozenberg, and Arto Salomaa (Eds.), Vol. 4860. Springer, 298--319.Google ScholarGoogle ScholarCross RefCross Ref
  101. Roman Trobec, Marián Vajteršic, and Peter Zinterhof. 2009. Parallel Computing. Springer.Google ScholarGoogle Scholar
  102. Christos Tsotskas, Timoleon Kipouros, and Anthony Mark Savill. 2014. The design and implementation of a GPU-enabled multi-objective Tabu-Search intended for real world and high-dimensional applications. Proced. Comput. Sci. 29 (2014), 2152--2161.Google ScholarGoogle ScholarCross RefCross Ref
  103. Ganesh Venkatesh, Jack Sampson, Nathan Goulding, Sravanthi Kota Venkata, Michael Bedford Taylor, and Steven Swanson. 2011. QSCORES: Trading dark silicon for scalable energy efficiency with quasi-specific cores. In Proceedings of the 44th Annual IEEE/ACM International Symposium on Microarchitecture (MICRO’11). 163--174.Google ScholarGoogle ScholarDigital LibraryDigital Library
  104. Sergey Verlan. 2010. Study of Language-Theoretic Computational Paradigms Inspired by Biology. Habilitation thesis, Université Paris Est.Google ScholarGoogle Scholar
  105. Sergey Verlan. 2013. Using the formal framework for P systems. In Proceedings of the 14th International Conference on Membrane Computing (CMC’13) (Lecture Notes in Computer Science), Artiom Alhazov, Svetlana Cojocaru, Marian Gheorghe, Yurii Rogozhin, Grzegorz Rozenberg, and Arto Salomaa (Eds.), Vol. 8340. Springer, 56--79.Google ScholarGoogle Scholar
  106. Sergey Verlan and Juan Quiros. 2012. Fast hardware implementations of P systems. In Proceedings of the 13th International Conference on Membrane Computing (CMC’12) (Lecture Notes in Computer Science), Erzsébet Csuhaj-Varjú, Marian Gheorghe, Grzegorz Rozenberg, Arto Salomaa, and György Vaszil (Eds.), Vol. 7762. Springer, 404--423.Google ScholarGoogle Scholar
  107. Tao Wang, Gexiang Zhang, and Mario J. Pérez-Jiménez. 2015. Fuzzy membrane computing: Theory and applications. Int. J. Comput. Commun. Contr. 10 (2015), 904--935.Google ScholarGoogle Scholar
  108. Tao Wang, Gexiang Zhang, Junbo Zhao, Zhenyou He, Jun Wang, and Mario J. Pérez-Jiménez. 2015. Fault diagnosis of electric power systems based on fuzzy reasoning spiking neural P systems. IEEE Trans. Power Syst. 30, 3 (2015), 1182–1194.Google ScholarGoogle ScholarCross RefCross Ref
  109. Xueyuan Wang, Gexiang Zhang, Ferrante Neri, Tao Jiang, Junbo Zhao, Marian Gheorghe, Florentin Ipate, and Raluca Lefticaru. 2016. Design and implementation of membrane controllers for trajectory tracking of nonholonomic wheeled mobile robots. Integ. Comput.-Aided Eng. 23, 1 (2016), 15--30.Google ScholarGoogle ScholarCross RefCross Ref
  110. Xueyuan Wang, Gexiang Zhang, Junbo Zhao, Haina Rong, Florentin Ipate, and Raluca Lefticaru. 2015. A modified membrane-inspired algorithm based on particle swarm optimization for mobile robot path planning. Int. J. Comput. Commun. Contr. 10, 5 (2015), 732--745.Google ScholarGoogle ScholarCross RefCross Ref
  111. Nicholas Wilt (Ed.). 2013. The CUDA Handbook: A Comprehensive Guide to GPU Programming. Addison Wesley.Google ScholarGoogle Scholar
  112. Erica Wiseman. 2016. Next generation computing. National Research Council of Canada/Gov. of Canada (2016). https://cradpdf.drdc-rddc.gc.ca/PDFS/unc268/p805200_A1b.pdf.Google ScholarGoogle Scholar
  113. Zihan Xu, Matteo Cavaliere, Pei An, Sarma Vrudhula, and Yu Cao. 2014. The stochastic loss of spikes in spiking neural P systems: Design and implementation of reliable arithmetic circuits. Fund. Inform. 134, 1–2 (2014), 183--200.Google ScholarGoogle Scholar
  114. Jianying Yuan, Dequan Guo, Gexiang Zhang, Prithwineel Paul, Ming Zhu, and Qiang Yang. 2019. A resolution-free parallel algorithm for image edge detection within the framework of enzymatic numerical P systems. Molecules 24, 7 (2019).Google ScholarGoogle Scholar
  115. Xiangxiang Zeng, Henry Adorna, Miguel A. Martínez-del-Amor, Linqiang Pan, and Mario J. Pérez-Jiménez. 2010. Matrix representation of spiking neural P systems. In Proceedings of the 11th International Conference on Membrane Computing (CMC’10) (LNCS), Marian Gheorghe, Thomas Hinze, Gheorghe Păun, Grzegorz Rozenberg, and Arto Salomaa (Eds.). 377--391.Google ScholarGoogle Scholar
  116. Gexiang Zhang, Jixiang Cheng, Marian Gheorghe, and Qi Meng. 2013. A hybrid approach based on differential evolution and tissue membrane systems for solving constrained manufacturing parameter optimization problems. Appl. Soft Comput. 13, 3 (2013), 1528--1542.Google ScholarGoogle ScholarDigital LibraryDigital Library
  117. Gexiang Zhang, Marian Gheorghe, Linqiang Pan, and Mario J. Pérez-Jiménez. 2014. Evolutionary membrane computing: A comprehensive survey and new results. Inform. Sci. 279 (2014), 528--551.Google ScholarGoogle ScholarCross RefCross Ref
  118. Gexiang Zhang, Mario J. Pérez-Jiménez, and Marian Gheorghe. 2017. Real-life Applications with Membrane Computing (1st ed.). Springer Publishing Company, Incorporated.Google ScholarGoogle Scholar
  119. Gexiang Zhang, Haina Rong, Ferrante Neri, and Mario J. Pérez-Jiménez. 2014. An optimization spiking neural P system for approximately solving combinatorial optimization problems. Int. J. Neural Syst. 24, 5 (2014), 1440006.Google ScholarGoogle ScholarCross RefCross Ref
  120. Weihang Zhu, Ashraf Yaseen, and Yaohang Li. 2011. DEMCMC-GPU: An efficient multi-objective optimization method with GPU acceleration on the Fermi architecture. New Gen. Comput. 29, 2 (2011), 163--184.Google ScholarGoogle ScholarCross RefCross Ref

Index Terms

  1. An Overview of Hardware Implementation of Membrane Computing Models

        Recommendations

        Comments

        Login options

        Check if you have access through your login credentials or your institution to get full access on this article.

        Sign in

        Full Access

        • Published in

          cover image ACM Computing Surveys
          ACM Computing Surveys  Volume 53, Issue 4
          July 2021
          831 pages
          ISSN:0360-0300
          EISSN:1557-7341
          DOI:10.1145/3410467
          Issue’s Table of Contents

          Copyright © 2020 ACM

          Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

          Publisher

          Association for Computing Machinery

          New York, NY, United States

          Publication History

          • Published: 3 August 2020
          • Accepted: 1 May 2020
          • Revised: 1 September 2019
          • Received: 1 October 2018
          Published in csur Volume 53, Issue 4

          Permissions

          Request permissions about this article.

          Request Permissions

          Check for updates

          Qualifiers

          • survey
          • Research
          • Refereed

        PDF Format

        View or Download as a PDF file.

        PDF

        eReader

        View online with eReader.

        eReader

        HTML Format

        View this article in HTML Format .

        View HTML Format