运用赋值相异生成高效率测试图形

针对传统算法中赋值相异导致测试生成失败的问题，提出新的解决思路，利用赋值相异信息确认故障效应传播路径，以确保每次测试生成成功．与传统方法不同的是，新方法通过对故障传播函数的分析，总结出支配故障传播的规律，即故障传播不仅仅受线确认条件约束，还受敏化路径的拓扑结构的约束，线确认和蕴涵所导致的赋值相异有助于建立敏化正确的故障传播路径．进而提出自湮没和它湮没的概念和分析方法，并发展为运用赋值相异信息来确认故障效应传播路径的方法．新方法可生成精简的、故障覆盖率高的测试图形，并尽可能多地检测多重故障．基于ISCAS85 Benchmark的实验结果表明，新方法的测试数据长度和故障覆盖率均优于Synopsys Tetramax等现有方法．     

一种压缩向量对测试集的新方法

通过施加一个测试向量对,瞬态电流测试可以检测出CMOS数字电路中的某些故障,这些故障通常（例如开路故障）不能被传统的电压测试和稳态电流测试有效地检测出来。研究如何有效地压缩向量对测试集与通常的测试向量压缩一样,意义十分重要,但目前人们对此研究得较少。首先使用三种现有的游程编码方法对向量对测试集进行压缩,并比较它们的压缩结果。在此基础上．提出了一种更好的压缩方法。采用新方法对几个ISCAS标准电路的开路故障向量对测试集进行压缩,实验证明压缩效果比三种游程编码方法都要好。而且,新方法的解码代价非常小,适合压缩大型电路的开路故障测试集。     

变长重复播种测试码生成方法

提出了一种变长重复播种测试码生成方法.该方法使用重复播种技术,但是每个种子产生的伪随机测试码序列的长度不同.每个种子可以产生长度为全长L,3L/4,L/2,L/4,和单个种子1的伪随机测试码序列.该变长技术的一个优点是可以有效地截去大量冗余伪随机测试码,减少测试施加时间.ISCAS85和ISCAS89电路的实验表明,同定长序列重复播种测试码生成相比较,平均减少近36.22%的测试时间(最多57.49%),面积增加仅为4.41%.     

改进的扫描森林测试结构

为了降低可测试性设计的面积开销和布线难度,提出了扫描森林结构的重组策略;为了避免故障屏蔽,提出了基于电路结构信息的异或树构造策略。将以上策略应用于ISCA S89和ITC 99基准电路,其中电路s38584的叶结点数由1 318降低到120,被屏蔽故障数由1 376降低到0。实验结果表明:改进的扫描森林测试结构保持了原结构在降低测试时间、测试功耗和测试数据量方面的优势,同时降低了面积开销和布线难度,避免了故障屏蔽。     

基于有限状态机的被动测试错误诊断

针对被动测试错误诊断算法只能推测出被测系统可能存在错误却无法准确定位错误的问题，提出了一种逐步定位系统实现错误的层次递进的方法．先利用测试序列的输入输出信息并结合错误模型生成初始诊断错误集合，再依据测试套上下文使用错误检测算法对该集合进行筛选，最后经连续观察或结合主动测试进行错误区分．实例验证结果表明，所提方法能够对绝大多数有单个实现错误的有限状态机模型进行错误定位．     

同步时序电路故障可测性研究

对不可测故障进行测试产生是影响时序电路测试产生效率的一个重要因素。提出了一种基于简化可控性计算的识别时序电路中不可测故障的算法，运用该算法无须搜索便于识别出时序电路中相当一部分不可测故障。针对ISCAS89电路的实验结果也验证了其有效性。     

Improved Data Compression Scheme for Multi-Scan Designs

This paper presents an improved test data compression scheme based on a combination of test data compatibility and dictionary for multi-scan designs to reduce test data volume and thus test cost. The proposed method includes two steps. First a drive bit matrix with less columns is generated by the compatibilities between the columns of the initial scan bit matrix, also the inverse compatibilities and the logic dependencies between the columns of mid bit matrixes. Secondly a dictionary bit matrix with limited rows is constructed, which has the properties that for each row of the drive bit matrix, a compatible row exists or can be generated by XOR operation of multiple rows in the dictionary bit matrix and the total number of rows used to compute all compatible rows is minimal. The rows in the dictionary matrix are encoded to further reduce the number of ATE channels and test data volume. Experimental results for the large ISCAS 89 benchmarks show that the proposed method significantly reduces test data volume for multi-scan designs.     

