摘要
脉冲神经膜系统的形式化验证通常很复杂,目前还没有一种通用的方法.本文基于SnpsGUI仿真软件,例证了两个脉冲神经膜系统的形式化验证过程,重点分析并揭示了格局转移图和脉冲神经膜系统之间的内在联系,并总结出了3个一般性结论,达到了通过计算机辅助验证脉冲神经膜系统正确性与完整性的目的.结论显示,格局转移图是一种解决脉冲神经膜系统形式化验证的有效方法,SnpsGUI是脉冲神经膜系统形式化验证的有力辅助工具.同时,对基于脉冲神经膜系统更有效的形式化验证方法提出了展望,对SnpsGUI仿真软件进行了评述,提出了改进方向.
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 means of two examples and deduce three general conclusions between spiking neural P systems and transition diagrams.This allows us to verify the correctness and completeness of SN P systems models aided by computers.conclusions show the transition diagram is an efficient methodology to realize the formal verification of a spiking neural P system and SnpsGUI can be considered as an assistant for the formal verification of such computational devices.Meanwhile,Prospect of other more effective formal verification methods of spiking neural P systems and improvement direction of SnpsGUI was proposed.
出处
《小型微型计算机系统》
CSCD
北大核心
2013年第1期163-167,共5页
Journal of Chinese Computer Systems
基金
国家自然科学基金项目(90818004)资助
关键词
膜计算
脉冲神经膜系统
形式化验证
仿真
分析
membrane computing
spiking neural P systems
formal verification
simulation
analysis
