基于约束的离线式建模求解器的研究与设计

针对在线式产品建模方法的局限性及其在工程中遇到的问题 ,首次论述了用于工程哑图变动设计的离线式建模求解器的设计思想、算法设计及其实现的方法。