小天体着陆任务规划修复的弧一致时间约束松弛推理方法

1

作者 徐瑞 李世震 +3 位作者 李朝玉 王棒 朱圣英 梁子璇 《宇航学报》 北大核心 2025年第3期544-554,共11页

任务规划修复是探测器着陆过程中自主应对不确知小天体环境的关键,而小天体着陆任务时间约束复杂且耦合,时间约束推理的速度直接影响到规划修复的效率。针对小天体着陆任务规划修复中的时间约束松弛推理慢问题,提出变量值域支持列表以... 任务规划修复是探测器着陆过程中自主应对不确知小天体环境的关键,而小天体着陆任务时间约束复杂且耦合,时间约束推理的速度直接影响到规划修复的效率。针对小天体着陆任务规划修复中的时间约束松弛推理慢问题,提出变量值域支持列表以保存变量间的影响关系,进而提出减量式弧一致时间约束松弛推理方法,减小约束松弛的推理范围,快速求解时间网络中变量的扩展值域,实现规划修复中时间约束松弛的高效推理。最后,以小天体着陆任务规划修复场景进行数值仿真,验证了方法的有效性和高效性,可为小天体着陆器快速任务规划修复提供支撑。 展开更多

关键词 小天体探测 任务规划 规划修复 时间约束推理 减量式弧一致

在线阅读 下载PDF 职称材料

基于耦合约束满足的雷达抗干扰试验样本空间特征分析

2

作者 龙志涛 程志君 封琛 《系统工程与电子技术》 北大核心 2025年第7期2136-2145,共10页

针对雷达抗干扰试验中试验因子多、样本空间大、全面试验成本高等问题,引入约束满足的方法对雷达抗干扰试验样本空间进行特征分析,实现对有限样本空间的约简。提出一种雷达抗干扰试验样本空间的分析框架,将对样本空间的分析从电磁领域... 针对雷达抗干扰试验中试验因子多、样本空间大、全面试验成本高等问题,引入约束满足的方法对雷达抗干扰试验样本空间进行特征分析,实现对有限样本空间的约简。提出一种雷达抗干扰试验样本空间的分析框架,将对样本空间的分析从电磁领域映射到数学领域,建立一种耦合约束满足模型。结合图论和基于孪生变量法的耦合约束求解算法以及弧相容算法对试验样本空间中的耦合约束进行求解。结果表明,经过求解后的空间比初始试验样本空间压缩了约76760.76倍,可较好地解决后续试验设计中样本集选取困难的问题,为雷达抗干扰试验的设计与评估提供支撑。 展开更多

关键词 抗干扰试验 样本空间 耦合约束满足问题 孪生变量法 弧相容

在线阅读 下载PDF 职称材料

小天体柔性着陆任务规划的动态时间约束推理方法 被引量：4

3

作者 王棒 徐瑞 +2 位作者 李朝玉 朱圣英 梁子璇 《宇航学报》 EI CAS CSCD 北大核心 2024年第2期212-221,共10页

针对小天体柔性着陆任务规划中的复杂耦合时间约束一致性推理效率问题,建立任务规划时间约束网络,通过划分时间约束类型,设计约束动态添加策略,提出动态弧一致时间约束推理方法,限制新添加约束的传播范围,局部求解时间网络一致性,实现... 针对小天体柔性着陆任务规划中的复杂耦合时间约束一致性推理效率问题,建立任务规划时间约束网络,通过划分时间约束类型,设计约束动态添加策略,提出动态弧一致时间约束推理方法,限制新添加约束的传播范围,局部求解时间网络一致性,实现规划过程中时间约束网络一致性的高效维护。最后,构建小天体着陆规划场景,生成着陆任务规划活动及时间约束。仿真结果表明,与现有时间约束推理方法相比,所提出方法提高了时间约束推理效率,进而可为小天体柔性着陆任务规划提供支撑。 展开更多

关键词 小天体探测 柔性着陆器 着陆任务规划 动态弧一致 时间约束推理

在线阅读 下载PDF 职称材料

一种基于预处理技术的约束满足问题求解算法 被引量：11

4

作者 孙吉贵 朱兴军 +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 职称材料

千岛岛弧2006年M_W8.3地震前震源机制解的一致性变化 被引量：11

5

作者 泽仁志玛 刁桂苓 +2 位作者 李志雄 王晓山 冯向东 《地震学报》 CSCD 北大核心 2009年第4期467-470,共4页

