收藏本站
《长沙理工大学》 2010年
收藏 | 手机打开
二维码
手机客户端打开本文

基于时间Petri网的并行测试研究

肖良清  
【摘要】: 并行测试技术是ATS (Auto Test System)在进一步降低测试的时间、削减测试的成本的趋势下新兴的一项技术,它正以不可比拟的优势成为下一代ATS发展的热点。在运用并行测试技术时,要求分析系统执行过程中可能产生的冲突和竞争情况,特别是如何生成并行测试序列一直是一个复杂的、难于优化的NP难题。Petri网作为一种图形化建模工具,可以很直观的表示系统并发、异步等系统常见现象,而引入时间Petri网,可以更便捷地描述实时系统。因此,进一步发展并行测试技术理论和拓宽并行测试应用领域的关键在于:如何建立准确、可靠的并行测试时间Petri网模型,并在所建模型的基础上,探讨并行测试的任务调度算法。 本文在探讨时间Petri网构建过程中的约简步骤,并深入分析现今并行测试任务模型不足的基础上,提出了一种基于时间Petri网的并行测试建模方法。为说明该方法的应用步骤,选用一雷达接收机的实例建立相应的时间Petri网,并对其进行了动态性质分析。在此基础上,详细研究了群智能的各类优化算法,结合时间Petri网的特点和现有并行调度算法的局限,提出了一种基于遗传—蚁群算法的时间Petri网变迁序列求解算法,针对一雷达接收机的具体实例,快速地求得了最优调度方案。仿真实验表明,与现有研究成果相比,本文所提出的算法效率更高,具有重要的实用价值。
【学位授予单位】:长沙理工大学
【学位级别】:硕士
【学位授予年份】:2010
【分类号】:TP301.1

