收藏本站
《电子科技大学》 2008年
收藏 | 手机打开
二维码
手机客户端打开本文

并行多任务自动测试系统分层化建模及其关键技术研究

马敏  
【摘要】: 随着自动测试系统逐渐从传统的串行测试发展为并行测试,国内外学术界已开始对并行多任务自动测试系统(本文简称为并行自动测试系统)进行研究,并取得了初步的成果。并行自动测试系统具有很高的灵活性和可扩展性,其结构复杂,体系庞大,搭建与设计过程均比串行自动测试系统复杂。针对大型的并行自动测试系统,传统的系统组建方法单纯地依靠人工经验,组建的系统容易发生死锁、资源冲突和饥饿等问题,逐渐难以满足实际应用需求,因此,并行自动测试系统形式化建模与验证方面的研究具有重要的意义。本论文以现代测试技术、Petri网理论、UML语言、遗传算法和神经网络理论等为基础,在并行自动测试系统的建模与验证、死锁避免、任务调度优化和故障诊断等方面进行了深入的研究。主要工作如下: 1.提出了一种新的系统分层化建模方法,指导工程人员快速优化并行自动测试系统设计方案。 首先分析了仅依靠人工经验组建并行自动测试系统时容易发生的问题,结合对UML和Petri网的对比分析,提出使用UML进行系统功能描述,构建初步的领域模型;进而给出UML模型到Petri网模型的映射方法,得到具备严格形式化语义,可支持系统性能分析和评估的系统Petri网模型,从而将UML和Petri网的优势良好的结合起来。 2.设计了雷达自动测试系统分层化建模实例,研究了系统的性能评估问题。 首先,以雷达自动测试系统为例阐述了分层化建模方法的实施过程,分析了系统UML模型和映射后得到的Petri网模型之间的行为语义一致性,并编程实现了映射工具软件“UML2Petri”,实现了自动映射模式;基于Petri网理论对系统进行了定性的分析,并和人工设计过程进行对比,体现了Petri网的优越性;引入时间因素,将系统Petri网模型扩展为广义有色随机Petri网模型,对测试时间和资源利用率等性能指标进行了定量的评估,并和TestStand软件设计的并行系统进行对比,验证了建模方法的有效性。 3.针对并行自动测试系统死锁问题,提出了一种基于Petri网和遗传算法(GA)的死锁避免策略。 首先分析了并行自动测试系统的死锁发生问题,对比了几种典型的死锁避免方法;然后基于Petri网的形式描述了并行自动测试系统的死锁问题,并结合GA算法,提出了一种新的死锁避免策略,通过一个双通道放大器并行测试实验描述和验证了该策略;最后以雷达接收机并行测试仿真系统为例,和启发式搜索进行对比,体现了该策略的实用性能。 4.研究了并行自动测试系统任务调度优化问题,提出一种基于赋时Petri网和模拟退火遗传算法(SAGA)的任务调度优化算法。 首先分析了并行自动测试系统的任务调度问题,将任务测试时间引入系统Petri网模型,扩展出系统的赋时Petri网;然后结合模拟退火遗传算法设计系统任务调度优化算法,用于获取模型的最优任务调度序列;进而通过一个并行测试实验,和接口开关转换测试方法、交错并行测试方法等进行了对比,体现了该算法的优越性;最后通过雷达接收机并行测试仿真系统,对比了模拟退火遗传算法和遗传算法的搜索效率,体现了该算法的实用价值。 5.研究了自动测试系统中故障诊断的问题,提出了一种基于自适应模糊Petri网的故障诊断方法。 首先分析了自动测试系统的故障诊断问题,针对传统“产生式规则+故障树”的专家系统故障诊断模式的不足,提出用模糊Petri网表达知识,进行并行故障推理与分析的故障诊断方法,进而结合神经网路训练调节权值,形成自适应模糊Petri网;最后应用该方法对相控阵雷达进行了故障诊断。
【学位授予单位】:电子科技大学
【学位级别】:博士
【学位授予年份】:2008
【分类号】:TP311.52

