基于动态约束满足的考虑连铸机故障的炼钢连铸调度算法 被引量：21

1

作者 王柏琳 李铁克 +2 位作者 张春生 张文学 孙彬 《计算机集成制造系统》 EI CSCD 北大核心 2011年第10期2185-2194,共10页

针对考虑连铸机故障的炼钢连铸动态调度问题,建立了动态约束满足模型,以此为基础提出了基于约束满足的优化方法。该方法通过动态调度策略调整浇次计划,对模型进行预处理,将动态调度问题转化为动态约束满足问题;将模型分为连铸方案修复... 针对考虑连铸机故障的炼钢连铸动态调度问题,建立了动态约束满足模型,以此为基础提出了基于约束满足的优化方法。该方法通过动态调度策略调整浇次计划,对模型进行预处理,将动态调度问题转化为动态约束满足问题;将模型分为连铸方案修复子模型和炼钢精炼重调度子模型。针对两个子模型给出对应的两阶段求解算法。仿真实验表明了所提算法的可行性和有效性。 展开更多

关键词 调度算法 动态约束满足 机器故障 炼钢连铸

在线阅读 下载PDF 职称材料

一个基于最小冲突修补的动态约束满足求解算法 被引量：12

2

作者 孙吉贵 高健 张永刚 《计算机研究与发展》 EI CSCD 北大核心 2007年第12期2078-2084,共7页

约束满足问题是人工智能中一个重要的研究方向,近年来,对动态变化的约束满足问题的研究逐渐成为该领域的热点.在目前该领域最流行的LC算法基础上,引入禁忌搜索策略,提出了一个基于最小冲突修补的算法Tabu-LC.算法在每次冲突调整时将所... 约束满足问题是人工智能中一个重要的研究方向,近年来,对动态变化的约束满足问题的研究逐渐成为该领域的热点.在目前该领域最流行的LC算法基础上,引入禁忌搜索策略,提出了一个基于最小冲突修补的算法Tabu-LC.算法在每次冲突调整时将所有冲突变量看成一个整体,并采用分支定界搜索策略求解冲突变量组成的子问题,极大地提高了求解效率.同时,在约束求解系统"明月1.0"架构下给出了算法的具体实现,并针对大量随机问题进行了对比实验.结果表明,Tabu-LC算法在求解效率和解的质量上都明显优于LC算法. 展开更多

关键词 最小冲突修补 动态约束满足问题 禁忌搜索 分支定界 解重用

在线阅读 下载PDF 职称材料

基于动态约束满足的连铸热轧一体化滚动计划 被引量：4

3

作者 张文学 李铁克 《计算机集成制造系统》 EI CSCD 北大核心 2011年第10期2177-2184,共8页

针对连铸热轧一体化滚动计划问题,建立了动态约束满足模型,提出了滚动优化前后批量计划在浇次计划相似度和轧制计划相似度上的一致性度量方法。针对问题的模型及其特点,提出了基于动态约束满足的局部修复求解算法。算法通过基于域的板... 针对连铸热轧一体化滚动计划问题,建立了动态约束满足模型,提出了滚动优化前后批量计划在浇次计划相似度和轧制计划相似度上的一致性度量方法。针对问题的模型及其特点,提出了基于动态约束满足的局部修复求解算法。算法通过基于域的板坯选择策略实现困难变量优先赋值,通过基于费用的板坯插入策略实现成功优先的值选择,在迭代过程中采取基于约束传播的初始变量域收缩策略和解空间更新策略提高搜索效率。基于企业实际生产数据的仿真实验结果,验证了模型和算法的有效性。 展开更多

关键词 钢铁生产 滚动计划 批量计划 动态约束满足 连铸热轧

在线阅读 下载PDF 职称材料

基于动态约束满足的炼钢连铸重调度算法 被引量：3

4

作者 侯东亮 李铁克 《计算机应用》 CSCD 北大核心 2012年第12期3553-3557,3564,共6页

针对转炉出钢延迟的炼钢连铸重调度问题,以开工时间、加工时间以及加工机器的差异度和同一炉次相邻设备间的等待时间的差异化最小为目标建立了动态约束满足模型,提出了基于约束满足和断浇修复的重调度算法。算法通过变量和值选择规则依... 针对转炉出钢延迟的炼钢连铸重调度问题,以开工时间、加工时间以及加工机器的差异度和同一炉次相邻设备间的等待时间的差异化最小为目标建立了动态约束满足模型,提出了基于约束满足和断浇修复的重调度算法。算法通过变量和值选择规则依次对变量赋值,利用冲突识别与解消规则识别赋值过程中产生的冲突并予以解消冲突;在形成的准可行调度中,利用断浇修复启发式规则修复连铸机的断浇现象。仿真实验模拟了3组均匀分布随机产生的延迟时间量,所得目标值分别为0.15,0.28和0.51。结果表明延迟时间量的大小对目标函数值有一定影响,所提算法能够最大限度地满足生产的实时性和稳定性的需求。 展开更多

