周一至周日 8:00-22:30(免远程费):
学术咨询:400-888-7501 订阅咨询:400-888-7502
征稿授权 运营授权
当时方位:中文期刊网 > 论文材料 > 社会科学 > 网络工程论文 > 正文
网络工程论文( 共有论文材料 42 篇 )
引荐期刊
抢手杂志

根据脉冲神经膜系统仿真研讨探析

2013-04-27 17:00 来历:网络工程论文 人参加在线咨询

本文首要内容正是根据M.A.GutierrezNaranjo和D.RamirezMartinez开发的Snps-GUI_v1.1来完结脉冲神经膜系统核算模型方法化验证的仿真并经过剖析主动生成的格式(组态)搬运图,找寻搬运图与脉冲神经膜系统之间的相关性并总结出一般性定论,达到了经过核算机辅佐验证脉冲神经膜系统正确性与完整性的意图.定论显现,搬运图能有用处理脉冲神经膜系统方法化验证困难的问题,是方法化验证的有用办法之一,也能协助咱们正确了解脉冲神经膜系统的核算进程,进一步规划及改善系统,然后减轻了深重的脑力核算;而SnpsGUI_v1.1仿真软件能主动生成系统格式搬运图,使咱们摆脱了繁琐的手艺制作,是研讨人员有力的辅佐东西.本文内容组织如下:第2节介绍了脉冲神经膜系统的界说及相关概念;第3节别离完结了一个发生无限数集和一个发生言语的脉冲神经膜系统的方法化验证的仿真,剖析了搬运图与核算模型之间的联系并概括出3个一般性定论;较后总结了本文的首要定论,对其它更有用的方法化验证办法提出了展望,并对SnpsGUI_v1.1仿真软件进行了评述,提出了改善方向.

脉冲神经膜系统的界说及相关概念

一个度数为m(m≥1)的脉冲神经膜系统方法化界说[8]如下:∏=(O,σ1,σ2,…,σm,syn,in,out),其间:1)O={a}为一个单字母调集,a表明单脉冲;2)σ1,σ2,…,σm表明系统∏中包含有m个形如σi=(ni,Ri),1≤i≤m的神经元,其间:(1)ni≥0表明神经元σi在初始状况时包含的脉冲个数,(2)Ri表明神经元σi中的一切规矩的有限调集,规矩的方法有如下两种:①E/ac→ap;d,E为a的正则表达式,其间c≥1,d≥0,p≥1,且c≥p;②E'/as→λ,E'为a的正则表达式,s≥1,且关于规矩Ri中方法为①的每条规矩E/ac→ap;d,满意L(E)∩L(E')=?;3)syn?{1,2,…,m}×{1,2,…,m}表明一切神经元之间的衔接联系,对恣意1≤i≤m,有(i,i)?syn;4)in,out∈{1,2,…,m}别离表明输入神经元和输出神经元.方法①、②的规矩别离称为广义激起、广义忘记规矩.若①型规矩满意p=1、②型规矩满意E=as,则别离称为规范激起规矩和规范忘记规矩.激起规矩E/ac→ap;d满意E=ac时,则把它写为ac→ap;d;一起若满意d=0,则进一步简写为E/ac→ap.类似地,忘记规矩E'/as→λ满意E'=as时,则能够简写为as→λ.激起规矩的运用:在某一时间,若神经元σi中包含k个脉冲,且aK∈L(E)及k≥c,则神经元σi能够运用激起规矩E/ac→ap;d.当运用此规矩后,神经元σi将耗费c个脉冲;一起,经过d个单位时间后将发生p个新脉冲,且当即向与之下连的一切相邻神经元别离发送p个脉冲.在运用该规矩到发送新脉冲的d个单位时间内,该神经元处于封闭状况.假定神经元σi在第t步运用了激起规矩E/ac→ap;d,d≥1,则此神经元在第t步到第t+d-1步是封闭的.当一个神经元处于封闭状况时,则其间的任何规矩都不能运用且不能接纳新脉冲;只需状况变为敞开后,才能够运用规矩和接纳新脉冲.忘记规矩的运用:在某一时间,若神经元σi包含了k'个脉冲,且满意ak'∈L(E')和k'≥S,则神经元σi运用忘记规矩E''as→λ,即耗费掉s个脉冲,且不发生新脉冲.在一个神经元中或许存在多条激起规矩一起满意的景象,如存在两条激起规矩E1/ac1→ap1;d1和E2/ac2→ap2;d2满意条件L(E1)∩L(E2)≠?.某时间若呈现这种神经元σi中有多条激起规矩能够运用时,此神经元能且只能随机地挑选其间一条规矩运用,这便是规矩运用的不确认性.上述的脉冲神经膜系统∏在某时间的格式界说为CK=(r1/t1,r2/t2,…,rm/tm),1≤i≤m,其间ri表明神经元σi在此时间包含的脉冲个数,ti表明神经元σi由封闭状况转变为敞开状况需求的步数.系统∏的初始格式能够表明为C0=(r1/0,r2/0,…,rm/0),格式C1到格式C2的搬运表明为C1?C2.恣意由初始格式开端的一系列的格式搬运被称之为系统∏的一个核算,系统中的一切神经元都处于敞开状况,但无规矩可用的格式称为中止格式,能抵达中止格式的核算称为可中止的核算.

