Computational efficiency and universality of timed P systems with membrane creation
| LEADER | caa a22 4500 | ||
|---|---|---|---|
| 001 | 605470847 | ||
| 003 | CHVBK | ||
| 005 | 20210128100330.0 | ||
| 007 | cr unu---uuuuu | ||
| 008 | 210128e20151101xx s 000 0 eng | ||
| 024 | 7 | 0 | |a 10.1007/s00500-015-1732-3 |2 doi |
| 035 | |a (NATIONALLICENCE)springer-10.1007/s00500-015-1732-3 | ||
| 245 | 0 | 0 | |a Computational efficiency and universality of timed P systems with membrane creation |h [Elektronische Daten] |c [Bosheng Song, Mario Pérez-Jiménez, Linqiang Pan] |
| 520 | 3 | |a P systems are a class of distributed parallel computing models inspired by the structure and the functioning of a living cell, where the execution of each rule is completed in exactly one time unit (a global clock is assumed). However, in living cells, the execution time of different biological processes is difficult to know precisely and very sensitive to environmental factors that might be hard to control. Inspired from this biological motivation, in this work, timed polarization P systems with membrane creation are introduced and their computational efficiency and universality are investigated. Specifically, we give a time-free semi-uniform solution to the SAT problem by a family of P systems with membrane creation in the sense that the correctness of the solution is irrelevant to the times associated with the involved rules. We also prove that time-free P systems with membrane creation are computationally universal. | |
| 540 | |a Springer-Verlag Berlin Heidelberg, 2015 | ||
| 690 | 7 | |a P system |2 nationallicence | |
| 690 | 7 | |a Membrane creation |2 nationallicence | |
| 690 | 7 | |a Time-free solution |2 nationallicence | |
| 690 | 7 | |a SAT problem |2 nationallicence | |
| 690 | 7 | |a Universality |2 nationallicence | |
| 700 | 1 | |a Song |D Bosheng |u Key Laboratory of Image Information Processing and Intelligent Control, School of Automation, Huazhong University of Science and Technology, 430074, Wuhan, Hubei, China |4 aut | |
| 700 | 1 | |a Pérez-Jiménez |D Mario |u Research Group on Natural Computing, Department of Computer Science and Artificial Intelligence, University of Sevilla, Avda. Reina Mercedes s/n, 41012, Sevilla, Spain |4 aut | |
| 700 | 1 | |a Pan |D Linqiang |u Key Laboratory of Image Information Processing and Intelligent Control, School of Automation, Huazhong University of Science and Technology, 430074, Wuhan, Hubei, China |4 aut | |
| 773 | 0 | |t Soft Computing |d Springer Berlin Heidelberg |g 19/11(2015-11-01), 3043-3053 |x 1432-7643 |q 19:11<3043 |1 2015 |2 19 |o 500 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/s00500-015-1732-3 |q text/html |z Onlinezugriff via DOI |
| 898 | |a BK010053 |b XK010053 |c XK010000 | ||
| 900 | 7 | |a Metadata rights reserved |b Springer special CC-BY-NC licence |2 nationallicence | |
| 908 | |D 1 |a research-article |2 jats | ||
| 949 | |B NATIONALLICENCE |F NATIONALLICENCE |b NL-springer | ||
| 950 | |B NATIONALLICENCE |P 856 |E 40 |u https://doi.org/10.1007/s00500-015-1732-3 |q text/html |z Onlinezugriff via DOI | ||
| 950 | |B NATIONALLICENCE |P 700 |E 1- |a Song |D Bosheng |u Key Laboratory of Image Information Processing and Intelligent Control, School of Automation, Huazhong University of Science and Technology, 430074, Wuhan, Hubei, China |4 aut | ||
| 950 | |B NATIONALLICENCE |P 700 |E 1- |a Pérez-Jiménez |D Mario |u Research Group on Natural Computing, Department of Computer Science and Artificial Intelligence, University of Sevilla, Avda. Reina Mercedes s/n, 41012, Sevilla, Spain |4 aut | ||
| 950 | |B NATIONALLICENCE |P 700 |E 1- |a Pan |D Linqiang |u Key Laboratory of Image Information Processing and Intelligent Control, School of Automation, Huazhong University of Science and Technology, 430074, Wuhan, Hubei, China |4 aut | ||
| 950 | |B NATIONALLICENCE |P 773 |E 0- |t Soft Computing |d Springer Berlin Heidelberg |g 19/11(2015-11-01), 3043-3053 |x 1432-7643 |q 19:11<3043 |1 2015 |2 19 |o 500 | ||