收藏本站
收藏 | 手机打开
二维码
手机客户端打开本文

基于有色Petri网理论的并行自动测试系统建模研究

胡瑜  
【摘要】:提高自动测试系统的性能是当前测试领域的一个重要研究内容。随着测试设备和测试方法的发展,传统的自动测试系统串行任务调度和系统组建方法已成为限制系统性能的瓶颈。近年来,国内外学术界已开始进行自动测试系统并行任务调度以及自动测试系统组建方法的研究,并取得了初步成果。本论文对自动测试系统的并行任务调度及自动测试系统Petri网建模中的若干重要问题进行了深入、系统地研究,提出了两种并行任务调度算法和相应的自动测试系统有色Petri网模型,并结合实际研究课题,对雷达接收机自动测试系统的任务调度和设计验证进行了理论研究和实验分析,得到了有价值的成果。本文的主要内容与创新包括以下几个方面: 1. 深入研究了并行任务调度原理,研究了并行调度中的数据相关、控制相关和资源相关问题。在此基础上,提出了各项任务测试时间未知情况下的TaskScheduler算法和各项任务测试时间已知情况下的TaskScheduler-T算法,证明了算法能够自动生成并行度最高和总测试时间最短的任务序列。仿真实验表明,基于TaskScheduler和TaskScheduler-T算法的自动测试系统能有效提高资源利用率,显著缩短总测试时间。 2. 提出了一种基于形式化方法的自动测试系统组建方法,建立了并行任务调度算法的自动测试系统有色Petri网模型。由于可以用有色Petri网的分析技术验证自动测试系统的有色Petri网模型性质,从而使得系统设计的正确性从系统组建的初期得到保证。 3. 将可达树和线性代数方法应用到自动测试系统有色Petri网模型的性质验证中,证明了采用TaskScheduler和TaskScheduler-T算法的自动测试系统具备有界性、活性、公平性、持久性、守恒性、结构有界性和结构守恒性等重要性质,从而验证了TaskScheduler和TaskScheduler-T算法的正确性。 结合某型雷达自动测试系统研制课题,为雷达接收机建立了TaskScheduler-T算法的自动测试系统有色Petri网模型,仿真实验结果表 WP=6 4. 明所提出的系统能够提高测试效率,具有重要的实用价值。 本文所有的算法和分析结果均已在计算机上实现,仿真结果验证了并行任务调度算法的正确性和优越性。


