基于集中式存储的全局约束并行相容模型

摘要：

为了利用多处理平台的并行处理能力,提高约束求解中相容检查的效率,提出了一种新的基于集中式存储的全局约束并行相容模型.利用动态分配约束条件的方法解决负载均衡问题;通过对变量域的集中式管理,保证了冲突检测的及时性;利用变量域剪枝单调性的特点,实现了异步相容检查,提高了多节点间相容检查的并行程度.最后,通过实验验证并讨论了模型的优势和适用范围.

关键词：约束求解、相容技术、并行化、全局约束

所属期刊栏目：30

分类号：TP31(计算技术、计算机技术)

资助基金：国家”863计划”资助主题项目2012AA012902

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

页数：共4页

页码：3314-3317