×

高余维变种的隐式表示。 (英语) Zbl 1442.65016号

几何对象可以用多种方式表示CAGD和其他应用程序。一种常见且有用的表示法是参数表示法,其中参数值决定了对象相应部分在空间中的位置。另一个有用的表示是所谓的隐性的通常表示为一组多元多项式生成器,通过使这些生成器等于零的坐标值隐式描述对象。决定给定的点是否里面外部例如,使用隐式表示可以更容易地处理对象。获取对象的参数表示并生成隐式表示称为隐含化.
本文提出了一种新的随机算法,用于隐式化空间曲线和余维大于1的变量,该算法被认为是鲁棒且高效的。本文利用Chow形式理论,得到了圆锥超曲面与理想几何体精确相交的方程。本文在第2节中对Chow表单(带参考文献)进行了可读的介绍。这篇论文写得很深很快;作者是专家。该文件还使用隐式矩阵,并提供其主要结果的算法描述。
他们声称,主要的瓶颈是多元结果的计算。毫无疑问,这是真的。这一点更为正确,因为最近的一个结果(论文中没有引用)表明多元结果天生就是病态的:参见[V.诺费里尼A.汤森德,SIAM J.数字。分析。54,第2期,719–743页(2016年;Zbl 1382.65144号)]. 尽管如此,在精确的算法和精确已知的数据中,本文的主要算法似乎是有用的。

理学硕士:

65D17号 计算机辅助设计(曲线和曲面建模)
PDF格式BibTeX公司 XML格式引用
全文: 内政部 哈尔

参考文献:

[1] 巴贾杰,C。;Ihm,I.,使用实代数曲面的有理空间曲线的Hermite插值,(美国计算机学会计算几何研讨会(1989)),94-103
[2] Busé,L.,有理Bézier曲线和曲面的隐式矩阵表示,计算。辅助设计。,46,14-24(2014),2013年SIAM Conf.几何与物理建模规范
[3] Busé,L。;Luu Ba,T.,基于矩阵表示的曲面/曲面相交问题,计算。辅助Geom。设计。,29, 8, 579-598 (2012) ·Zbl 1256.65018号
[4] Corless,R。;吉斯布雷奇特,M。;科齐里亚斯,I。;Watt,S.,参数超曲面与线性代数的数值隐式化,(美国信息系统协会(2000)),174-183·Zbl 1042.65020号
[5] 考克斯·D。;Little,J。;O'Shea,D.,《使用代数几何》,GTM,第185卷(2005),Springer:Springer New York·Zbl 1079.13017号
[6] Dalbec,J。;Sturmfels,B.,Chow形式简介,(White,N.L.,《离散和计算几何中的不变方法:库拉索会议论文集》。离散和计算几何学中的不变算法:库拉索会议论文集,1994年6月13日至17日(1995年),斯普林格出版社),37-58·Zbl 0980.15508号
[7] D’Andrea,C.,《稀疏结果的麦考利式公式》,Trans。美国数学。《社会学杂志》,3542595-2629(2002)·Zbl 0987.13019号
[8] D'Andrea,C。;Dickenstein,A.,多元结果的显式公式,J.Pure Appl。代数,164,59-86(2001),代数几何中的有效方法·Zbl 1066.14061号
[9] Dokken,T.,《近似隐式化》(曲线和曲面的数学方法,奥斯陆,2000年)。曲线和曲面的数学方法(奥斯陆,2000年),Innov。申请。数学。(2001),范德比尔特大学出版社:范德比特大学出版社,纳什维尔),81-102·Zbl 0989.65019号
[10] 埃米利斯,I.Z。;费西科普洛斯,V。;Konaxis,C。;Peñaranda,L.,一种基于神谕的输出敏感算法,用于生成的多面体的投影,国际计算杂志。地理。申请。,23, 397-423 (2014) ·Zbl 1297.68238号
[11] 埃米利斯,I.Z。;卡林卡,T。;Konaxis,C.,《使用稀疏插值矩阵的几何运算》,图表。型号,8299-109(2015年11月)
[12] 埃米利斯,I.Z。;卡林卡,T。;Konaxis,C。;Luu Ba,T.,《通过插值实现稀疏隐式化:表征非活动,以及计算判别式的应用》,计算。辅助设计。,45252-261(2013)
[13] 埃米利斯,I.Z。;Konaxis,C。;科齐里亚斯,I。;Laroche,C.,通过插值实现矩阵表示,(2017年ACM符号和代数计算国际研讨会论文集,ISSAC’17(2017),ACM:美国纽约州纽约市ACM),149-156·Zbl 1462.65047号
[14] Gelfand,I.M。;卡普兰诺夫,M.M。;Zelevinsky,A.V.,《歧视、结果和多维决定因素》(1994),Birkhäuser:Birkháuser Boston·Zbl 0827.14036号
[15] 杰罗尼莫,G。;Krick,T。;Sabia,J。;Sombra,M.,Chow形式的计算复杂性,Found。计算。数学。,4、1、41-117(2004年2月)·Zbl 1058.14075号
[16] Kronecker,L.,Grundzüge einer代数算术理论,J.Reine Angew。数学。,92, 1-123 (1882)
[17] Kunz,E.,《交换代数和代数几何导论》,现代Birkhäuser经典(2013),Birkhäuser:Birkhäuser巴塞尔·兹比尔1263.13001
[18] Manocha,D。;Canny,J.F.,隐式有理参数曲面的算法,计算。辅助Geom。设计。,9, 1, 25-50 (1992) ·Zbl 0817.65012
[19] Manocha,D。;Canny,J.F.,有理参数曲面的隐式表示,J.Symb。计算。,13, 485-510 (1992) ·Zbl 0767.68068号
[20] Rueda,S.L。;Sendra,J。;Sendra,J.R.,《参数化近似空间曲线的算法》,J.Symb。计算。,56, 80-106 (2013) ·Zbl 1282.14103号
[21] 塞德伯格,T。;Chen,F.,使用移动曲线和曲面的内隐化,(Cook,R.,Proc.SIGGRAPH(1995),Addison-Wesley),301-308
[22] I.R.沙法列维奇。;Remizov,A.O.,《线性代数和几何》(2012),施普林格出版社:纽约施普林格
[23] 沈,J。;Busé,L。;Alliez,P。;Dodgeson,N.,使用矩阵表示的直线/修剪NURBS曲面相交算法(2016),技术报告,INRIA·Zbl 1366.65045号
[24] Staglianó,G.,Macaulay 2包“结果”(2018年),网址:
[25] Sturmfels,B.,不变量理论中的算法,符号计算中的文本和专著(2008),Springer·Zbl 1154.13003号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。