P systems based computing polynomials: design and formal verification

被引：6
|
作者：
Yuan, Weitao [1 ]
Zhang, Gexiang [1 ]
Perez-Jimenez, Mario J. [2 ]
Wang, Tao [1 ]
Huang, Zhiwei [1 ]
机构：
[1] Southwest Jiaotong Univ, Sch Elect Engn, Chengdu 610031, Peoples R China
[2] Univ Seville, Dept Comp Sci & Artificial Intelligence, Res Grp Nat Comp, E-41012 Seville, Spain
来源：
NATURAL COMPUTING | 2016年 / 15卷 / 04期
基金：
中国国家自然科学基金;
关键词：
Membrane computing; P system; Automatic design; Polynomial; AUTOMATIC DESIGN; OPTIMIZATION PROBLEMS; ACTIVE MEMBRANES; ALGORITHM; EVOLUTION; RULES;
D O I：
10.1007/s11047-016-9577-y
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
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 () 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.
引用
收藏
页码：591 / 596
页数：6
相关论文
共 50 条
  • [1] P systems based computing polynomials: design and formal verification
    Weitao Yuan
    Gexiang Zhang
    Mario J. Pérez-Jiménez
    Tao Wang
    Zhiwei Huang
    Natural Computing, 2016, 15 : 591 - 596
  • [2] P Systems-Based Computing Polynomials With Integer Coefficients: Design and Formal Verification
    Zhu, Ming
    Zhang, Gexiang
    Yang, Qiang
    Rong, Haina
    Yuan, Weitao
    Perez-Jimenez, Mario J.
    IEEE TRANSACTIONS ON NANOBIOSCIENCE, 2018, 17 (03) : 272 - 280
  • [3] Formal Verification and Testing Based on P Systems
    Gheorghe, Marian
    Ipate, Florentin
    Dragomir, Ciprian
    MEMBRANE COMPUTING, 2010, 5957 : 54 - +
  • [4] Formal Verification for Embedded Systems Design Based on MDE
    Moreira do Nascimento, Francisco Assis
    da Silva Oliveira, Marcio Ferreira
    Wagner, Flavio Rech
    ANALYSIS, ARCHITECTURES AND MODELLING OF EMBEDDED SYSTEMS, 2009, 310 : 159 - +
  • [5] A synthesized framework for formal verification of computing systems
    Bogunovic, N
    Grudenic, I
    Pek, E
    CCCT 2003, VOL6, PROCEEDINGS: COMPUTER, COMMUNICATION AND CONTROL TECHNOLOGIES: III, 2003, : 257 - 262
  • [6] A Formal Framework for Compositional Verification of Organic Computing Systems
    Nafz, Florian
    Seebach, Hella
    Steghoefer, Jan-Philipp
    Baeumler, Simon
    Reif, Wolfgang
    AUTONOMIC AND TRUSTED COMPUTING, 2010, 6407 : 17 - 31
  • [7] Exploring the constraints in formal verification of communication and computing systems
    Bogunovic, N
    11TH IEEE MEDITERRANEAN ELECTROTECHNICAL CONFERENCE, PROCEEDINGS, 2002, : 173 - 177
  • [8] FORMAL VERIFICATION OF P SYSTEMS USING SPIN
    Ipate, Florentin
    Lefticaru, Raluca
    Tudose, Cristina
    INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, 2011, 22 (01) : 133 - 142
  • [9] An Integrated Approach to P Systems Formal Verification
    Gheorghe, Marian
    Ipate, Florentin
    Lefticaru, Raluca
    Dragomir, Ciprian
    MEMBRANE COMPUTING, 2010, 6501 : 226 - +
  • [10] Games for formal design and verification of reactive systems
    Alur, Rajeev
    Fourth ACM & IEEE International Conference on Formal Methods and Models for Co-Design, Proceedings, 2006, : 3 - 3
12345