期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到10篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
约束可满足问题求解策略的改进和实验结果
1
作者 陈荣 孙吉贵 刘瑞胜 《吉林大学自然科学学报》 CAS CSCD 1997年第2期27-30,共4页
通过对那些属于NP－Complete的约束可满足问题（如图着色、规划、SAT问题等）的求解实验，指出了局部搜索算法的局限性，由此给出改进的搜索策略．实验结果表明，应用改进的搜索策略使算法效率明显提高．
关键词 约束可满足问题 局部搜索算法 控制策略
在线阅读 下载PDF
一个约束可满足性问题的演化算法求解
2
作者 李景治 康立山 方宁 《计算机科学》 CSCD 北大核心 2004年第4期137-139,共3页
约束可满足性问题是一大类常出现于现实应用中的复杂问题,因其繁多的约束条件而出名。本文针对一个经典的约束可满足性问题——斑马属谁问题,基于演化算法的框架进行求解。我们采用矩阵的表示方式,并设计了相应的杂交和变异算子。实验表... 约束可满足性问题是一大类常出现于现实应用中的复杂问题,因其繁多的约束条件而出名。本文针对一个经典的约束可满足性问题——斑马属谁问题,基于演化算法的框架进行求解。我们采用矩阵的表示方式,并设计了相应的杂交和变异算子。实验表明,演化算法能高效地解决该问题。 展开更多
关键词 约束可满足性问题 演化算法 斑马属谁问题 优化问题 计算机
在线阅读 下载PDF
可满足问题中的模型计数 被引量：3
3
作者 谷文祥 朱磊 +1 位作者 黄平 殷明浩 《智能系统学报》 北大核心 2012年第1期33-39,共7页
模型计数问题是指计算给定问题的解的个数,这是一类比决策更困难的问题,也是人工智能领域研究的一个热点问题.对模型计数问题的研究不仅可以提高算法的求解效率,更能促进对问题困难本质的了解.以可满足问题(命题可满足(SAT)和约束可满... 模型计数问题是指计算给定问题的解的个数,这是一类比决策更困难的问题,也是人工智能领域研究的一个热点问题.对模型计数问题的研究不仅可以提高算法的求解效率,更能促进对问题困难本质的了解.以可满足问题(命题可满足(SAT)和约束可满足问题(CSP))为例,从精确算法和近似求解两方面综述了模型计数问题的研究现状,重点介绍了相关概念以及各个算法之间的优缺点,并提出了有待解决的开放性问题,对模型计数问题的研究予以了总结和展望. 展开更多
关键词 人工智能 约束可满足问题 命题可满足问题 模型计数
在线阅读 下载PDF
基于问题结构的启发式策略在析取时态问题求解中的应用 被引量：4
4
作者 刘越畅 姜云飞 钱红 《计算机研究与发展》 EI CSCD 北大核心 2008年第11期1840-1849,共10页
智能规划和调度中的许多时态(或时序)问题可以表达为析取时态问题(DTP).目前,多数析取时态问题求解器将析取时态问题看作约束可满足问题(CSP)或可满足问题(SAT),并使用标准的CSP(或SAT)技术来求解DTP.虽然这些技术在求解DTP时已经可以... 智能规划和调度中的许多时态(或时序)问题可以表达为析取时态问题(DTP).目前,多数析取时态问题求解器将析取时态问题看作约束可满足问题(CSP)或可满足问题(SAT),并使用标准的CSP(或SAT)技术来求解DTP.虽然这些技术在求解DTP时已经可以达到较好的效率,然而,文献中极少研究者关注利用DTP本身特殊的结构中隐含的信息来帮助DTP求解.尝试从DTP的拓扑结构中提取出一种启发式策略.这种启发式策略试图从DTP的结构中提取出定性和定量的标准(TVS)来选择优先赋给当前变量的值,同时基于这种定量值选择标准设计了一个动态变量选择策略(TVO).这种技术基于定义的一种DTP的图模型——析取时态网络(DTN).实验结果显示TVS和TVO策略均可以有效减小搜索中节点访问次数;同时它与已有的RSV值选择策略效果相当,而TVO优于最少剩余值(MRV)方法(节省一个数量级以上的访问节点数);此外,配合其他CSP启发技术,可以得到一个高效的DTP求解算法DTN-DTP. 展开更多
关键词 时态推理 析取时态问题 约束可满足问题 值选择 变量排序 智能规划和调度
在线阅读 下载PDF
最小冲突启发式辅助离散的海洋捕食者求解RB模型
5
作者 杨易 王晓峰 +2 位作者 华盈盈 杨澜 庞立超 《郑州大学学报(理学版)》 北大核心 2025年第4期71-79,共9页
修正的B(revised B,RB)模型是一种在约束可满足问题中具备精确相变增长域的随机实例模型,提出一种基于元启发式与局部搜索相结合的求解算法用于解决RB模型实例。以海洋捕食者算法为基础,对初始解空间进行编码离散化,并对海洋捕食者算法... 修正的B(revised B,RB)模型是一种在约束可满足问题中具备精确相变增长域的随机实例模型,提出一种基于元启发式与局部搜索相结合的求解算法用于解决RB模型实例。以海洋捕食者算法为基础,对初始解空间进行编码离散化,并对海洋捕食者算法的三个核心阶段进行优化。有针对性地将当前候选解向最优解方向引导搜索,最终阶段借助局部搜索方法,当所得当前最优解无法满足RB模型实例解时,传递至退火策略的最小冲突启发式,进一步提升算法求解效能。实验证明,与多种启发式算法相比,所提算法在精度与时间效率方面均呈现明显提升,即便在接近可满足性相变点的情形下仍展现出高概率求解的潜力。 展开更多
关键词 RB模型 约束可满足问题 海洋捕食者算法 元启发式 最小冲突启发式
在线阅读 下载PDF
可视化析取时态推理器的设计与实现
6
作者 刘越畅 林晓骏 汤庸 《中山大学学报（自然科学版）》 CAS CSCD 北大核心 2013年第6期38-43,共6页
时态推理是人工智能领域的重要研究方向。析取时态问题(disjunctive temporal problem,DTP)是一类表达力极强的定量时态模型,被广泛应用于智能规划和调度领域的时态建模,近年来吸引了研究人员的关注。提出DTP弱蕴含性和弱演化析取时态网... 时态推理是人工智能领域的重要研究方向。析取时态问题(disjunctive temporal problem,DTP)是一类表达力极强的定量时态模型,被广泛应用于智能规划和调度领域的时态建模,近年来吸引了研究人员的关注。提出DTP弱蕴含性和弱演化析取时态网络(weakly evolutional disjunctive temporal network,WEDTN)的定义,基于WEDTN设计和实现了可视化DTP求解器TRSE。系统演示发现基于WEDTN的可视化比常见的基于搜索树的可视化更能有利于人们直观理解DTP的求解算法过程、挖掘和发现问题的结构特征对求解过程的影响。 展开更多
关键词 人工智能 时态推理 析取时态问题 约束可满足问题 弱演化析取时态网络
在线阅读 下载PDF
基于分层约束图的多节点探测器任务规划方法
7
作者 付康 赵清杰 杨和星 《深空探测学报(中英文)》 2025年第3期305-314,共10页
针对多节点探测器的附着任务规划问题,提出了一种基于分层约束图的约束可满足任务规划方法。介绍了时间资源约束的表示方式、任务时间网络和分层约束图模型,并将该问题转化为约束可满足问题。该方法通过任务时间网络推理变量的值域信息... 针对多节点探测器的附着任务规划问题,提出了一种基于分层约束图的约束可满足任务规划方法。介绍了时间资源约束的表示方式、任务时间网络和分层约束图模型,并将该问题转化为约束可满足问题。该方法通过任务时间网络推理变量的值域信息,并采用基于约束双向支持的弧相容算法进行约束传播。设计了结合层级约束信息的变量启发式规则以及优先满足资源约束的值启发式规则。实验结果验证了所提出方法的有效性。 展开更多
关键词 多节点探测器 任务规划 分层约束图 约束可满足问题 启发式规则
在线阅读 下载PDF
利用CSP求解极小碰集的方法 被引量：8
8
作者 王艺源 欧阳丹彤 +1 位作者 张立明 张永刚 《计算机研究与发展》 EI CSCD 北大核心 2015年第3期588-595,共8页
基于模型诊断是人工智能领域中具有挑战性的问题,包含了很多人工智能中的关键问题,其研究对整个人工智能领域起着重要推动作用.在基于模型诊断中,候选诊断结果通常由所有极小冲突集对应的所有极小碰集所描述,求出所有极小碰集是其核心... 基于模型诊断是人工智能领域中具有挑战性的问题,包含了很多人工智能中的关键问题,其研究对整个人工智能领域起着重要推动作用.在基于模型诊断中,候选诊断结果通常由所有极小冲突集对应的所有极小碰集所描述,求出所有极小碰集是其核心问题之一.提出一种将极小碰集问题转换为约束满足问题的方法,该方法调用成熟的CSP求解器进行求解,扩展了约束可满足问题的应用领域.首次提出hard-冲突集和soft-冲突集的概念,并给出利用所提的方法分别求解具有一些特征的极小碰集:小于固定长度、不含特定元素及包含hard-冲突集和soft-冲突集.实验结果表明,提出的方法易于实现、扩展性强,对于特定类型极小碰集问题的求解效率较高. 展开更多
关键词 极小碰集 约束可满足问题 基于模型诊断 hard-冲突集 soft-冲突集
在线阅读 下载PDF
RB模型实例集上置信传播算法的收敛性 被引量：11
9
作者 王晓峰 许道云 《软件学报》 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
布尔Game的核求解算法
10
作者 王博 刘惊雷 《计算机研究与发展》 EI CSCD 北大核心 2018年第8期1735-1750,共16页
布尔Game是一种重要的多Agent合作求解框架,它利用命题逻辑来表达静态的Agent博弈场景.其中每个Agent的目标采用命题公式来表示,其目标是否满足取决于命题公式的赋值.目前布尔Game多从知识表示角度和纳什均衡计算的角度来研究,从联盟角... 布尔Game是一种重要的多Agent合作求解框架,它利用命题逻辑来表达静态的Agent博弈场景.其中每个Agent的目标采用命题公式来表示,其目标是否满足取决于命题公式的赋值.目前布尔Game多从知识表示角度和纳什均衡计算的角度来研究,从联盟角度研究核的求解却不多.布尔Game求核是生成策略组合然后在策略组合内对比的过程.首先,通过以布尔Game的决策变量为顶点、以目标为超边,构成布尔Game上的超图结构来求满足核的约束满足的解.其次,以Agent为顶点、以Agent间的依赖关系为边构成的有向依赖图,可以将布尔Game根据稳定集分解为规模上更小的布尔Game.这2种结构简化了求核的生成过程和比较过程,进而在一定程度上提高了布尔Game求核效率.然后基于超图的超树分解和依赖图的稳定集分解,给出了不同的布尔Game的求核算法.最后实验验证了算法的有效性. 展开更多
关键词 布尔Game 核求解 约束可满足问题 超图 超树分解 稳定集
在线阅读 下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
关于我们 | 版权声明 | 联系我们 | 帮助中心| 意见反馈
主办单位：上海市教育委员会
技术支持：重庆维普资讯有限公司
渝公网安备 50019002500403号
使用帮助 返回顶部