求解几何约束问题的几何变换法

被引：6

作者：

高小山

黄磊东

蒋鲲

机构：

[1] 中国科学院系统科学研究所!北京

来源：

中国科学E辑:技术科学 | 2001年 / 02期

基金：

国家杰出青年科学基金;

关键词：

几何约束; 关系图; 约束图; 自由度分析; 几何变换; 几何自动作图;

D O I：

暂无

中图分类号：

TP391.72 [];

学科分类号：

080201 ; 080203 ; 081304 ; 1403 ;

摘要：

提出两种基于图表示求解几何约束问题的方法 .第 1种方法能线性地处理无循环约束的几何约束问题 .第 2种方法可以解决含循环约束问题 .这一算法的复杂度与Owen ,Hoffmann的三角分解法一样是二次 ,但解题范围有所扩大 .实际上这一算法可以解决所有关于简单多边形的约束问题 .这一算法的核心是将几何变换引入基于关系图的约束求解算法 .

引用

页码：182 / 192

页数：11

共 4 条

[1] 变参绘图系统中约束求解的新思路 [J].

董金祥 ;

葛建新 ;

高屹 ;

李海龙 .

计算机辅助设计与图形学学报, 1997, (06) :34-40

[2] 一种新的面向参数化绘图的约束管理技术 [J].

陈立平 ;

涂重斌 ;

罗浩 ;

周济 .

软件学报, 1996, (07) :394-400

[3]

几何定理机器证明的基本原理[M]. 科学出版社 , 吴文俊著, 1984

[4]

Automated generation of readable proofs with geometric invariants[J] . Shang-Ching Chou,Xiao-Shan Gao,Jing-Zhong Zhang.Journal of Automated Reasoning . 1996 (3)

← 1 →