期刊导航
期刊开放获取
cqvip
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
3
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
面向对象的产品配置建模及约束推理研究
被引量：
8
1
作者
周义廷
杨东
伍宏伟
《计算机集成制造系统》
EI
CSCD
北大核心
2009年第4期652-660,共9页
为了高效地开发产品配置系统,有效解决配置问题,提出了结合面向对象的建模技术和动态约束满足问题的配置方法。首先采用面向对象技术建立了可重用、可共享的配置模型,以表达领域知识,然后将配置模型映射成为动态约束满足问题,从而通过...
为了高效地开发产品配置系统,有效解决配置问题,提出了结合面向对象的建模技术和动态约束满足问题的配置方法。首先采用面向对象技术建立了可重用、可共享的配置模型,以表达领域知识,然后将配置模型映射成为动态约束满足问题,从而通过约束推理的方式实现了配置问题的最终求解。在从配置模型到动态约束满足问题的映射阶段,给出了映射规则集;在求解阶段,设计了扩展的回溯算法,并给出了算法的求解步骤。最后,以国内某客车公司的客车配置为应用实例,阐述了配置模型的建立过程,验证了扩展的回溯算法的可行性和有效性。
展开更多
关键词
产品配置
面向对象建模
动态约束满足问题
统一建模语言
大规模定制
下载PDF
职称材料
基于动态约束满足框架的强表达时态规划算法
被引量：
3
2
作者
刘越畅
《计算机科学》
CSCD
北大核心
2012年第6期226-230,共5页
智能规划已经成为人工智能领域最热门的研究主题之一。近年来,智能规划在现实领域的应用越来越广泛,这对规划器的处理能力和效率提出了很大的挑战。以一类强表达时态规划——基于约束区间规划为研究对象,基于动态约束满足框架设计和实...
智能规划已经成为人工智能领域最热门的研究主题之一。近年来,智能规划在现实领域的应用越来越广泛,这对规划器的处理能力和效率提出了很大的挑战。以一类强表达时态规划——基于约束区间规划为研究对象,基于动态约束满足框架设计和实现了一个基于约束区间的规划算法LP-TPOP;对算法的可靠性和完备性进行了证明;最后以一个规划实例演示了算法的运行过程。
展开更多
关键词
智能规划
强表达时态规划
动态约束满足问题
算法
下载PDF
职称材料
面向产品设计的BOM配置研究
被引量：
2
3
作者
曾富洪
周丹
郭刚
《中国机械工程》
EI
CAS
CSCD
北大核心
2010年第20期2468-2474,共7页
为了将产品自动配置技术有效融入产品开发之中,从而提高产品的开发效率,提出了BOM知识体(KBOM)的理念,并建立了基于KBOM的可重用、可共享的产品配置模型,以表达领域知识;然后将配置模型映射成为动态约束满足问题(DSCP),进而设计了将回...
为了将产品自动配置技术有效融入产品开发之中,从而提高产品的开发效率,提出了BOM知识体(KBOM)的理念,并建立了基于KBOM的可重用、可共享的产品配置模型,以表达领域知识;然后将配置模型映射成为动态约束满足问题(DSCP),进而设计了将回溯法、优选法和最邻近相似匹配法融入其中的分级遍历算法来求解DSCP,并给出了算法的实现流程;最后,以某企业的齿轮泵设计为应用实例,验证了所述方法的可行性和有效性。
展开更多
关键词
BOM知识体
BOM
BOM配置
动态约束满足问题
下载PDF
职称材料
题名
面向对象的产品配置建模及约束推理研究
被引量：
8
1
作者
周义廷
杨东
伍宏伟
机构
上海交通大学工业工程与物流管理系
出处
《计算机集成制造系统》
EI
CSCD
北大核心
2009年第4期652-660,共9页
基金
国家自然科学基金资助项目(70471023
60374071)~~
文摘
为了高效地开发产品配置系统,有效解决配置问题,提出了结合面向对象的建模技术和动态约束满足问题的配置方法。首先采用面向对象技术建立了可重用、可共享的配置模型,以表达领域知识,然后将配置模型映射成为动态约束满足问题,从而通过约束推理的方式实现了配置问题的最终求解。在从配置模型到动态约束满足问题的映射阶段,给出了映射规则集;在求解阶段,设计了扩展的回溯算法,并给出了算法的求解步骤。最后,以国内某客车公司的客车配置为应用实例,阐述了配置模型的建立过程,验证了扩展的回溯算法的可行性和有效性。
关键词
产品配置
面向对象建模
动态约束满足问题
统一建模语言
大规模定制
Keywords
product
configuration
object-oriented
modeling
dynamic
constraint
satisfaction
problem
unified
modeling
language
mass
customization
分类号
TP31 [自动化与计算机技术—计算机软件与理论]
TH16 [自动化与计算机技术—计算机科学与技术]
下载PDF
职称材料
题名
基于动态约束满足框架的强表达时态规划算法
被引量：
3
2
作者
刘越畅
机构
嘉应学院计算机学院
出处
《计算机科学》
CSCD
北大核心
2012年第6期226-230,共5页
基金
梅州市科学技术局
梅州市科技计划项目(梅市科(2011)3号)
+1 种基金
嘉应学院联合自然科学研究项目(2010KJA06)
嘉应学院科研启动经费项目资助
文摘
智能规划已经成为人工智能领域最热门的研究主题之一。近年来,智能规划在现实领域的应用越来越广泛,这对规划器的处理能力和效率提出了很大的挑战。以一类强表达时态规划——基于约束区间规划为研究对象,基于动态约束满足框架设计和实现了一个基于约束区间的规划算法LP-TPOP;对算法的可靠性和完备性进行了证明;最后以一个规划实例演示了算法的运行过程。
关键词
智能规划
强表达时态规划
动态约束满足问题
算法
Keywords
AI
planning
Expressive
temporal
planning
dynamic
constraint
satisfaction
problem
Algorithm
分类号
TP181 [自动化与计算机技术—控制理论与控制工程]
下载PDF
职称材料
题名
面向产品设计的BOM配置研究
被引量：
2
3
作者
曾富洪
周丹
郭刚
机构
攀枝花学院
重庆大学
出处
《中国机械工程》
EI
CAS
CSCD
北大核心
2010年第20期2468-2474,共7页
基金
国家科技支撑计划资助项目(2006BAF01A41)
国家高技术研究发展计划(863计划)资助项目(2007AA04Z1B1)
重庆市科技攻关计划资助项目(2006AA2016)
文摘
为了将产品自动配置技术有效融入产品开发之中,从而提高产品的开发效率,提出了BOM知识体(KBOM)的理念,并建立了基于KBOM的可重用、可共享的产品配置模型,以表达领域知识;然后将配置模型映射成为动态约束满足问题(DSCP),进而设计了将回溯法、优选法和最邻近相似匹配法融入其中的分级遍历算法来求解DSCP,并给出了算法的实现流程;最后,以某企业的齿轮泵设计为应用实例,验证了所述方法的可行性和有效性。
关键词
BOM知识体
BOM
BOM配置
动态约束满足问题
Keywords
knowledge
body
based
on
BOM（KBOM）
bilt
of
material（BOM）
BOM
configuration
dynamic
constraint
satisfaction
problem
（DCSP）
分类号
TP31 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
面向对象的产品配置建模及约束推理研究
周义廷
杨东
伍宏伟
《计算机集成制造系统》
EI
CSCD
北大核心
2009
8
下载PDF
职称材料
2
基于动态约束满足框架的强表达时态规划算法
刘越畅
《计算机科学》
CSCD
北大核心
2012
3
下载PDF
职称材料
3
面向产品设计的BOM配置研究
曾富洪
周丹
郭刚
《中国机械工程》
EI
CAS
CSCD
北大核心
2010
2
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
