快速产生组合电路初始输入引线完全测试集的一个算法

本文提出了一种算法,它利用组合网络的布尔函数Z(x),■和相对应的矩阵直接求出所有初始输入引线的完全测试集。由于所有初始输入引线完全测试集的并集能覆盖该组合网络中所有引线的可测单故障,所以该算法可用来快速计算组合电路组件的完全测试集。     

产生异步时序机功能测试序列集的一个算法

时序机功能测试问题是CAD领域中一个十分重要的研究课题。目前,国内外普遍采用状态表分析法。本文提出了一个算法,是从时序机的初始输出函数Z=F(X,y)出发利用■Z=1,时序机矩阵模型中的B矩阵以及文献[1]中的一些主要结果得到异步时序机的功能测试序列集。     

一个多因素组合数学模型及其算法

将模糊层次分析法(FAHP)与传统的SWOT分析相结合,引入坐标系工具,构建了一个多因素组合数学模型用于低碳发展战略分析.研究结果表明:该模型可以克服以往战略决策方法的不足,是决策者进行决策的一个很好的工具.     

组合电路中短路故障和固定型故障的测试

本文主要研究数字电路输入和输出端之间的反馈短路故障(feedback bridging fault,简称FBF)及其测试方法.利用一个新的时序机模型提出了一个带有反馈短路故障电路产生振荡或变成一个稳定异步时序电路的充分必要条件.证明了在任何组合电路中,只需两个测试码便能测试出所有可能的初级输入与输出端之间的短路故障.其次,证明了检测固定型故障的测试码(集)也能检测反馈短路故障。同时提出了一个产生完全测试集的方法,它可以同时测试无扇出(fan-out free)电路中的固定型和短路型故障.     

一个组合计数问题

文献给出了下述计数问题：由ｎ个０和ｎ个１构成的字符串中，任意前ｋ个字符中０的个数不少于１的个数的字符串有多少？本文给出了求解的一种方法，并用所得结果解决了另一个计数问题。     

允许卖空条件下组合证券投资模型的一个新算法

提出了求解高维组合证券投资模型的一种新算法，该方法将带约束的二次规划问题转化为无约束的线性最小二乘问题，能伙速求出其最优解，取得了较好的数值结果。     

一类奇完全数的一个性质

奇完全数的存在性问题是一个著名的数论难题.研究了不被3整除的奇完全数性质,证明了:如果ω(n)＝12,则5|n和7|n,ω(n)表示为奇完全数n相异素因子个数.

Abstract：

The existence of odd perfect numbers is a well-known problem in number theory.A conclusion that if ω(n)＝12,then 5|nand 7|n is given,where n is an odd perfect number which is relatively prime to 3 and ω(n) is the number of distinct prime factors of n.     

任意信号输入完全耦合互感电路的暂态过程

利用等效电路方法，戴维南定理，卷积积分推导出任意信号输入完全耦合互感电路的暂态过程的一般表示式，并给出了应用实例。     

求上限集和下限集的一个简便方法

本文给出了求集合序列的上限集和下限集的一个简便方法。     

关于欧几里得算法中的完全商q_(n+1)的一个注记

利用欧几里得辗转相除法可以计算任意2个整数a,b的最大公约数(a,b),通过[a,b]=(ab/a,b)可以求得a,b的最小公倍数[a,b].利用欧几里得辗转相除法中的不完全商qk(k=1,2,…,n)和完全商qn+1,借助递推关系:P0=1,P1=q1,Pk=qk Pk-1+Pk-2,Q0=0,Q1=1,Qk=qkQk-1+Qk-2(k=1,2,…,n,n+1),给出定理:若a,b是任意2个正整数,则[a,b]=Pn+1b=Qn+1a,并给出一种求a,b的最小公倍数的新方法.     

单输出逻辑电路的最小测试集

本文了在[1]的基础上引入了逻辑电路C的实质变量和实质故障的概念,给出了构造实质半复盖矩阵的方法,从而得到了求单输出逻辑电路C的最小测试集的一个方法。用这个方法求最小集时可以节省大量的存储空间,并且产生最小集的效率也有所提高。如果用算法[2][3][4]对实质故障产生测试码,那么不仅避免了对非实质故障产生不必要的测试码,而且还不损失整个电路的故障复盍率。     

组合电路中延迟故障的功能测试生成

提出一种用于测试组合电路中延迟故障的新功能邦联模型,讨论该模型的功能测试生成。实验表明,这种功能测试集具有实现低路径延迟故障覆盖范围的功能。     

一个扭结子产生系统

通过对一般的非线性方程的稳定性分析，选取合适的类Schrodinger方程的势函数，得到了一个扭结子解系列，包括已知的Sine-Gordon扭结、φ^4扭结和DQ扭结，其他未知的扭结子种类可能对应于较复杂的非线性场方程。     

一个组合数论计数问题的探讨

对一类关于内切圆半径为r的整边多边形的组合数论计数问题进行探讨,将整边直角三角形中的计数问题扩展到其它的三角形和四边形中,获得更加广泛的一类组合数论问题的计数公式.     

ψ—连续偏序集与完全分配格的刻划

本文引入了ψ－连续偏序集的概念在讨论其性质的基础上给出完全分配格的一个刻划定理。     

差动电路的杂光测试中的应用

杂光是评价光学系统成象质量的重要指标之一。黑斑法是测试杂光的普遍采用的技术。本提出一种用双光束平衡差动电路测量杂光的方法。计算和测试证明了这种方法的测试精度高达１０＾－４。     

电流模电路的小波神经网络测试研究

提出一种基于多尺度小波分解及神经网络映射归纳的测试电流模电路故障缺陷的方法.针对CMOS器件典型故障建立了测试所需的故障模型,给电路节点加入故障模型进行故障响应测试.对故障信号进行时域采样,采用小波多尺度分解对故障相应信号进行频域多尺度分解,然后将处理数据作为神经网络训练样本,对各类缺陷响应结果进行分类、识别,最后根据可接受偏差范围确定信号为故障或非故障.给出了6类故障的故障覆盖率测试结果.     

基于故障注入的电路测试性仿真分析

本文从集成电路基本测试理论和测试方法开始,逐步深入地对数模混合信号电路的测试性进行研究,从基本的复杂电路划分开始,对仿真的思维方法、流程以及一些关键步骤进行了分析。文章提出了将EDA仿真和故障注入相结合的电路测试性仿真方法,并证明该方法具有很强的工程实用价值。     

关于亲和数和完全数的一个注记

对于正整数n,如果σ(n)等于2n,则称n为完全数,其中σ(n)为n的所有正约数之和.对于正整数m,n,如果它们各自的所有正约数之和都等于两数之和,则称m和n是一对亲和数.为了判断一类整数Sn=12(52n 1)是否为亲和数和完全数,文章讨论在此类整数素因子特点和数论函数性质的基础上,找到了一种验证此类整数是否是亲和数的方法,从而证明了Sn不与其他正整数构成亲和数对也不是完全数的结论.     

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

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