摘要
为了提高求解效率,对建模操作与特征依赖之间的对应关系进行分析,提出了一种确定最小特征相关集的方法。同时,使用最小特征相关集来选择与模型操作相关的约束方程,以降低求解的规模。将所提出的方法应用到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.
出处
《计算机应用研究》
CSCD
北大核心
2014年第12期3859-3861,共3页
Application Research of Computers
基金
黑龙江省自然科学基金资助项目(F201420)
关键词
约束求解
特征依赖
特征相关集
约束方程
solving constraints
feature dependencies
feature relevant set
constraint equations