多项式模代数在多值逻辑系统中的适应性

针对文献［１］中的模代数系统对多值逻辑的适应性定理，指出了多项式模代数系统对于基数为素数幂值逻辑的适应性     

关于半局部环的一些注记

半局部环,特别是不可分的半局部环与局部环有许多类似的性质,徐金中等做了研究。对这些性质进一步研究,给出了半局部及不可分的半局部为局部环的充要条条,同时给出了半局部环为半单环的新刻画。     

基于模运算的DCT域盲水印算法

本文提出了基于模运算的DCT域盲水印算法。算法首先对原图进行DCT分解，对分解的图像进行8×8分块。其次，根据伪随机序列对水印和水印信息嵌入位置乱，将水印信号嵌在每一小块的低频系数上，并进行反变换。实验表明该算法具有不可见性和鲁棒性。     

论模n剩余类环Zn的性质与扩张

从模n剩余类环的定义出发,系统论述了模n剩余类环的基本性质,并利用定义和基本性质对模n剩余类环的一般性质进行了深入的讨论,同时给出了模n剩余类环的一些有意义的扩张性质及其证明。     

循环环的子结构、商结构以及特殊元素

首先讨论了文中所需的关于循环环和剩余类环的基本结果,然后借助这些结果对于循环环的子结构、商结构以及特殊元素进行了分析．关于子结构问题,给出了任意循环环的全部子环、理想、极大理想、素理想;关于商结构问题,讨论了商环的结构和商环为域的条件;也讨论了循环环中的单位元素、零因子元素、可逆元素、幂等元素、幂零元素等特殊元素的性质;给出了循环环的自同构群的阶的计算公式．     

循环环的结构性质

借助循环群的性质和群的同态性质证明了循环群和整数的一些性质,并通过讨论不同剩余类环中同阶子环的同构关系,给出了一个循环环的同构类型性质的结构定理的新证明.     

模归约算法表达式自动生成算法设计与实现

多项式模归约算法是计算机代数中的基本问题之一,在编码算法和密码体制设计中有着广泛应用。基于对模归约数学基础的分析,设计了模归约算法表达式自动生成算法,只要选择实现所需的字宽w和模多项式M（x）的系数,即可自动生成对应的模规约算法表达式,为模规约算法在密码编码学中的应用提供了基础。     

Equality detection for linear arithmetic constraints

Satisfiability modulo theories （SMT） play a key role in verification applications. A crucial SMT problem is to com- bine separate theory solvers for the union of theories. In previous work, the simplex method is used to determine the solvability of constraint systems and the equalities implied by constraint systems are detected by a multitude of applications of the dual simplex method. We present an effective simplex tableau-based method to identify all implicit equalities such that the simplex method is harnessed to an irreducible minimum. Experimental results show that the method is feasible and effective.