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

Parallel consistency model for global constraints based on centralized storage

作　　者：曹琰[1] 魏强[1] 王清贤[1] 丁文博[1] 

机构地区：[1]信息工程大学,郑州450002

出　　处：《计算机应用研究》2013年第11期3314-3317,共4页Application Research of Computers

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

摘　　要：为了利用多处理平台的并行处理能力,提高约束求解中相容检查的效率,提出了一种新的基于集中式存储的全局约束并行相容模型。利用动态分配约束条件的方法解决负载均衡问题;通过对变量域的集中式管理,保证了冲突检测的及时性;利用变量域剪枝单调性的特点,实现了异步相容检查,提高了多节点间相容检查的并行程度。最后,通过实验验证并讨论了模型的优势和适用范围。In order to take advantage of the parallel capabilities of multi-processer platform to improve the performance of consistency in constraint programming, the paper proposed a new parallel consistency model based on centralized storage. It used dynamic constraints distribution for addressing the issue of load-balancing and detected collision quickly due to centralized management of variable domain. Since pruning variable domain was monotonic, it realized asynchronous consistency to improve parallelism. Finally, the experiments represented the advantages and the scope of application of the model.

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

分 类 号：TP31[自动化与计算机技术—计算机软件与理论]