GUO Ping, JI Jinfang, CHEN Haizhu, LIU Ran. Evaluating Logical Expressions by Membrane Systems[J]. Chinese Journal of Electronics, 2014, 23(2): 278-283.
Citation: GUO Ping, JI Jinfang, CHEN Haizhu, LIU Ran. Evaluating Logical Expressions by Membrane Systems[J]. Chinese Journal of Electronics, 2014, 23(2): 278-283.

Evaluating Logical Expressions by Membrane Systems

Funds:  This work is supported by the National Science Foundation for Young Scholars of China (No. 61201347), and Natural Science Foundation Project of CQ CSTC (No.2012jjA40022, No.2011jjA40027, No.2012jjA40011).
  • Received Date: 2013-03-01
  • Rev Recd Date: 2013-07-01
  • Publish Date: 2014-04-05
  • Boolean and relational operations, which are defined for solving mathematically logical problems, are always required in computing models. Membrane computing is a kind of distributed parallel computing model. In this paper, we design different membranes for implementing primary Boolean and relational operations respectively. And based on these membranes, a membrane system can be constructed by a present algorithm for evaluating a logical expression. Some examples are given to illustrate how to perform the Boolean, relational operations and evaluate the logical expression correctly in these membrane systems.
  • loading
  • Gh. Păn, "Computing with membranes", Journal of Computer and System Sciences, Vol.61, No.1, pp.108-143, 2000.
    G.X. Zhang, L.Q. Pan, "A survey of membrane computing as a new branch of natural computing", Chinese Journal of Computers, Vol.33, No.2, pp.208-214, 2010. (in Chinese)
    A. Alhazov, C. Martin-Vide, L. Pan, "Solving a PSPACEcomplete problem by recognizing P systems with restricted active membranes", Fundamenta Informaticae, Vol.58, No.2, pp.66-77, 2003.
    L.Q. Pan, A. Alhazov, "Solving HPP and SAT by P systems with active membranes and separation rules", Acta Informatica, Vol.43, No.2, pp.131-145, 2006.
    C. Lu, X.L. Shi, "Uniform solution to QSAT by P systems with proteins", Chinese Journal of Electronics, Vol.21, No.4, pp.667-672, 2012.
    C. Martin-Vide, J. Pazos, Gh. Păn, A. Rodriguez-Paton, "Tissue P systems", Theoretical Computer Science, Vol.296, No.2, pp.295-326, 2003.
    X. Zhang, S. Wang, Y. Niu, L. Pan, "Tissue P systems with cell separation: Attacking the partition problem", Science China Information Sciences, Vol.54, No.2, pp.293-304, 2011.
    M. Ionescu, Gh. Păn, T. Yokomori, "Spiking neural P systems", Fundamenta Informaticae, Vol.71, No.2-3, pp.279-308, 2006.
    J.K. Jiang, X.L. Shi, "Degree of spiking neural P systems without delay", Chinese Journal of Electronics, Vol.21, No.3, pp.419-424, 2012.
    X.X. Zeng, T. Song, X.Y. Zhang, L.Q. Pan, "Performing four arithmetic operations with spiking neural P systems", IEEE Transaction on NanoBioscience, Vol.11, No.4, pp.366-374, 2012.
    X.Y Zhang, X.X. Zeng, B. Luo, J.B. Xu, "Several applications of spiking neural P systems with weights", Journal of Computational and Theoretical Nanoscience, Vol.9, No.6, pp.769-777, 2012.
    Gh. Păn, G. Rozenberg, A. Salomaa (Eds.), Handbook of Membrane Computing, Oxford University Press, 2010.
    P. Guo, H.Z Chen, H. Zheng, "Arithmetic expression evaluations with membranes", Chinese Journal of Electronics, Vol.23, No.1, pp.55-60, 2014.
    P. Guo, H. Zhang, H.Z Chen, J.X. Chen, "Fraction arithmetic operations performed by P systems", Chinese Journal of Electronics, Vol.22, No.4, pp.689-694, 2013.
    The P Systems Website. http://ppage.psystems.eu, 2013-01.
    P. Guo, H.Y. Zhang, "Arithmetic operation in single membrane", Proc. of International Conference on Computer Science and Software Engineering, Wuhan, Hubei, China, pp.532-535, 2008.
    P. Guo, S.J. Liu, "Arithmetic expression evaluation in membrane computing with priority", Advanced Materials Research, Vol.225-226, pp.1115-119, 2011.
    Gh. Păn, "Computing with membranes:Attacking NP-complete problems", Proc. of International Conference on Unconventional Models of Computation, Solvay Institutes, Brussels, Belgium, pp.94-115,2000.
    M.A. Gutiérrez-Naranjo, M.J. Pérez-Jiménez, F.J. Romero-Campero. "A uniform solution to SAT using membrane creation", Theoretical Computer Science, Vol.371, No.1-2, pp.54-61, 2007.
    Gh. Păn, M.J. Pérez-Jiménez, A. Riscos-Núñez, "Tissue P systems with cell division", International Journal of Computers, Communications & Control, Vol.3, No.3, pp.295-303, 2008.
    A. Fathey, A. Badr, I. Farag, "A P System simulator for logic gates", International Journal of Computer Theory and Engineering, Vol.4, No.1, pp.98-102, 2012.
  • 加载中

Catalog

    通讯作者: 陈斌, bchen63@163.com
    • 1. 

      沈阳化工大学材料科学与工程学院 沈阳 110142

    1. 本站搜索
    2. 百度学术搜索
    3. 万方数据库搜索
    4. CNKI搜索

    Article Metrics

    Article views (263) PDF downloads(1083) Cited by()
    Proportional views
    Related

    /

    DownLoad:  Full-Size Img  PowerPoint
    Return
    Return