【摘 要】
：
传统的状态覆盖方法对电路的数据单元测试不足,而随机测试方法又具有盲目性·在综合2种方法的基础上,给出一种以状态与状态转换覆盖率为评估、以遗传筛选为工具对生成的测试向量进行择优选择的方法·为了指导测试生成,给出了动态状态转换与静态状态转换概念·同时,基于该方法给出一个测试生成工具GRTT·最后,将文中方法实验于ITC99-benchmark电路,并将实验结果与测试生成系统X-Pulling的结果进行
【机 构】
：
中国科学院计算技术研究所先进测试技术实验室,中国科学院研究生院
论文部分内容阅读
传统的状态覆盖方法对电路的数据单元测试不足,而随机测试方法又具有盲目性·在综合2种方法的基础上,给出一种以状态与状态转换覆盖率为评估、以遗传筛选为工具对生成的测试向量进行择优选择的方法·为了指导测试生成,给出了动态状态转换与静态状态转换概念·同时,基于该方法给出一个测试生成工具GRTT·最后,将文中方法实验于ITC99-benchmark电路,并将实验结果与测试生成系统X-Pulling的结果进行比较·
其他文献
提出了一种基于Web的计算机辅助夹具设计系统原型 ,并采用基于UML的ICONIX开发过程实现 ,通过用例图、对象类图、Robustness图和顺序图明确了系统对象类的功能、关联以及协同关系
空间x-y坐标平面与图像平面之间的单应矩阵可以提供关于摄像机内参数的2个线性约束.文中研究表明:给定一个一般空间平面与图像平面之间的单应矩阵,如果空间平面在世界坐标系的坐标已知,则该单应矩阵同样可以提供关于摄像机内参数的2个线性约束;如果空间平面在世界坐标系的坐标未知,则该单应矩阵不能构成对摄像机内参数的任何约束.另外,仅仅知道某一个场景中的2幅图像间的单应矩阵不能对摄像机内参数构成任何约束.该结
本文根据高职院校《商业标志与导向系统制作》课程的特点和性质,提出教学过程以就业为导向、以工作任务为驱动,以项目为载体、以能力培养为主线,突出学生主体,让学生在"学中
分析了现有工作流事务理论和技术,针对执行效率较低的问题,在改进确认和补偿机制的基础上提出了基于向后恢复、支持嵌套事务的将补偿模型与原流程模型整合在一起的事务模型构建规则和算法.实现了细粒度工作流事务管理,避免了读脏数据和由此而引起的连环回滚,简化了锁定和冲突分析,从而在保证可靠性的前提下提高事务管理的效率.
首先 ,对噪声图像作多层次小波分解 ,得到对应的多个层次的小波系数 ,并利用相邻各层次小波系数的相关性质构建滤波器 ;然后 ,利用该滤波器对平滑小波系数进行滤波操作 ,去除噪声影响 ,得到滤波图像 ;最后 ,对滤波图像阈值化以得到噪声图像的边缘图 实验表明 ,该方法比传统的图像边缘提取方法具有更好的抗噪性能
以减少层片扫描中的空程运行时间为轮廓路径优化的目标,以轮廓路径与经典旅行商问题之优化的共性和不同为比对,在采用遗传算法实现快速成形轮廓路径的优化中,将轮廓路径的特点灵活应用到该算法的各个步骤中,有效地缩短了扫描路径中的空程距离,从而有利于提高成形速度和成形质量.
基于数学中图模式匹配的概念,根据电路特征在子图同构算法中加入图约束条件,研究了针对不同结构的FPGA逻辑单元都能适用的映射算法FDUMap·实验中应用FDUMap将测试电路映射到不同的逻辑单元中·该算法比现有的专用的逻辑单元映射算法通用性更好,而平均性能上仅相差3%·
分析了基于随机抽样检验思想的现有鲁棒算法在基本矩阵的求解问题中存在的不足,提出一种获得基本矩阵最优解的算法.利用各种鲁棒技术获得内点集,以点到极线的距离作为最优量度标准,采用贪心策略在内点集中寻找最优子集,并利用最优子集来计算基本矩阵.合成数据与真实图像的实验结果表明,该算法在基本矩阵的求解精度、抗噪声能力、对极点的稳定性等方面优于现有的鲁棒方法.
提出了一类新的V描述子,对二维图形进行V变换提取形状信息,并定义归一化后的变换系数为描述子,其具有旋转、平移、缩放不变性,通过形状主方向在一定程度上消除了起始点的影响.通过快速V变换可以有效地计算出V描述子,该识别算法采用加权欧氏距离,并充分利用了V描述子的多分辨率分析特性,对轻微遮挡具有一定的抵抗力,可以根据实际情况达到较好的识别.
提出了基于三角形和四边形的混合控制网格的细分曲面尖锐特征、半尖锐特征生成和控制方法,避免了已有方法仅局限于初始控制网格为单一的三角形或单一的四边形网格的缺陷.通过局部修改混合细分规则,在光滑混合曲面上产生了刺、尖、折痕、角的尖锐特征效果,并对尖锐特征处局部细分矩阵进行了详细的特征分析,讨论了极限曲面的收敛性及光滑性.同时,用特征处的离散曲率来控制特征处的尖锐程度,实现了半尖锐的特征效果,并通过自适