期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
3
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于关联约束非二元弧一致性的约束满足问题求解
被引量:
1
1
作者
袁际军
单汨源
王克喜
《计算机科学》
CSCD
北大核心
2008年第5期158-162,共5页
弧一致性算法在二元约束满足问题中取得了成功的应用,但并不能被有效泛化至预处理非二元约束满足问题(NCSP)。本文提出了处理NCSP的关联约束非二元弧一致性算法。通过随机NCSP生成器产生问题实例,分别采用关联约束非二元孤一致性算法和...
弧一致性算法在二元约束满足问题中取得了成功的应用,但并不能被有效泛化至预处理非二元约束满足问题(NCSP)。本文提出了处理NCSP的关联约束非二元弧一致性算法。通过随机NCSP生成器产生问题实例,分别采用关联约束非二元孤一致性算法和非二元孤一致性算法进行预处理,并对预处理后的问题实例应用回溯算法进行求解。对比分析采用两种预处理算法和不采用预处理下回溯算法的求解性能,仿真实验结果表明关联约束非二元孤一致性算法可以有效地别除冗余的约束元组和变量域值,使关联约束非二元弧一致性回溯算法具有更良好的鲁棒性。
展开更多
关键词
非
二元
约束满足问题
回溯算法
关联约束
非二元弧一致
性
随机NCSP生成器
下载PDF
职称材料
非二元条件约束满足问题求解
被引量:
2
2
作者
袁际军
黄敏镁
《计算机集成制造系统》
EI
CSCD
北大核心
2014年第3期636-651,共16页
非二元条件约束满足问题是二元条件约束满足问题的泛化。给出了非二元条件约束满足问题模型;针对求解过程中激活性约束引起的变量空间变化,分别采用"后看"策略和嵌入不同程度非二元弧一致性的"前看"策略思想,提出...
非二元条件约束满足问题是二元条件约束满足问题的泛化。给出了非二元条件约束满足问题模型;针对求解过程中激活性约束引起的变量空间变化,分别采用"后看"策略和嵌入不同程度非二元弧一致性的"前看"策略思想,提出一种非二元条件回溯算法和两种非二元条件前向检查算法,以有效处理约束维数的非二元性及变量依条件参与求解的动态性等问题;分析了三种算法最坏情况下的时间复杂性;通过随机生成的测试实例仿真实验比较了三种算法的求解性能。实验结果表明:在处理难问题时,两种非二元条件前向检查算法的性能均显著优于非二元条件回溯算法;而在分别处理中小规模低动态性特征与大规模高动态性特征问题时,两种非二元条件前向检查算法性能存在显著差异。
展开更多
关键词
非
二元
条件约束满足问题
非
二元
条件回溯算法
非
二元
条件前向检查算法
非二元弧一致
性
下载PDF
职称材料
面向产品族配置的约束网络模型及配置方法
被引量:
1
3
作者
董元发
郭钢
+1 位作者
付豪
孙敏
《重庆大学学报(自然科学版)》
EI
CAS
CSCD
北大核心
2012年第3期33-39,共7页
针对面向产品族的产品配置问题,建立了客户需求族模型,引入了需求元与配置元的概念;构建了需求元与配置元之间以及配置元与配置元之间基于特征属性匹配的约束网络模型。按需求元权重依次进行约束传播,通过预处理技术缩小与需求元有约束...
针对面向产品族的产品配置问题,建立了客户需求族模型,引入了需求元与配置元的概念;构建了需求元与配置元之间以及配置元与配置元之间基于特征属性匹配的约束网络模型。按需求元权重依次进行约束传播,通过预处理技术缩小与需求元有约束关系的配置元值域空间,减小了配置求解的搜索空间,采用非二元弧一致回溯算法对于未确定的配置元进行约束求解,得到满足客户需求的配置结果集。以某底盘产品的配置设计实例验证了该方法的有效性。
展开更多
关键词
产品配置
客户需求族
需求元
配置元
谓词逻辑
约束网络
非二元弧一致
下载PDF
职称材料
题名
基于关联约束非二元弧一致性的约束满足问题求解
被引量:
1
1
作者
袁际军
单汨源
王克喜
机构
湖南大学工商管理学院
出处
《计算机科学》
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
职称材料
题名
非二元条件约束满足问题求解
被引量:
2
2
作者
袁际军
黄敏镁
机构
广东财经大学金融学院
华南师范大学管理科学系
出处
《计算机集成制造系统》
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
3
作者
董元发
郭钢
付豪
孙敏
机构
重庆大学机械工程学院
中国嘉陵工业股份有限公司(集团)
出处
《重庆大学学报(自然科学版)》
EI
CAS
CSCD
北大核心
2012年第3期33-39,共7页
基金
国家科技支撑计划项目(2006BAF01A41)
国家863/CIMS主题资助项目(2007AA04Z1B1)
文摘
针对面向产品族的产品配置问题,建立了客户需求族模型,引入了需求元与配置元的概念;构建了需求元与配置元之间以及配置元与配置元之间基于特征属性匹配的约束网络模型。按需求元权重依次进行约束传播,通过预处理技术缩小与需求元有约束关系的配置元值域空间,减小了配置求解的搜索空间,采用非二元弧一致回溯算法对于未确定的配置元进行约束求解,得到满足客户需求的配置结果集。以某底盘产品的配置设计实例验证了该方法的有效性。
关键词
产品配置
客户需求族
需求元
配置元
谓词逻辑
约束网络
非二元弧一致
Keywords
product configuration
customer requirement family
requirement element
configuration element
predicate logic
constraint network
non-binary uniformity
分类号
TP391 [自动化与计算机技术—计算机应用技术]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于关联约束非二元弧一致性的约束满足问题求解
袁际军
单汨源
王克喜
《计算机科学》
CSCD
北大核心
2008
1
下载PDF
职称材料
2
非二元条件约束满足问题求解
袁际军
黄敏镁
《计算机集成制造系统》
EI
CSCD
北大核心
2014
2
下载PDF
职称材料
3
面向产品族配置的约束网络模型及配置方法
董元发
郭钢
付豪
孙敏
《重庆大学学报(自然科学版)》
EI
CAS
CSCD
北大核心
2012
1
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部