×
Rida T.Farouki。

固体边界评估中的计算问题。 （英语） Zbl 0663.41017号

信息科学。 44，第2期，第87-171页（1988年）.
本文讨论了实体建模环境中的曲面/曲面相交问题。所考虑的曲面是“修剪曲面”，这意味着它们的（矩形）域已被域中的曲线减少，通常是通过曲面/曲面交点。重点描述了作为代数曲线的交点，并提供了关于代数几何基础的附录。
审核人：G.法林

MSC公司：

41甲15 样条线近似
41A65型 抽象近似理论（赋范线性空间和其他抽象空间中的近似）
68岁20岁 模拟（MSC2010）

关键词：

交集算法;实体建模;代数曲线
PDF格式BibTeX公司 XML格式引用
\textit{R.T.Farouki}，信息科学。44，第2号，87--171（1988；Zbl 0663.41017）
全文： 内政部

参考文献：

[1] Abhyankar，S.S.，《代数空间曲线》（1971），蒙特利尔大学出版社：蒙特利尔大学·Zbl 0197.47203号
[2] Abhyankar，S.S.，代数几何和相关代数的历史漫游，Amer。数学。月刊，83，6，409-448（1976）·Zbl 0339.14001号
[3] Abhyankar，S.S。；Bajaj，C.，有理曲线和曲面的自动参数化I：二次曲线和二次曲面，计算。辅助设计，19，1，11-14（1987）·Zbl 0655.65017号
[4] Abhyankar，S.S。；Bajaj，C.，《有理曲线和曲面的自动参数化II：立方和立方体》（技术报告编号：CSD-TR-592（1986），普渡大学计算机科学系）·Zbl 0655.65018号
[5] Abhyankar，S.S。；Bajaj，C.，《有理曲线和曲面的自动参数化III：代数平面曲线》（技术报告编号：CSD-TR-619（1986），普渡大学计算机科学系）·Zbl 0655.65019号
[6] Arnon，D.S.，代数曲线的拓扑可靠显示，（Proc.SIGGRAPH’83，ACM事务处理。计算。绘图, 17 (1983)), 219-227, (3)
[7] Arnon，D.S。；柯林斯，G.E。；McCallum，S.，圆柱代数分解。一、基本算法；二、。平面的邻接算法，SIAM J.Compute。，13, 4, 878-889 (1984) ·Zbl 0562.14001号
[8] Baker，H.F.，（《几何学原理》，第一卷至第六卷（1921-1933），剑桥大学出版社：剑桥大学出版社）
[9] 巴恩希尔，R.E。；Little，F.F.，《自适应三角体积》，《落基山数学杂志》。，14，1，53-75（1984）·Zbl 0555.65016号
[10] Bézier，P.，《课程与非数学曲面定义程序》；系统统一曲面《自动化》，第13卷，第391-407页（1968年）
[11] Bézier，P.，《数控-数学和应用》（1972），威利出版社：威利纽约·Zbl 0251.93002号
[12] Bézier，P.，Essai de Dédefinition Numérique des Courbes et des Surfaces Expérimentales，（巴黎大学第六分校论文（1977））·Zbl 0157.42201号
[13] Bócher，M.，《高等代数导论》（1907），麦克米伦出版社：麦克米伦纽约
[14] Böhm，W.，在B样条曲线中插入新节点，计算。辅助设计，12，4，199-201（1980）
[15] 伯姆·W·。；法林，G。；Kahmann，J.，《计算机辅助几何设计中曲线和曲面方法综述》，计算。辅助Geom。设计，1-160（1984）·Zbl 0604.65005号
[16] Braid，I.C.，《由多个面结合的固体合成》，ACM委员会，18，4，209-216（1975）
[17] 编织物，I.C。；共和国希尔亚德。；Stroud，I.A.，几何建模中多面体的逐步构造，（Brodlie，K.W.，《计算机图形学和设计中的数学方法》（1980），纽约学术出版社）
[18] 伯恩赛德，W.S。；潘顿，A.W.（《方程理论》，第一卷（1960年），多佛：多佛，纽约）。（方程理论，第二卷（1960），多佛：多佛纽约）
[19] Carlson，W.E.，《使用曲面片交点进行3D物体合成的算法和数据结构》，（Proc.SIGGRAPH’82，ACM事务处理。计算。绘图, 16 (1982)), 255-263, (3)
[20] Casale，M.S.，带修剪曲面片的自由形式实体建模，IEEE计算。图形应用。，7, 1, 33-43 (1987)
[21] Catmull，E。；Clark，J.，任意拓扑网格上递归生成的B样条曲面，计算。辅助设计，10，6，350-355（1978）
[22] Chandru，V。；Kochar，B.S.，《几何交叉问题的分析技术》（Farin，G.，《几何学建模：算法和新趋势》（1987），SIAM:SIAM Philadelphia），305-318
[23] 科恩，E。；Lyche，T。；Riesenfeld，R.，《计算机辅助几何设计和计算机图形学中的离散B样条和细分技术》，计算。图形和图像处理，14，2，87-111（1980）
[24] 柯立芝，J.L.，《代数平面曲线论》（1959），多佛：纽约多佛
[25] Cox，M.G.，B样条的数值评估，数学研究所。申请。，10, 134-149 (1972) ·Zbl 0252.65007号
[26] 达尔奎斯特，G。；Bjorck，A.，《数值方法》（1974），普伦蒂斯·霍尔：普伦蒂斯霍尔·恩格尔伍德·克利夫斯，新泽西州（N.Andersen，Transl.）
[27] de Boor，C.，《关于B样条函数的计算》，J.近似理论，650-62（1972）·Zbl 0239.41006号
[28] de Casteljau，P.，Courbes et SurfacesáPóles（1963），安德烈·雪铁龙汽车公司：安德烈·西铁龙汽车汽车公司巴黎，未出版注释
[29] de Montaudouin，Y。；Tiller，W.，计算机辅助几何设计中的Cayley方法，计算。辅助Geom。设计。，1, 4, 309-326 (1984) ·Zbl 0571.65113号
[30] de Montaudouin，Y。；蒂勒，W。；Vold，H.，幂级数在计算几何中的应用，计算。辅助设计，18，10，514-524（1986）
[31] Dimsdale，B.，双三次补丁边界，计算。数学。申请。，3, 95-104 (1977) ·Zbl 0373.65028号
[32] Dobkin，D.P。；西弗吉尼亚州瑟斯顿。；Wilks，A.R.，《稳健轮廓追踪》（技术报告编号：CS-TR-054-86（1986），普林斯顿大学计算机科学系）
[33] 杜博士。；Sabin，M.，非常点附近递归除法曲面的行为，计算。辅助设计，10，6，356-360（1978）
[34] Dresden，A.，《固体解析几何与行列式》（1930），多佛：纽约多佛
[35] 艾森哈特，L.P.，《坐标几何》（1939），多佛：纽约多佛
[36] Engels，H.，《数值求积与立方》（1980），学术：纽约学术出版社·Zbl 0435.65013
[37] Farin，G.，《Konstruktion und Eigenschaften von Bézier-Kurven und Bézier-Flächen》，（迪普洛姆·阿尔贝特（1977），布伦瑞克科技大学）
[38] Farin，G.，有理Bézier曲线的算法，计算。辅助设计，15，2，73-77（1983）
[39] Farouki，R.T.，简单实体的精确偏移程序，计算。辅助Geom。设计，2,4257-279（1985）·Zbl 0583.65095号
[40] Farouki，R.T.，参数曲面截面的表征，计算。视觉图形和图像处理。，33209-236（1986年）·Zbl 0631.65012
[41] Farouki，R.T.，《用于评估和查询实体边界表示的修剪曲面算法》，IBM J.Res.Develop。，31, 3, 314-334 (1987)
[42] Farouki，R.T。；Hinds，J.K.，《几何形式的层次结构》，IEEE计算。图形应用。，5, 5, 51-78 (1985)
[43] Farouki，R.T。；Rajan，V.T.，关于多项式的数值条件伯恩斯坦形式，计算。辅助Geom。设计，4（1988），即将发布·Zbl 0648.65007号
[44] 假身份证。；Pratt，M.J.，《设计和制造的计算几何》（1979），埃利斯·霍伍德：埃利斯·霍伍德-奇切斯特，英国·Zbl 0395.51001号
[45] Forrest，A.R.，《计算几何》（Proc.Roy.Soc.London Ser.A，321（1971）），187-195年·Zbl 0404.65007号
[46] Forrest，A.R.，《Bézier多项式的交互式插值和逼近》，计算。J.，15，71-79（1972）·Zbl 0243.68015号
[47] Frost，P.，《关于曲线追踪的初步论述》（1872），切尔西：切尔西，纽约
[48] 加西亚，C.B。；Zangwill，W.I.，《寻找多项式系统和其他方程组的所有解》，数学。编程，16，159-176（1979）·Zbl 0409.65026号
[49] Geisow，A.D.，《表面质询》（博士论文（1983），东英吉利大学：英国东英吉利诺维奇大学）
[50] Goldman，R.N.，《预解式方法：非平面、参数、有理三次曲线的隐式化、反演和求交技术》，计算。辅助Geom。设计，2,4237-255（1985）·Zbl 0583.65009号
[51] 戈登·W·J。；Riesenfeld，R.F.，自由曲线和曲面计算机辅助设计的Bernstein-Bézier方法，J.Assoc.Compute。机器。，21, 2, 293-310 (1974) ·Zbl 0276.68041号
[52] 戈登·W·J。；Riesenfeld，R.F.，《B样条曲线和曲面》（Barnhill，R.E.；Riesenfeld，R.F.，计算机辅助几何设计（1974），学术：纽约学术出版社），95-126
[53] Hanna，S.L。；Abel，J.F。；Greenberg，D.P.，《通过查找表的方法求参数曲面的交集》，IEEE Comput。图形应用。，3, 7, 39-48 (1983)
[54] Hansen，E.，《牛顿法的区间形式》，《计算》，第20期，第153-163页（1978年）·Zbl 0384.65019号
[55] Hansen，E.，计算和包围实根的全局收敛区间方法，BIT，18，415-424（1978）·Zbl 0394.65013号
[56] 霍夫曼，C。；Hopcroft，J.，二次混合曲面，计算。辅助设计，18，6，301-306（1986）
[57] 霍夫曼，C。；霍普克罗夫特，J.，《边界表示中的几何歧义，计算》。辅助设计，19，3，141-147（1987）·Zbl 0655.65027号
[58] 霍伊茨马，D.H。；Roche，M.，《CAD/CAM应用中所有平面/曲面交点的计算》，（计算机辅助几何建模，计算机辅助几何模型，NASA C.P.2272（1983）），15-18
[59] J.Hoschek，非线性规划参数曲面的交集，预印本。；J.Hoschek，通过非线性编程实现参数曲面的相交，预印本。
[60] 霍顿，E.G。；Emnett，R.F。；因子，J.D。；Sabharwal，C.L.，参数曲面相交的分治方法的实现，计算机。辅助Geom。设计，2-1-3173-183（1985）·兹比尔0613.65143
[61] Kajiya，J.T.，光线追踪参数面片，（Proc.SIGGRAPH’82，ACM计算。绘图, 16 (1982)), 245-254, (3)
[62] Koparkar，P.A。；Mudur，S.P.，参数曲面片操作产生的连续曲线的生成，计算。辅助设计，18，4，193-206（1986）
[63] Kurosh，A.，《高等代数》（1980），Mir:Mir Moscow，（G.Yankovsky，Transl.）·Zbl 0237.13001号
[64] 莱恩，J.M。；Riesenfeld，R.F.，计算机生成和显示分段多项式曲面的理论发展，IEEE Trans。模式分析。和机器智能，2,1,35-46（1980）·Zbl 0436.68063号
[65] 莱恩，J.M。；Riesenfeld，R.F.，多项式的界，BIT，21，1，112-117（1981）·Zbl 0472.65041号
[66] Lasser，D.，Bernste-Bézier表示中参数曲面的交集，计算机。辅助设计，18，4，186-192（1986）
[67] Lee，R.B.，《参数曲面的相交》（M.S.论文（1984），伦斯勒理工学院：伦斯勒特洛伊理工学院，N.Y）
[68] Lee，R.B。；Fredericks，D.A.，参数曲面与平面的交集，IEEE计算。图形应用。，4, 8, 48-51 (1984)
[69] Lee，Y.T。；Requicha，A.A.G.，《计算固体体积和其他积分性质的算法》。已知方法和未决问题。基于表示转换和细胞近似的一系列算法，通信ACM，25，9，642-650（1982）
[70] Levin，J.Z.，绘制由二次曲面组成的实体图形的参数化算法，通信ACM，19，10，555-563（1976）·Zbl 0334.68050号
[71] Levin，J.Z.，确定二次曲面交点的数学模型，计算。图形和图像处理。，11, 73-87 (1979)
[72] 留置权，S。；Kajiya，J.T.，计算任意非凸多面体积分性质的符号方法，IEEE计算。图形应用。，4, 10, 35-41 (1984)
[73] Lozano-Pérez，T。；Wesley，M.，规划多面体对象之间无碰撞路径的算法，美国计算机学会，22，10560-570（1979）
[74] Macaulay，F.S.，模块系统的代数理论（1916），剑桥大学出版社：剑桥大学出版社·兹比尔0802.13001
[75] 梅斯纳，A.M。；Taylor，G.Q.，Algorithm 550:实心多面体测量[Z]，ACM Trans。数学。软件，6，1，121-130（1980）
[76] Milenkovic，V.J.，使用有限精度算法实现几何算法的可验证性，（牛津几何推理研讨会论文集。牛津几何推理会议论文集，牛津（1986年7月））·Zbl 0953.68135号
[77] Moore，R.E.，《区间分析》（1966年），《普伦蒂斯·霍尔：普伦蒂斯霍尔·恩格尔伍德克利夫斯》，新泽西州·Zbl 0176.13301号
[78] Morgan，A.P.，《计算多项式方程组所有解的方法》（研究出版物编号：GMR-3651（1981），通用汽车研究实验室：通用汽车研究室，密歇根州沃伦）
[79] Morgan，A.P.，计算多项式方程组所有解的方法，ACM Trans。数学。软件，9，1，1-17（1983）·Zbl 0516.65026号
[80] Mortenson，M.E.，《几何建模》（1985），威利出版社：威利纽约
[81] Mudur，S.P。；Koparkar，P.A.，处理几何对象的区间方法，IEEE计算。图形应用。，4，2，7-17（1984年）·Zbl 0601.65094号
[82] Ocken，S。；施瓦茨，J.T。；Sharir，M.，《使用标准曲面的有理参数化精确实现CAD图元》（技术报告第67号（1983），纽约大学计算机科学系：纽约大学计算机学系）
[83] Ocken，S。；施瓦茨，J.T。；Sharir，M.，《使用标准曲面的有理参数化精确实现CAD图元》（Pickett，M.S.；Boyse，J.W.，《计算机实体建模——从理论到应用》（1984），Plenum:Plenum New York）
[84] O'Connor，M.A.，《自然二次曲面的投影》，IBM研究报告RC11188（1985）
[85] 医学硕士奥康纳。；Gentili，G.，与给定向量正交的简单单位向量，IBM J.Res.Develop。，31, 3, 335-342 (1987) ·Zbl 0653.68022号
[86] J.C.欧文。；Rockwood，A.P.，《一般隐式曲面的交集》，（Farin，G.，《几何建模：算法和新趋势》（1987），SIAM:SIAM Philadelphia），335-345
[87] Peng，Q.S.，两个B样条曲面相交线的算法，计算。辅助设计，16，4，191-196（1984）
[88] Petersen，C.S.，三维曲面的自适应轮廓，计算。辅助Geom。设计，1,161-74（1984）·Zbl 0576.65137号
[89] Petrowsky，I.，《关于实平面代数曲线的拓扑》，《数学年鉴》。，189-209年1月39日（1938年）·Zbl 0018.27004号
[90] Pfeifer，H.-U.，体积几何GPM模块中用于相交几何实体的方法，Comput。辅助设计，17，7，311-318（1985）
[91] 菲利普斯，M.B。；Odell，G.M.，《定位和显示两个任意曲面交点的算法》，IEEE Compute。图形应用。，4, 9, 48-58 (1984)
[92] Pratt，M.J。；Geisow，A.D.，《曲面/曲面相交问题》（Gregory，J.A.，《曲面数学》（1986），牛津大学出版社：牛津大学出版社，牛津大学）
[93] Requicha，A.A.G.，《刚性固体的表示：理论、方法和系统》，ACM计算。调查，12，4，437-464（1980）
[94] Requicha，A.A.G.，走向几何公差理论，国际。《机器人研究杂志》，2，4，45-60（1983）
[95] 雷奎查，A.A.G。；Voelcker，H.B.，《实体建模：历史总结和当代评估》，IEEE Comput。图形应用。，2，2，9-24（1982年）
[96] 雷奎查，A.A.G。；Voelcker，H.B.，《实体建模：现状和研究方向》，IEEE Trans。计算。图形应用。，3, 7, 25-37 (1983)
[97] 雷奎查，A.A.G。；Voelcker，H.B.，《实体建模中的布尔运算：边界评估和合并算法》（IEEE Proc.，73（1985）），30-44，（1）
[98] 雷奎查，A.A.G。；Tilove，R.B.，《构造立体几何的数学基础：闭正则集的一般拓扑》（技术备忘录27a，生产自动化项目（1978），罗切斯特大学）
[99] Riesenfeld，R.F.，B样条逼近在计算机辅助设计几何问题中的应用，（博士论文（1973），雪城大学：雪城大学，N.Y）·Zbl 0675.41026号
[100] 罗西尼亚克，J.R。；Requicha，A.A.G.，实体建模中的偏移操作，计算。辅助Geom。设计，3，2，129-148（1986）·Zbl 0631.65144号
[101] 罗西尼亚克，J.R。；Requicha，A.A.G.，《几何建模的分段常曲率近似》，IBM J.Res.Develop。，31, 3, 296-313 (1987)
[102] Sabin，M.A.，两个二次曲面相交曲线的显示方法，计算。J.，19，336-338（1976）·兹比尔0345.65006
[103] Sakkalis，P.，Morse理论在实代数几何中的算法应用，（博士论文（1986年），罗切斯特大学：纽约州罗切斯特大学）
[104] Salmon，G.，《高平面曲线论》（1879），切尔西：切尔西纽约
[105] Salmon，G.，《现代高等代数导论》（1885），切尔西：切尔西纽约
[106] Salmon，G.（《三维解析几何论文》，第一卷，第二卷（1911年），切尔西：切尔西纽约）
[107] 新墨西哥州塞缪尔。；雷奎查，A.A.G。；Elkind，S.A.，《工业零件调查的方法和结果》（技术备忘录21，生产自动化项目（1976年），罗切斯特大学）
[108] Sarraga，R.F.，gmsolid中二次曲面交点的代数方法，计算。视觉图形和图像处理。，22, 222-238 (1983)
[109] 萨拉加，R.F。；Waters，W.C.，自由曲面gmsolid公司：目标和问题，（Pickett，M.S.；Boyse，J.W.，《计算机实体建模——从理论到应用》（1984），《阻燃：阻燃纽约》，187-209年）
[110] Sederberg，T.W.，《计算机辅助几何设计的隐式和参数曲线和曲面》，（博士论文（1983年），普渡大学：普渡大学西拉斐特，印第安纳州）·Zbl 0688.65012号
[111] Sederberg，T.W.，分段代数曲面片，计算。辅助Geom。设计，2，1-3，53-59（1985）·Zbl 0578.65147号
[112] Sederberg，T.W.，《曲面和实体建模的代数几何》（Farin，G.，《几何建模：算法和新趋势》（1987），SIAM:SIAM Philadelphia），29-42
[113] Sederberg，T.W。；安德森特区。；Goldman，R.N.，参数曲线和曲面的隐式表示，计算。视觉图形和图像处理。，28, 72-84 (1984) ·Zbl 0601.65008号
[114] Sederberg，T.W。；Parry，S.R.，三种曲线相交算法的比较，计算。辅助设计，18，1，58-63（1986）
[115] Seidenberg，A.，《代数曲线理论的元素》（1968），艾迪森·韦斯利：艾迪森·韦斯利阅读，马萨诸塞州·Zbl 0159.33303号
[116] 森普尔，J.G。；Kneebone，G.T.，代数射影几何（1952），牛津大学出版社：牛津大学出版社·Zbl 0046.38103号
[117] 森普尔，J.G。；Kneebone，G.T.，《代数曲线》（1959），牛津大学出版社：牛津大学出版社·Zbl 0105.34301号
[118] 森普尔，J.G。；Roth，L.，代数几何导论（1985），牛津大学出版社：牛津大学出版社·Zbl 0576.14001号
[119] Shephard，M.S.，自动和自适应网格生成，IEEE Trans。磁学，21，6，2484-2489（1985）
[120] 谢泼德，M.S。；Yerry，M.A.，《用于实体建模和自适应分析的有限元网格生成》（Pickett，M.S.；Boyse，J.W.，《计算机实体建模——从理论到应用》（1985），Plenum:Plenum New York），53-77
[121] 斯奈德，V。；Sisam，C.H.，《空间解析几何》（1914），亨利·霍尔特：亨利·奥尔特纽约
[122] Sommerville，D.M.Y.，《三维解析几何》（1951），剑桥大学：剑桥大学·Zbl 0008.40203号
[123] Steinberg，H.A.，基于双二次曲面片的光滑曲面，IEEE计算。图形应用。，4, 9, 20-23 (1984)
[124] Sterbenz，P.，浮点计算（1974），Prentice-Hall：新泽西州Prentice-Hall Englewood Cliffs
[125] Stroud，A.H.，《多重积分的近似计算》（1971），《普伦蒂斯·霍尔：普伦蒂斯霍尔·恩格尔伍德·克利夫斯》，新泽西州·Zbl 0379.65013号
[126] Takala，T.，《无拓扑数据结构的几何边界建模》（Requicha，A.A.G.，《欧洲制图学报》第86期（1986年），北荷兰：北荷兰阿姆斯特丹），115-128
[127] Thomas，S.W.，《B样条曲面约束的体积建模》（犹他大学：犹他盐湖城大学博士论文（1984））
[128] Tiller，W.，《曲线和曲面表示的有理B样条》，IEEE计算。图形应用。，3, 6, 61-69 (1983)
[129] 蒂洛夫，R.B。；Requicha，A.A.G.，几何实体上布尔运算的闭包，计算。辅助设计，12119-220（1980）
[130] Timmer，H.G.，《表面交叉问题的解决方案》（报告MDC J7789（1977），McDonnell Douglas Corp:加州长滩McDonnell-Duglas公司）
[131] 蒂默，H.G。；Stern，J.N.，固体物体整体几何特性的计算，计算。辅助设计，12，6，301-304（1980）
[132] Uspensky，J.V.，方程理论（1948），McGraw-Hill:McGraw-Hill纽约·Zbl 0005.11104号
[133] Varady，T.，实体建模器中双二次参数曲面片的曲面-曲面交点(英国-匈牙利CAD/CAM计算几何研讨会论文集剑桥大学（1983年）
[134] Walker，R.J.，《代数曲线》（1978），Springer:Springer New York·Zbl 0399.14016号
[135] Weil，A.，《代数几何基础》（1962），Amer。数学。Soc：美国。数学。罗德岛普罗维登斯Soc Providence·Zbl 0168.18701号
[136] Weiler，K.J.，曲面环境中实体建模的基于边缘的数据结构，IEEE计算。图形应用。，5, 1, 21-40 (1985)
[137] 韦斯，R.A。，有远见，IBM 7090 fortran程序包，用于绘制平面和二次曲面组合的正交视图，J.Assoc.Compute。机器。，13, 2, 194-204 (1966) ·Zbl 0135.18601号
[138] 卫斯理，医学硕士。；Lozano-Pérez，T。；利伯曼，L.I。；Lavin，医学硕士。；Grossman，D.D.，自动化机械装配的几何建模系统，IBM J.Res.Develop。，24, 1, 64-74 (1980)
[139] Wilkinson，J.H.，《代数过程中的舍入误差》（1963），《普伦蒂斯·霍尔：普伦蒂斯霍尔·恩格尔伍德·克利夫斯》，新泽西州·Zbl 0868.65027号
[140] Woon，P.Y。；Freeman，H.，生成以二次曲面为边界的实体的可见线投影的程序，（信息处理71（1971），北荷兰：北荷兰阿姆斯特丹），1120-1125
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。