期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到187篇文章
< 1 2 … 10 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
基于多AGENT的虚拟企业伙伴选择系统 被引量：10
1
作者 李瑜 王昕 +2 位作者 黄必请 刘文煌 吴澄 《计算机工程与应用》 CSCD 北大核心 2000年第8期11-15,共5页
伙伴选择是虚拟企业建立过程中的核心问题。在基于多agent的虚拟企业体系结构基础上，通过本体驱动的虚拟企业目标体系描述与分解，将虚拟企业伙伴选择问题表示为分布式约束满足和优化问题，并进一步以agent谈判的方式来求解该问题，最... 伙伴选择是虚拟企业建立过程中的核心问题。在基于多agent的虚拟企业体系结构基础上，通过本体驱动的虚拟企业目标体系描述与分解，将虚拟企业伙伴选择问题表示为分布式约束满足和优化问题，并进一步以agent谈判的方式来求解该问题，最终得到优化的伙伴选择方案。本体驱动的虚拟企业目标描述与分解方法，为不同企业之间的谈判提供了通用词汇；用分布式约束满足和优化的方法对问题进行形式化描述，可以为企业之间的谈判提供论域和决策支持。分布式约束满足和优化方法的应用，为解决虚拟企业伙伴选择问题提供了一种新思路。 展开更多
关键词 虚拟企业 多AGENT系统 伙伴选择系统 企业联盟
下载PDF
基于CSP的配电网大面积断电供电恢复模型和算法 被引量：20
2
作者 刘栋 陈允平 +2 位作者 沈广 樊友平 徐箭 《电力系统自动化》 EI CSCD 北大核心 2006年第10期28-32,共5页
当配电网中发生大规模停电事故时,必须尽快制定供电恢复计划。文中建立了供电恢复的约束满足问题(CSP)模型。配电网恢复中的各种因素被表示为CSP模型中的变量、约束和目标。为提高在线计算速度,与故障模式无关的计算量被转移到离线方式... 当配电网中发生大规模停电事故时,必须尽快制定供电恢复计划。文中建立了供电恢复的约束满足问题(CSP)模型。配电网恢复中的各种因素被表示为CSP模型中的变量、约束和目标。为提高在线计算速度,与故障模式无关的计算量被转移到离线方式下进行。同时,为提高求解效率,对解空间进行排序,使给定的目标函数对单个变量具有局部单调性。使用回溯算法对目标函数进行优化。算例结果证明了所提出的方法的可行性和优越性。 展开更多
关键词 配电网 供电恢复 约束满足问题 二元约束满足问题 回溯算法
下载PDF
并行工程中基于约束的冲突检测研究 被引量：10
3
作者 朱湘毅 唐泉 +2 位作者 陈文培 严隽琪 马登哲 《机械科学与技术》 CSCD 北大核心 2000年第5期849-852,共4页
系统地分析了并行产品开发过程中检测冲突的策略 ,提出了以人为核心的非形式化方法和以约束管理工具为核心的形式化方法相结合的检测方法。之后 ,结合约束满足问题的求解技术 ,讨论了进行实时在线冲突检测的理论和方法 ,提出了改进的区... 系统地分析了并行产品开发过程中检测冲突的策略 ,提出了以人为核心的非形式化方法和以约束管理工具为核心的形式化方法相结合的检测方法。之后 ,结合约束满足问题的求解技术 ,讨论了进行实时在线冲突检测的理论和方法 ,提出了改进的区间传播算法 ,并结合油泵产品开发过程中的具体设计问题 ,给出了区间传播算法的算例 ,证明该算法用于检测冲突还是非常有效的。最后给出了该方法在“并行工程关键技术研究”项目中的应用。 展开更多
关键词 冲突检测 约束 区间传播算法 并行工具 油泵
下载PDF
最大度二元约束满足问题粒子群算法 被引量：19
4
作者 杨轻云 孙吉贵 张居阳 《计算机研究与发展》 EI CSCD 北大核心 2006年第3期436-441,共6页
约束满足问题是人工智能的一个重要研究领域,使用粒子群搜索算法来求解约束满足问题逐渐受到人们的重视.把变量的最大度静态变量序关系引入到评估函数中,区别对待每个变量,通过静态变量序关系改变适应度函数,从而影响算法对最优粒子的选... 约束满足问题是人工智能的一个重要研究领域,使用粒子群搜索算法来求解约束满足问题逐渐受到人们的重视.把变量的最大度静态变量序关系引入到评估函数中,区别对待每个变量,通过静态变量序关系改变适应度函数,从而影响算法对最优粒子的选择.使用随机约束满足问题实验表明,改进后的算法比原算法具有更好的搜索能力,能以更快的速度收敛到全局解. 展开更多
关键词 粒子群 约束满足问题 适应度 最大度变量序
下载PDF
基于约束满足问题的产品配置方法 被引量：11
5
作者 李伟 张孟青 刘光复 《农业机械学报》 EI CAS CSCD 北大核心 2005年第7期126-130,共5页
提出了一种基于约束满足问题(constraintsatisfactionproblem,简称CSP)的产品配置方法,论证了基于CSP的产品配置方法能够很好地表示产品配置问题,同时具有良好的适应性和通用性。以某型叉车门架管路系统为例进行了基于CSP的仿真配置并... 提出了一种基于约束满足问题(constraintsatisfactionproblem,简称CSP)的产品配置方法,论证了基于CSP的产品配置方法能够很好地表示产品配置问题,同时具有良好的适应性和通用性。以某型叉车门架管路系统为例进行了基于CSP的仿真配置并分析了配置的过程,根据配置结果,基于CSP的产品配置方法能够实现准确、有效的产品配置。 展开更多
关键词 产品配置 约束满足问题 适应性
下载PDF
生产调度的一种启发式规则 被引量：10
6
作者 王家 《清华大学学报（自然科学版）》 EI CAS CSCD 北大核心 1995年第5期27-32,共6页
本文提出一种先进的生产调度启发式规则。希望新规则优于常用的简单规则，但不花费太多时间。首先定义了一类生产调度问题，作为特殊的约束满足问题。它的求解过程使用“尽可能早”策略，约束组合，以及启发式规则。通过分析拖期时间和... 本文提出一种先进的生产调度启发式规则。希望新规则优于常用的简单规则，但不花费太多时间。首先定义了一类生产调度问题，作为特殊的约束满足问题。它的求解过程使用“尽可能早”策略，约束组合，以及启发式规则。通过分析拖期时间和两个作业调度决策间的关系，得到了新规则。它是局部最优的，其计算量不大。实验表明，对于使拖期时间最少，新规则确实优于简单规则。 展开更多
关键词 生产调度 约束满足问题 启发式规划 排序
原文传递
约束满足问题求解及ILOG SOLVER系统简介 被引量：15
7
作者 姜英新 孙吉贵 《吉林大学学报（理学版）》 CAS CSCD 北大核心 2002年第1期53-60,共8页
首先综述求解约束满足问题的基本算法和搜索策略 ,然后介绍ILOGSOLVER求解系统提供的类和函数的基本组成 。
关键词 约束满足问题 约束求解 搜索策略 ILOG SOLVER系统 预测策略 排序策略
下载PDF
基于约束的旅游推荐系统的研究与设计 被引量：16
8
作者 王显飞 陈梅 李小天 《计算机技术与发展》 2012年第2期141-145,共5页
针对旅游领域的特点和传统推荐技术的应用局限性,提出一种基于约束的旅游推荐系统的设计方案,并对系统的推荐引擎进行了详细设计。系统通过可视化的知识获取工具高效地获取旅游领域知识、推荐规则、个性化规则等知识,使用交互&个性... 针对旅游领域的特点和传统推荐技术的应用局限性,提出一种基于约束的旅游推荐系统的设计方案,并对系统的推荐引擎进行了详细设计。系统通过可视化的知识获取工具高效地获取旅游领域知识、推荐规则、个性化规则等知识,使用交互&个性化代理以会话式的交互方式逐步地启发用户的偏好和需要,利用多属性效用理论对推荐结果进行排序。相比传统的推荐方法,利用基于约束的推荐技术,能够为用户提供更加准确、个性化的旅游推荐服务。 展开更多
关键词 旅游推荐系统 基于约束的推荐 约束满足问题 个性化
下载PDF
一种基于约束满足问题的产品配置方法 被引量：5
9
作者 李伟 刘光复 张孟青 《成组技术与生产现代化》 2004年第2期50-54,共5页
提出了采用约束满足问题CSP来表示和求解产品配置问题,给出了基于CSP的产品配置方法和求解非二维CSP的前向传播算法nFC,并与基于规则的配置方法相比较,分析了基于CSP的配置方法在配置知识的表示、配置问题的知识推理和配置知识的演化与... 提出了采用约束满足问题CSP来表示和求解产品配置问题,给出了基于CSP的产品配置方法和求解非二维CSP的前向传播算法nFC,并与基于规则的配置方法相比较,分析了基于CSP的配置方法在配置知识的表示、配置问题的知识推理和配置知识的演化与维护上的特点,最后进行了仿真验证. 展开更多
关键词 约束满足问题 产品配置 知识表示 推理
下载PDF
并行工程中时间约束网络建立及冲突检测研究 被引量：9
10
作者 徐文胜 熊光楞 肖田元 《系统仿真学报》 CAS CSCD 2003年第2期185-189,197,共6页
由于并行工程产品开发过程的复杂性,产品开发过程中存在着大量的时间约束关系,因时间约束关系的违反而造成的过程冲突极易发生。本文提出一种以IDEF3过程模型为基础建立并行工程产品开发过程的时间约束网络的方法,在将该时间约束网络转... 由于并行工程产品开发过程的复杂性,产品开发过程中存在着大量的时间约束关系,因时间约束关系的违反而造成的过程冲突极易发生。本文提出一种以IDEF3过程模型为基础建立并行工程产品开发过程的时间约束网络的方法,在将该时间约束网络转化为定量时间约束网络的基础上,提出一种面向定量时间约束网络的冲突检测的方法。基于时间约束网络的冲突检测方法能有效发现并行工程产品开发过程中的过程冲突。 展开更多
关键词 并行工程 时间约束网络 冲突检测 约束满足问题 冲突管理
下载PDF
基于约束的协同设计冲突检测技术研究 被引量：9
11
作者 孟秀丽 易红 +1 位作者 倪中华 刘英 《计算机集成制造系统》 EI CSCD 北大核心 2004年第11期1426-1432,共7页
为了有效地辅助设计人员及时发现冲突并适时提供有效的冲突解决方案,分析了协同设计中约束的内涵及其动态性和层次性等特点,对约束满足问题进行了形式化表达。采用遗传算法作为协同设计过程中约束满足问题的求解方法,给出了该算法的具... 为了有效地辅助设计人员及时发现冲突并适时提供有效的冲突解决方案,分析了协同设计中约束的内涵及其动态性和层次性等特点,对约束满足问题进行了形式化表达。采用遗传算法作为协同设计过程中约束满足问题的求解方法,给出了该算法的具体实现过程。采用可扩展标记语言对网络环境下系统约束信息的数据进行了描述。在此基础上,提出了基于约束的冲突检测系统的体系结构,并对主要组成模块的功能进行了详细描述。开发了该冲突检测系统的原型系统并对其运行过程进行了描述。通过某车床纵向进给部件的圆柱齿轮减速机构的设计实例,说明了该系统的有效性。 展开更多
关键词 协同设计 约束网络 约束满足问题 冲突检测
下载PDF
改进求解约束满足问题粗粒度弧相容算法 被引量：12
12
作者 李宏博 李占山 王涛 《软件学报》 EI CSCD 北大核心 2012年第7期1816-1823,共8页
约束满足问题在人工智能领域有着广泛的应用.研究了约束满足问题的粗粒度维持弧相容求解算法,发现在求解过程中,对于指向已赋值变量的弧存在无效的修正检查,证明了这类修正检查是冗余的.提出一种方法避免这类冗余的修正检查,给出改进后... 约束满足问题在人工智能领域有着广泛的应用.研究了约束满足问题的粗粒度维持弧相容求解算法,发现在求解过程中,对于指向已赋值变量的弧存在无效的修正检查,证明了这类修正检查是冗余的.提出一种方法避免这类冗余的修正检查,给出改进后的粗粒度弧相容算法的基本框架AC3_frame_ARR,该改进框架可用于改进所有粗粒度弧相容算法.实验结果表明,经过AC3_frame_ARR改进后的算法最多可以节省80%的修正检查次数和40%的求解耗时. 展开更多
关键词 约束满足问题 维持弧相容 粗粒度算法 修正检查
下载PDF
基于CSP的Job shop调度算法研究 被引量：9
13
作者 杨宏安 孙树栋 +1 位作者 王荪馨 柴永生 《系统工程》 CSCD 北大核心 2004年第11期15-18,共4页
针对一类典型的约束满足问题--Job shop调度问题,提出一种CSP调度算法框架,详细讨论CSP 调度算法中的工序开始时间窗、一致性预处理、搜索空间概率模型、工序排序启发、开工时间排序启发的求解 方法。仿真结果表明CSP调度算法在较小的... 针对一类典型的约束满足问题--Job shop调度问题,提出一种CSP调度算法框架,详细讨论CSP 调度算法中的工序开始时间窗、一致性预处理、搜索空间概率模型、工序排序启发、开工时间排序启发的求解 方法。仿真结果表明CSP调度算法在较小的计算时间代价下,获得了FT10标准调度问题的近优解。 展开更多
关键词 JOB shop调度 约束满足问题 工序开始时间窗 概率模型 工序排序启发 开工时间排序启发
下载PDF
一种基于预处理技术的约束满足问题求解算法 被引量：11
14
作者 孙吉贵 朱兴军 +1 位作者 张永刚 李莹 《计算机学报》 EI CSCD 北大核心 2008年第6期919-926,共8页
相容性技术作为约束满足问题的一种有效求解技术，不论是在求解前的预处理过程中，还是在搜索过程中，都扮演着极为重要的角色。文中对预处理阶段的相容性技术进行改进和信息抽取，提出两种应用于搜索过程中的新算法Pre-AC和Pre-AC^＊... 相容性技术作为约束满足问题的一种有效求解技术，不论是在求解前的预处理过程中，还是在搜索过程中，都扮演着极为重要的角色。文中对预处理阶段的相容性技术进行改进和信息抽取，提出两种应用于搜索过程中的新算法Pre-AC和Pre-AC^＊，并嵌入到BT框架中，形成新的搜索算法BT＋MPAC和BT＋MPAC^＊，给出了其正确性证明，通过复杂性分析得到Pre-AC和Pre-AC”的时间复杂度分别是O（nd）和O（ed^2），明显低于目前最流行的弧相容技术的时间复杂度O（ed^3）．实验测试结果表明：对于不同类别的用例，新算法的执行效率是弧相容维护算法的2～50倍。 展开更多
关键词 约束满足问题 弧相容技术 singleton弧相容 pre-弧相容
下载PDF
RB模型实例集上置信传播算法的收敛性 被引量：11
15
作者 王晓峰 许道云 《软件学报》 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
基于属性访问控制的CSP模型 被引量：11
16
作者 盖新貌 沈昌祥 +1 位作者 刘毅 周明 《小型微型计算机系统》 CSCD 北大核心 2011年第11期2217-2222,共6页
从可用性的角度提出一个基于属性的访问控制模型.首先介绍了属性、属性项等相关概念,在此基础之上,通过约束满足问题建立了访问控制规则的形式化模型;其次,证明了在给定属性项值域的前提下,正向规则与负向规则可以互相转化,从而提出一... 从可用性的角度提出一个基于属性的访问控制模型.首先介绍了属性、属性项等相关概念,在此基础之上,通过约束满足问题建立了访问控制规则的形式化模型;其次,证明了在给定属性项值域的前提下,正向规则与负向规则可以互相转化,从而提出一致性策略的概念,并分别根据肯定优先及否定优先规则合成算法,给出了一致性策略的形式化模型,研究了策略可允许访问操作集合;最后,通过实例阐述了基于属性访问控制模型的表达能力. 展开更多
关键词 基于属性的访问控制 约束满足问题 合成算法 可允许操作
下载PDF
按订单装配型产品配置器的方案求解研究 被引量：7
17
作者 姚向华 施仁 《机床与液压》 北大核心 2003年第5期219-222,共4页
产品配置器自上世纪 80年代末被提出后 ,经过了十几年的不断发展 ,目前已经进入了实际应用阶段。它为未来的工业生产提供了一个新的发展方向—大规模个性化生产。本文介绍了目前在国外计算机工程与人工智能领域内新兴的一种软件概念—... 产品配置器自上世纪 80年代末被提出后 ,经过了十几年的不断发展 ,目前已经进入了实际应用阶段。它为未来的工业生产提供了一个新的发展方向—大规模个性化生产。本文介绍了目前在国外计算机工程与人工智能领域内新兴的一种软件概念—产品配置器 ,并对基于这一概念的按订单装配型产品配置器的方案求解进行了研究。 展开更多
关键词 按订单装配型 产品配置器 约束满足问题 人工智能 计算机工程
下载PDF
基于改进粒子群算法的高校排课问题优化 被引量：10
18
作者 罗义强 陈智斌 《计算机应用与软件》 北大核心 2018年第6期241-247,303,共8页
高校排课是在满足特定的约束条件下分配时间档和教室给课程的活动。单独应用粒子群算法不能处理排课的约束。所以,需要寻找一种能优化约束的方法。基于这种情况,将高校排课问题建模为约束满足问题,提出经过改进的基于粒子群算法的算法(... 高校排课是在满足特定的约束条件下分配时间档和教室给课程的活动。单独应用粒子群算法不能处理排课的约束。所以,需要寻找一种能优化约束的方法。基于这种情况,将高校排课问题建模为约束满足问题,提出经过改进的基于粒子群算法的算法(粒子群-前行检测算法)。提出的算法首先应用粒子群算法产生排课问题的潜在解,然后执行前行检测算法验证可能解的有效性。算法对现实中的数据进行了测试。算法与结合了局部搜索的粒子群算法和标准粒子群算法在运算时间和适应值方面进行了对比分析。实验结果表明,提出的算法适应值大于其他算法,获得了排课问题的近似最优解,优于其他算法。 展开更多
关键词 高校课程编排 约束满足问题 粒子群算法 前行检测算法
下载PDF
装配序列规划问题的CSP模型及其符号OBDD求解技术 被引量：8
19
作者 徐周波 古天龙 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2010年第5期803-810,共8页
完全、正确的可行装配序列的表示和生成是装配序列评价、优化和选择的前提,为此建立了单调非线性装配意义下的可行装配序列规划问题的约束满足问题(CSP)模型,并给出了基于有序二叉决策图(OBDD)的符号求解算法.首先以装配联接图和移动向... 完全、正确的可行装配序列的表示和生成是装配序列评价、优化和选择的前提,为此建立了单调非线性装配意义下的可行装配序列规划问题的约束满足问题(CSP)模型,并给出了基于有序二叉决策图(OBDD)的符号求解算法.首先以装配联接图和移动向量函数为装配体模型,给出了装配联接图模型的共享二叉决策图(SBDD)表示、移动向量函数的OBDD表示,以及装配序列规划问题的CSP描述;然后将生成所有可行装配序列的问题转化为对CSP求解所有可能解的问题,利用回溯算法对CSP问题进行符号OBDD求解,得到了满足几何可行性约束的所有可行装配序列.最后通过装配体实验验证了基于CSP模型和OBDD推理的装配序列生成技术的正确性和可行性. 展开更多
关键词 装配序列生成 装配联接图 约束满足问题 有序二叉决策图
下载PDF
基于改进遗传算法的多天线地面站硬件资源分配方法 被引量：8
20
作者 张鹏 冯旭祥 葛小青 《计算机工程与科学》 CSCD 北大核心 2017年第6期1155-1163,共9页
多天线卫星地面站硬件设备资源分配问题是一个基于约束满足的复杂资源组合优化问题。在考虑任务执行时间、地面站可见时间窗口、地面站设备接收能力和设备链路约束的情况下,对多天线地面站硬件资源分配问题建立了高可用模型。以加权任... 多天线卫星地面站硬件设备资源分配问题是一个基于约束满足的复杂资源组合优化问题。在考虑任务执行时间、地面站可见时间窗口、地面站设备接收能力和设备链路约束的情况下,对多天线地面站硬件资源分配问题建立了高可用模型。以加权任务执行总时间为目标,以经典遗传算法为基础,根据问题特点改进了相关遗传算子,在进行遗传变异的过程中,通过深度优先搜索算法确定单个染色体对应的最佳资源分配方案,同时利用启发式信息优化搜索过程。最后通过高可用算例仿真表明,所建模型和算法是合理有效的。 展开更多
关键词 遗传算法 深度优先搜索算法 资源分配 地面站 约束满足问题
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 2 … 10 下一页 到第 页
使用帮助 返回顶部