| 基于细胞元模型拓扑约束求解 |
| |
| 引用本文： | 孙立镌,金钊.基于细胞元模型拓扑约束求解[J].计算机与数字工程,2010,38(5):25-27. |
| |
| 作者姓名： | 孙立镌 金钊 |
| |
| 作者单位： | 哈尔滨理工大学计算机科学与技术学院,哈尔滨,150080 |
| |
| 基金项目： | 国家自然科学基金项目(编号:6017,3055);;黑龙江省教育厅科学技术开发项目资助 |
| |
| 摘 要： | 在模型制造领域,对于拓扑约束的求解是一个比较新的课题,以往的研究一直局限在拓扑优化方面。而且对其应用也仅限于模型的定义方面,在模型的声明与约束求解方面却没有得到应用。文章提出一种基于细胞元模型拓扑约束求解方法,通过该方法可以确定模型拓扑声明的关系,文章假设一个模型是由一个或多个细胞元组成的,并且能够用这些细胞元的组合来表示,对模型进行拓扑约束求解就是用来确定细胞模型中的每个细胞元是否是全约束的。要做到这点,文章将每个细胞元用一个布尔变量表示,把拓扑约束问题映射成为布尔可满足性问题。再对新的问题进行求解,从而解决了模型的拓扑约束求解问题。
|
| 关 键 词： | 特征造型 拓扑约束 布尔可满足性问题 |
A Study on Cells Model for Topological Constraint Solving |
| |
| Sun Liquan,Jin Zhao.A Study on Cells Model for Topological Constraint Solving[J].Computer and Digital Engineering,2010,38(5):25-27. |
| |
| Authors: | Sun Liquan Jin Zhao |
| |
| Affiliation: | Department of Computer Science and Technology/a>;Harbin University of Science and Technology/a>;Harbin 150080 |
| |
| Abstract: | It is a new subject to solve the topological constraint rather than the optimization of topology in the model manufacture field.The optimization of topology was only applied in the definition of model but no further more applied in the claiming and constraint solving area.A study on cells model for topological constraint solving is demonstrated in the paper,through which the claiming of the topological model can be clarified.It is supposed that a model consist of multi-cells.The combination of the cells can... |
| |
| Keywords: | feature modeling topological constraint Boolean satisfiability problem |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
