期刊文献+
共找到11篇文章
< 1 >
每页显示 20 50 100
时间约束工作流模型的可调度性验证研究 被引量:3
1
作者 顾春琴 衣杨 +2 位作者 常会友 容福丽 王真 《系统仿真学报》 CAS CSCD 北大核心 2009年第7期2112-2117,共6页
工作流模型可调度验证的目的是验证工作流调度系统时间约束的合理性、对工作流系统实例的时间可达性进行仿真。首先基于可调度性定理,设计了时间约束工作流模型的可调度性验证算法,并提出时间约束修正策略。通过该算法获得可调度的时间... 工作流模型可调度验证的目的是验证工作流调度系统时间约束的合理性、对工作流系统实例的时间可达性进行仿真。首先基于可调度性定理,设计了时间约束工作流模型的可调度性验证算法,并提出时间约束修正策略。通过该算法获得可调度的时间约束工作流的时间约束集;通过时间约束修正策略,减小上述可调度性验证方法的时间复杂度。然后,进一步设计了改进的可调度验证方法,从而可获得具有最小执行时间区间的时间约束工作流的时间约束集。实验及分析显示算法具有良好的性能和效果,研究成果对于制定时间约束工作流的时间约束有较好的应用价值。 展开更多
关键词 时间约束工作流模型 可调度性验证 时间约束集 时间约束工作流网
在线阅读 下载PDF
带驻留约束的双臂集束型设备群的调度方法 被引量:5
2
作者 周炳海 刘明祥 周淑美 《哈尔滨工业大学学报》 EI CAS CSCD 北大核心 2014年第1期83-89,共7页
为提高集束型设备群的生产效率,在考虑加工不同种类晶圆条件下,研究带驻留约束的双臂集束型设备群的建模与调度问题.提出虚拟缓冲模块概念,引入时间区间集来描述系统的运行状态,并以此建立调度问题的非线性规划模型;结合数学模型,提出... 为提高集束型设备群的生产效率,在考虑加工不同种类晶圆条件下,研究带驻留约束的双臂集束型设备群的建模与调度问题.提出虚拟缓冲模块概念,引入时间区间集来描述系统的运行状态,并以此建立调度问题的非线性规划模型;结合数学模型,提出一种以时间区间集为核心的基于虚拟缓冲模块概念和交换策略的调度算法;对所提出的算法进行了仿真分析.结果表明:所构建的算法运行时间短,调度1个Lot数量的晶圆仅仅需要0.5 s左右,响应时间快;与研究问题域的下界比较,算法的结果接近下界;当设备因子大于5时,周期延长率R已经全部小于0.05,取得了较好的调度效果,表明算法是可行且有效的. 展开更多
关键词 集束型设备群 双臂机械手 驻留约束 时间区间集 调度
在线阅读 下载PDF
考虑多晶圆流的集束型设备群调度方法 被引量:2
3
作者 周炳海 黎明 《东北大学学报(自然科学版)》 EI CAS CSCD 北大核心 2016年第5期697-701,共5页
为有效解决集束型设备群多品种晶圆调度问题,构建考虑多晶圆流集束型设备群调度算法.统筹考虑多晶圆流、驻留和资源约束等特征,并以系统Makespan最小为目标,建立数学模型.集束型设备群调度分解为外层晶圆序列决策和内层机械手调度两个阶... 为有效解决集束型设备群多品种晶圆调度问题,构建考虑多晶圆流集束型设备群调度算法.统筹考虑多晶圆流、驻留和资源约束等特征,并以系统Makespan最小为目标,建立数学模型.集束型设备群调度分解为外层晶圆序列决策和内层机械手调度两个阶段,采用蚁群寻觅结合双向搜索策略,将蚁群算法融合到晶圆时间约束集搜索算法迭代过程中.在此基础上,提出了AS&TC(ant systems and time constraints)调度算法.对该调度算法进行仿真实验分析,结果表明该算法的有效性. 展开更多
关键词 集束型设备群 多晶圆流 驻留约束 时间约束集 启发式算法
在线阅读 下载PDF
强实时约束下光纤通道交换网络消息集优化 被引量:5
4
作者 林强 熊华钢 张其善 《电子学报》 EI CAS CSCD 北大核心 2006年第2期344-347,共4页
实时系统应当具有可预期的定时行为,强实时约束要求系统必须满足定时约束和时限要求.以周期性任务模型作为网络负载可以准确地描述强实时约束下的系统性能.本文以光纤通道交换网络强实时约束下的性能研究为背景,根据调度实时消息传输的... 实时系统应当具有可预期的定时行为,强实时约束要求系统必须满足定时约束和时限要求.以周期性任务模型作为网络负载可以准确地描述强实时约束下的系统性能.本文以光纤通道交换网络强实时约束下的性能研究为背景,根据调度实时消息传输的加权轮转服务规程,提出了特定消息集的优化设计算法,推导并证明了采用该优化算法后系统最坏情况下的可达负载率比不采用该算法时可提高至少一倍. 展开更多
关键词 强实时约束 光纤通道 消息集 分组调度 负载率
在线阅读 下载PDF
基于多面体不变集的变终端约束集RMPC 被引量:1
5
作者 秦伟伟 马建军 +1 位作者 李鹏 郑志强 《控制工程》 CSCD 北大核心 2011年第6期855-857,930,共4页
针对一类状态和输入受约束的多胞不确定线性时变系统,提出了一种基于多面体不变集的变终端约束集鲁棒模型预测控制算法。首先采用基于状态反馈增益的多面体不变集计算方法,给出了一种新的控制不变集序列构造方法,然后以控制不变集序列... 针对一类状态和输入受约束的多胞不确定线性时变系统,提出了一种基于多面体不变集的变终端约束集鲁棒模型预测控制算法。首先采用基于状态反馈增益的多面体不变集计算方法,给出了一种新的控制不变集序列构造方法,然后以控制不变集序列的并集作为终端约束集,结合在线优化和增益切换,实施变终端约束集双模鲁棒预测控制。该算法不仅有效地扩大了终端约束集,而且采用离线方式计算不变集序列降低了在线运算量。最后仿真结果验证了算法的有效性。 展开更多
关键词 多面体不变集 控制不变集 双模预测控制 变终端约束集
在线阅读 下载PDF
集合约束下多智能体系统分布式固定时间优化控制 被引量:7
6
作者 陈刚 李志勇 《自动化学报》 EI CAS CSCD 北大核心 2022年第9期2254-2264,共11页
本文研究一类具有状态约束的多智能体系统优化控制问题,提出了一种具有固定时间收敛特性的分布式优化控制算法.该控制算法由局部投影模块、一致性模块和梯度模块构成,其中局部投影模块确保智能体的状态在固定时间内收敛到局部约束集合,... 本文研究一类具有状态约束的多智能体系统优化控制问题,提出了一种具有固定时间收敛特性的分布式优化控制算法.该控制算法由局部投影模块、一致性模块和梯度模块构成,其中局部投影模块确保智能体的状态在固定时间内收敛到局部约束集合,基于时变增益的一致性模块实现所有智能体的状态在固定时间内收敛到一致值,基于时变增益的梯度模块实现智能体的状态在固定时间内收敛到最优解.利用凸优化理论和固定时间李雅普诺夫理论,分析了算法的固定时间收敛特性.算法收敛时间的上界值不依赖系统的初始条件,因而可以根据任务需求来预先设计收敛时间.最后通过数值仿真验证了理论结果的有效性. 展开更多
关键词 分布式优化 多智能体系统 集合约束 梯度法 固定时间收敛
在线阅读 下载PDF
基于时序和兴趣度约束的加权关联规则挖掘算法研究 被引量:5
7
作者 杨泽民 《计算机科学》 CSCD 北大核心 2013年第3期259-262,共4页
为了解决关联规则挖掘算法中频繁集信息挖掘不完善和时序周期对事务集频繁项挖掘的影响问题,提出了一种基于时序和兴趣度约束的加权关系规则挖掘算法。该算法首先利用时序滑动函数对时序事务集进行发生概率估算和权值赋值,依据兴趣度约... 为了解决关联规则挖掘算法中频繁集信息挖掘不完善和时序周期对事务集频繁项挖掘的影响问题,提出了一种基于时序和兴趣度约束的加权关系规则挖掘算法。该算法首先利用时序滑动函数对时序事务集进行发生概率估算和权值赋值,依据兴趣度约束函数和剪枝定理进行事务集化简,然后根据支持度和k-支持期望进行加权频繁事务集抽取,最后依据置信度进行加权关联规则导出。实验结果证明,该算法能够快速有效地挖掘出符合用户兴趣度的关联规则。 展开更多
关键词 加权关联规则 时序挖掘 支持度 兴趣度约束 频繁事务集
在线阅读 下载PDF
基于时态约束的关联规则挖掘算法 被引量:13
8
作者 张令杰 徐维祥 《计算机工程》 CAS CSCD 2012年第5期50-52,共3页
分析时态约束关联规则挖掘的TCAR算法,针对其在挖掘频繁时态项集时效率较低的问题,提出一种基于时态约束的关联规则挖掘算法。该算法对源数据库进行处理,缩减存储空间,并在更新挖掘最大频繁项集算法基础上,挖掘最大频繁时态项集。实例... 分析时态约束关联规则挖掘的TCAR算法,针对其在挖掘频繁时态项集时效率较低的问题,提出一种基于时态约束的关联规则挖掘算法。该算法对源数据库进行处理,缩减存储空间,并在更新挖掘最大频繁项集算法基础上,挖掘最大频繁时态项集。实例分析结果表明,该算法能提高整体挖掘效率。 展开更多
关键词 时态约束 关联规则 TCAR算法 时间阈值 最大频繁时态项集 候选项集
在线阅读 下载PDF
基于积分二次约束改进算法的时延电网控制策略研究 被引量:4
9
作者 郭克 肖宁 《现代电子技术》 北大核心 2019年第16期10-14,共5页
电力系统中信号传输的时间滞后通常会导致通信时延,影响电网的调控系统控制效率,从而造成电网运行稳定性降低。针对电力系统的通信时延问题,文中提出一种基于积分二次约束改进算法的时延电网控制策略。首先在考虑通信时延的基础上搭建... 电力系统中信号传输的时间滞后通常会导致通信时延,影响电网的调控系统控制效率,从而造成电网运行稳定性降低。针对电力系统的通信时延问题,文中提出一种基于积分二次约束改进算法的时延电网控制策略。首先在考虑通信时延的基础上搭建电网微分方程模型,然后在算法中对电网的输入与输出设置约束条件,再结合耗散理论对积分二次约束算法进行改进。在此基础上设计时延反馈控制器,来提升电力系统稳定性,判定依据的保守性。最后,在电力系统安全分析软件中对算法进行仿真验证。仿真结果表明,所提出的基于积分二次约束改进算法的时延电网控制策略能够有效抑制振荡,同时减少通信时延对电网运行稳定性的影响。 展开更多
关键词 时延电网 控制策略 时延反馈控制 模型搭建 约束条件设置 仿真验证
在线阅读 下载PDF
一种卫星成像调度的约束修正方法 被引量:3
10
作者 于海 郭玉华 +2 位作者 李军 王钧 景宁 《宇航学报》 EI CAS CSCD 北大核心 2008年第4期1402-1407,共6页
约束修正是卫星成像调度的重要组成部分,负责处理成像调度方案的约束满足与优化的问题。为得到优化可行的成像调度方案,针对一类带有卫星存储器和数据下传等约束的卫星成像调度问题,提出一种新的约束修正方法。首先构建时间序有向图模型... 约束修正是卫星成像调度的重要组成部分,负责处理成像调度方案的约束满足与优化的问题。为得到优化可行的成像调度方案,针对一类带有卫星存储器和数据下传等约束的卫星成像调度问题,提出一种新的约束修正方法。首先构建时间序有向图模型,将约束修正问题归结为点带约束成本的路径搜索问题,针对该模型提出一种基于标记更新的约束修正算法。通过针对实际问题的实验分析,表明该方法能够在规定的时间内求得问题的最优解,有效的解决了卫星成像调度的约束满足与优化问题。 展开更多
关键词 成像调度 约束修正 时间序有向图 标记更新
在线阅读 下载PDF
基于MILP的应用服务器集群能耗与性能实时优化 被引量:2
11
作者 熊智 赵敏 +2 位作者 蔡浩 朱长盛 许建龙 《湖南大学学报(自然科学版)》 EI CAS CSCD 北大核心 2023年第8期153-164,共12页
在节能减排和激烈同行竞争的环境下,应用服务器集群的能耗与性能优化十分迫切.针对已有研究在性能指标和实时性方面的不足,提出一种集群能耗与性能实时优化方案.该方案结合采用线性加权法和主目标法优化集群功率与请求丢弃率这两个目标... 在节能减排和激烈同行竞争的环境下,应用服务器集群的能耗与性能优化十分迫切.针对已有研究在性能指标和实时性方面的不足,提出一种集群能耗与性能实时优化方案.该方案结合采用线性加权法和主目标法优化集群功率与请求丢弃率这两个目标,将双目标优化转换成一个单目标约束优化.首先基于CPU频率等效连续调整模式下的服务器负载-功率模型,定义很少的变量将集群优化描述成混合整数二次规划问题,然后采用变量拆分和变量转换将其转化成混合整数线性规划(mixed integer linear programming,MILP)问题并引入特殊顺序集约束,最后采用Gurobi优化器求解该MILP.通过对CPU频率调整的进一步优化,大幅度减少了CPU频率的切换.多种场景下的测试表明,该方案的求解时间约在10 ms左右,特殊顺序集约束的引入使求解时间更为稳定,从而能够保证优化的实时进行. 展开更多
关键词 应用服务器集群 能耗优化 约束优化 实时 混合整数线性规划 特殊顺序集约束
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部