采用测试向量合并的多扫描链嫁接测试

多扫描链测试技术能有效减少测试用时和压缩测试数据,但该技术需要较多的数据输入通道,因而会导致测试成本增加. 为了解决这种矛盾,一种多扫描链嫁接机制被提出. 该方案错位产生基准向量,根据向量间的相容性合并扫描链的驱动端口. 实验结果表明,所提方案在保持多扫描链高速测试的同时既能减少测试数据输入通道,又可获得较高的测试数据压缩率.     

基于测试操作划分的低峰值功耗扫描测试

提出了对同一时钟域中寄存器的测试操作进行划分的方法来降低测试峰值功耗,并且这种划分不需要重新生成测试向量,支持划分前生成测试向量的复用.实验表明,在稍微增加测试时间的条件下,所提出的测试方法能同时降低电路的峰值功耗、平均功耗和能耗.     

基于逻辑函数的电路可测性设计及多故障测试

逻辑函数可以根据需要被表示成多种不同的形式,其中的ESOP形式所需积项较少且具有一般性.针对数字电路的多故障,基于逻辑函数的ESOP形式,采用与门阵列和异或门树来进行电路的可测性设计,提出了在这种电路结构下的多故障测试方法,给出了检测电路中多故障的通用测试集.该测试集可从电路结构图直观求得,无需进行复杂处理,从而使测试生成变得简单快捷.     

面向图文法的体系结构测试方法研究

针对目前体系结构描述语言对体系结构动态行为描述方面的不足而难以生成测试路径问题,提出一种基于超边图文法的软件体系结构测试技术,首先用超边图文法表示软件体系结构,同时用实体语言EL描述体系结构,然后根据EL描述导出接口互联图IIG,再根据测试覆盖准则,生成测试路径,最后以Client/Server为例验证该方法的有效性.     

用模型检验产生安全性质的测试

摘要： 安全关键系统必须满足规定的安全性质. 测试生成通常独立于给定性质,“先验证再测试”的方法不能保证安全性质被测试. 为此,该文提出了一种基于输入-输出标记迁移系统的安全性质测试方法. 用输出变异建立被测实现的输出-完全模型,通过发现危险迹产生测试用例. 给出了基于图结构覆盖的安全性质测试准则,提出了形式化测试准则的方法. 使用模型检验器NuSMV检验输出-完全模型可产生既满足结构覆盖又与安全性质相关的测试用例.     

频繁项目集的快速增量式更新算法

提出了频繁项目集的快速增量式更新算法(FIUA),主要考虑最小支持度发生变化时频繁项目集的更新情况.FIUA在最坏的情况下仅需扫描数据库一遍,且无需生成候选项目集,有效地节约了存储空间,提高了频繁项目集的更新效率.     

基于OpenCV的多重干扰点二维码图像检测研究

在快捷支付的生活中,手机扫描二维码图像时会因囊括其他非用户锁定的二维码而导致识别失败,用户需要重新扫描二维码才能解决该问题,降低了二维码使用的便捷率。本文提出了一种改进的轮廓定位检测方法,先将图像进行降噪处理和图像增强处理,然后再获取关键探测图形的位置,最后通过旋转与ROI区域选定生成标准二维码图像。实验结果表明,本方法可提高二维码图像的检测率。     

基于OpenCV的多重干扰点二维码图像检测研究

在快捷支付的生活中,手机扫描二维码图像时会因囊括其他非用户锁定的二维码而导致识别失败,用户需要重新扫描二维码才能解决该问题,降低了二维码使用的便捷率。本文提出了一种改进的轮廓定位检测方法,先将图像进行降噪处理和图像增强处理,然后再获取关键探测图形的位置,最后通过旋转与ROI区域选定生成标准二维码图像。实验结果表明,本方法可提高二维码图像的检测率。     

面向FPGA的故障注入测试技术研究

