跳到主要内容
10.1145/378583.378693acm会议文章/章节视图摘要出版物页面有机玻璃会议记录会议集合
第条

精度:代数根和谓词的有效多精度评估,用于可靠的几何计算

出版:2001年6月1日出版历史

摘要

许多几何问题,如广义Voronoi图、中轴计算和边界计算,都涉及曲线和曲面等非线性代数基元的计算和操作。为这些问题设计的算法基于几何谓词的符号或表征问题的多项式的根做出决策。算法的可靠性取决于对这些符号和根的准确评估。本文提出了一个{朴素精度驱动的计算模型}来可靠地进行这些计算,并证明了它在某些问题上的有效性,如带有理项的行列式符号、边界求值和曲线安排。我们还提出了一种新的算法,可以将一元多项式的所有根计算到任何期望的精度。计算模型、基本数字表示、精确驱动算法和所有算法都是作为独立软件库PRECISE的一部分实现的。

工具书类

  1. 1O.阿伯思。同时找到多项式所有零点的迭代方法。计算数学,27(122):339-3441973。谷歌学者谷歌学者交叉引用交叉引用
  2. 2G.Alefeld和J.Herzberger。多项式根同时逼近的几种算法的收敛速度。SIAM数值分析杂志,11:237-2431974。谷歌学者谷歌学者交叉引用交叉引用
  3. 三。弗朗西斯·阿夫奈姆(Francis Avnaim)、珍妮·德尼尔·博伊桑纳(Jean-Daniel Boissonnat)、奥利维尔·德维尔(Olivier Devillers)、佛朗哥·P·普雷斯塔(Franco P.Preparia)和玛丽埃特·伊维内克。使用单精度算术评估行列式的符号。算法,17(2):111-1321997。谷歌学者谷歌学者交叉引用交叉引用
  4. 4大卫·H·贝利。便携式高性能多精度软件包。技术报告RNR-90-022,RNR,1993年。谷歌学者谷歌学者
  5. 5D.比尼。利用阿伯思方法对多项式零点进行数值计算。《数值数学》,13:179-2001996年。谷歌学者谷歌学者
  6. 6R.布伦特。fortran多精度算术包。ACM数学软件汇刊,4:57-701978。谷歌学者谷歌学者数字图书馆数字图书馆
  7. 7Herv~Br~nnimann、Ioannis Emiris、Victor Pan和Sylvain Pion。使用单精度模运算计算精确的几何谓词。程序中。每年13日。ACM交响乐团。计算。地理。,第174-182页,1997年。谷歌学者谷歌学者数字图书馆数字图书馆
  8. 8赫夫·伯·尼曼和玛丽埃特·伊维内克。对克拉克森安全行列式评估算法的完整分析。研究报告3051,INRIA,1996年。谷歌学者谷歌学者
  9. 9C.Burnikel、R.Fleischer、K.Mehlhorn和S.Schirra。涉及平方根的算术表达式的强大且易于计算的分离界限。程序中。第八届ACM-SIAM交响乐团。离散算法,第702-709页,1997年。谷歌学者谷歌学者数字图书馆数字图书馆
  10. 10C.Burnikel、R.Fleischer、K.Mehlhorn和S.Schirra。高效精确的几何计算变得容易。程序中。每年第15次。ACM交响乐团。计算。地理。,第341-350页,1999年。谷歌学者谷歌学者数字图书馆数字图书馆
  11. 11J.坎尼。机器人运动规划和真实几何的一种新的代数方法。程序中。每年28日。IEEE交响乐。已找到。计算。科学。,第39-48页,1987年。谷歌学者谷歌学者数字图书馆数字图书馆
  12. 12A.L.考西。数学练习。机动,9(2):122,1829。谷歌学者谷歌学者
  13. 13K·L·克拉克森。安全有效的决定因素评估。程序中。第33年。IEEE研讨会。已找到。计算。科学。,第387-395页,1992年10月。谷歌学者谷歌学者数字图书馆数字图书馆
  14. 14T.Culver。多面体中轴的精确计算。2000年,北卡罗来纳大学教堂山分校计算机科学系博士论文。谷歌学者谷歌学者
  15. 15Tim Culver、John Keyser和Dinesh Manocha。多面体中轴的精确计算。程序中。实体建模与应用研讨会,第179-190页,1999年。谷歌学者谷歌学者数字图书馆数字图书馆
  16. 16O.Devillers、A.Fronville、B.Mourrain和M.Teillaud。圆弧上精确谓词的代数方法和算术滤波。程序。ACM计算几何研讨会,第139-148页,2000年。谷歌学者谷歌学者数字图书馆数字图书馆
  17. 17K.Dochev。保加利亚科学院物理与数学杂志,5:136-1391962。谷歌学者谷歌学者
  18. 18E.杜兰德。解代数方程的数值。汤姆一世,马森,巴黎,1960年。谷歌学者谷歌学者
  19. 19L.W.埃利希。多项式的修正牛顿法。ACM通讯,10(2):107-1081967。谷歌学者谷歌学者数字图书馆数字图书馆
  20. 20S.Fortune和C.J.Van Wyk。计算几何的高效精确算法。程序中。第9年。ACM交响乐团。计算。地理。,第163-172页,1993年5月。谷歌学者谷歌学者数字图书馆数字图书馆
  21. 21M.W.Green、A.J.Korsak和M.C.Pease。同时迭代复多项式的所有根。SIAM评论,18:501-5021976。谷歌学者谷歌学者交叉引用交叉引用
  22. 22LiDIA集团。计算数论图书馆。技术报告,TH Darmstadt,Fachbereich Informatik,Institute fur Theoretische Informatik公司,1997年。谷歌学者谷歌学者
  23. 23D.C.手梳。用bairstow方法计算hessenberg矩阵的潜在根。《计算机杂志》,5:139-1411962。谷歌学者谷歌学者交叉引用交叉引用
  24. 24P.Henrici。应用和计算复杂分析,第。1.约翰·威利;Sons,纽约,1974年。谷歌学者谷歌学者
  25. 25V.Karamcheti、C.Li、I.Pechtchanski和C.Yap。用于强大数值和几何计算的核心库。程序中。每年第15次。ACM Sympos公司。计算。地理。,第351-359页,1999年。谷歌学者谷歌学者数字图书馆数字图书馆
  26. 26M.Karasick、D.Lieber和L.R.Nackman。使用有理算法的高效Delaunay三角剖分。ACM事务处理。图表。,10(1):71-911991年1月。谷歌学者谷歌学者数字图书馆数字图书馆
  27. 27J.Keyser、S.Krishnan和D.Manocha。使用精确算法高效准确地生成低度雕刻实体的b-rep I:表示和II:计算。计算机辅助几何设计,16(9):841-8821999年10月。谷歌学者谷歌学者数字图书馆数字图书馆
  28. 28约翰·凯泽(John Keyser)、蒂姆·卡尔弗(Tim Culver)、迪内什·马诺查(Dinesh Manocha)和珊卡·克里希南(Shankar Krishnan)。MAPC:一个高效准确地操作代数点和曲线的库。程序中。第15届ACM计算几何年会,第360-369页,1999年。谷歌学者谷歌学者数字图书馆数字图书馆
  29. 29D.Knuth。计算机编程的艺术,第2卷。Addison-Wesley,马萨诸塞州雷丁,1981年。谷歌学者谷歌学者数字图书馆数字图书馆
  30. 30S.Krishnan、M.Foskey、J.Keyser、T.Culver和D.Manocha。精确:代数根和谓词的有效多精度评估,用于可靠的几何计算。技术报告TD-4R5SBW,AT&T实验室-研究,2000年。谷歌学者谷歌学者数字图书馆数字图书馆
  31. 31C.Li和C.Yap。代数表达式的一个新的构造根界。2001年离散算法研讨会论文集。谷歌学者谷歌学者数字图书馆数字图书馆
  32. 32K.Mehlhorn和S.N~她。组合和几何计算的LEDA平台。剑桥大学出版社,1999年。谷歌学者谷歌学者数字图书馆数字图书馆
  33. 33R.E.摩尔。基于区间数的数字计算中误差的自动分析和控制。数字计算中的错误,1965年1月。谷歌学者谷歌学者
  34. 34R.E.摩尔。区间分析。普伦蒂斯·霍尔,恩格尔伍德悬崖,新泽西州,1966年。谷歌学者谷歌学者
  35. 35P.佩德森。多元sturm理论。AAECC会议记录,第318-332页。Springer-Verlag,1991年。谷歌学者谷歌学者数字图书馆数字图书馆
  36. 36D.牧师。任意精度浮点运算的算法。程序中。第十交响曲。《计算机算术》,第132-143页,1991年。谷歌学者谷歌学者交叉引用交叉引用
  37. 37E.鲁切。拉格朗日系列回忆。理工学院学报,22:217-2181962。谷歌学者谷歌学者
  38. 38乔纳森·谢楚克(Jonathan R.Shewchuk)。健壮的自适应浮点几何谓词。程序中。第12年。ACM交响乐团。计算。地理。,第141-150页,1996年。谷歌学者谷歌学者数字图书馆数字图书馆
  39. 39乔纳森·理查德·谢楚克(Jonathan Richard Shewchuk)。自适应精度浮点算法和快速健壮的几何谓词。离散(&D);计算几何,18(3):305-3631997年10月。谷歌学者谷歌学者交叉引用交叉引用
  40. 40B.T.史密斯。基于gerschgorin定理的多项式零点的误差界。ACM杂志,17:661-6741970年。谷歌学者谷歌学者数字图书馆数字图书馆
  41. 41J.Stoer和R.Bulirsch。数值分析导论。Springer-Verlag,1993年。谷歌学者谷歌学者交叉引用交叉引用
  42. 42C.是的。实现精确的几何计算。计算。地理。理论应用。,7(1):3-23, 1997.谷歌学者谷歌学者数字图书馆数字图书馆
  43. 43C.K.Yap和T.Dub~。精确的计算范式。杜振中(D.-Z.Du)和黄光裕(F.K.Hwang)主编,《欧几里德几何中的计算》(Computing In Euclidean Geometry),《计算讲义系列》第4卷,第452-492页。1995谷歌学者谷歌学者

