搜索筛选:
搜索耗时1.2772秒,为你在为你在102,285,761篇论文里面共找到 127 篇相符的论文内容
发布年度:
[期刊论文] 作者：曾成碧,
来源：实用测试技术 年份：2000
本文描述了可满足的测试向量生成 (ATPG)算法 ,对可满足的测试向量生成算法的不足 ,提出改进的全局蕴涵及唯一确定值的计算 ,来简化搜索空间、降低搜索量、加速测试生成。更...
[期刊论文] 作者：曾成碧,
来源：系统工程与电子技术 年份：2000
描述一种新的健合高效的测试向量自动生成方法－测试向量生成的可满足性算法。与现有的测试向量生成算法相比，满足性算法是一种有效改进搜索空间的搜索算法，运用几种简化技术，进上......
[期刊论文] 作者：曾成碧,
来源：电路与系统学报 年份：2000
本文他在源输入的确定赋值数最小时组合电路的测试生成方法后，介绍了基于可满足性的测试向量压缩的整数组性规划（ＩＬＰ）模型。利用ＪＳＣＡＳ８５基准电路仿真的结果说明了用此模型求解压缩测试向量......
[期刊论文] 作者：曾成碧,
来源：微电子学 年份：2000
介绍了采用单变迁故障模型的时序系统状态组区别序列测试方法，通过选择状态组区别序列优化测试序列长度。这种测试生成方法比时序电路门级测试生成快得多，而且能达到很高的故障......
[期刊论文] 作者：曾成碧,
来源：电子科技大学学报 年份：2000
介绍了ＶＬＳＩ功能测试向量生成的Ｐｅｔｒｉ网模型和Ｐｅｔｒｉ网模拟测序列中指令的关系，构造了压缩存储网络的拓扑信息的Ｐｅｔｒｉ网简的矩阵。用Ｐｅｔｒｉ网简约矩阵检查测试的不确定度，使测试序不确定度最小，从而优化了测......
[期刊论文] 作者：曾成碧,
来源：微电子学 年份：2000
介绍了一种ＶＬＳＩ功能测试生成的结构分析法。它采用Ｐｅｔｒｉ网作为测试序列的模型工具，通过简化Ｐｅｔｒｉ网选择不确定度最小的测试序列，以降低测试序列的复杂度，缩短计算时间。......
[学位论文] 作者：曾成碧,
来源：电子科技大学 年份：2000
现代数字集成电路技术的飞速发展,对计算机辅助测试提出了更多更高的要求,可满足性方法(SAT-Satisfiability)作为一种有效的完备测试生成方法,近年来在集成电路测试领域引起...
[学位论文] 作者：曾成碧,
来源：成都科技大学 四川大学 年份：1994
...
[会议论文] 作者：曾成碧,
来源：第九届中国集成电路测试学术年会 年份：1999
该文介绍数字电路的彩色Petri网模型、彩色Petri网的邻接矩阵，邻接矩阵能压缩存储数字电路的拓扑。用实例分析Petri网的状态分析法在逻辑电路故障诊断中的算法与应用。...
[期刊论文] 作者：张莹,曾成碧,
来源：电测与仪表 年份：2020
中小型汽轮发电机组励磁系统中常采用三相桥式半控整流电路输出电压作为励磁电源,但三相桥式半控易发生失控现象,影响发电机组正常运行。文章深入研究三相桥式半控整流电路失...
[期刊论文] 作者：肖利,曾成碧,,
来源：现代电力 年份：2009
以微型燃气轮机为核心的分布式供能系统是缓解目前国内能源危机的重要途径之一。国内对微型燃气轮机需求量的大幅度增长,也促进了对综合性能指标更优的微型燃气轮机的引进与...
[期刊论文] 作者：陈丹,曾成碧,
来源：现代技术陶瓷 年份：2006
提出了一种新颖的多层压电陶瓷变压器等效电路模型和分析方法。基于多层压电变压器陶瓷片在结构上的电学并联关系，建立了其在电路上的并联表示模型，并把输出电量与输入电量之间......
[期刊论文] 作者：曾成碧,潘一飞,
来源：河北科技大学学报 年份：2010
有效的发电机励磁控制是提高电力系统动态性能的主要手段之一。提出了一种基于电压和角速度信号联合反馈的模糊PID控制方案,利用模糊推理整定PID参数,以增强对动态环境的适应...
[期刊论文] 作者：白维,曾成碧,
来源：四川电力技术 年份：2005
龚嘴水电厂1号发电机组运行至今已三十多年,现在设备老化现象严重.2003年5月该厂改造了1号水轮发电机组定子线圈、铁芯和水涡轮,通过采用新型通风系统结构,实现了定子、转子...
[期刊论文] 作者：曾成碧,陈光,
来源：电路与系统学报 年份：1999
本文介绍数字电路的Ｐｅｔｒｉ网络模型，Ｐｅｔｒｉ网的矩阵能压缩存禽数字电路的拓扑，Ｐｅｔｒｉ网的矩阵法在数字电路故障诊断中的应用。...
[期刊论文] 作者：曾成碧,陈光,
来源：四川大学学报(工程科学版) 年份：2000
描述了可满足性的测试向量生成（ＳＡＴ－ＡＴＰＧ）算法，针对此算法的不足提出反向路径敏化算法（ＢＰＳ）嵌入ＳＡＴ－ＡＴＰＧ中，减少了ＣＮＦ的构成时间和搜索空间，而且减轻故障压缩的工作量，又不损失最终测试集的精简。......
[期刊论文] 作者：曾成碧,陈光,
来源：电子科技大学学报 年份：1999
介绍了数字电路故障诊断的Ｐｅｔｒｉ网模型和Ｐｅｔｒｉ网的分析方法之一－可达树分析法。该方法适用于各种Ｐｅｔｒｉ网，但由于状态空间的复杂，其限适于较小Ｐｅｔｒｉ网。并研究了可达树分析法在数字电路故障测试中的应......
[期刊论文] 作者：曾成碧,陈光,
来源：微电子学 年份：2004
介绍了一种VLSI功能测试生成的结构分析法.它采用Petri网作为测试序列的模型工具,通过简化Petri网选择不确定度最小的测试序列,以降低测试序列的复杂度,缩短计算时间....
[期刊论文] 作者：曾成碧,陈光,
来源：系统工程与电子技术 年份：2004
描述一种新的健全高效的测试向量自动生成方法--测试向量生成的可满足性算法.与现有的测试向量生成算法相比,满足性算法是一种有效改进搜索空间的搜索算法,运用几种简化技术,...
[期刊论文] 作者：曾成碧,陈光,
来源：电子科技大学学报 年份：2000
介绍了ＶＬＳＩ功能测试向量生成的Ｐｅｔｒｉ网模型和Ｐｅｔｒｉ网模拟测试序列中指令的关系，构造了压缩存储网络的拓扑信息的Ｐｅｔｒｉ网简约矩阵。用Ｐｅｔｒｉ网简约矩阵检查测试序列的不确定度，使测试序列不确定度最小，从而......
相关搜索：
