论文部分内容阅读
脉冲神经膜系统的形式化验证通常很复杂,目前还没有一种通用的方法.本文基于SnpsGUI仿真软件,例证了两个脉冲神经膜系统的形式化验证过程,重点分析并揭示了格局转移图和脉冲神经膜系统之间的内在联系,并总结出了3个一般性结论,达到了通过计算机辅助验证脉冲神经膜系统正确性与完整性的目的.结论显示,格局转移图是一种解决脉冲神经膜系统形式化验证的有效方法,SnpsGUI是脉冲神经膜系统形式化验证的有力辅助工具.同时,对基于脉冲神经膜系统更有效的形式化验证方法提出了展望,对SnpsGUI仿真软件进行了评述,提出了改进方向.
The formal verification of pulse neural membrane system is usually complicated and there is not a common method at present.This paper based on SnpsGUI simulation software, illustrates the formal verification process of two pulse neural membrane systems, and analyzes and reveals the pattern transfer diagram and Pulse neural membrane system, and concluded three general conclusions, to achieve the purpose of verifying the correctness and integrity of the pulse neural membrane system by computer-aided.Conclusion shows that the pattern transfer map is a solution to the problem of pulse nerve SnpsGUI is a powerful tool for the formal verification of pulsed neural membrane system.At the same time, the prospect of a more effective formal verification method based on pulsed neural membrane system is put forward, the SnpsGUI simulation software is reviewed, Put forward the direction of improvement.