基于CSP的配电网大面积断电供电恢复模型和算法 被引量：20

1

作者 刘栋 陈允平 +2 位作者 沈广 樊友平 徐箭 《电力系统自动化》 EI CSCD 北大核心 2006年第10期28-32,共5页

当配电网中发生大规模停电事故时,必须尽快制定供电恢复计划。文中建立了供电恢复的约束满足问题(CSP)模型。配电网恢复中的各种因素被表示为CSP模型中的变量、约束和目标。为提高在线计算速度,与故障模式无关的计算量被转移到离线方式... 当配电网中发生大规模停电事故时,必须尽快制定供电恢复计划。文中建立了供电恢复的约束满足问题(CSP)模型。配电网恢复中的各种因素被表示为CSP模型中的变量、约束和目标。为提高在线计算速度,与故障模式无关的计算量被转移到离线方式下进行。同时,为提高求解效率,对解空间进行排序,使给定的目标函数对单个变量具有局部单调性。使用回溯算法对目标函数进行优化。算例结果证明了所提出的方法的可行性和优越性。 展开更多

关键词 配电网 供电恢复 约束满足问题 二元约束满足问题 回溯算法

在线阅读 下载PDF 职称材料

卫星测控资源调度CSP模型研究 被引量：6

2

作者 凌晓冬 武小悦 +2 位作者 刘冰 薛国虎 吴金美 《系统工程与电子技术》 EI CSCD 北大核心 2012年第11期2275-2279,共5页

对卫星测控调度问题的建模技术进行了研究,分析了问题的特点。首先对场景、需求和任务进行了形式化建模;然后针对测控调度问题中涉及的资源、时间、关系等主要约束类型进行了分析和模型描述,并按照不同类型的测控需求确定了测控调度的... 对卫星测控调度问题的建模技术进行了研究,分析了问题的特点。首先对场景、需求和任务进行了形式化建模;然后针对测控调度问题中涉及的资源、时间、关系等主要约束类型进行了分析和模型描述,并按照不同类型的测控需求确定了测控调度的目标函数;最后在此基础上建立了问题的约束满足问题(constraint satisfied problem,CSP)模型,并针对模型进行了求解方法研究。 展开更多

关键词 卫星测控 资源调度 约束满足问题

在线阅读 下载PDF 职称材料

弧一致性符号ADD算法及在CSP求解中的应用 被引量：3

3

作者 王腾飞 徐周波 古天龙 《计算机科学》 CSCD 北大核心 2013年第12期243-247,共5页

约束满足问题(CSP)是人工智能领域中一个重要的研究课题,弧一致性(AC)技术是提高约束满足问题求解效率的一种有效技术。对传统弧一致性技术进行了改进,给出了弧一致性的符号代数决策图(ADD)算法并将其应用于CSP求解。传统弧一致性技术... 约束满足问题(CSP)是人工智能领域中一个重要的研究课题,弧一致性(AC)技术是提高约束满足问题求解效率的一种有效技术。对传统弧一致性技术进行了改进,给出了弧一致性的符号代数决策图(ADD)算法并将其应用于CSP求解。传统弧一致性技术在压缩问题的搜索空间时,一次只能处理一条约束上的一个值对;而借助ADD技术来压缩问题搜索空间,可以一次处理多条约束。算法首先通过01编码将CSP问题描述成伪布尔函数,并由ADD进行表示。然后基于传统弧一致性技术的算法思想,利用ADD的交、并和提取操作来实现约束传播和变量域过滤。最后将弧一致性的符号ADD算法嵌入到BT搜索算法中来实现对CSP的求解。对标准库中的测试用例以及随机生成的测试用例进行了实验仿真,结果表明,该算法求解CSP的时间既优于带弧一致性维护的回跳算法MAC3+BJ和MAC2001+BJ,也优于采用传统数据结构进行预处理的CSP求解算法BT+MPAC和BT+MPAC*。 展开更多

关键词 约束满足问题(csp) 代数决策图(ADD) 弧一致性(AC)

在线阅读 下载PDF 职称材料

基于学习-推理的约束求解方法研究进展

4

作者 邹悦 赖家洋 张永刚 《软件学报》 EI CSCD 北大核心 2024年第1期220-235,共16页

