一种有新任务到达的多卫星动态调度模型与方法 被引量：25

1

作者 刘洋 陈英武 谭跃进 《系统工程理论与实践》 EI CSCD 北大核心 2005年第4期35-41,共7页

　基于动态约束满足问题,针对初始方案执行过程中任务动态到达的情况,以最大化完成任务的优先级之和,并使新任务到达后,对原方案的调整最小为目标,建立了多卫星动态调度模型,提出了模型求解方法,最后给出了仿真算例,对模型和算法进行了... 　基于动态约束满足问题,针对初始方案执行过程中任务动态到达的情况,以最大化完成任务的优先级之和,并使新任务到达后,对原方案的调整最小为目标,建立了多卫星动态调度模型,提出了模型求解方法,最后给出了仿真算例,对模型和算法进行了验证. 展开更多

关键词 动态约束满足 调度 模型 算法

原文传递

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

2

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

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

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

下载PDF 职称材料

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

3

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

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

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

下载PDF 职称材料

考虑新任务插入的炼钢-连铸重调度模型与算法 被引量：7

4

作者 侯东亮 李铁克 《工业工程》 北大核心 2012年第5期33-38,共6页

针对新任务插入的炼钢-连铸重调度问题,将新任务插入映射为增加的时间约束,以开工时间差异化最小为目标建立了动态约束满足模型,提出了基于动态约束满足的局部修复算法。算法在变量选择中引入最小自由度优先策略用于选择变量,在值选择... 针对新任务插入的炼钢-连铸重调度问题,将新任务插入映射为增加的时间约束,以开工时间差异化最小为目标建立了动态约束满足模型,提出了基于动态约束满足的局部修复算法。算法在变量选择中引入最小自由度优先策略用于选择变量,在值选择中提出最大空闲时间量可行分配策略用于给变量赋值,利用冲突识别规则识别赋值过程中产生的时序冲突和资源冲突并用冲突解消规则解消冲突。仿真实验模拟了3个具有代表性的插入时刻点,所得目标函数值均为零。结果表明所提算法能够最大限度地满足满足生产的实时性和稳定性的需求。 展开更多

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

下载PDF 职称材料

炼钢-连铸混合流水车间重调度研究 被引量：5

5

作者 肖拥军 王晶 张文学 《微计算机信息》 2009年第27期12-13,31,共3页

针对机器故障下的炼钢-连铸重调度问题,建立基于动态约束满足的重调度模型。对所建立的模型,提出基于粗重调度和断浇修复的两阶段算法,源于实际生产数据的仿真实验表明模型和算法是有效的。

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

下载PDF 职称材料

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

6

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

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

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

下载PDF 职称材料

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

7

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

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

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

下载PDF 职称材料

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

8

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

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

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

下载PDF 职称材料

基于约束和邻域的炼钢连铸重调度算法 被引量：3

9

作者 丁帅 李铁克 +1 位作者 王海凤 张文学 《工业工程》 北大核心 2011年第6期84-89,共6页

针对机器故障扰动,研究了炼钢连铸重调度问题及其求解算法。通过将机器故障映射为资源约束,建立了基于动态约束满足的炼钢连铸重调度模型,模型以最大化连浇量与调度方案相似度为目标。针对问题的模型及其特点,采用约束满足和邻域搜索相... 针对机器故障扰动,研究了炼钢连铸重调度问题及其求解算法。通过将机器故障映射为资源约束,建立了基于动态约束满足的炼钢连铸重调度模型,模型以最大化连浇量与调度方案相似度为目标。针对问题的模型及其特点,采用约束满足和邻域搜索相结合的混合算法对其进行了求解。仿真实验表明本文提出的模型和算法是有效的。 展开更多

关键词 炼钢连铸 重调度 动态约束满足 邻域搜索

下载PDF 职称材料

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

10

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

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

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

下载PDF 职称材料

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

11

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

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

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

下载PDF 职称材料

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

12

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

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

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

下载PDF 职称材料

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

13

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

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

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

下载PDF 职称材料

广义动态约束满足问题的一种双层组合启发式求解算法 被引量：2

14

作者 阴艳超 刘泓滨 《机械工程学报》 EI CAS CSCD 北大核心 2011年第3期166-173,共8页

为了求解并行协同设计过程中诸多制约关系形成的约束网络,研究动态约束满足问题,提出一种基于模糊物元分析和改进微粒群算法的双层组合启发式求解算法。将模糊物元分析理论作为算法的第一层,建立广义动态约束满足问题的可拓关系元形式... 为了求解并行协同设计过程中诸多制约关系形成的约束网络,研究动态约束满足问题,提出一种基于模糊物元分析和改进微粒群算法的双层组合启发式求解算法。将模糊物元分析理论作为算法的第一层,建立广义动态约束满足问题的可拓关系元形式化模型,并应用模糊关系元优化方法完成从求解空间到寻优空间的转换;将改进微粒群算法作为第二层,在基本微粒群算法基础上,引入柔性变异概率及动态更新响应方式提高算法对复杂动态系统环境变化的适应性,追踪协同设计进程中动态约束带来的系统极值的最新变化。通过设计实例验证所提算法的有效性。面向广义动态约束网络的双层组合优化算法为协同设计过程中的约束建模和求解提供了一种形式化和动态的研究方法。 展开更多

关键词 协同设计 广义动态约束满足 模糊物元分析 柔性追踪微粒群算法

下载PDF 职称材料