参数曲线曲面实奇异点的计算.pdfVIP

CN43-1258／TP 计算机工程与科学 2008年第3O卷第 12期 ISSN 1007—130X C0MPUTERENGINEERING8乙SCIENCE Vo1．30，No．12，2008 文章编号：1007-130X(2008)12—0036—05 参数曲线曲面实奇异点的计算 ComputationoftheSingularPointsof ParametricCurvesandSurfaces 李耀辉 。刘保军 LIYao-hui。LIUBao-jun (天津工程师范学院计算机科学与技术系。天津 300222J ( ln嘲 tofComputerScienceandTechnology，TianjinUniversityofEducationandTechnology，Tianjin300222-China) 摘 要：本文主要讨论了利用Grobner基理论对参数曲线(面)的奇异点进行判断和计算。如果曲线(面)存在奇异点， 由定义可知它的导矢(法矢)等于0。因此，曲线(面)奇异点的判定就是方程组的求解问题。由Hilbert弱零点定理可知， 若一组多项式方程无公共零点，则其生成理想约化的Grobner基为Eli。在计算时，首先根据 Gmbner基理论判断曲线 (面)是否存在奇异点。当存在奇异点时，利用区间算法对实奇异点进行隔离和迭代。在确定奇异点的存在性时，根据曲线 (曲面)的导矢(法矢)方程的Grobner基直接进行判断，而不需要求解非线性代数方程组。若曲线曲面存在奇异点，进一步 采用区间方法对奇异点进行隔离以确定曲线段或曲面片的正则性。该方法可以得到参数曲线曲面的所有实奇异点且达到 任意精度 。 Abstract：Thepaperdiscusseshow tOdetermineandcomputethesingularpointsofpraametriccurvesnadsurfacesbyu— singtheGrobnerbasistheory．AccordingtOthedefinitions，ifthereexistssingularpointsonacurve(surface)，thenitstan— gent(norma1)vectorisequaltO0．Therefore，wecandeterminethesingula~pointsexistencebysolvingequations．Howev— er，howCna wedeterminewhetheritexistsoncurvesorsurfacesbutnotsolvingequations?AccordingtOtheHilbertWeak Nullstellensatz，ifthepo lynomialqeuationsfailtOhaveacommonzeropo int，thenthereducedGrobnerbasisofitsgenera— tingidealis[1]．Wedeterminewhetherthereexistsingularpointsbythisthoerem．Furthermore，weisolateallraelsingu— larpointsbyna intervalalgorithm whentheyappera onthecurvesorsurfaces．T smethodcandetemr inetheexistenceof singularpointsbutnotsolvingnonlinearequations．Astheintervalmethodisintroduced，wecanfindallraelsingularpo ints withnayrabitrary precisionwhenthereexistsingularpointsonthecurvesorsurfaces． 关键词：曲线曲面；奇异点；Grobner基；理想；区间算法 Keywords：parametercurv~andsurface；singularpoint；Grobne