一种多目标约束条件的云计算资源调度算法 被引量：7

1

作者 张素芹 徐飞 《西安工业大学学报》 CAS 2019年第5期508-512,共5页

针对基于云平台下资源调度互不相同的约束条件问题,文中提出了一种新的云计算资源调度算法。根据用户提出的各种约束要求,构造多目标约束条件,利用一个隶属度函数将多目标问题转化成单目标优化问题,重新设计了进化算子,对其遗传算法应... 针对基于云平台下资源调度互不相同的约束条件问题,文中提出了一种新的云计算资源调度算法。根据用户提出的各种约束要求,构造多目标约束条件,利用一个隶属度函数将多目标问题转化成单目标优化问题,重新设计了进化算子,对其遗传算法应用进行改进,对单目标问题进行求解,得到了策略的最优解,在CloudSim平台进行仿真实验,实验结果表明,该算法降低了任务调度的截止时间底线违背率,缩短了平均任务执行时间以及节约了平均执行成本。 展开更多

关键词 云计算 目标约束 任务调度 遗传算法

下载PDF 职称材料

经济增长目标与专项债务限额使用

2

作者 李征召 韩宁 赵德昭 《经济与管理研究》 北大核心 2024年第8期3-16,共14页

作为近年来增量最大的财政资源,专项债在中国经济高质量发展过程中发挥着重要作用。本文利用手工搜集整理的2015—2021年283个地级市面板数据,考察经济增长目标对专项债务限额使用率的影响。研究结果显示,经济增长目标能够促进专项债务... 作为近年来增量最大的财政资源,专项债在中国经济高质量发展过程中发挥着重要作用。本文利用手工搜集整理的2015—2021年283个地级市面板数据,考察经济增长目标对专项债务限额使用率的影响。研究结果显示,经济增长目标能够促进专项债务限额使用率的提高,这一结果在经济增长目标为硬约束或者存在“加码”行为时更为明显。机制分析结果表明,经济增长目标会通过推动基础设施投资水平的提高来加强专项债务限额的使用。异质性分析发现,经济增长目标对专项债务限额使用率的正向影响在距省会城市较近、晋升竞争压力较大以及东中部地区的地级市更明显。本文的研究为地方政府经济增长目标体系的完善和专项债务管理制度的优化提供了政策参考。 展开更多

关键词 经济增长目标 专项债务限额使用 目标约束 加码 基础设施投资

下载PDF 职称材料

云计算环境下多目标约束的虚拟资源动态调度 被引量：3

3

作者 魏锐 刘康明 《青岛科技大学学报（自然科学版）》 CAS 北大核心 2014年第2期210-214,共5页

为了解决静态资源调度所导致的CPU利用率不高的问题,研究了多目标约束的虚拟资源动态调度方法。给出了云计算虚拟资源调度模型,设计了多目标约束的虚拟资源表示方法,采用马尔科夫链对虚拟资源的下一时刻状态进行预测,从而得到可用资源向... 为了解决静态资源调度所导致的CPU利用率不高的问题,研究了多目标约束的虚拟资源动态调度方法。给出了云计算虚拟资源调度模型,设计了多目标约束的虚拟资源表示方法,采用马尔科夫链对虚拟资源的下一时刻状态进行预测,从而得到可用资源向量;最后,计算任务与可用资源向量之间的匹配向量,将任务分配给匹配向量中具有最大各维分量之和的虚拟资源进行调度,并提出了具体的采用基于马尔科夫链预测的云计算虚拟资源动态调度算法。实验结果表明:该算法能有效解决云环境下多目标约束的虚拟资源动态调度问题,具有较小的负载均衡离差和任务执行跨度,较其它方法具有较大的优越性。 展开更多

关键词 虚拟资源调度 云计算 负载均衡 目标约束

下载PDF 职称材料

数字经济如何赋能城市低碳转型——基于双重目标约束视角 被引量：47

4

