【摘 要】
：
弧相容算法是约束满足问题的基本压缩求解空间算法之一,很多优秀的高级算法都以高性能的弧相容算法作为核心.近年来,以GPU为计算工具加速并行计算被用来尝试解决许多问题.基
【机 构】
：
吉林大学计算机科学与技术学院,符号计算与知识工程教育部重点实验室（吉林大学）
论文部分内容阅读
弧相容算法是约束满足问题的基本压缩求解空间算法之一,很多优秀的高级算法都以高性能的弧相容算法作为核心.近年来,以GPU为计算工具加速并行计算被用来尝试解决许多问题.基于GPU和基本的并行算法,提出一种适合GPU运算的约束网络表示模型N-E,给出其生成算法BuildNE.结合细粒度的弧相容算法——AC4,基于N-E模型提出AC4的并行化算法AC4GPU与改进算法AC4GPU＋,使弧相容算法得以扩展到GPU上执行.实验结果验证了该算法的可行性,与AC4算法的比较,其在一些规模较小的问题上取得了10%50%的加
其他文献
课堂提问要做到能够促进学生思维的发展，培养创新的能力，提高学习的兴趣，减少提问的盲目性和负面影响，必须深入研究提问技巧。笔者从提问的主要功能入手，提出了曲问、悬问、逆问、
新的<水工混凝土结构设计规范SL/T 191-96>(以下简称新规范),已于1997年颁布实施,考虑到目前国内各设计单位的实际情况,老的<水工钢筋混凝土结构设计规范SD120-78>(以下简称
介绍在日本福原大圆机配套的花型设计软件—FDS套件和常用画图软件Adobe Photoshop上，开发一种少见的仿嵌花组织结构，并以设计和生产实例，描述花型设计过程及上机程序。建立了包
利用前处理助剂清棉师Scolase100T与双氧水的协同作用对黏胶基蚕蛹蛋白混纺织物进行前处理，通过正交试验测试并分析了清棉师Scolase100T用量、双氧水用量、pH值和温度对织物白
【正】《路西法效应》写作30年的奇书、奇事《路西法效应》,由美国斯坦福大学心理学家菲利普·津巴多教授所著。起初关注这本书,是因为该书曾经登上了2010年人民网十大畅
随机化方法作为保护程序免受攻击的一项技术,已经得到广泛的应用.但现有的随机化方法存在两个问题：其一,粒度较粗,不能阻止发生在函数、结构体、类内部的攻击;其二,绝大多数攻
朗读训练是语文教学中极为重要的一个环节，是理解课文内容，体会文章思想感情的手段。在课堂教学中，应注重朗读训练，以读为主，指导学生初步把课文读懂、读熟，逐步理解课文内容，体会作