New Results on the Most Significant Bit of Integer Multiplication

Integer multiplication as one of the basic arithmetic functions has been in the focus of several complexity theoretical investigations and ordered binary decision diagrams (OBDDs) are one of the most common dynamic data structures for Boolean functions. Analyzing the limits of symbolic graph algorithms for the reachability problem Sawitzki (Proc. of LATIN, LNCS, vol. 3887, pp. 781–792, Springer, Berlin, 2006) has presented the first exponential lower bound on the π-OBDD size for the most significant bit of integer multiplication according to one predefined variable order π. Since the choice of the variable order is a main issue to obtain OBDDs of small size the investigation is continued. As a result a new upper bound method and the first non-trivial upper bound on the size of OBDDs according to an arbitrary variable order is presented. Furthermore, Sawitzki’s lower bound is improved.     

基于C 的稀疏矩阵乘法运算器的实现

稀疏矩阵是指那些多数元素为零的矩阵。本文利用稀疏矩阵"稀疏"特点进行存储和计算可以大大节省存储空间,提高计算效率。通过采用标准C 语言设计实现了稀疏矩阵乘法运算器。     

基于C＋＋的稀疏矩阵乘法运算器的实现

稀疏矩阵是指那些多数元素为零的矩阵。本文利用稀疏矩阵“稀疏”特点进行存储和计算可以大大节省存储空间,提高计算效率。通过采用标准C＋＋语言设计实现了稀疏矩阵乘法运算器。     

一种新的大整数乘法算法

为解决超出计算机系统基本整数类型表达能力的整数(大整数)算术运算问题,以基础算法--大整数乘法为研究对象,根据大整数的表示形式与多项式表示形式上的相似性,结合大整数乘法进位与取模的特点,给出了一种关于大整数乘法的多项式算法.其方法与别的方法最大的不同是,虽然是求两个大整数乘法,但整个算法没有使用乘法,只是用加法运算而已...     

MDS矩阵的比特变换性质及计数研究

本文对某些特定形式MDS矩阵的比特变换性质进行了研究,得到了输入输出具有相同比特奇偶性的等价条件,并给出了理论证明。另外,还给出了MDS矩阵的计数公式并给出了相应证明。最后,在理论分析的基础上进行了计算机统计实验,实验结果与理论推导结果一致。     

基于目标台位的车辆段入线计划生成算法研究

车辆段入线调车算法是一项比较复杂的工作,对调车的排列进行优化是主要完成的任务,在车辆段图形化自动调车系统的开发过程中,研究了几种调车算法,文章将介绍目标台位调车算法,该算法是在系统实现过程中所采用的多种算法之一,也是调车过程中主要采用的算法,该算法主要对全排列的快速收敛算法进行了探索,对快速得到最优方案起了重要的作用。文中将解释该种算法的处理过程。     

Ⅱ类正规基快速模乘算法的设计与实现

为寻求椭圆曲线密码应用系统中有限域上快速模乘算法，在Ⅱ类最佳正规基及其变形的类标准基基础上，提出了一种新的Ⅱ类最佳正规基快速模乘算法，并给出该算法FPGA实现的硬件结构。新的乘法器采用比特串行方式，使得硬件结构更加规则，减少了原有乘法器关键路径的延迟。试验数据表明，使用新的乘法器可以使整个椭圆曲线密码系统芯片工作频率大幅度提高。     

CAN通信中位定时的容差分析研究

CAN总线以其高性能、高可靠性及实时性等特点得到广泛应用.然而,这些优越性能在一定程度上受到硬件电路设计的制约.通过研究CAN总线上数据传输的过程,剖析了位定时对硬件偏差的容差能力.研究结论对CAN总线通信系统的设计有一定的指导意义.     

有限域上乘法运算快速实现的设计

提出了一种基于对数移位结构实现GF(2^m)上乘法运算的设计方法。在对有限域乘法进行分析及对对数移位结构进行介绍的基础上，对乘法实现进行了详细阐述。该设计方法可以在一个时钟内完成有限域乘法，其运算速度优势非常明显。     

一种将测试集嵌入到Test-per-Clock位流中的方法

集成电路测试方案的关键在于测试向量产生器的设计.传统的测试方法在测试向量生成、测试应用的过程中,没有充分利用测试数据位流来构建测试向量,从而造成了测试时间和存储开销的增加.为了减少测试成本,提出了一种基于test-per-clock模式的内建自测试方法.通过对线性移位测试结构的分析,提出了一种递进式的反复测试生成方法：顺序求解输入位流,逆向精简,多次求解以获得更优值,最终将测试集以较小的代价嵌入到test-per-clock位流中.在测试应用时,只需存储求解后的最小输入流,通过控制线性移位的首位从而生成所需的测试集.实验结果表明,在达到故障覆盖率要求的前提下,能显著地减少测试应用时间和存储面积开销.     

基于位运算的N皇后问题的解法