作者 张杰 付奎 刘炳荣 《现代财经（天津财经大学学报）》 CSSCI 北大核心 2022年第8期3-23,共21页

推动经济实现质的稳步提升和量的合理增长,既是应对经济增速放缓的当下之需,也是构建新发展格局的长远之策,数字经济已成为助推经济高质量发展和实现“双碳”目标的新引擎。本文在梳理数字经济助推低碳转型文献的基础上,提出了数字经济... 推动经济实现质的稳步提升和量的合理增长,既是应对经济增速放缓的当下之需,也是构建新发展格局的长远之策,数字经济已成为助推经济高质量发展和实现“双碳”目标的新引擎。本文在梳理数字经济助推低碳转型文献的基础上,提出了数字经济赋能城市低碳转型的作用机制,并利用2011—2018年中国地级市面板数据进行实证检验。研究发现,数字经济有助于实现城市碳排放降低和全要素碳生产率提高,该结论在多重稳健性检验中依然成立。机制分析表明,数字经济通过推动能源效率提升、绿色技术进步和产业结构升级等途径赋能城市低碳转型。深入分析发现,经济增长目标与环境目标约束对数字经济助推城市低碳转型的作用不同,其中经济增长目标约束强化了地方政府发展经济的动机,削弱了数字经济对城市碳“减排”和“增效”的作用;环境目标约束强化了政府环境监管行为,增强了数字经济的低碳治理效应。异质性分析表明,数字经济发展能够推动老工业基地城市低碳转型,但囿于对传统资源产业的路径依赖,对资源型城市的低碳治理作用尚不显著。 展开更多

关键词 数字经济 低碳转型 经济增长目标约束 环境目标约束

原文传递

改进人工蜂群求解多目标柔性作业车间调度问题 被引量：10

5

作者 程冰 徐华 +1 位作者 王玲娣 梁冰 《信息与控制》 CSCD 北大核心 2019年第1期115-122,128,共9页

针对多个目标约束的柔性作业车间问题,本文采用基于Pareto解集的改进离散人工蜂群算法来求解.由于经典人工蜂群算法的选择概率不适用于多目标问题,本文对选择概率进行了重定义,将排序引入选择概率中;同时采用基于变异操作的邻域搜索方... 针对多个目标约束的柔性作业车间问题,本文采用基于Pareto解集的改进离散人工蜂群算法来求解.由于经典人工蜂群算法的选择概率不适用于多目标问题,本文对选择概率进行了重定义,将排序引入选择概率中;同时采用基于变异操作的邻域搜索方法进行局部搜索,并使用混合列交叉算子提高种群的多样性;采用Harmonic平均距离对Pareto解集进行裁剪,完成对Pareto解集的更新.最后通过实例测试及仿真实验,验证了本文算法在求解多目标柔性作业车间调度时的有效性. 展开更多

关键词 柔性作业车间调度 PARETO解集 多目标约束 混合列交叉

原文传递

多目标约束下的满意容错控制方法 被引量：7

6

作者 孙新柱 胡寿松 《自动化学报》 EI CSCD 北大核心 2008年第8期937-942,共6页

对一类不确定性不满足匹配条件的线性系统,研究了网域极点指标、H_∞指标和H_∞指标约束下的满意容错控制器的设计问题.在连续型的执行器故障的模式下,利用线性矩阵不等式技术,提出了多目标容错控制性能的相容性判别条件,分析了与圆域... 对一类不确定性不满足匹配条件的线性系统,研究了网域极点指标、H_∞指标和H_∞指标约束下的满意容错控制器的设计问题.在连续型的执行器故障的模式下,利用线性矩阵不等式技术,提出了多目标容错控制性能的相容性判别条件,分析了与圆域极点指标相容的H_∞指标和H_2指标的取值范围,并在相容指标约束下给出了有效的满意容错控制器的设计方法.对歼击机纵向通道控制系统的仿真结果表明,本文提出的方法是有效的. 展开更多

关键词 线性不确定系统 线性矩阵不等式 多目标约束 相容性 满意容错控制

