[1]杨廷力,杭鲁滨,沈惠平,等.多项式方程组符号求解的主项解耦消元法[J].常州大学学报(自然科学版),2001,(04):45-49.
　YANG Ting -Li,HANG Lu -bing,SHEN Hui -ping,et al.An Elimination Method With Decoupling of Leading Terms For Polynomial Set[J].Journal of Changzhou University(Natural Science Edition),2001,(04):45-49.
点击复制

多项式方程组符号求解的主项解耦消元法()
分享到：

常州大学学报(自然科学版)[ISSN:2095-0411/CN:32-1822/N]

卷:
期数:
2001年04期
页码:
45-49
栏目:
出版日期:
2001-12-25

文章信息/Info

Title:
An Elimination Method With Decoupling of Leading Terms For Polynomial Set
作者:
杨廷力1 ;  杭鲁滨2 ;  沈惠平3 ;  刘安心4
1.中国石化金陵石油化工公司科学技术委员会, 江苏南京210037;2.东南大学;3.江苏石油化工学院;4.解放军工程 兵工程学院
Author(s):
YANG Ting -Li1 ;  HANG Lu -bing2 ;  SHEN Hui -ping 3 ;  LIU An -xin4
1 .SINOPIC Jinling Pet rochemical Corp ., Nanjing 210037 , China
关键词:
多项式方程组; 消元法; 三角形多项式方程组; 主项解耦
Keywords:
polynomial set ; elimination method ; ascending polynomial set ; decoupling of leading terms
分类号:
O 122.2 ;O 241.7
文献标志码:
A
摘要:
提出多项式组符号求解的主项解耦消元法:视多项式为变元不同幂乘积的线性组合, 以主项解耦三角型多项式组为引 导, 用逐项伪除法求余式, 将原多项式组化为与其同解的主项解耦三角型多项式组。该法综合了Grobner 基法、吴氏消元法和 线性变换消元法等方法的长处, 适用于求解一般多项式组, 且计算效率较高;又易用于研究多项式组解的类型及其存在条件。 文中给出两例, 其一较详细地讨论了3 个二元二次完全多项式组解的类型及其存在条件。
Abstract:
This paper presents an elimination method with decoupling of leading terms for polynomial set .A poly nomial is considered to be a linear combination of pow er products of variables .Using the term by term Euclidean Algo rithm fo r polynomials , an original poly nomial set PS could be t ranslated into an ascending poly nomial set DTS w ith decoupling of leading terms and both are equivalent equation sets . This method sy nthesises the strong points of Grobner basis elimination , Wu elimination and linear elimination and so it is suitable for solving efficient ly general poly nomial set .And it can be used for determining types and existing conditions of solutions of a polynomial set

参考文献/References:

[1] 吴文俊.王者之路———机器证明及其应用[M] .长沙:湖南 科学技术出版社, 1999.
[2] Buchberger B.Applications of Grobner Bases in Nonlinear Computational Geomet ry [M] .New York : LNCS Springer Verlag , 1987 .
[3] Buchberger B .In Recent T rends in Multidimensional S ystem Theory [C] .New York :LNCS Sp ringer Verlag , 1985 .184 - 232.
[4] Bhubanesw ar M .Algorithmi c Algebra , Springer -Verlag [M] . 北京:科学出版社, 2001.
[5] 吴文俊.几何定理机器证明的基本原理(初等几何部分)[M] .北京:科学出版社, 1984.
[6] 杨路, 张景中, 侯晓荣.非线性代数方程组与定理机器证明 [M] .上海:上海科技出版社, 1996.
[7] 周加农.多项式方程组的组合结式方法初探[J] .四川大学 学报(自然科学版), 1999 , 36 (2):18 -21 .
[8] 杭鲁滨, 金琼, 杨廷力.基于线性变换的一般5R 串联机器人 逆运动学分析[J] .机械工程学报, 2001 , 37 (5):22 -25.

备注/Memo

备注/Memo:
基金项目:国家自然科学基金资助项目(59875084) 作者简介:杨廷力(1940 -), 男, 河南南阳人, 教授, 主要从事机构学及机器人机构学方面的研究。
更新日期/Last Update: 2001-12-25