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