机器学习与自动推理的融合是当前人工智能研究的新趋势.约束满足问题是人工智能研究的经典问题,现实世界中大量的调度、规划和配置等问题均可以建模为约束满足问题,高效的求解算法一直是研究热点.近年来涌现出众多将机器学习应用于约束... 机器学习与自动推理的融合是当前人工智能研究的新趋势.约束满足问题是人工智能研究的经典问题,现实世界中大量的调度、规划和配置等问题均可以建模为约束满足问题,高效的求解算法一直是研究热点.近年来涌现出众多将机器学习应用于约束满足问题求解的新方法,这些基于“学习-推理”的新方法为约束满足问题求解开辟了新方向并展示出巨大发展潜力,方法的突出优点是适应性强、可在线优化并具有更强的可扩展性.将当前的“学习-推理”方法分为基于消息传递神经网络、基于序列到序列和基于最优化等3类进行综述,详细分析各类方法的特点和在不同的问题集上求解效果,尤其对每类方法所涵盖的相关工作进行多角度的对比分析.最后,对基于“学习-推理”的约束求解方法进行总结和展望. 展开更多

关键词 约束满足问题 消息传递神经网络 序列到序列 强化学习 最优化

在线阅读 下载PDF 职称材料

基于约束满足问题的应急决策 被引量：5

5

作者 董存祥 王文俊 杨鹏 《计算机工程》 CAS CSCD 北大核心 2010年第7期276-278,共3页

针对如何快速、高效地生成应对突发事件处置方案的问题,提出一种基于约束满足问题(CSP)的应急决策方法。根据为应对突发事件而预先制定的应急预案,采用变量和约束来表示应急决策问题的对象和规则,构建应急决策模型,通过CSP的求解迅速生... 针对如何快速、高效地生成应对突发事件处置方案的问题,提出一种基于约束满足问题(CSP)的应急决策方法。根据为应对突发事件而预先制定的应急预案,采用变量和约束来表示应急决策问题的对象和规则,构建应急决策模型,通过CSP的求解迅速生成满足约束规则的应急处置方案。以国家地震应急预案为例进行分析,结果证明了该方法在应急决策中的可行性。 展开更多

关键词 应急决策 约束满足问题 应急预案 约束 应急方案

在线阅读 下载PDF 职称材料

卫星任务调度问题的约束规划模型 被引量：28

6

作者 陈英武 方炎申 +1 位作者 李菊芳 贺仁杰 《国防科技大学学报》 EI CAS CSCD 北大核心 2006年第5期126-132,共7页

卫星任务规划与调度是空间资源管理的重要内容之一,其目的在于为卫星系统的任务计划编制提供科学合理的决策手段与依据。卫星任务调度问题的重要特点在于,调度任务存在可见时间窗口约束。只有在可见时间窗口内,调度任务才可能执行并完... 卫星任务规划与调度是空间资源管理的重要内容之一,其目的在于为卫星系统的任务计划编制提供科学合理的决策手段与依据。卫星任务调度问题的重要特点在于,调度任务存在可见时间窗口约束。只有在可见时间窗口内,调度任务才可能执行并完成。在进行合理假设的基础上,建立卫星任务调度问题的约束规划模型。对基本禁忌搜索算法进行改进,提出了模型求解的变邻域禁忌搜索算法。应用结果表明,约束规划模型的建立与求解是合理的。 展开更多

关键词 卫星 任务调度 约束满足问题 约束规划 变邻域禁忌搜索算法

在线阅读 下载PDF 职称材料

非二元约束满足问题求解 被引量：16

7

作者 孙吉贵 景沈艳 《计算机学报》 EI CSCD 北大核心 2003年第12期1746-1752,共7页

在约束满足问题 (CSP)的研究中 ,大部分工作集中在二元约束 ,但处理实际问题时 ,常常会遇到非二元约束的情况 .该文在概要地讨论了两类求解非二元约束问题方法的基础上 ,研究了一种将约束传播技术和一般弧相容回溯算法相结合的非二元约... 在约束满足问题 (CSP)的研究中 ,大部分工作集中在二元约束 ,但处理实际问题时 ,常常会遇到非二元约束的情况 .该文在概要地讨论了两类求解非二元约束问题方法的基础上 ,研究了一种将约束传播技术和一般弧相容回溯算法相结合的非二元约束求解方法 ,并在设计开发的约束求解工具“明月SOLVER1.0”中实现了该方法 ,以典型例子给出了实现系统的运行结果 . 展开更多

关键词 非二元约束满足问题 对偶图法 隐藏变量法 启发式搜索算法

在线阅读 下载PDF 职称材料

