机构极限位置的多项式解

从机构极限位置的定义出发,提出了确定机构极限位置的理论,并用基组结式消元法求得机构极限位置的多项式解,彻底解决了机构极限位置的确定问题。该文理论和方法适应性强,可以一次性地求得机构的所有极限位置。文中还以实例验证了该文理论和方法的正确性。     

代数方程组相关性的一个判准及其在定理机器证明中的应用

本文在吴-Ritt 整序原理基础上,给出了检验一多项式在一给定的代数簇上是否消没的充要条件,检验方法是切实可行的,且不依赖于代数簇的分解.     

基于插值法计算Dixon结式

在经典方法中，计算Dixon多项式和结式都要涉及到行列式的计算。由于行列式中的元素通常是符号化的，即其中每个元素都是关于变元(或参数)的多项式，从而导致行列式展开时的中间计算过程膨胀(甚至爆炸)。对此，提出在结式计算过程中将符号计算数值化，即对变元选择不同的插值点，将行列式中的元素数值化。然后，求出在不同插值点下行列式的值。最后，根据Zippel多变元插值法或其他相关插值算法计算出Dixon多项式和结式。采用插值方法有效克服了经典算法的中间计算过程膨胀问题。     

基组结式消元法

该文提出基组结式消元法。其核心思想是：根据秩的大小选取基组，利用贝左结式消元，将一个多项式方程组（ ＰＳ） 化成一个三角型方程组（ ＴＳ）；求解（ＴＳ）并代入（ＰＳ） 检验，可得（ＰＳ） 的全部解。该法具有消元过程简单和消元结果次数较低等优点。凡是可化为多项式方程组求解的问题，均可用该文的方法进行研究；特别在机构学研究中具有广泛的应用。     

计算等式约束下多项式在闭长方体上的精确最小值

对于给定的一个实多项式函数f,多项式环R[x1,…,xn]中一个非空的有限子集H以及Rn中一个闭长方体∏n i=1[ai,bi],给出了一个有效算法,用来计算多项式函数f在集合∏n i=1[ai,bi]∩ZeroR(H)上的精确最小值,这里ZeroR为的实零点集。此外,该算法可产生一个最小值点,该点被写成所谓的区间-有理单元表示。相应的有关算法通过Maple软件被编制成一个通用程序,可处理相关实例。     

先秦两汉时期的“v杀”和“v死”

本文通过分析先秦两汉时期的"v杀"和"v死"结构,得出动结式并不产生于先秦两汉时期。尽管如此,汉代却已具备了动结式产生的基础。     

年轻科研人员如何走向成功(12)——数据的表述与分析

在上文[1]谈了"实验数据记录"以后,本文要谈一谈数据的表述与分析. 你通过研究和实验可以得到值得你高兴的一系列数据和有关结果,但你还不能过于陶醉.对科研人员来说,更富有挑战意义的工作是你如何表述和分析这些实验结果.多数实验结果都会以某种总结式的形式得到呈现,分析也会是客观的.这样的例子有平均数、中住数.跟着这些分析来的还有该组实验的观察次数和变化情况,比如范围、标准误差或标准偏差.但要记住,简单的算术平均值,即使给出偏差,也可能并不反映数据的真实性质.     

结式理论在多元非线性方程组中的应用

通过分析多项式互质性的判定定理,把多项式的结式理论引入到多元非线性方程组的解法中,得到一种系统的方法可以确定多元非线性方程组的所有解。这种方法比传统的数值迭代法更具优越性,最后给出具体的实例验证了该算法是有效的。     

部分子结式性质的改进证明

为了更好的计算两个单变元多项式的最大公因式,20世纪初有Burside和Panton首先提出了结式的概念,在结式的基础上又提出了子结式的概念,这使得求最大公因式有了一个更系统的算法.计算机代数中关于子结式的经典定义过于繁琐,文献[1]中给出了子结式的一种简洁的定义.主要是借助文献[1]新定义的方法给出部分子结式的性质的证明及一些相应的例题,并对部分结论进行了一定的推广.     

广义结式矩阵核维数的证明

广义结式矩阵核的维数对于研究结式矩阵有重要的意义,因此文章利用广义结式矩阵与多项式之间的关系,给出并证明了多项式的广义结式矩阵核的维数.