知网文化
【相似文献】
中国期刊全文数据库 前20条
1 伍岳;;国内首创彩电回扫变压器自动测试系统[J];电视技术;1988年08期
2 许江宁;陈少棠;高峰;;基于PC总线的第三代自动测试系统(ATE)[J];海军工程大学学报;1993年02期
3 徐成立;ALTIS112集中自动测试系统简介[J];现代通信;1999年03期
4 周旭;基于PIC16C56单片机的电磁辐射自动测试系统[J];自动化博览;1999年02期
5 马敏;陈光;;自动测试系统的随机Petri网模型及性能评价[J];测控技术;2006年10期
6 王勇;曹妍;;基于移动平台的自动测试系统[J];电子测量与仪器学报;2006年01期
7 李效辉;刘宁泽;黎琼炜;;自动测试系统适配器的计量方法[J];计测技术;2007年S1期
8 薛嘉甫;苏蕾;陈勇;李云飞;;一种电路板测试系统的控制器开发[J];科技风;2009年04期
9 张礼勇,程玉润;GP—IB接口讲座[J];电测与仪表;1980年07期
10 刘家松;;电子测量自动化的成就和发展趋势[J];电子技术;1981年09期
11 过元恺;;自动测试系统及智能测试技术讲座——第一讲 概况[J];电子技术;1984年04期
12 宋国明;;现代电视发射机自动测试系统[J];电视技术;1993年01期
13 周纪勤,袁晓英,陈湛;以逻辑分析仪为主的自动测试系统[J];云南大学学报(自然科学版);1995年01期
14 黄鹤新,朱永保;雷达发射机自动测试系统研究[J];计算机自动测量与控制;2000年04期
15 ;自动测试及其系统[J];电子科技文摘;2002年02期
16 陈卫,程礼,高星伟;基于VXI总线的发动机自动测试系统设计[J];计算机测量与控制;2003年10期
17 冯宇翔,董景新,赵长德,吴天准;利用单片机实现微加速度计性能自动测试[J];微纳电子技术;2005年07期
18 潘盛辉;汪渤;;角加速度陀螺仪自动测试系统的设计[J];传感器技术;2005年12期
19 李华;;综合仪器和新一代自动化测试系统[J];国外电子测量技术;2005年12期
20 周明进;陈建辉;乔中涛;;嵌入式技术在自动测试系统中的应用[J];仪表技术;2006年01期
中国重要会议论文全文数据库 前10条
1 王睿;;基于ATML的自动测试系统软件研究[A];2011下一代自动测试系统学术研讨会论文集[C];2011年
2 吴成海;张克芳;;跨平台分布式自动测试系统设计[A];全国第二届总线技术与测控系统工程学术报告会论文集[C];2001年
3 李致钦;张协;;自动测试系统中的高频信号源[A];1989年全国微波会议论文集(上)[C];1989年
4 王德盛;欧良建;阮耀先;王天应;;网架挠度自动测试系统[A];第六届空间结构学术会议论文集[C];1996年
5 张羽飞;张鹏飞;冯汝鹏;;一类嵌入式数字控制系统的自动测试系统设计[A];中国仪器仪表学会第三届青年学术会议论文集(上)[C];2001年
6 李效辉;刘宁泽;黎琼炜;;自动测试系统适配器的计量方法[A];2007年度中国航空学会计量技术专业委员会计量与质量专题学术交流会论文集[C];2007年
7 陈广新;杨华军;;基于ARM微控制器的新型开关矩阵[A];2007北京地区高校研究生学术交流会通信与信息技术会议论文集(上册)[C];2008年
8 张德宝;鲁辉东;陈江定;;基于在系统可编程技术的自行火炮自动测试系统的应用[A];第十九届电工理论学术年会论文集[C];2007年
9 李志强;张向刚;;基于虚拟仪器的电视导引头自动测试系统的设计[A];2008中国仪器仪表与测控技术进展大会论文集(Ⅲ)[C];2008年
10 孙圣和;刘春和;袁玉华;;VXI总线导弹自动测试系统专用信号源模块的研制[A];全国第二届总线技术与测控系统工程学术报告会论文集[C];2001年
中国博士学位论文全文数据库 前8条
1 顾文荃;基于网络的自动测试系统关键技术研究[D];华东师范大学;2013年
2 徐小良;自动测试系统的面向对象框架开发方法研究[D];浙江大学;2003年
3 祖先锋;军用自动测试系统及其不确定度评定关键技术研究[D];国防科学技术大学;2007年
4 赵俊;热敏元件综合特性测试系统研究[D];华中科技大学;2007年
5 李海涛;火箭发动机推力矢量测量理论、方法与自动测试技术研究[D];国防科学技术大学;2005年
6 陈鸣;ICF物理实验分布式测量软件系统[D];中国科学技术大学;2007年
7 孟劲松;无线扩展仪器关键技术研究[D];西南交通大学;2008年
8 詹惠琴;测试系统的Petri网建模和性能分析研究[D];电子科技大学;2005年
中国硕士学位论文全文数据库 前10条
1 史伟进;WiMAX射频一致性自动测试系统设计及实现[D];北京邮电大学;2010年
2 李汪蔚;GSM/GPRS手机自动测试系统的分析与实现[D];长春理工大学;2010年
3 刁振军;电子仪器自动校准与检测软件平台研究与设计[D];西安工业大学;2010年
4 吴杲;基于USB总线的GPIB控制器设计[D];电子科技大学;2004年
5 王攀;基于LabCarXT硬件在环的EMS自动测试系统开发[D];武汉理工大学;2011年
6 种翠翠;基于虚拟仪器的光模块自动测试系统的设计[D];电子科技大学;2010年
7 王春燕;晶体振荡器与时间继电器自动测试系统的设计[D];西华大学;2010年
8 鄢彪;基于电信统一网管平台的自动测试系统的研究与实现[D];华北电力大学(北京);2005年
9 曹倩;SOA自动测试评估板系统的研究[D];华中科技大学;2005年
10 方向东;基于虚拟仪器的电力参数自动测试系统[D];湖南大学;2005年
中国重要报纸全文数据库 前10条
1 通讯员 谭云霞 陈翔;GAMECO机载无线电自动测试系统获专利权[N];中国民航报;2011年
2 翁军 徐亨通 孙树楠 沙志亮;凝眸海空[N];解放军报;2011年
3 记者 诸玲珍;LXI构筑电子测试新平台[N];中国电子报;2005年
4 通讯员 翁军 徐亨通 孙树楠 沙志亮;许爱强:一辈子科研,一辈子危机感[N];科技日报;2011年
5 马向辉 马燕飞;西藏电信DTS宽带自动测试系统运行[N];人民邮电;2008年
6 赵明;仪器仪表进口不会对国内市场造成冲击[N];中国贸易报;2006年
7 甄敏蔚;耕耘结硕果 群英聚申城[N];中国质量报;2006年
8 本报记者 田径;ADSL测试牵动固网业务神经[N];通信产业报;2006年
9 马双马 特约记者 张日军;提高信息化装备检测水平[N];解放军报;2009年
10 曹新建;许爱强:为战机和导弹“把脉”[N];中国国防报;2010年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978