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

测试系统的Petri网建模和性能分析研究

詹惠琴  
【摘要】:测试系统向着智能化、自动化、网络化方向发展,测试系统自身的结构和组成变得很复杂,传统的系统设计方法已不能满足要求,迫切需要新的系统设计理论和方法,用于对系统建立模型,正确进行系统特性分析及评价,从而更合理地设计、优化和控制系统。对此,本文应用Petri网理论,对测试系统进行定性和定量研究,分别建立了测试系统(包括系统整体、硬件电路、总线协议、软件等)的几种类型Petri网模型,对模型进行分析和计算,研究对测试系统建模的方法和分析技术,同时对Petri网的理论和应用进行扩展。作者的主要工作有以下五个方面: 1.对典型电路、测试总线协议、智能仪器的软件设计等进行建模,尤其是针对一个实际的航空发动机高空试验台综合参数自动测试系统,建立了完整的多层次的扩展时间Petri网(ETPN)模型,总结出了测试系统建模的一般方法。建立的抽象ETPN模型能够正确、形象、清楚、严格地表示测试系统的结构及各组成部分之间的复杂关系,ETPN模型的运行表示了系统的动态工作过程。建模的对象包括测试系统中常用的模拟电路、数字电路、A/D转换电路、存储器电路、总线、CPU、DSP、软件等,尤其是对硬件电路建模及软硬件结合建模的工作是开拓性的。这些方法不仅仅适用于测试系统,并且可推广用于其他由硬件电路、计算机和软件组成的系统。 2.利用所建立的ETPN网,对系统进行了特性分析。既有定性的分析,如可达性、活性、有界性、安全性、守恒性和公平性等,也有定量的分析,如电路执行时间、采集任务完成时间、工作速率等。并且通过分析,得到变迁(代表电路或任务)之间的时间和资源约束关系,用于指导系统的结构设计、电路设计和软件设计。 3.在ETPN模型中,变迁的执行时间是固定的,而实际的系统由于多种原因使变迁的执行时间具随机性,有学者提出了变迁的执行时间满足负指数分布的广义随机Petri网(GSPN)模型。鉴于此,本文利用GSPN,对测试系统建模和分析。在对GSPN的可达状态通过消去瞬时
【学位授予单位】:电子科技大学
【学位级别】:博士
【学位授予年份】:2005
【分类号】:TP274.4

