P systems based computing polynomials: design and formal verification

P systems based computing polynomials: design and formal verification
复制标题

基于 P 系统的计算多项式:设计和形式验证

DOI:
10.1007/s11047-016-9577-y
复制
发表时间:
2016-12
期刊:
影响因子:
2.1
通讯作者:
Huang Zhiwei
Huang Zhiwei
中科院分区:
计算机科学4区
文献类型:
--
作者:
Yuan Weitao;Zhang Gexiang;Perez-Jimenez Mario J.;Wang Tao;Huang Zhiwei

文献摘要

参考文献

被引文献

相似文献

P系统的自动设计是膜计算领域的一个热门研究课题。不同于以往使用进化算法来完成这一任务的工作,本文提出了一种(确定性转换)P的设计
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
DOI: --
发表时间: 2010
期刊: --
影响因子: --
作者:
Gabi Escuela;M. Naranjo
通讯作者: Gabi Escuela;M. Naranjo
DOI: 10.1016/j.asoc.2012.05.032
发表时间: 2013-03
影响因子: 8.7
作者:
Gexiang Zhang;Jixiang Cheng;Marian Gheorghe;Qi Meng
通讯作者: Qi Meng
DOI: 10.1016/j.ins.2014.04.007
发表时间: 2014
影响因子: 8.1
作者:
Gexiang Zhang;Marian Gheorghe;Linqiang Pan;Mario J. Perez-Jimenez
通讯作者: Mario J. Perez-Jimenez
DOI: --
发表时间: 2011
期刊: ERCIM News
影响因子: 0.1
作者:
A. Cesta;Gabriella Cortellessa;L. Tiberio
通讯作者: A. Cesta;Gabriella Cortellessa;L. Tiberio
DOI: 10.1007/978-3-642-28024-5_14
发表时间: 2011-08
期刊: --
影响因子: --
作者:
Xiaoli Huang;Gexiang Zhang;Haina Rong;F. Ipate
通讯作者: Xiaoli Huang;Gexiang Zhang;Haina Rong;F. Ipate