期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到253篇文章
< 1 2 … 13 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
基于边际概率分布重新进行单变量选取的置信传播算法求解约束满足问题
1
作者 刘梦圆 《理论数学》 2024年第5期335-343,共9页
针对RB模型这一类具有增长取值域的随机约束满足问题,提出一种基于边际概率分布重新进行单变量选取的置信传播算法。该算法在置信传播方程不收敛时,通过边际概率分布顺序由大到小找到下一个变量进行重新赋值,从而消去变量的过程。实验... 针对RB模型这一类具有增长取值域的随机约束满足问题,提出一种基于边际概率分布重新进行单变量选取的置信传播算法。该算法在置信传播方程不收敛时,通过边际概率分布顺序由大到小找到下一个变量进行重新赋值,从而消去变量的过程。实验结果表明:这种重新挑选变量进行赋值的置信传播算法能在可满足相变区域找到问题的解,有效地提高了置信传播地求解效率。 展开更多
关键词 约束满足问题 RB模型 置信传播 边际概率分布
在线阅读 下载PDF
一种基于置信传播的算法求解随机约束满足问题
2
作者 刘梦圆 《理论数学》 2024年第6期54-64,共11页
为了求解具有增长域的随机约束满足问题(CSP),提出一种基于置信传播的算法即NBP* (new-selected belief propagation*, NBP*)。在置信传播算法中,当BP方程不收敛时,算法就会终止。然而算法在经过多次迭代之后,虽然约束发送给变量的信息... 为了求解具有增长域的随机约束满足问题(CSP),提出一种基于置信传播的算法即NBP* (new-selected belief propagation*, NBP*)。在置信传播算法中,当BP方程不收敛时,算法就会终止。然而算法在经过多次迭代之后,虽然约束发送给变量的信息没有达到收敛条件,但是仍有部分信息是准确的,所以当算法的BP方程不收敛时,提出利用最后一次迭代得到的约束发送给变量的信息来计算变量的边际概率,当赋值不满足约束时,根据边际概率确定的变量顺序挑选下一个变量进行赋值,得到NBP*算法。数值实验表明:这种算法可以在可满足性相变区域找到解,并且有效提高了置信传播算法的求解效率。 展开更多
关键词 约束满足问题 置信传播算法 BP方程 最后一次迭代信息
在线阅读 下载PDF
加权约束满足问题的改进深度优先搜索算法 被引量：6
3
作者 贺仁杰 谭跃进 《系统工程学报》 CSCD 2004年第5期512-516,共5页
回顾了加权约束满足问题的基本概念,给出了求解的标准深度优先搜索算法,并探讨了利用变量间的约束关系,改进标准深度优先搜索算法的搜索上下界;在此基础上,给出了一种改进的深度优先分枝定界算法.该算法的一个特点是通过循环迭代求解子... 回顾了加权约束满足问题的基本概念,给出了求解的标准深度优先搜索算法,并探讨了利用变量间的约束关系,改进标准深度优先搜索算法的搜索上下界;在此基础上,给出了一种改进的深度优先分枝定界算法.该算法的一个特点是通过循环迭代求解子问题来改进上下界.针对随机约束满足问题模型生成的测试数据的数值计算结果显示,改进算法可以大大缩短求解时间. 展开更多
关键词 加权约束满足问题 深度优先搜索 分枝定界算法 约束满足问题
在线阅读 下载PDF
配置设计的分级约束满足问题求解方法研究
4
作者 袁长峰 王万雷 +1 位作者 刘晓冰 陈燕 《机械科学与技术》 CSCD 北大核心 2008年第4期481-485,共5页
从分析配置设计过程中约束对变量的不同作用程度入手,提出将配置求解过程作为分级约束满足问题进行处理,对约束进行分级处理,赋予不同的约束水平,以确定配置求解过程中约束满足的顺序。通过引入"活动变量"和"活动约束&qu... 从分析配置设计过程中约束对变量的不同作用程度入手,提出将配置求解过程作为分级约束满足问题进行处理,对约束进行分级处理,赋予不同的约束水平,以确定配置求解过程中约束满足的顺序。通过引入"活动变量"和"活动约束",对有向图中结点和弧赋予新的含义,构建了分级约束满足问题网络,采用一致性方法和基于图的传播技术相结合的方法进行网络的一致性检验和约束的传播,并提出了分级约束满足问题网络在求解过程中约束冲突的解决方法,形成了配置设计的分级约束满足问题求解方法,较好地解决了变量受多个不同强度约束条件作用时的合理赋值和约束冲突的问题。并以捆钞机产品配置为例,验证了分级约束满足问题求解方法的可行性。 展开更多
关键词 配置设计 分级约束满足问题 分级约束满足问题网络 约束冲突
在线阅读 下载PDF
基于条件约束满足问题的产品配置研究 被引量：17
5
作者 杨煜俊 刘清华 +2 位作者 万立 王启富 陈立平 《计算机集成制造系统》 EI CSCD 北大核心 2004年第11期1332-1337,共6页
强大灵活的配置模型和高效的求解策略是实现复杂产品配置的基础。为了构建复杂产品的配置模型,提出了一种基于条件约束满足问题框架的配置建模方法,该方法利用配置变量和配置约束来统一表达配置模型中的产品模型和用户需求,从而使配置... 强大灵活的配置模型和高效的求解策略是实现复杂产品配置的基础。为了构建复杂产品的配置模型,提出了一种基于条件约束满足问题框架的配置建模方法,该方法利用配置变量和配置约束来统一表达配置模型中的产品模型和用户需求,从而使配置模型具有表达一致性;配置变量分为类型变量、属性变量、接口变量、基数变量四种类型;配制约束包含依赖约束和活动约束两种类型;在构建统一形式配置模型的基础上,采用一种模型分解策略进行求解。最后采用一个汽车产品实例说明配制建模和配置求解过程。 展开更多
关键词 产品配置 条件约束满足问题 模型分解策略
在线阅读 下载PDF
基于约束满足问题的绿色产品配置设计 被引量：18
6
作者 张雷 刘光复 +1 位作者 胡迪 高洋 《机械工程学报》 EI CAS CSCD 北大核心 2010年第19期117-124,共8页
以实现大规模定制模式下的绿色设计为目标,在对约束满足问题与绿色产品配置设计相似点进行比较的基础上,将其应用于实现绿色产品的配置设计中。按绿色产品客户需求的特点,将绿色产品的配置约束分为建议性约束和强制性约束,并在此基础上... 以实现大规模定制模式下的绿色设计为目标,在对约束满足问题与绿色产品配置设计相似点进行比较的基础上,将其应用于实现绿色产品的配置设计中。按绿色产品客户需求的特点,将绿色产品的配置约束分为建议性约束和强制性约束,并在此基础上给出了面向绿色设计的产品配置约束转换与表达方法。针对产品绿色设计的特点,对传统的回溯算法进行改进,将一维约束过滤模块和建议性约束满足度计算模块融入回溯算法中,提出一种基于约束满足问题的绿色产品配置算法。以自动豆浆机产品的配置设计为例,对所提方法进行验证与分析。应用实例表明,该配置设计方法能够在短时间内实现产品环境属性与功能、结构及经济属性的优化配置。 展开更多
关键词 绿色设计 产品配置 约束满足问题
在线阅读 下载PDF
一种基于预处理技术的约束满足问题求解算法 被引量：11
7
作者 孙吉贵 朱兴军 +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
最大度二元约束满足问题粒子群算法 被引量：19
8
作者 杨轻云 孙吉贵 张居阳 《计算机研究与发展》 EI CSCD 北大核心 2006年第3期436-441,共6页
约束满足问题是人工智能的一个重要研究领域,使用粒子群搜索算法来求解约束满足问题逐渐受到人们的重视.把变量的最大度静态变量序关系引入到评估函数中,区别对待每个变量,通过静态变量序关系改变适应度函数,从而影响算法对最优粒子的选... 约束满足问题是人工智能的一个重要研究领域,使用粒子群搜索算法来求解约束满足问题逐渐受到人们的重视.把变量的最大度静态变量序关系引入到评估函数中,区别对待每个变量,通过静态变量序关系改变适应度函数,从而影响算法对最优粒子的选择.使用随机约束满足问题实验表明,改进后的算法比原算法具有更好的搜索能力,能以更快的速度收敛到全局解. 展开更多
关键词 粒子群 约束满足问题 适应度 最大度变量序
在线阅读 下载PDF
求解约束满足问题的改进蚁群优化算法 被引量：13
9
作者 张永刚 张思博 薛秋实 《通信学报》 EI CSCD 北大核心 2015年第5期40-46,共7页
为了克服传统的回溯算法在求解大型的约束满足问题时效率低,难以在合理的时间内求解这一问题。提出了基于启发式搜索的不完备性算法。结合不同算法特性,主要在蚁群优化元启发式约束求解算法的基础上提出了改进:一是在搜索之前用弧相容... 为了克服传统的回溯算法在求解大型的约束满足问题时效率低,难以在合理的时间内求解这一问题。提出了基于启发式搜索的不完备性算法。结合不同算法特性,主要在蚁群优化元启发式约束求解算法的基础上提出了改进:一是在搜索之前用弧相容检查进行预处理以压缩搜索空间,二是提出了一种新的蚁群算法参数设置方案,提高算法的适应性。最后将改进后的算法应用于求解随机问题和组合优化问题。实验结果表明,改进后的算法求解效率得到大幅度提高。 展开更多
关键词 约束满足问题 蚁群算法 弧相容 参数调节
在线阅读 下载PDF
改进求解约束满足问题粗粒度弧相容算法 被引量：12
10
作者 李宏博 李占山 王涛 《软件学报》 EI CSCD 北大核心 2012年第7期1816-1823,共8页
约束满足问题在人工智能领域有着广泛的应用.研究了约束满足问题的粗粒度维持弧相容求解算法,发现在求解过程中,对于指向已赋值变量的弧存在无效的修正检查,证明了这类修正检查是冗余的.提出一种方法避免这类冗余的修正检查,给出改进后... 约束满足问题在人工智能领域有着广泛的应用.研究了约束满足问题的粗粒度维持弧相容求解算法,发现在求解过程中,对于指向已赋值变量的弧存在无效的修正检查,证明了这类修正检查是冗余的.提出一种方法避免这类冗余的修正检查,给出改进后的粗粒度弧相容算法的基本框架AC3_frame_ARR,该改进框架可用于改进所有粗粒度弧相容算法.实验结果表明,经过AC3_frame_ARR改进后的算法最多可以节省80%的修正检查次数和40%的求解耗时. 展开更多
关键词 约束满足问题 维持弧相容 粗粒度算法 修正检查
在线阅读 下载PDF
基于约束满足问题的产品拆卸序列规划 被引量：3
11
作者 宋守许 胡迪 +2 位作者 高洋 杨明 张雷 《中国机械工程》 EI CAS CSCD 北大核心 2010年第17期2058-2062,共5页
分析了产品拆卸序列规划与约束满足问题的对应关系,在基于混合图的产品拆卸模型基础上,将产品拆卸序列规划转化为一类约束满足问题。以回溯算法为基础,给出了基于约束满足问题的产品拆卸序列规划求解流程和算法。通过一个简化的洗碗机... 分析了产品拆卸序列规划与约束满足问题的对应关系,在基于混合图的产品拆卸模型基础上,将产品拆卸序列规划转化为一类约束满足问题。以回溯算法为基础,给出了基于约束满足问题的产品拆卸序列规划求解流程和算法。通过一个简化的洗碗机门体实例说明了方法的可行性和有效性。 展开更多
关键词 约束满足问题 混合图 拆卸约束图 拆卸序列规划 回溯算法
在线阅读 下载PDF
基于约束满足问题的应急决策 被引量：5
12
作者 董存祥 王文俊 杨鹏 《计算机工程》 CAS CSCD 北大核心 2010年第7期276-278,共3页
针对如何快速、高效地生成应对突发事件处置方案的问题,提出一种基于约束满足问题(CSP)的应急决策方法。根据为应对突发事件而预先制定的应急预案,采用变量和约束来表示应急决策问题的对象和规则,构建应急决策模型,通过CSP的求解迅速生... 针对如何快速、高效地生成应对突发事件处置方案的问题,提出一种基于约束满足问题(CSP)的应急决策方法。根据为应对突发事件而预先制定的应急预案,采用变量和约束来表示应急决策问题的对象和规则,构建应急决策模型,通过CSP的求解迅速生成满足约束规则的应急处置方案。以国家地震应急预案为例进行分析,结果证明了该方法在应急决策中的可行性。 展开更多
关键词 应急决策 约束满足问题 应急预案 约束 应急方案
在线阅读 下载PDF
非二元约束满足问题求解 被引量：16
13
作者 孙吉贵 景沈艳 《计算机学报》 EI CSCD 北大核心 2003年第12期1746-1752,共7页
在约束满足问题 (CSP)的研究中 ,大部分工作集中在二元约束 ,但处理实际问题时 ,常常会遇到非二元约束的情况 .该文在概要地讨论了两类求解非二元约束问题方法的基础上 ,研究了一种将约束传播技术和一般弧相容回溯算法相结合的非二元约... 在约束满足问题 (CSP)的研究中 ,大部分工作集中在二元约束 ,但处理实际问题时 ,常常会遇到非二元约束的情况 .该文在概要地讨论了两类求解非二元约束问题方法的基础上 ,研究了一种将约束传播技术和一般弧相容回溯算法相结合的非二元约束求解方法 ,并在设计开发的约束求解工具“明月SOLVER1.0”中实现了该方法 ,以典型例子给出了实现系统的运行结果 . 展开更多
关键词 非二元约束满足问题 对偶图法 隐藏变量法 启发式搜索算法
在线阅读 下载PDF
约束满足问题求解的符号OBDD桶消元算法 被引量：4
14
作者 徐周波 古天龙 +1 位作者 常亮 李凤英 《计算机科学》 CSCD 北大核心 2011年第7期200-202,219,共4页
桶消元算法是求解约束满足问题的一种典型推理方法。针对桶消元算法面临的状态空间爆炸问题,将有序二叉决策图(OBDD)技术与该算法结合起来,给出了约束满足问题的一种求解算法。通过对约束满足问题中变量和域值的编码,将CSP问题转化为命... 桶消元算法是求解约束满足问题的一种典型推理方法。针对桶消元算法面临的状态空间爆炸问题,将有序二叉决策图(OBDD)技术与该算法结合起来,给出了约束满足问题的一种求解算法。通过对约束满足问题中变量和域值的编码,将CSP问题转化为命题可满足性问题,给出了约束满足问题的OBDD表示方法;基于桶消元的算法思想,在约束满足问题的OBDD表示的基础上,利用OBDD的"与"操作和"量化"操作等,避免了传统算法中状态的显式枚举,隐式地实现了对CSP的求解。对大量随机生成的测试用例进行了实验分析,结果表明提出的符号算法明显优于桶消元法和符号直接求解法。 展开更多
关键词 约束满足问题 符号算法 桶消元 有序二叉决策图(OBDD)
在线阅读 下载PDF
基于AC-4的动态值启发式约束满足问题求解算法 被引量：3
15
作者 李占山 王孜文 +1 位作者 艾阳 李宏博 《吉林大学学报（工学版）》 EI CAS CSCD 北大核心 2011年第5期1378-1382,共5页
通过对弧相容算法AC-4的研究,提出了基于AC-4的动态值启发式约束满足问题求解算法MAC-DMSV。算法充分利用AC-4在初始化阶段建立的计数器信息,选择计数最大者为优先实例化的值。将此值启发式加入MAC算法之中,在MAC的相容性检查时,更新计... 通过对弧相容算法AC-4的研究,提出了基于AC-4的动态值启发式约束满足问题求解算法MAC-DMSV。算法充分利用AC-4在初始化阶段建立的计数器信息,选择计数最大者为优先实例化的值。将此值启发式加入MAC算法之中,在MAC的相容性检查时,更新计数器的值,实现了动态值启发式。实验结果表明,MAC-DMSV算法比MAC和BT+MPAC算法具有更高的求解效率。 展开更多
关键词 人工智能 动态值排序 约束满足问题
在线阅读 下载PDF
基于值序的二元约束满足问题粒子群算法 被引量：2
16
作者 杨轻云 孙吉贵 +1 位作者 张居阳 王纯杰 《计算机工程》 EI CAS CSCD 北大核心 2006年第17期57-59,共3页
提出了一个基于最小冲突启发式值序的二元约束满足问题粒子群算法,利用值序对值的选取方式代替随机选择的盲目搜索方式,使群体在探索解空间的时候,选择有希望能找到全局解的地方搜索。使用随机约束满足问题的实验表明,改进后的算法比原... 提出了一个基于最小冲突启发式值序的二元约束满足问题粒子群算法,利用值序对值的选取方式代替随机选择的盲目搜索方式,使群体在探索解空间的时候,选择有希望能找到全局解的地方搜索。使用随机约束满足问题的实验表明,改进后的算法比原算法能以更快的速度收敛到全局解,无论在迭代次数还是运行时间上均能数倍提高算法的效率。 展开更多
关键词 粒子群算法 二元约束满足问题 最小冲突启发式 值序
在线阅读 下载PDF
一类新的模糊约束满足问题的建模与求解 被引量：5
17
作者 赵瑞清 郝士鹏 《系统工程学报》 CSCD 北大核心 2010年第3期415-420,共6页
从模糊理论的角度讨论了软约束满足问题,即把约束中带有不确定性的参数刻画为模糊变量,定义了一类新的模糊约束满足问题(FCSP).然后,利用可信性测度度量该类问题中约束成立的可能性,并以所有约束的联合可信性作为目标函数,从而将FCSP问... 从模糊理论的角度讨论了软约束满足问题,即把约束中带有不确定性的参数刻画为模糊变量,定义了一类新的模糊约束满足问题(FCSP).然后,利用可信性测度度量该类问题中约束成立的可能性,并以所有约束的联合可信性作为目标函数,从而将FCSP问题转化为无约束优化问题.利用模糊模拟技术来估计目标函数中模糊事件的可信性,在此基础上设计了基于模糊模拟的猴群算法用来对无约束优化问题进行求解,以便获得原FCSP问题的约束一致解.最后,给出了数值例子来说明上述方法的可行性和有效性. 展开更多
关键词 软约束满足问题 模糊变量 猴群算法 模糊模拟 可信性测度
在线阅读 下载PDF
一类基于动态约束满足问题的产品配置方法 被引量：4
18
作者 李伟 刘光复 《机械科学与技术》 CSCD 北大核心 2005年第4期427-430,共4页
分析了传统约束满足问题在表示产品配置中动态配置知识上的缺陷,对传统约束满足问题的概念进行了扩展,提出了一类动态约束满足问题,能够表示配置中的动态配置知识,比传统约束满足问题具有更强的知识表示能力,更小的搜索空间和更好的计... 分析了传统约束满足问题在表示产品配置中动态配置知识上的缺陷,对传统约束满足问题的概念进行了扩展,提出了一类动态约束满足问题,能够表示配置中的动态配置知识,比传统约束满足问题具有更强的知识表示能力,更小的搜索空间和更好的计算复杂度,最后给出了基于动态约束满足问题的产品配置仿真。 展开更多
关键词 动态 约束满足问题 知识表示 产品配置
在线阅读 下载PDF
稀疏二元约束满足问题的环割集粒子群算法(英文) 被引量：1
19
作者 杨轻云 孙吉贵 +1 位作者 张居阳 王纯杰 《广西师范大学学报（自然科学版）》 CAS 北大核心 2006年第4期135-138,共4页
提出了一个基于环割集的粒子群算法求解稀疏二元约束满足问题,把环割集和粒子群算法结合在一起,利用环割集减少粒子群算法中粒子的维数。用随机的稀疏二元约束满足问题进行实验,结果表明改进后的粒子群算法是有效的,迭代次数约为原算法... 提出了一个基于环割集的粒子群算法求解稀疏二元约束满足问题,把环割集和粒子群算法结合在一起,利用环割集减少粒子群算法中粒子的维数。用随机的稀疏二元约束满足问题进行实验,结果表明改进后的粒子群算法是有效的,迭代次数约为原算法的十分之一,运行时间比原算法运行时间少约7倍。 展开更多
关键词 二元约束满足问题 粒子群算法 环割集 弧相容
在线阅读 下载PDF
加权约束满足问题的改进RDS符号代数决策图求解算法 被引量：1
20
作者 徐周波 杨新亮 +1 位作者 古天龙 宁黎华 《模式识别与人工智能》 EI CSCD 北大核心 2015年第12期1074-1083,共10页
加权约束满足问题(WCSP)是一类约束最优化问题.文中基于RDS思想,从减少RDS分解的子问题个数及提高各个子问题的求解效率入手,提出WCSP的改进RDS符号代数决策图(ADD)求解算法.通过改进最多约束变量的变量选择法,引入RDS变量引导原问题的... 加权约束满足问题(WCSP)是一类约束最优化问题.文中基于RDS思想,从减少RDS分解的子问题个数及提高各个子问题的求解效率入手,提出WCSP的改进RDS符号代数决策图(ADD)求解算法.通过改进最多约束变量的变量选择法,引入RDS变量引导原问题的子问题分解,进而减少RDS中分解的子问题个数.利用变量的后向度,进一步改进子问题的分解方法.为提高各个子问题的求解效率,利用桶消元算法并结合ADD操作消去子问题中的非RDS变量,进而减少子问题中的变量个数,提高深度优先分支界定法的下界.在大量随机生成的测试用例上的实验证明文中算法的优越性. 展开更多
关键词 加权约束满足问题(WCSP) RUSSIAN Doll Search(RDS) 代数决策图(ADD) 符号算法
在线阅读 下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 2 … 13 下一页 到第 页
使用帮助 返回顶部