基于几何约束求解的完备方法

作     者：林强 高小山 刘媛媛 陈颖 戴国忠 Lin Qiang;Gao Xiaoshan;Liu Yuanyuan;Chen Ying;Dai Guozheng

作者机构：中国科学院软件研究所人机交互与智能信息处理实验室 中国科学院数学与系统科学研究院数学机械化重点实验室北京100080 中国科学院自动化研究所国家重点实验室北京100080 

出 版 物：《计算机辅助设计与图形学学报》 (Journal of Computer-Aided Design & Computer Graphics)

年 卷 期：2007年第19卷第7期

页      面：828-834,839页

核心收录：

学科分类：081203[工学-计算机应用技术] 08[工学] 0835[工学-软件工程] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

基　　金：国家"九七三"重点基础研究发展规划项目(2006CB303105) 国家自然科学基金(60603073) 中国科学院软件研究所创新工程重大项目 

主　　题：参数化CAD 智能连杆 几何约束求解 

摘      要：针对参数化CAD在约束求解中的应用,提出了基于智能连杆的算法,该算法在扩充几何作图范围、改善算法复杂度方面都有明显的优势.将其同LIM0算法、几何变换方法、C-Tree算法、数值求解方法等方法相互融合,能够组成一套非常完备的几何约束求解框架,来完成对平面和空间几何约束问题的自动求解与图像生成.将该算法应用于智能动态几何软件的设计中,实验显示可以取得令人满意的结果.