生成确定性测试图形的内建自测试方法

为了以低的硬件开销自动生成高效率的确定型测试图形,提出一种新型的内建自测试(BIST)方法.先对原型设计用自动测试图形工具生成长度短、故障覆盖率高的确定性测试图形,然后对生成的图形排序以取得低功耗测试序列,再选择状态机优化和综合方案,最后自动生成BIST电路描述.由于结合了确定性测试和伪随机测试的优点,该方法具有低功耗、长度短、故障覆盖率高、测试图形自动生成等特色,特别适于CMOS组合逻辑电路的测试.基于ISCAS85Benchmark的实验结果表明,所设计的BIST电路在硬件开销、速度、测试功耗等方面均优于传统的伪随机测试电路,测试时间显著减少.     

沙埝地区阜宁期构造物理模拟实验

为研究沙埝地区阜宁组断裂平面组合及发育顺序,针对斜坡带设计一组物理模拟实验,并从湿度差异的沙、黏土、沙泥混合物中优选出干黏土作为实验材料,详细记录了实验过程,并作出相应的地质解释.实验结果表明:沙埝地区T33反射层上断层以6条近平行的大断层为主干,其中边界处的2条断层形成时间略早于中间4条,在贴近主干断层的位置派生一些与主干断层平行或斜交的低序级断层.工区内大部分断层是在大约NNW334°方向的伸展力下形成的,局部断层受派生剪应力的影响.另外,还讨论了实验材料的湿度和粒度对实验结果的影响.     

配对覆盖测试集的估计与实用策略分析

参数的配对组合测试是对于各种软件系统的一种实用且有效的测试方法，因为许多软件错误是由一些测试参数的相互作用造成的．要获得一个最优的配对覆盖测试集是一个NPC问题，作者证明了测试集大小是在一个可估计的范围之内．分析和比较了3种有效的配对覆盖测试集生成策略．     

基于遗传算法的组合电路最大功耗估计

用遗传算法来选择具有高功耗的输入模型,对电路进行仿真,实现组合电路的最大功耗估算。同时给出了基于统计的逻辑模拟最大功耗估计方法。基于ISCAS85基准电路的仿真表明,该方法在大规模门数时具有明显的优势,估算精度较高,且计算时间基本上电路逻辑门的线性关系。     

低成本高故障覆盖率内建自测试方案

提出了一个基于重复播种的新颖的BIST（build-inself-test)方案，它使用侦测随机向量难测故障的测试向量作为种子，并利用种子产生过程中剩余的随意位进行存储压缩，通过最小化种子的测试序列以减少测试施加时间，实验表明，本方案需要外加硬件少，测试施加时间较短，而故障覆盖率高，近似等于所依赖的ATPG工具的故障覆盖率。     

局部性强弱的量化方法及其应用

为实现局部性强弱分析的定量化,分析了进程工作集发生迁移时,现有工作集管理算法因未考虑局部性强弱因素而反复调整驻留集大小从而导致系统发生颠簸的现象,提出了采用采样周期内使用位求和结果和缺页次数作为指标的局部性强弱量化计算方法,并对该方法进行了算法设计和系统实施.结果表明,文中量化计算方法在不影响系统性能的情况下,减轻了系统进程切换时各进程工作集大小的波动,降低了系统资源需求,说明该算法是有效的.     

WS-CDL测试路径的生成与排序

为了找出WS-CDL组合流程中存在的错误,减少软件维护产生的开销,提出一种基于控制流图生成测试路径的方法,用于对WS-CDL进行测试.首先解析WS-CDL文档,根据元素特点生成各类节点,并根据流程结构确定节点的源节点和目标节点;然后通过在源节点和目标节点间添加有向边构造成控制流囹;最后通过遍历控制流图生成所有可能的测试路径.测试路径中覆盖的WS-CDL元素越多,则发现的错误数也可能越多.为提高发现错误的效率,提出了2种基于路径中元素数量的排序算法,对路径的执行顺序进行排序.实验结果表明,将测试路径按路径中未被覆盖的元素总数降序排列,可以更快地发现错误.     

