Simulation and Analysis for Formal Verification of Spiking Neural P Systems

Journal of Chinese Computer Systems, pp. 165-169, 2013.

Cited by: 1|Views4

Abstract:

The formal verification of a spiking neural P system designed for solving a given problem is usually a complex task.At present,there does not exist a general methodology for verifying SN P systems.This paper illustrated and analysed the two transition diagrams associated with two SN P systems generated by SnpsGUI software simulator by mea...More

Code:

Data:

ZH脉冲神经膜系统形式化验证仿真与分析
Get fulltext within 24h
Bibtex
Upload PDF

1.Your uploaded documents will be check within 24h, and coins will be credited to your account.

2.As the current system does not support cash withdrawal, you can add staff WeChat (AMxiaomai) to receive it as a red packet.

3.10 coins will be exchanged for 1 yuan.

?

Upload a single paper

for 5 coins

Wechat's Red Packet
?

Upload 50 articles

for 250 coins

Wechat's Red Packet
?

Upload 200 articles

for 1000 coins

Wechat's Red Packet
?

Upload 500 articles

for 2500 coins

Wechat's Red Packet
?

Upload 1000 articles

for 5000 coins

Wechat's Red Packet
Your rating :
0

 

Tags
Comments