【相似文献】
中国期刊全文数据库 前10条
1 包得海;赵海阔;;Petri网在旅游管理系统中的应用[J];陇东学院学报;2011年04期
2 董振华;董笑菊;;有界Petri网的进程演算表达[J];上海交通大学学报;2011年07期
3 霍敏霞;丁晓明;;基于Petri网的并发程序测试用例产生方法[J];计算机科学;2011年09期
4 喻平;曹继平;宋建社;梁中雨;;基于Petri网的系统最小割集求解[J];系统仿真技术;2011年02期
5 施於人;代应;;eEPC与Petri网在流程改进建模中的比较[J];重庆理工大学学报(自然科学);2011年07期
6 汪胜荣;郑连清;;一种能量高效的无线传感器网络分簇路由设计[J];大连海事大学学报;2011年03期
7 王英新;毛羽强;;粗糙集在Petri网中的应用[J];承德石油高等专科学校学报;2011年02期
8 邵丽丽;;基于Petri网的电梯系统规格说明[J];长春大学学报;2011年06期
9 林婧;;基于Petri网和概念格的服务发现与组合[J];电子商务;2011年07期
10 代秀娟;章昭辉;王敏生;杨娟;潘冬生;汪小寒;;旅游信息服务组合的Petri网建模及其实现[J];安徽师范大学学报(自然科学版);2011年04期
中国重要会议论文全文数据库 前10条
1 王志坚;蔡自兴;;基于Petri网的制造系统建模与分析[A];面向制造业的自动化与信息化技术创新设计的基础技术——2001年中国机械工程学会年会暨第九届全国特种加工学术年会论文集[C];2001年
2 赵彩霞;高学东;乔卫义;;基于Petri网的工作流建模技术在社会保险系统中的应用[A];全国第八届工业工程与企业信息化学术会议论文集[C];2004年
3 尹章才;李霖;;基于Petri网的时空拓扑关系研究[A];中国地理信息系统协会第八届年会论文集[C];2004年
4 徐光辉;徐志军;;C/E系统Petri网的VHDL建模与仿真[A];开创新世纪的通信技术——第七届全国青年通信学术会议论文集[C];2001年
5 侯立文;蒋馥;;客户忠诚度提升决策研究[A];2004年中国管理科学学术会议论文集[C];2004年
6 乔非;吴启迪;沈荣芳;;基于Petri网的事务流程模型[A];管理科学与系统科学进展——全国青年管理科学与系统科学论文集(第4卷)[C];1997年
7 薛静锋;曹元大;;Petri网在入侵检测中的应用[A];第六届全国计算机应用联合学术会议论文集[C];2002年
8 胡红革;黄大贵;谢阅;;混和系统Petri网模型的行为特性及判定方法[A];2004全国测控、计量与仪器仪表学术年会论文集(下册)[C];2004年
9 胡瑜;陈光(礻禹);;GPIB高速数据传输协议的Petri网模型及分析[A];首届信息获取与处理学术会议论文集[C];2003年
10 陈挺;张育平;;基于Petri网的软件过程建模技术的研究[A];2008通信理论与技术新进展——第十三届全国青年通信学术会议论文集(上)[C];2008年
中国重要报纸全文数据库 前3条
1 广东省电信科学技术研究院多媒体部 张宇飞 卢燕青;实时系统软件分析和设计方法综述[N];中国计算机报;2000年
2 本报记者 沈力钧;决战新媒体竞争时代[N];计算机世界;2004年
3 韩世坤 陈继勇;构建企业跨国并购智力支持体系[N];亚太经济时报;2002年
中国博士学位论文全文数据库 前10条
1 马敏;并行多任务自动测试系统分层化建模及其关键技术研究[D];电子科技大学;2008年
2 刘皓玮;行车指挥系统的Petri网建模与列车运行调整的遗传优化的研究[D];铁道部科学研究院;2000年
3 罗鹏程;基于Petri网的系统安全性建模与分析技术研究[D];国防科学技术大学;2001年
4 董利达;基于序状Petri网的离散事件系统监控理论[D];浙江大学;2004年
5 王斌君;工作流过程模型的层次研究及其分析[D];西北大学;2002年
6 薛雷;基于Petri网的集成电路柔性制造系统建模、分析及调度[D];西安电子科技大学;2001年
7 周荣辅;基于先进制造技术的制造业生产流程再造研究[D];燕山大学;2007年
8 王占中;基于Petri网的多式联运流程优化研究[D];吉林大学;2007年
9 何丰;语义Web服务组合若干关键技术研究[D];东华大学;2008年
10 郑红;分布式系统形式化建模技术研究[D];中国科学院研究生院(软件研究所);2003年
中国硕士学位论文全文数据库 前10条
1 戴敬周;用Petri网对语义网络歧义性和推理不确定性改进的探索[D];太原理工大学;2002年
2 熊惠明;Petri网在FMS中的若干应用研究[D];西安电子科技大学;2004年
3 张国群;软件项目开发中并行工程方法的过程建模的研究与应用[D];南京理工大学;2005年
4 秦巧妹;安阳供电公司业扩报装流程再造研究[D];华北电力大学(北京);2007年
5 潘德桥;基于UML-Petri网的舰载作战系统信息流建模与分析[D];华中科技大学;2006年
6 马柯;企业项目管理信息系统及工作流技术的研究[D];西安电子科技大学;2006年
7 胡辉;业务流程再造(BPR)理论与系统建模仿真研究[D];西安电子科技大学;2005年
8 贺细平;基于Petri网的主动数据库规则建模与行为分析[D];长沙理工大学;2004年
9 余永佳;基于Petri网的项目管理、优化和决策技术[D];南京理工大学;2005年
10 周颖;工作流中并发流程间资源冲突的研究[D];山东大学;2005年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026