下载PDF 职称材料

计及多目标约束的成品卷烟销售订单配送调度优化 被引量：1

7

作者 欧阳世波 张淼寒 +4 位作者 谢俊明 安裕强 韩宇航 周心博 潘楠 《中国烟草学报》 CAS CSCD 北大核心 2024年第2期80-91,共12页

针对制造业供应链中的跨地域多运输中心大数据订单物流调度问题,对涉及多约束条件和多目标的异构运输车辆调度问题展开研究。根据烟草制造工业的实际运输任务需求,考虑制造订单安排、车辆准运证限制、运输车辆物理限制、运输时间窗、排... 针对制造业供应链中的跨地域多运输中心大数据订单物流调度问题,对涉及多约束条件和多目标的异构运输车辆调度问题展开研究。根据烟草制造工业的实际运输任务需求,考虑制造订单安排、车辆准运证限制、运输车辆物理限制、运输时间窗、排产出库时间等实际约束,搭建了以包括车辆等待卷烟出库的最短运输时间,最低运输费用及最高车辆利用率为优化目标的成品烟物流车辆跨地域调度优化模型。设计了基于差分进化的混合多元宇宙算法(DE-MVO)用以解决该模型。最后基于某烟草工业企业的实际生产订单数据进行实验,将所设计的算法分别与粒子群(PSO)算法、差分进化(DE)算法、鲸鱼优化(WOA)算法、遗传优化(GA)算法、乌鸦搜索(CSA)算法、天鹰座优化器(AO)、多元宇宙(MVO)等前沿算法进行横向对比,对比结果表明所设计的算法在全局搜索能力、寻优精度等方面更优于其他算法,进一步表明所建立的模型在求解制造业供应链运输车辆调度问题中具有可行性。 展开更多

关键词 多目标约束 成品卷烟 配送调度 路径优化 多元宇宙算法

下载PDF 职称材料

基于Kriging模型和两目标约束应对策略的代理优化算法 被引量：6

8

作者 张建侠 马义中 +1 位作者 张延静 欧阳林寒 《计算机集成制造系统》 EI CSCD 北大核心 2018年第12期3001-3007,共7页

为了解决包含黑箱约束的复杂工程系统的优化设计问题,提出一种基于Kriging模型和两目标约束应对策略的代理优化算法。该算法将改进目标函数的期望改进准则和刻画可行域边界的可行性概率准则同时作为优化目标,再从得到的Pareto集中选取... 为了解决包含黑箱约束的复杂工程系统的优化设计问题,提出一种基于Kriging模型和两目标约束应对策略的代理优化算法。该算法将改进目标函数的期望改进准则和刻画可行域边界的可行性概率准则同时作为优化目标,再从得到的Pareto集中选取新试验点,不仅提高了新试验点选取的目的性也使新试验点兼具探索最优解和开发可行域边界的能力。最后,通过两个数学算例和一个工程算例将所提算法与已有算法进行比较,计算结果表明基于两目标约束应对策略的代理优化算法具有更高的优化精度、效率和稳健性。 展开更多

关键词 黑箱约束 KRIGING模型 代理优化算法 两目标约束应对策略 期望改进 可行性概率

下载PDF 职称材料

基于定频MPC的飞跨电容储能双向直流变换器低频波动功率抑制策略 被引量：1

9

作者 樊启高 陈亮 +1 位作者 毕恺韬 艾建 《电力系统保护与控制》 EI CSCD 北大核心 2023年第21期1-11,共11页

