《Petri网的功能》由会员分享，可在线阅读，更多相关《Petri网的功能（32页珍藏版）》请在金锄头文库上搜索。
1、长沙理工大学硕士学位论文基于时间Petri网的并行测试研究姓名：肖良清申请学位级别：硕士专业：计算机软件与理论指导教师：乐晓波20100301摘并行测试技术是ATS(Auto要TestSystem)在进一步降低测试的时间、削减测试的成本的趋势下新兴的一项技术，它正以不可比拟的优势成为下代ATS发展的热点。在运用并行测试技术时，要求分析系统执行过程中可能产生的冲突和竞争情况，特别是如何生成并行测试序列一直是一个复杂的、难于优化的NP难题Petri网作为一种图形化建模工具，可以很直观的表示系统并发、异步等系统常见现象，而引入时间Petri网,可以更便捷地描述实时系统。因此，进一步发展并行测试技术理
2、论和拓宽并行测试应用领域的关键在于：如何建立准确、可靠的并行测试时间Petri网模型，并在所建模型的基础上，探讨并行测试的任务调度算法。本文在探讨时间Petri网构建过程中的约简步骤，并深入分析现今并行测试任务模型不足的基础上，提出了一种基于时间Petri网的并行测试建模方法。为说明该方法的应用步骤，选用一雷达接收机的实例建立相应的时间Petri网，并对其进行了动态性质分析。在此基础上，详细研究了群智能的各类优化算法，结合时间Petri网的特点和现有并行调度算法的局限，提出了一种基于遗传一蚁群算法的时间Petri网变迁序列求解算法，针对一雷达接收机的具体实例，快速地求得了最优调度方案。仿真实验
3、表明，与现有研究成果相比，本文所提出的算法效率更高，具有重要的实用价值。关键词：并行测试；任务调度；时间Petri网；变迁序列；遗传一蚁群算法ABSTRACTParalleltesttechniqueisanewtechniquearisingunderthetendencyofsreducingtesttimeandlowingtestcost，whichinextbecominghotspotoftheATSforunparalleledadvantage.Theparalle1testsystemrequirestherunanalysisofcompetitionandconflict
4、intime，worsemore，theoptimizedaparalleltesttaskschedulingsequencehasbeenNPproblem.Petrinet，asacomplicatedanddifficultcangraphicalmodelingtool，whichrepresentconcurrence，asynchronyinintuitiveway，hasbeenwidelyusedinvariouscanfields.Atthesametime，theintroductionofTimedPetrinetconvenienttodevelopmentbemor
5、edescribetherealtimesystem.Therefore，thekeyoffurtherofthetheorytestofisparallelhowtotesttechnology，andnbroadentheapplicationofparallelestablishtoccurateandreliabletestTimedPetrinetmodelonforparalleltest，andstudyparalleltaskschedulingalgorithmInthisthebasisofthemodelactivityonarticle，basedandanalyzin
6、gdiscussingtheprocedureofsimplifyingshortageofcurrentaTPNmodelproposedordertoatheparalleltestmodel，modelingmethodforparalleltestbasedonTimedPetrinetInaneXplainthemethodforapplicationofsteps，usedinstanceofradarreceivertoestablishthecorrespondingTimedPetrinet，alsostudiedthedynamicnatureofthemodel.Onth
7、isbasis，adetailedstudyofvariousoptimizationalgorithmsofswarmintelligencecombinedthecharacteristicsofTimedPetrinetwiththelimitationsofexistingparallelschedulingalgorithms，analgorithmofexploringtransitionsequenceofTimedPetrinetbasedongenetic一antcolonyalgorithmisoriginallyproposed.Theoptimalcanscheduli
8、ngbefoundinonaaveryshortperiodoftimewaspresentedintermsofcomparedanexampletheradarreceiver.Simulatedexperimentshowsthatresearchresults，thegivenwithexistingalgorithmhasIlimportantpracticalvalueformoreefficiencyKeywords：paralleltest；taskscheduling；TimedPetrinet；transitionsequence；geneticantcolonyalgor
9、ithnlIII长沙理工大学学位论文原创性声明本人郑重声明：所呈交的论文是本人在导师的指导下独立进行研究所取得的研究成果。除了文中特别加以标注引用的内容外，本论文不包含任何其他个人或集体已经发表或撰写的成果作品。对本文的研究做出重要贡献的个人和集体，均已在文中以明确方式标明。本人完全意识到本声明的法律后果由本人承担。作者签名稚饼日期力牌“月。砂日学位论文版权使用授权书本学位论文作者完全了解学校有关保留、使用学位论文的规定，同意学校保留并向国家有关部门或机构送交论文的复印件和电子版，允许论文被查阅和借阅。本人授权长沙理工大学可以将本学位论文的全部或部分内容编入有关数据库进行检索，可以采用影印、缩
10、印或扫描等复制手段保存和汇编本学位论文。本学位论文属于1、保密口，在2、不保密团。年解密后适用本授权书。(请在以上相应方框内打“4)作者签名El期：力旷年汐衫月矽矽日导师签名吨山锄贮砺稿日期：矽/p年b月乡El第一章绪论1.1课题的背景和研究意义自动测试系统(AutoTestSystem)研究起源于二十世纪六十年代甚至更早一些，但形成比较完善的自动测试系统是直到在系统中采用电脑以后。从那时起到如今，尽管时间不长，但是自动测试系统发展快速且应用越来越广泛。由于微电子技术发展，各种各样的电子产品的功能越来越完善、应用系统越来越复杂，特别是在航空航天领域，一个大型的电子系统上常常有成千上万个被测试单元以及被测试参数。这种系统不仅有巨大的规模而且结构很复杂，如果采用串行测试方式来测试，不但测试的时间很长，而且系统资源的利用效率低下，不能满足工程实际需要。并行测试是通过并行处理在自动测试技术领域中的应用而得到的相关测试理论和技术，它属于下一代自动测试系统的技术范围，是支撑下一代测试系统的新技术n21。并行测试是测试系统同时完成多个测试任务，测试任务可以隶属于不同的待测对象，也可以隶属于同一个待测对象。与传统的串行测试方式相比，并行测试技术可以通过增加系统的吞吐总量，减少测试的设备的空闲
