期刊文献+
共找到300篇文章
< 1 2 15 >
每页显示 20 50 100
虚拟仪器技术分析 被引量:40
1
作者 晓维 《电子测量与仪器学报》 CSCD 1996年第3期9-13,共5页
本文从支撑技术角度介绍了虚拟仪器的概念,概括了虚拟仪器的特性,分析了虚拟仪器的硬件平台及其依托的软件基础,并以LabVIEW为例介绍了虚拟仪器的开发环境。
关键词 虚拟仪器 VXI总线 测试仪器 软件
下载PDF
基于加权中值的分布式传感器网络故障检测(英文) 被引量:38
2
作者 高建良 徐勇军 晓维 《软件学报》 EI CSCD 北大核心 2007年第5期1208-1217,共10页
无线传感器网络中的错误测量数据会导致网络服务质量下降和能量浪费.提出了一种通过融合邻居节点的测量数据来实现故障检测的策略.主要做了以下3项工作:(1)提出了一种新颖的对邻居节点测量数据进行加权的方法;(2)提出了一种衡量测量数... 无线传感器网络中的错误测量数据会导致网络服务质量下降和能量浪费.提出了一种通过融合邻居节点的测量数据来实现故障检测的策略.主要做了以下3项工作:(1)提出了一种新颖的对邻居节点测量数据进行加权的方法;(2)提出了一种衡量测量数据之间差距的方法;(3)提出了基于加权中值的故障诊断策略WMFDS(weighted median fault detection scheme),它同时适用于二进制决策和实数测量值.理论分析及仿真结果表明,即使节点发生故障的概率很高,提出的诊断策略也能得到很高的检测精度和较小的误判率,这表明在无线传感器网络故障检测中应用该方法具有很好的性能. 展开更多
关键词 无线传感器网络 故障检测 加权中值 空间相关 WMFDS(weighted MEDIAN FAULT detection scheme)
下载PDF
温度对番茄潜叶蛾生长发育和繁殖的影响 被引量:38
3
作者 晓维 +4 位作者 马琳 付开赟 丁新华 郭文超 吕要斌 《昆虫学报》 CAS CSCD 北大核心 2019年第12期1417-1426,共10页
【目的】番茄潜叶蛾Tuta absoluta是一种对番茄具有毁灭性危害的世界性入侵害虫,本研究旨在探索温度对入侵番茄潜叶蛾种群生长发育和繁殖的影响,为预测番茄潜叶蛾的分布区域、田间发生动态提供基础。【方法】在室内测定了番茄叶片上番... 【目的】番茄潜叶蛾Tuta absoluta是一种对番茄具有毁灭性危害的世界性入侵害虫,本研究旨在探索温度对入侵番茄潜叶蛾种群生长发育和繁殖的影响,为预测番茄潜叶蛾的分布区域、田间发生动态提供基础。【方法】在室内测定了番茄叶片上番茄潜叶蛾在15,20,25,30和35℃5个恒定温度条件下各虫态的发育历期和存活率、繁殖力和种群增长参数,并应用不同模型分析发育速率、内禀增长率和净生殖率与温度的关系,估计发育起点温度、发育极限温度、发育最适温度、有效积温和年发生代数。【结果】在恒温15~30℃范围内,番茄潜叶蛾各虫态的发育历期随温度升高而逐渐缩短。25℃下幼虫期存活率、成虫前期存活率、雌虫总产卵量、净生殖率、内禀增长率和周限增长率均最大。在35℃下,卵的存活率骤降至11%,孵化的幼虫无法正常发育。卵期、幼虫期、蛹期、成虫前期、全世代的有效积温分别为104.17,232.59,129.87,434.78和526.32日·度,该虫在新疆伊宁县和察布查尔锡伯自治县的理论发生代数为4~5代。基于发育速率与温度关系的模型与基于种群增长参数与温度关系的模型所计算的积温需求参数不同,基于内禀增长率求得的番茄潜叶蛾的发育起点温度、发育极限高温和发育最适温度分别为12.46,30.40和27.36℃。【结论】入侵我国新疆地区的番茄潜叶蛾适温范围广泛,在我国大部分地区具有极高的扩散风险。 展开更多
关键词 番茄潜叶蛾 温度 生长发育 种群增长参数 积温需求
下载PDF
无线传感器网络时间同步新技术 被引量:31
4
作者 徐朝农 徐勇军 晓维 《计算机研究与发展》 EI CSCD 北大核心 2008年第1期138-145,共8页
时间同步是无线传感器网络的基本中间件之一.最近,许多基于时间信息交换的时间同步协议已被提出.然而,在大规模无线传感器网络中,同步误差随跳距的累积问题和可扩展性需求是传统的时间同步技术面临的主要挑战.为了应对这两个挑战,无线... 时间同步是无线传感器网络的基本中间件之一.最近,许多基于时间信息交换的时间同步协议已被提出.然而,在大规模无线传感器网络中,同步误差随跳距的累积问题和可扩展性需求是传统的时间同步技术面临的主要挑战.为了应对这两个挑战,无线传感器网络的研究者们开始关注古老的萤火虫同步技术和最近才被提出的协作同步技术.直到最近,尤其是在Strogatz和Mirollo模型被提出以后,古老的萤火虫同步技术才在单跳网络内取得了突破性进展.而在多跳网络中,虽然已有大量的实验和仿真,但其收敛性仍有待从理论上进行研究.基于新颖的空间平均而非传统的时间平均的思想,协作同步技术为无线传感器网络时间同步提供了另外一个新的解决方案,尽管目前对其的研究仍停留于仿真阶段.介绍了萤火虫同步技术和协作同步技术的基本思想和目前在无线传感器网络中的研究及应用现状,并探讨了未来可能的研究方向. 展开更多
关键词 无线传感器网络 时间同步 萤火虫同步 协作同步 同步性
下载PDF
基于精细化梯度的无线传感器网络汇聚机制及分析 被引量:20
5
作者 朱红松 孙利民 +1 位作者 徐勇军 晓维 《软件学报》 EI CSCD 北大核心 2007年第5期1138-1151,共14页
信息汇聚是无线传感器网络的典型传输形态之一.在信息汇聚过程中,网络存在数据流分布内密外疏的不均衡特性.研究发现,在传统跳数模型下,网络数据流分布不仅存在全局不均衡性,而且同层节点内还存在着内疏外密的反向不均衡现象,从而使网... 信息汇聚是无线传感器网络的典型传输形态之一.在信息汇聚过程中,网络存在数据流分布内密外疏的不均衡特性.研究发现,在传统跳数模型下,网络数据流分布不仅存在全局不均衡性,而且同层节点内还存在着内疏外密的反向不均衡现象,从而使网络流量分析复杂化.提出一种精细化梯度模型,通过引入加权平均机制,将跳数信息转化为精细梯度信息,并以梯度作为数据汇聚的参考依据.通过理论和仿真分析,精细化梯度模型下网络具有更平稳的网络数据流分布特征,并在通常情况下具有更高的通信效率. 展开更多
关键词 无线传感器网络 跳数模型 精细化梯度模型 通信负载分布 通信效率
下载PDF
用于片上网络的容错通信算法 被引量:18
6
作者 张磊 华伟 晓维 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2007年第4期508-514,共7页
提出一种带有端到端反馈的随机路由算法.随机路由可以有效地处理传输过程中的随机错误,并具有较高的转发速度.端到端的反馈机制保证了传输的正确性,同时降低了传输功耗.实验结果表明,该算法具有较短的延迟,较低的功耗,并能提供高可靠的... 提出一种带有端到端反馈的随机路由算法.随机路由可以有效地处理传输过程中的随机错误,并具有较高的转发速度.端到端的反馈机制保证了传输的正确性,同时降低了传输功耗.实验结果表明,该算法具有较短的延迟,较低的功耗,并能提供高可靠的片上通信. 展开更多
关键词 容错 可靠性 片上网络 扩散算法 随机走动 检错纠错 随机路由
下载PDF
无线传感器网络时间同步协议的改进策略 被引量:16
7
作者 徐朝农 赵磊 +1 位作者 徐勇军 晓维 《计算机学报》 EI CSCD 北大核心 2007年第4期514-523,共10页
鉴于NTP和无线传感器网络时间同步协议的相似性,提出把NTP中的时间过滤、时间选择和时间组合算法简化后应用于无线传感器网络时间同步协议中以提高同步精度的策略.作为例证,将时间组合算法简化后引入BTS协议中.模拟的结果表明:在... 鉴于NTP和无线传感器网络时间同步协议的相似性,提出把NTP中的时间过滤、时间选择和时间组合算法简化后应用于无线传感器网络时间同步协议中以提高同步精度的策略.作为例证,将时间组合算法简化后引入BTS协议中.模拟的结果表明:在由81个Mica 2节点组成的8跳网络内,除抗拒节点的同步误差保持不变外,其余节点的同步误差减小至改进前的67.70%~91.58%;具有相同跳距的节点的平均同步误差随跳距的增加率由19.8减小至15.5μs/跳;同时没有额外的报文开销.理论分析表明:同步精度的提高得益于应用时间组合算法所导致的节点时间偏移量均方差的减小. 展开更多
关键词 无线传感器网络 时间同步 网络时间协议 同步性 低功耗
下载PDF
番茄潜叶蛾对4种茄科植物的适应性研究 被引量:23
8
作者 晓维 +1 位作者 郭文超 吕要斌 《植物检疫》 北大核心 2019年第3期1-5,共5页
番茄潜叶蛾(Tuta absoluta (Meyrick))是茄科植物上的重要害虫。本文研究了番茄、马铃薯、茄子和辣椒4种寄主对番茄潜叶蛾产卵选择、生长发育和种群增长参数的影响。结果表明,成虫对4种寄主的产卵偏好性强弱依次为番茄>马铃薯>茄... 番茄潜叶蛾(Tuta absoluta (Meyrick))是茄科植物上的重要害虫。本文研究了番茄、马铃薯、茄子和辣椒4种寄主对番茄潜叶蛾产卵选择、生长发育和种群增长参数的影响。结果表明,成虫对4种寄主的产卵偏好性强弱依次为番茄>马铃薯>茄子>辣椒。辣椒上卵发育历期最长,幼虫孵化后不能完成发育。番茄上成虫前期存活率高于马铃薯和茄子,但总发育历期较长。该虫取食番茄叶片时的单雌产卵量和雌虫寿命高于其取食马铃薯和茄子叶片。其取食番茄、马铃薯和茄子叶片时的内禀增长率分别为0.143 4、0.140 6、0.113 3。综上所述,番茄潜叶蛾的最适寄主为番茄;在辣椒上无法完成生长发育;在马铃薯和茄子上种群增长潜能较强,具有暴发成灾的可能。 展开更多
关键词 番茄潜叶蛾 茄科植物 产卵选择性 生长发育 种群增长参数
原文传递
9种杀虫剂对番茄潜叶蛾的防治效果评价 被引量:19
9
作者 阿米热·牙生江 阿地力·沙塔尔 +5 位作者 付开赟 丁新华 何江 吐尔逊·阿合买提 郭文超 晓维 《新疆农业科学》 CAS CSCD 北大核心 2020年第12期2291-2298,共8页
【目的】筛选应急防控番茄潜叶蛾的绿色、高效农药,为防止进一步扩散为害提供指导。【方法】选择9种内吸性杀虫剂,分2个浓度梯度,总计在田间设置18个药剂处理和1个清水对照,在药后1、3、7和14 d调查虫口,计算虫口减退率及防效,筛选绿色... 【目的】筛选应急防控番茄潜叶蛾的绿色、高效农药,为防止进一步扩散为害提供指导。【方法】选择9种内吸性杀虫剂,分2个浓度梯度,总计在田间设置18个药剂处理和1个清水对照,在药后1、3、7和14 d调查虫口,计算虫口减退率及防效,筛选绿色高效的农药及最佳药剂浓度。【结果】60 mL/667m^2的6%阿维·氯苯酰SC、42 mL/667m^224%甲氧虫酰肼SC、7.5 mL/667m^2的20%氯虫苯甲酰胺SC 3种药剂对番茄潜叶蛾的防治效果和虫口减退率均在90%以上,后两者在后期效果最为明显,具有持效性。3种药剂在药后14 d防效分别为93.6%、93.16%和93.72%,虫口减退率分别为91.20%,90.59%和91.36%。37.5 mL/667m^2的0.3%印楝素EW在整个过程防效最低,药后14 d防效为38.04%,其减退率仅为14.79%。【结论】轮换使用60 mL/667m^2的阿维·氯苯酰SC、42 mL/667m^224%甲氧虫酰肼SC、7.5 mL/667m^2的20%氯虫苯甲酰胺SC在生产上。 展开更多
关键词 番茄潜叶蛾 鳞翅目 药剂筛选 田间药剂试验
下载PDF
测试数据压缩和测试功耗协同优化技术 被引量:15
10
作者 韩银和 晓维 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2005年第6期1307-1311,共5页
提出一种新的压缩编码———VariableTail对测试数据进行压缩.建立了两个优化模型,并提出了一种测试向量排序和不确定位定值算法.利用该算法不仅能提高测试压缩率,而且能降低测试时待测电路上损耗的功耗.理论分析和ISCAS85,ISCAS89电路... 提出一种新的压缩编码———VariableTail对测试数据进行压缩.建立了两个优化模型,并提出了一种测试向量排序和不确定位定值算法.利用该算法不仅能提高测试压缩率,而且能降低测试时待测电路上损耗的功耗.理论分析和ISCAS85,ISCAS89电路的实验结果验证了文中编码和算法的有效性. 展开更多
关键词 测试数据压缩 测试功耗 Golomb编码 海明距离
下载PDF
新疆和云南番茄潜叶蛾种群对六种杀虫剂的敏感性及其与解毒酶活性的关系 被引量:16
11
作者 晓维 马琳 吕要斌 《昆虫学报》 CAS CSCD 北大核心 2022年第8期1010-1017,共8页
【目的】番茄潜叶蛾是新入侵我国的对番茄具有毁灭性危害的入侵害虫,目前入侵我国的番茄潜叶蛾种群对杀虫剂的抗性尚无报道。本研究旨在明确新疆和云南番茄潜叶蛾田间种群对6种常用杀虫剂的敏感性及其与解毒酶活性的关系。【方法】采用... 【目的】番茄潜叶蛾是新入侵我国的对番茄具有毁灭性危害的入侵害虫,目前入侵我国的番茄潜叶蛾种群对杀虫剂的抗性尚无报道。本研究旨在明确新疆和云南番茄潜叶蛾田间种群对6种常用杀虫剂的敏感性及其与解毒酶活性的关系。【方法】采用浸叶法测定6种常用杀虫剂对番茄潜叶蛾新疆和云南种群2龄幼虫的室内毒力。通过对2龄幼虫的生物测定确定3种增效剂[CYP450抑制剂胡椒基丁醚(PBO)、酯酶抑制剂磷酸三苯酯(TPP)和GST抑制剂丁烯二酸二乙酯(DEM)]对氯虫苯甲酰胺的增效作用。采用酶活性分析测定室内敏感种群和田间抗性种群(新疆种群)2龄幼虫体内解毒酶[细胞色素P450酶(CYP450)、谷胱甘肽S-转移酶(GST)和羧酸酯酶(CarE)]活性,以确定杀虫剂抗性与解毒酶活性的关系。【结果】番茄潜叶蛾云南种群对6种杀虫剂的敏感性由高到低依次为甲维盐、溴虫腈、多杀菌素、茚虫威、氯虫苯甲酰胺和高效氯氰菊酯。新疆种群对6种杀虫剂的敏感性由高到低依次为甲维盐、溴虫腈、氯虫苯甲酰胺、多杀菌素、茚虫威和高效氯氰菊酯。与室内敏感种群相比,云南和新疆种群对氯虫苯甲酰胺的抗性水平最高,抗性倍数分别为212.7和169.3倍。生物测定结果表明,3种增效剂PBO,TPP和DEM均对氯虫苯甲酰胺无明显增效作用。酶活性测定结果表明,番茄潜叶蛾室内敏感种群和田间抗性种群之间2龄幼虫中CYP450,GST和CarE活性无显著差异。【结论】番茄潜叶蛾新疆和云南种群对测试的6种杀虫剂产生不同程度的抗性,对氯虫苯甲酰胺的抗性最高,番茄潜叶蛾对杀虫剂的抗性与解毒酶活性无关。本研究的结果对番茄潜叶蛾的田间防治和杀虫剂抗性治理具有指导意义。 展开更多
关键词 番茄潜叶蛾 入侵种 新疆种群 云南种群 杀虫剂 毒力测定 解毒酶
下载PDF
基于最小包含圆的无线传感器网络定位算法 被引量:13
12
作者 周全 朱红松 +1 位作者 徐勇军 晓维 《通信学报》 EI CSCD 北大核心 2008年第11期84-90,共7页
提出一种新的无需测距定位算法——基于最小包含圆的定位(SECL)。该算法根据目标周围的锚节点所决定的最小包含圆来估计目标位置。基于最小包含圆的算法考虑的不是坐标系中所有锚节点位置的平均值,而是覆盖所有锚节点区域的几何中心,能... 提出一种新的无需测距定位算法——基于最小包含圆的定位(SECL)。该算法根据目标周围的锚节点所决定的最小包含圆来估计目标位置。基于最小包含圆的算法考虑的不是坐标系中所有锚节点位置的平均值,而是覆盖所有锚节点区域的几何中心,能够有效地控制锚节点分布不均匀给定位带来的负面影响。仿真结果显示,相对于质心算法平均定位精度能提高10%以上。SECL在锚节点拓扑不均匀情况下,精度提升更高。 展开更多
关键词 无线传感器网络 最小包含圆 定位 无需测距
下载PDF
植物次生代谢物质对蓟马的行为调控作用及其在蓟马防控中的应用 被引量:14
13
作者 晓维 程江辉 +1 位作者 韩海斌 吕要斌 《昆虫学报》 CAS CSCD 北大核心 2022年第9期1222-1246,共25页
蓟马是多种农作物和园艺作物上的重要害虫,通过直接取食和间接传播病毒给作物造成巨大的经济损失。植物次生代谢物质在植物-昆虫互作中起到重要的作用,通过植物次生代谢物质调控害虫行为从而达到控制害虫的目的是一种害虫绿色防控的重... 蓟马是多种农作物和园艺作物上的重要害虫,通过直接取食和间接传播病毒给作物造成巨大的经济损失。植物次生代谢物质在植物-昆虫互作中起到重要的作用,通过植物次生代谢物质调控害虫行为从而达到控制害虫的目的是一种害虫绿色防控的重要措施。本文综述了对蓟马类害虫具有引诱、驱避、抑制产卵、拒食、熏蒸毒性和毒杀作用的植物、植物提取物、植物精油和化合物,并讨论了植物次生代谢物质在蓟马防控中的应用潜能。对蓟马具有引诱作用的主要包括27科54种植物的挥发物或精油、29种苯环类、17种吡啶类和13萜烯类化合物,可开发为诱集植物和引诱剂;具有驱避作用的主要包括16科40种植物的挥发物或精油、20种萜烯类和6种苯环类化合物,可开发为驱避植物和驱避剂;具有抑制产卵、拒食、熏蒸毒性和毒杀作用的主要有20科42种植物的提取物或精油、6种生物碱类、15种萜烯类和5种苯环类化合物,可开发为植物源农药和熏蒸剂。本文最后讨论了应用植物次生代谢物质防控蓟马存在的作用效果不稳定、田间应用技术缺乏、作用机制不明确等问题,并展望了未来的研究方向,对基于植物次生代谢物质的蓟马绿色防控具有重要意义。 展开更多
关键词 蓟马 植物次生代谢物质 引诱作用 驱避作用 抑制产卵 拒食作用 熏蒸毒性 毒杀毒性 生物防治
下载PDF
一种低功耗BIST测试产生器方案 被引量:11
14
作者 何蓉晖 晓维 宫云战 《微电子学与计算机》 CSCD 北大核心 2003年第2期36-39,共4页
低功耗设计呼唤低功耗的测试策略。文章提出了一种在不损失固定型故障覆盖率的前提下降低测试功耗的内建自测试测试产生器方案,该方案在原始线性反馈移位寄存器的基础上添加简单的控制逻辑,对LFSR的输出和时钟进行调整,从而得到了准单... 低功耗设计呼唤低功耗的测试策略。文章提出了一种在不损失固定型故障覆盖率的前提下降低测试功耗的内建自测试测试产生器方案,该方案在原始线性反馈移位寄存器的基础上添加简单的控制逻辑,对LFSR的输出和时钟进行调整,从而得到了准单输入跳变的测试向量集,使得待测电路的平均功耗大大降低。给出了以ISCAS’85/89部分基准电路为对象的实验结果,电路的平均测试功耗降幅在54.4%~98.0%之间,证明了该方案的有效性。 展开更多
关键词 BIST 低功耗设计 内建自测试 测试产生器 线性反馈移位寄存器 集成电路
下载PDF
西花蓟马和花蓟马聚集信息素田间引诱试验及其在种间互作中的作用 被引量:14
15
作者 耿双双 晓维 +2 位作者 章金明 张治军 吕要斌 《昆虫学报》 CAS CSCD 北大核心 2017年第12期1447-1456,共10页
【目的】西花蓟马Frankliniella occidentalis和花蓟马F.intonsa雄成虫均可以释放聚集信息素,且对雌雄虫均具有吸引作用。两种蓟马聚集信息素的主要成分相同,为(R)-lavandulyl acetate和neryl(S)-2-methylbutanoate,但两种主要成分的比... 【目的】西花蓟马Frankliniella occidentalis和花蓟马F.intonsa雄成虫均可以释放聚集信息素,且对雌雄虫均具有吸引作用。两种蓟马聚集信息素的主要成分相同,为(R)-lavandulyl acetate和neryl(S)-2-methylbutanoate,但两种主要成分的比例差异很大。本研究旨在明确这两种蓟马聚集信息素组分的田间最佳引诱剂量和比例及其在两种蓟马种间互作中的作用。【方法】通过田间色板引诱试验,分别测定了上述两种蓟马聚集信息素组分对两种蓟马雌虫的田间最佳引诱剂量和比例;通过养虫笼选择性试验分析了这两种聚集信息素最佳配比在两种蓟马种间互作中的作用。【结果】田间色板引诱试验结果显示,当neryl(S)-2-methylbutanoate的剂量为10 000 ng,(R)-lavandulyl acetate和neryl(S)-2-methylbutanoate的比例为1∶8时,对西花蓟马成虫的引诱效果最佳;当neryl(S)-2-methylbutanoate的剂量为5 000 ng,(R)-lavandulyl acetate和neryl(S)-2-methylbutanoate的比例为1∶4时,对花蓟马成虫的引诱效果最佳。选择性试验结果表明,分别针对西花蓟马和花蓟马的聚集信息素组分最佳配比对同种具有吸引作用,对异种不具有吸引作用,说明这两个近缘种的聚集信息素具有种间特异性。【结论】两种蓟马通过聚集信息素组分比例调节的种间特异性可能是两种蓟马种群分化的重要机制;聚集信息素种间特异性是降低两种蓟马种间竞争的重要因素。本研究为深入理解两种蓟马信息素特异性的生理和分子机制提供理论指导,同时对利用聚集信息素进行蓟马种群监测和害虫防控具有指导意义。 展开更多
关键词 西花蓟马 花蓟马 聚集信息素 剂量 配比 种间互作
下载PDF
软件可靠性测试方法探析 被引量:5
16
作者 张广梅 晓维 《计算机应用》 CSCD 北大核心 2004年第4期28-30,共3页
在软件可靠性测试中,测试结果会受测试用例的影响。为得到最佳的测试结果,文中提出了基于运行剖面的公平选择测试用例的原则,在此基础上,建立测试用例集,进行软件可靠性测试,目的是对软件的可靠性进行验证。文章最后给出了利用软件的运... 在软件可靠性测试中,测试结果会受测试用例的影响。为得到最佳的测试结果,文中提出了基于运行剖面的公平选择测试用例的原则,在此基础上,建立测试用例集,进行软件可靠性测试,目的是对软件的可靠性进行验证。文章最后给出了利用软件的运行剖面和软件失效数据进行软件可靠性评估的方法。 展开更多
关键词 软件可靠性测试 软件运行剖面 软件可靠性评估
下载PDF
一种遵循IEEE 1149.1标准的可测试性设计结构 被引量:7
17
作者 尹志刚 华伟 晓维 《微电子学与计算机》 CSCD 北大核心 2003年第5期23-27,共5页
IEEE1149.1(也称JTAG)是支持芯片边界扫描的国际标准,提供了统一的测试访问端口。如今,它已成为芯片必不可少的一种“开销”。本文通过定制JTAG逻辑,以求用最少的开销,最简单灵活的方式来管理各种DFT逻辑。
关键词 IEEE1149.1标准 国际标准 可测试性设计结构 时序电路
下载PDF
基于增量可满足性的等价性检验方法 被引量:7
18
作者 光辉 晓维 《计算机学报》 EI CSCD 北大核心 2004年第10期1388-1394,共7页
组合验证是数字集成电路形式化设计验证的重要方面 .该文提出了一种基于增量布尔可满足性的组合等价性检验方法 ,通过合理选择候选等价结点和增量可满足性算法来提高算法性能 ,并通过对内部等价结点的置换及将等价关系转化为相应的合取... 组合验证是数字集成电路形式化设计验证的重要方面 .该文提出了一种基于增量布尔可满足性的组合等价性检验方法 ,通过合理选择候选等价结点和增量可满足性算法来提高算法性能 ,并通过对内部等价结点的置换及将等价关系转化为相应的合取范式公式 ,避免了误判的发生 ,又能缩小验证程序的搜索空间 .针对ISCAS’85电路的实验结果表明 ,该文提出的方法比以往同类方法更快、更强健 . 展开更多
关键词 增量可满足性 等价性检验 组合电路 形式验证 数字集成电路 等价结点
下载PDF
体系结构级功耗分析方法 被引量:5
19
作者 徐勇军 +1 位作者 晓维 王新平 《系统仿真学报》 EI CAS CSCD 2004年第12期2821-2824,2827,共5页
功耗问题已经成为集成电路设计,尤其是嵌入式系统和电池供电设备开发中所要关注的重要问题。电路设计较低层次的功耗分析方法能提供比较好的准确性,但它们的功耗模型相对复杂,功耗分析的时间开销和内存开销都很大。本文所讨论的体系结... 功耗问题已经成为集成电路设计,尤其是嵌入式系统和电池供电设备开发中所要关注的重要问题。电路设计较低层次的功耗分析方法能提供比较好的准确性,但它们的功耗模型相对复杂,功耗分析的时间开销和内存开销都很大。本文所讨论的体系结构级功耗分析方法就克服了这些缺点,通过对可配置的功能单元分别进行功耗建模,基于准确的性能模拟来达到功耗模拟的目的,它可以广泛应用于体系结构、指令集、编译器以至软件的低功耗优化中,文章最后借助于通用CPU的系统级功耗模拟工具Wattch,研究了指令及数据缓存在配置方方法的功耗行为,实验证明,体系结构级的功耗分析为低功耗系统设计提供了更有价值的指导。 展开更多
关键词 低功耗设计 体系结构级功耗分析 功耗可配置体系结构 低功耗优化
下载PDF
一款通用CPU的存储器内建自测试设计 被引量:6
20
作者 何蓉晖 华伟 +1 位作者 晓维 宫云战 《同济大学学报(自然科学版)》 EI CAS CSCD 北大核心 2002年第10期1204-1208,共5页
存储器内建自测试 (memorybuilt-inself-test,MBIST)是一种有效的测试嵌入式存储器的方法 .在一款通用CPU芯片的可测性设计 (design -for-testability ,DFT)中 ,MBIST作为cache和TLB的存储器测试解决方案被采用 ,以简化对布局分散、大... 存储器内建自测试 (memorybuilt-inself-test,MBIST)是一种有效的测试嵌入式存储器的方法 .在一款通用CPU芯片的可测性设计 (design -for-testability ,DFT)中 ,MBIST作为cache和TLB的存储器测试解决方案被采用 ,以简化对布局分散、大小不同的双端口SRAM的测试 .5个独立的BIST控制器在同一外部信号BistMode的控制下并行工作 ,测试结果由扫描链输出 ,使得测试时间和芯片引脚开销都降到最小 .所采用的march 13n算法确保了对固定型故障、跳变故障、地址译码故障和读写电路的开路故障均达到 10 0 %的故障覆盖率 . 展开更多
关键词 CPU 存储器内建自测试 故障模型 MARCH算法 可测性设计 超大规模集成电路 IP核
下载PDF
上一页 1 2 15 下一页 到第
使用帮助 返回顶部