基于细胞元模型拓扑约束求解
孙立镌
金钊
1.哈尔滨理工大学计算机科学与技术学院,哈尔滨,1500802.哈尔滨理工大学计算机科学与技术学院,哈尔滨,150080
摘要：在模型制造领域,对于拓扑约束的求解是一个比较新的课题,以往的研究一直局限在拓扑优化方面.而且对其应用也仅限于模型的定义方面,在模型的声明与约束求解方面却没有得到应用.文章提出一种基于细胞元模型拓扑约束求解方法,通过该方法可以确定模型拓扑声明的关系,文章假设一个模型是由一个或多个细胞元组成的,并且能够用这些细胞元的组合来表示,对模型进行拓扑约束求解就是用来确定细胞模型中的每个细胞元是否是全约束的.要做到这点,文章将每个细胞元用一个布尔变量表示,把拓扑约束问题映射成为布尔可满足性问题.再对新的问题进行求解,从而解决了模型的拓扑约束求解问题.
关键词：特征造型拓扑约束布尔可满足性问题
分类号：TP393.02(计算技术、计算机技术)
资助基金：国家自然科学基金项目(6017)国家自然科学基金项目(3055)
论文发表日期：2010-01-01
在线出版日期：2025-08-15（本平台首次上网日期，不代表文献的发表时间）
页数：3( 25-27 )
英文信息