粗粒料颗粒破碎三维离散元模型及其在密度桶试验中的应用

采用局部应力集中的最大接触力破碎准则,将阿波罗填充模式和最大接触力方向相结合,考虑整体破碎与局部破碎两种破碎模式,建立模拟粗粒料颗粒破碎的离散元模型,对大粒径堆石料的大型相对密度试验机制进行了研究。结果表明:不同破碎模式下的细观力学响应存在较大差异,模拟大粒径堆石料的局部破碎模式可以有效提高数值模拟的精度;堆石块体强度越高,级配偏差对于极值干密度影响程度越大;密度桶高径比过小时,不利于堆石体的振动密实和颗粒重排列,此时试验级配最大干密度的测量值可能远低于理论值,以测量值作为堆石料现场压实检测判别标准,可能会出现相对密度大于1 的情况。     

压实度及水分对青藏高原季冻区砂砾土冻胀特性的影响

 针对青藏高原季冻区某机场道基主要材料砂砾土,通过实验系统地研究了压实度、初始含水率及补水状况对砂砾土冻胀特性的影响规律。结果表明,在封闭条件下,若初始含水率不变,则砂砾土冻胀率随压实度的增加呈先增大后减小的趋势,在压实度为95%左右时达到最大值,若压实度不变,则冻胀率随初始含水率的增加呈线性增大;压实度和初始含水率均与冻胀率之间存在高度相关的函数关系,这些关系式在某些情况下可用于相关指标的相互预测。在开放条件下,砂砾土的冻胀率较封闭条件下显著增大,通常达3~4倍以上。为有效防治砂砾土冻胀,应严格控制压实度和初始含水率,同时采用降低地下水位、设置隔水垫层等措施阻止外界水源补充。     

宁淮高速公路改良膨胀土压实特性研究

宁淮高速公路有90多km的路段通过膨胀土地区,路堤用石灰改良膨胀土填筑．为指导施工和控制填土质量,研究了最大干密度试验方法．结果表明,不同制样过程的石灰改良膨胀土标准击实试验获得的最大干密度有明显差别,其中湿法击实试验的试样含水率变化过程与现场石灰改良土的含水率变化过程相同．因此,工程建设只能用湿法获得的最大干密度作为压实度控制标准．     

A vector inserting TPG for BIST design with low peak power consumption

A test pattem generator(TPG)which can highly reduce the peak power consumption during built-in self-test(BisT)application is proposed.The pmposed TPG,called Lppe-TPG,consists of a linear feedback shift register(LFSR)and some control circuits.A procedure is presented firstly to make compare vectors between pseudorandom test patterns by adding some circuits to the original LFSR and secondly to insert some vectors between two successive pseudorandom test patterns according to the ordinal selection of every two bits of the compare vector.Then the changes between any successive test patterns of the test set generated by the Lppe-TPG are not more than twice.This leads to a decrease of the weighted switching activity(WSA)of the circuit under test(CUT)and therefore a reduction of the power consumption.Experimental results based on some isCAS'85 benchmark circuits show that the peak power consumption has been reduced by 25.25% to 64.46%.Also.the effectiveness of our approach to reduce the total and average power consumption is kept,without losing stuck-at tault coverage.     

土石混合料压实特性的离散元分析

填料性质是影响土石混填路基压实效果的主要因素.本文用离散元程序PFC2D建立土石混合料振动压实模型,从颗粒粗糙度、颗粒刚度、最大粒径、含石量对土石混合料压实效果进行分析.结果表明:以压实度为指标控制土石混填路基压实质量时,必须用最大粒径、含石量对标准干密度修正.研究弥补了宏观试验无法反应的微观问题,对工程实践有重要的指导意义.     

UNITY逻辑中关于unless的若干结果

本文的工作主要分为两部分．首先,我们把验证ｐｕｎｌｅｓｓｑ是否是ＵＮＩＴＹ逻辑的定理转化为一阶定理的验证．其次,设ｐ１ｕｎｌｅｓｓｑ１,…,ｐｎｕｎｌｅｓｓｑｎ在一ＵＮＩＴＹ程序Ｆ中成立．我们把验证ｐｕｎｌｅｓｑ在Ｆ中成立是否可由以上ｎ个性质得出转化为强推出的验证,其中强推出是本文引进的新概念．