脉冲神经膜系统方法化验证仿真与剖析

1.脉冲神经膜系统方法化验证仿真完结导言中说到的SnpsGUI_v1.1软件是迄今仅有的一款根据脉冲神经膜系统的仿真东西,它能承受脉冲神经膜系统的描绘并主动逐渐输出系统的格式搬运图.该软件具有模块化、灵活性、界面友爱等特色,适用于研讨人员了解脉冲神经膜系统的核算进程,方法化验证脉冲神经膜系统的正确性和完整性,进一步规划及改善系统.SnpsGUI_v1.1首要集成了3个模块:1)图形用户接口(GUI)模块,是根据XBase++渠道开发,为用户供给简练友爱的试验和仿真界面;2)推理东西模块,是根据SWI-Prolog技能开发,该模块完结系统模型的初始装备、衔接和规矩,并以文本方法生成相应的搬运图;3)图形化规划东西模块,它完结了供给给用户友爱的规划界面,如方便地添加、删去神经元节点、衔接箭头线以及各种规矩.下面咱们运用SnpsGUI_v1.1仿真软件来完结一个发生数集的脉冲神经膜系统方法化验证的仿真,然后取得系统的格式搬运图.一个如图1所示的脉冲神经膜系统∏,暂时假定咱们不知道该系统详细功用,经过SnpsGUI_v1.1软件的仿真取得的系统格式搬运图,看是否能确认其功用并验证其正确性和完整性?首要要给仿真器供给数据输入.因为图中有未知数r和n,而仿真必须有确认数意图神经元,咱们先假定r=2,n=4,则神经元个数为9(包含环境ENV),神经元标签别离规定为1=1、2=2、3=3、4=4、d1=5、d2=6、out=7、0=8、ENV=9.图2便是该脉冲神经膜系统∏的输入文件,输入文件包含rule(规矩)、synapses(衔接联系)和initial(初始格式值)三项内容,关于它们的释义详见文献[7].

经过履行输入文件,仿真软件主动生成9个PS文件和9个JPG图片,别离对应9步核算进程的格式搬运图,图3为第9步的搬运图,阐明该系统在第9步后搬运图再无新的格式发生.3.2搬运图剖析下面临这9步搬运图进行剖析.由第1步搬运图可知,标签为9的ENV神经元(环境)接纳到一个脉冲,由第7步搬运图可知,ENV再次接纳到一个脉冲,阐明该脉冲神经膜系统∏是一个数的发生设备,且数字6必是其数会集的元素(第7步与第1步的步数距离为6);剖析第6步搬运图,发现发生一个二重分支,这是因为标签为8的神经元存在两条不确认性的激起规矩所造成的,盯梢到第9步搬运图,二重分支较终形成了两个闭环,左面闭环正是挑选了第2条激起规矩(a→a;1)的途径,右边闭环则对应了第1条激起规矩(a→a;0)的途径,而只要挑选右边闭环才会稀有发生(ENV接纳到脉冲),因为闭环存在,且图中无中止格式,阐明该系统∏是一个不中止系统,便是发生无限数集的设备;再仔细剖析两个闭环可知,左面的闭环有4步,右边的闭环有6步,意味着每多挑选一次左面闭环途径,发生的数的数值必定添加4,左面闭环途径的长度为4i;i≥1,i表明发生某个数时接连挑选第2条激起规矩(a→a;1)的次数.因为挑选右边的闭环途径会发生数的输出,所以挑选右边闭环的次数便是发生数的个数,而右边闭环途径长度为6,因而可推导出该系统∏是一个发生{2+4i;i≥1}数集的设备.两个闭环在这里可了解为一个两层嵌套循环,左面闭环代表内循环(循环变量为大于等于0的不确认值),右边闭环代表外循环(循环变量为无穷大);以上是在假定r=2,n=4的状况下推导出系统∏是一个发生{2+4i;i≥1}数集的设备.

在线咨询
引荐期刊阅览悉数
.