查分约束系统的求解和建立