p元扩域上的快速乘法

基于剩余算术理论构造了一类F_p[x]上的项式PAPB,给出了该型不可约多项式的存在数量估计;然后,利用剩余算术和中国剩余定理,提出了一种模PAPB乘法的快速实现算法;最后给出结果分析.理论和实验结果表明,在一定条件下,给出算法的计算复杂度仅有O(k~(1.5)),优于常用模二项式乘法O(k~2)的计算复杂度.因此,该类多项式在最优扩域和椭圆曲线算法中有较好的应用前景.     

有限域上多项式f（x^t）的不可约因式的周期

本文给出了由有限域Ｆｑ上不可约多项式ｆ（ｘ）的周期和次数确定多项式ｆ（ｘ＾ｔ）的不可约因式的周期和次数的方法，这里ｔ是与ｑ互素的正整数。     

语言真值格蕴涵代数的蕴涵不可约元

本文提出了语言真值格蕴涵代数的蕴涵不可约元、有限蕴涵分解元、有限蕴涵分解不可约元的定义,并研究了它们的结构特征,证明了语言真值格蕴涵代数中的部分元素可由蕴涵不可约元通过张量积运算生成.     

Rijndael算法中S盒优化测试方法研究

文章首先说明了Rijndael算法中S盒的四种测试方法,包括差分、线性、雪崩和布尔表达式测试。使用有限域中30个最高次幂为8的不可约多项式利用MATLAB构造不同S盒,然后对这些S盒进行优化测试,发现它们在差分和线性测试上性能相似,在雪崩和布尔表达式测试方面的差别主要在稳定性和分布均匀性上,从这两方面得到了最优的S盒。     

发现和学习不可复位动态系统的预测状表示的一种新算法

提出了一种发现和学习不可复位动态系统的预测状态表示的新算法.在证明系统的任意landmark均可作为系统的初始状态的基础上,利用发现的landmark确定系统在任意时间步所处的经历,然后采用蒙特卡罗方法估计任意经历下任意检验发生的概率,解决了在不可复位动态系统中,经历下检验发生的概率难以获取问题,进而发现和学习不可复位动态系统的预测状态表示.实验结果表明,本文算法获得的系统的预测状态表示在预测精度上明显优于suffix-history算法,验证了所提算法的有效性.     

发现和学习不可复位动态系统的预测状态表示的一种新算法

提出了一种发现和学习不可复位动态系统的预测状态表示的新算法．在证明系统的任意landmark均可作为系统的初始状态的基础上,利用发现的landmark确定系统在任意时间步所处的经历,然后采用蒙特卡罗方法估计任意经历下任意检验发生的概率,解决了在不可复位动态系统中,经历下检验发生的概率难以获取问题,进而发现和学习不可复位动态系统的预测状态表示．实验结果表明,本文算法获得的系统的预测状态表示在预测精度上明显优于suffix-history算法,验证了所提算法的有效性．     

基于极小线性码上的秘密共享方案

从理论上说,每个线性码都可用于构造秘密共享方案,但是在一般情况下,所构造的秘密共享方案的存取结构是难以确定的.本文提出了极小线性码的概念,指出基于这种码的对偶码所构造的秘密共享方案的存取结构是容易确定的.本文首先证明了极小线性码的缩短码一定是极小线性码.然后对几类不可约循环码给出它们为极小线性码的判定条件,并在理论上研究了基于几类不可约循环码的对偶码上的秘密共享方案的存取结构.最后用编程具体求出了一些实例中方案的存取结构.     

星Sn的道路多项式

道路多英式Ｐｋ（λ）是上、下对角线元素的１，其它元素为０的ｋ阶方 牺牲殉项式：记Ｐｏ（λ）＝１。连通图的邻接矩阵是不可约的（０，１）－对称矩耻，称这为矩 ２多项式为其道路多项式。这类道路多项式的计算有重要的组合意义。图Ｇ的邻接矩阵防作Ａ（Ｇ），若对任何ｎ，Ｐｎ（Ａ（Ｇ））≥０，则称Ｇ是道路正图，本文给出了对任何ｋ≥０，星Ｓｎ的邻接矩阵Ａ（Ｓｎ），的表达工。星Ｓｎ，是道路正图。     

不可分流网络的最小费用流问题

通常情况下单位流量费用最小的那条路径发送各个流总费用是最小的,但是往往单位流量费用最小的那条路径并不一定能满足所有流均可通过。针对不可分流的网络流最小费用问题,提出按流值排序寻求最优解的算法,并给出相关的理论证明及算法,最后通过具体实验测试了该算法的有效性。此算法可以快速求解所提的问题,并能够算出最优值。实例结果表明,该算法有效地解决了不可分流的网络流最小费用问题,可以应用于实际的网络优化中。     

一种应用于不可分层LDPC码的并行分层译码算法

