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

• 作者: 孙立镌 马爱玲
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 对象族 拓扑约束 布尔约束
• 年，卷（期）: 2008,（35）
• 所属期刊栏目: 理论研究
• 页码范围: 43-45,49
• 页数: 4页
• 分类号: TP391
• 字数: 3961字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.2008.35.013

摘要

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

作者信息

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