【引证文献】
中国期刊全文数据库 前5条
1 詹惠琴;古军;习友宝;;正态分布随机Petri网的串并行结构化简[J];电子科技大学学报;2008年03期
2 赵涛;詹惠琴;古军;;多通道压力测试系统Petri网建模及其性能分析[J];测控技术;2012年06期
3 刘经宇;朱煜;尹文生;;基于CPN的嵌入式RTOS任务调度建模[J];计算机工程;2010年21期
4 何炎祥;沈华;;随机Petri网模型到马尔可夫链的转换规则与实现[J];计算机科学与探索;2013年01期
5 付新华;罗护;肖明清;;基于赋时有色Petri网的测试系统资源优化方法[J];系统工程理论与实践;2010年09期
中国博士学位论文全文数据库 前2条
1 赵亮;Web服务组合性能建模与分析[D];武汉大学;2009年
2 杨鹏;基于广义随机Petri网理论的SIP的研究[D];兰州理工大学;2009年
中国硕士学位论文全文数据库 前5条
1 马文涛;基于Web Services的工作流系统新模型的研究与实现[D];辽宁工程技术大学;2010年
2 李玥;基于工作流的分布式数据仓库模型的研究[D];山西师范大学;2012年
3 付国轩;基于随机Petri网的多式联运系统可靠性研究[D];北京交通大学;2008年
4 赵涛;多通道压力测试系统petri网建模及其性能分析[D];电子科技大学;2012年
5 刘军;Petri网分析软件设计与实现[D];电子科技大学;2013年
【参考文献】
中国期刊全文数据库 前10条
1 曾成碧,陈光;可达树分析法及其在测试中的应用[J];电子科技大学学报;1999年05期
2 薛雷,郝跃;面向集成电路制造的基于Petri网的生产调度[J];电子学报;2001年08期
3 田立勤,林闯,周文江;随机Petri网模型中变迁的串、并联性能等价化简技术[J];电子学报;2002年08期
4 刘鸿,吴建平;协议分布式测试系统的性能模型[J];高技术通讯;2003年08期
5 韩用明,吴相林,岳超源;基于SPN的软件过程模型及蒙特卡洛仿真[J];华中科技大学学报(自然科学版);2003年07期
6 钱军,冯玉琳;系统动态行为语义模型及其形式描述[J];计算机研究与发展;1999年08期
7 林海波;汤志忠;;多线程计算模型、体系结构与编译技术[J];计算机科学;2003年03期
8 叶许红,颜钢锋;基于有色Petri网的资源共享多线程数据采集系统[J];计算机工程;2002年04期
9 尹建伟,陈刚,董金祥;柔性工作流动态行为建模方法[J];计算机辅助设计与图形学学报;2002年10期
10 陈翔;基于广义随机Petri网的工作流性能分析[J];计算机集成制造系统-CIMS;2003年05期
【共引文献】
中国期刊全文数据库 前10条
1 张东红;并行系统分叉和交汇操作过程的Petri网控制器[J];安康师专学报;2000年02期
2 王海顺,吴鹏;工作流性能评价方法[J];安阳师范学院学报;2005年02期
3 薛景;;卫生监督管理信息系统工作流建模及分析[J];办公自动化;2008年14期
4 陈文明;高学东;;宝钢炼钢连铸物流仿真器的建模方法[J];宝钢技术;2009年05期
5 李军求,孙逢春,张承宁,张国忠;用CAD技术进行汽车底盘总布置设计方法的研究[J];车辆与动力技术;2004年02期
6 沈鹏;焦利明;杨建立;;基于Petri网的防空旅C4ISR系统决策组织结构[J];兵工自动化;2005年06期
7 吴圣义;吕永健;逯国亮;胡春林;;基于分层着色Petri网的飞机战伤抢修系统建模[J];兵工自动化;2007年05期
8 冯帆;孙德善;封会娟;索向军;;基于Petri网的单装备件需求量模型[J];兵工自动化;2008年07期
9 关成彬;段立;;Petri网在海军战役装备保障指挥中的应用[J];兵工自动化;2008年12期
10 梁旭斌;苏宪程;王景昌;赵前亮;;模糊petri网理论定量分析空间信息系统传输能力[J];兵工自动化;2009年08期
中国重要会议论文全文数据库 前10条
1 杨舰;黄道平;李小亚;;GDCS任务调度的SPN模型研究[A];第二十六届中国控制会议论文集[C];2007年
2 黄勇;胡健生;李晴帆;肖文昌;;模糊Petri网在通信网络综合性能评价中的应用[A];第十届全国信号处理学术年会(CCSP-2001)论文集[C];2001年
3 程冬玲;朱永利;王新颖;;Petri网模型的程序代码转换[A];2007北京地区高校研究生学术交流会通信与信息技术会议论文集(上册)[C];2008年
4 傅荣;刘超男;;面向对象系统分析与设计中动态模型的Petri网描述[A];1999中国控制与决策学术年会论文集[C];1999年
5 张峰;傅荣;辜建德;李茂青;;信息系统协同开发的Petri网研究[A];1999中国控制与决策学术年会论文集[C];1999年
6 董明峰;王中胜;李敏强;;ERP中动态企业模型和建模方法[A];2000中国控制与决策学术年会论文集[C];2000年
7 王宇;王以直;李敏强;;动态自适应工作流系统的建模研究[A];2000中国控制与决策学术年会论文集[C];2000年
8 王寿光;颜钢锋;;Petri网简化技术在死锁避免控制器设计中的应用[A];第二十四届中国控制会议论文集(下册)[C];2005年
9 唐立军;王小艺;王建中;;一种扩展随机有色Petri网及在防空作战建模中的应用[A];'2008系统仿真技术及其应用学术会议论文集[C];2008年
10 夏传良;鞠彦兵;;Petri网共享TT型子网合成及应用[A];2005年全国理论计算机科学学术年会论文集[C];2005年
中国博士学位论文全文数据库 前10条
1 刘心;基于Petri网的FMS建模及故障诊断方法研究[D];哈尔滨工程大学;2010年
2 徐小峰;面向船舶制造协同物流网络的资源优化研究[D];哈尔滨工程大学;2009年
3 刘天印;基于系统模拟的高校教师工作压力研究[D];华中科技大学;2010年
4 张志明;柔性制造系统死锁预防的Petri网控制器综合[D];浙江大学;2010年
5 刘思华;电网故障诊断方法的研究[D];山东大学;2010年
6 余本功;复杂产品开发过程建模与管理研究[D];合肥工业大学;2011年
7 占济舟;失信因子对软件可信性的影响及其控制[D];南京大学;2011年
8 杨鹏;基于广义随机Petri网理论的SIP的研究[D];兰州理工大学;2009年
9 朱强;基于对等网络架构的新型控制系统研究与实现[D];上海大学;2011年
10 何倩;P2P系统性能优化若干关键技术研究[D];北京邮电大学;2010年
中国硕士学位论文全文数据库 前10条
1 刘洋;可逆逻辑门与可逆逻辑电路的Petri网建模与分析[D];山东科技大学;2010年
2 胡晓文;基于Petri网的非确定工作流的时间和资源管理问题研究[D];山东科技大学;2010年
3 李蕾;有色Petri网的动态性质判定及其在组装生产线中的应用[D];山东科技大学;2010年
4 王廷刚;Petri网表征语言和可达性分析[D];山东科技大学;2010年
5 钊红梅;工作流在网络管理系统中的应用[D];郑州大学;2010年
6 王佳慧;基于面向对象的随机Petri网图形建模与分析工具的开发[D];郑州大学;2010年
7 张茜;基于Petri网的网络脆弱性评估技术研究[D];哈尔滨工程大学;2010年
8 刘石坚;面向对象模糊Petri网的理论及建模研究[D];长沙理工大学;2010年
9 肖良清;基于时间Petri网的并行测试研究[D];长沙理工大学;2010年
10 常显斌;研发合作知识创新的资源分配研究[D];中国海洋大学;2010年
【同被引文献】
中国期刊全文数据库 前10条
1 王环球,高金钟,许凤璋;基于Petri网的系统可靠性分析[J];北京轻工业学院学报;1998年02期
2 赵晓明;谭浩;;基于Petri网的BPEL4WS模型的分析[J];成都信息工程学院学报;2006年04期
3 周炎坤,李满春;大型空间数据仓库初探[J];测绘通报;2000年08期
4 曾成碧,陈光;可达树分析法及其在测试中的应用[J];电子科技大学学报;1999年05期
5 詹柔莹;网络传输层协议的随机Petri网模型及性能分析[J];电子科技大学学报;2001年01期
6 林松;戴宗坤;;电子支付安全协议的Petri网模型及分析[J];大连理工大学学报;2005年S1期
7 李志淮;周晓玮;;网络通信中自定义协议的一种制定方法[J];大连理工大学学报;2005年S1期
8 姜浩,董逸生,罗军舟;基于Petri网的工作流过程建模与分析方法的研究(英文)[J];Journal of Southeast University(English Edition);2000年02期
9 刘婷,林闯,刘卫东;基于时间Petri网的工作流系统模型的线性推理[J];电子学报;2002年02期
10 田立勤,林闯,周文江;随机Petri网模型中变迁的串、并联性能等价化简技术[J];电子学报;2002年08期
中国博士学位论文全文数据库 前10条
1 赵志刚;基于Petri网理论的计算机网络性能分析和电子商务模型设计[D];浙江大学;2002年
2 武小悦;复杂关联系统的可靠性建模与分析[D];中国人民解放军国防科学技术大学;2000年
3 胡瑜;基于有色Petri网理论的并行自动测试系统建模研究[D];电子科技大学;2003年
4 洪国彬;基于随机Petri网的企业业务流程重组的理论与优化方法研究[D];天津大学;2003年
5 洪志国;基于随机Petri网模型的卫星网络性能分析研究[D];中国科学院研究生院(软件研究所);2005年
6 胡红革;网络化控制系统Petri网建模与分析[D];电子科技大学;2005年
7 焦燕鸿;基于SIP/NMA的IP移动网络关键技术研究[D];哈尔滨工程大学;2005年
8 李景霞;基于扩展颜色Petri网的Web服务组合建模研究[D];中国科学院研究生院(计算技术研究所);2006年
9 程渤;服务网格工作流管理技术研究[D];电子科技大学;2006年
10 王占中;基于Petri网的多式联运流程优化研究[D];吉林大学;2007年
中国硕士学位论文全文数据库 前10条
1 王佳慧;基于面向对象的随机Petri网图形建模与分析工具的开发[D];郑州大学;2010年
2 霍敏霞;基于Petri网的并发程序测试路径生成[D];西南大学;2011年
3 钱琪;基于数据仓库的CRM系统设计与应用[D];浙江大学;2003年
4 冯陟;SIP协议研究与应用[D];西北工业大学;2003年
5 耿修堂;基于随机PETRI网的航空电子综合系统数据总线建模分析[D];西北工业大学;2004年
6 王志宏;基于MIL-STD-1553B总线的航空电子综合系统总线通讯研究[D];南京理工大学;2004年
7 徐超;随机Petri网可视化分析软件系统的设计[D];天津大学;2003年
8 张建朝;扩展类型Petri网应用系统的研究[D];北京化工大学;2004年
9 何治斌;ARINC629航空通信总线数据收发装置开发研究[D];西北工业大学;2005年
10 钟文燕;铁路信号系统的Petri网建模与分析研究[D];西南交通大学;2005年
【二级引证文献】
中国期刊全文数据库 前8条
1 张宇琼;陆彦辉;杨守义;;基于CPN的接纳控制系统建模与仿真[J];计算机工程;2011年17期
2 王红;张涛;;基于CPN Tools的抑制弧改进方法研究[J];计算机应用研究;2012年11期
3 汪浩;黄明和;龙浩;;基于G/G/1-FCFS、M/G/1-PS和M/G/∞排队网络的Web服务组合性能分析[J];计算机学报;2013年01期
4 田燕;马晓普;张新刚;张婷;;基于Petri网的临床路径评估与优化[J];计算机科学;2013年05期
5 田燕;;基于TCPN的毕业设计选题流程建模与应用[J];合肥工业大学学报(自然科学版);2013年07期
6 吴立新;王勇;;正态分布真随机数云模型发生器[J];计算机系统应用;2011年10期
7 李阳珍;;物流服务供应链可靠性影响因素识别研究[J];物流技术;2013年07期
8 潘隆涛;涂海宁;;基于随机Petri网的连续型制造系统建模与性能分析[J];组合机床与自动化加工技术;2013年09期
中国博士学位论文全文数据库 前2条
1 邹见效;分布式测控系统容错关键技术研究[D];电子科技大学;2009年
2 林英;多核软件形式化建模、验证及性能评价方法研究[D];云南大学;2013年
中国硕士学位论文全文数据库 前6条
1 邹峥;基于随机Petri网的软件可靠性分析研究[D];长沙理工大学;2010年
2 李珊珊;基于Petri网的海上交通事故致因分析[D];大连海事大学;2009年
3 李智斌;基于改进FMECA方法的弹簧全启式安全阀可靠性分析[D];浙江工业大学;2012年
4 孟广学;基于Petri网的工作流模型的研究与分析[D];电子科技大学;2012年
5 刘军;Petri网分析软件设计与实现[D];电子科技大学;2013年
6 潘隆涛;新型墙材生产过程管理系统的开发[D];南昌大学;2013年
【二级参考文献】
中国期刊全文数据库 前10条
1 林宋;制造系统的Petri网建模[J];北方工业大学学报;2002年03期
2 任爱华,牛锦中,张永鸣;一种基于面向对象 Petri 网的并发程序建模方法[J];北京航空航天大学学报;1998年04期
3 蒋昌俊;矢量文法与PN机[J];中国科学(A辑 数学 物理学 天文学 技术科学);1995年12期
4 岳晓丽,杨斌,郝克刚;信牌驱动式工作流计算模型[J];计算机研究与发展;2000年12期
5 沈俊,罗军舟,顾冠群;EPr/TN网可达性分析的冗余并发后继标识[J];计算机研究与发展;1998年03期
6 李峰,郭玉钗,林宗楷;工作流管理系统中协同建模技术研究[J];计算机辅助设计与图形学学报;2000年11期
7 曹化工,杨曼红;基于对象Petri网的工作流过程定义[J];计算机辅助设计与图形学学报;2001年01期
8 范玉顺,吴澄;基于协调理论的工作流建模方法[J];计算机集成制造系统-CIMS;2001年04期
9 罗军舟,顾冠群,谢俊清;Petri网协议分析器[J];计算机学报;1997年03期
10 林闯;一种资源共享系统的模型和近似性能分析[J];计算机学报;1997年10期
【相似文献】
中国期刊全文数据库 前10条
1 叶伟荣;用微型机控制的大规模集成电路测试系统[J];火力与指挥控制;1984年02期
2 曹维敏;;光纤中脉冲色散的测试系统[J];光纤与电缆及其应用技术;1985年06期
3 ;光偏转技术及器件[J];中国光学与应用光学文摘;1998年01期
4 陈生春,林瑞霖,倪庆棋;现代测试系统中抗干扰技术的应用[J];船海工程;2003年04期
5 杨定军;几个扬声器测试系统[J];电声技术;2005年02期
6 杨明江,杨懿;汽油机共轴泵测试系统和测试方法[J];自动化与仪器仪表;2005年05期
7 马虎;郭海松;;基于LabWindows/CVI与数据库的测试软件设计[J];测控技术;2006年02期
8 王勇;瑚琦;顾玲娟;候建伟;庄松林;;用VB实现的光谱响应自动测试软件[J];光学仪器;2007年01期
9 任明岩;孙金英;;基于计算机的机床测试系统[J];今日电子;2007年05期
10 葛惠君;赵爱东;;瞬态电磁场辐射敏感度测试系统[J];国外电子测量技术;2007年04期
中国重要会议论文全文数据库 前10条
1 陶德华;周建;莫云辉;张建华;;切削润滑剂的润滑性快速测定法[A];中国机械工程学会摩擦学分会润滑技术专业委员会第八届学术年会(厦门)论文集[C];2002年
2 秦小辉;周兵;陈次昌;季全凯;;水轮机模型试验台测试系统的研究[A];第十八届全国水动力学研讨会文集[C];2004年
3 胡欣杰;路川;;关于一致性测试的原理与应用研究[A];第九届全国信号处理学术年会(CCSP-99)论文集[C];1999年
4 杨醉;王晖;刘培国;;一种改进的虚拟暗室测试系统[A];第二十届全国电磁兼容学术会议论文集[C];2010年
5 张佩;高爱华;;基于LabVIEW的红外探测器频率响应测试系统[A];2010年西部光子学学术会议摘要集[C];2010年
6 余明锋;;基于Labview的半导体传感器测试系统开发[A];中国空间科学学会空间探测专业委员会第十八次学术会议论文集(上册)[C];2005年
7 叶小华;罗铭;岑豫皖;;基于虚拟仪器的氮爆式液压破碎锤测试系统[A];第四届全国流体传动与控制学术会议论文集[C];2006年
8 姜新生;周文祥;高永军;;变频调速电机测试系统研究[A];2006中国电工技术学会电力电子学会第十届学术年会论文摘要集[C];2006年
9 钱芸生;张俊举;孙恋君;邢素霞;常本康;;非制冷红外焦平面非均匀性测试技术研究[A];2007年红外探测器及其在系统中的应用学术交流会论文集[C];2007年
10 刘万明;王鲁平;杨卫平;;一种成像制导信息处理机测试系统的设计[A];2007年光电探测与制导技术的发展与应用研讨会论文集[C];2007年
中国重要报纸全文数据库 前10条
1 ;测试系统的开关构造[N];电子报;2008年
2 质测;国内首套卫星质测系统问世[N];中国航天报;2009年
3 广文;R&S新品商用电信研究院[N];通信产业报;2006年
4 孙琎;CMMB测试系统设备招标结束 下一阶段为终端招标[N];第一财经日报;2008年
5 本报记者 张群英;一流测试铸造一流品质[N];网络世界;2005年
6 深圳商报记者 钟国斌;深沪交易所备战全流通IPO[N];深圳商报;2006年
7 北京自动测试技术研究所 冯建科;测试服务要走专业化之路[N];中国计算机报;2006年
8 晓瑜;听诊手机的“声带”[N];通信产业报;2004年
9 ;华为3Com核心路由交换机性能业内领先[N];国际商报;2006年
10 罗德与施瓦茨公司;高品质测试系统解决CDMA网络优化[N];通信产业报;2004年
中国博士学位论文全文数据库 前10条
1 吕富勇;基于精简串行总线的小型模块化测试系统研究[D];南京理工大学;2010年
2 张敏;采后果蔬热导率测试系统研究及其内部传热温度场模拟[D];河南农业大学;2005年
3 邹源;光环境测试系统精确性研究[D];天津大学;2010年
4 刘天野;矿用综合保护器在用测试技术研究[D];中北大学;2014年
5 陈西曲;非致冷红外焦平面的读出电路及测试系统研究[D];华中科技大学;2007年
6 陈忠道;新型铁电阴极材料电子发射特性及机理研究[D];电子科技大学;2005年
7 郭高凤;高温介质材料介电性能终端短路法测试系统研究[D];电子科技大学;2008年
8 丁喜波;电容式湿度传感器测试方法与测试系统研究[D];哈尔滨理工大学;2005年
9 王希珍;电磁全可变气门的仿真控制及相关研究[D];浙江大学;2003年
10 陈伟琳;协议安全测试理论和方法的研究[D];中国科学技术大学;2008年
中国硕士学位论文全文数据库 前10条
1 刘晓锋;火箭发动机多参量测试系统的研究[D];南京理工大学;2005年
2 唐才荣;催化燃烧式气敏元件测试分选系统硬件设计[D];哈尔滨理工大学;2008年
3 李志军;基于计算机打印口的气体传感器测试系统研究[D];华中科技大学;2008年
4 许斌;车载监控终端生产测试系统的设计与实现[D];南京理工大学;2010年
5 李梅;油田井深测试系统的研究[D];新疆大学;2005年
6 张冰;基于VXI总线的水阻试验台的改进设计[D];西南交通大学;2005年
7 刘金鹏;基于LabVIEW的液体加热器虚拟测试系统的研究与设计[D];山东大学;2005年
8 涂治河;汽车电器抗干扰电磁兼容试验台[D];重庆大学;2005年
9 刘泉;径流流速虚拟仪器测试系统的研究[D];华中农业大学;2005年
10 王斑;基于QNX实时操作系统的测试系统[D];西北工业大学;2006年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026