FPGA由于自身结构原因,容易在复杂环境中发生故障.为提高系统的可靠性,需要对基于FPGA的故障注入测试技术进行研究.首先,对故障模式进行研究,给出SEU故障注入方法;其次,给出故障注入测试框架;最后,对故障注入过程进行研究给出结论 .该方法可以移除主机与FPGA间的交互时间,并能迅速在实际中应用.     

三维零件特征的工程图表示技术研究

本文针对目前某些实体造型系统在生成零件视图方面的若干不足,从特征映射的角度,对三维零件特征的二维工程图生成进行了理论探讨及研究,提出了建立二维模式库的构想,并引入一种新的概念;面向工程图的特征映射.     

一种基于结构和可测性分析的BIST部分扫描算法

提出了一种在内建自测试(BIST)中进行部分扫描的算法,此算法综合了电路的结构分析和可测性分析.文中对其原理和实现分别进行了详细的叙述,最后运用此算法对ISCAS89 benchmark电路进行计算,修改其结构后进行故障模拟,并将实验结果与全扫描结构和仅考虑结构因素的部分扫描结构进行了比较,最后得出结论.     

贵州高原草地农业系统动力能流分析

本文对灼甫不范牧场的农机、人力、畜力三项动力能流的投入数量、方向、效果以及发展趋势做了初步的分析和探讨。     

低功耗内建自测试的参数优选

提出了面向低峰值功耗进行BIST参数优化的问题,给出了相应的种子选取算法.实验结果表明该方法不需要额外的硬件开销,并在保证故障覆盖率的前提下峰值功耗有明显降低.     

基于幂级数构造的超核支持向量机的性能研究

依据模式识别中核函数的相关理论，具体地构造了一种基于幂级数构造的超核函数，并将该超核应用于支持向量机中．实验结果证明了基于幂级数构造的超核支持向量机的优越性能．     

一个多边形快速斜扫描线填充算法

多边形的扫描转换是计算机图形学的一个基本问题 .但标准的扫描线填充算法是基于图象空间的 .Gordon等人提出了一个基于对象空间的快速扫描线转换算法 (称为 CP法 )。但以上两者都是针对水平扫描线的算法。本文通过对斜扫描线特点的分析 ,进一步改造了 CP法 ,提出了一个基于对象空间的快速斜扫描线多边形填充算法 ,且标准扫描线算法和 CP法可视为其特例。     

一种基于最优化模型的数字电路测试生成方法

基于基本门电路的特征函数及被测电路的约束网络结构模型,首先提出了一种用于数字电路的模拟退火（ＳＡ）测试生成算法,然后在ＳＡ算法中采用梯度长法的退火梯度法,该方法的特点是具有全局收敛性和较高的计算效率,它不仅加速了数字电路的测试生成过程,而且也可应用于其他类型的优化问题。     

车载Ka-SAR距离向自适应DBF方法

毫米波合成孔径雷达（Ka-SAR）进行俯仰向数字波束形成（digital beam forming,DBF）车载地面验证时，由于车载高程较小使得成像区域地形起伏不可忽略。采用传统扫描接收（scan on receive, SCORE）算法获得的DBF加权系数会存在误差，使合成波束方向图偏离理想状态，降低系统性能。针对上述问题，本文提出了一种基于多通道SAR的自适应距离向DBF处理算法，对多通道数据进行干涉处理，并通过滤波提取干涉相位，自适应生成加权系数，提高了接收增益。该自适应算法获得的加权系数精度较高，具有处理流程简单、运算量小、便于实时处理的特点。最后，基于仿真和车载实验数据成像，验证了该算法的有效性。     

基于数字信号处理和CAN总线的综合微机保护系统的设计

介绍了利用DSP技术和ASIC技术研制成功的小体积高性能综合微机保护装置,阐述了由该装置和电网信息处理中心构成的微机保护系统的设计方案.该系统利用CAN总线将各个装置连成一个网络,并将DSP采集到的更丰富、精度更高的运维和故障数据上传到电网信息处理中心,有利于电网的信息化管理和自动化水平的提高.最后给出了微机保护装置在电网实验测试中所达到的性能,实验结果表明该装置符合部委标准,达到了国外先进水平.