期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
10
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于CSP的配电网大面积断电供电恢复模型和算法
被引量：
20
1
作者
刘栋
陈允平
+2 位作者
沈广
樊友平
徐箭
《电力系统自动化》
EI
CSCD
北大核心
2006年第10期28-32,共5页
当配电网中发生大规模停电事故时,必须尽快制定供电恢复计划。文中建立了供电恢复的约束满足问题(CSP)模型。配电网恢复中的各种因素被表示为CSP模型中的变量、约束和目标。为提高在线计算速度,与故障模式无关的计算量被转移到离线方式...
当配电网中发生大规模停电事故时,必须尽快制定供电恢复计划。文中建立了供电恢复的约束满足问题(CSP)模型。配电网恢复中的各种因素被表示为CSP模型中的变量、约束和目标。为提高在线计算速度,与故障模式无关的计算量被转移到离线方式下进行。同时,为提高求解效率,对解空间进行排序,使给定的目标函数对单个变量具有局部单调性。使用回溯算法对目标函数进行优化。算例结果证明了所提出的方法的可行性和优越性。
展开更多
关键词
配电网
供电恢复
约束满足问题
二元约束满足问题
回溯算法
在线阅读
下载PDF
职称材料
非二元约束满足问题求解
被引量：
16
2
作者
孙吉贵
景沈艳
《计算机学报》
EI
CSCD
北大核心
2003年第12期1746-1752,共7页
在约束满足问题 (CSP)的研究中 ,大部分工作集中在二元约束 ,但处理实际问题时 ,常常会遇到非二元约束的情况 .该文在概要地讨论了两类求解非二元约束问题方法的基础上 ,研究了一种将约束传播技术和一般弧相容回溯算法相结合的非二元约...
在约束满足问题 (CSP)的研究中 ,大部分工作集中在二元约束 ,但处理实际问题时 ,常常会遇到非二元约束的情况 .该文在概要地讨论了两类求解非二元约束问题方法的基础上 ,研究了一种将约束传播技术和一般弧相容回溯算法相结合的非二元约束求解方法 ,并在设计开发的约束求解工具“明月SOLVER1.0”中实现了该方法 ,以典型例子给出了实现系统的运行结果 .
展开更多
关键词
非二元约束满足问题
对偶图法
隐藏变量法
启发式搜索算法
在线阅读
下载PDF
职称材料
约束满足问题求解的符号OBDD桶消元算法
被引量：
4
3
作者
徐周波
古天龙
+1 位作者
常亮
李凤英
《计算机科学》
CSCD
北大核心
2011年第7期200-202,219,共4页
桶消元算法是求解约束满足问题的一种典型推理方法。针对桶消元算法面临的状态空间爆炸问题,将有序二叉决策图(OBDD)技术与该算法结合起来,给出了约束满足问题的一种求解算法。通过对约束满足问题中变量和域值的编码,将CSP问题转化为命...
桶消元算法是求解约束满足问题的一种典型推理方法。针对桶消元算法面临的状态空间爆炸问题,将有序二叉决策图(OBDD)技术与该算法结合起来,给出了约束满足问题的一种求解算法。通过对约束满足问题中变量和域值的编码,将CSP问题转化为命题可满足性问题,给出了约束满足问题的OBDD表示方法;基于桶消元的算法思想,在约束满足问题的OBDD表示的基础上,利用OBDD的"与"操作和"量化"操作等,避免了传统算法中状态的显式枚举,隐式地实现了对CSP的求解。对大量随机生成的测试用例进行了实验分析,结果表明提出的符号算法明显优于桶消元法和符号直接求解法。
展开更多
关键词
约束满足问题
符号算法
桶消元
有序二叉决策图(OBDD)
在线阅读
下载PDF
职称材料
稀疏二元约束满足问题的环割集粒子群算法(英文)
被引量：
1
4
作者
杨轻云
孙吉贵
+1 位作者
张居阳
王纯杰
《广西师范大学学报（自然科学版）》
CAS
北大核心
2006年第4期135-138,共4页
提出了一个基于环割集的粒子群算法求解稀疏二元约束满足问题,把环割集和粒子群算法结合在一起,利用环割集减少粒子群算法中粒子的维数。用随机的稀疏二元约束满足问题进行实验,结果表明改进后的粒子群算法是有效的,迭代次数约为原算法...
提出了一个基于环割集的粒子群算法求解稀疏二元约束满足问题,把环割集和粒子群算法结合在一起,利用环割集减少粒子群算法中粒子的维数。用随机的稀疏二元约束满足问题进行实验,结果表明改进后的粒子群算法是有效的,迭代次数约为原算法的十分之一,运行时间比原算法运行时间少约7倍。
展开更多
关键词
二元约束满足问题
粒子群算法
环割集
弧相容
在线阅读
下载PDF
职称材料
装配序列规划问题的CSP模型及其符号OBDD求解技术
被引量：
8
5
作者
徐周波
古天龙
《计算机辅助设计与图形学学报》
EI
CSCD
北大核心
2010年第5期803-810,共8页
完全、正确的可行装配序列的表示和生成是装配序列评价、优化和选择的前提,为此建立了单调非线性装配意义下的可行装配序列规划问题的约束满足问题(CSP)模型,并给出了基于有序二叉决策图(OBDD)的符号求解算法.首先以装配联接图和移动向...
完全、正确的可行装配序列的表示和生成是装配序列评价、优化和选择的前提,为此建立了单调非线性装配意义下的可行装配序列规划问题的约束满足问题(CSP)模型,并给出了基于有序二叉决策图(OBDD)的符号求解算法.首先以装配联接图和移动向量函数为装配体模型,给出了装配联接图模型的共享二叉决策图(SBDD)表示、移动向量函数的OBDD表示,以及装配序列规划问题的CSP描述;然后将生成所有可行装配序列的问题转化为对CSP求解所有可能解的问题,利用回溯算法对CSP问题进行符号OBDD求解,得到了满足几何可行性约束的所有可行装配序列.最后通过装配体实验验证了基于CSP模型和OBDD推理的装配序列生成技术的正确性和可行性.
展开更多
关键词
装配序列生成
装配联接图
约束满足问题
有序二叉决策图
在线阅读
下载PDF
职称材料
基于值序的二元约束满足问题粒子群算法
被引量：
2
6
作者
杨轻云
孙吉贵
+1 位作者
张居阳
王纯杰
《计算机工程》
EI
CAS
CSCD
北大核心
2006年第17期57-59,共3页
提出了一个基于最小冲突启发式值序的二元约束满足问题粒子群算法,利用值序对值的选取方式代替随机选择的盲目搜索方式,使群体在探索解空间的时候,选择有希望能找到全局解的地方搜索。使用随机约束满足问题的实验表明,改进后的算法比原...
提出了一个基于最小冲突启发式值序的二元约束满足问题粒子群算法,利用值序对值的选取方式代替随机选择的盲目搜索方式,使群体在探索解空间的时候,选择有希望能找到全局解的地方搜索。使用随机约束满足问题的实验表明,改进后的算法比原算法能以更快的速度收敛到全局解,无论在迭代次数还是运行时间上均能数倍提高算法的效率。
展开更多
关键词
粒子群算法
二元约束满足问题
最小冲突启发式
值序
在线阅读
下载PDF
职称材料
基于非二元约束满足的配置问题求解方法
被引量：
3
7
作者
单汨源
袁际军
《计算机工程》
CAS
CSCD
北大核心
2008年第7期205-208,共4页
依据产品的可配置性,提出基于非二元约束的逻辑产品模型,给出基于动态变量序的一类配置求解算法。采用仿真实验比较各种算法的求解效率,指出各算法在不同配置约束密度下快速求解配置问题时的适用范围。基于逻辑产品模型,依据配置问题实...
依据产品的可配置性,提出基于非二元约束的逻辑产品模型,给出基于动态变量序的一类配置求解算法。采用仿真实验比较各种算法的求解效率,指出各算法在不同配置约束密度下快速求解配置问题时的适用范围。基于逻辑产品模型,依据配置问题实际性质,采用相应配置求解算法,能够更快地生成符合客户要求的产品配置方案。
展开更多
关键词
大规模定制
逻辑产品模型
产品配置
非二元约束满足问题
在线阅读
下载PDF
职称材料
非二元条件约束满足问题求解
被引量：
2
8
作者
袁际军
黄敏镁
《计算机集成制造系统》
EI
CSCD
北大核心
2014年第3期636-651,共16页
非二元条件约束满足问题是二元条件约束满足问题的泛化。给出了非二元条件约束满足问题模型;针对求解过程中激活性约束引起的变量空间变化,分别采用"后看"策略和嵌入不同程度非二元弧一致性的"前看"策略思想,提出...
非二元条件约束满足问题是二元条件约束满足问题的泛化。给出了非二元条件约束满足问题模型;针对求解过程中激活性约束引起的变量空间变化,分别采用"后看"策略和嵌入不同程度非二元弧一致性的"前看"策略思想,提出一种非二元条件回溯算法和两种非二元条件前向检查算法,以有效处理约束维数的非二元性及变量依条件参与求解的动态性等问题;分析了三种算法最坏情况下的时间复杂性;通过随机生成的测试实例仿真实验比较了三种算法的求解性能。实验结果表明:在处理难问题时,两种非二元条件前向检查算法的性能均显著优于非二元条件回溯算法;而在分别处理中小规模低动态性特征与大规模高动态性特征问题时,两种非二元条件前向检查算法性能存在显著差异。
展开更多
关键词
非二元条件约束满足问题
非二元条件回溯算法
非二元条件前向检查算法
非二元弧一致性
在线阅读
下载PDF
职称材料
基于关联约束非二元弧一致性的约束满足问题求解
被引量：
1
9
作者
袁际军
单汨源
王克喜
《计算机科学》
CSCD
北大核心
2008年第5期158-162,共5页
弧一致性算法在二元约束满足问题中取得了成功的应用,但并不能被有效泛化至预处理非二元约束满足问题(NCSP)。本文提出了处理NCSP的关联约束非二元弧一致性算法。通过随机NCSP生成器产生问题实例,分别采用关联约束非二元孤一致性算法和...
弧一致性算法在二元约束满足问题中取得了成功的应用,但并不能被有效泛化至预处理非二元约束满足问题(NCSP)。本文提出了处理NCSP的关联约束非二元弧一致性算法。通过随机NCSP生成器产生问题实例,分别采用关联约束非二元孤一致性算法和非二元孤一致性算法进行预处理,并对预处理后的问题实例应用回溯算法进行求解。对比分析采用两种预处理算法和不采用预处理下回溯算法的求解性能,仿真实验结果表明关联约束非二元孤一致性算法可以有效地别除冗余的约束元组和变量域值,使关联约束非二元弧一致性回溯算法具有更良好的鲁棒性。
展开更多
关键词
非二元约束满足问题
回溯算法
关联约束非二元弧一致性
随机NCSP生成器
在线阅读
下载PDF
职称材料
多元约束混合搜索算法研究
10
作者
孙吉贵
张居阳
陈尚伟
《自动化学报》
EI
CSCD
北大核心
2007年第9期974-978,共5页
解空间搜索是约束求解的关键环节.目前较为常用的搜索算法一般是基于二元约束或单一搜索策略设计的.本文设计了六个基于多元约束的混合搜索算法(BM_GASBJ,BM_GBJ,BM_CBJ,FC_GASBJ,FC_GBJ,FC_CBJ),它们分别混合同一类搜索策略中不同算法...
解空间搜索是约束求解的关键环节.目前较为常用的搜索算法一般是基于二元约束或单一搜索策略设计的.本文设计了六个基于多元约束的混合搜索算法(BM_GASBJ,BM_GBJ,BM_CBJ,FC_GASBJ,FC_GBJ,FC_CBJ),它们分别混合同一类搜索策略中不同算法或不同类搜索策略;分析并给出了不同混合算法的性能差异.系统测试结果表明混合搜索算法明显提高了解搜索效率和约束求解系统的性能.
展开更多
关键词
搜索
约束满足问题
约束求解
多元约束
在线阅读
下载PDF
职称材料
题名
基于CSP的配电网大面积断电供电恢复模型和算法
被引量：
20
1
作者
刘栋
陈允平
沈广
樊友平
徐箭
机构
武汉大学电气工程学院
出处
《电力系统自动化》
EI
CSCD
北大核心
2006年第10期28-32,共5页
基金
国家自然科学基金资助项目(50477018)湖北省自然科学基金资助项目(2005ABA289)
文摘
当配电网中发生大规模停电事故时,必须尽快制定供电恢复计划。文中建立了供电恢复的约束满足问题(CSP)模型。配电网恢复中的各种因素被表示为CSP模型中的变量、约束和目标。为提高在线计算速度,与故障模式无关的计算量被转移到离线方式下进行。同时,为提高求解效率,对解空间进行排序,使给定的目标函数对单个变量具有局部单调性。使用回溯算法对目标函数进行优化。算例结果证明了所提出的方法的可行性和优越性。
关键词
配电网
供电恢复
约束满足问题
二元约束满足问题
回溯算法
Keywords
distribution network
service restoration
constraint
satisfaction
problem
binary
CSP
backtracking algorithm
分类号
TM74 [电气工程—电力系统及自动化]
在线阅读
下载PDF
职称材料
题名
非二元约束满足问题求解
被引量：
16
2
作者
孙吉贵
景沈艳
机构
吉林大学计算机科学与技术学院
吉林大学符号计算与知识工程教育部重点实验室
复旦大学智能信息处理开放实验室
出处
《计算机学报》
EI
CSCD
北大核心
2003年第12期1746-1752,共7页
基金
国家自然科学基金 (60 0 730 39
60 2 730 80 )
+1 种基金
吉林省科技发展计划(2 0 0 2 0 30 6)
吉林大学创新基金资助
文摘
在约束满足问题 (CSP)的研究中 ,大部分工作集中在二元约束 ,但处理实际问题时 ,常常会遇到非二元约束的情况 .该文在概要地讨论了两类求解非二元约束问题方法的基础上 ,研究了一种将约束传播技术和一般弧相容回溯算法相结合的非二元约束求解方法 ,并在设计开发的约束求解工具“明月SOLVER1.0”中实现了该方法 ,以典型例子给出了实现系统的运行结果 .
关键词
非二元约束满足问题
对偶图法
隐藏变量法
启发式搜索算法
Keywords
constraint
satisfaction
problem
s
non-
binary
CSPs solving
constraint
propagation
arc consistency
forward checking
分类号
O224 [理学—运筹学与控制论]
在线阅读
下载PDF
职称材料
题名
约束满足问题求解的符号OBDD桶消元算法
被引量：
4
3
作者
徐周波
古天龙
常亮
李凤英
机构
西安电子科技大学电子工程学院
桂林电子科技大学计算机科学与工程学院
出处
《计算机科学》
CSCD
北大核心
2011年第7期200-202,219,共4页
基金
国家自然科学基金(60963010
60903079
+1 种基金
61063002)
广西自然科学基金重点项目(0832006Z)资助
文摘
桶消元算法是求解约束满足问题的一种典型推理方法。针对桶消元算法面临的状态空间爆炸问题,将有序二叉决策图(OBDD)技术与该算法结合起来,给出了约束满足问题的一种求解算法。通过对约束满足问题中变量和域值的编码,将CSP问题转化为命题可满足性问题,给出了约束满足问题的OBDD表示方法;基于桶消元的算法思想,在约束满足问题的OBDD表示的基础上,利用OBDD的"与"操作和"量化"操作等,避免了传统算法中状态的显式枚举,隐式地实现了对CSP的求解。对大量随机生成的测试用例进行了实验分析,结果表明提出的符号算法明显优于桶消元法和符号直接求解法。
关键词
约束满足问题
符号算法
桶消元
有序二叉决策图(OBDD)
Keywords
constraint
satisfaction
problem
Symbolic algorithm
Bucket elimination
Ordered
binary
decision diagram（OBDD）
分类号
TP301.6 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
稀疏二元约束满足问题的环割集粒子群算法(英文)
被引量：
1
4
作者
杨轻云
孙吉贵
张居阳
王纯杰
机构
吉林大学计算机科学与技术学院
吉林大学符号计算与知识工程教育部重点实验室
复旦大学智能信息处理开放实验室
长春工业大学基础科学学院
出处
《广西师范大学学报（自然科学版）》
CAS
北大核心
2006年第4期135-138,共4页
基金
National Natural Science Foundation of China (60273080,60473003)
The Outstanding Youth Foun-dation of Jilin Province of China (20030107)
文摘
提出了一个基于环割集的粒子群算法求解稀疏二元约束满足问题,把环割集和粒子群算法结合在一起,利用环割集减少粒子群算法中粒子的维数。用随机的稀疏二元约束满足问题进行实验,结果表明改进后的粒子群算法是有效的,迭代次数约为原算法的十分之一,运行时间比原算法运行时间少约7倍。
关键词
二元约束满足问题
粒子群算法
环割集
弧相容
Keywords
binary constraint satisfaction problem （bcsp）
particle swarm
cycle-cutset
arc consistency
分类号
TP301.6 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
装配序列规划问题的CSP模型及其符号OBDD求解技术
被引量：
8
5
作者
徐周波
古天龙
机构
西安电子科技大学电子工程学院
桂林电子科技大学计算机学院
出处
《计算机辅助设计与图形学学报》
EI
CSCD
北大核心
2010年第5期803-810,共8页
基金
国家自然科学基金(60963010
60903079)
文摘
完全、正确的可行装配序列的表示和生成是装配序列评价、优化和选择的前提,为此建立了单调非线性装配意义下的可行装配序列规划问题的约束满足问题(CSP)模型,并给出了基于有序二叉决策图(OBDD)的符号求解算法.首先以装配联接图和移动向量函数为装配体模型,给出了装配联接图模型的共享二叉决策图(SBDD)表示、移动向量函数的OBDD表示,以及装配序列规划问题的CSP描述;然后将生成所有可行装配序列的问题转化为对CSP求解所有可能解的问题,利用回溯算法对CSP问题进行符号OBDD求解,得到了满足几何可行性约束的所有可行装配序列.最后通过装配体实验验证了基于CSP模型和OBDD推理的装配序列生成技术的正确性和可行性.
关键词
装配序列生成
装配联接图
约束满足问题
有序二叉决策图
Keywords
assembly sequences generation
assembly liaison graph
constraint
satisfaction
problem
ordered
binary
decision diagram
分类号
TP391 [自动化与计算机技术—计算机应用技术]
在线阅读
下载PDF
职称材料
题名
基于值序的二元约束满足问题粒子群算法
被引量：
2
6
作者
杨轻云
孙吉贵
张居阳
王纯杰
机构
吉林大学计算机科学与技术学院
复旦大学智能信息处理开放实验室
长春工业大学基础科学学院
出处
《计算机工程》
EI
CAS
CSCD
北大核心
2006年第17期57-59,共3页
基金
国家自然科学基金资助项目(60273080
60473003)
吉林省杰出青年基金资助项目(20030107)
文摘
提出了一个基于最小冲突启发式值序的二元约束满足问题粒子群算法,利用值序对值的选取方式代替随机选择的盲目搜索方式,使群体在探索解空间的时候,选择有希望能找到全局解的地方搜索。使用随机约束满足问题的实验表明,改进后的算法比原算法能以更快的速度收敛到全局解,无论在迭代次数还是运行时间上均能数倍提高算法的效率。
关键词
粒子群算法
二元约束满足问题
最小冲突启发式
值序
Keywords
Particle swarm
binary
constraint
satisfaction
problem
Mini mizing conflicts heuristic
Value order
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
基于非二元约束满足的配置问题求解方法
被引量：
3
7
作者
单汨源
袁际军
机构
湖南大学工商管理学院
出处
《计算机工程》
CAS
CSCD
北大核心
2008年第7期205-208,共4页
基金
国家自然科学基金资助项目(70671037)
高等学校博士学科点专项科研基金资助项目(20050532005)
文摘
依据产品的可配置性,提出基于非二元约束的逻辑产品模型,给出基于动态变量序的一类配置求解算法。采用仿真实验比较各种算法的求解效率,指出各算法在不同配置约束密度下快速求解配置问题时的适用范围。基于逻辑产品模型,依据配置问题实际性质,采用相应配置求解算法,能够更快地生成符合客户要求的产品配置方案。
关键词
大规模定制
逻辑产品模型
产品配置
非二元约束满足问题
Keywords
mass customization
logical product model
product configuration
non-
binary
constraint
satisfaction
problem
分类号
TP181 [自动化与计算机技术—控制理论与控制工程]
在线阅读
下载PDF
职称材料
题名
非二元条件约束满足问题求解
被引量：
2
8
作者
袁际军
黄敏镁
机构
广东财经大学金融学院
华南师范大学管理科学系
出处
《计算机集成制造系统》
EI
CSCD
北大核心
2014年第3期636-651,共16页
基金
国家自然科学基金资助项目(71272084
71102146)
+2 种基金
教育部人文社会科学研究青年基金资助项目(12YJC630278)
广东省普通高校人文社科研究资助项目(2012LYM_0065)
广东商学院校级一般资助项目(11YB63001)~~
文摘
非二元条件约束满足问题是二元条件约束满足问题的泛化。给出了非二元条件约束满足问题模型;针对求解过程中激活性约束引起的变量空间变化,分别采用"后看"策略和嵌入不同程度非二元弧一致性的"前看"策略思想,提出一种非二元条件回溯算法和两种非二元条件前向检查算法,以有效处理约束维数的非二元性及变量依条件参与求解的动态性等问题;分析了三种算法最坏情况下的时间复杂性;通过随机生成的测试实例仿真实验比较了三种算法的求解性能。实验结果表明:在处理难问题时,两种非二元条件前向检查算法的性能均显著优于非二元条件回溯算法;而在分别处理中小规模低动态性特征与大规模高动态性特征问题时,两种非二元条件前向检查算法性能存在显著差异。
关键词
非二元条件约束满足问题
非二元条件回溯算法
非二元条件前向检查算法
非二元弧一致性
Keywords
non-
binary
conditional
constraint
satisfaction
problem
non-
binary
conditional backtracking algorithm
non-
binary
conditional forward checking algorithm
non-
binary
arc consistency
分类号
TP18 [自动化与计算机技术—控制理论与控制工程]
在线阅读
下载PDF
职称材料
题名
基于关联约束非二元弧一致性的约束满足问题求解
被引量：
1
9
作者
袁际军
单汨源
王克喜
机构
湖南大学工商管理学院
出处
《计算机科学》
CSCD
北大核心
2008年第5期158-162,共5页
基金
国家自然科学基金项目(70671037)
高等学校博士学科点专项科研基金项目(20050532005)
文摘
弧一致性算法在二元约束满足问题中取得了成功的应用,但并不能被有效泛化至预处理非二元约束满足问题(NCSP)。本文提出了处理NCSP的关联约束非二元弧一致性算法。通过随机NCSP生成器产生问题实例,分别采用关联约束非二元孤一致性算法和非二元孤一致性算法进行预处理,并对预处理后的问题实例应用回溯算法进行求解。对比分析采用两种预处理算法和不采用预处理下回溯算法的求解性能,仿真实验结果表明关联约束非二元孤一致性算法可以有效地别除冗余的约束元组和变量域值,使关联约束非二元弧一致性回溯算法具有更良好的鲁棒性。
关键词
非二元约束满足问题
回溯算法
关联约束非二元弧一致性
随机NCSP生成器
Keywords
Non-
binary
constraint
satisfaction
problem
, Backtracking, Associated
constraint
based non-
binary
arc-con-sistency, Random NCSP generator
分类号
TP18 [自动化与计算机技术—控制理论与控制工程]
TB21 [一般工业技术—工程设计测绘]
在线阅读
下载PDF
职称材料
题名
多元约束混合搜索算法研究
10
作者
孙吉贵
张居阳
陈尚伟
机构
吉林大学计算机科学与技术学院
出处
《自动化学报》
EI
CSCD
北大核心
2007年第9期974-978,共5页
基金
国家自然科学基金(60473003)
教育部"新世纪优秀人才支持计划"
吉林省杰出青年基金(20030107)资助
文摘
解空间搜索是约束求解的关键环节.目前较为常用的搜索算法一般是基于二元约束或单一搜索策略设计的.本文设计了六个基于多元约束的混合搜索算法(BM_GASBJ,BM_GBJ,BM_CBJ,FC_GASBJ,FC_GBJ,FC_CBJ),它们分别混合同一类搜索策略中不同算法或不同类搜索策略;分析并给出了不同混合算法的性能差异.系统测试结果表明混合搜索算法明显提高了解搜索效率和约束求解系统的性能.
关键词
搜索
约束满足问题
约束求解
多元约束
Keywords
Search,
constraint
satisfaction
problem
,
constraint
solving, non-
binary
constraint
分类号
TP301.6 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于CSP的配电网大面积断电供电恢复模型和算法
刘栋
陈允平
沈广
樊友平
徐箭
《电力系统自动化》
EI
CSCD
北大核心
2006
20
在线阅读
下载PDF
职称材料
2
非二元约束满足问题求解
孙吉贵
景沈艳
《计算机学报》
EI
CSCD
北大核心
2003
16
在线阅读
下载PDF
职称材料
3
约束满足问题求解的符号OBDD桶消元算法
徐周波
古天龙
常亮
李凤英
《计算机科学》
CSCD
北大核心
2011
4
在线阅读
下载PDF
职称材料
4
稀疏二元约束满足问题的环割集粒子群算法(英文)
杨轻云
孙吉贵
张居阳
王纯杰
《广西师范大学学报（自然科学版）》
CAS
北大核心
2006
1
在线阅读
下载PDF
职称材料
5
装配序列规划问题的CSP模型及其符号OBDD求解技术
徐周波
古天龙
《计算机辅助设计与图形学学报》
EI
CSCD
北大核心
2010
8
在线阅读
下载PDF
职称材料
6
基于值序的二元约束满足问题粒子群算法
杨轻云
孙吉贵
张居阳
王纯杰
《计算机工程》
EI
CAS
CSCD
北大核心
2006
2
在线阅读
下载PDF
职称材料
7
基于非二元约束满足的配置问题求解方法
单汨源
袁际军
《计算机工程》
CAS
CSCD
北大核心
2008
3
在线阅读
下载PDF
职称材料
8
非二元条件约束满足问题求解
袁际军
黄敏镁
《计算机集成制造系统》
EI
CSCD
北大核心
2014
2
在线阅读
下载PDF
职称材料
9
基于关联约束非二元弧一致性的约束满足问题求解
袁际军
单汨源
王克喜
《计算机科学》
CSCD
北大核心
2008
1
在线阅读
下载PDF
职称材料
10
多元约束混合搜索算法研究
孙吉贵
张居阳
陈尚伟
《自动化学报》
EI
CSCD
北大核心
2007
0
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
