10.3969/j.issn.1000-1220.2013.01.030
脉冲神经膜系统形式化验证仿真与分析
脉冲神经膜系统的形式化验证通常很复杂,目前还没有一种通用的方法.本文基于SnpsGUI仿真软件,例证了两个脉冲神经膜系统的形式化验证过程,重点分析并揭示了格局转移图和脉冲神经膜系统之间的内在联系,并总结出了3个一般性结论,达到了通过计算机辅助验证脉冲神经膜系统正确性与完整性的目的.结论显示,格局转移图是一种解决脉冲神经膜系统形式化验证的有效方法,SnpsGUI是脉冲神经膜系统形式化验证的有力辅助工具.同时,对基于脉冲神经膜系统更有效的形式化验证方法提出了展望,对SnpsGUI仿真软件进行了评述,提出了改进方向.
膜计算、脉冲神经膜系统、形式化验证、仿真、分析
34
TP301(计算技术、计算机技术)
国家自然科学基金项目90818004
2013-05-13(万方平台首次上网日期,不代表论文的发表时间)
共5页
163-167