对象族拓扑约束求解的研究

doi:10.3778/j.issn.1002-8331.2008.35.013

计算机工程与应用 ›› 2008, Vol. 44 ›› Issue (35): 43-45.DOI: 10.3778/j.issn.1002-8331.2008.35.013

对象族拓扑约束求解的研究

孙立镌,马爱玲

哈尔滨理工大学计算机科学与技术学院，哈尔滨 150080

收稿日期:2008-05-26 修回日期:2008-08-11 出版日期:2008-12-11 发布日期:2008-12-11
通讯作者: 孙立镌

Study of topological constraints solving for families of objects

SUN Li-quan,MA Ai-ling

College of Computer Science & Technology，Harbin University Science Technology，Harbin 150080，China

Received:2008-05-26 Revised:2008-08-11 Online:2008-12-11 Published:2008-12-11
Contact: SUN Li-quan

摘要/Abstract

摘要： 针对当前对象族模型在求解拓扑约束时存在的缺陷，提出一种求解拓扑约束的新方法，这种方法在求解拓扑约束时，把拓扑约束映射为布尔约束满足问题，通过用SAT求解器求解布尔约束来求解拓扑约束。实践证明，该方法不仅直接关联与拓扑约束指定的特征的语义，而且当模型中存在大量相交的特征时也是可行的，提高了拓扑约束求解的效率。

关键词: 对象族, 拓扑约束, 布尔约束

Abstract: According to the limitation of the current families of objects modeling system’s constraint resolution mechanism for topological constraints.This paper presents a new technique that solves topological constraints.The system of topological constraints is mapped to a Boolean constraint satisfaction problem.The topological constraints is solved by solving this problem using a SAT solver.The study on the solving topological constraints is a new，interesting development in CAD and has great significance.

Key words: families of objects, topological constraints, boolean constraints

孙立镌,马爱玲.

对象族拓扑约束求解的研究

[J]. 计算机工程与应用, 2008, 44(35): 43-45.

SUN Li-quan,MA Ai-ling. Study of topological constraints solving for families of objects[J]. Computer Engineering and Applications, 2008, 44(35): 43-45.

[1]	石念峰，王国强. 基于拓扑约束模板的支吊架建模方法研究[J]. 计算机工程与应用, 2010, 46(8): 67-70.
[2]	孙立镌,谢立强,刘瑞龙. 语义特征模型中参数范围的计算[J]. 计算机工程与应用, 2009, 45(16): 83-86.

对象族拓扑约束求解的研究

Study of topological constraints solving for families of objects

PDF

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 2

编辑推荐

Metrics