期刊文献+
共找到181篇文章
< 1 2 10 >
每页显示 20 50 100
基于耦合约束满足的雷达抗干扰试验样本空间特征分析
1
作者 龙志涛 程志君 封琛 《系统工程与电子技术》 北大核心 2025年第7期2136-2145,共10页
针对雷达抗干扰试验中试验因子多、样本空间大、全面试验成本高等问题,引入约束满足的方法对雷达抗干扰试验样本空间进行特征分析,实现对有限样本空间的约简。提出一种雷达抗干扰试验样本空间的分析框架,将对样本空间的分析从电磁领域... 针对雷达抗干扰试验中试验因子多、样本空间大、全面试验成本高等问题,引入约束满足的方法对雷达抗干扰试验样本空间进行特征分析,实现对有限样本空间的约简。提出一种雷达抗干扰试验样本空间的分析框架,将对样本空间的分析从电磁领域映射到数学领域,建立一种耦合约束满足模型。结合图论和基于孪生变量法的耦合约束求解算法以及弧相容算法对试验样本空间中的耦合约束进行求解。结果表明,经过求解后的空间比初始试验样本空间压缩了约76760.76倍,可较好地解决后续试验设计中样本集选取困难的问题,为雷达抗干扰试验的设计与评估提供支撑。 展开更多
关键词 抗干扰试验 样本空间 耦合约束满足问题 孪生变量法 弧相容
在线阅读 下载PDF
基于条件约束满足问题的产品配置研究 被引量:17
2
作者 杨煜俊 刘清华 +2 位作者 万立 王启富 陈立平 《计算机集成制造系统》 EI CSCD 北大核心 2004年第11期1332-1337,共6页
强大灵活的配置模型和高效的求解策略是实现复杂产品配置的基础。为了构建复杂产品的配置模型,提出了一种基于条件约束满足问题框架的配置建模方法,该方法利用配置变量和配置约束来统一表达配置模型中的产品模型和用户需求,从而使配置... 强大灵活的配置模型和高效的求解策略是实现复杂产品配置的基础。为了构建复杂产品的配置模型,提出了一种基于条件约束满足问题框架的配置建模方法,该方法利用配置变量和配置约束来统一表达配置模型中的产品模型和用户需求,从而使配置模型具有表达一致性;配置变量分为类型变量、属性变量、接口变量、基数变量四种类型;配制约束包含依赖约束和活动约束两种类型;在构建统一形式配置模型的基础上,采用一种模型分解策略进行求解。最后采用一个汽车产品实例说明配制建模和配置求解过程。 展开更多
关键词 产品配置 条件约束满足问题 模型分解策略
在线阅读 下载PDF
一种基于预处理技术的约束满足问题求解算法 被引量:11
3
作者 孙吉贵 朱兴军 +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
4
作者 杨轻云 孙吉贵 张居阳 《计算机研究与发展》 EI CSCD 北大核心 2006年第3期436-441,共6页
约束满足问题是人工智能的一个重要研究领域,使用粒子群搜索算法来求解约束满足问题逐渐受到人们的重视.把变量的最大度静态变量序关系引入到评估函数中,区别对待每个变量,通过静态变量序关系改变适应度函数,从而影响算法对最优粒子的选... 约束满足问题是人工智能的一个重要研究领域,使用粒子群搜索算法来求解约束满足问题逐渐受到人们的重视.把变量的最大度静态变量序关系引入到评估函数中,区别对待每个变量,通过静态变量序关系改变适应度函数,从而影响算法对最优粒子的选择.使用随机约束满足问题实验表明,改进后的算法比原算法具有更好的搜索能力,能以更快的速度收敛到全局解. 展开更多
关键词 粒子群 约束满足问题 适应度 最大度变量序
在线阅读 下载PDF
求解约束满足问题的改进蚁群优化算法 被引量:13
5
作者 张永刚 张思博 薛秋实 《通信学报》 EI CSCD 北大核心 2015年第5期40-46,共7页
为了克服传统的回溯算法在求解大型的约束满足问题时效率低,难以在合理的时间内求解这一问题。提出了基于启发式搜索的不完备性算法。结合不同算法特性,主要在蚁群优化元启发式约束求解算法的基础上提出了改进:一是在搜索之前用弧相容... 为了克服传统的回溯算法在求解大型的约束满足问题时效率低,难以在合理的时间内求解这一问题。提出了基于启发式搜索的不完备性算法。结合不同算法特性,主要在蚁群优化元启发式约束求解算法的基础上提出了改进:一是在搜索之前用弧相容检查进行预处理以压缩搜索空间,二是提出了一种新的蚁群算法参数设置方案,提高算法的适应性。最后将改进后的算法应用于求解随机问题和组合优化问题。实验结果表明,改进后的算法求解效率得到大幅度提高。 展开更多
关键词 约束满足问题 蚁群算法 弧相容 参数调节
在线阅读 下载PDF
改进求解约束满足问题粗粒度弧相容算法 被引量:12
6
作者 李宏博 李占山 王涛 《软件学报》 EI CSCD 北大核心 2012年第7期1816-1823,共8页
约束满足问题在人工智能领域有着广泛的应用.研究了约束满足问题的粗粒度维持弧相容求解算法,发现在求解过程中,对于指向已赋值变量的弧存在无效的修正检查,证明了这类修正检查是冗余的.提出一种方法避免这类冗余的修正检查,给出改进后... 约束满足问题在人工智能领域有着广泛的应用.研究了约束满足问题的粗粒度维持弧相容求解算法,发现在求解过程中,对于指向已赋值变量的弧存在无效的修正检查,证明了这类修正检查是冗余的.提出一种方法避免这类冗余的修正检查,给出改进后的粗粒度弧相容算法的基本框架AC3_frame_ARR,该改进框架可用于改进所有粗粒度弧相容算法.实验结果表明,经过AC3_frame_ARR改进后的算法最多可以节省80%的修正检查次数和40%的求解耗时. 展开更多
关键词 约束满足问题 维持弧相容 粗粒度算法 修正检查
在线阅读 下载PDF
基于约束满足的卫星地面站资源优化分配问题研究 被引量:23
7
作者 贺仁杰 谭跃进 《计算机工程与应用》 CSCD 北大核心 2004年第18期229-232,共4页
卫星地面站资源优化分配问题是在给定的时间内,对卫星需要执行的任务分配地面站及执行时间,以便卫星能最大限度地完成任务。该文对该问题建立了CSP模型,并采用ILOGSolver对该模型进行求解。文中最后给出了一个应用实例,并比较了几种不... 卫星地面站资源优化分配问题是在给定的时间内,对卫星需要执行的任务分配地面站及执行时间,以便卫星能最大限度地完成任务。该文对该问题建立了CSP模型,并采用ILOGSolver对该模型进行求解。文中最后给出了一个应用实例,并比较了几种不同搜索算法和搜索策略的执行效率。 展开更多
关键词 约束满足问题 地面站资源分配 ILOG SOLVER
在线阅读 下载PDF
基于约束满足问题的产品拆卸序列规划 被引量:3
8
作者 宋守许 胡迪 +2 位作者 高洋 杨明 张雷 《中国机械工程》 EI CAS CSCD 北大核心 2010年第17期2058-2062,共5页
分析了产品拆卸序列规划与约束满足问题的对应关系,在基于混合图的产品拆卸模型基础上,将产品拆卸序列规划转化为一类约束满足问题。以回溯算法为基础,给出了基于约束满足问题的产品拆卸序列规划求解流程和算法。通过一个简化的洗碗机... 分析了产品拆卸序列规划与约束满足问题的对应关系,在基于混合图的产品拆卸模型基础上,将产品拆卸序列规划转化为一类约束满足问题。以回溯算法为基础,给出了基于约束满足问题的产品拆卸序列规划求解流程和算法。通过一个简化的洗碗机门体实例说明了方法的可行性和有效性。 展开更多
关键词 约束满足问题 混合图 拆卸约束 拆卸序列规划 回溯算法
在线阅读 下载PDF
基于约束满足问题的应急决策 被引量:5
9
作者 董存祥 王文俊 杨鹏 《计算机工程》 CAS CSCD 北大核心 2010年第7期276-278,共3页
针对如何快速、高效地生成应对突发事件处置方案的问题,提出一种基于约束满足问题(CSP)的应急决策方法。根据为应对突发事件而预先制定的应急预案,采用变量和约束来表示应急决策问题的对象和规则,构建应急决策模型,通过CSP的求解迅速生... 针对如何快速、高效地生成应对突发事件处置方案的问题,提出一种基于约束满足问题(CSP)的应急决策方法。根据为应对突发事件而预先制定的应急预案,采用变量和约束来表示应急决策问题的对象和规则,构建应急决策模型,通过CSP的求解迅速生成满足约束规则的应急处置方案。以国家地震应急预案为例进行分析,结果证明了该方法在应急决策中的可行性。 展开更多
关键词 应急决策 约束满足问题 应急预案 约束 应急方案
在线阅读 下载PDF
非二元约束满足问题求解 被引量:16
10
作者 孙吉贵 景沈艳 《计算机学报》 EI CSCD 北大核心 2003年第12期1746-1752,共7页
在约束满足问题 (CSP)的研究中 ,大部分工作集中在二元约束 ,但处理实际问题时 ,常常会遇到非二元约束的情况 .该文在概要地讨论了两类求解非二元约束问题方法的基础上 ,研究了一种将约束传播技术和一般弧相容回溯算法相结合的非二元约... 在约束满足问题 (CSP)的研究中 ,大部分工作集中在二元约束 ,但处理实际问题时 ,常常会遇到非二元约束的情况 .该文在概要地讨论了两类求解非二元约束问题方法的基础上 ,研究了一种将约束传播技术和一般弧相容回溯算法相结合的非二元约束求解方法 ,并在设计开发的约束求解工具“明月SOLVER1.0”中实现了该方法 ,以典型例子给出了实现系统的运行结果 . 展开更多
关键词 非二元约束满足问题 对偶图法 隐藏变量法 启发式搜索算法
在线阅读 下载PDF
约束满足问题求解的符号OBDD桶消元算法 被引量:4
11
作者 徐周波 古天龙 +1 位作者 常亮 李凤英 《计算机科学》 CSCD 北大核心 2011年第7期200-202,219,共4页
桶消元算法是求解约束满足问题的一种典型推理方法。针对桶消元算法面临的状态空间爆炸问题,将有序二叉决策图(OBDD)技术与该算法结合起来,给出了约束满足问题的一种求解算法。通过对约束满足问题中变量和域值的编码,将CSP问题转化为命... 桶消元算法是求解约束满足问题的一种典型推理方法。针对桶消元算法面临的状态空间爆炸问题,将有序二叉决策图(OBDD)技术与该算法结合起来,给出了约束满足问题的一种求解算法。通过对约束满足问题中变量和域值的编码,将CSP问题转化为命题可满足性问题,给出了约束满足问题的OBDD表示方法;基于桶消元的算法思想,在约束满足问题的OBDD表示的基础上,利用OBDD的"与"操作和"量化"操作等,避免了传统算法中状态的显式枚举,隐式地实现了对CSP的求解。对大量随机生成的测试用例进行了实验分析,结果表明提出的符号算法明显优于桶消元法和符号直接求解法。 展开更多
关键词 约束满足问题 符号算法 桶消元 有序二叉决策图(OBDD)
在线阅读 下载PDF
基于值序的二元约束满足问题粒子群算法 被引量:2
12
作者 杨轻云 孙吉贵 +1 位作者 张居阳 王纯杰 《计算机工程》 EI CAS CSCD 北大核心 2006年第17期57-59,共3页
提出了一个基于最小冲突启发式值序的二元约束满足问题粒子群算法,利用值序对值的选取方式代替随机选择的盲目搜索方式,使群体在探索解空间的时候,选择有希望能找到全局解的地方搜索。使用随机约束满足问题的实验表明,改进后的算法比原... 提出了一个基于最小冲突启发式值序的二元约束满足问题粒子群算法,利用值序对值的选取方式代替随机选择的盲目搜索方式,使群体在探索解空间的时候,选择有希望能找到全局解的地方搜索。使用随机约束满足问题的实验表明,改进后的算法比原算法能以更快的速度收敛到全局解,无论在迭代次数还是运行时间上均能数倍提高算法的效率。 展开更多
关键词 粒子群算法 二元约束满足问题 最小冲突启发式 值序
在线阅读 下载PDF
加权约束满足问题的改进深度优先搜索算法 被引量:6
13
作者 贺仁杰 谭跃进 《系统工程学报》 CSCD 2004年第5期512-516,共5页
回顾了加权约束满足问题的基本概念,给出了求解的标准深度优先搜索算法,并探讨了利用变量间的约束关系,改进标准深度优先搜索算法的搜索上下界;在此基础上,给出了一种改进的深度优先分枝定界算法.该算法的一个特点是通过循环迭代求解子... 回顾了加权约束满足问题的基本概念,给出了求解的标准深度优先搜索算法,并探讨了利用变量间的约束关系,改进标准深度优先搜索算法的搜索上下界;在此基础上,给出了一种改进的深度优先分枝定界算法.该算法的一个特点是通过循环迭代求解子问题来改进上下界.针对随机约束满足问题模型生成的测试数据的数值计算结果显示,改进算法可以大大缩短求解时间. 展开更多
关键词 加权约束满足问题 深度优先搜索 分枝定界算法 约束满足问题
在线阅读 下载PDF
一类新的模糊约束满足问题的建模与求解 被引量:5
14
作者 赵瑞清 郝士鹏 《系统工程学报》 CSCD 北大核心 2010年第3期415-420,共6页
从模糊理论的角度讨论了软约束满足问题,即把约束中带有不确定性的参数刻画为模糊变量,定义了一类新的模糊约束满足问题(FCSP).然后,利用可信性测度度量该类问题中约束成立的可能性,并以所有约束的联合可信性作为目标函数,从而将FCSP问... 从模糊理论的角度讨论了软约束满足问题,即把约束中带有不确定性的参数刻画为模糊变量,定义了一类新的模糊约束满足问题(FCSP).然后,利用可信性测度度量该类问题中约束成立的可能性,并以所有约束的联合可信性作为目标函数,从而将FCSP问题转化为无约束优化问题.利用模糊模拟技术来估计目标函数中模糊事件的可信性,在此基础上设计了基于模糊模拟的猴群算法用来对无约束优化问题进行求解,以便获得原FCSP问题的约束一致解.最后,给出了数值例子来说明上述方法的可行性和有效性. 展开更多
关键词 约束满足问题 模糊变量 猴群算法 模糊模拟 可信性测度
在线阅读 下载PDF
一类基于动态约束满足问题的产品配置方法 被引量:4
15
作者 李伟 刘光复 《机械科学与技术》 CSCD 北大核心 2005年第4期427-430,共4页
分析了传统约束满足问题在表示产品配置中动态配置知识上的缺陷,对传统约束满足问题的概念进行了扩展,提出了一类动态约束满足问题,能够表示配置中的动态配置知识,比传统约束满足问题具有更强的知识表示能力,更小的搜索空间和更好的计... 分析了传统约束满足问题在表示产品配置中动态配置知识上的缺陷,对传统约束满足问题的概念进行了扩展,提出了一类动态约束满足问题,能够表示配置中的动态配置知识,比传统约束满足问题具有更强的知识表示能力,更小的搜索空间和更好的计算复杂度,最后给出了基于动态约束满足问题的产品配置仿真。 展开更多
关键词 动态 约束满足问题 知识表示 产品配置
在线阅读 下载PDF
基于非二元约束满足的配置问题求解方法 被引量:3
16
作者 单汨源 袁际军 《计算机工程》 CAS CSCD 北大核心 2008年第7期205-208,共4页
依据产品的可配置性,提出基于非二元约束的逻辑产品模型,给出基于动态变量序的一类配置求解算法。采用仿真实验比较各种算法的求解效率,指出各算法在不同配置约束密度下快速求解配置问题时的适用范围。基于逻辑产品模型,依据配置问题实... 依据产品的可配置性,提出基于非二元约束的逻辑产品模型,给出基于动态变量序的一类配置求解算法。采用仿真实验比较各种算法的求解效率,指出各算法在不同配置约束密度下快速求解配置问题时的适用范围。基于逻辑产品模型,依据配置问题实际性质,采用相应配置求解算法,能够更快地生成符合客户要求的产品配置方案。 展开更多
关键词 大规模定制 逻辑产品模型 产品配置 非二元约束满足问题
在线阅读 下载PDF
方位关系约束满足问题的推理求解 被引量:1
17
作者 郭平 侯睿 +1 位作者 杨国洲 范丽 《计算机科学》 CSCD 北大核心 2005年第8期170-172,181,共4页
约束满足问题(Constraint Satisfaction Problems CSP)是人工智能的一个研究领域,诸如空间查找、规划等问题都可转化为约束满足问题。方位关系是空间关系的重要组成部分,用以确定空间对象间的一种顺序。本文研究了空间方位关系模型,给... 约束满足问题(Constraint Satisfaction Problems CSP)是人工智能的一个研究领域,诸如空间查找、规划等问题都可转化为约束满足问题。方位关系是空间关系的重要组成部分,用以确定空间对象间的一种顺序。本文研究了空间方位关系模型,给出了方位关系约束的一般表示形式。在此基础上,利用组合表推理给出了方位关系约束满足问题的一个推理求解算法,该算法的时间复杂度为O(n^2)。 展开更多
关键词 约束满足问题 方位关系 定性空间推理 组合表 求解算法 推理 空间关系 时间复杂度 人工智能 组成部分
在线阅读 下载PDF
稀疏二元约束满足问题的环割集粒子群算法(英文) 被引量:1
18
作者 杨轻云 孙吉贵 +1 位作者 张居阳 王纯杰 《广西师范大学学报(自然科学版)》 CAS 北大核心 2006年第4期135-138,共4页
提出了一个基于环割集的粒子群算法求解稀疏二元约束满足问题,把环割集和粒子群算法结合在一起,利用环割集减少粒子群算法中粒子的维数。用随机的稀疏二元约束满足问题进行实验,结果表明改进后的粒子群算法是有效的,迭代次数约为原算法... 提出了一个基于环割集的粒子群算法求解稀疏二元约束满足问题,把环割集和粒子群算法结合在一起,利用环割集减少粒子群算法中粒子的维数。用随机的稀疏二元约束满足问题进行实验,结果表明改进后的粒子群算法是有效的,迭代次数约为原算法的十分之一,运行时间比原算法运行时间少约7倍。 展开更多
关键词 二元约束满足问题 粒子群算法 环割集 弧相容
在线阅读 下载PDF
一类约束满足问题及其算法 被引量:2
19
作者 蒋本铁 毕世飞 《东北大学学报(自然科学版)》 EI CAS CSCD 北大核心 2003年第12期1169-1172,共4页
针对具有解析约束形式、同一变量多赋值的约束满足问题,提出了一种新的约束满足问题定义·通过一种特殊约束满足问题的研究提出一套建立在这个定义基础之上的概念和三种算法:整数规划法、不等式组法和直接求解不定方程法,详细研究... 针对具有解析约束形式、同一变量多赋值的约束满足问题,提出了一种新的约束满足问题定义·通过一种特殊约束满足问题的研究提出一套建立在这个定义基础之上的概念和三种算法:整数规划法、不等式组法和直接求解不定方程法,详细研究了其中的第三种算法,并给出了最坏情况下的时间复杂度,从而能够比较清晰地描述一类约束满足问题的一般分析过程,揭示了约束满足问题同经典的整数规划、数论和整数环论的联系· 展开更多
关键词 约束满足问题(CSP) 不定方程 整数规划 偏移方程 时间复杂度
在线阅读 下载PDF
分布式约束满足问题及其在MAS任务分配中的应用 被引量:1
20
作者 刘鸿福 陈璟 沈林成 《计算机应用研究》 CSCD 北大核心 2009年第2期515-517,520,共4页
针对多智能体系统(MAS)任务分配问题中多个任务与MAS两者的分布式特征,将任务分配问题形式化为分布式约束满足问题(DCSP)进行求解,分别建立了以任务为中心和以agent为中心两种MAS任务分配模型,基于改进的DCSP分布式并行求解算法,提出了... 针对多智能体系统(MAS)任务分配问题中多个任务与MAS两者的分布式特征,将任务分配问题形式化为分布式约束满足问题(DCSP)进行求解,分别建立了以任务为中心和以agent为中心两种MAS任务分配模型,基于改进的DCSP分布式并行求解算法,提出了基于DCSP的MAS任务分配问题求解框架。该方法适合求解agent间通信有随机延迟以及agent间存在多约束的问题,应用实例的求解表明了其实用性与有效性。 展开更多
关键词 分布式约束满足问题 多智能体系统 任务分配 并行动态回溯算法 求解框架
在线阅读 下载PDF
上一页 1 2 10 下一页 到第
使用帮助 返回顶部