期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到5篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
一种高效的FDE并行传播算法 被引量：1
1
作者 李哲 于哲舟 李占山 《软件学报》 EI CSCD 北大核心 2023年第9期4153-4166,共14页
约束规划(constraint programming, CP)是表示和求解组合问题的经典范式之一.扩展约束(extensional constraint)或称表约束(table constraint)是约束规划中最为常见的约束类型.绝大多数约束规划问题都可以用表约束表达.在问题求解时,相... 约束规划(constraint programming, CP)是表示和求解组合问题的经典范式之一.扩展约束(extensional constraint)或称表约束(table constraint)是约束规划中最为常见的约束类型.绝大多数约束规划问题都可以用表约束表达.在问题求解时,相容性算法用于缩减搜索空间.目前,最为高效的表约束相容性算法是简单表约缩减(simple table reduction, STR)算法簇,如Compact-Table (CT)和STRbit算法.它们在搜索过程中维持广义弧相容(generalized arc consistency, GAC).此外,完全成对相容性(full pairwise consistency, fPWC)是一种比GAC剪枝能力更强的相容性.最为高效的维持fPWC算法是PW-CT算法.多年来,人们提出了多种表约束相容性算法来提高剪枝能力和执行效率.因子分解编码(factor-decomposition encoding, FDE)通过对平凡问题重新编码.它一定程度地扩大了问题模型,使在新的问题上维持相对较弱的GAC等价于在原问题上维持fPWC.目前, FDE的合适STR算法是STRFDE和STR2,而不是CT.这是由于CT算法可能产生内存溢出问题.在维持相容性算法的过程中,需要将迭代地调用各个约束执行其相容性算法过滤搜索空间,这个过程称为约束传播.动态提交方案是一个并行约束传播框架,可以并行地调度约束执行传播算法.它在大规模问题中,改进效果尤为明显.改进STRFDE和动态提交传播算法.针对FDE提出了PSTRFDE算法. PSTRFDE可以嵌入到动态提交方案中,进一步提高了约束规划问题的求解效率.大量的实验表明, PSTRFDE与CT和STRbit相比,可以减少内存占用;与STRFDE和STR2相比,可以提高算法的效率.所作工作充分说明了PSTRFDE是FDE上最为高效的过滤算法. 展开更多
关键词 约束规划 并行约束传播 相容性算法 简单表缩减算法
下载PDF
基于多核CPU的表约束并行传播模式研究 被引量：4
2
作者 陈佳楠 李哲 李占山 《软件学报》 EI CSCD 北大核心 2021年第9期2769-2782,共14页
并行传播是并行约束程序领域中的一个研究方向,其研究内容是如何并行执行在约束上的过滤算法.根据维持表约束网络广义弧相容(generalized arc consistency,简称GAC)的串行传播模式,提出了维持表约束网络临时广义弧相容(temporary genera... 并行传播是并行约束程序领域中的一个研究方向,其研究内容是如何并行执行在约束上的过滤算法.根据维持表约束网络广义弧相容(generalized arc consistency,简称GAC)的串行传播模式,提出了维持表约束网络临时广义弧相容(temporary generalized arc consistency,简称TGAC)的并行传播模式,该模式基于多核CPU,由并行传播算法和并行过滤算法两部分组成;之后,给出了并行传播模式的可靠性证明,而且通过对并行传播模式的最坏时间复杂度分析,可以认为并行传播模式在平均过滤时间较长的实例上要快于串行传播模式;最终的实验结果也验证了上述结论,并行传播模式在多数实例集上取得了从1.4-3.4不等的加速比. 展开更多
关键词 约束满足问题 并行传播 广义弧相容 表约束 简单表缩减
下载PDF
一类具有时滞的两种新冠病毒并行传播的SIR模型研究 被引量：1
3
作者 金薇 廖新元 佘智凤 《数学理论与应用》 2022年第2期99-107,共9页
本文研究一类具有时滞的两种新冠病毒并行传播的SIR模型,首先证明其全局正解的存在唯一性,其次通过构建合适的Lyapunov函数得到新冠病毒和变异型新冠病毒灭绝和持久的充分条件,最后通过数值模拟验证相关结论.
关键词 随机SIR模型 时滞 并行传播 持久 灭绝
下载PDF
一种无线ATM网的改进型MAC协议
4
作者 张效文 周彬 +1 位作者 聂涛 李承恕 《铁道学报》 EI CAS CSCD 北大核心 1999年第5期51-54,共4页
在分布式请求更新多址（ＤＱＲＵＭＡ）和分布式排队到达请求多址（ＤＱＡＲＭＡ）协议基础上，提出一种适合多码、多载波ＣＤＭＡ传输的改进型（Ｉｍ ｐｒｏｖｅｄ）分布式排队请求更新多址（ＩＤＱＲＵＭＡ）协议，并对该协议的性能... 在分布式请求更新多址（ＤＱＲＵＭＡ）和分布式排队到达请求多址（ＤＱＡＲＭＡ）协议基础上，提出一种适合多码、多载波ＣＤＭＡ传输的改进型（Ｉｍ ｐｒｏｖｅｄ）分布式排队请求更新多址（ＩＤＱＲＵＭＡ）协议，并对该协议的性能进行分析和仿真。研究表明对于种类多且变换快的业务情况，ＩＤＱＲＵＭＡ协议性能比ＤＱＲＵＭＡ好，在业务种类少或单一的情况下。 展开更多
关键词 并行CDMA传播 MAC协议 铁路通信 ATM网
下载PDF
GPU加速的贝叶斯网络精确推理方法研究
5
作者 肖旭 慕德俊 +1 位作者 张慧翔 陈春雷 《计算机技术与发展》 2014年第10期1-5,11,共6页
对于复杂输入的贝叶斯网络,精确推理时间较长。文中针对贝叶斯网络精确推理中的团树传播算法,提出了一种基于CPU-GPU异构计算平台的并行化方法。首先研究团节点间信念势更新方式,提出了节点级并行化方法加速更新过程;其次,提出了利用计... 对于复杂输入的贝叶斯网络,精确推理时间较长。文中针对贝叶斯网络精确推理中的团树传播算法,提出了一种基于CPU-GPU异构计算平台的并行化方法。首先研究团节点间信念势更新方式,提出了节点级并行化方法加速更新过程;其次,提出了利用计算复杂度的优先级队列方法,通过拓扑级并行化加速全局推理过程;最后,通过输入不同团树结构—线性结构、两分支二叉树结构和完全二叉树结构验证算法加速效果。实验结果表明,节点级并行化方法对线性结构有明显加速效果,拓扑级并行化对两分支二叉树和满二叉树结构有明显加速效果。 展开更多
关键词 贝叶斯网络 团树传播算法 GPU加速 并行化信念传播
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部