边界扫描测试中簇测试交迭置入方案研究

针对电路板边界扫描测试中簇测试时间较长、测试效率较低问题 ,以并行测试思想为基础 ,提出了一种簇测试置入方案———交迭置入方案 ,并对其进行了理论分析和实验验证。结果表明 ,该方案是最优的簇测试置入方案 ,可以显著减小簇测试时间 ,提高簇测试效率     

边界扫描测试信息压缩算法

为了解决 IEEE 1 1 49.1边界扫描测试优化生成问题 ,提出了一种新型的测试矩阵压缩算法。该算法首先应用被测试电路板的结构信息构造有限制的短路故障模型 ,然后以有限制的短路故障模型为基础对测试矩阵进行压缩处理 ,尽可能剔除测试矩阵中的无效测试信息 ,从而达到测试优化生成的目的。理论分析及实验验证表明 ,该算法能够获得紧凑性指标相当优化的测试矩阵 ,实现较高的测试信息压缩率     

平板翼流体动力边界积分多重网格计算

讨论了平板翼流体动力边界积分法多重网格计算模型,给出了残差计算格式和函数修正值计算公式,推导出与步长无关的环量多重网格计算公式.计算结果表明,利用多重网格方法加快了收敛速度,其数值计算的流体动力与试验值吻合.     

边界扫描测试的数学描述模型

IEEE1149.1边界扫描机制是一种新型的VLSI电路测试及可测试性设计的有效方法,为了高效地应用边界扫描机制对电路系统进行测试,必须对其所涉及的理论方法进行深入探讨。本文应用布尔矩阵理论建立起边界扫描测试的数学描述模型,并基于所建立的模型导出了边界扫描测试中的故障检测条件和故障隔离条件。为边界扫描测试生成算法的深入研究奠定了理论基础。     

静态电磁场数值分析方法比较

从有限差分法、有限元法、边界元法和模拟电荷法这四种典型数值分析方法出发,简要介绍了静电场数值分析的原理。比较了各种算法与其适用范围的差异,并对其进展进行分析。最后,总结了目前静电电磁场数值分析方法研究中需要解决的问题。     

巴以冲突探源之三：犹太人定居点问题

巴以争端中同样棘手的问题之一是犹太人定居问题。犹太人定居点的存在已有100多年的历史,而现在所说的定居点主要是指以色列在其公认边界外建立的定居点。本文的定居点仅限于探讨以色列在加沙地带、约旦河西岸(含东耶路撒冷)建立的定居点。     

一种基于程序域边界分析的测试方法

边界附近的点对程序故障更加敏感.针对这一特征,提出了一种基于程序域边界分析的测试方法.从被测程序本身出发,进行定义域确定及子域划分,分析定义域边界和子域边界,并跟据其边界测试点产生测试用例,以检测域边界附近的处理.实验表明对定义域边界及其子域边界进行测试,可有效地提高故障覆盖率.