基于细胞元模型拓扑约束求解

• 作者: 孙立镌 金钊
• 来源期刊: 计算机与数字工程
• 学科: 工学
• 关键词: 特征造型 拓扑约束 布尔可满足性问题
• 年，卷（期）: 2010,（5）
• 所属期刊栏目: 算法与分析
• 页码范围: 25-27
• 分类号: TP393.02
• 字数: 1257字
• 语种: 中文
• DOI: 10.3969/j.issn.1672-9722.2010.05.008

摘要

在模型制造领域,对于拓扑约束的求解是一个比较新的课题,以往的研究一直局限在拓扑优化方面.而且对其应用也仅限于模型的定义方面,在模型的声明与约束求解方面却没有得到应用.文章提出一种基于细胞元模型拓扑约束求解方法,通过该方法可以确定模型拓扑声明的关系,文章假设一个模型是由一个或多个细胞元组成的,并且能够用这些细胞元的组合来表示,对模型进行拓扑约束求解就是用来确定细胞模型中的每个细胞元是否是全约束的.要做到这点,文章将每个细胞元用一个布尔变量表示,把拓扑约束问题映射成为布尔可满足性问题.再对新的问题进行求解,从而解决了模型的拓扑约束求解问题.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	孙立镌	哈尔滨理工大学计算机科学与技术学院	152	658	13.0	19.0
2	金钊	哈尔滨理工大学计算机科学与技术学院	2	0	0.0	0.0