[判断]  如果体系的计算自由度等于其实际自由度，那么体系中没有多余约束。