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

• 作者: 刘建勋 彭献武 樊晓平
• 来源期刊: 小型微型计算机系统
• 学科: 工学
• 关键词: 膜计算 脉冲神经膜系统 形式化验证 仿真 分析
• 年，卷（期）: 2013,（1）
• 所属期刊栏目: 计算机网络与算法研究
• 页码范围: 163-167
• 页数: 5页
• 分类号: TP301
• 字数: 5558字
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	樊晓平	中南大学信息科学与工程学院	236	3229	28.0	45.0
5	刘建勋	湖南科技大学知识处理与网络化制造实验室	106	714	13.0	22.0
6	彭献武	中南大学信息科学与工程学院	9	19	2.0	3.0