N皇后问题一般是用回溯法进行求解,常规的做法是用数组来模拟棋盘,但是运行效率却不高。基于位运算的N皇后问题的解法,将列冲突转化为行冲突,以整型数的二进制形式来模拟集合,用位运算来实现集合运算。通过编程测试,证明此种解法能够大大提高运行效率。     

基于CAN总线的位定方法的优化研究

CAN总线中,如果位定有一点小错误就会导致总线性能严重下降.尽管位同步有时候会修补由于位定设置不当而产生的错误,但不能完全避免出错情况,并且在遇到两个或多个CAN节点同时发送的情况时,错误的采样点会使节点启动错误认可标志,使节点不能赢得总线上的任何活动.因此针对上面容易发生的错误,对CAN总线位定中的位同步和CAN节点的工作过程进行了深入的分析,并对CAN总线位同步的运行规则以及如何对位定参数设置进行了研究.     

新中产阶层审美价值观浅析

新中产阶层作为我国新近出现的一个社会群体,拥有相对稳定而可观的收入,较高的受教育水平和审美水平,成为了一个重要的消费群体。本文即通过收集比较他们的生活形态、使用产品等方式,研究总结出他们特有的一些审美特性;以期对今后的相关产品设计提供可靠的借鉴和有意的探索。     

基于RFID系统的误码率研究

该文利用强大的数学工具Matlab和仿真工具Simulink对RFID系统的通信框架进行搭建和仿真,其中主要对通信中不同的编解码方式进行仿真。通过对仿真结果的比较和分析,来选择可靠的编码方式。简单的编码只能提供初步的检错和同步信息,为此还要选择合适的校验方式以提高通信的可靠性。采用CRC校验,并使信道信噪比在30dB以上,仿真显示可以进行可靠的数据传输。对RFID系统的计算机仿真是很有意义的一项工作。     

DWT域基于位平面的图像公开水印算法

本文提出了一种新颖的DWT域公开水印算法,该算法基于位平面的思想,在小波逼近子图的分解子图中结合HVS的特性多版本嵌入二值水印图像信息,最后基于统计的原理提取水印。实验表明,此算法效率高,鲁棒性、透明性好。     

一种基于BIT存贮运算的Apriori改进算法

探讨了Apriori算法的改进问题,提出了一种基于BIT存贮运算的关联规则挖掘算法。该算法可把相当大的数据集读入内存,并在内存中使用高效的BIT运算快速进行计数,同时简化了Apriori算法中候选项集的计算,由直接判断生成频繁项集,大大地减少了ee间变量及其存贮的时间和空间,提高了关联规则挖掘的速度和效率。     

基于游程检测与快速傅里叶变换的加密比特流识别

为获得链路层中的加密与未加密比特流样本,首先提出了基于游程检测方法的链路层加密比特流识别方案,解决了未知网络环境下的加密与未加密比特流样本获取问题.同时,采用快速傅里叶变换分别对加密与未加密比特流样本进行处理,根据最大差异原则确定了快速傅里叶变换结果的特征点位置,并基于正态分布原理确定了特征点的取值,建立了特征模板.最后,以某无线网络链路层加密比特流为识别对象,对提出的方案的有效性进行了验证.结果表明,该方案对链路层加密与未加密比特流的识别率均可达到95％以上.     

基于DNA下推自动机二进制减法和乘法的实现

提出了基于DNA下推自动机二进制减法和乘法的实现方法.一位二进制借位减法,是通过预先构造好的DNA下推自动机模型在一个试管中以该模型的运行方式自动完成运算.m位二进制借位减法,是在一位二进制减法的基础上,按照从低位到高位的顺序,将低位产生的借位作为高位试管操作巾的输入符号串,从而完成高位的减法运算.两位二进制乘法中包含移位和加法操作,在两个试管中分别设计好DNA下推自动机模型,分别完成被乘数与乘数各位的移位操作,同时结合相应的生物操作,将其作为另一个试管加法操作中的输入符号串,则加法操作中产牛的结果即为所求.在此基础上,m位二进制乘法可通过移位操作的并行性和加法操作的串行性来完成运算.这些实现方法为DNA下推自动机实现基本的算术运算提供了比较完整的运算机制.     

Complexity Analysis of Algorithm for Multiplication of Superlarge Numbers Based on Walsh Coefficients

The Strassen approach to fast multiplication of large numbers with the use of the Fast Walsh Transformation (FWT) algorithm for calculation of discrete convolution is developed. A priori complexity estimates for the constructed algorithm, results of the comparative analysis with the Karatsuba-Offman, Schonhage-Strassen, and standard algorithms, and domains of its efficient application are given.     

使用队列生成二叉链表树的非递归算法实现

讨论了利用队列来生成二叉链表树的非递归算法,通过借助了二叉树的顺序存储方法以及构建一个临时的队列来实现这个算法,该算法的提出丰富了由递归算法转换成非递归算法的方法。