关键词 调度修复 动态约束满足 重调度 炼钢连铸

在线阅读 下载PDF 职称材料

动态约束满足及其在资源调度问题中的应用 被引量：1

5

作者 刘洋 陈英武 《计算机工程与应用》 CSCD 北大核心 2004年第27期93-96,共4页

论文系统地论述了动态约束满足技术的基本理论与方法,建立了动态约束满足技术的基本分析框架,给出了动态约束满足在Job-Shop问题中的应用实例。

关键词 动态约束满足 框架 调度

在线阅读 下载PDF 职称材料

基于广义动态约束满足的产品应用服务构件模型研究 被引量：1

6

作者 阴艳超 孙林夫 《计算机集成制造系统》 EI CSCD 北大核心 2009年第6期1098-1106,共9页

为提高产品应用服务系统的构建效率和服务设计的复用性能,提出可配置的产品应用服务构件模型及其配置实现机制。首先,给出了产品应用服务服务要素及其相互关系的描述,针对应用服务构成要素的特点,提出可配置的产品应用服务构件模型;然后... 为提高产品应用服务系统的构建效率和服务设计的复用性能,提出可配置的产品应用服务构件模型及其配置实现机制。首先,给出了产品应用服务服务要素及其相互关系的描述,针对应用服务构成要素的特点,提出可配置的产品应用服务构件模型;然后,根据产品应用服务构件模型中的特征变量、接口变量、属性变量和约束关系的特点,提出了产品应用服务构件模型的广义动态约束满足转换的概念,通过变量集和约束集对构件模型进行描述,并采用双层组合启发式求解算法实现构件性能的综合最优化,生成一簇具有较高复用价值和复用性能的产品应用服务构件。最后通过实例,验证了所提模型的实用性和有效性。 展开更多

关键词 产品应用服务构件模型 复用性能 广义动态约束满足 双层组合启发式算法

在线阅读 下载PDF 职称材料

基于动态约束满足框架的强表达时态规划算法 被引量：3

7

作者 刘越畅 《计算机科学》 CSCD 北大核心 2012年第6期226-230,共5页

智能规划已经成为人工智能领域最热门的研究主题之一。近年来,智能规划在现实领域的应用越来越广泛,这对规划器的处理能力和效率提出了很大的挑战。以一类强表达时态规划——基于约束区间规划为研究对象,基于动态约束满足框架设计和实... 智能规划已经成为人工智能领域最热门的研究主题之一。近年来,智能规划在现实领域的应用越来越广泛,这对规划器的处理能力和效率提出了很大的挑战。以一类强表达时态规划——基于约束区间规划为研究对象,基于动态约束满足框架设计和实现了一个基于约束区间的规划算法LP-TPOP;对算法的可靠性和完备性进行了证明;最后以一个规划实例演示了算法的运行过程。 展开更多

关键词 智能规划 强表达时态规划 动态约束满足问题 算法

在线阅读 下载PDF 职称材料

中继卫星动态调度问题研究 被引量：11

8

作者 张彦 孙占军 李剑 《系统仿真学报》 CAS CSCD 北大核心 2011年第7期1464-1468,共5页

针对任务时间要求改变、增加新任务和资源故障三类扰动因素分别建立了中继卫星动态调度问题的动态约束满足模型;设计了动态扩展/删除树搜索算法对模型求解,算法利用动态扰动测度中删除任务权重和调整任务权重两个参数的比指导搜索过程,... 针对任务时间要求改变、增加新任务和资源故障三类扰动因素分别建立了中继卫星动态调度问题的动态约束满足模型;设计了动态扩展/删除树搜索算法对模型求解,算法利用动态扰动测度中删除任务权重和调整任务权重两个参数的比指导搜索过程,合理协调扩展搜索和删除搜索,从而将对动态调度方案的需求反映到搜索过程之中,提高了算法的可用性和效率;仿真结果验证了该方法的有效性。 展开更多

关键词 中继卫星 动态调度 动态约束满足 树搜索

在线阅读 下载PDF 职称材料

一类多卫星动态调度问题的建模与求解方法 被引量：11

9

作者 刘洋 陈英武 谭跃进 《系统仿真学报》 CAS CSCD 2004年第12期2696-2699,2702,共5页

