关闭

关闭

封号提示

内容

首页 基于Petri网下递归关系的自控网模型.doc

基于Petri网下递归关系的自控网模型.doc

基于Petri网下递归关系的自控网模型.doc

上传者: 真傻傻子 2017-11-11 评分 5 0 184 25 836 暂无简介 简介 举报

简介:本文档为《基于Petri网下递归关系的自控网模型doc》,可适用于高等教育领域,主题内容包含基于Petri网下递归关系的自控网模型第卷第期VINo西华大学自然科学版JournalofXihuaUniversityNaturalScience符等。

基于Petri网下递归关系的自控网模型第卷第期VINo西华大学自然科学版JournalofXihuaUniversityNaturalScience年月Sep文章编号:X()基于Petri网下递归关系的自控网模型杨松,宋文,卢朝辉(西华大学数学与计算机学院,四川成都河北理工大学自动化学院,河北唐山)摘要:自控网系统是Petri网系统的一个子类,与PI”系统以及基本网系统相比较,具有更强的描述能力和建模能力本文运用自控网系统定义了加,减,乘,除四种基本运算以及个算子的自控网模型,通过逐级抽象建立了直接递归的自控网模型这种分层逐级抽象的方法体现了利用Petri网形式化软件开发的基本思想关键词:Petri网自控网系统建模递归关系中图分类号:TP文献标识码:A引言自控网系统(cybernetsystem)J称自修正系统(selfmodifyingsystem),简称自控系统北京大学袁崇义教授对自控系统进行了深入的研究,提出了自控系统的S不变量和T一不变量的定义及其计算,文献提出了自控网系统的仿真分析与硬件实现程序正确性证明是一个重要的研究方向年兰丁(PJLandin)发表”表达式的机械化求值”一文起,计算科学家陆续发展了若干种语义描述方法,并形成了形式语义学研究方向之后Floyd提出了用断言方式证明程序的正确性年,Hoare在Fbyd的基础上,定义了一个小语言和一个逻辑系统此逻辑系统还有程序公理和推导规则,目的在于证明程序的部分正确性上世纪年代初,公理学语义的研究引起了不少人的兴趣年Manna把部分正确性证明和终止性证明归于一体年Dijkstra提出了最弱前置谓词和谓词转换器的概念年Gries综合了以谓词演算为基础的证明系统J随着计算机步入网络时代,程序设计方法学也从串行过度到并行在算法设计中,大量问题的求解算法是以递归形式呈现的,对于递归程序的正确性证明winHHesselink在年给出了一般递归的前置谓词的语义,利用泛函中的不动点理论,给出了递归的正确性证明此后也不时可见用不同方法处理这一问题的文章出现在文献中,作者提出了用增广Petri网解决了计算一类递归方程的模型,但没有形成一种建立模型的方法,且只能解决一类递归方程的模型,本文基于这点提出了一种利用自控网系统建立直接递归模型的一种方法相关概念根据文献,有如下概念定义()如果Petri网N=Ny是Petri网N关于库所边界集合或者变迁边界集合的一个简单抽象,那么网N称为网N的一个简单细化如果集合PUT存在子集{y,y,…,},而且这些子集之间是两两互不相交的,并且它们要么是库所边界集合要么是变迁边界集合,那么N:(…(Ny)y)…)称为N的抽象,同时N成为N的细化,可以表示为N:Ny,y,…,()当且仅当满足下列条件时,抽象N=Ny,y,…,称为N的严格抽象每一个要么是一个库所集合,例如Yi要么是一个变迁集合,例如,YiT在一个严格的抽象中,如果是前者,那么将由一个新的库所尸y替代同样,如果是后者,那么将由一个新的变迁ty替代相应地,N称为N的一个严格细化定义对于标识M,当且仅当t是M收稿日期:基金项目:l~Jll省科技厅应用基础课题(No)作者简介:杨松(一),男,四川巴中人,硕士研究生,主要研究方向:Petri网理论及应用网模型,按序列盯一={tl,t}t发生后的后继标识为M=(,,BC),即S中token的个数为BC个()乘法模型图(c)为乘法运算的自控网模型,按序列盯=tlM(“t发生后的后继标识为M=(,,BXC),即S中token的个数为BXC个()除法模型图(d)为除法运算的自控网模型,按序列盯=tlM(q)(z){t,t}发生后的后继标识为M=(,,BrnodC,BC),即S中token的个数为BrnodC个(为余数),S中token的个数为BrnodC个在模型中,采用了黑洞技术来消解那些已经执行完任务的token例如,在图(b)的实现部分中,用t把s中已经执行完任务后的token消解,以利于系统的下一次运行为了简化模型,采用抽象的方法可把图模型图抽象后的加,减,乘,除的模型这里,分别把抽象后的加,减,乘,除法模型称为加,减,乘,除法器这四种模型也可据文献的方法,通过EDA软件工具,采用硬件描述语言对系统的行为或逻辑功能进行描述,经编译,仿真,优化,适配并通过电缆下载到芯片中,从而获得满足功能要求的芯片算子P=abcde的网模型在对于P=abcde,用,网建立的模型如图所示图P=abCde的模型通过输入在S,S,S,S,S分别放人a,b,f,d,e个token,该系统的初始标识M=(a,b,C,d,e,,,,),按序列盯={t,t}tt发生后的后继标识为,即s中,en的个数为abcde个这说明该模型能计算P=abcde的值引入算子P=abcde,并建立模型的目的是便于建立递归模型算子P=b”的Petri网模型算子P=b”可分解为P=bXbX…Xb,用n来控制乘法器执行的次数模型如图所示通过输入在s,s中分别放人b,n一个token,该系统的初始标识Mo=(b,n一,,,,),t【s,)发生对S做了个副本:s,s,s中的token个数均是b个(如图虚线框所示)按序列o=tM(s),(tzt)tzt发生后的后继标识为M=(,,,,,bn),即S中token的个数为b”个引入算子P=b”并建立模型的目的是便于建立蘩一霪一西华大学自然科学版矩递归模型图P:bn的自控网模型直接递归关系的自控网模型由于自控网系统动态演变可以用T上的多重集并发一步一步演变得到而递归关系的计算也是一种动态演变也就是说,递归关系也可以通过T上的多重集并发一步一步演变得到结果设数列{Fn}满足:fFn:aF一CFn一e,n弋Fo:d,F:b其中,a,b,e,d,e是正整数,且为常数这是一个直接该递归关系,递归的模型可以通过算子P=abede,P=bn的模型得到在建立该递归模型之前,先把P=abede的模型抽象为如图所示模型,便于简化最后的模型图由图抽象后的模型递归模型如图所示:图上述直接递归关系的自控网模型注意:图中的库所中的P=abede数字不是它的token数,是该库所的标号模型开始时,通过输入信号对S,s,ss,s,s,S中分别放上a,b,e,d,e,n一个token)当n为偶数时,模型按序列=tlM(S~)tM(StM(stM(s)tM(s(tttttttt)(n)ttltttt发生,其中d=tlM(s】tM(StM(stM(stM(s是对S,s,s,s,s分别作个副本,以便模型循环调用cF=(tttttttt)(n)t是计算递归值=tltttt是利用黑洞技术对已执行完任务的token进行消解,以便系统的下一次运行)当n为奇数时,模型按序列d=ts】t(S)„ssstttt(tttttttt)”一)ttltttt发生与)比较,d和cF都是完全一样的,只是与cF略有不同:tttt(tttttttt)(n)t是计算递归值的发生序列可以看出,计算的实现关键在于~I和c|根据递归原理:如果问题的描述涉及规模规模发生变化后,问题的性质不发生变化问题的解决有出口满足,,的要求的问题,可用递归求解图的模型完全可以实现该递归计算结论本文运用自控网系统定义了加,减,乘,除四种基本运算的自控网模型,利用它们能很好的建立递归关系的自控网模型与文献所建立的模型相比,运用自控网建立了递归模型,经过逐级抽象,每一级所建立的模型层次感强,便于分析,同时这种分级分析方法也是利用Petri网进行形式化软件开发的一种很好的方法文献正是将Petri网的形式化方法用于实时数据交换的分析中,并取得了较好的结果本文的创新点在于合理的运用自控网建立了较为完整的,准确的递归模型运用Petri网的抽象和细化技术对自控网进行逐级抽象,每一级所建立的模型层次感强,便于分析,这于Petri网的精细化过程不谋而合同时利用这种分级分析技术也为自控网系统进行形式化软件开发奠定了良好的基础参考文献袁崇义Petri网原理与应用M北京:电子工业出版社,oEYuanChongyiSandTInvariantsinCyberNetSystemJ计算机(英文版),,():第期杨松等:基于Petri网下递归关系的自控网模型陆继远,唐平,赵不贿自控网系统的仿真分析与硬件实现的研究J微计算机应用,,():陈火旺,等程序设计方法学基础M长沙:湖南科学技术出版社崔焕庆,吴哲辉,张广胜计算一类递归方程的增广Petri网模型J系统仿真,,(),增刊:WolfgangReisigPetriNetsMSpringerVeflagBerlinHeideberg,ClaudeGirault,RudigerValkPe试NetsforSystemsEngineeringAGuideModeling,Verification,andApplicationgsM北京:电子工业出版社,叶剑虹,宋文,孟永刚基于Petri网的哲学家就餐问题的模拟与验证J系统仿真,,,增刊:ZhangWeiminAbnormityControlDesignandPerformanceAnalysisofRealtimeDataExchangeSoftwareBasedonPetrinetJ微计算机信息,,(S):(编校:张安林)(上接页)S由于此空间的蓄烟能力相对较差,在机械排烟下烟气层到达危险高度的时间为S虽然烟气层尚未达到危险高度时,人员不会有危险,但是烟气层高度过低会导致人群的恐慌,从而会延长人员疏散的时间办票大厅中旅客一般不会逗留,并且其中可燃物仅限于旅客携带的行李,因此可以通过严格的安全管理降低火灾危险性最大人员荷载情况下的人员疏散运动时间为S,考虑报警和响应时间,最终的安全疏散时间为S,比其它空间更早安全疏散,因此办票大厅的人员可以安全疏散夹层蓄烟能力较差,但只是到离港旅客的通道,旅客不会在本区域作停留,所以只要加强本区的管理,同样能保证紧急情况下人员的正常疏散疏散运动时间最长为迎宾厅和行李提取大厅,其中行李提取大厅的疏散运动时间为S,考虑保险系数及报警和人员反应时间,最终的人员疏散完毕的时间为S,在机械排烟下烟气层到达危险高度的时间约为S因此只要保证迎宾大厅各出口的顺利畅通,将能保证全部人员的安全疏散迎宾大厅的疏散运动时间为S,同理考虑报警和人员反应时间后,最终的人员疏散完毕的时间为S迎宾大厅发生火灾的可能性很小,即使发生火灾,火灾荷载也会很小,所以此空间内的人员能安全疏散参考文献姚斌,刘乃安,李元州论性能化防火分析中的安全疏散时间判据J火灾科学,,():元延军火灾安全性能化评估方法在机场航站楼消防设计中的应用D,中国科学技术大学硕士学位论文,东京消防厅火灾预防审议会建筑物防灾特性汇应匕允防火安全性总合评价z平成年月方正,等试论建筑物人员疏散的量化研究J武汉大学(工学版),,():李引擎,等建筑防火性能化设计M北京:化学工业出版社消防安全工作组译文汇编,年第号,国外建筑火灾人员安全疏散研究译文集C,北京:(编校:李晓丽)

类似资料

该用户的其他资料

哈密双块式轨枕内控标准10.25.doc.doc

2012年春期成本会计练习-西南科技大学继续教育德阳学习中心.doc

刘向《汉书》的校书活动.doc

[大智慧]非常实用的选股指标代码大全(共125个).doc

论英文报刊标题中暗喻的翻译策略.doc

职业精品

精彩专题

上传我的资料

精选资料

热门资料排行换一换

  • __新知文库 70 超现实主义.…

  • 文史知识 第195期(1997年…

  • 408大家小书《野人献曝》沉从文…

  • 2011年考研英语(一)词汇考试…

  • __新知文库 75 普罗米修斯之…

  • __新知文库 71 基督人生观.…

  • 第5卷:印度历史与文化.pdf

  • __新知文库 78 雅典娜神殿断…

  • __新知文库 92 当代法国哲学…

  • 资料评价:

    / 11
    所需积分:0 立即下载

    意见
    反馈

    返回
    顶部