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

摘要：

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

关键词：协同设计、约束满足、冲突、量化、约束求解

所属期刊栏目：16

分类号：TH166;TP391

资助基金：江苏省自然科学基金BK2001058

在线出版日期：2004-09-23（万方平台首次上网日期，不代表论文的发表时间）

页数：共8页

页码：1114-1121