为抑制直流母线低频波动功率对储能系统的影响,以飞跨电容双向直流变换器为研究对象,提出基于单目标定频模型预测控制(model predictive control,MPC)低频波动功率抑制策略。为降低传统MPC算法的运算负荷,通过对变换器数学模型进行分析... 为抑制直流母线低频波动功率对储能系统的影响,以飞跨电容双向直流变换器为研究对象,提出基于单目标定频模型预测控制(model predictive control,MPC)低频波动功率抑制策略。为降低传统MPC算法的运算负荷,通过对变换器数学模型进行分析,提出一种单目标定频MPC控制算法。该算法仅需通过电感电流单目标约束函数,即可实现对系统电流及双端飞跨电容电压的控制,无须对两端飞跨电容电压进行独立寻优,极大地降低了计算量。为实现对储能系统低频波动功率的抑制,引入低频波动功率抑制算法,通过与所提MPC算法的融合,使最终控制方案能够在实现储能控制目标的前提下,具备低频波动功率抑制能力,且保持良好的动态性能。通过搭建小功率实验平台对所提控制策略的有效性进行了验证。 展开更多

关键词 飞跨电容双向直流变换器 储能系统 模型预测 低频波动功率抑制 单目标约束

下载PDF 职称材料

基于多种群差分进化算法的火箭弹自力弹射多目标约束优化设计 被引量：1

10

作者 宋健 李超 +1 位作者 佘湖清 蔡蒨 《航空动力学报》 EI CAS CSCD 北大核心 2023年第6期1516-1524,共9页

针对火箭弹自力弹射设计中降低低压室压强峰值与提高弹体出筒速度之间的矛盾,开展自力弹射的优化设计工作。建立自力弹射发动机-低压室耦合内弹道求解模型,并开展两种工况共4发实弹的验证试验;提出融合多种差分策略的多种群差分进化算法... 针对火箭弹自力弹射设计中降低低压室压强峰值与提高弹体出筒速度之间的矛盾,开展自力弹射的优化设计工作。建立自力弹射发动机-低压室耦合内弹道求解模型,并开展两种工况共4发实弹的验证试验;提出融合多种差分策略的多种群差分进化算法,并采用“剔除-补足”操作处理优化过程中的约束条件;考虑自力弹射的实际设计约束,以低压室压强峰值和弹体出筒速度为目标建立两目标约束优化模型,并采用多种群差分进化算法进行优化计算。结果表明:计算得到的Pareto前沿近似呈斜率不同的两段线性区间,随低压室压强峰值增大,相同压强增幅带来的出筒速度增量减小;在Pareto前沿上均匀选取12个优化方案并采用逼近理想解排序法进行排序,排序后得到的最终优化方案的低压室压强峰值降低16.11%,弹体出筒速度增加54.55%,自力弹射性能得到提升。 展开更多

关键词 火箭弹 自力弹射 内弹道模型 多目标约束优化 差分进化 逼近理想解排序法(TOPSIS)

原文传递

区域公共停车设施选址优化方法分析 被引量：5

11

作者 李灵芝 胡列格 《交通科技与经济》 2014年第2期20-23,34,共5页

为解决城市停车供需矛盾问题,使停车设施分布相对合理,提出最大限度地满足停车设施使用者、投资者、管理者三方效益最优的停车选址优化模型。建立综合考虑使用者的出行效益、投资者投资利润率与管理者区域服务水平的多目标约束模型,采... 为解决城市停车供需矛盾问题,使停车设施分布相对合理,提出最大限度地满足停车设施使用者、投资者、管理者三方效益最优的停车选址优化模型。建立综合考虑使用者的出行效益、投资者投资利润率与管理者区域服务水平的多目标约束模型,采用交叉概率和变异概率的自适应调整公式来优化基本遗传算法并求解该模型,给出模型求解过程。最后,经实例分析,得出规划区域内最优公共停车场建设个数、各停车场的具体位置以及泊位数,验证模型的有效性。 展开更多

关键词 停车设施 选址优化 多目标约束模型 遗传算法

下载PDF 职称材料

多目标约束的电动汽车实时调度策略 被引量：4

12

作者 常硕 牛玉刚 陈凯炎 《华东理工大学学报（自然科学版）》 CAS CSCD 北大核心 2021年第4期465-474,共10页

