判定多值逻辑推导问题的代数方法

本文证明了对于给定的多值逻辑系统中的命题公式，存在有理数域上的多项式与之对应从而判定一个命题公式能否以一组命题公式推出，我们只需判定某一多项式是否在一代数值上消失通过代数簇的分解，给出了判定这一问题的算法。     

Nöther-type theorem of piecewise algebraic curves

The piecewise algebraic curve is a generalization of the classical algebraic curve.This paper describes the improvement of the Nother-type theorem of piecewise algebraic curves on the star region.Moreover,the Nother-type theorem of piecewise algebraic curves on the cross-cut partition is discussed.     

Nother-type theorem of piecewise algebraic curves

The piecewise algebraic curve is a generalization of the classical algebraic curve. This paper describes the improvement of the Nother-type theorem of piecewise algebraic curves on the star region. Moreover, the Nother-type theorem of piecewise algebraic curves on the cross-cut partition is discussed.     

分片代数簇的机械化求解

分片代数曲线、曲面的拼接涉及多元样条函数组的零点问题，给出了分片多项式的初式、升列、求余分工以及特征列概念，应用求代数簇的吴方法，讨论求出相应的特征列及相应的特征的零点，进而给出一定条件下分片代数簇的机械化求解方法。     

Intersection complex via residues

We provide an intrinsic algebraic definition of the intersection complex for a variety.     

分片代数曲面的绘制

提出了一种基于多边形化的分片代数曲面的绘制方法．首先，计算每一个单元所处的片的序号，接着计算它们和曲面的所有的交点形成一个多边形，然后将这个多边形分解成若干个三角形使得每一个三角形都落在同一片曲面上．在该方法中，每一片被染上不同的颜色以便对它们进行局部的控制．最后给出了一些例子以说明这个方法的有效．     

代数自反与弱代数自反

基于线性插值的需要，本文引入了弱代数自反的概念，并发现两者有一种对关系，于，有关代数自反的许多结果可以移植到弱代数自反上。     

关于代数整数与代数数的一个注记

证明了代数数是有理数系数方阵的特征值,代数整数是整数系数方阵的特征值.由此出发,完全用线性代数与矩阵计算的方法简洁地证明了代数整数对加减法和乘法封闭,从而构成一个环(代数整数环);所有代数数对加减乘除封闭,从而构成一个域(代数数域).     

Construction of balanced rotation symmetric boolean functions with optimal algebraic immunity

Algebraic immunity is a new cryptographic criterion proposed against algebraic attacks. In order to resist algebraic attacks, Boolean functions used in many stream ciphers should possess high algebraic immunity. This paper presents one main result to find balanced rotation symmetric Boolean functions with maximum algebraic immunity. Through swapping the values of two orbits of rotation class of the majority function, a class of 4k＋l variable Boolean functions with maximum algebraic immu- nity is constructed. The function f（x） we construct always has terms of degree n-2 independence of what ever n is. And the nonlinearity off（x） is relatively good for large n.     

具有最大代数免疫阶的布尔函数的新构造

针对密码学中布尔函数的构造需求, 利用布尔函数的代数标准型, 分析了布尔函数不存在次数低于 m 的非零零化子的充分条件, 得到布尔函数达到最大代数免疫阶的条件, 从而构造了一类具有最高代数免疫阶的布尔函数, 并对所构造函数的平衡性和计数问题进行了分析。     

一类随机Riccati矩阵代数方程的线性迭代解法

针对无穷区间随机线性二次最优控制问题对应的随机代数Riccati方程提出了线性迭代解法.算法中得到Liapunov线性代数方程解的序列,该序列收敛于随机Riccati代数方程的解.已有的理论算法针对该SARE得到的是非线性的常规Riccati代数方程解的序列,而通常每一次运用经典的Kleinman迭代方法求解常规Riccati代数方程,都是反复迭代求解Lia-punov线性代数方程的过程.这就使得本文算法相较于已有理论算法在针对特定类型SARE时,具有较好的性能.     

环的反同态性质的研究

当两个环之间存在反同态映射时,利用已知环的代数结构和性质给出未知环的代数结构和性质,从而研究环的反同态所具有的传递性质。     

代数结构的伴随函数研究

在讨论代数结构抽象性的基础上引入了反映代数结构的类数(随基数)变化情况的伴随函数的概念;然后主要利用对合自同构和直积,从给定结构之内、外两个方面的变换出发,给出了构造具有相同伴随函数的代数结构的两种方法;并指出,伴随函数的概念有助于拓广人们对代数结构的认识;文末一般地提出了代数结构函数论的研究问题。     

三角函数的一个代数性质

本文讨论了三角函数在有理度数上的取值的代数性质，得出其取值均为代数数。     

基于代数曲线yq+y=xqt+1上的代数几何码的广义汉明重量

考虑了一类关于有限域Fq2t 上的代数曲线yq+ y=xqt+1上的代数几何码 (几何Goppa码 )的广义汉明重量分析 ,它是厄米特码 (当t =1时 )的广义汉明重量的一个推广 ;提供了这类码的广义汉明重量的上界 ,同时给出了第二级的广义汉明重量在整数m在区间 qt+1+ q≤m ≤n - qt+1+ q+ 1上的准确值 (m是决定这些码的维数的一个参数 ) ,并且进一步提出了一些更加广阔的问题让人思考 .     

基于多元表征发展代数思维的教学模式研究

代数思维学习是国际中小学数学教育的主要任务.代数思维发展源于代数思维的工具掌握与其载体的内容训练,在于多元表征学习.代数思维的多元表征教学,可以促使学生理解代数知识和解决问题,由此建构"基于多元表征发展代数思维的教学模式".     

两类具有最优代数免疫阶的奇变元布尔函数

奇变元的对称布尔函数中达到最优代数免疫阶的有且仅有两个：f0和f0＋1．在此基础上构造了两类奇变元的具有最优代数免疫阶,有较高代数次数,并且非线性度等于2^n-1-（n-1（n-1）/2）的平衡非对称布尔函数．     

n-RDS型代数群及其李代数

通过对代数群的连通正规闭子群格的讨论研究代数群。根据连通正规闭子群格满足的一些条件,定义了n—RDS型代数群。通过讨论它与n—RDS型李代数的关系,刻画了n—RDS型代数群的一些性质,并给出了一些实例。     

两类代数Domain范畴的等价

首先证明了一个Domain范畴与它的等价范畴有相同的笛卡儿闭性，其次通过引入两类新的偏序集即L-偏序集和B-偏序集，构造了范畴LPOSa（由L-偏序集与逼近关系组成）和范畴BPOSA（由B-偏序集与逼近关系组成），并证明了它们分别与代数L-domain范畴ALD和代数be-domain范畴ABD等价．     

一类三次多项式微分系统的代数分类及其应用

利用Llibre的代数不变式理论,首先由二元二次和二元四次多项式的分类结果,对一次和三次齐次多项式微分系统进行代数分类,同时补充了已有结果中出现的漏洞;其次,由称共变张量空间的性质,对缺二次项的三次微分系统在保证轨线走向不变的前提下进行代数分类,使分类后同类系统的示性多项式有相同零点;最后通过讨论一类简单系统的有界性说明了分类的方便方处.