论文研究基于最小特征相关集的约束求解.pdf

为了提高求解效率，对建模操作与特征依赖之间的对应关系进行分析，提出了一种确定最小特征相关集的方法。同时，使用最小特征相关集来选择与模型操作相关的约束方程，以降低求解的规模。将所提出的方法应用到HUST-CAID系统中，对建模过程中的约束关系变化进行求解。实验结果表明建模效率有所提高。