卫星调度是空间资源管理的重要内容之一, 其本身也是一类复杂的资源分配问题。基于动态约束满足理论,针对卫星初始调度方案执行过程中卫星资源出现故障的情况,建立了多卫星动态调度模型,提出了求解模型的启发式搜索方法。最后,以地球资... 卫星调度是空间资源管理的重要内容之一, 其本身也是一类复杂的资源分配问题。基于动态约束满足理论,针对卫星初始调度方案执行过程中卫星资源出现故障的情况,建立了多卫星动态调度模型,提出了求解模型的启发式搜索方法。最后,以地球资源观测卫星调度问题为例,对模型和算法进行了验证。 展开更多

关键词 动态约束满足 调度 模型 启发式搜索算法

在线阅读 下载PDF 职称材料

面向对象的产品配置建模及约束推理研究 被引量：9

10

作者 周义廷 杨东 伍宏伟 《计算机集成制造系统》 EI CSCD 北大核心 2009年第4期652-660,共9页

为了高效地开发产品配置系统,有效解决配置问题,提出了结合面向对象的建模技术和动态约束满足问题的配置方法。首先采用面向对象技术建立了可重用、可共享的配置模型,以表达领域知识,然后将配置模型映射成为动态约束满足问题,从而通过... 为了高效地开发产品配置系统,有效解决配置问题,提出了结合面向对象的建模技术和动态约束满足问题的配置方法。首先采用面向对象技术建立了可重用、可共享的配置模型,以表达领域知识,然后将配置模型映射成为动态约束满足问题,从而通过约束推理的方式实现了配置问题的最终求解。在从配置模型到动态约束满足问题的映射阶段,给出了映射规则集;在求解阶段,设计了扩展的回溯算法,并给出了算法的求解步骤。最后,以国内某客车公司的客车配置为应用实例,阐述了配置模型的建立过程,验证了扩展的回溯算法的可行性和有效性。 展开更多

关键词 产品配置 面向对象建模 动态约束满足问题 统一建模语言 大规模定制

在线阅读 下载PDF 职称材料

炼钢机器故障下炼钢-连铸调度DCSP建模与算法 被引量：5

11

作者 张春生 李铁克 +2 位作者 王柏琳 张文学 孙彬 《计算机工程与应用》 CSCD 2012年第22期226-234,共9页

针对机器故障下的炼钢-连铸动态调度问题,基于动态约束满足技术开发了能够灵活反映各种动态因素的建模机制。从变量、值域和约束三个角度将生产过程中的机器故障的影响映射为约束满足模型的动态变化;提出了重调度前后调度方案在时间安... 针对机器故障下的炼钢-连铸动态调度问题,基于动态约束满足技术开发了能够灵活反映各种动态因素的建模机制。从变量、值域和约束三个角度将生产过程中的机器故障的影响映射为约束满足模型的动态变化;提出了重调度前后调度方案在时间安排和机器指派上的一致性度量方法,以满足不同炉次对时间和机器一致性的不同要求;将机器故障扰动按影响程度分为3个层级,建立了故障扰动与约束满足调度模型间的映射关系。根据炼钢、精炼阶段的机器故障扰动程度,制定不同的求解策略,并为机器指派变量赋值;基于约束传播技术,通过调整开工时间和柔性加工时间分步消解时间约束冲突。仿真实验表明,提出的模型和算法是可行和有效的。 展开更多

关键词 炼钢-连铸 动态调度 动态约束满足 机器故障

在线阅读 下载PDF 职称材料

面向产品设计的BOM配置研究 被引量：2

12

作者 曾富洪 周丹 郭刚 《中国机械工程》 EI CAS CSCD 北大核心 2010年第20期2468-2474,共7页

为了将产品自动配置技术有效融入产品开发之中,从而提高产品的开发效率,提出了BOM知识体(KBOM)的理念,并建立了基于KBOM的可重用、可共享的产品配置模型,以表达领域知识;然后将配置模型映射成为动态约束满足问题(DSCP),进而设计了将回... 为了将产品自动配置技术有效融入产品开发之中,从而提高产品的开发效率,提出了BOM知识体(KBOM)的理念,并建立了基于KBOM的可重用、可共享的产品配置模型,以表达领域知识;然后将配置模型映射成为动态约束满足问题(DSCP),进而设计了将回溯法、优选法和最邻近相似匹配法融入其中的分级遍历算法来求解DSCP,并给出了算法的实现流程;最后,以某企业的齿轮泵设计为应用实例,验证了所述方法的可行性和有效性。 展开更多

关键词 BOM知识体 BOM BOM配置 动态约束满足问题

在线阅读 下载PDF 职称材料