dc.creator | Yuan, Weitao | es |
dc.creator | Zhang, Gexiang | es |
dc.creator | Pérez Jiménez, Mario de Jesús | es |
dc.creator | Wang, Tao | es |
dc.creator | Huang, Zhiwei | es |
dc.date.accessioned | 2021-11-30T12:26:08Z | |
dc.date.available | 2021-11-30T12:26:08Z | |
dc.date.issued | 2016 | |
dc.identifier.citation | Yuan, W., Zhang, G., Pérez Jiménez, M.d.J., Wang, T. y Huang, Z. (2016). P systems based computing polynomials: design and formal verification. Natural Computing, 15 (4), 591-596. | |
dc.identifier.issn | 1567-7818 | es |
dc.identifier.uri | https://hdl.handle.net/11441/127848 | |
dc.description.abstract | Automatic design of P systems is an attractive
research topic in the community of membrane computing.
Differing from the previous work that used evolutionary
algorithms to fulfill the task, this paper presents the design
of a (deterministic transition) P system (without input
membrane) of degree 1, capturing the value of an arbitrary
k-order (k 2) polynomial p(n) by using a reasoning
method. Specifically, the values of p(n) corresponding to a
natural number t is equal to the multiplicity of a distinguished
object of the system (the output object) in the
configuration at instant t. We also discuss the descriptive
computational resources required by the designed k-order
polynomial P system. | es |
dc.description.sponsorship | Ministerio de Economía y Competitividad TIN2012-37434 | es |
dc.format | application/pdf | es |
dc.format.extent | 6 | es |
dc.language.iso | eng | es |
dc.publisher | Springer | es |
dc.relation.ispartof | Natural Computing, 15 (4), 591-596. | |
dc.rights | Attribution-NonCommercial-NoDerivatives 4.0 Internacional | * |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0/ | * |
dc.subject | Membrane computing | es |
dc.subject | P systems | es |
dc.subject | Automatic design | es |
dc.subject | Polynomial | es |
dc.title | P systems based computing polynomials: design and formal verification | es |
dc.type | info:eu-repo/semantics/article | es |
dc.type.version | info:eu-repo/semantics/publishedVersion | es |
dc.rights.accessrights | info:eu-repo/semantics/openAccess | es |
dc.contributor.affiliation | Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial | es |
dc.relation.projectID | TIN2012-37434 | es |
dc.relation.publisherversion | https://link.springer.com/article/10.1007/s11047-016-9577-y | es |
dc.identifier.doi | 10.1007/s11047-016-9577-y | es |
dc.contributor.group | Universidad de Sevilla. TIC193 : Computación Natural | es |
dc.journaltitle | Natural Computing | es |
dc.publication.volumen | 15 | es |
dc.publication.issue | 4 | es |
dc.publication.initialPage | 591 | es |
dc.publication.endPage | 596 | es |
dc.identifier.sisius | 20978725 | es |
dc.contributor.funder | Ministerio de Economía y Competitividad (MINECO). España | es |