随着电动汽车并网数量的增多及电池容量的不断增大,不协调的充电会给电网带来巨大压力,甚至会影响电网的稳定运行。相反,合理的电动汽车调度会给电网带来额外的效益。提出了一种滑窗变速优化充电方法对电动汽车进行实时调度,结合实时电... 随着电动汽车并网数量的增多及电池容量的不断增大,不协调的充电会给电网带来巨大压力,甚至会影响电网的稳定运行。相反,合理的电动汽车调度会给电网带来额外的效益。提出了一种滑窗变速优化充电方法对电动汽车进行实时调度,结合实时电价计算充电成本,通过离线网损灵敏度快速求解网损量,采用充电功率波动法量化电池老化成本。以电池老化成本、充电成本和网损成本最小化为目标函数,构建一个多目标优化问题,利用凸优化算法求解得到车网互动(V2G)实时调度策略。在改进的IEEE 33节点配电网上对平均分配、自然充电、全局优化和滑窗变速优化充电方案进行了对比实验,验证了滑窗变速优化充电方案在减缓电池老化、降低充电成本、减少网损、平衡负载等方面的有效性。 展开更多

关键词 电动汽车 实时调度 多目标约束 滑窗变速优化

下载PDF 职称材料

基于目标约束函数的汽车电子机械制动系统性能优化 被引量：4

13

作者 文定凤 范先龙 《机械设计与制造工程》 2020年第2期88-92,共5页

为优化汽车电子机械制动系统制动性能,考虑汽车满载以及空载使用率,提出基于目标约束函数的汽车电子机械制动系统性能优化方法。以汽车制动力最优分配为目标建立目标函数,以N1类汽车ECE相关法规建立约束函数,针对汽车制动过程中影响制... 为优化汽车电子机械制动系统制动性能,考虑汽车满载以及空载使用率,提出基于目标约束函数的汽车电子机械制动系统性能优化方法。以汽车制动力最优分配为目标建立目标函数,以N1类汽车ECE相关法规建立约束函数,针对汽车制动过程中影响制动压力的制动阀平衡力,将制动力最优分配转化为制动压力响应优化问题,基于汽车制动力最优分配的目标函数以及约束函数建立汽车制动力综合平衡优化模型,并通过水平激振力振动响应、竖直激振力振动响应以及激振力矩振动响应求解该模型,实现汽车电子机械制动系统性能优化。结果表明,汽车经优化后制动工况较为稳定,前轮抱死时的制动减速度大于后轮抱死时的制动减速度,说明优化方法提高了汽车制动性能。 展开更多

关键词 目标约束函数 汽车 电子 机械制动 系统 性能优化

下载PDF 职称材料

一种新能源电站有功功率柔性控制方法及应用 被引量：4

14

作者 宋兵 余群兵 +2 位作者 陈俊 徐光福 朱中华 《电力自动化设备》 EI CSCD 北大核心 2018年第7期219-223,共5页

当前新能源电站有功功率控制主要采用通信指令调节大量逆变器和风机等设备的方式,其有功功率控制速度慢,无法满足系统级有功功率紧急控制对新能源场站级有功功率控制提出的要求。为此,结合当前新能源电站有功功率控制模式,利用保护装置... 当前新能源电站有功功率控制主要采用通信指令调节大量逆变器和风机等设备的方式,其有功功率控制速度慢,无法满足系统级有功功率紧急控制对新能源场站级有功功率控制提出的要求。为此,结合当前新能源电站有功功率控制模式,利用保护装置毫秒级开断速度的优势,提出一种有功功率柔性控制方法,并设计该控制方法的系统架构及有功功率控制流程,以满足正常运行时自动发电控制和紧急情况时快速控制的双重需求。提出多目标约束有功功率优化控制的数学模型,并阐述通过改进的优先顺序法求解该数学模型的具体步骤。通过现场实际应用的案例分析,验证了所提方法的可行性和有效性。 展开更多

关键词 新能源电站 有功功率柔性控制 紧急控制 多目标约束 优先顺序法

