正则与简单系统算法的优化

J4 ›› 2010, Vol. 45 ›› Issue (12): 106-111.

正则与简单系统算法的优化

金萌

北京航空航天大学数学与系统科学学院,数学、信息与行为教育部重点实验室, 北京 100191

收稿日期:2009-08-04 出版日期:2010-12-16 发布日期:2011-03-16
作者简介:金萌(1981-),男,博士研究生,研究方向为多项式系统的三角分解. Email: jinmeng101@gmail.com

Optimizations of regular and simple system algorithms

JIN Meng

School of Mathematics and Systems Science, Key Laboratory of Mathematics, Informatics and Behavioral Semantics, Ministry of Education, Beihang University, Beijing 100191, China

Received:2009-08-04 Online:2010-12-16 Published:2011-03-16

摘要/Abstract

摘要：

改进王东明提出的正则系统算法(简称RegSer算法)及简单系统算法(简称SimSer算法)的效率。提出新的分解策略: 对于任意多项式系统或多项式组［P,Q］,首先计算一组良好三角系统,得到［P,Q］的一种零点分解。其次判断每一良好系统是否是正则系统,若不是则将其正则化,即计算一组正则系统,给出该良好系统的零点分解。最后将每一正则系统简单化,即计算一组简单系统,给出该正则系统的零点分解,得到给定多项式系统或多项式组的简单分解。实验结果表明这种分解策略可以提高RegSer和SimSer算法的效率。

关键词: 算法;三角分解;正则系统;简单系统;Maple

Abstract:

Algorithms RegSer and SimSer are improved which are presented by Wang Dongming for computing a finite set of regular／simple systems from a given set／system ［P,Q］ of multivariate polynomials. A new strategy for triangular decomposition is given. A series of fine triangular systems are computed such that the union of the zero sets of the fine systems is equal to that of ［P, Q］. It is checked if each fine triangular system is regular. If some fine triangular system is not, a series of regular systems are computed for it. Simple systems are analogously obtained. The new algorithms are implemented in Maple, the efficiency of the routines is better than RegSer／SimSer which is shown by experimental results.

Key words: algorithm; triangular decomposition; regular system; simple system; Maple

金萌. 正则与简单系统算法的优化[J]. J4, 2010, 45(12): 106-111.

JIN Meng. Optimizations of regular and simple system algorithms[J]. J4, 2010, 45(12): 106-111.

参考文献

多维度评价

Viewed

Full text

Abstract

Cited

Shared

Discussed