布尔方向差分及其在故障诊断中的应用

许多文章利用布尔差分的概念建立故障完全测试集的算法。其优点是推导清晰严谨,但其缺点是,一、所求得的测试码对应组合逻辑网络无故障时的正确输出值不能立即确定。二、计算复杂性高,特别对扇出再收敛型结构更为如此。本文作者提出布尔方向差分和沿通路布尔差分的概念,并以此为基础建立一种组合逻辑网络故障诊断测试集的算法。上述两个缺点可以克服。     

组合电路反向蕴涵法测试生成

迄今为止,对于组合电路的测试生成,已经提出了一些方法,如临界通路法、D算法、九值算法、主路径敏化法,等等. 临界通路法虽然效率较高,但是,该方法既不能保证测试存在必能找到,也不能保证找到的测试一定是确凿的.D算法和九值算法能够保证只要测试存在必能找到,然而,它们是面向故障的,一次只能对一个故障生成测试向量;所进行的D驱赶等计算不管成功与否,都不给其余故障的测试生成提供有用的信息,换一个故障一切又得从头开始;对于某些不可测故障,往往要经过多次驱赶、返回过程以后才能作出判断.     

WCDMA/HSPA移动系统一种高效率多码分配算法

针对3GPP所推荐的WCDMA/HSPA移动系统OVSF多码分配算法在用户速率很高的情况下所需的计算量与复杂度过高、没有考虑移动终端的多码能力等缺点,文章提出了一种高效多码分配算法。该算法首先判断当前系统频宽是否满足连线需求,如满足,依次计算剩余码组合和多码组合,然后判断多码组合的码数量是否满足移动终端的多码能力,如不满足则重新计算次佳剩余码组合或执行重配置机制后再计算多码组合。仿真实验结果表明：在满足移动节点Rake Combiners个数的情况下,高效多码分配算法较3GPP所推荐的多码分配算法在剩余高扩频增益码数方面要多,并且执行重配置次数方面也要少。     

基于神经网络测试码生成的一个鲁棒算法

针对基于组合电路神经网络模型进行测试码生成,提出了一个对神经元连接权值不敏感的鲁棒算法——改进的遗传算法．它克服了运用概率松驰搜索算法求解测试矢量时,神经元之间连接权值的选择影响测试结果的缺陷,增强了测试码的鲁棒性．该算法对不同的连接权值都能得到满意的测试结果     

基于神经网络测试码生成的一个鲁棒算法

针对基于组合电路神经网络模型进行了测试码生成,提出了一个对神经元连权值不敏感的鲁棒算法－－改进的遗传算法,它克服好运用概率松驰搜索算法求解测试矢量时,神经元之间连接权值的选择影响测试结果的缺陷,增强了测试码的鲁棒性,该算法对不同的连接权值都能得到满意的测试结果。     

A~*算法的改进及其在15数码问题中的应用

针对15数码问题,提出了一种基于改进A*算法的求解方法。依据问题特征,定义了估价函数f(n)中启发函数h(n)的一种计算方法,设计了高效的算法步骤和C语言程序实现。测试结果表明,同等条件下,本算法较常用A*算法的求解效率有所改善,算法对其他组合优化问题也具有应用价值。     

基于分解等价的时序电路测试生成算法

针对集成电路的规模和复杂程度不断增加而相应的测试却越来越困难且费时的问题,提出了一种基于分解等价的时序电路测试生成算法。此算法通过引入分解等价以避免进入已搜索的测试码解空间,缩小了测试码搜索空间,大大提高了测试生成效率。在ISCAS’89国际标准电路上的实验结果表明了本算法的可行性。     

数字检测电路和测试生成算法

提出一种将任意数字组合电路转变为检测电路的方法和检测电路的测试生成算法。对数字电路中所有引线的单固定故障都能产生测试向量，计算量的上限是２（ｍ＿１＋４ｍ＿２）￣２。     

用IDEA算法构造跳频码及其DSP实现

通过对现有的跳频码发生算法的比较,认为基于分组密码的跳频码算法适于实际的跳频通信系统．选用IDEA加密算法通过DSP实现了一种跳频码算法,并对其性能进行了统计测试．测试结果表明,该算法生成的跳频码具有较好的性能,是一种实用的跳频码发生方案．     

用IDEA算法构造跳频码及其DSP实现

通过对现有的跳频码发生算法的比较,认为基于分组密码的跳频码算法适于实际的跳频通信系统.选用IDEA加密算法通过DSP实现了一种跳频码算法,并对其性能进行了统计测试.测试结果表明,该算法生成的跳频码具有较好的性能,是一种实用的跳频码发生方案.     

四值逻辑与星算法

包含“0”,“1”两个元素的布尔代数已为人们所熟知,它给命题演算和对逻辑网络的研究提供了很好的工具。为了能反映动态情况,本文将它扩展成四值的布尔代数,研究了它的数学基础,提出了几种表达式,介绍了星算法的推导法则,并证明了与布尔差分相沟通的展开定理。文章较详细地陈述了在组合网络诊断方面的应用;通过典型例子介绍了求测试码的算法,并与流行的D算法、布尔差分法、ESP法等进行了比较。事实表明星算法具有某些优点。本文还指出了在网络其它方面应用的可能性。     