基于AER模型的配电网大面积断电供电恢复算法 被引量：11

8

作者 徐玉琴 张丽 王增平 《电网技术》 EI CSCD 北大核心 2009年第12期66-71,共6页

针对现有的配电网供电恢复算法普遍存在计算速度慢或难以搜索到全局最优解的问题,提出了基于约束满足问题的主体-环境-规则(agent-environment-rules,AER)模型对配电网大面积断电情况下的供电恢复问题进行求解。配电网供电恢复中的各种... 针对现有的配电网供电恢复算法普遍存在计算速度慢或难以搜索到全局最优解的问题,提出了基于约束满足问题的主体-环境-规则(agent-environment-rules,AER)模型对配电网大面积断电情况下的供电恢复问题进行求解。配电网供电恢复中的各种因素被表示为AER模型中的Agent、环境和环境更新规则。该模型结合多主体系统(MAS),构造了一个格子环境,所有Agent均可感知局部环境并在环境中进行移动。文章提出的算法在离线状态下计算与故障形式无关的基础数据,并使用异步回溯算法通过Agent间的交互和Agent与环境间的相互影响来不断地更新每个Agent在解空间的位置,使其能够快速地搜索到最优解。算例结果表明了该算法的有效性和优越性。 展开更多

关键词 配电网 供电恢复 主体-环境-规则(AER)模型 约束满足问题(csp) 异步回溯算法

在线阅读 下载PDF 职称材料

基于问题结构的启发式策略在析取时态问题求解中的应用 被引量：4

9

作者 刘越畅 姜云飞 钱红 《计算机研究与发展》 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 职称材料

一种新的基于完全独立相容性的预处理技术 被引量：3

10

作者 朱兴军 孙吉贵 +1 位作者 张永刚 李莹 《自动化学报》 EI CSCD 北大核心 2009年第1期71-76,共6页

研究了求解约束满足问题(Constraint satisfaction problem,CSP)中的预处理技术.首先提出了子论域上的完全独立相容性(Entirety singleton consistency,ESC)概念和相应算法,分析并证明了算法的复杂性和正确性,而后对其两条重要性质进行... 研究了求解约束满足问题(Constraint satisfaction problem,CSP)中的预处理技术.首先提出了子论域上的完全独立相容性(Entirety singleton consistency,ESC)概念和相应算法,分析并证明了算法的复杂性和正确性,而后对其两条重要性质进行了详细证明.基于此概念和性质,提出了一种基于完全独立相容性的预处理算法:SAC-ESC算法,并给出了正确性证明.最后,本文采用分治思想,根据不同问题的论域自适应地合理划分其子论域.实验结果表明,对于随机问题、鸽巢问题、N皇后问题和基准用例,算法SAC-ESC的执行效率大约是目前流行算法SAC-SDS和SAC-3的3～20倍. 展开更多

关键词 约束满足问题 预处理技术 完全独立相容性 分治策略

在线阅读 下载PDF 职称材料

基于实例化次数的约束求解方法研究 被引量：5

11

作者 李占山 张乾 张良 《计算机研究与发展》 EI CSCD 北大核心 2015年第5期1091-1097,共7页

启发式是约束满足问题领域的重要研究课题,有效的启发式方法可以极大地提高问题的求解效率.在求解约束满足问题时,发现变量实例化失败次数与值实例化成功次数反映了变量和值与已实例化集合之间的关系,将实例化次数加以利用可以对问题求... 启发式是约束满足问题领域的重要研究课题,有效的启发式方法可以极大地提高问题的求解效率.在求解约束满足问题时,发现变量实例化失败次数与值实例化成功次数反映了变量和值与已实例化集合之间的关系,将实例化次数加以利用可以对问题求解效率有很大的影响.据此,提出了实例化次数的权值统计方法,并将其与现有启发式方法相结合,提出了实例化次数启发式及其相应的约束求解算法MAC_Try,并证明了其在一个分支上的最坏时间复杂度是O(ned3).大量实验结果表明,新的MAC_Try方法在求解效率上明显优于国际上流行的MAC3rm方法. 展开更多

关键词 人工智能 约束满足问题 启发式 变量实例化失败次数 值实例化成功次数

在线阅读 下载PDF 职称材料

基于GPU的约束网络模型和并行弧相容算法 被引量：4

12

作者 李哲 李占山 李颖 《计算机研究与发展》 EI CSCD 北大核心 2017年第3期514-528,共15页