关键词 千岛岛弧 震源机制 一致性变化

在线阅读 下载PDF 职称材料

一种基于环切割的约束满足问题求解算法 被引量：7

6

作者 李占山 李宏博 +1 位作者 张永刚 王孜文 《计算机学报》 EI CSCD 北大核心 2011年第8期1528-1535,共8页

该文首先给出一种无环约束满足问题的无回溯搜索算法Tree_Search,然后将环切割思想嵌入到目前最流行的MAC3 rm算法中,给出一种新算法CCS.CCS将原回溯搜索过程分为两部分:第1部分通过回溯搜索求解环切割集中变量,将原问题化简成一个满足... 该文首先给出一种无环约束满足问题的无回溯搜索算法Tree_Search,然后将环切割思想嵌入到目前最流行的MAC3 rm算法中,给出一种新算法CCS.CCS将原回溯搜索过程分为两部分:第1部分通过回溯搜索求解环切割集中变量,将原问题化简成一个满足弧相容的无环问题;第2部分通过无回溯的Tree_Search算法求解化简后的无环问题,改进了MAC3rm算法.证明了MAC3rm算法在环切割集上求得的局部解一定可以扩展为一个全局解,并且如果原问题无解,则MAC3rm算法在环切割集上找不到局部解.实验结果显示,CCS的效率在大多数情况下高于MAC3rm.在求解随机问题相变阶段的测试用例时,CCS的效率最高可以达到MAC3rm的140倍.Benchmark中几组问题的测试结果显示,CCS在整体上效率高于MAC,最高可以达到MAC3rm的100倍以上. 展开更多

关键词 弧相容 无回溯搜索 环切割 MAC3rm

在线阅读 下载PDF 职称材料

镁合金微弧氧化过程中参数对成膜效果的影响和优化 被引量：12

7

作者 李文芳 黄京浩 +1 位作者 张永君 杜军 《材料工程》 EI CAS CSCD 北大核心 2006年第2期51-55,共5页

研究了在镁合金微弧氧化过程中电解液浓度、电流密度、氧化时间等参数对生成膜性质的影响。发现在不同的电解液浓度、电流密度条件下,电压都具有峰值平台,但峰值的大小及持续时间随条件的改变而改变。若采用分阶段提升电流密度可使得在... 研究了在镁合金微弧氧化过程中电解液浓度、电流密度、氧化时间等参数对生成膜性质的影响。发现在不同的电解液浓度、电流密度条件下,电压都具有峰值平台,但峰值的大小及持续时间随条件的改变而改变。若采用分阶段提升电流密度可使得在电压-时间曲线上获得多个峰值平台,同时控制氧化时间,从而能获得更好的膜层质量。 展开更多

关键词 微弧氧化 电解液浓度 电流密度 电压 氧化时间 峰值平台

在线阅读 下载PDF 职称材料

求解约束满足问题的改进蚁群优化算法 被引量：13

8

作者 张永刚 张思博 薛秋实 《通信学报》 EI CSCD 北大核心 2015年第5期40-46,共7页

为了克服传统的回溯算法在求解大型的约束满足问题时效率低,难以在合理的时间内求解这一问题。提出了基于启发式搜索的不完备性算法。结合不同算法特性,主要在蚁群优化元启发式约束求解算法的基础上提出了改进:一是在搜索之前用弧相容... 为了克服传统的回溯算法在求解大型的约束满足问题时效率低,难以在合理的时间内求解这一问题。提出了基于启发式搜索的不完备性算法。结合不同算法特性,主要在蚁群优化元启发式约束求解算法的基础上提出了改进:一是在搜索之前用弧相容检查进行预处理以压缩搜索空间,二是提出了一种新的蚁群算法参数设置方案,提高算法的适应性。最后将改进后的算法应用于求解随机问题和组合优化问题。实验结果表明,改进后的算法求解效率得到大幅度提高。 展开更多

关键词 约束满足问题 蚁群算法 弧相容 参数调节

在线阅读 下载PDF 职称材料

最先失败原则的约束传播算法 被引量：7

9

作者 孙吉贵 朱兴军 +1 位作者 张永刚 高健 《小型微型计算机系统》 CSCD 北大核心 2008年第4期678-681,共4页

