基于自由度分析几何约束求解方法中过约束和欠约束的处理 (2003年)

在自由度分析方法的基础上使用依赖图，解决了约束求解过程中的过约束和欠约束的处理问题。依赖图中保留了求解问题中变量间的依赖信息。当系统发现矛盾的过约束时或欠约束时会给使用者显示提示信息，由用户进行处理。