arrow
返回

P Systems-Based Computing Polynomials With Integer Coefficients: Design and Formal Verification

delete2018-07-01
delete9
delete
OA
AI
M
Ming Zhu
G
Gexiang Zhang *
Q
Qiang Yang
H
Haina Rong
W
Weitao Yuan
M
Mario J. Pérez-Jímenez
DOI:10.1109/TNB.2018.2836147delete
delete原文链接
delete分享
delete收藏
查看原文
摘要

摘要

En 中文
Automatic design of mechanical procedures solving abstract problems is a relevant scientific challenge. In particular, automatic design of membranes systems performing some prefixed tasks is an important and useful research topic in the area of Natural Computing. In this context, deterministic membrane systems were designed in order to capture the values of polynomials with natural numbers coefficients. Following that work, this paper extends the previous result to polynomials with integer numbers coefficients. Specifically, a deterministic transition P system using priorities in the weak interpretation, associated with an arbitrary such kind polynomial, is presented. The configuration of the unique computation of the system will be encoded by means of two distinguished objects, the values of the polynomial for natural numbers. The descriptive computational resources required by the designed membrane system are also analyzed.
Keyword:
Membrane computing
P systems
automatic design of membrane systems
polynomials with integer coefficients
AI总结

AI总结

对已上传原文的论文进行重点信息的提取,主要内容包括:简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。

期刊

IEEE Transactions on Nanobioscience 封面图
IEEE Transactions on Nanobioscience
IF:
4.4
论文数:
1.4K
被引数:
2.5K

机构

S
Southwest Jiaotong University
学者数:
2.9W
论文数: 2.1W
被引数: 2.3W
C
Chengdu University of Information Technology
学者数:
2.9K
论文数: 2.3K
被引数: 2.4K
U
University of Sevilla
学者数:
1.9W
论文数: 1.7W
被引数: 15
学者 查看更多机构
引用论文

引用论文

err分享
err收藏
学者 查看更多内容