弧相容算法是约束满足问题的基本压缩求解空间算法之一,很多优秀的高级算法都以高性能的弧相容算法作为核心.近年来,以GPU为计算工具加速并行计算被用来尝试解决许多问题.基于GPU和基本的并行算法,提出一种适合GPU运算的约束网络表示模... 弧相容算法是约束满足问题的基本压缩求解空间算法之一,很多优秀的高级算法都以高性能的弧相容算法作为核心.近年来,以GPU为计算工具加速并行计算被用来尝试解决许多问题.基于GPU和基本的并行算法,提出一种适合GPU运算的约束网络表示模型N-E,给出其生成算法BuildNE.结合细粒度的弧相容算法——AC4,基于N-E模型提出AC4的并行化算法AC4^(GPU)与改进算法AC4^(GPU)+,使弧相容算法得以扩展到GPU上执行.实验结果验证了该算法的可行性,与AC4算法的比较,其在一些规模较小的问题上取得了10%~50%的加速,在一些规模较大的问题上则加速1~2个数量级.为今后进一步在GPU上以并行形式解决其他约束满足问题提供了一种核心算法方案. 展开更多

关键词 人工智能 约束满足问题 弧相容 图形处理器 计算统一设备架构

在线阅读 下载PDF 职称材料

基于邻居信息聚合的子图同构匹配算法 被引量：7

13

作者 徐周波 李珍 +1 位作者 刘华东 李萍 《计算机应用》 CSCD 北大核心 2021年第1期43-47,共5页

图匹配在现实中被广泛运用,而子图同构匹配是其中的研究热点,具有重要的科学意义与实践价值。现有子图同构匹配算法大多基于邻居关系来构建约束条件,而忽略了节点的局部邻域信息。对此,提出了一种基于邻居信息聚合的子图同构匹配算法。... 图匹配在现实中被广泛运用,而子图同构匹配是其中的研究热点,具有重要的科学意义与实践价值。现有子图同构匹配算法大多基于邻居关系来构建约束条件,而忽略了节点的局部邻域信息。对此,提出了一种基于邻居信息聚合的子图同构匹配算法。首先,将图的属性和结构导入到改进的图卷积神经网络中进行特征向量的表示学习,从而得到聚合后的节点局部邻域信息;然后,根据图的标签、度等特征对匹配顺序进行优化,以提高算法的效率;最后,将得到的特征向量和优化的匹配顺序与搜索算法相结合,建立子图同构的约束满足问题(CSP)模型,并结合CSP回溯算法对模型进行求解。实验结果表明,与经典的树搜索算法和约束求解算法相比,该算法可以有效地提高子图同构的求解效率。 展开更多

关键词 子图同构 约束满足问题 图卷积神经网络 信息聚合 图匹配

在线阅读 下载PDF 职称材料

多值传播的相容性技术 被引量：2

14

作者 朱兴军 张永刚 +1 位作者 李莹 张长胜 《自动化学报》 EI CSCD 北大核心 2009年第10期1296-1301,共6页

相容性技术是求解约束满足问题的重要手段.本文针对目前已有相容性算法的单值传播特点,提出多值传播理论,证明出k次单值传播与一次多值传播的等价性,在此基础上,给出多值传播的弧相容定理.将该定理与目前流行的Singleton弧相容技术结合... 相容性技术是求解约束满足问题的重要手段.本文针对目前已有相容性算法的单值传播特点,提出多值传播理论,证明出k次单值传播与一次多值传播的等价性,在此基础上,给出多值传播的弧相容定理.将该定理与目前流行的Singleton弧相容技术结合,得到多值传播算法SAC-MP,并证明其完备性和正确性.通过对随机问题、N皇后、鸽巢问题及基准用例的测试表明,算法SAC-MP的执行效率是已有算法SAC-SDS和SAC-3的2～3倍. 展开更多

关键词 约束满足问题 相容性技术 多值传播 Singleton弧相容

在线阅读 下载PDF 职称材料

一类约束满足问题及其算法 被引量：2

15

作者 蒋本铁 毕世飞 《东北大学学报（自然科学版）》 EI CAS CSCD 北大核心 2003年第12期1169-1172,共4页