组合逻辑线路动态测试方法论

本文系统地研究了组合逻辑线路的动态测试,给出了生成一个动态可测故障以及一个冒险可测故障(静态不可测)完全测试集的方法。首先在“四值逻辑和星算法”的基础上,导出了一个识别逻辑线路所有(静态和动态)冒险的一个新的、系统的方法,然后应用获得的结果,推导了静态不可测单固定故障、多固定故障以及桥接故障的冒险测试公式,并举出了若干实例。     

利用北斗单星三频载波数据估算码偏差的方法

卫星导航系统码间硬件延迟偏差是电离层解算的主要误差来源,在高精度定位时,码偏差需要加以计算和消除.本文提出了通过北斗单星三频无电离层组合、线性回归假设及载波硬件延迟模型进行估算北斗接收机载波相位码偏差的方法,直接计算接收机的码偏差.通过采用实测的北斗单星三频载波数据,验证了该方法对于码偏差大于1μs时是有效性的.此方法提高了北斗二代测试期间数据质量分析水平,增强了北斗接收机软硬件的开发测试能力.     

四维最优二元自正交码及其构造

研究了四维二元自正交码的码长与距离之间的关系,证明了参数为[15m 5,4,8m 2]及[15m 12,4,8m 6]自正交码的不存在性,从而对每个n≥8确定了最优自正交码的极小距离,再构造出相应的最优[n,4]自正交码的生成阵,计算出它们的重量多项式。     

有参数约束的两两组合覆盖测试用例生成的研究

对组合覆盖测试用例生成的研究已不少见,但考虑有参数约束情况的并不多．针对有参数约束的两两组合覆盖测试用例生成的问题,提出了一种基于IPO策略的有参数约束的两两组合覆盖测试用例生成算法,并与经典的AETG方法作比较,实验表明该算法在某些待测软件系统上可以得到比AETG方法更小的测试集．另外,该算法的确定性组合的特性使其在实际应用中可以更有效地降低测试成本．     

前言

本期学报《容错计算专辑》是我校计算机及自动化系的计算机高可靠性研究室的研究成果报告。研究的中心内容是计算机的诊断问题,研究的主要工具是星算法。因此,为了阅读方便,我们把“四值逻辑与星算法” 一文重新刊载。文章提供了星算法的一个程序,它具有程序简短,所需存贮空间少的特点,能在微处理机上实现。文章是将星算法应用于组合线路多故障的测试,这项结果又被应用到时序线路的测试生成,获得这一领域     

Turbo码的组合译码算法

针对Log-MAP,MAX-Log-MAP和SOVA这三种常用的Turbo码译码算法的计算复杂度与译码性能之间的矛盾,提出了一种Turbo码组合译码算法。通过把Log-MAP和SOVA这两个译码算法在译码过程中进行配比组合,能在少量降低译码性能的同时,有效降低译码复杂度,降低整个系统的译码延时,适用于对实时性要求较高的通信系统。     

使用遗传算法对时序电路进行可测性预报

随着LSI/VLSI技术的发展,许多新的测试生成算法被开发出来 对于一个给定电路,快速而准确地选择最适合它的测试生成算法是一个具有很强现实意义的问题.本文提出了使用遗传算法(GA)找出逻辑电路的特性参数与测试生成算法可测性参数之间的关系,从而建立测试生成算法可测性参数(故障覆盖率,测试码个数)的模型,并对给定电路进行参数预报的方法。作者开发了遗传算法预报系统(GAFS),并使用该系统为常用的测试生成算法建立了直观的可测性参数表达式模型.用户可通过计算直接求得各测试生成算法对电路的可测性参数,然后通过比较选出最佳的算法.预报结果显示该系统具有较强的有效性和实用性.     

基于最小生成树的R~*-树结点分裂算法

针对R*-树应用到逆向工程领域时遇到的适用性差等问题,提出了一种新的R*-树结点分裂算法.该算法将R*-树索引结点表示为轴向包围盒,依据轴向包围盒外接球间的重叠度计算结点相似度,并将其作为权值构建结点无向连通图,用来求解结点无向连通图的最小生成树.沿最大权值边将最小生成树分裂为2棵子树,并基于结点外接球体积对R*-树结构进行优化,从而实现了R*-树结点分裂.实例表明,R*-树结点分裂算法可处理各种复杂数据的结点分裂问题,能够有效地提高R*-树的构建效率及空间数据的查询效率.     

逻辑网络复盖弧的通路计数问题

本文对组合逻辑网络故障诊断算法复杂性评估涉及的问题:在组合逻辑网络中(1)自初级输入顶点到初级输出顶点共有多少条单通路;(2)提出一个复杂性为O(n~2·m)的算法能找出自初级输入顶点到初级输出顶点有(m-|V_1| 1)条单通路复盖其所有弧;(3)其中最少存在多少条这样的单通路能复盖该逻辑网络的所有弧。应用图论方法分别给予回答和论证。