期刊文献+
共找到14篇文章
< 1 >
每页显示 20 50 100
考虑个体客户满意度的多车程生鲜品配送路径优化
1
作者 王能民 梁馨月 +1 位作者 张萌 何正文 《运筹与管理》 CSSCI CSCD 北大核心 2024年第4期14-20,I0001,共8页
随着生鲜电商的兴起,生鲜品的道路运输量越来越大,其配送任务越来越复杂,提升客户满意度是生鲜品配送的重要目标组成。文章以一个具有配送自主权的生鲜品供应商为研究对象,以整个计划周期内生鲜品配送的车辆运输成本最小及客户满意度最... 随着生鲜电商的兴起,生鲜品的道路运输量越来越大,其配送任务越来越复杂,提升客户满意度是生鲜品配送的重要目标组成。文章以一个具有配送自主权的生鲜品供应商为研究对象,以整个计划周期内生鲜品配送的车辆运输成本最小及客户满意度最大为双目标,且客户满意度从顾客的个体视角考虑,构建双目标多车程带时间窗及考虑订单打包时间的车辆路径优化模型。基于ε-约束方法,设计了两阶段变邻域搜索(VNS)和模拟退火(SA)相结合的元启发式算法,基于车辆构造初始路线,并针对性地提出了3点改进措施,包括通过数学性质推导下界、减少求解过程中不必要的搜索空间以及规避求解过程中被支配解的后优化处理。最后,以Solomon标准算例为基础构造算例对所设计的算法进行了计算实验,其求解结果表明:其设计的算法具有有效性,并通过敏感性分析得出相关管理启示。 展开更多
关键词 个体客户满意度 生鲜品配送 车辆路径问题 双目标优化 ε-约束法
下载PDF
作业车间排序重调度问题及其改进修复约束满足算法 被引量:12
2
作者 上官春霞 周泓 +1 位作者 师瑞峰 吴旸 《计算机集成制造系统》 EI CSCD 北大核心 2008年第9期1742-1751,1773,共11页
作业车间往往因出现新作业而需要进行重调度。为尽量减少由重调度带来的计划变更,除了优化原有的性能指标外,还应减小重调度结果与原排序之间的差异。由此,提出一种双目标优化模型。为方便求解,将模型进行了分解,构建了可以分步求解的... 作业车间往往因出现新作业而需要进行重调度。为尽量减少由重调度带来的计划变更,除了优化原有的性能指标外,还应减小重调度结果与原排序之间的差异。由此,提出一种双目标优化模型。为方便求解,将模型进行了分解,构建了可以分步求解的分级模型。对分级模型提出改进的修复约束满足算法(修复法),通过采用新的变量表示形式,设计了变量排序的启发式算法,并采用变量互换启发式算法,以保证全局搜索性能。以90个作业车间标准算例为基础,设计了重调度算例,并与现有代表性的第二代非支配排序遗传算法优化结果进行了对比,结果表明在相同运行时间下,所提算法更具优越性。 展开更多
关键词 作业车间排序 重调度 修复约束满足算法 启发式算法 双目标优化
下载PDF
基于约束满足的车间调度算法综述 被引量:34
3
作者 郭冬芬 李铁克 《计算机集成制造系统》 EI CSCD 北大核心 2007年第1期117-125,共9页
为了说明如何利用启发式信息构造车间调度的约束满足求解算法,首先概述了常规约束满足求解技术,进而介绍了车间调度问题的约束传播算法、树搜索算法和启发式修复算法的构造原理及适用性。在此基础上,针对目标优化问题,给出两种求解框架... 为了说明如何利用启发式信息构造车间调度的约束满足求解算法,首先概述了常规约束满足求解技术,进而介绍了车间调度问题的约束传播算法、树搜索算法和启发式修复算法的构造原理及适用性。在此基础上,针对目标优化问题,给出两种求解框架。最后,指出近期的研究趋势和进一步的研究工作。 展开更多
关键词 车间调度 约束满足 约束传播算法 树搜索算法 启发式修复算法 混合求解方法
下载PDF
求解作业排序问题的一种改进修复约束满足算法 被引量:2
4
作者 上官春霞 周泓 +1 位作者 师瑞峰 吴旸 《控制与决策》 EI CSCD 北大核心 2008年第8期850-856,共7页
修复约束满足算法(修复法)是在完整初始解的基础上不断对变量进行修复,最终得到可行解.对此,提出一种求解flow shop排序问题的改进修复法(IRCS_WT),通过采用新的变量表达方式,设计了一种以启发式优化规则为指导的变量选择算法(LWT),并... 修复约束满足算法(修复法)是在完整初始解的基础上不断对变量进行修复,最终得到可行解.对此,提出一种求解flow shop排序问题的改进修复法(IRCS_WT),通过采用新的变量表达方式,设计了一种以启发式优化规则为指导的变量选择算法(LWT),并采用一种变量互换算法(LTEE)保证算法的全局搜索性能.将新算法应用于31个标准算例,与传统算法及遗传算法的优化结果进行比较,结果表明在相同运算时间下改进算法具有明显的优越性. 展开更多
关键词 约束满足 修复法 FLOW shop排序问题 加权总延误
下载PDF
基于遗传算法的概念学习中的约束满足预处理方法
5
作者 陈恩红 蔡庆生 顾振梅 《计算机研究与发展》 EI CSCD 北大核心 1997年第7期497-501,共5页
本文将概念学习视为约束满足问题,给出了两种约束的定义.在这些约束的基础上。
关键词 概念学习 约束满足问题 预处理方法 遗传算法
下载PDF
结合Separator的约束满足问题树分解方法
6
作者 吕巍 张舒娟 《吉林大学学报(理学版)》 CAS CSCD 北大核心 2016年第2期291-296,共6页
基于树分解的回溯搜索算法,结合separator分解算子提出一种新的搜索算法BTD+-MAC.该算法在搜索时,优先选择separator中的变量进行相容性检查和实例化,由于树宽度的减小能提高约束传播的效率,进而提高问题求解效率.对几组benchmark问题... 基于树分解的回溯搜索算法,结合separator分解算子提出一种新的搜索算法BTD+-MAC.该算法在搜索时,优先选择separator中的变量进行相容性检查和实例化,由于树宽度的减小能提高约束传播的效率,进而提高问题求解效率.对几组benchmark问题进行测试,测试结果表明,该算法在问题求解效率上超过了MAC3rm算法和BTD-MAC算法. 展开更多
关键词 人工智能 约束满足问题 树分解 回溯搜索 启发式方法
下载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
基于粒子群算法的卫星任务地面站资源调度方法 被引量:9
8
作者 樊慧晶 章文毅 +2 位作者 田妙苗 马广彬 程博 《中国科学院大学学报(中英文)》 CSCD 北大核心 2022年第6期801-808,共8页
针对卫星数传、测控任务的地面站资源调度问题,提出一种结合启发式方法的粒子群改进算法,对卫星的数传、测控任务进行一体化调度。首先分析卫星任务及地面站资源的约束条件,建立基于启发式规则的约束满足模型,筛选出较优的初始种群,然... 针对卫星数传、测控任务的地面站资源调度问题,提出一种结合启发式方法的粒子群改进算法,对卫星的数传、测控任务进行一体化调度。首先分析卫星任务及地面站资源的约束条件,建立基于启发式规则的约束满足模型,筛选出较优的初始种群,然后设计一种结合启发式规则的粒子群算法求解。仿真对比实验表明,相对于常规调度算法(如遗传算法),粒子群算法具有较好的寻优能力和收敛速度;相对于传统粒子群算法,结合启发式方法的粒子群改进算法具有更好的寻优能力、收敛速度和稳定性。 展开更多
关键词 地面站资源调度 约束满足模型 启发式方法 粒子群算法 遗传算法 遥测、跟踪和控制
下载PDF
结合引领策略的MMC求解最大约束满足问题
9
作者 赵双梅 崔佳旭 张永刚 《南京大学学报(自然科学版)》 CAS CSCD 北大核心 2018年第1期134-147,共14页
约束满足问题(Constraint Satisfaction Problem,CSP)是人工智能的一个重要研究方向,相关技术被广泛应用于配置、调度及规划等问题求解.但实际应用中,很多问题往往不存在满足所有约束的解,即呈现为过度约束.MaxCSP是处理过度约束一个简... 约束满足问题(Constraint Satisfaction Problem,CSP)是人工智能的一个重要研究方向,相关技术被广泛应用于配置、调度及规划等问题求解.但实际应用中,很多问题往往不存在满足所有约束的解,即呈现为过度约束.MaxCSP是处理过度约束一个简单而有效的框架,它的思想是求出满足尽可能多约束的解,其本质是约束优化问题.受元启发式算法在求解连续约束优化问题方面大量成功案例的启发,基于新近提出的作曲家算法(Method of Musical Composition,MMC)求解MaxCSP,在标准MMC算法的基础上引入引领策略,并将其离散化,以求解MaxCSP.最后,在广为流行的MaxCSP测试问题实例集上进行了求解测试并与改进的教与学(Teaching-learningbased Optimization,TLBO)算法和差分进化(Differential Evolution,DE)算法进行比较.实验结果表明,改进的算法无论对于求解可满足MaxCSP还是不可满足MaxCSP,都具有明显的优势. 展开更多
关键词 约束满足问题 Max-CSP 作曲家算法 引领策略 教与学算法 差分进化算法
下载PDF
用迭代多代理方法解决CSP问题
10
作者 胡慧 《微处理机》 2009年第1期120-123,127,共5页
主要介绍了一种包含独立代理点和部分解集合的解决方法—迭代多代理方法(IMA)。并用该方法来解决CSP问题。另外给出了用IMA方法解决CSP问题的一个实例,证明了IMA方法可以不受软件和硬件缺点的影响,并且该方法大大改进了在解决满意约束... 主要介绍了一种包含独立代理点和部分解集合的解决方法—迭代多代理方法(IMA)。并用该方法来解决CSP问题。另外给出了用IMA方法解决CSP问题的一个实例,证明了IMA方法可以不受软件和硬件缺点的影响,并且该方法大大改进了在解决满意约束问题时的查找速度。 展开更多
关键词 多代理 迭代多代理 约束满意问题 分段方法
下载PDF
基于禁忌搜索算法的联赛调度问题求解研究
11
作者 赵玉明 《肇庆学院学报》 2015年第2期23-28,共6页
本文提出一种基于禁忌搜索算法求解联赛调度问题(SLSP)的方法.约束满足问题(constraint satisfaction problem)表达形式是此方法的基础.为验证该方法的有效性,做了很多测试,可求解的最复杂的例子包含40个参赛队,780个整数变量,每个整数... 本文提出一种基于禁忌搜索算法求解联赛调度问题(SLSP)的方法.约束满足问题(constraint satisfaction problem)表达形式是此方法的基础.为验证该方法的有效性,做了很多测试,可求解的最复杂的例子包含40个参赛队,780个整数变量,每个整数变量有780个值.实验结果表明,该方法在求解能力方面超过了一些现有方法,是解决此类问题最有前途的方法之一. 展开更多
关键词 禁忌搜索 联赛调度问题 约束满足问题 TS-SLSP
下载PDF
卫星任务调度统一化建模与多策略协同求解方法 被引量:8
12
作者 杜永浩 邢立宁 +1 位作者 陈盈果 向尚 《控制与决策》 EI CSCD 北大核心 2019年第9期1847-1856,共10页
针对卫星任务调度"一星一系统"、测运控分离的现状,以卫星执行任务产生的星上独立事件和星地协同事件作为调度对象,以事件可执行时机作为调度资源,建立卫星任务调度统一化约束满足模型,将传统运控任务调度与测控任务调度纳入... 针对卫星任务调度"一星一系统"、测运控分离的现状,以卫星执行任务产生的星上独立事件和星地协同事件作为调度对象,以事件可执行时机作为调度资源,建立卫星任务调度统一化约束满足模型,将传统运控任务调度与测控任务调度纳入统一的建模方法.为保障模型的通用性和适应性,设计包含构造启发式、智能优化和针对性算法改进的多策略协同求解方法,搭建卫星任务调度算法与调度模型松耦合、模块化的系统架构.实验测试表明,所提出方法能够弥补传统模型在敏捷遥感卫星任务调度和高轨卫星测控调度场景下的局限性,在Benchmark问题和实际应用场景中均表现出良好的适用性和优化效果. 展开更多
关键词 卫星任务调度 统一化建模 约束满足 多策略协同 智能优化方法
原文传递
一种改进解析冗余度的损伤识别方法 被引量:1
13
作者 张宝 王思蓉 方圣恩 《福州大学学报(自然科学版)》 CAS 北大核心 2016年第4期548-556,共9页
提出一种采用无损指标和损伤指标相结合进行损伤识别的改进解析冗余度方法.该方法通过剔除求解方程组中与损伤单元相关的方程,补充与损伤单元无关的方程,构造出新的求解方程组进行求解.在新模型中,与损伤单元无关的约束条件构成无损指标... 提出一种采用无损指标和损伤指标相结合进行损伤识别的改进解析冗余度方法.该方法通过剔除求解方程组中与损伤单元相关的方程,补充与损伤单元无关的方程,构造出新的求解方程组进行求解.在新模型中,与损伤单元无关的约束条件构成无损指标,相关的约束条件则构成损伤指标.同时,采用结构无阻尼振动方程建立约束满足问题模型,提出了改进解析冗余度方法在结构动力测试方面的理论.通过数值算例验证所提方法在结构静动力方面单、多损伤识别的有效性,也证明了该方法在一定数据误差及模型误差下的适用性.最后,设计了钢梁静、动力试验.试验结果显示,所提出的方法能够定位结构较小的损伤,并且损伤指标较为明显.该方法在梁式结构的损伤识别和安全评估中具有一定的工程实用性. 展开更多
关键词 改进解析冗余度方法 损伤识别 约束满足问题模型 数值模拟 静动力试验
原文传递
On the Phase Transitions of (k,q)-SAT
14
作者 Jun LIU Zong-sheng GAO Ke XU 《Acta Mathematicae Applicatae Sinica》 SCIE CSCD 2016年第3期605-610,共6页
Call a sequence of k Boolean variables or their negations a k-tuple. For a set V of n Boolean variables, let Tk(V) denote the set of all 2^kn^k possible k-tuples on V. Randomly generate a set C of k-tuples by includ... Call a sequence of k Boolean variables or their negations a k-tuple. For a set V of n Boolean variables, let Tk(V) denote the set of all 2^kn^k possible k-tuples on V. Randomly generate a set C of k-tuples by including every k-tuple in Tk(V) independently with probability p, and let Q be a given set of q "bad" tuple assignments. An instance I = (C, Q) is called satisfiable if there exists an assignment that does not set any of the k-tuples in C to a bad tupie assignment in Q. Suppose that θ, q 〉 0 are fixed and ε=ε(n) 〉 0 be such in 2 that ε Inn/ In Inn → ∞. Let k ≥ (1 + θ) log2 n and let p0 = ln2/qn^k-1. We prove thatlim∞ P[I issatisfiable] ={1,p≤(1-ε)p0, 0,p≥(1+ε)p0. 展开更多
关键词 constraint satisfaction phase transition the second moment method
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部