下载PDF 职称材料

高铁开通的碳减排效应研究——兼议经济与环境双重目标的约束 被引量：2

15

作者 黄和平 谢云飞 《环境经济研究》 2022年第4期1-22,共22页

在碳达峰、碳中和背景下,高铁作为高效并有利于碳减排的绿色交通工具而备受关注。本文基于2003—2017年全国285个城市的面板数据,使用渐进双重差分方法检验了高铁开通对碳排放的影响。研究发现:高铁开通对沿线城市具有显著的碳减排效应... 在碳达峰、碳中和背景下,高铁作为高效并有利于碳减排的绿色交通工具而备受关注。本文基于2003—2017年全国285个城市的面板数据,使用渐进双重差分方法检验了高铁开通对碳排放的影响。研究发现:高铁开通对沿线城市具有显著的碳减排效应,且动态效应显示这种减排效应有逐渐增强的趋势。在排除潜在的内生性问题及一系列稳健性检验后,该结论依然成立。高铁开通的碳减排效应具有异质性,内陆城市、资源型城市、三线及三线以下城市以及小规模城市的碳减排效应更加显著。机制分析表明高铁开通主要通过产业结构效应、技术创新效应以及资源配置效应降低碳排放,而交通替代效应在碳减排过程中并不明显。进一步分析发现,经济增长目标约束强化了地方经济发展动机,进而削减了高铁开通的碳减排效果;环境目标约束加强了高铁开通的产业结构效应和技术效应,有助于高铁开通实现碳减排。以上研究结论为深入理解高铁开通与碳排放之间的关系,并在此基础上继续扩大我国高铁网络建设与实现“3060”双碳目标提供重要决策参考。 展开更多

关键词 高铁开通 碳减排 渐进双重差分 经济增长目标约束 环境目标约束

下载PDF 职称材料

高速列车多目标约束横向半主动控制算法研究 被引量：3

16

作者 陈春俊 陈仁涛 《计算机测量与控制》 2021年第1期120-125,共6页

传统的高速列车横向半主动控制研究,主要以提高车体横向运行平稳性为目的;但车体与各部件之间通过二系悬挂与一系悬挂连接传递相互耦合振动作用,因此半主动控制在改善车体横向平稳性的同时,将导致构架横向振动和轮轨横向作用加剧,从而... 传统的高速列车横向半主动控制研究,主要以提高车体横向运行平稳性为目的;但车体与各部件之间通过二系悬挂与一系悬挂连接传递相互耦合振动作用,因此半主动控制在改善车体横向平稳性的同时,将导致构架横向振动和轮轨横向作用加剧,从而使得列车脱轨系数增大,列车运行安全性能变差;针对这一问题,提出在虚拟惯性阻尼半主动控制和脱轨安全半主动控制的基础上,设计两个控制回路的多目标约束下的混合半主动控制算法,在实现列车横向半主动控制提高平稳性的同时,控制脱轨系数的恶化,从而同时提高列车平稳性和脱轨安全性能;并利用Simpack建立了某型高速列车多刚体动力学模型,联合Matlab/Simulink建立了联合仿真分析系统对车体横向半主动控制进行研究;结果表明:采用多目标约束半主动控制算法后,车体横向振动加速度峰值和均方根值分别降低了36%和34%,平稳性改善了15%,脱轨系数减小了17%;可见采用多目标约束半主动控制算法不仅能够有效抑制车体横向振动,改善列车运行平稳性,而且还能减小列车脱轨系数,提高列车运行安全性。 展开更多

关键词 高速列车 横向平稳性 脱轨系数 半主动控制 多目标约束

下载PDF 职称材料

多QoS目标约束下云任务调度负载均衡控制算法 被引量：1

17

作者 朱晓彦 《黄河科技学院学报》 2022年第2期31-35,共5页

