属性析取收缩相关论文