检索结果-维普期刊中文期刊服务平台

一个基于最小冲突修补的动态约束满足求解算法被引量：12: 1; 作者孙吉贵高健张永刚《计算机研究与发展》 EI CSCD 北大核心 2007年第12期2078-2084,共7页; 约束满足问题是人工智能中一个重要的研究方向,近年来,对动态变化的约束满足问题的研究逐渐成为该领域的热点.在目前该领域最流行的LC算法基础上,引入禁忌搜索策略,提出了一个基于最小冲突修补的算法Tabu-LC.算法在每次冲突调整时将所... 展开更多; 关键词最小冲突修补动态约束满足问题禁忌搜索分支定界解重用; 在线阅读下载PDF 职称材料

基于动态约束满足框架的强表达时态规划算法被引量：3: 2; 作者刘越畅《计算机科学》 CSCD 北大核心 2012年第6期226-230,共5页; 智能规划已经成为人工智能领域最热门的研究主题之一。近年来,智能规划在现实领域的应用越来越广泛,这对规划器的处理能力和效率提出了很大的挑战。以一类强表达时态规划——基于约束区间规划为研究对象,基于动态约束满足框架设计和实... 展开更多; 关键词智能规划强表达时态规划动态约束满足问题算法; 在线阅读下载PDF 职称材料

面向对象的产品配置建模及约束推理研究被引量：9: 3; 作者周义廷杨东伍宏伟《计算机集成制造系统》 EI CSCD 北大核心 2009年第4期652-660,共9页; 为了高效地开发产品配置系统,有效解决配置问题,提出了结合面向对象的建模技术和动态约束满足问题的配置方法。首先采用面向对象技术建立了可重用、可共享的配置模型,以表达领域知识,然后将配置模型映射成为动态约束满足问题,从而通过... 展开更多; 关键词产品配置面向对象建模动态约束满足问题统一建模语言大规模定制; 在线阅读下载PDF 职称材料

面向产品设计的BOM配置研究被引量：2: 4; 作者曾富洪周丹郭刚《中国机械工程》 EI CAS CSCD 北大核心 2010年第20期2468-2474,共7页; 为了将产品自动配置技术有效融入产品开发之中,从而提高产品的开发效率,提出了BOM知识体(KBOM)的理念,并建立了基于KBOM的可重用、可共享的产品配置模型,以表达领域知识;然后将配置模型映射成为动态约束满足问题(DSCP),进而设计了将回... 展开更多; 关键词 BOM知识体 BOM BOM配置动态约束满足问题; 在线阅读下载PDF 职称材料

题名一个基于最小冲突修补的动态约束满足求解算法被引量：12: 1; 作者孙吉贵高健张永刚; 机构吉林大学计算机科学与技术学院吉林大学符号计算与知识工程教育部重点实验室; 出处《计算机研究与发展》 EI CSCD 北大核心 2007年第12期2078-2084,共7页; 基金国家自然科学基金项目(60473003) 教育部博士点基金项目(20050183065) 教育部新世纪优秀人才支持计划基金项目~~; 文摘约束满足问题是人工智能中一个重要的研究方向,近年来,对动态变化的约束满足问题的研究逐渐成为该领域的热点.在目前该领域最流行的LC算法基础上,引入禁忌搜索策略,提出了一个基于最小冲突修补的算法Tabu-LC.算法在每次冲突调整时将所有冲突变量看成一个整体,并采用分支定界搜索策略求解冲突变量组成的子问题,极大地提高了求解效率.同时,在约束求解系统"明月1.0"架构下给出了算法的具体实现,并针对大量随机问题进行了对比实验.结果表明,Tabu-LC算法在求解效率和解的质量上都明显优于LC算法.; 关键词最小冲突修补动态约束满足问题禁忌搜索分支定界解重用; Keywords mini-conflict repair dynamic CSPs tabu search branch-and-bound solution reuse; 分类号 TP18 [自动化与计算机技术—控制理论与控制工程]; 在线阅读下载PDF 职称材料

题名基于动态约束满足框架的强表达时态规划算法被引量：3: 2; 作者刘越畅; 机构嘉应学院计算机学院; 出处《计算机科学》 CSCD 北大核心 2012年第6期226-230,共5页; 基金梅州市科学技术局梅州市科技计划项目(梅市科(2011)3号) +1 种基金嘉应学院科研启动经费项目资助; 文摘智能规划已经成为人工智能领域最热门的研究主题之一。近年来,智能规划在现实领域的应用越来越广泛,这对规划器的处理能力和效率提出了很大的挑战。以一类强表达时态规划——基于约束区间规划为研究对象,基于动态约束满足框架设计和实现了一个基于约束区间的规划算法LP-TPOP;对算法的可靠性和完备性进行了证明;最后以一个规划实例演示了算法的运行过程。; 关键词智能规划强表达时态规划动态约束满足问题算法; Keywords AI planning Expressive temporal planning Dynamic constraint satisfaction problem Algorithm; 分类号 TP181 [自动化与计算机技术—控制理论与控制工程]; 在线阅读下载PDF 职称材料

题名面向对象的产品配置建模及约束推理研究被引量：9: 3; 作者周义廷杨东伍宏伟; 机构上海交通大学工业工程与物流管理系; 出处《计算机集成制造系统》 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 职称材料

题名面向产品设计的BOM配置研究被引量：2: 4; 作者曾富洪周丹郭刚; 机构攀枝花学院重庆大学; 出处《中国机械工程》 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 北大核心	2007	12	在线阅读下载PDF 职称材料
2	基于动态约束满足框架的强表达时态规划算法	刘越畅	《计算机科学》 CSCD 北大核心	2012	3	在线阅读下载PDF 职称材料
3	面向对象的产品配置建模及约束推理研究	周义廷杨东伍宏伟	《计算机集成制造系统》 EI CSCD 北大核心	2009	9	在线阅读下载PDF 职称材料
4	面向产品设计的BOM配置研究	曾富洪周丹郭刚	《中国机械工程》 EI CAS CSCD 北大核心	2010	2	在线阅读下载PDF 职称材料