@article {1911, title = {Computational efficiency of P systems with symport/antiport rules and membrane separation}, journal = {Thirteenth Brainstorming Week on Membrane Computing}, volume = {1}, year = {2015}, month = {02/2015}, pages = {325-370}, publisher = {F{\'e}nix Editora}, address = {Sevilla, Espa{\~n}a}, abstract = {Spiking neural P systems (SN P systems) have been well established as a novel class of distributed parallel computing models. Some features that SN P systems possess are attractive to fault diagnosis. However, handling fuzzy diagnosis knowledge and reasoning is required for many fault diagnosis applications. The lack of ability is a major problem of existing SN P systems when applying them to the fault diagnosis domain. Thus, we extend SN P systems by introducing some new ingredients (such as three types of neurons, fuzzy logic and new firing mechanism) and propose the fuzzy reasoning spiking neural P systems (FRSN P systems). The FRSN P systems are particularly suitable to model fuzzy production rules in a fuzzy diagnosis knowledge base and their reasoning process. Moreover, a parallel fuzzy reasoning algorithm based on FRSN P systems is developed according to neuron{\textquoteright}s dynamic firing mechanism. Besides, a practical example of transformer fault diagnosis is used to demonstrate the feasibility and effectiveness of the proposed FRSN P systems in fault diagnosis problem.}, url = {http://www.cs.us.es/~marper/investigacion/proceedings-13th-BWMC.pdf}, author = {Luis Valencia-Cabrera and Bosheng Song and Luis F. Mac{\'\i}as-Ramos and Linqiang Pan and Agust{\'\i}n Riscos-N{\'u}{\~n}ez and Mario J. P{\'e}rez-Jim{\'e}nez} }