约束满足问题是人工智能研究领域的重要问题.而弧相容算法是求解约束满足问题的重要工具.在弧相容算法中应用启发式规则已经证明是一种很有效的方式.本文提出一个基于最先失败原则的约束传播算法,该算法在搜索过程中更早地发现含有空域... 约束满足问题是人工智能研究领域的重要问题.而弧相容算法是求解约束满足问题的重要工具.在弧相容算法中应用启发式规则已经证明是一种很有效的方式.本文提出一个基于最先失败原则的约束传播算法,该算法在搜索过程中更早地发现含有空域的变量并提前进行回溯,从而提高问题求解效率.同时,在"明月1.0"架构下实现了该算法,实验结果表明使用最先失败原则的弧相容算法要比原来的算法效率上提高了约40%. 展开更多

关键词 最先失败原则 弧相容 约束满足问题 约束传播

在线阅读 下载PDF 职称材料

改进求解约束满足问题粗粒度弧相容算法 被引量：12

10

作者 李宏博 李占山 王涛 《软件学报》 EI CSCD 北大核心 2012年第7期1816-1823,共8页

约束满足问题在人工智能领域有着广泛的应用.研究了约束满足问题的粗粒度维持弧相容求解算法,发现在求解过程中,对于指向已赋值变量的弧存在无效的修正检查,证明了这类修正检查是冗余的.提出一种方法避免这类冗余的修正检查,给出改进后... 约束满足问题在人工智能领域有着广泛的应用.研究了约束满足问题的粗粒度维持弧相容求解算法,发现在求解过程中,对于指向已赋值变量的弧存在无效的修正检查,证明了这类修正检查是冗余的.提出一种方法避免这类冗余的修正检查,给出改进后的粗粒度弧相容算法的基本框架AC3_frame_ARR,该改进框架可用于改进所有粗粒度弧相容算法.实验结果表明,经过AC3_frame_ARR改进后的算法最多可以节省80%的修正检查次数和40%的求解耗时. 展开更多

关键词 约束满足问题 维持弧相容 粗粒度算法 修正检查

在线阅读 下载PDF 职称材料

求解过程中约束一致性维护的多层次策略研究 被引量：5

11

作者 韩靖 陈恩红 蔡庆生 《软件学报》 EI CSCD 北大核心 1998年第8期622-627,共6页

约束满足问题广泛出现于人工智能领域．在问题求解过程中保持局部约束一致性以缩小问题搜索空间是十分必要的．过去研究者对约束一致性算法的研究仅着眼于改进单个约束关系的维护．该文立足于更高点，提出从求解层次、维护层次和约束层... 约束满足问题广泛出现于人工智能领域．在问题求解过程中保持局部约束一致性以缩小问题搜索空间是十分必要的．过去研究者对约束一致性算法的研究仅着眼于改进单个约束关系的维护．该文立足于更高点，提出从求解层次、维护层次和约束层次优化约束一致性维护的原则及其相应策略，算法ＭＡＣ－Ｈ和ＡＣ－Ｉ＋进一步减少了约束一致性维护的总代价，并克服了原有算法空间复杂度大的缺点．文中以两个典型的约束满足问题：Ｎ－皇后问题和斑马难题为分析和测试的例子，证实了这些原则和策略的有效性． 展开更多

关键词 约束一致性维护 约束检测 多层次原则 人工智能

在线阅读 下载PDF 职称材料

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

12

作者 朱兴军 张永刚 +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 职称材料

负表约束的简单表缩减广泛弧相容算法 被引量：6

13

作者 李宏博 梁艳春 李占山 《软件学报》 EI CSCD 北大核心 2016年第11期2701-2711,共11页

广泛弧相容算法(generalized arc consistency,简称GAC),是求解约束满足问题的核心方法.表约束理论上可以表示所有约束关系,在过去10年中,有很多应用于表约束的广泛弧相容算法被提出来.在这些算法中,表缩减算法的效率非常高.但是目前的... 广泛弧相容算法(generalized arc consistency,简称GAC),是求解约束满足问题的核心方法.表约束理论上可以表示所有约束关系,在过去10年中,有很多应用于表约束的广泛弧相容算法被提出来.在这些算法中,表缩减算法的效率非常高.但是目前的表缩减算法只能应用于正表约束,无法直接应用于负表约束.首先,提出一种表缩减算法STR-N,可以直接应用于负表约束;然后,给出了STR-N的两个改进版本STR-N2和STR-NIC.实验结果显示,STR-N算法在负表约束上的求解效率具有明显的优势. 展开更多

关键词 约束满足问题 广泛弧相容 简单表缩减 负表约束

在线阅读 下载PDF 职称材料

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

14

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

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

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

