收藏本站
《电子科技大学学报》 1999年05期
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

可达树分析法及其在测试中的应用

曾成碧  陈光  
【摘要】:介绍了数字电路故障诊断的Petri网模型和Petri网的分析方法之—─—可达树分析法。该方法应适用于各种Petri网,但由于状态空间的复杂,其限适用于较小Petri网。并研究了可达树分析法在数字电路故障测试中的应用。

【引证文献】
中国期刊全文数据库 前2条
1 詹柔莹;网络传输层协议的随机Petri网模型及性能分析[J];电子科技大学学报;2001年01期
2 杨平,杜丽;测控一体化的集成技术[J];电子科技大学学报;2002年01期
中国博士学位论文全文数据库 前2条
1 胡瑜;基于有色Petri网理论的并行自动测试系统建模研究[D];电子科技大学;2003年
2 詹惠琴;测试系统的Petri网建模和性能分析研究[D];电子科技大学;2005年
中国硕士学位论文全文数据库 前3条
1 何力;虚拟实验系统中仿真电路故障诊断的研究与实现[D];华中科技大学;2004年
2 吴凌燕;基于Petri网的智能机器人系统死锁检测[D];南京理工大学;2005年
3 翟兴明;Robocup中型机器人系统及多机器人协作研究[D];同济大学;2007年
【共引文献】
中国期刊全文数据库 前10条
1 仇多桥;电力电子装备维修方案优化分析[J];船电技术;2004年02期
2 谭扬波,陈光 ;固定极Reed-Muller展开式在布尔函数等效性的应用[J];电子科技大学学报;1999年02期
3 曾成碧,陈光;VLSI功能测试的最佳测试序列的选取[J];电子科技大学学报;2000年02期
4 李迅波;机床主轴回转误差计算机辅助测试[J];电子科技大学学报;1998年02期
5 曾成碧,陈光;Petri网矩阵法用于数字电路故障诊断[J];电路与系统学报;1999年04期
6 陈光;加速可测性设计研究,提高电子装备的可靠性[J];测控技术;1998年05期
7 李为民,王厚军,陈光禹,顾亚平;ICCAT专家系统测试方法的初步实验研究[J];计算机工程;1994年03期
8 刘向东,李朝阳,谷宇章;贯彻MIL-STD-883C标准的集成电路老化测试系统[J];计算机自动测量与控制;1998年01期
9 潘中良,张光昭;电路测试神经网络方法中求多个测试矢量[J];微电子学与计算机;2000年03期
10 康波,吕炳朝,陈光;基于混沌搜索的故障测试集最小化方法[J];微电子学与计算机;2003年04期
中国博士学位论文全文数据库 前1条
1 康波;混沌控制与混沌优化及其在组合电路测试生成中的应用研究[D];电子科技大学;2003年
中国硕士学位论文全文数据库 前4条
1 戴志坚;高速逻辑分析仪硬件系统设计[D];电子科技大学;2002年
2 章其波;基于DES理论的数模混合电路可测试性研究[D];合肥工业大学;2003年
3 彭建涵;基于FPSLIC的SOC技术研究及其在逻辑分析仪中的应用[D];华东师范大学;2005年
4 徐金荣;基于BIST的嵌入式存储器可测性设计研究[D];北京交通大学;2008年
【同被引文献】
中国期刊全文数据库 前10条
1 单锦辉,姜瑛,孙萍;软件测试研究进展[J];北京大学学报(自然科学版);2005年01期
2 任爱华,牛锦中,张永鸣;一种基于面向对象 Petri 网的并发程序建模方法[J];北京航空航天大学学报;1998年04期
3 张素兵,刘泽民;基于蚂蚁算法的分级QoS路由调度方法[J];北京邮电大学学报;2000年04期
4 王环球,高金钟,许凤璋;基于Petri网的系统可靠性分析[J];北京轻工业学院学报;1998年02期
5 杨平,华云;组件技术在微机测试系统中的应用研究[J];电子科技大学学报;2000年02期
6 曾成碧,陈光;VLSI功能测试的最佳测试序列的选取[J];电子科技大学学报;2000年02期
7 詹柔莹;网络传输层协议的随机Petri网模型及性能分析[J];电子科技大学学报;2001年01期
8 曾成碧,陈光;Petri网矩阵法用于数字电路故障诊断[J];电路与系统学报;1999年04期
9 孙荀英,张怀,梁国平;亚洲大陆下的地幔流动及其对亚洲地壳的作用力[J];地震学报;2002年03期
10 张友军,吴春明,朱淼良;自主式移动机器人流水线调度模型的设计与实现[J];电子学报;1998年02期
中国博士学位论文全文数据库 前5条
1 高昆;基于DSP并行处理系统的虚拟仪器设计方法的研究[D];浙江大学;2002年
2 张祺;基于视觉的机器人足球比赛系统研究[D];广东工业大学;2003年
3 徐小良;自动测试系统的面向对象框架开发方法研究[D];浙江大学;2003年
4 杨东勇;多机器人协作的学习与进化方法[D];浙江大学;2005年
5 詹惠琴;测试系统的Petri网建模和性能分析研究[D];电子科技大学;2005年
中国硕士学位论文全文数据库 前9条
1 徐辰;基于符号执行和约束求解的程序验证与测试工具[D];中国科学院研究生院(软件研究所);2002年
2 杨宇;基于变量关系图和符号执行的指针相关路径分析[D];中国科学院研究生院(软件研究所);2003年
3 耿修堂;基于随机PETRI网的航空电子综合系统数据总线建模分析[D];西北工业大学;2004年
4 周长红;UML图的Petri网建模[D];山东科技大学;2004年
5 孙建玲;基于Petri网的航空项目数据动态管理模型研究[D];西北工业大学;2005年
6 钟文燕;铁路信号系统的Petri网建模与分析研究[D];西南交通大学;2005年
7 徐艳丽;基于Petri网的软件测试模型的构造及其建模工具的研究[D];西安理工大学;2006年
8 海丹;全向移动平台的设计与控制[D];国防科学技术大学;2005年
9 奚阿丹;参数化建模与几何约束求解技术的研究[D];吉林大学;2007年
【二级引证文献】
中国期刊全文数据库 前3条
1 孙群;孟晓风;王国华;;基于固定优先级算法的便携式检定仪自动校准[J];测试技术学报;2006年06期
2 王俭勤,李永明,杜延飞;美国海军自动测试设备RT-CASS的软件平台——PAWS[J];测控技术;2005年04期
3 易勇,吴波,古天祥;分布式测控系统集成模型研究[J];计算机工程与应用;2005年28期
中国重要会议论文全文数据库 前1条
1 夏锐;肖明清;程进军;;基于多目标遗传退火算法的并行测试任务调度[A];中国仪器仪表学会第九届青年学术会议论文集[C];2007年
中国博士学位论文全文数据库 前2条
1 陆廷荣;IP网分级寻址的研究[D];哈尔滨工程大学;2006年
2 夏均忠;基于网络的军车安全性能智能检测和隐患预警系统的研究[D];天津大学;2005年
中国硕士学位论文全文数据库 前6条
1 刘通;Petri网在制造业物流系统中的应用[D];西安建筑科技大学;2006年
2 郑凯;网格工作流的研究与完善[D];太原理工大学;2006年
3 韩咚;基于颜色Petri网的安全协议分析[D];山东科技大学;2007年
4 魏星;测控实时数据处理软件对象框架研究[D];重庆大学;2007年
5 高霖;CBTC区域控制系统中列车管理的建模与分析[D];北京交通大学;2008年
6 付国轩;基于随机Petri网的多式联运系统可靠性研究[D];北京交通大学;2008年
【相似文献】
中国重要会议论文全文数据库 前2条
1 胡红革;宋亚辉;黄大贵;;用混合Petri网对微开关加工系统建模和仿真[A];中国仪器仪表学会第六届青年学术会议论文集[C];2004年
2 石泽兴;胡静涛;;基于VRML的虚拟IC集束装备建模与仿真[A];第六届全国信息获取与处理学术会议论文集(1)[C];2008年
中国博士学位论文全文数据库 前2条
1 薛雷;基于Petri网的集成电路柔性制造系统建模、分析及调度[D];西安电子科技大学;2001年
2 余金山;模型驱动的SoC系统级功能验证关键技术研究[D];国防科学技术大学;2007年
中国硕士学位论文全文数据库 前3条
1 谢晔;基于Petri网的异步电路设计研究[D];江苏大学;2008年
2 潘青枝;基于Petri网的半导体炉管区动态调度研究[D];上海交通大学;2008年
3 马伯伟;高级综合优化算法研究[D];哈尔滨工程大学;2003年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026