论文部分内容阅读
研究了机床产品协同开发中约束的种类和特点以及约束模型的建立方法，描述了约束网络的一致性、有效性、完备性和全面性等特性，并列举了一个具体的约束网络实例。建立了协同产品开发中的动态约束模型，将约束分为耦舍约束和独立约束两种类型，通过设定耦舍约束的变量的取值范围，将耦舍约束转换为独立约束，并综合利用约束传播算法和区间求解算法对该约束模型进行求解。最后给出了协同产品开发中约束模型的网络实现流程并开发了相应的原型系统，为冲突的检测方法提供了量化手段，可以提前发现潜在的冲突。