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

1

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

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

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

在线阅读 下载PDF 职称材料

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

2

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

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

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

在线阅读 下载PDF 职称材料

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

3

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

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

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

在线阅读 下载PDF 职称材料

求解Job-Shop约束满足问题的变量排序算法比较研究

4

作者 尹静 李铁克 《工业工程》 2008年第4期113-117,共5页

针对约束满足求解技术中的变量排序,提出了量化Job-Shop调度问题特征的5项指标和相关参数。分别从约束连通度、变量约束偏差、约束紧度、规模及资源利用率偏差等角度设计异构算例对现有典型变量排序算法进行比较分析,实验结果明确了算... 针对约束满足求解技术中的变量排序,提出了量化Job-Shop调度问题特征的5项指标和相关参数。分别从约束连通度、变量约束偏差、约束紧度、规模及资源利用率偏差等角度设计异构算例对现有典型变量排序算法进行比较分析,实验结果明确了算法效果与问题特征之间的相对适应度,可为构造更有效的搜索策略提供参考。 展开更多

关键词 JOB-SHOP问题 约束满足 变量排序 问题结构

在线阅读 下载PDF 职称材料

人工智能中感知问题的求解技术——约束满足法

5

作者 王俊洁 王俊鑫 桂林斌 《楚雄师范学院学报》 2008年第3期15-23,共9页

文中就感知问题的求解技术进行了一些探讨。文章开始首先给大家介绍了人工智能中对现实世界的感知问题解决方法,然后通过例子引入约束满足法的思想,最后结合实际例子进一步阐述了约束满足法在人工智能感知问题中的运用,对人工智能中感... 文中就感知问题的求解技术进行了一些探讨。文章开始首先给大家介绍了人工智能中对现实世界的感知问题解决方法,然后通过例子引入约束满足法的思想,最后结合实际例子进一步阐述了约束满足法在人工智能感知问题中的运用,对人工智能中感知问题的理解有一定的帮助。 展开更多

关键词 人工智能 感知问题 约束满足法

在线阅读 下载PDF 职称材料

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

6

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

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

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

在线阅读 下载PDF 职称材料

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

7

作者 冯欣 唐立新 梁浩锋 《东北大学学报（自然科学版）》 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 职称材料

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

8

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

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

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

在线阅读 下载PDF 职称材料

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

9

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

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

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

在线阅读 下载PDF 职称材料

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

10

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

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

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

在线阅读 下载PDF 职称材料

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

11

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

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

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

在线阅读 下载PDF 职称材料

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

12

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

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

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

在线阅读 下载PDF 职称材料

约束满足神经网络

13

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

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

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

在线阅读 下载PDF 职称材料

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

14

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

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

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

在线阅读 下载PDF 职称材料

调度问题中两类分离约束传播算法的比较及一种改进算法

15

作者 贺仁杰 谭跃进 《运筹与管理》 CSCD 2004年第2期25-29,共5页

约束传播算法是求解约束满足问题的一种重要方法。调度问题是一种特殊的约束满足问题。本文介绍了调度问题中的Edge Finding和Energy Reasoning两种分离约束传播算法,并对它们进行了比较,文中最后给出了一种结合Energy Reasoning的Edge ... 约束传播算法是求解约束满足问题的一种重要方法。调度问题是一种特殊的约束满足问题。本文介绍了调度问题中的Edge Finding和Energy Reasoning两种分离约束传播算法,并对它们进行了比较,文中最后给出了一种结合Energy Reasoning的Edge Finding改进算法。 展开更多

关键词 调度问题 分离约束传播算法 约束传播 Edge-Finding Energy-Reasoning 约束满足 运筹学 人工智能

在线阅读 下载PDF 职称材料

基于CSP的能耗高效云计算资源调度模型与算法 被引量：15

16

作者 林伟伟 刘波 +1 位作者 朱良昌 齐德昱 《通信学报》 EI CSCD 北大核心 2013年第12期33-41,共9页

利用约束满足问题对异构云数据中心的能耗优化资源调度问题建模,通过求解建立的约束模型可以获得能耗最优的资源分配方式,并在此基础上提出了能耗优化的资源分配算法dynamicpower(DY)。与已有的算法MinPM、FFD、BFD相比,算法DY考虑了资... 利用约束满足问题对异构云数据中心的能耗优化资源调度问题建模,通过求解建立的约束模型可以获得能耗最优的资源分配方式,并在此基础上提出了能耗优化的资源分配算法dynamicpower(DY)。与已有的算法MinPM、FFD、BFD相比,算法DY考虑了资源的异构性,能够降低云数据中心物理服务器的能耗。最后,利用Choco实现了提出的算法DY,并将DY与MinPM、FFD、BFD进行实验比较,实验结果表明,提出的算法在能耗上有明显优势。 展开更多

关键词 云计算 资源分配 能耗效率 约束满足问题

在线阅读 下载PDF 职称材料

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

17

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

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

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

在线阅读 下载PDF 职称材料

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

18

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

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

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

在线阅读 下载PDF 职称材料

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

19

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

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

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

在线阅读 下载PDF 职称材料

利用CSP技术辅助汽车驾驶室内布置方案设计 被引量：3

20

作者 袁苗龙 周济 高三德 《汽车工程》 EI CSCD 北大核心 1996年第6期338-342,共5页

本文将约束满足问题(Constraint Satisfaction Probolem缩写CSP)用于驾驶室内布置方案设计问题求解,提出了驾驶室内各对象之间的约束描述及分层,建立了约束网络及求解策略。

关键词 约束满足问题 驾驶室 布置 汽车 设计 方案

在线阅读 下载PDF 职称材料