基于最小特征相关集的约束求解  

Solve constraints based on the smallest feature relevant set

作　　者：高雪瑶[1] 李佳奇[1] 张春祥[2] 卢志茂 

机构地区：[1]哈尔滨理工大学计算机科学与技术学院,哈尔滨150080 [2]哈尔滨理工大学软件学院,哈尔滨150080 [3]哈尔滨工程大学信息与通信工程学院,哈尔滨150001

出　　处：《计算机应用研究》2014年第12期3859-3861,共3页Application Research of Computers

基　　金：黑龙江省自然科学基金资助项目(F201420)

摘　　要：为了提高求解效率,对建模操作与特征依赖之间的对应关系进行分析,提出了一种确定最小特征相关集的方法。同时,使用最小特征相关集来选择与模型操作相关的约束方程,以降低求解的规模。将所提出的方法应用到HUST-CAID系统中,对建模过程中的约束关系变化进行求解。实验结果表明建模效率有所提高。In order to improve the solution efficiency,this paper analyzed the correspondence between modeling operations and feature dependencies,and proposed a new method to find the smallest feature relevant set. At the same time,it used the smallest feature relevant set to select constraint equations related to modeling operations,in order to decrease the solution scale. Then this paper applied the proposed method to HUST-CAID system,and solved the constraint change in the process of modeling. Experimental results show that the modeling efficiency improved.

关 键 词：约束求解 特征依赖 特征相关集 约束方程 

分 类 号：TP391.4[自动化与计算机技术—计算机应用技术]