循环码译码的Dixon结式方法

针对纠错码译码就是非线性方程组的求解问题,提出利用Dixon结式方法对译码方程进行消元以得到接收数据中的错位多项式.首先,根据纠错码的纠错能力和接收数据得到伴随式矩阵并通过该矩阵的秩确定接收码字中错误位的个数.然后,根据错位个数和伴随多项式构造译码方程.译码时,将其中一个错位变元作为隐藏变元,利用Dixon结式方法进行消元.最后,得到的Dixon结式就是关于隐藏变元的多项式.该多项式去掉多余因子后就是错位多项式,利用Chien搜索法即可求解出错误位置.当错位较多时,采用逐次计算结式的方法以筛除计算过程中的多余因子和重因子.另外,根据不同错位个数得到的错位多项式,提出了构造一类循环码错位多项式符号解的猜想,该猜想可以大大提高译码效率.实验验证了结式理论在纠错码译码方面的应用是有效的且有助于降低对芯片性能的要求.     

微分周形式与稀疏微分结式

代数周(Chow)形式和代数结式是代数几何的基本概念,同时还是消去理论的强大工具.一个自然的想法是在微分代数几何中发展相应的周形式和结式理论.但是由于微分结构的复杂性,在本文的研究工作之前,微分结式只有部分结果,而微分周形式与稀疏微分结式理论一直没有得到发展.本文的主要结果包括:第一,发展一般(generic)情形的微分相交理论,作为应用,证明一般情形的微分维数猜想.第二,初步建立微分周形式理论.对不可约微分代数簇定义微分周形式并证明其基本性质,特别地,给出微分周形式的Poisson分解公式,引入微分代数簇的主微分次数这一不变量并证明一类微分代数闭链的周簇和周坐标的存在性.作为应用,首次严格定义微分结式,证明其基本性质.第三,初步建立稀疏微分结式理论.引入Laurent微分本性系统的概念,定义稀疏微分结式,证明其基本性质,特别地,引入微分环面簇的概念,给出稀疏微分结式阶数和次数界的估计,并基于此给出计算稀疏微分结式的单指数时间算法.     

交换环上多项式结式的性质

本文主要讨论交换环上多项式结式的一些性质.首先,我们证明了交换环上一种乘积的结式等于结式的乘积的性质,然后,我们证明了交换环上一种和的结式具有的性质,并且给出了交换环上结式为零的一个充分条件.     

斜消法变换与结式计算的简化

我们知道,在多项式理论中,结式是个重要的概念,结式的计算有着多方面的应用。但是,一个n次多项式f(x)与另一个m次多项式g(x)的结式R(f,g)计算,涉及到一个(m+n)阶行列式的计算,这是十分麻烦的事。本文提供的方     

Dixon 结式的三类多余因子

Dixon结式是一种基本消元方法,
它在自动控制、机器人等高技术领域中有着重要应用.
但是由于结式方法可能产生多余因子,
因此多余因子的产生机理一直是一大难题.
本文通过将Dixon结式表示成原多项式系统的线性组合,
发现了Dixon结式的部分多余因子,
并且证明了其可由Dixon导出多项式的多余因子和Dixon矩阵的多余因子
以及导出多项式回代产生的多余因子三大部分组成.     

连续代数扩域上多项式因式分解的Trager算法

多项式的因式分解是符号计算中最基本的算法,二十世纪六十年代开始出现的关于多项式因式分解的工作被认为是符号计算领域的起源．目前多项式的因式分解已经成熟,并已在Maple等符号计算软件中实现,但代数扩域上的因式分解算法还有待进一步改进．代数扩域上的基本算法是Trager算法．Weinberger等提出了基于Hensel提升的算法．这些算法是在单个扩域上做因式分解．而在吴零点分解定理中,多个代数扩域上的因式分解是非常基本的一步,主要用于不可约升列的计算．为了解决这一问题,吴文俊,胡森、王东明分别提出了基于方程求解的多个扩域上的因式分解算法．王东明、林东岱提出了另外一个算法Trager算法相似,将问题化为有理数域上的分解．他们应用了吴的三角化算法,因此算法的终止性依赖于吴方法的计算．支丽红则将提升技巧用于多个扩域上的因式分解算法．本文将Trager的算法直接推广为连续扩域上的因式分解,只涉及结式计算与有理数域上的因式分解,给出了多个代数扩域上的因式分解一个直接的算法．     

多元多项式系统三种结式关系的探讨

研究了多元多项式系统的Sylvester结式、Dixon结式以及混合CayleySylvester结式之间是否存在特定关系的问题,利用构造混合结式矩阵的方法证明了在满足一定的条件下,多元多项式系统的这些结式的绝对值都相等.而对于一般的多元多项式系统,也证实了上述这些结式之间仅仅相差一个因子,推广了两变元多项式系统的结论.     

捕获等式约束下多项式在闭长方体上的最小值

对于给定的一个实多项式函数f∈R[x1,…,xn],R[x1,…,xn]中一个非空的有限子集H以及Rn中一个闭长方体n∏＝i1[ai,bi],给出了一个有效算法,可产生有限个单元多项式,使得这些单元多项式的一个实根正是多项式函数f在集合n∏i=1[ai,bi]∩ZeroR(H)上的最小值,这里ZeroR(H)为H的实零点集。有关算法通过Maple软件被编制成一个通用程序,可处理相关实例。     

一般基下矩阵多项式的张量Bezoutian

给出矩阵多项式在一般基下的张量Bezoutian的定义,推广了标准幂基下的古典张量Bezoutian.讨论了该矩阵的Barnett型分解,缠绕关系和关于可控制/可观测矩阵的表示等重要性质.     

分片代数曲线交点的结式求法

本文对确定分片代数曲线的二元样条函数的整体表达式中的截断引入参数表示,给出了分片代数曲线交点的结式求法．理论与实例表明,这种算法是有效的．