针对具有解析约束形式、同一变量多赋值的约束满足问题,提出了一种新的约束满足问题定义·通过一种特殊约束满足问题的研究提出一套建立在这个定义基础之上的概念和三种算法:整数规划法、不等式组法和直接求解不定方程法,详细研究... 针对具有解析约束形式、同一变量多赋值的约束满足问题,提出了一种新的约束满足问题定义·通过一种特殊约束满足问题的研究提出一套建立在这个定义基础之上的概念和三种算法:整数规划法、不等式组法和直接求解不定方程法,详细研究了其中的第三种算法,并给出了最坏情况下的时间复杂度,从而能够比较清晰地描述一类约束满足问题的一般分析过程,揭示了约束满足问题同经典的整数规划、数论和整数环论的联系· 展开更多

关键词 约束满足问题(csp) 不定方程 整数规划 偏移方程 时间复杂度

在线阅读 下载PDF 职称材料

约束满足问题中一致性算法的分析与研究 被引量：1

16

作者 姚向华 杨清宇 施仁 《计算机应用与软件》 CSCD 北大核心 2007年第8期11-13,52,共4页

约束满足问题是人工智能领域的重要研究方向,其求解方法有三种,搜索、一致性算法和约束传播,其中一致性算法通常通过缩减问题域来提高搜索算法的效率。着重介绍了几种常用的一致性算法,并对几种常用算法进行了分析、比较和研究。

关键词 约束满足问题 一致性算法 弧一致性

在线阅读 下载PDF 职称材料

可满足实例的归结复杂度 被引量：1

17

作者 沈静 梅丹 《计算机工程与应用》 CSCD 2014年第22期69-72,共4页

GRB模型是一种随机约束满足问题模型,此模型具有精确的可满足相变现象。针对实验中出现的GRB模型在相变区域产生的可满足实例都是难解的现象,利用子句宽度和归结复杂度的关系证明了GRB模型在相变点附近产生的可满足实例对于树型归结证... GRB模型是一种随机约束满足问题模型,此模型具有精确的可满足相变现象。针对实验中出现的GRB模型在相变区域产生的可满足实例都是难解的现象,利用子句宽度和归结复杂度的关系证明了GRB模型在相变点附近产生的可满足实例对于树型归结证明具有指数下界。因此从理论上证明了在相变区域产生的可满足实例对基于归结的算法是难解的。 展开更多

关键词 归结复杂度 约束满足问题 可满足相变

在线阅读 下载PDF 职称材料

结合方向关系和拓扑关系的约束满足推理 被引量：1

18

作者 侯睿 《计算机工程与应用》 CSCD 北大核心 2008年第16期63-65,72,共4页

结合定性空间推理中的区域连接演算(RCC)和基于区域的主方向关系模型,应用拓扑和方向关系上的复合表,将方向关系和拓扑关系的推理看作约束满足问题(CSP),给出了结合RCC8和主方向关系的约束满足问题推理算法,该算法可结合拓扑关系和方向... 结合定性空间推理中的区域连接演算(RCC)和基于区域的主方向关系模型,应用拓扑和方向关系上的复合表,将方向关系和拓扑关系的推理看作约束满足问题(CSP),给出了结合RCC8和主方向关系的约束满足问题推理算法,该算法可结合拓扑关系和方向关系进行推理。 展开更多

关键词 拓扑关系 方向关系 约束满足问题 定性空间推理

在线阅读 下载PDF 职称材料

基于MCO算法的应答式标校卫星资源调度研究

19

作者 李红艳 黄琼 +1 位作者 杨维维 邹春华 《科学技术与工程》 北大核心 2015年第35期193-196,共4页

为了对标校卫星资源进行合理的分配,提出了基于MCO算法的应答式标校卫星资源调度方法。在分析标校卫星资源调度问题特点的基础上,建立了资源调度问题的CSP数学模型,并利用MCO算法进行了仿真试验,验证了方法的可行性。

关键词 标校卫星 资源调度 多方法协作优化(MCO) 约束满足问题( csp) 模型

在线阅读 下载PDF 职称材料

约束可满足问题求解策略的改进和实验结果

20

作者 陈荣 孙吉贵 刘瑞胜 《吉林大学自然科学学报》 CAS CSCD 1997年第2期27-30,共4页

通过对那些属于NP－Complete的约束可满足问题（如图着色、规划、SAT问题等）的求解实验，指出了局部搜索算法的局限性，由此给出改进的搜索策略．实验结果表明，应用改进的搜索策略使算法效率明显提高．

关键词 约束可满足问题 局部搜索算法 控制策略

在线阅读 下载PDF 职称材料