<p>Spiking neural P systems represent one the most dynamic and active research area of membrane computing, with many variants being defined and investigated, and a broad spectrum of applications reported. Often, each newly introduced spiking neural P system is compared with others to reveal its potential. However, there is a need to compare them from another perspective, when they are all represented with the same instrumentation within a given framework and where quantitative metrics can precisely describe the complexity of their representations. In this paper a selection of the best known and investigated classes of spiking neural P systems are mapped into kernel P system models and different encodings of the computation results and strategies of using the rules are investigated. Complexity metrics associated with the translation processes are assessed. Specific methods to check model correctness and to provide test sets for implementations are used for an example in order to illustrate the connection between these P systems.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Spiking neural P systems and kernel P systems

  • Marian Gheorghe,
  • Florentin Ipate,
  • Kumar Kannan,
  • Savas Konur,
  • Lakshmanan Kuppusamy,
  • Raluca Lefticaru,
  • Anand Mahendran,
  • Mihai Ionuţ Niculescu

摘要

Spiking neural P systems represent one the most dynamic and active research area of membrane computing, with many variants being defined and investigated, and a broad spectrum of applications reported. Often, each newly introduced spiking neural P system is compared with others to reveal its potential. However, there is a need to compare them from another perspective, when they are all represented with the same instrumentation within a given framework and where quantitative metrics can precisely describe the complexity of their representations. In this paper a selection of the best known and investigated classes of spiking neural P systems are mapped into kernel P system models and different encodings of the computation results and strategies of using the rules are investigated. Complexity metrics associated with the translation processes are assessed. Specific methods to check model correctness and to provide test sets for implementations are used for an example in order to illustrate the connection between these P systems.