共查询到18条相似文献,搜索用时 218 毫秒
1.
2.
3.
逻辑函数可以根据需要被表示成多种不同的形式,其中的ESOP形式所需积项较少且具有一般性.针对数字电路的多故障,基于逻辑函数的ESOP形式,采用与门阵列和异或门树来进行电路的可测性设计,提出了在这种电路结构下的多故障测试方法,给出了检测电路中多故障的通用测试集.该测试集可从电路结构图直观求得,无需进行复杂处理,从而使测试生成变得简单快捷. 相似文献
4.
针对目前体系结构描述语言对体系结构动态行为描述方面的不足而难以生成测试路径问题,提出一种基于超边图文法的软件体系结构测试技术,首先用超边图文法表示软件体系结构,同时用实体语言EL描述体系结构,然后根据EL描述导出接口互联图IIG,再根据测试覆盖准则,生成测试路径,最后以Client/Server为例验证该方法的有效性. 相似文献
5.
摘要: 安全关键系统必须满足规定的安全性质. 测试生成通常独立于给定性质,“先验证再测试”的方法不能保证安全性质被测试. 为此,该文提出了一种基于输入-输出标记迁移系统的安全性质测试方法. 用输出变异建立被测实现的输出-完全模型,通过发现危险迹产生测试用例. 给出了基于图结构覆盖的安全性质测试准则,提出了形式化测试准则的方法. 使用模型检验器NuSMV检验输出-完全模型可产生既满足结构覆盖又与安全性质相关的测试用例. 相似文献
6.
7.
在快捷支付的生活中,手机扫描二维码图像时会因囊括其他非用户锁定的二维码而导致识别失败,用户需要重新扫描二维码才能解决该问题,降低了二维码使用的便捷率。本文提出了一种改进的轮廓定位检测方法,先将图像进行降噪处理和图像增强处理,然后再获取关键探测图形的位置,最后通过旋转与ROI区域选定生成标准二维码图像。实验结果表明,本方法可提高二维码图像的检测率。 相似文献
8.
9.
FPGA由于自身结构原因,容易在复杂环境中发生故障.为提高系统的可靠性,需要对基于FPGA的故障注入测试技术进行研究.首先,对故障模式进行研究,给出SEU故障注入方法;其次,给出故障注入测试框架;最后,对故障注入过程进行研究给出结论 .该方法可以移除主机与FPGA间的交互时间,并能迅速在实际中应用. 相似文献
10.
本文针对目前某些实体造型系统在生成零件视图方面的若干不足,从特征映射的角度,对三维零件特征的二维工程图生成进行了理论探讨及研究,提出了建立二维模式库的构想,并引入一种新的概念;面向工程图的特征映射. 相似文献
11.
12.
本文对灼甫不范牧场的农机、人力、畜力三项动力能流的投入数量、方向、效果以及发展趋势做了初步的分析和探讨。 相似文献
13.
14.
依据模式识别中核函数的相关理论,具体地构造了一种基于幂级数构造的超核函数,并将该超核应用于支持向量机中.实验结果证明了基于幂级数构造的超核支持向量机的优越性能. 相似文献
15.
多边形的扫描转换是计算机图形学的一个基本问题 .但标准的扫描线填充算法是基于图象空间的 .Gordon等人提出了一个基于对象空间的快速扫描线转换算法 (称为 CP法 )。但以上两者都是针对水平扫描线的算法。本文通过对斜扫描线特点的分析 ,进一步改造了 CP法 ,提出了一个基于对象空间的快速斜扫描线多边形填充算法 ,且标准扫描线算法和 CP法可视为其特例。 相似文献
16.
一种基于最优化模型的数字电路测试生成方法 总被引:1,自引:0,他引:1
基于基本门电路的特征函数及被测电路的约束网络结构模型,首先提出了一种用于数字电路的模拟退火(SA)测试生成算法,然后在SA算法中采用梯度长法的退火梯度法,该方法的特点是具有全局收敛性和较高的计算效率,它不仅加速了数字电路的测试生成过程,而且也可应用于其他类型的优化问题。 相似文献
17.
毫米波合成孔径雷达(Ka-SAR)进行俯仰向数字波束形成(digital beam forming,DBF)车载地面验证时,由于车载高程较小使得成像区域地形起伏不可忽略。采用传统扫描接收(scan on receive, SCORE)算法获得的DBF加权系数会存在误差,使合成波束方向图偏离理想状态,降低系统性能。针对上述问题,本文提出了一种基于多通道SAR的自适应距离向DBF处理算法,对多通道数据进行干涉处理,并通过滤波提取干涉相位,自适应生成加权系数,提高了接收增益。该自适应算法获得的加权系数精度较高,具有处理流程简单、运算量小、便于实时处理的特点。最后,基于仿真和车载实验数据成像,验证了该算法的有效性。 相似文献
18.
基于数字信号处理和CAN总线的综合微机保护系统的设计 总被引:6,自引:0,他引:6
介绍了利用DSP技术和ASIC技术研制成功的小体积高性能综合微机保护装置,阐述了由该装置和电网信息处理中心构成的微机保护系统的设计方案.该系统利用CAN总线将各个装置连成一个网络,并将DSP采集到的更丰富、精度更高的运维和故障数据上传到电网信息处理中心,有利于电网的信息化管理和自动化水平的提高.最后给出了微机保护装置在电网实验测试中所达到的性能,实验结果表明该装置符合部委标准,达到了国外先进水平. 相似文献