动态约束满足

作品数：15被引量：96H指数：6
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：李铁克刘洋张文学陈英武王晶更多>>
相关机构：北京科技大学国防科学技术大学教育部宁夏医科大学更多>>
相关期刊：《计算机集成制造系统》《冶金自动化》《系统工程理论与实践》《计算机工程与应用》更多>>
相关基金：中央高校基本科研业务费专项资金国家自然科学基金国家教育部博士点基金河北省自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
考虑机器故障的炼钢连铸重调度模型与算法设计被引量：6
《冶金自动化》2015年第2期28-34,共7页王晶 郑亚楠 
河北省自然科学基金资助项目(G2013203303);河北省自然科学基金资助项目(G2013203385);宁夏回族自治区自然科学基金资助项目(NZ13078)
针对炼钢连铸过程中出现的机器故障重调度问题,考虑实际生产中的工艺约束,以最小化调度结果的差异度为目标函数,建立动态约束满足调度模型。采用改进的启发式回溯算法对模型进行求解和冲突调整。通过Matlab软件对选取的算例进行仿真,结...
关键词：炼钢连铸 重调度 机器故障 动态约束满足 冲突调整 
基于约束的炼钢连铸动态调度模型与算法设计被引量：3
《制造业自动化》2014年第20期10-14,共5页王晶 郑亚楠 
河北省自然科学基金项目(G2013203303);河北省自然科学基金(G2013203385);宁夏回族自治区自然科学基金(NZ13078)
炼钢连铸过程中经常出现新炉次插入的情况,需要对其进行动态调度。一方面要尽量维持初始调度方案的现状,另一方面又要在总完工时间最短的条件下安排新炉次生产。因此,动态调度比静态调更具复杂性。针对上述问题,考虑实际生产中的工艺约...
关键词：动态约束满足 新炉次插入 炼钢连铸 动态调度 
基于动态约束满足的炼钢连铸重调度算法被引量：3
《计算机应用》2012年第12期3553-3557,3564,共6页侯东亮 李铁克 
教育部博士学科点专项科研基金资助项目(20100006110006);中央高校基本科研业务费专项资金资助项目(FRF-AS-AA-013B)
针对转炉出钢延迟的炼钢连铸重调度问题,以开工时间、加工时间以及加工机器的差异度和同一炉次相邻设备间的等待时间的差异化最小为目标建立了动态约束满足模型,提出了基于约束满足和断浇修复的重调度算法。算法通过变量和值选择规则依...
关键词：调度修复 动态约束满足 重调度 炼钢连铸 
炼钢机器故障下炼钢-连铸调度DCSP建模与算法被引量：4
《计算机工程与应用》2012年第22期226-234,共9页张春生 李铁克 王柏琳 张文学 孙彬 
国家自然科学基金资助(No.70771008);中央高校基本科研业务费专项资金资助(No.FRF-AS-09-007B)
针对机器故障下的炼钢-连铸动态调度问题,基于动态约束满足技术开发了能够灵活反映各种动态因素的建模机制。从变量、值域和约束三个角度将生产过程中的机器故障的影响映射为约束满足模型的动态变化;提出了重调度前后调度方案在时间安...
关键词：炼钢-连铸 动态调度 动态约束满足 机器故障 
考虑新任务插入的炼钢-连铸重调度模型与算法被引量：7
《工业工程》2012年第5期33-38,共6页侯东亮 李铁克 
教育部博士学科点专项科研基金资助项目(20100006110006);中央高校基本科研业务费专项资金资助项目(FRF-AS-11-013B)
针对新任务插入的炼钢-连铸重调度问题,将新任务插入映射为增加的时间约束,以开工时间差异化最小为目标建立了动态约束满足模型,提出了基于动态约束满足的局部修复算法。算法在变量选择中引入最小自由度优先策略用于选择变量,在值选择...
关键词：调度修复 动态约束满足 重调度 炼钢连铸 
基于动态约束满足框架的强表达时态规划算法被引量：3
《计算机科学》2012年第6期226-230,共5页刘越畅 
梅州市科学技术局;梅州市科技计划项目(梅市科(2011)3号);嘉应学院联合自然科学研究项目(2010KJA06);嘉应学院科研启动经费项目资助
智能规划已经成为人工智能领域最热门的研究主题之一。近年来,智能规划在现实领域的应用越来越广泛,这对规划器的处理能力和效率提出了很大的挑战。以一类强表达时态规划——基于约束区间规划为研究对象,基于动态约束满足框架设计和实...
关键词：智能规划 强表达时态规划 动态约束满足问题 算法 
基于约束和邻域的炼钢连铸重调度算法被引量：3
《工业工程》2011年第6期84-89,共6页丁帅 李铁克 王海凤 张文学 
国家自然科学基金资助项目(70771008);中央高校基本科研业务费专项资金资助项目(FRF-AS-09-007B);宁夏医科大学特殊人才科研启动资助项目
针对机器故障扰动,研究了炼钢连铸重调度问题及其求解算法。通过将机器故障映射为资源约束,建立了基于动态约束满足的炼钢连铸重调度模型,模型以最大化连浇量与调度方案相似度为目标。针对问题的模型及其特点,采用约束满足和邻域搜索相...
关键词：炼钢连铸 重调度 动态约束满足 邻域搜索 
基于动态约束满足的连铸热轧一体化滚动计划被引量：4
《计算机集成制造系统》2011年第10期2177-2184,共8页张文学 李铁克 
宁夏医科大学特殊人才科研启动基金资助项目(XT2011003);国家自然科学基金资助项目(70771008);中央高校基本科研业务费专项资金资助项目(FRF-AS-09-007B)~~
针对连铸热轧一体化滚动计划问题,建立了动态约束满足模型,提出了滚动优化前后批量计划在浇次计划相似度和轧制计划相似度上的一致性度量方法。针对问题的模型及其特点,提出了基于动态约束满足的局部修复求解算法。算法通过基于域的板...
关键词：钢铁生产 滚动计划 批量计划 动态约束满足 连铸热轧 
基于动态约束满足的考虑连铸机故障的炼钢连铸调度算法被引量：21
《计算机集成制造系统》2011年第10期2185-2194,共10页王柏琳 李铁克 张春生 张文学 孙彬 
国家自然科学基金资助项目(70771008);中央高校基本科研业务费专项资金资助项目(FRF-AS-09-007B)~~
针对考虑连铸机故障的炼钢连铸动态调度问题,建立了动态约束满足模型,以此为基础提出了基于约束满足的优化方法。该方法通过动态调度策略调整浇次计划,对模型进行预处理,将动态调度问题转化为动态约束满足问题;将模型分为连铸方案修复...
关键词：调度算法 动态约束满足 机器故障 炼钢连铸 
中继卫星动态调度问题研究被引量：11
《系统仿真学报》2011年第7期1464-1468,共5页张彦 孙占军 李剑 
针对任务时间要求改变、增加新任务和资源故障三类扰动因素分别建立了中继卫星动态调度问题的动态约束满足模型;设计了动态扩展/删除树搜索算法对模型求解,算法利用动态扰动测度中删除任务权重和调整任务权重两个参数的比指导搜索过程,...
关键词：中继卫星 动态调度 动态约束满足 树搜索 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部