×
高晓山；黄，雷东；姜昆

用几何变换求解几何约束。 （英语） Zbl 1125.68417号

科学。中国，Ser。F、。 44，第1期，50-59（2001）.
摘要：本文提出了两种求解几何约束系统的算法。第一种算法适用于无回路且具有线性复杂性的约束系统。第二种算法可以求解带回路的约束系统。后一种算法具有二次复杂度，对于简单多边形的约束问题是完全的。其关键是将基于图形的几何约束求解方法的思想与基于规则的方法的几何变换相结合。

MSC公司：

68单位07 计算机辅助设计的计算机科学方面

关键词：

智能CAD；几何约束求解

软件：

MEDLAR公司；6月2日
PDF格式BibTeX公司 XML格式引用
\textit{X.Gao}等人，科学。中国，Ser。F 44，编号1，50-59（2001；Zbl 1125.68417）
全文： DOI程序

参考文献：

[1] Gao，X.S.，自动化几何图构建和智能CAD，《几何自动推导》，1999年，柏林：施普林格出版社，232–257。
[2] Fudos，I.，Hoffmann，C.M.，《解决几何约束系统的图形构造方法》，《ACM图形汇刊》，1997，16（2）：179·数字对象标识代码：10.1145/248210.248223
[3] Owen，J.C.，《尺寸约束几何的代数解》。第一交响曲。《实体建模基础与CAD/CAM应用》，纽约：ACM出版社，1991年，379–407。
[4] Latheam，R.S.，Middleditch，A.E.，连通性分析：处理几何约束的工具，计算机辅助设计，1994，28（11），917·Zbl 05475740号 ·doi:10.1016/0010-4485（96）00023-1
[5] Yuan，B.，Sun，J.G.，《基于图形的设计分解方法》，第六届计算机辅助设计与计算机图形学国际会议，1999年12月，中国上海，984–988。
[6] Gao，X.S.，Chou，S.C.，求解几何约束系统I.全局传播方法，计算机辅助设计，1998，30（1）：47·Zbl 05470939号 ·doi:10.1016/S0010-4485（97）00052-3
[7] Lee，J.Y.，《使用图形简化和分析进行参数化设计的二维几何约束求解器》，《几何中的自动演绎》，纽约：Springer-Verlag出版社，1999年，258-274。
[8] Kramer，G.，《求解几何约束系统》，纽约：麻省理工学院出版社，1992年。
[9] Verroust，A.，Schonek，F.，Roller，D.，面向规则的参数化计算机辅助设计方法，计算机辅助设计，1992，24（2）：531·Zbl 0760.65017号 ·doi:10.1016/0010-4485（92）90040-H
[10] Joan-Arinyo，T.，Soto-Riera，A.，《结合构造和教育几何约束求解技术》，ACM Trans。关于图形，1999，18（1）:35·Zbl 01935419号 ·数字对象标识代码：10.1145/300776.300780
[11] Ge，J.X.，Chou，S.C.，Gao，X.S.，使用优化方法满足几何约束，CAD，1999，31（14）：867·Zbl 1069.68620号
[12] Heydon，A.，Nelson，G.，juno-2基于约束的绘图编辑器，SRC研究报告131a，1994年。
[13] Lamure，H.，Michelucci，D.，用同伦求解几何约束，IEEE Trans。，《可视化和计算机图形学》，1996年，2（1）：28·Zbl 05108141号 ·数字对象标识代码：10.1109/2945.489384
[14] Light，R.，Gossard，D.，通过变分几何修改几何模型，几何辅助设计，1982年，14:208。
[15] 高晓生，周春川，求解几何约束问题，II。Rc-可施工性的符号方法与决策，计算机辅助设计，1998，30（2）：115·Zbl 05470929号 ·doi:10.1016/S0010-4485（97）00055-9
[16] Kondo，K.，几何模型中处理尺寸关系的代数方法，几何辅助设计，1992，24（3）：141·Zbl 0752.65106号 ·doi:10.1016/0010-4485（92）90033-7
[17] Hoffmann，C.M.，Lomonosov，A.，Sitharam，M.，寻找约束图的可解子集，LNCS，1997，（1330）：163。
[18] Chou，S.C.，《机械几何定理证明》，多德雷赫特：D.Reidel出版公司，1988年·兹比尔0661.14037
[19] 周春川、高晓生、张建中，《几何中的机器证明》，新加坡：世界科学出版社，1994年·Zbl 0941.68503号
[20] Wu，W.T.，走向几何机械化——对希尔伯特《几何的格兰德拉根》的一些评论，《数学学报》。科学。，1982, 2: 125. ·Zbl 0519.51001号
[21] Wang，D.，关于Wu证明构造性几何定理的方法。IJCAI 89（底特律，1989年8月20日至25日），1989年，419年至424年·Zbl 0708.68079号
[22] Chou，S.C.，Gao，X.S.，Zhang，J.Z.，利用几何不变量自动生成可读证明，I.多重和最短证明生成，自动化推理杂志，1996，17:325·Zbl 0865.68109号 ·doi:10.1007/BF00283133
[23] Li，H.B.，Cheng，M.T.，初等几何中自动定理证明的自动排序，MM-Preprints，1999，（18）：84。
[24] Chou，S.C.，Gao，X.S.，Zhang，J.Z.，《几何中的机器证明》，新加坡：世界科学出版社，1994年·Zbl 0941.68503号
[25] Wang，D.，《使用消去法对几何问题进行推理》，《自动实践推理：代数方法》（编辑：Pfalzgraf，J.，Wang，D），纽约：Springer Verlag，1995，147-185·Zbl 0855.68086号
[26] 董建新、葛建新、高永等，参数化绘图系统中约束求解的新思路，CAD与制图，1997，9（6）：513。
[27] Wu，W.T.，《机械几何定理证明的基本原理》，纽约：Springer-Verlag出版社，1994年。
[28] 陈丽萍，涂川，罗宏，周杰，一种新的面向参数化绘图技术，阮建学保，1996，7（7）：394。
[29] Wu，W.T.，几何的机械化方法及其应用I.距离、面积和体积，J.Sys。科学。和数学。科学。，1986, 6: 204. ·Zbl 0644.68050号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。