返回
P Systems-Based Computing Polynomials With Integer Coefficients: Design and Formal Verification
DOI:10.1109/TNB.2018.2836147.png)
摘要
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总结
对已上传原文的论文进行重点信息的提取,主要内容包括:简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
IF:
4.4
论文数:
1.4K
被引数:
2.5K
机构
引用论文
AN OPTIMIZATION SPIKING NEURAL P SYSTEM FOR APPROXIMATELY SOLVING COMBINATORIAL OPTIMIZATION PROBLEMS近似求解组合优化问题的优化脉冲神经P系统
Solving multidimensional 0-1 knapsack problem by P systems with input and active membranes通过具有输入和活性膜的P系统解决多维0-1背包问题

