小型微型计算机系统
小型微型計算機繫統
소형미형계산궤계통
MINI-MICRO SYSTEMS
2013年
1期
163-167
,共5页
膜计算%脉冲神经膜系统%形式化验证%仿真%分析
膜計算%脈遲神經膜繫統%形式化驗證%倣真%分析
막계산%맥충신경막계통%형식화험증%방진%분석
脉冲神经膜系统的形式化验证通常很复杂,目前还没有一种通用的方法.本文基于SnpsGUI仿真软件,例证了两个脉冲神经膜系统的形式化验证过程,重点分析并揭示了格局转移图和脉冲神经膜系统之间的内在联系,并总结出了3个一般性结论,达到了通过计算机辅助验证脉冲神经膜系统正确性与完整性的目的.结论显示,格局转移图是一种解决脉冲神经膜系统形式化验证的有效方法,SnpsGUI是脉冲神经膜系统形式化验证的有力辅助工具.同时,对基于脉冲神经膜系统更有效的形式化验证方法提出了展望,对SnpsGUI仿真软件进行了评述,提出了改进方向.
脈遲神經膜繫統的形式化驗證通常很複雜,目前還沒有一種通用的方法.本文基于SnpsGUI倣真軟件,例證瞭兩箇脈遲神經膜繫統的形式化驗證過程,重點分析併揭示瞭格跼轉移圖和脈遲神經膜繫統之間的內在聯繫,併總結齣瞭3箇一般性結論,達到瞭通過計算機輔助驗證脈遲神經膜繫統正確性與完整性的目的.結論顯示,格跼轉移圖是一種解決脈遲神經膜繫統形式化驗證的有效方法,SnpsGUI是脈遲神經膜繫統形式化驗證的有力輔助工具.同時,對基于脈遲神經膜繫統更有效的形式化驗證方法提齣瞭展望,對SnpsGUI倣真軟件進行瞭評述,提齣瞭改進方嚮.
맥충신경막계통적형식화험증통상흔복잡,목전환몰유일충통용적방법.본문기우SnpsGUI방진연건,예증료량개맥충신경막계통적형식화험증과정,중점분석병게시료격국전이도화맥충신경막계통지간적내재련계,병총결출료3개일반성결론,체도료통과계산궤보조험증맥충신경막계통정학성여완정성적목적.결론현시,격국전이도시일충해결맥충신경막계통형식화험증적유효방법,SnpsGUI시맥충신경막계통형식화험증적유력보조공구.동시,대기우맥충신경막계통경유효적형식화험증방법제출료전망,대SnpsGUI방진연건진행료평술,제출료개진방향.
