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

1

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

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

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

在线阅读 下载PDF 职称材料

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

2

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

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

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

在线阅读 下载PDF 职称材料

基于不同启发式策略的约束满足问题求解研究

3

作者 王君 黄钰淇 +2 位作者 刘永强 何红呈 姜波 《消费电子》 2012年第08X期123-124,134,共3页

约束满足问题是人工智能的重要研究方向。约束传播技术和启发式策略是影响约束求解算法效率的关键。对于大规模和大型具有结构化特征的问题，设计并运用有效的值序、变量序启发式策略将大大缩减搜索空间，极大提高问题求解效率。文中对... 约束满足问题是人工智能的重要研究方向。约束传播技术和启发式策略是影响约束求解算法效率的关键。对于大规模和大型具有结构化特征的问题，设计并运用有效的值序、变量序启发式策略将大大缩减搜索空间，极大提高问题求解效率。文中对现在流行的静态启发式、动态启发式和冲突驱动的启发式等不同类别的启发式采用标准库问题实例进行适应性求解测试，并对各种启发式策略进行性能评估。 展开更多

关键词 人工智能 约束满足问题 弧相容 启发式策略

在线阅读 下载PDF 职称材料

非二元约束满足问题的E-GENET求解原理

4

作者 冯欣 唐立新 梁浩锋 《东北大学学报（自然科学版）》 EI CAS CSCD 北大核心 2005年第9期844-847,共4页

通过E-GENET的重定义,将非二元约束满足问题(NB-CSPs)转化为整数最小化问题,提出一类非二元变量约束关系的离散拉格朗日搜索模式(NB-LSDL)与算法,实现了基于NB-LSDL的E-GENET重构,为求解一般约束CSPs的最小冲突启发式修补方法提供新的... 通过E-GENET的重定义,将非二元约束满足问题(NB-CSPs)转化为整数最小化问题,提出一类非二元变量约束关系的离散拉格朗日搜索模式(NB-LSDL)与算法,实现了基于NB-LSDL的E-GENET重构,为求解一般约束CSPs的最小冲突启发式修补方法提供新的理论依据,扩展了E-GENET处理问题的技术与手段.实验结果显示了方法的可行性与有效性. 展开更多

关键词 约束满足问题 E-GENET网 离散拉格朗日方法 启发式修补方法

在线阅读 下载PDF 职称材料

一种部分约束满足车辆路线问题及其求解算法 被引量：1

5

作者 李菊芳 谭跃进 《运筹与管理》 CSCD 2004年第5期12-17,共6页

描述了一类过度约束车辆路线问题,其中可用车辆数较少而时间窗口等其它约束又不允许放松,因而导致不存在满足所有约束的可行解。此时问题求解可以转化为一类部分约束满足问题来处理,相应的优化目标是最小化未访问顾客的损失和。本文给... 描述了一类过度约束车辆路线问题,其中可用车辆数较少而时间窗口等其它约束又不允许放松,因而导致不存在满足所有约束的可行解。此时问题求解可以转化为一类部分约束满足问题来处理,相应的优化目标是最小化未访问顾客的损失和。本文给出了求解这类特殊问题的一种禁忌搜索算法设计,并通过规模不同的几个算例与其它常用方法进行了比较。最后分析了模型和算法的实用意义。 展开更多

关键词 系统工程 车辆路线问题 禁忌搜索 过度约束 部分约束满足问题

在线阅读 下载PDF 职称材料

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

6

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

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

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

在线阅读 下载PDF 职称材料

基于分布式约束满足的产品配置研究 被引量：13

7

作者 邵伟平 刘永贤 +1 位作者 郝永平 曾鹏飞 《东北大学学报（自然科学版）》 EI CAS CSCD 北大核心 2007年第1期103-106,共4页

