协同设计中定量化约束求解方法

通过对约束满足与约束冲突的分析，提出了约束求解的定量化策略．基于变量不确定性，量化了约束满足程度与约束冲突程度，解决了约束求解过程中的优先权问题；给出了约束变化量及关联函数，为约束求解确立了具体的目标和实施方法，实现了约束求解过程的有序搜索．定量化约束求解策略不仅实现了对约束的有序及有效求解，而且真正地实现了在上游约束求解过程中定量地考虑下游约束求解问题．最后，利用随机仿真技术实现了基于变量不确定性的约束求解策略的验证．

A Quantified Method for Constraint Resolution in Collaborative Design

Based on analyzing constraint conflict, a quantified strategy for solving constraint problem is presented. Quantified degree of constraint satisfaction and conflict are introduced to rank the priority of constraint solving; the amount of change of constraints and the corresponding relationship functions are also given to establish concrete objective and implementation method for constraint solving. By using quantified strategy, an ordered approach to solve constraints can be got and the downstream constraint problems will be considered in the early phase of upstream design. An example is given with stochastic simulation technology to illustrate the solution process.