脉冲神经膜系统形式化验证仿真与分析

摘要：

脉冲神经膜系统的形式化验证通常很复杂,目前还没有一种通用的方法.本文基于SnpsGUI仿真软件,例证了两个脉冲神经膜系统的形式化验证过程,重点分析并揭示了格局转移图和脉冲神经膜系统之间的内在联系,并总结出了3个一般性结论,达到了通过计算机辅助验证脉冲神经膜系统正确性与完整性的目的.结论显示,格局转移图是一种解决脉冲神经膜系统形式化验证的有效方法,SnpsGUI是脉冲神经膜系统形式化验证的有力辅助工具.同时,对基于脉冲神经膜系统更有效的形式化验证方法提出了展望,对SnpsGUI仿真软件进行了评述,提出了改进方向.

关键词：膜计算、脉冲神经膜系统、形式化验证、仿真、分析

所属期刊栏目：34

分类号：TP301(计算技术、计算机技术)

资助基金：国家自然科学基金项目90818004

在线出版日期：2013-05-13（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：163-167