该文针对不可分层LDPC码无法利用分层算法进行译码的问题,提出了一种并行分层置信度传播(Parallel-Layered Belief-Propagation,PLBP)译码算法。与传统分层算法不同,该算法在译码时并行进行各层更新,串行进行层内各行更新。这种译码机制使得同一变量节点在各层内不同时进行更新,从而实现各变量节点在一次迭代中分层递进更新的算法目标。仿真表明,在不增加译码复杂度的情况下,该文提出的PLBP算法与传统的洪水算法相比,误码性能更优,而且所需要的平均迭代次数降低了约50%。此外,PLBP算法采用了合并的节点更新运算,最终使该算法达到的译码速度约为洪水算法的4倍。     

A test of independence based on a generalized correlation function

In this paper, we propose a novel test of independence based on the concept of correntropy. We explore correntropy from a statistical perspective and discuss its properties in the context of testing independence. We introduce the novel concept of parametric correntropy and design a test of independence based on it. We further discuss how the proposed test relaxes the assumption of Gaussianity. Finally, we discuss some computational issues related to the proposed method and compare it with state-of-the-art techniques.     

Test response reuse-based SoC core test compression and test scheduling for test application time minimization

This paper presents a novel approach to system-on-a-chip (SoC) core test compression and test scheduling. Every test set is compressed through the test responses of its preceding core in preprocessing step by simulation. Consequently, under our method the test sets contain two parts: (1) the test sets that are compatible with the test responses of their individual preceding cores. This part can be removed from their original test sets, and (2) the test sets that none of the test vectors from them are compatible with the test responses of their individual preceding cores. On hardware implementation, only a couple of 2-1 MUXs are needed. The algorithms for reordering the sequences of core-under-tests and those of the test vectors for each corresponding core are outlined for optimal test compression results. It needs neither coder nor decoder, thus saving hardware overhead. Power-constrained SoC core test pipelining consumes less test application time. Hierarchical clustering-based SoC test scheduling can be implemented easily, and the hardware overhead is negligible. Experimental results on benchmark ISCAS 89 demonstrate that our method achieves significant improvement of test time and less ATE requirement over the previous methods, and it does not discount the fault coverage of each test set, moreover, the fault coverage for some test sets is improved instead.     

实现测试复用的SOC设计中的测试结构

在系统芯片SOC(system on a chip)设计中实现IP核测试复用的芯片测试结构一般包含两个部分：1)用于传送测试激励和测试响应的片上测试访问机制TAM;2)实现测试控制的芯片测试控制器。文章分析了基于测试总线的芯片测试结构,详细阐述了SOC设计中测试调度的概念,给出了一种能够灵活实现各种测试调度结果的芯片测试控制器的设计。     

第三方软件动态测试模型的研究

基于敏捷方法的测试模型大多都是发生在软件研发过程中,这种测试模型虽然客观上适用于快速迭代的软件测试过程,实际上却还是有一定的局限性,比如代码具有传递性。本文基于敏捷方法测试模型提出了一种新的动态测试模型,这种测试模型不仅节省了大量的时间以及成本,同时还为后续设备投入使用提供了有力的保证。     

静电实验

对产品进行必要的静电测试有利于保证产品在进入市场后的可靠性,提高产品的质量.本文就电子产品的静电实验做了较为详细的叙述,另外还就实验中可能出现的一些问题做了提示.     

在认证中电器产品的耐压测试

本文介绍了耐压测试的由来，CSA、UL的标准要求，耐压测试的测试设备以及测试方法。     

世博交通信息管理系统的创新测试过程

“世博交通信息管理系统”服务2010上海世博会的一个任务量大、工期紧且质量要求高的重大项目，这意味着传统的测试流程已经无法满足项目的需要。为了保障项目的顺利上线，本文采用了在项目开发的每个阶段加大测试资源的投入，在方法上采取部分敏捷的方式，做到测试先行，测试驱动开发；在测试技术上根据项目特点采用自创的SQL脚本侵入测试、VSTS2008与Selenium结合的自动化测试。经过了这一系列的测试改进，世博交通信息管理系统提前一周成功上线。     

基于数据流的软件测试序列自动生成技术研究

测试用例自动生成技术是软件测试的一个重要研究领域，而如何从待测试程序中选取适当的测试序列集合是其中的一个关键问题。文章提出一种构造结构性测试序列集合的方法，此方法首先对待测试程序进行静态分析，然后根据程序的语句间关系生成程序图，最后基于数据流测试准则，根据程序图以及变量的定义和使用信息构造结构性测试序列集合。在Linux平台上使用这种方法对若干条程序进行分析处理，得到的测试序列集合可以使待测试程序得到充分测试。本文提出的方法具有比较高的测试覆盖，同时，在计算过程中避免了无用路径的生成，节省了算法空间和执行时间。     

数据仓库技术在广电检测数据中的应用

检测工作是质量控制的关键环节,会根据测试对象的不同产生大量的数据,利用数据仓库技术来管理测试数据,将会对检测工作的长期发展产生巨大的作用.首先对数据仓库的关键技术和实施工具进行了介绍,接着在分析广电检测数据整体架构的基础上,进行了逻辑模型和物理模型的初步设计,为广电检测数据仓库的原型系统提供了框架和模型.     

微波连接器绝缘电阻的测试

本文介绍连接器绝缘电阻的测试,重点阐述如何确定其测试条件,以保证测试的准确性和一致性。