×

计算拓扑:2-流形的环境同位素近似。 (英语) Zbl 1071.68097号

概要:理论计算机科学中的一个基本问题是为算法输出建立明确的形式化标准。本文是在计算机辅助几何建模领域中进行的。对于实际的几何建模算法,通常需要对嵌入在\(mathbb R^3)中的紧致流形创建分段线性近似,并且通常希望这两种表示“拓扑等价”。尽管这在传统上被认为意味着这两种表示是同胚的,但这种等价的概念受到了各种技术和哲学上的困难;我们采用了更强的环境各向同性概念。这里表明,对于嵌入在(mathbb R^3)中的任何(C^2)紧的无边界2-流形,存在一个分段线性环境同位素近似。此外,这种同位素具有紧支撑,紧邻域的大小有特定的边界。这些边界对于计算机图形和工程设计模拟的实际应用可能有用。给出的证明依赖于中轴线的性质,本文对此进行了解释。

MSC公司:

68单位05 计算机图形;计算几何(数字和算法方面)
68单位07 计算机辅助设计的计算机科学方面

软件:

动力外壳
PDF格式BibTeX公司 XML格式引用
全文: DOI程序

参考文献:

[1] N.Amenta,M.Bern,通过Voronoi滤波进行曲面重建,离散和计算。地理。22 (1999) 481-504. (早期版本出现在1998年第14届美国计算机学会计算几何交响曲年鉴,第39-48页);N.Amenta,M.Bern,通过Voronoi滤波进行曲面重建,离散和计算。地理。22 (1999) 481-504. (早期版本出现在1998年第14届美国计算机学会计算几何交响曲年鉴,第39-48页。)·Zbl 0939.68138号
[2] N.Amenta,M.Bern,M.Kamvyselis,一种新的基于Voronoi的曲面重建算法,Proc。ACM SIGGRAPH’98,1998年,第415-421页。;N.Amenta,M.Bern,M.Kamvyselis,一种新的基于Voronoi的曲面重建算法,Proc。ACM SIGGRAPH’98,1998年,第415-421页。
[3] N.Amenta,S.Choi,T.Dey,N.Leekha,同胚曲面重建的简单算法,ACM Symp。《计算几何》,2000年,第213-222页(提交给国际计算几何应用杂志)。;N.Amenta,S.Choi,T.Dey,N.Leekha,同胚曲面重建的简单算法,ACM Symp。《计算几何》,2000年,第213-222页(提交给国际计算几何应用杂志)·Zbl 1374.68636号
[4] 阿蒙塔,N。;Choi,S。;Kolluri,R.,《力量外壳、球的结合和中轴变换》,计算。地理位置:理论与应用。,19, 127-153 (2001) ·Zbl 0988.65015号
[5] 安德森,L.-E。;多尼,S.M。;彼得斯·T·J。;Stewart,N.F.,保持拓扑形式的多面体扰动,计算。辅助Geom。设计,12785-799(1995)·兹伯利0873.57018
[6] 安德森,L.-E。;彼得斯·T·J。;Stewart,N.F.,复合曲线和曲面的自相交,计算。辅助Geom。设计,15,5,507-527(1998)·Zbl 0996.65023号
[7] 安德森,L.-E。;彼得斯·T·J。;Stewart,N.F.,曲线几何对象拓扑形式的等价性,国际。J.计算。地理。申请。,10, 6, 609-622 (2000) ·Zbl 0970.68179号
[8] M.Ben-Or,代数计算树的下界,Proc。ACM交响乐团。《计算理论》,1983年,第80-86页。;M.Ben-Or,代数计算树的下限,Proc。ACM交响乐团。《计算理论》,1983年,第80-86页。
[9] Bing,R.H.,《3流形的几何拓扑》,美国数学学会学术讨论会出版物,第40卷(1983年),美国数学协会:美国数学学会普罗维登斯,RI·Zbl 0535.57001号
[10] Blum,H.,《生物形状和视觉科学》(第一部分),J.Theoret。生物学,38,205-287(1973)
[11] 博伊尔,M。;Stewart,N.F.,《公差对象的空间建模》,国际出版社。《机器人研究杂志》,10,5,570-582(1991)
[12] 博伊尔,M。;Stewart,N.F.,多目标不完全形状公差度量方法,国际。《机器人研究杂志》,11,5,482-490(1992)
[13] Bredon,G.,《拓扑与几何》(1993),Springer:Springer New York·Zbl 0791.55001号
[14] 计算拓扑的新挑战,由国家科学基金资助的计算拓扑研讨会报告,佛罗里达州迈阿密海滩,1999年6月11日至12日。;计算拓扑的新挑战,由国家科学基金会资助的计算拓扑研讨会报告,佛罗里达州迈阿密海滩,1999年6月11-12日。
[15] Choi,H.I。;Choi,S.W。;Moon,H.P.,MA变换的数学理论,太平洋数学杂志。,181, 1, 57-88 (1997) ·Zbl 0885.53004号
[16] J.Cohen,A.Varshney,D.Manocha,G.Turk,H.Weber,P.Agarwal,F.Brooks Jr.,W.W.Wright,《简化信封》,Proc。ACM SIGGRAPH’96,第119-128页。;J.Cohen,A.Varshney,D.Manocha,G.Turk,H.Weber,P.Agarwal,F.Brooks Jr.,W.W.Wright,《简化信封》,Proc。ACM SIGGRAPH’96,第119-128页。
[17] 戴·T·K。;Edelsbrunner,H。;Guha,S.,《计算拓扑》(Chazelle,B.;Goodman,J.E.;Pollack,R.,《离散和计算几何的进展》,《当代数学》,第223卷(1999),美国数学学会:美国数学学会普罗维登斯,RI),109-143·Zbl 0916.68202号
[18] T.K.Dey,H.Edelsbrunner,S.Guha,D.Nekhayev,拓扑保持边缘收缩,第60卷(80),Mathematique研究所出版物,贝尔格莱德,1999年(另见技术报告RGI-Tech-98-018,Raindrop Geomagic Inc.,北卡罗来纳州三角研究园,1998年)。;T.K.Dey,H.Edelsbrunner,S.Guha,D.Nekhayev,拓扑保持边缘收缩,第60卷(80),Mathematique研究所出版物,贝尔格莱德,1999年(另见技术报告RGI-Tech-98-018,Raindrop Geomagic Inc.,北卡罗来纳州三角研究园,1998年)。
[19] Edelsbrunner,H。;穆克,三维阿尔法形状,ACM Trans。图形,13,1,43-72(1994)·Zbl 0806.68107号
[20] Gilbert,N.D。;波特,T.,《结和表面》(1994),牛津科学出版物:牛津科学出版物·Zbl 0822.57001号
[21] Hemion,G.,《结和三维空间的分类》(1992),牛津科学出版物:牛津科学出版物·Zbl 0771.5701号
[22] Hirsch,M.W.,微分拓扑(1976),Springer:Springer New York·Zbl 0121.18004号
[23] H.Hoppe,T.DeRose,T.Duchamp,J.McDonald,W.Stuetzle,《从无组织点进行曲面重建》,Proc。ACM SIGGRAPH’921992年,第71-78页。;H.Hoppe,T.DeRose,T.Duchamp,J.McDonald,W.Stuetzle,无组织点的表面重建,Proc。ACM SIGGRAPH’921992年,第71-78页。
[24] 胡春英,面向曲面对象的稳健区间实体建模,麻省理工学院博士论文,马萨诸塞州剑桥,1995年5月。;胡春英,面向曲面对象的稳健区间实体建模,麻省理工学院博士论文,马萨诸塞州剑桥,1995年5月。
[25] J.Kahn,M.Saks,Sturtevant,《逃避的拓扑方法》,IEEE Symp.第24年。《计算机科学基础》,亚利桑那州图森市,1983年11月7日至9日,第31-33页。;J.Kahn,M.Saks,Sturtevant,《逃避的拓扑方法》,IEEE Symp.第24年。《计算机科学基础》,亚利桑那州图森市,1983年11月7日至9日,第31-33页。
[26] Kong,T.Y。;Rosenfeld,A.,《数字拓扑:基于图形的方法和拓扑方法的比较》(Reed,G.M.;Roscoe,A.W.;Wachter,R.F.,《计算机科学中的拓扑和范畴理论》(1991),克拉伦登出版社:英国牛津克拉伦登出版公司),273-287·Zbl 0792.68198号
[27] Maekawa,T。;帕特里卡拉基斯,新墨西哥州。;Sakkalis,T。;Yu,G.,管道表面的分析和应用,计算。辅助Geom。设计,15,5,437-458(1998)·Zbl 0995.68148号
[28] J.E.Marsden,A.J.Tromba,向量微积分,第3版,弗里曼,纽约。;J.E.Marsden,A.J.Tromba,向量微积分,第三版,弗里曼,纽约·Zbl 0322.26010号
[29] Monge,G.,《几何分析应用》(1850年),巴克利尔:巴克利尔巴黎
[30] 佩尼亚,J。;Wolter,F.-E.,《通过空间曲线在自由曲面上的正交投影进行曲面曲线设计》,J.Mech。设计,118,45-52(1996)
[31] G.M.Reed,A.W.Roscoe,R.F.Wachter(编辑),计算机科学中的拓扑和范畴理论,克拉伦登出版社,英国牛津,1991年。;G.M.Reed、A.W.Roscoe、R.F.Wachter(编辑),《计算机科学中的拓扑和范畴理论》,克拉伦登出版社,英国牛津,1991年·Zbl 0725.00017号
[32] 洛克,C.P。;Sanderson,B.J.,分段线性拓扑导论(1972),施普林格:施普林格纽约·Zbl 0254.57010号
[33] Sakkalis,T。;Charitos,Ch.,通过alpha形状逼近曲线,图形模型图像处理。,61, 165-176 (1999)
[34] Scott,D.S.,《指称语义的领域》,(Neilson,M.;Schmidt,E.M.,《自动化,语言与编程:1982年学报》。自动化,语言与编程:1982年会议录,计算机科学讲稿,第140卷(1982),施普林格:施普林格柏林)·Zbl 0495.68025号
[35] Sherbrooke,E.C。;帕特里卡拉基斯,新墨西哥州。;Wolter,F-E.,中轴变换的微分和拓扑性质,图形模型图像处理。,58, 6, 574-592 (1996)
[36] Stewart,N.F.,公差规范中正确拓扑形式的充分条件,计算。辅助设计,25,1,39-48(1993)·Zbl 0765.65020号
[37] F.-E.Wolter,《全球形状查询和表示中的切割轨迹和中轴》,麻省理工学院海洋工程系设计实验室备忘录92-2,马萨诸塞州剑桥,1993年9月。;F.-E.Wolter,《全球形状查询和表示中的切割轨迹和中轴》,麻省理工学院海洋工程系设计实验室备忘录92-2,马萨诸塞州剑桥,1993年9月。
[38] F.-E.Wolter,有界和无序黎曼流形中的切位点,论文,Vom Fachbereich Mathematik der Technischen,柏林大学zur Verleihung des akademischen Grades。;F.-E.Wolter,有界和无序黎曼流形中的切位点,论文,Vom Fachbereich Mathematik der Technischen,柏林大学zur Verleihung des akademischen Grades·Zbl 0674.53049号
[39] AC-C.Yao,决策树复杂性和Betti数,收录于:ACM Symp。计算过程理论。第26届ACM交响乐团。《计算理论》,第26卷,加拿大魁北克省蒙特利尔,1994年5月23日至25日,第615-624页。;AC-C.Yao,决策树复杂性和Betti数,收录于:ACM Symp。计算过程理论。第26届ACM交响乐团。《计算理论》,第26卷,加拿大魁北克省蒙特利尔,1994年5月23日至25日,第615-624页·Zbl 1345.68297号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。