期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
3
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
一个约束可满足性问题的演化算法求解
1
作者
李景治
康立山
方宁
《计算机科学》
CSCD
北大核心
2004年第4期137-139,共3页
约束可满足性问题是一大类常出现于现实应用中的复杂问题,因其繁多的约束条件而出名。本文针对一个经典的约束可满足性问题——斑马属谁问题,基于演化算法的框架进行求解。我们采用矩阵的表示方式,并设计了相应的杂交和变异算子。实验表...
约束可满足性问题是一大类常出现于现实应用中的复杂问题,因其繁多的约束条件而出名。本文针对一个经典的约束可满足性问题——斑马属谁问题,基于演化算法的框架进行求解。我们采用矩阵的表示方式,并设计了相应的杂交和变异算子。实验表明,演化算法能高效地解决该问题。
展开更多
关键词
约束
可
满足
性
问题
演化算法
斑马属谁
问题
优化
问题
计算机
在线阅读
下载PDF
职称材料
RB模型实例集上置信传播算法的收敛性
被引量：
11
2
作者
王晓峰
许道云
《软件学报》
EI
CSCD
北大核心
2016年第11期2712-2724,共13页
置信传播算法求解RB(k,n,a,r_c,p)模型实例时非常有效,几乎能够有效求解接近可满足性相变点的难解实例.然而,因子图带有回路的实例,置信传播算法不总有效,常表现为不收敛.对于这种现象,至今缺少系统的理论解释.置信传播算法是最为基础...
置信传播算法求解RB(k,n,a,r_c,p)模型实例时非常有效,几乎能够有效求解接近可满足性相变点的难解实例.然而,因子图带有回路的实例,置信传播算法不总有效,常表现为不收敛.对于这种现象,至今缺少系统的理论解释.置信传播算法是最为基础的信息传播算法,对置信传播算法的收敛性分析是其他信息传播算法收敛性分析的重要基础.在RB(k,n,a,rc,p)模型中,取k=2,a>1/k,r_c>0均为常数,且满足ke^(-a/r_c)≥1.证明了如果p∈(0,n^(-2a)),则置信传播算法在RB(k,n,a,r_c,p)模型产生的随机实例集上高概率收敛.最后,在RB(k,n,a,r_c,p)模型上选取了几组不同的数据进行数值模拟,实验结果表明该结论有效.当问题规模n增大时,在RB(k,n,a,r_c,p)模型的可满足区域,实验收敛区间趋于一个固定范围,而理论收敛区间逐渐变窄.原因在于,RB(k,n,a,r_c,p)模型是一个具有增长定义域的随机CSP实例产生模型,不协调赋值的数目与参数p及问题规模n有关.
展开更多
关键词
置信传播算法
收敛
性
约束
可
满足
性
问题
RB模型
在线阅读
下载PDF
职称材料
CSPack:采用CSP图匹配的新型装箱算法
被引量：
1
3
作者
龚爱慧
梁绍池
+2 位作者
陈志辉
王伶俐
童家榕
《计算机辅助设计与图形学学报》
EI
CSCD
北大核心
2010年第11期1998-2003,2012,共7页
现代FPGA芯片可编程单元的日益复杂化对装箱提出了更大挑战,为了使依赖硬件结构的装箱过程不断适应芯片结构变化的过程,提出一种基于CSP图匹配的装箱算法CSPack.用配置库来描述芯片可编程逻辑块的各种电路功能,根据配置库并利用CSP图匹...
现代FPGA芯片可编程单元的日益复杂化对装箱提出了更大挑战,为了使依赖硬件结构的装箱过程不断适应芯片结构变化的过程,提出一种基于CSP图匹配的装箱算法CSPack.用配置库来描述芯片可编程逻辑块的各种电路功能,根据配置库并利用CSP图匹配算法进行电路匹配,找出满足约束的子电路,并以指令的形式将子电路映射到可编程逻辑块内.该算法已经应用于复旦大学自主研发的FPGA芯片FDP2008软件流程的装箱模块中,且针对不同芯片系列只需修改描述芯片功能配置的文件就能实现装箱.实验结果表明,与T-VPack算法相比,CSPack算法在时序性能上提升了6.1%,同时可减少1.4%的芯片占用面积.
展开更多
关键词
约束满足性问题
图匹配
电路改写
装箱
FPGA
在线阅读
下载PDF
职称材料
题名
一个约束可满足性问题的演化算法求解
1
作者
李景治
康立山
方宁
机构
武汉大学软件工程国家重点实验室
出处
《计算机科学》
CSCD
北大核心
2004年第4期137-139,共3页
基金
国家自然科学基金(编号:60073043
70071042
60133010)
文摘
约束可满足性问题是一大类常出现于现实应用中的复杂问题,因其繁多的约束条件而出名。本文针对一个经典的约束可满足性问题——斑马属谁问题,基于演化算法的框架进行求解。我们采用矩阵的表示方式,并设计了相应的杂交和变异算子。实验表明,演化算法能高效地解决该问题。
关键词
约束
可
满足
性
问题
演化算法
斑马属谁
问题
优化
问题
计算机
Keywords
Constraint satisfaction problem, Evolutionary algorithm, Zebra-belong-to-who problem
分类号
O224 [理学—运筹学与控制论]
TP301.6 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
RB模型实例集上置信传播算法的收敛性
被引量：
11
2
作者
王晓峰
许道云
机构
北方民族大学计算机科学系
贵州大学计算机科学系
出处
《软件学报》
EI
CSCD
北大核心
2016年第11期2712-2724,共13页
基金
国家自然科学基金(61462001
61262006)~~
文摘
置信传播算法求解RB(k,n,a,r_c,p)模型实例时非常有效,几乎能够有效求解接近可满足性相变点的难解实例.然而,因子图带有回路的实例,置信传播算法不总有效,常表现为不收敛.对于这种现象,至今缺少系统的理论解释.置信传播算法是最为基础的信息传播算法,对置信传播算法的收敛性分析是其他信息传播算法收敛性分析的重要基础.在RB(k,n,a,rc,p)模型中,取k=2,a>1/k,r_c>0均为常数,且满足ke^(-a/r_c)≥1.证明了如果p∈(0,n^(-2a)),则置信传播算法在RB(k,n,a,r_c,p)模型产生的随机实例集上高概率收敛.最后,在RB(k,n,a,r_c,p)模型上选取了几组不同的数据进行数值模拟,实验结果表明该结论有效.当问题规模n增大时,在RB(k,n,a,r_c,p)模型的可满足区域,实验收敛区间趋于一个固定范围,而理论收敛区间逐渐变窄.原因在于,RB(k,n,a,r_c,p)模型是一个具有增长定义域的随机CSP实例产生模型,不协调赋值的数目与参数p及问题规模n有关.
关键词
置信传播算法
收敛
性
约束
可
满足
性
问题
RB模型
Keywords
belief propagation algorithm
convergence
constraint satisfaction problem
RB model
分类号
TP181 [自动化与计算机技术—控制理论与控制工程]
在线阅读
下载PDF
职称材料
题名
CSPack:采用CSP图匹配的新型装箱算法
被引量：
1
3
作者
龚爱慧
梁绍池
陈志辉
王伶俐
童家榕
机构
复旦大学专用集成电路与系统国家重点实验室
出处
《计算机辅助设计与图形学学报》
EI
CSCD
北大核心
2010年第11期1998-2003,2012,共7页
基金
国家"八六三"高技术研究发展计划(2009AA012201)
国家自然科学基金(60676020)
上海市浦江人才计划(2008)
文摘
现代FPGA芯片可编程单元的日益复杂化对装箱提出了更大挑战,为了使依赖硬件结构的装箱过程不断适应芯片结构变化的过程,提出一种基于CSP图匹配的装箱算法CSPack.用配置库来描述芯片可编程逻辑块的各种电路功能,根据配置库并利用CSP图匹配算法进行电路匹配,找出满足约束的子电路,并以指令的形式将子电路映射到可编程逻辑块内.该算法已经应用于复旦大学自主研发的FPGA芯片FDP2008软件流程的装箱模块中,且针对不同芯片系列只需修改描述芯片功能配置的文件就能实现装箱.实验结果表明,与T-VPack算法相比,CSPack算法在时序性能上提升了6.1%,同时可减少1.4%的芯片占用面积.
关键词
约束满足性问题
图匹配
电路改写
装箱
FPGA
Keywords
constraint satisfaction problem
graph matching
circuit rewrite
packing
FPGA
分类号
TN47 [电子电信—微电子学与固体电子学]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
一个约束可满足性问题的演化算法求解
李景治
康立山
方宁
《计算机科学》
CSCD
北大核心
2004
0
在线阅读
下载PDF
职称材料
2
RB模型实例集上置信传播算法的收敛性
王晓峰
许道云
《软件学报》
EI
CSCD
北大核心
2016
11
在线阅读
下载PDF
职称材料
3
CSPack:采用CSP图匹配的新型装箱算法
龚爱慧
梁绍池
陈志辉
王伶俐
童家榕
《计算机辅助设计与图形学学报》
EI
CSCD
北大核心
2010
1
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