在线阅读 下载PDF 职称材料

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

15

作者 李哲 李占山 李颖 《计算机研究与发展》 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 职称材料

基于动态值启发式的约束满足求解算法 被引量：2

16

作者 王孜文 李占山 +1 位作者 艾阳 李宏博 《计算机集成制造系统》 EI CSCD 北大核心 2011年第4期832-837,共6页

为提高约束满足问题的求解效率,提出了一种基于动态值启发式的约束满足问题求解算法。该算法在求解过程中吸收了以往启发式算法的优点,充分利用了预处理和弧相容检查阶段的信息。不但加入了变量启发式,而且在实例化变量时,对所有值的优... 为提高约束满足问题的求解效率,提出了一种基于动态值启发式的约束满足问题求解算法。该算法在求解过程中吸收了以往启发式算法的优点,充分利用了预处理和弧相容检查阶段的信息。不但加入了变量启发式,而且在实例化变量时,对所有值的优先级进行动态的改变,从而实现了动态值启发式。比较了静态值启发式和动态值启发式的效率,分析了该算法的优缺点。通过随机问题标准库用例测试表明,该算法比经典主流算法具有更好的效率优势。 展开更多

关键词 动态值启发式 值排序 约束满足问题 弧相容技术 启发式算法

在线阅读 下载PDF 职称材料

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

17

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

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

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

在线阅读 下载PDF 职称材料

约束满足问题的预处理方法研究 被引量：2

18

作者 陈恩红 蔡庆生 《计算机科学》 CSCD 北大核心 1994年第5期38-41,共4页

搜索控制问题是大多数人工智能问题求解面临的一个根本间题,而约束满足是解决这一问题的常用方法之一它源于机器视觉领域中的情景标识任务,如今在人工智能的众多领域(如规划、调度、时序推理)中获得了广泛的应用,受到了人工智能界的高... 搜索控制问题是大多数人工智能问题求解面临的一个根本间题,而约束满足是解决这一问题的常用方法之一它源于机器视觉领域中的情景标识任务,如今在人工智能的众多领域(如规划、调度、时序推理)中获得了广泛的应用,受到了人工智能界的高度重视.在近几期的UCAI和AAAI等国际人工智能会议上这方面的内容均占有一定的比重,《A币ficial In-telligence》 展开更多

关键词 人工智能 约束满足 前处理

在线阅读 下载PDF 职称材料

稀疏二元约束满足问题的环割集粒子群算法(英文) 被引量：1

19

作者 杨轻云 孙吉贵 +1 位作者 张居阳 王纯杰 《广西师范大学学报（自然科学版）》 CAS 北大核心 2006年第4期135-138,共4页

提出了一个基于环割集的粒子群算法求解稀疏二元约束满足问题,把环割集和粒子群算法结合在一起,利用环割集减少粒子群算法中粒子的维数。用随机的稀疏二元约束满足问题进行实验,结果表明改进后的粒子群算法是有效的,迭代次数约为原算法... 提出了一个基于环割集的粒子群算法求解稀疏二元约束满足问题,把环割集和粒子群算法结合在一起,利用环割集减少粒子群算法中粒子的维数。用随机的稀疏二元约束满足问题进行实验,结果表明改进后的粒子群算法是有效的,迭代次数约为原算法的十分之一,运行时间比原算法运行时间少约7倍。 展开更多

关键词 二元约束满足问题 粒子群算法 环割集 弧相容

在线阅读 下载PDF 职称材料

动态识别三维几何约束冲突的方法研究 被引量：9

20

作者 吴永明 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2000年第8期618-623,共6页

基于装配几何特征的广义几何约束图 ,避免了传统几何约束图的超图性质和模糊性 ,为几何约束满足问题提供了一个清晰的分析模型 .文中以此模型来分析产生约束冲突的原因 .空间分析法定义和推导了约束满足空间和约束满足条件 ,提出了自由... 基于装配几何特征的广义几何约束图 ,避免了传统几何约束图的超图性质和模糊性 ,为几何约束满足问题提供了一个清晰的分析模型 .文中以此模型来分析产生约束冲突的原因 .空间分析法定义和推导了约束满足空间和约束满足条件 ,提出了自由空间和自由度的计算方法 ,并据此在动态满足三维几何约束的过程中识别约束冲突 ,明确指出产生约束冲突的原因 . 展开更多

关键词 几何约束满足 冲突识别 几何推理 CAD

在线阅读 下载PDF 职称材料