求解非线性代数方程组的一种新算法及其软件实现

对基于DIXON结式的聚筛法在计算机编程算法方面做了有益的改进,有效地提高了聚筛法的效率,由此而开发的自动化的聚筛法软件GAS求解非线性代数方程组的整个计算过程无需人工介入,从而解决了基于DIXON结式的聚筛法仅仅停留在理论研究领域而不能应用于实际工程计算的问题.     

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

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

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

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

循环码译码的Dixon结式方法

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

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

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

基于结式消去法的并联机构位置解析

目的并联机构位置解析的核心问题是求解一组非线性方程组,为此提出一种消去法使并联机构位置方程降维,以便采用同伦方法求得位置方程全部解。方法从并联机构位置约束方程出发,采取狄克逊结式对位置正解方程进行消元,从而得到机构位置正反解封闭方程;采用同伦方法和利用MATLAB数学软件进行求解。结果利用MATLAB数学软件编制的狄克逊结式消元和同伦算法的数学机械化程序,得到Delta型并联机构位置问题的全部数学解。结论结式消去法为并联机构位置解析提供了十分有效的通用方法,而且可用于解决其他更为复杂的体系。     

关于孤立性定理

代数体函数的第二基本定理是在不可约情况下推出的,利用分支点的估计式,证明了一个孤立性定理,然后在较宽的条件下证明了分支点定理,因此推广了重要的代数体函数第二基本定理的使用条件.     

多项式互质与可控性分析

讨论了一类单输入线性定常系统和多输入线性定常系统完全可控的多项式判据,通过多项式组的互质性即可判断线性系统的可控性,同时讨论了可控性矩阵可逆的条件及逆阵的求法.     

常系数齐次线性微分方程组有非零解的条件

利用多项式理论讨论微分方程的特征多项武之间的关系，得到常系数齐次线性微分方程组有非零解的判别条件。     

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

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