- idUS
- Browsing by Author
Browsing by Author "Rong, Haina"
Now showing items 1-8 of 8
-
Article
A complete arithmetic calculator constructed from spiking neural P systems and its application to information fusion
Zhang, Gexiang; Rong, Haina; Paul, Prithwineel; He, Yangyang; Neri, Ferrante; Pérez Jiménez, Mario de Jesús (World Scientific, 2021)Several variants of spiking neural P systems (SNPS) have been presented in the literature to perform arith- 1 metic ...
-
Article
A Review of Membrane Computing Models for Complex Ecosystems and a Case Study on a Complex Giant Panda System
Duan, Yingying; Rong, Haina; Qi, Dunwu; Valencia Cabrera, Luis; Zhang, Gexiang; Pérez Jiménez, Mario de Jesús (Hindawi, 2020)Ecosystem modelling based on membrane computing is emerging as a powerful way to study the dynamics of (real) ...
-
Presentation
A review of membrane computing models for ecosystems and a case study on giant pandas
Duan, Yingying; Zhang, Gexiang; Qi, Dunwu; Valencia Cabrera, Luis; Rong, Haina; Pérez Jiménez, Mario de Jesús (IMCS: International Membrane Computing Society, 2019)Ecosystem modeling based on membrane computing is emerging as a powerful way to study the dynamic of (real) ecological ...
-
Article
An optimization Spiking Neural P system for approximately solving combinatorial optimization problems
Zhang, Gexiang; Rong, Haina; Neri, Ferrante; Pérez Jiménez, Mario de Jesús (World Scientific, 2014)Membrane systems (also called P systems) refer to the computing models abstracted from the structure and the functioning ...
-
Article
Application of Fuzzy Reasoning Spiking Neural P Systems to Fault Diagnosis
Wang, Tao; Zhang, Gexiang; Rong, Haina; Pérez Jiménez, Mario de Jesús (Agora University of Oradea, Romania, 2014)This paper discusses the application of fuzzy reasoning spiking neural P systems with trapezoidal fuzzy numbers (tFRSN P ...
-
Article
Automatic Design of Deterministic and Non-Halting Membrane Systems by Tuning Syntactical Ingredients
Zhang, Gexiang; Rong, Haina; Ou, Zhu; Pérez Jiménez, Mario de Jesús; Gheorghe, Marian (IEEE Computer Society, 2014)To solve the programmability issue of membrane computing models, the automatic design of membrane systems is a newly ...
-
Presentation
P Systems based Computing Polynomials with Integer Coefficients: Design and Formal Verification
Zhang, Gexiang; Zhu, Ming; Yang, Qiang; Rong, Haina; Yuan, Weitao; Pérez Jiménez, Mario de Jesús (Xihua University, 2017)Automatic design of membrane computing models is an im- portant and useful research topic in the area of membrane ...
-
Article
P Systems-Based Computing Polynomials With Integer Coefficients: Design and Formal Verification
Zhu, Ming; Zhang, Gexiang; Yang, Qiang; Rong, Haina; Yuan, Weitao; Pérez Jiménez, Mario de Jesús (IEEE Computer Society, 2018)Automatic design of mechanical procedures solving abstract problems is a relevant scientific challenge. In particular, ...