搜索到249篇“ 动态约束满足“的相关文章
- 基于动态约束满足的炼钢连铸重调度算法被引量：3
- 2012年
- 针对转炉出钢延迟的炼钢连铸重调度问题,以开工时间、加工时间以及加工机器的差异度和同一炉次相邻设备间的等待时间的差异化最小为目标建立了动态约束满足模型,提出了基于约束满足和断浇修复的重调度算法。算法通过变量和值选择规则依次对变量赋值,利用冲突识别与解消规则识别赋值过程中产生的冲突并予以解消冲突;在形成的准可行调度中,利用断浇修复启发式规则修复连铸机的断浇现象。仿真实验模拟了3组均匀分布随机产生的延迟时间量,所得目标值分别为0.15,0.28和0.51。结果表明延迟时间量的大小对目标函数值有一定影响,所提算法能够最大限度地满足生产的实时性和稳定性的需求。
- 侯东亮李铁克
- 关键词：动态约束满足重调度炼钢连铸
- 基于动态约束满足框架的强表达时态规划算法被引量：3
- 2012年
- 智能规划已经成为人工智能领域最热门的研究主题之一。近年来,智能规划在现实领域的应用越来越广泛,这对规划器的处理能力和效率提出了很大的挑战。以一类强表达时态规划——基于约束区间规划为研究对象,基于动态约束满足框架设计和实现了一个基于约束区间的规划算法LP-TPOP;对算法的可靠性和完备性进行了证明;最后以一个规划实例演示了算法的运行过程。
- 刘越畅
- 基于动态约束满足的连铸热轧一体化滚动计划被引量：4
- 2011年
- 针对连铸热轧一体化滚动计划问题,建立了动态约束满足模型,提出了滚动优化前后批量计划在浇次计划相似度和轧制计划相似度上的一致性度量方法。针对问题的模型及其特点,提出了基于动态约束满足的局部修复求解算法。算法通过基于域的板坯选择策略实现困难变量优先赋值,通过基于费用的板坯插入策略实现成功优先的值选择,在迭代过程中采取基于约束传播的初始变量域收缩策略和解空间更新策略提高搜索效率。基于企业实际生产数据的仿真实验结果,验证了模型和算法的有效性。
- 张文学李铁克
- 关键词：钢铁生产动态约束满足
- 基于动态约束满足的考虑连铸机故障的炼钢连铸调度算法被引量：21
- 2011年
- 针对考虑连铸机故障的炼钢连铸动态调度问题,建立了动态约束满足模型,以此为基础提出了基于约束满足的优化方法。该方法通过动态调度策略调整浇次计划,对模型进行预处理,将动态调度问题转化为动态约束满足问题;将模型分为连铸方案修复子模型和炼钢精炼重调度子模型。针对两个子模型给出对应的两阶段求解算法。仿真实验表明了所提算法的可行性和有效性。
- 王柏琳李铁克张春生张文学孙彬
- 关键词：调度算法动态约束满足炼钢连铸
- 广义动态约束满足问题的一种双层组合启发式求解算法被引量：2
- 2011年
- 为了求解并行协同设计过程中诸多制约关系形成的约束网络,研究动态约束满足问题,提出一种基于模糊物元分析和改进微粒群算法的双层组合启发式求解算法。将模糊物元分析理论作为算法的第一层,建立广义动态约束满足问题的可拓关系元形式化模型,并应用模糊关系元优化方法完成从求解空间到寻优空间的转换;将改进微粒群算法作为第二层,在基本微粒群算法基础上,引入柔性变异概率及动态更新响应方式提高算法对复杂动态系统环境变化的适应性,追踪协同设计进程中动态约束带来的系统极值的最新变化。通过设计实例验证所提算法的有效性。面向广义动态约束网络的双层组合优化算法为协同设计过程中的约束建模和求解提供了一种形式化和动态的研究方法。
- 阴艳超刘泓滨
- 关键词：协同设计
- 动态约束满足问题及其在辅助决策系统中的应用
- 在处理突发事件时,应急人员需要迅速地做出决策,提出处置措施,形成行动方案。突发事件极易随时间的发展和已采取的处置措施而发生改变,具有很强的实时性,需要应急人员及时做出新的决策。本文建立了突发事件模型和处置措施决策模型,由...
- 于淼赵政李满天黄天泽
- 关键词：突发事件
- 基于动态约束满足的软件过程调度模型
- 由于在软件产品的开发过程中，需要安排的任务和资源约束过多，且由于外界因素的影响，软件开发项目处于一个动态环境中，因此确定任务的时序以及资源的分配需要耗费大量的精力和体力。如何调配资源分配任务才能满足项目需求，保证软件质量...
- 唐硕
- 关键词：动态任务调度
- 文献传递
- 动态约束满足问题及其在辅助决策系统中的应用
- 在处理突发事件时,应急人员需要迅速地做出决策,提出处置措施,形成行动方案。突发事件极易随时间的发展和已采取的处置措施而发生改变,具有很强的实时性,需要应急人员及时做出新的决策。本文建立了突发事件模型和处置措施决策模型,由...
- 于淼赵政李满天黄天泽
- 关键词：突发事件
- 文献传递
- 基于广义动态约束满足的产品应用服务构件模型研究被引量：1
- 2009年
- 为提高产品应用服务系统的构建效率和服务设计的复用性能,提出可配置的产品应用服务构件模型及其配置实现机制。首先,给出了产品应用服务服务要素及其相互关系的描述,针对应用服务构成要素的特点,提出可配置的产品应用服务构件模型;然后,根据产品应用服务构件模型中的特征变量、接口变量、属性变量和约束关系的特点,提出了产品应用服务构件模型的广义动态约束满足转换的概念,通过变量集和约束集对构件模型进行描述,并采用双层组合启发式求解算法实现构件性能的综合最优化,生成一簇具有较高复用价值和复用性能的产品应用服务构件。最后通过实例,验证了所提模型的实用性和有效性。
- 阴艳超孙林夫
- 一个基于最小冲突修补的动态约束满足求解算法被引量：13
- 2007年
- 约束满足问题是人工智能中一个重要的研究方向,近年来,对动态变化的约束满足问题的研究逐渐成为该领域的热点.在目前该领域最流行的LC算法基础上,引入禁忌搜索策略,提出了一个基于最小冲突修补的算法Tabu-LC.算法在每次冲突调整时将所有冲突变量看成一个整体,并采用分支定界搜索策略求解冲突变量组成的子问题,极大地提高了求解效率.同时,在约束求解系统"明月1.0"架构下给出了算法的具体实现,并针对大量随机问题进行了对比实验.结果表明,Tabu-LC算法在求解效率和解的质量上都明显优于LC算法.
- 孙吉贵高健张永刚
- 关键词：禁忌搜索
相关作者
- 李铁克
- 作品数：229被引量：1,124H指数：18
- 供职机构：教育部
- 研究主题：遗传算法 制造执行系统 生产调度 炼钢-连铸 启发式算法
- 刘洋
- 作品数：112被引量：460H指数：12
- 供职机构：国防科学技术大学
- 研究主题：调度 动态约束满足 卫星 编队卫星 基线
- 张文学
- 作品数：47被引量：162H指数：8
- 供职机构：宁夏医科大学理学院
- 研究主题：动态约束满足 钢铁生产 动态调度 药品安全 炼钢连铸
- 陈英武
- 作品数：572被引量：2,074H指数：24
- 供职机构：国防科学技术大学
- 研究主题：卫星 调度 成像卫星 敏捷卫星 任务调度
- 侯东亮
- 作品数：28被引量：92H指数：6
- 供职机构：内蒙古财经大学
- 研究主题：物流 调度 重调度 工业工程 炼钢连铸