针对分布式网络化产品配置的特点,将产品配置问题抽象为约束满足问题进行研究.为解决配置知识共享及配置知识的语义表达问题,采用本体驱动的面向对象的思想构建产品配置约束网络结构模型,将该模型转化为分布式约束满足问题(Distributed ... 针对分布式网络化产品配置的特点,将产品配置问题抽象为约束满足问题进行研究.为解决配置知识共享及配置知识的语义表达问题,采用本体驱动的面向对象的思想构建产品配置约束网络结构模型,将该模型转化为分布式约束满足问题(Distributed Constraint Satisfaction Problem,DCSP)求解模型,从而可以准确、完全地描述产品零部件的结构及设计知识,并采用异步弱授权回溯算法进行约束求解,大大提高了求解的搜索效率和准确性.最后给出模型在水泵产品配置设计过程中的实际应用. 展开更多

关键词 产品配置 分布式约束满足问题 知识描述 异步弱授权回溯算法 约束网络结构

在线阅读 下载PDF 职称材料

基于约束满足的个性化西服定制推荐系统 被引量：3

8

作者 石美红 艾磊 +3 位作者 李维乾 赵辉 王春兰 高晓娟 《西安工程大学学报》 CAS 2015年第3期312-319,共8页

针对个性化西服定制系统中客户需求的局限性、客户参与度不足的问题,在分析客户个性化需求、西服设计要素、情感因子的基础上,通过交互日志挖掘,采用有限状态机技术描述客户需求的会话交互行为模型,并运用约束满足理论和多属性效用理论... 针对个性化西服定制系统中客户需求的局限性、客户参与度不足的问题,在分析客户个性化需求、西服设计要素、情感因子的基础上,通过交互日志挖掘,采用有限状态机技术描述客户需求的会话交互行为模型,并运用约束满足理论和多属性效用理论,开发一种基于约束满足和情感效用的个性化西服定制推荐系统.在服装企业应用结果表明,该系统能够有效地获取客户个性化需求,提升了客户参与度,增强了西服定制结果的可信度. 展开更多

关键词 个性化定制 西服定制 需求获取 推荐系统 约束满足问题

在线阅读 下载PDF 职称材料

面向目标区域规划的分布式约束满足求解方法 被引量：1

9

作者 谷学强 陈璟 王克波 《兵工自动化》 2009年第1期8-11,共4页

根据目标区域规划的特点,将目标区域规划形式化为分布式约束满足问题进行求解。建立目标区域规划的分布式约束满足模型,并在分析现有分布式约束满足问题求解算法的基础上,对异步回溯搜索算法进行改进,提出基于分布式约束满足问题的目标... 根据目标区域规划的特点,将目标区域规划形式化为分布式约束满足问题进行求解。建立目标区域规划的分布式约束满足模型,并在分析现有分布式约束满足问题求解算法的基础上,对异步回溯搜索算法进行改进,提出基于分布式约束满足问题的目标区域规划求解框架。仿真结果表明,该方法在求解目标区域规划问题方面有效。 展开更多

关键词 分布式约束满足问题 目标区域规划 约束分析 异步回溯算法

在线阅读 下载PDF 职称材料

约束满足神经网络

10

作者 郭宝龙 郭雷 戴冠中 《电子学报》 EI CAS CSCD 北大核心 2000年第1期81-84,共4页

针对一般人工神经网络不能用于求解包含矛盾的约束满足问题（ＣＳＰ）的不足，本文依据神经网络的逻辑分析理论，提出了一个约束满足神经网络（ＣＳＮＮ）．ＣＳＮＮ体现了生物神经系统中的突触的控制原理，它由一个基本神经网和一个控... 针对一般人工神经网络不能用于求解包含矛盾的约束满足问题（ＣＳＰ）的不足，本文依据神经网络的逻辑分析理论，提出了一个约束满足神经网络（ＣＳＮＮ）．ＣＳＮＮ体现了生物神经系统中的突触的控制原理，它由一个基本神经网和一个控制系统组成；基本网的作用是提供必要的约束，控制系统的作用不但能使约束成为自适应的，而且依据具体问题能够动态地、自动地删除基本解中的矛盾． 展开更多

关键词 神经网络 约束满足问题 逻辑分析

在线阅读 下载PDF 职称材料

中继卫星调度问题的CSP模型 被引量：28

11

作者 方炎申 陈英武 顾中舜 《国防科技大学学报》 EI CAS CSCD 北大核心 2005年第2期6-10,共5页

中继卫星在地球同步静止轨道上运行,既能直视中、低轨道用户航天器,又能直视地面站,是沟通用户航天器与地面站的桥梁。中继卫星调度问题是一类非常重要的调度问题。基于约束满足理论,通过分析中继卫星调度问题的特点与约束条件,建立了... 中继卫星在地球同步静止轨道上运行,既能直视中、低轨道用户航天器,又能直视地面站,是沟通用户航天器与地面站的桥梁。中继卫星调度问题是一类非常重要的调度问题。基于约束满足理论,通过分析中继卫星调度问题的特点与约束条件,建立了中继卫星调度问题的CSP模型。利用卫星工具箱STK进行模拟仿真,对CSP模型进行了求解。结果表明,所建立的CSP模型是合理的。 展开更多

关键词 跟踪与数据中继卫星系统 活动 资源 约束满足问题 STK

在线阅读 下载PDF 职称材料

一种产生可满足性难解实例的模型 被引量：2

12

作者 沈静 任耀峰 +1 位作者 梅丹 杨美妮 《海军工程大学学报》 CAS 北大核心 2016年第3期5-8,共4页

在d-k-CSP模型的基础上,给出了产生可满足性难解实例的两种方法。利用概率论分析了d-k-CSP模型在这两种方法下解的平均个数和解的分布情况,并用数值实验对两种方法产生的可满足性实例的求解难度进行了对比分析。结果表明:强迫有解实例... 在d-k-CSP模型的基础上,给出了产生可满足性难解实例的两种方法。利用概率论分析了d-k-CSP模型在这两种方法下解的平均个数和解的分布情况,并用数值实验对两种方法产生的可满足性实例的求解难度进行了对比分析。结果表明:强迫有解实例和非强迫有解实例的求解难度相当,但产生强迫有解实例的方法更简单有效。 展开更多

关键词 约束满足问题 强迫有解实例 相变

在线阅读 下载PDF 职称材料

基于约束半环的CP-nets占优查询算法 被引量：2

13

作者 刘惊雷 华臻 武栓虎 《电子学报》 EI CAS CSCD 北大核心 2011年第8期1932-1936,共5页

用户的偏好在自动决策中起着重要的作用,作为一种表示多属性定性偏好断言的直观工具,CP-nets被许多学者研究.其上的占优查询算法的高复杂度还是一个难题,本文研究如何降低其复杂度.引入了一种求解约束满足问题的通用框架——SCSP(基于... 用户的偏好在自动决策中起着重要的作用,作为一种表示多属性定性偏好断言的直观工具,CP-nets被许多学者研究.其上的占优查询算法的高复杂度还是一个难题,本文研究如何降低其复杂度.引入了一种求解约束满足问题的通用框架——SCSP(基于约束半环的满足问题),并指出CP-nets中的条件偏好表本质上是一种动态约束.给出了将CP-nets中的条件偏好表转化为SCSP中的约束,在SCSP中进行解的优劣判断的算法,并指出该算法具有多项式时间复杂度特性,从而基于约束半环解决了无环CP-nets上的占优查询问题. 展开更多

关键词 占优查询 约束半环 约束满足问题 条件偏好表 动态约束 解的优劣

在线阅读 下载PDF 职称材料

编组站静态配流的约束传播和启发式回溯算法 被引量：3

14

作者 马亮 郭进 陈光伟 《西南交通大学学报》 EI CSCD 北大核心 2014年第6期1116-1122,共7页

为了提高阶段计划的编制效率,针对编组站静态配流字典序多目标累积调度模型,设计了迭代、约束传播和启发式回溯的混合算法.该算法根据多目标的字典序将模型分为3层:第1层为配流成功的出发列车优先级总和最大化,第2层为出发列车车流来源... 为了提高阶段计划的编制效率,针对编组站静态配流字典序多目标累积调度模型,设计了迭代、约束传播和启发式回溯的混合算法.该算法根据多目标的字典序将模型分为3层:第1层为配流成功的出发列车优先级总和最大化,第2层为出发列车车流来源总数最少化,第3层为车辆平均停留时间最短化.每层先通过约束传播算法化简模型、缩小解空间,再通过启发式回溯算法和约束传播技术联合快速求解.上一层的最优解作为下一层的初始解,并动态增加避免上一层目标退化的约束,迭代求解每层的最优解.通过某编组站实际数据验证表明,本算法耗时小于20 s,满足现场对阶段计划编制的实时性要求,且求得的配流方案优于其他算法. 展开更多

关键词 编组站 静态配流 约束传播 启发式回溯 约束满足问题

在线阅读 下载PDF 职称材料

产品方案设计约束模型及其演化博弈算法求解 被引量：2

15

作者 林晓华 冯毅雄 谭建荣 《浙江大学学报（工学版）》 CSCD 北大核心 2012年第3期533-541,共9页

针对产品方案设计这一有约束的系统求解问题,通过分析产品方案设计在概念与特性上与约束满足问题(CSP)的相似性,将方案求解问题映射到CSP中来表示方案设计,对应CSP中的变量、变量的域和约束集建立产品方案设计CSP模型.采用演化博弈算法... 针对产品方案设计这一有约束的系统求解问题,通过分析产品方案设计在概念与特性上与约束满足问题(CSP)的相似性,将方案求解问题映射到CSP中来表示方案设计,对应CSP中的变量、变量的域和约束集建立产品方案设计CSP模型.采用演化博弈算法求解CSP模型,将方案设计求解问题的搜索空间映射为博弈的策略组合空间,将评价函数映射为博弈的效用函数.通过主体的顺序最优反应达到均衡状态,并不断对均衡状态施加扰动再重新恢复均衡,从而搜寻到更优的均衡状态,最终达到对应于全局最优解的Pareto最优均衡状态.以透平膨胀机的方案设计为例验证了所提理论和方法的可行性和有效性. 展开更多

关键词 产品方案设计 功构映射 约束满足问题(CSP) 演化博弈算法

在线阅读 下载PDF 职称材料

模糊约束网络在机床产品协同设计冲突检测中的应用 被引量：1

16

作者 孟秀丽 倪中华 曹杰 《东南大学学报（自然科学版）》 EI CAS CSCD 北大核心 2006年第3期431-436,共6页

分析了机床产品协同设计中约束的内涵和特点,并用EXPRESS-G图描绘了约束网络的结构模型.将机床产品协同设计中的约束分为硬约束和软约束,从数学上给出模糊约束和模糊约束满足问题的定义.采用遗传算法作为协同设计过程中模糊约束满足问... 分析了机床产品协同设计中约束的内涵和特点,并用EXPRESS-G图描绘了约束网络的结构模型.将机床产品协同设计中的约束分为硬约束和软约束,从数学上给出模糊约束和模糊约束满足问题的定义.采用遗传算法作为协同设计过程中模糊约束满足问题的求解方法,在遗传算法的运行过程中对软硬约束分别进行了不同的技巧处理,遗传算法利用硬约束通过前向检查算法随机产生几何可行初始群体来限制设计空间,并给出遗传算法的具体实现过程.提出了基于模糊约束网络的冲突检测系统的体系结构,并对原型系统进行开发.最后,以某车床传动轴的设计为例验证了约束在协同设计冲突检测中的应用. 展开更多

关键词 协同设计 冲突检测 模糊约束网络 模糊约束满足问题

在线阅读 下载PDF 职称材料

一种基于约束条件的服务能力匹配方法 被引量：1

17

作者 白东伟 余永林 陈俊亮 《空军工程大学学报（自然科学版）》 CSCD 北大核心 2007年第2期71-74,共4页

结合产生式系统中冲突消解和约束满足问题的方法,提出了一种新的基于约束条件的服务能力匹配方法。该方法把服务的约束条件分成两大类,一类是状态关系条件,一类是数值关系条件,根据这两类约束条件分别提出了相应的语义匹配方法,给出了... 结合产生式系统中冲突消解和约束满足问题的方法,提出了一种新的基于约束条件的服务能力匹配方法。该方法把服务的约束条件分成两大类,一类是状态关系条件,一类是数值关系条件,根据这两类约束条件分别提出了相应的语义匹配方法,给出了实现原型的软件系统结构和例子,说明了该方法的有效性。 展开更多

关键词 约束条件 服务能力匹配 约束满足问题

在线阅读 下载PDF 职称材料

CSP逻辑编程中一种约束评价的动态控制方法

18

作者 方思行 陆子强 凌卫新 《华南理工大学学报（自然科学版）》 EI CAS CSCD 1995年第2期91-97,共7页

在一些约束满足问题（ＣＳＰ）中，使需要进行的约束评价的数目减到最低限度是一个十分重要的问题．本文提出一种改进的回溯算法，它借助基于假设的正确性维护系统ＡＴＭＳ达到了上述目的。

关键词 程序设计 逻辑程序 约束满足问题 人工智能

在线阅读 下载PDF 职称材料

复杂约束条件下导引头抗干扰试验样本空间分析

19

作者 程志君 潘正强 +1 位作者 刘天宇 贾祥 《国防科技》 2023年第4期103-110,共8页

针对试验样本空间组成要素众多、动态变化且存在复杂关联约束的特点,围绕典型作战场景下导引头、目标、背景和干扰等4类要素及其相互作用,提出复杂约束条件下抗干扰试验样本空间的分析框架,实现“典型作战场景—全干扰对抗要素—全因子... 针对试验样本空间组成要素众多、动态变化且存在复杂关联约束的特点,围绕典型作战场景下导引头、目标、背景和干扰等4类要素及其相互作用,提出复杂约束条件下抗干扰试验样本空间的分析框架,实现“典型作战场景—全干扰对抗要素—全因子试验样本空间—约束满足的有限样本空间”的转化与映射。同时,重点关注对抗战术动态博弈影响下样本空间规范化描述以及多重约束下样本空间的不规则特征分析等问题,提出综合运用复杂网络、图分解、约束满足优化等理论解决其中关键问题的建模流程,为结合典型作战实例进行深入分析及后续的试验设计提供有效输入。 展开更多

关键词 导引头抗干扰 复杂约束 性能试验 样本空间 约束满足问题

在线阅读 下载PDF 职称材料

船舶动力定位非线性模型预测控制 被引量：2

20

作者 张泉 郭晨 《哈尔滨工程大学学报》 EI CAS CSCD 北大核心 2024年第1期129-135,共7页

针对受船舶运动状态和推力饱和约束影响的动力定位控制问题,本文提出了一种非线性模型预测控制方法。依据多面体描述理论建立了船舶动力定位多面体描述偏差模型,针对上述模型采用线性矩阵不等式设计非线性模型预测控制器中的终端要素,... 针对受船舶运动状态和推力饱和约束影响的动力定位控制问题,本文提出了一种非线性模型预测控制方法。依据多面体描述理论建立了船舶动力定位多面体描述偏差模型,针对上述模型采用线性矩阵不等式设计非线性模型预测控制器中的终端要素,并证明了闭环系统的稳定性。仿真结果表明:设计的控制器能在满足约束条件和受环境干扰条件下快速控制船舶稳定在计划航向和计划船位,验证了控制器的有效性和本质鲁棒性。 展开更多

关键词 动力定位 模型预测控制 约束满足问题 运动控制 多面体描述系统 线性矩阵不等式 终端约束 渐进稳定性

在线阅读 下载PDF 职称材料