传统云任务调度控制算法无法高效调节调度负载的均衡性,云平台整体服务质量不够理想,导致当前已有研究结果存在时延高、负载均衡控制效果不好等问题。为此,提出多QoS目标约束下云任务调度负载均衡控制算法。建立多QoS目标约束下的云任... 传统云任务调度控制算法无法高效调节调度负载的均衡性,云平台整体服务质量不够理想,导致当前已有研究结果存在时延高、负载均衡控制效果不好等问题。为此,提出多QoS目标约束下云任务调度负载均衡控制算法。建立多QoS目标约束下的云任务协同调度模型。将云任务调度状态作为依据,计算负载均衡状态参数,确定负载平衡门限。当负载均衡超出平衡门限范围,控制节点切换负载,实现对负载均衡的控制。实验结果显示:提出算法的网络延迟小、负载均衡控制效果理想。结论:该控制算法优于常规的负载均衡控制算法,实用性更强。 展开更多

关键词 QOS 多目标约束 云任务 协同调度 负载均衡 重负载

下载PDF 职称材料

用水效率目标约束下的省市用水差异及分区对策探讨 被引量：2

18

作者 廖瑜欣 张勇 古润竹 《华东师范大学学报（自然科学版）》 CAS CSCD 北大核心 2019年第1期136-143,共8页

随着节水型社会建设和最严格水资源管理的提出,各地用水受到更明确、更严格的控制.为量化目标控制对区域用水的约束影响,提出了水资源目标约束强度概念,探索性地对水资源目标约束的进行量化分析,计算中国大陆31个省级行政区的工、农业... 随着节水型社会建设和最严格水资源管理的提出,各地用水受到更明确、更严格的控制.为量化目标控制对区域用水的约束影响,提出了水资源目标约束强度概念,探索性地对水资源目标约束的进行量化分析,计算中国大陆31个省级行政区的工、农业用水效率目标约束强度及差异性,通过情境分析综合考虑工、农业用水领域目标约束情况,得到工农强控、农业主控、工业主控等七种类型地区,针对不同类型地区提出优化水资源管理的对策建议. 展开更多

关键词 最严格水资源管理 目标约束强度 用水效率 情境分析 分区探讨

下载PDF 职称材料

多目标约束下软件运行时验证加速技术框架 被引量：2

19

作者 刘彦斌 王毅刚 叶飞 《兵器装备工程学报》 CAS 2016年第8期88-92,121,共6页

软件运行时验证是一种近年来逐步兴起的通过监控程序运行来检验其是否满足给定性质的轻量级验证技术。由于复杂性质的运行时验证中常产生高额的时间开销,阻碍了该技术在部署后系统中的应用。在深入剖析国内外研究现状及存在问题基础上,... 软件运行时验证是一种近年来逐步兴起的通过监控程序运行来检验其是否满足给定性质的轻量级验证技术。由于复杂性质的运行时验证中常产生高额的时间开销,阻碍了该技术在部署后系统中的应用。在深入剖析国内外研究现状及存在问题基础上,从改善部署后软件运行时验证效率的角度出发,综合考虑性质违背检测能力、诊断支持能力等潜在开销优化制约因素,提出多目标约束下的软件运行时验证加速技术框架。该框架包括构建多目标约束模型、可加速监控器判定、加速控制技术研究以及原型工具开发等内容,并具体阐述了框架所涉及的关键技术方案。本研究将为解决运行时验证中的开销问题提供关键技术支撑,为运行时验证技术在部署后系统中的工程化应用奠定基础。 展开更多

关键词 运行时验证 多目标约束 监控器 监控开销 运行时监控

下载PDF 职称材料

多目标约束下的大连市适度人口 被引量：2

20

作者 王宇 高向东 《沈阳大学学报》 CAS 2009年第2期5-7,13,共4页

采用水资源供需的预测平衡法,在综合了劳动力需求、资源环境和公共功能三方面约束条件后,对大连市2020年的适度人口容量进行预测,据此得出2020年大连市的适度人口容量为812万人。

关键词 多目标约束 适度人口 大连市

下载PDF 职称材料