索引术语

  1. 精度:代数根和谓词的有效多精度评估,用于可靠的几何计算

      建议

      评论

      登录选项

      检查您是否可以通过登录凭据或您的机构访问本文。

      登录

      完全访问权限

      • 发布于

        封面图片ACM会议
        SCG’01:第十七届计算几何年会论文集
        2001年6月
        326页
        国际标准图书编号:158113357倍
        内政部:10.1145/378583

        版权所有©2001 ACM

        如果复制品不是为了盈利或商业利益而制作或分发的,并且复制品的第一页载有本通知和完整引文,则允许免费制作本作品的全部或部分数字或硬拷贝以供个人或课堂使用。必须尊重ACM以外的其他人拥有的本作品组件的版权。允许用信用证进行摘要。要以其他方式复制或重新发布,在服务器上发布或重新发布到列表,需要事先获得特定许可和/或付费。从请求权限[电子邮件保护]

        出版商

        计算机协会

        美国纽约州纽约市

        出版历史

        • 出版:2001年6月1日

        权限

        请求有关此文章的权限。

        请求权限

        检查更新

        限定符

        • 第条

        接受率

        SCG’01号纸张接受率39属于106提交文件,37%总体验收率625属于1,685提交文件,37%

      PDF格式

      以PDF文件查看或下载。

      PDF格式

      电子阅读器

      使用eReader联机查看。

      电子阅读器