对象族

作品数:9被引量:5H指数:1
导出分析报告
相关领域:自动化与计算机技术更多>>
相关作者:孙立镌刘宪国刘世岳伍清河霍春宝更多>>
相关机构:哈尔滨理工大学北京理工大学辽宁工学院大连水产学院更多>>
相关期刊:《青岛大学学报(工程技术版)》《计算机工程与应用》《北京理工大学学报》《计算机应用研究》更多>>
相关基金:国家自然科学基金国家教育部博士点基金更多>>
-

检索结果分析

结果分析中...
选择条件:
  • 期刊=计算机工程与应用x
条 记 录,以下是1-1
视图:
排序:
对象族拓扑约束求解的研究
《计算机工程与应用》2008年第35期43-45,49,共4页孙立镌 马爱玲 
国家自然科学基金No.60173055~~
针对当前对象族模型在求解拓扑约束时存在的缺陷,提出一种求解拓扑约束的新方法,这种方法在求解拓扑约束时,把拓扑约束映射为布尔约束满足问题,通过用SAT求解器求解布尔约束来求解拓扑约束。实践证明,该方法不仅直接关联与拓扑约束指定...
关键词:对象族 拓扑约束 布尔约柬 
检索报告 对象比较 聚类工具 使用帮助 返回顶部