由吴方法计算零维系统的有理单元表示

本文提出一个计算零维系统的有理单元表示的新算法.无需进行Grbner基运算,我们的算法仅运用了著名的吴方法.基于吴方法,我们的算法在Maple平台上被编制成一个通用程序RUR-Wu,可快速地计算出零维系统的有理单元表示.作为一个应用,本文提出了一个有效方法,用来计算某些多项式的整体最小值.此外,本文给出了几个实例,用来表明算法的效率.

寻求多项式系统在闭超长方体上的实零点

对于给定的一个n元多项式系统P和Rn中一个闭超长方体S,给出了一个有效算法,使得在ZeroR(P)∩S的每一个半代数连通分支上能找到至少一个实零点。为精确起见,所找的实零点通过所谓的区间有理单元表示来描述。同时给出了另一算法,可用来检验所得的实零点是否属于闭超长方体S。为处理实例,有关算法在Maple软件平台上被编制成一个通用程序。

寻求多项式系统在开超长方体中的实零点

对于给定的一个n元实多项式系统P和Rn中一个开超长方体S,给出了一个有效算法,使得在ZeroR(P)∩S的每一个半代数连通分支上能找到至少一个零点。为精确起见,所找的实零点通过所谓的区间有理单元表示来描述。为处理实例,有关算法在Maple软件平台上被编制成一个通用程序。

计算多项式函数的全局下确界和全局最小值的有效算法

通过捕获所谓的严格临界点,本文提出了一个计算实多项式函数的全局下确界和全局最小值的有效方法.对于实数域R上一个n元多项式f,该方法可用来判定f在Rn上是否具有有限的全局下确界.在f具有有限的全局下确界的情况下,f的下确界可严格地表示为码(h;a,b),其中h是一个实单元多项式,a和b是使得a<b的两个有理数,而(h;a,b)代表h(z)在开区间]a,b[中仅有的实根.此外,当f具有有限下确界时,本文的方法可进一步判定f的下确界能否达到.在我们的算法设计中,著名的吴方法起着重要作用.