4.2 基于约束概念格的恒星光谱分类规则提取算法