计算机辅助设计(Computer Aided Design,简称CAD)是一种利用计算机的硬件和软件来进行产品的建模、修改、分析和优化的设计活动,它广泛的应用在科研和生活的各个领域中。现在它的应用水平已经成为衡量一个国家科技现代化和工业现代化水平的重要标志之一。CAD技术的发展经历了四次重大的技术创新,其中变量化技术是第四次技术创新,而几何约束求解是参数化技术和变量化技术的核心。目前,几何约束求解的方法主要有四种:基于数值的,基于符号的,基于规则的和基于图论的。在实际的工程设计中,我们需要对给定的草图进行分析,进而得到满足设计者需求的模型。基于参数模型的CAD系统的一个非常重要的优点是允许设计者随时改变参数值来达到对草图的修改。然而,在修改参数值时,常常由于给定的参数值不合理,而导致无法重新生成几何图形。所以,确定参数的有效范围对于几何约束求解是非常必要的。本文利用DM分解算法和吴方法从代数可解的角度给出一个确定几何约束求解中参数的有效范围的算法。该算法对于提高几何约束求解的交互性和准确性有着重要的作用,并且使得几何约束求解的研究更具有实际意义。