Skip to main content
Disciplines
Automotive Business IT + Informatics Construction + Real Estate Electrical Engineering + Electronics Energy + Sustainability Insurance + Risk Finance + Banking Management + Leadership Marketing + Sales Mechanical Engineering + Materials
Events
DE
EN
Books
Journals
Topic Page
Marketing
Start single access now
Access for companies
EXTENDED SEARCH
Log in
Top
Published in:
Remarks on Invariant Method of the Second-Order Linear Differential Equations with Variable Coefficients Read chapter Read first chapter

2013 | OriginalPaper | Chapter

Kernel P Systems: Applications and Implementations

Authors : Florentin Ipate, Raluca Lefticaru, Laurenţiu Mierlă, Luis Valencia Cabrera, Huang Han, Gexiang Zhang, Ciprian Dragomir, Mario J. Pérez Jiménez, Marian Gheorghe

Published in: Proceedings of The Eighth International Conference on Bio-Inspired Computing: Theories and Applications (BIC-TA), 2013

Publisher: Springer Berlin Heidelberg

Log in

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Abstract

This paper explores the modelling capacities of a new class of P systems, called kernel P systems (kP systems). A specific language for describing kP systems and its translation into Promela, the specification language of Spin, are described. This Promela specification has been further used for simulation and property verification with the Spin model checker. Also, a parallel implementation on GPU parallel architectures, realized using CUDA, is presented and the results are compared with the ones obtained using Promela and Spin. A case study, namely the Subset sum problem, which has been modelled with kernel P systems and further implemented in Promela is presented.

Dont have a licence yet? Then find out more about our products and how to get one now:

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!

inform now

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!

inform now

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!

inform now
previous chapter Analysis of TBM Monitoring Data Based on Grey Theory and Neural Network
next chapter Improved Weak Classifier Optimization Algorithm
Literature
1.
2.
3.
Păun G, Rozenberg G, Salomaa A (eds) (2010) The Oxford handbook of membrane computing. Oxford University Press, OxfordMATH
4.
Ciobanu G, Pérez-Jiménez MJ, Păun G (eds) (2006) Applications of membrane computing., Natural computing seriesSpringer, LondonMATH
5.
Gheorghe M, Ipate F, Dragomir C (2012) A kernel P system. In: Proceedings of 10th brainstorming week on membrane computing. Fénix Editora, Seville, Spain, pp 153–170
6.
Gheorghe M, Ipate F, Lefticaru R, Pérez-Jiménez MJ, Ţurcanu A, Valencia Cabrera L, García-Quimondo M, Mierlă L (2012) 3-col problem modelling using simple kernel P systems. Int J Comput Math. doi:10.​1080/​00207160.​2012.​743712 MATH
7.
Ipate F, Dragomir, C, Lefticaru R, Mierlă L, Pérez-Jiménez MJ (2012) Using a kernel P system to solve the 3-col problem. In: Proceedings of the 13th international conference on membrane computing. Computer and Automation Research Institute, Hungarian Academy of Sciences, pp 243–258
8.
Ben-Ari M (2008) Principles of the spin model checker. Springer, LondonMATH
9.
Leporati A, Mauri G, Zandron C, Păun G, Pérez-Jiménez MJ (2009) Uniform solutions to SAT and subset Sum by spiking neural P systems. Nat Comput 8:681–702MathSciNetCrossRefMATH
10.
Pérez-Jiménez MJ, Riscos-Núñez A (2005) Solving the subset-Sum problem by P systems with active membranes. New Gener Comput 23(4):339–356CrossRefMATH
11.
12.
Ipate F, Lefticaru R, Pérez-Hurtado I, Pérez-Jiménez MJ, Tudose C (2012) Formal verification of P systems with active membranes through model checking. In: Gheorghe M, Păun G, Rozenberg G, Salomaa A, Verlan S (eds) Proceeding of the international conference on membrane computing 2011. Lecture Notes in Computer Science, vol 7184. Springer pp 215–225
13.
Metadata
Title
Kernel P Systems: Applications and Implementations
Authors
Florentin Ipate
Raluca Lefticaru
Laurenţiu Mierlă
Luis Valencia Cabrera
Huang Han
Gexiang Zhang
Ciprian Dragomir
Mario J. Pérez Jiménez
Marian Gheorghe
Copyright Year
2013
Publisher
Springer Berlin Heidelberg
Book
Proceedings of The Eighth International Conference on Bio-Inspired Computing: Theories and Applications (BIC-TA), 2013

Print ISBN: 978-3-642-37501-9

Electronic ISBN: 978-3-642-37502-6

Copyright Year: 2013

DOI
https://doi.org/10.1007/978-3-642-37502-6_126

Premium Partner

    Image Credits