【参考文献】
中国期刊全文数据库 前10条
1 李昕;沈士团;路辉;;基于图染色理论的并行测试任务调度算法[J];北京航空航天大学学报;2007年09期
2 肖军;邓海鸿;高允锋;周春贵;刘雷;;基于Petri网的工作流建模及时间性能分析[J];吉林大学学报(信息科学版);2009年01期
3 卓家靖;孟晨;;并行测试系统的任务分解和任务过程模型[J];电子测量技术;2008年08期
4 梁旭;李行善;于劲松;;基于遗传算法的并行测试调度算法研究[J];电子测量与仪器学报;2009年02期
5 田立勤,林闯,周文江;随机Petri网模型中变迁的串、并联性能等价化简技术[J];电子学报;2002年08期
6 翁国栋;;蚁群算法与遗传算法对TSP的一种融合[J];福建电脑;2006年02期
7 张志伟;邓江沙;;模糊时间Petri网应用[J];阜阳师范学院学报(自然科学版);2006年03期
8 段海滨;王道波;于秀芬;;蚁群算法的研究现状及其展望[J];中国工程科学;2007年02期
9 田小梅,龚静;实数编码遗传算法的评述[J];湖南环境生物职业技术学院学报;2005年01期
10 吴庆洪,张纪会,徐心和;具有变异特征的蚁群算法[J];计算机研究与发展;1999年10期
中国博士学位论文全文数据库 前1条
1 胡瑜;基于有色Petri网理论的并行自动测试系统建模研究[D];电子科技大学;2003年
【共引文献】
中国期刊全文数据库 前10条
1 陆克芬;方崇;张春乐;;基于人工鱼群算法的投影寻踪评价方法研究[J];安徽农业科学;2009年23期
2 刘延明;陆克芬;方崇;;基于投影寻踪和粒子群优化算法的南宁市内河水质综合评价研究[J];安徽农业科学;2009年26期
3 刘延明;陆克芬;方崇;;大中型灌区可持续发展综合评价的一种新方法[J];安徽农业科学;2009年27期
4 陆克芬;刘延明;方崇;;基于人工鱼群算法的农田灌溉水质评价投影寻踪分析[J];安徽农业科学;2009年28期
5 吕艳杰;包岩;杨德光;;人工神经网络在玉米气候适宜性评价中的应用[J];安徽农业科学;2009年35期
6 王海顺,吴鹏;工作流性能评价方法[J];安阳师范学院学报;2005年02期
7 方崇;代志宏;张信贵;;人工鱼群投影寻踪回归在洞室岩爆预测中的应用[J];地下空间与工程学报;2010年05期
8 赵志强;缑锦;陈维斌;;基于云模型的自学习进化算法[J];北京交通大学学报;2009年06期
9 薛景;;卫生监督管理信息系统工作流建模及分析[J];办公自动化;2008年14期
10 戴元永,陈素琼,申荣法,何宜柱,余亮;基于模拟退火多种群遗传算法的C-Mn钢生产优化[J];宝钢技术;2003年01期
中国重要会议论文全文数据库 前10条
1 高尚;江新姿;汤可宗;;蚁群算法与遗传算法的混合算法[A];第二十六届中国控制会议论文集[C];2007年
2 王旭;卢红星;叶阳东;贾利民;;基于混合Petri网的列车速度调整的分析[A];第二十七届中国控制会议论文集[C];2008年
3 林树民;郑征;蔡开元;;多星并行测试鲁棒任务调度方法[A];中国自动化学会控制理论专业委员会D卷[C];2011年
4 李晓林;李钢;张仁斌;高森;张明;;基于着色时间Petri网的公文发文工作流建模与分析[A];中国仪器仪表学会第十三届青年学术会议论文集[C];2011年
5 董聪;江见鲸;;结构智能健康诊断研究与进展[A];第十二届全国结构工程学术会议论文集第Ⅲ册[C];2003年
6 黄勇;胡健生;李晴帆;肖文昌;;模糊Petri网在通信网络综合性能评价中的应用[A];第十届全国信号处理学术年会(CCSP-2001)论文集[C];2001年
7 张博刚;张威;王斌;张伟;;基于多线程并行技术的软件测试效率分析[A];第三届全国软件测试会议与移动计算、栅格、智能化高级论坛论文集[C];2009年
8 赵磊;黄道;;基于蚁群算法的化工过程故障诊断[A];2006北京地区高校研究生学术交流会——通信与信息技术会议论文集(下)[C];2006年
9 程冬玲;朱永利;王新颖;;Petri网模型的程序代码转换[A];2007北京地区高校研究生学术交流会通信与信息技术会议论文集(上册)[C];2008年
10 支成秀;梁正友;;融合粒子群优化算法与蚁群算法的随机搜索算法[A];广西计算机学会2006年年会论文集[C];2006年
中国博士学位论文全文数据库 前10条
1 刘心;基于Petri网的FMS建模及故障诊断方法研究[D];哈尔滨工程大学;2010年
2 徐小峰;面向船舶制造协同物流网络的资源优化研究[D];哈尔滨工程大学;2009年
3 张进;地震叠前数据的弹性阻抗非线性反演方法研究[D];中国海洋大学;2009年
4 曲建华;基于群体智能的聚类分析[D];山东师范大学;2010年
5 刘天印;基于系统模拟的高校教师工作压力研究[D];华中科技大学;2010年
6 舒挺;EFSM模型协议一致性测试序列自动生成研究[D];浙江大学;2010年
7 张志明;柔性制造系统死锁预防的Petri网控制器综合[D];浙江大学;2010年
8 刘思华;电网故障诊断方法的研究[D];山东大学;2010年
9 张明明;面向量子可逆逻辑自动综合的多目标进化算法研究[D];东华大学;2010年
10 王立新;软件测试数据的高效生成及测试方法研究[D];东华大学;2011年
中国硕士学位论文全文数据库 前10条
1 李颖;用蚁群算法求解最小极大流问题[D];河南理工大学;2010年
2 刘洋;可逆逻辑门与可逆逻辑电路的Petri网建模与分析[D];山东科技大学;2010年
3 胡晓文;基于Petri网的非确定工作流的时间和资源管理问题研究[D];山东科技大学;2010年
4 岳广飞;基于二次搜索的搜索引擎技术研究[D];山东科技大学;2010年
5 邵晓路;蚁群群体智能网络可视化试验平台研制[D];浙江理工大学;2010年
6 肖露娟;Web服务组合性能分析[D];浙江理工大学;2010年
7 耿东山;基于蚁群算法的机器人全局路径规划[D];郑州大学;2010年
8 周清;基于混合Petri网的列车运行系统中时间推理问题的研究[D];郑州大学;2010年
9 钊红梅;工作流在网络管理系统中的应用[D];郑州大学;2010年
10 王佳慧;基于面向对象的随机Petri网图形建模与分析工具的开发[D];郑州大学;2010年
【二级参考文献】
中国期刊全文数据库 前10条
1 陈殿生,王田苗,魏洪兴;数控车床故障分布的两重威布尔分段模型[J];北京航空航天大学学报;2005年07期
2 毕世华,李霁红;导弹测发控系统故障诊断模糊专家系统[J];北京理工大学学报;1999年S1期
3 黄卫东;丁秋林;;基于工作流技术的中心局作业建模与仿真[J];吉林大学学报(信息科学版);2006年06期
4 曾成碧,陈光;可达树分析法及其在测试中的应用[J];电子科技大学学报;1999年05期
5 曾成碧,陈光;VLSI功能测试的最佳测试序列的选取[J];电子科技大学学报;2000年02期
6 吴斌,吴坚,涂序彦;快速遗传算法研究[J];电子科技大学学报;1999年01期
7 熊军,高敦堂,都思丹,沈庆宏;变异率和种群数目自适应的遗传算法[J];东南大学学报(自然科学版);2004年04期
8 孙荀英,张怀,梁国平;亚洲大陆下的地幔流动及其对亚洲地壳的作用力[J];地震学报;2002年03期
9 薛雷,郝跃;面向集成电路制造的基于Petri网的生产调度[J];电子学报;2001年08期
10 刘婷,林闯,刘卫东;基于时间Petri网的工作流系统模型的线性推理[J];电子学报;2002年02期
中国博士学位论文全文数据库 前3条
1 高昆;基于DSP并行处理系统的虚拟仪器设计方法的研究[D];浙江大学;2002年
2 胡瑜;基于有色Petri网理论的并行自动测试系统建模研究[D];电子科技大学;2003年
3 王志亮;复杂产品敏捷化开发中若干关键决策技术的研究[D];南京理工大学;2004年
中国硕士学位论文全文数据库 前1条
1 秦玲;蚁群算法的改进与应用[D];扬州大学;2004年
【相似文献】
中国期刊全文数据库 前10条
1 刘莉莉,傅铅生;应用Petri Net方法建模分析制造企业ERP的实施工程[J];航空工程与维修;2002年06期
2 谭宁;;基于Petri网的办公自动化系统结构模型设计[J];硅谷;2009年12期
3 林绍森;李晓兰;;采用Petri技术构建高校应急预案管理模型[J];硅谷;2010年24期
4 林群,关志超,杨东援;区域性枢纽城市物流公共信息平台体系结构Petri网研究[J];计算机工程与应用;2005年06期
5 郑怡文;;基于时延Petri网的肯定型工程关键工序的求解[J];福建电脑;2008年07期
6 刘峻;;药品批发分销网络的petri网建模[J];科学决策;2008年10期
7 赵相安;陈洪辉;何明;姜志平;;基于Petri网的武器装备体系能力需求仿真验证方法[J];系统仿真学报;2009年04期
8 王岚;张国宁;;维修保障仿真模型的HLA兼容性改造[J];计算机与网络;2009年19期
9 金涛;闻立杰;王建民;;行为因果关系的分类与判定[J];系统仿真学报;2011年S1期
10 修少驹;描述数字系统中并行过程与控制的理论模型——Petri-网[J];计算机工程与应用;1980年05期
中国重要会议论文全文数据库 前10条
1 薛瑜;李承家;吕莉芳;;模糊Petri网与连续Petri网的关系[A];第九届中国不确定系统年会、第五届中国智能计算大会、第十三届中国青年信息与管理学者大会论文集[C];2011年
2 刘长有;张莉;;基于着色Petri网的一类航班推出冲突建模与仿真[A];第二十九届中国控制会议论文集[C];2010年
3 吕莉芳;李承家;薛瑜;;时延离散Petri网的形式分析[A];第九届中国不确定系统年会、第五届中国智能计算大会、第十三届中国青年信息与管理学者大会论文集[C];2011年
4 王志坚;蔡自兴;;基于Petri网的企业信息化系统统一建模研究[A];第二十六届中国控制会议论文集[C];2007年
5 高德平;周国祥;;基于着色Petri网的工作流模型的研究与应用[A];全国第20届计算机技术与应用学术会议(CACIS·2009)暨全国第1届安全关键技术与应用学术会议论文集(下册)[C];2009年
6 叶阳东;贾利民;;列车运行对象Petri网系统的仿真[A];2001系统仿真技术及其应用学术会议论文集[C];2001年
7 王小梅;李新明;刘东;韩星晔;;基于Petri网的网络传输协议建模与性能分析[A];全国第4届信号和智能信息处理与应用学术会议论文集[C];2010年
8 李震;刘斌;殷永峰;李晓勋;;基于改进Petri网的可信软件模型验证和测试研究[A];第六届中国测试学术会议论文集[C];2010年
9 韩亚欣;罗明宇;谭跃进;;主生产调度过程的随机Petri网模型[A];'2000系统仿真技术及其应用学术交流会论文集[C];2000年
10 张春雷;孙志挥;陈淼;;一种基于PETRI高级网的工作流动态建模方法[A];第十七届全国数据库学术会议论文集(研究报告篇)[C];2000年
中国重要报纸全文数据库 前10条
1 ;值得注意的免费安全工具[N];网络世界;2004年
2 侯肇祥;安捷伦推可软件配置的Pin Scale 800数字通道卡[N];电子资讯时报;2005年
3 杨振中 北京;科利登SEMICON展出Sapphire D-10系统[N];电子资讯时报;2006年
4 张璐;泰州电信启用BSS业务支撑平台[N];人民邮电;2005年
5 李春喜;汤姆逊要做消费电子中国魁首[N];中国计算机报;2003年
6 陈列欢;高剂量疗法可治红斑狼疮[N];医药经济报;2003年
7 特约记者 赵金波;四川石化项目建设驶入信息高速公路[N];中国石油报;2010年
8 金华;微软X#的一些推测[N];中国计算机报;2003年
9 陈秉林;美国汽车旅游的启示[N];中国旅游报;2003年
10 略雨 编译;超越历史尘封的永恒[N];中国商报;2001年
中国博士学位论文全文数据库 前10条
1 陈玉峰;柔性制造系统最大许可行为Petri网控制器设计[D];西安电子科技大学;2011年
2 刘改云;自动制造系统的Petri网结构分析和控制器设计[D];西安电子科技大学;2011年
3 孔令东;基于模糊Petri网的瓦斯突出空间预测模型研究[D];中国矿业大学;2011年
4 李海凌;基于Petri网工作流技术的工程项目群管理研究[D];西南交通大学;2012年
5 刘心;基于Petri网的FMS建模及故障诊断方法研究[D];哈尔滨工程大学;2010年
6 杨鹏;基于广义随机Petri网理论的SIP的研究[D];兰州理工大学;2009年
7 王玉英;基于赋时有色Petri网的Web服务组合建模验证与测试技术研究[D];西安电子科技大学;2012年
8 胡核算;自动制造系统的Petri网控制器设计及优化[D];西安电子科技大学;2010年
9 翟正利;基于Petri网和Agent的网格服务工作流及资源管理的研究[D];北京科技大学;2006年
10 董宇翔;服务组合的Petri网建模和服务质量分析的研究[D];重庆大学;2010年
中国硕士学位论文全文数据库 前10条
1 肖良清;基于时间Petri网的并行测试研究[D];长沙理工大学;2010年
2 李亚南;基于区域理论的Petri网活性控制器优化设计[D];西安电子科技大学;2010年
3 何秀霞;基于Petri网的车站调度模型的研究[D];太原科技大学;2010年
4 王慧;基于Petri网的物流配送业务流程优化与仿真研究[D];武汉理工大学;2011年
5 翟维维;基于Petri网的工作流模型在并行审批系统的研究[D];北京林业大学;2011年
6 杨雪;基于高级Petri网的住院医师培训工作流系统建模与实现[D];沈阳工业大学;2010年
7 王佳慧;基于面向对象的随机Petri网图形建模与分析工具的开发[D];郑州大学;2010年
8 赵冬霞;基于面向对象时间Petri网的物流配送业务流程优化与仿真[D];哈尔滨工业大学;2010年
9 李桂枝;皮带机群控系统的Petri网建模与规则化描述[D];合肥工业大学;2011年
10 高峰;组合式Petri网对PI演算的转换与验证[D];吉林大学;2010年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026