检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

时间约束下的云工作流动态混合资源调度

小型微型计算机系统 2024年第7期45卷 1787-1792页

作者：范贵生王鹏虞慧群李增鹏华东理工大学信息科学与工程系上海200237 上海市计算机软件测评重点实验室上海201112

随着云计算的出现和云基础设施的快速部署,越来越多的大型工作流应用正在积极向云迁移.同时,如何在满足任务时间约束的前提下优化执行成本,提高资源利用率成为新的挑战.本文提出一种云工作流动态混合资源调度算法DHRS,不仅满足任务的时... 详细信息

随着云计算的出现和云基础设施的快速部署,越来越多的大型工作流应用正在积极向云迁移.同时,如何在满足任务时间约束的前提下优化执行成本,提高资源利用率成为新的挑战.本文提出一种云工作流动态混合资源调度算法DHRS,不仅满足任务的时间约束而且在混合资源租用时取得较低的成本.首先,根据任务的优先级关系对任务进行预处理,基于概率升序对任务进行排序,并为子任务分配子截止日期;然后,依据顺序为工作流选择满足截止日期且成本较低的服务;最后,对每个服务动态选择预留资源和按需资源,基于预留资源的空闲时间段调度,进一步降低成本.在随机生成的不同的科学工作流上进行实验,并通过与现有算法对比,DHRS在满足时间约束并且降低执行成本方面具有一定的优势.

关键词：云计算工作流调度混合资源

维普期刊数据库博看期刊

在线全文

学校读者我要写书评

暂无评论

一种自适应数据交易软件模型设计技术

华东理工大学学报（自然科学版） 2024年第1期50卷 137-145页

作者：汤奇峰虞慧群范贵生邵志清华东理工大学计算机科学与工程系上海200237 上海数据交易所有限公司上海200131

在大数据时代,以数据为基本生产要素的数据经济成为推动社会经济发展的创新动力。数据交易是支撑数据流通和创造数据价值的关键环节。然而,如何设计可靠和可维护的数据交易系统面临许多技术挑战性问题。针对这些挑战,本文提出一种自适... 详细信息

在大数据时代,以数据为基本生产要素的数据经济成为推动社会经济发展的创新动力。数据交易是支撑数据流通和创造数据价值的关键环节。然而,如何设计可靠和可维护的数据交易系统面临许多技术挑战性问题。针对这些挑战,本文提出一种自适应数据交易软件模型设计和验证方法。在分析数据交易业务需求的基础上,提出了一种基于Petri网的形式化数据交易自适应软件建模方法,基于Petri网和模型库方法建立数据交易业务流程的形式化模型和控制策略实施技术,Petri网的形式化语义能够有效支持数据交易系统的性质分析。最后,通过仿真实验说明所提方法的有效性和可行性。

关键词：数据交易软件模型设计 Petri网验证性能分析

同方期刊数据库博看期刊

在线全文

学校读者我要写书评

暂无评论

截止日期约束的云中资源调度成本优化算法

华东理工大学学报(自然科学版) 2023年

作者：韩伊琳范贵生虞慧群华东理工大学信息科学与工程学院

随着越来越多的工作流应用程序部署在云端，如何在满足工作流截止期限约束的前提下优化资源调度成本成为一个热门研究领域。本文提出了一种截止日期约束的成本优化(CODC)算法。首先，合并工作流任务以减少不同实例之间的数据传输开销。... 详细信息

随着越来越多的工作流应用程序部署在云端，如何在满足工作流截止期限约束的前提下优化资源调度成本成为一个热门研究领域。本文提出了一种截止日期约束的成本优化(CODC)算法。首先，合并工作流任务以减少不同实例之间的数据传输开销。其次，关注父任务和子任务对当前任务优先级的影响，并考虑任务子截止日期未被满足的情况，以选择最早完成任务执行的实例。最后，在五种工作流上与现有算法进行对比，实验结果表明，CODC算法与三种对照算法相比具有更低的工作流执行成本。

关键词：云计算资源调度截止日期约束任务实例映射成本优化

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

一种基于优先级的云工作流动态调度方法

小型微型计算机系统 2023年第7期44卷 1367-1374页

作者：范贵生陈兴鹏虞慧群华东理工大学信息科学与工程系上海200237 上海市计算机软件测评重点实验室上海201112

云计算遵循按需资源供应和即用即付定价模式,使得云提供商能够处理大规模的工作流调度.目前已有大量工作对工作流调度问题进行研究,如何以较低的执行成本来满足截止时间约束具有挑战性.本文考虑了云资源的可变性和工作流任务之间的依赖... 详细信息

云计算遵循按需资源供应和即用即付定价模式,使得云提供商能够处理大规模的工作流调度.目前已有大量工作对工作流调度问题进行研究,如何以较低的执行成本来满足截止时间约束具有挑战性.本文考虑了云资源的可变性和工作流任务之间的依赖性,提出了一种基于优先级的动态调度算法Pbads,旨在满足时间约束的前提下最小化执行成本.首先,根据任务的依赖关系进行任务合并,并为工作流任务分配子截止期限.其次,基于时间约束和任务依赖性,动态调整任务的优先级和分配策略.此外,针对每个服务动态调整其任务队列的执行顺序,以此降低服务执行成本.最后,将Pbads算法与传统调度算法进行研究对比,实验结果表明Pbads算法在执行成本和满足时间约束方面有更好的表现.

关键词：云计算任务调度截止期限优先级

维普期刊数据库博看期刊

在线全文

学校读者我要写书评

暂无评论

基于拍卖的边缘云期限感知任务卸载策略

计算机科学 2023年第4期50卷 241-248页

作者：裴翠范贵生虞慧群岳一鸣华东理工大学计算机科学与工程系上海200237 上海市计算机软件评价与测试重点实验室上海200237

随着万物互联和5G时代的到来,移动用户需要处理的数据量与其处理数据能力不匹配。将大量任务卸载到有限的边缘服务器上执行势必会产生竞争,拍卖模型的引入可以解决用户之间对资源的竞争问题。目前大多基于拍卖的任务卸载工作忽略了任务... 详细信息

随着万物互联和5G时代的到来,移动用户需要处理的数据量与其处理数据能力不匹配。将大量任务卸载到有限的边缘服务器上执行势必会产生竞争,拍卖模型的引入可以解决用户之间对资源的竞争问题。目前大多基于拍卖的任务卸载工作忽略了任务的期限感知,普遍的任务卸载工作只单一考虑延迟敏感任务,并且未考虑到保证卸载过程的安全性。基于此,提出了一种基于拍卖的期限感知任务卸载(Auction Based Deadline-aware Task Offloading,ABDTO)策略,利用基于智能合约的拍卖机制实现期限感知任务(延迟敏感型任务和非延迟敏感型任务)到边缘服务器的最优分配,以总效用(即总利润)作为评价标准,实现移动用户和边缘服务器的共赢。利用启发式遗传算法进行仿真实验,相比TACD,UPPER和RND算法,ABDTO策略的整体效用更高,最后利用Remix和Ganache等建立以太坊私有区块链网络进行仿真,证明了所提策略的正确性和可行性。

关键词：边缘云拍卖机制期限感知任务卸载智能合约

一种基于Petri的服务组合测试模型和分析方法

在线全文

学校读者我要写书评

暂无评论

华东理工大学学报（自然科学版） 2012年第2期38卷 226-232页

作者：陈诚范贵生顾春华张弘上海万达信息股份有限公司上海200040 华东理工大学计算机科学与工程系上海200237 中国建设银行浙江省分行杭州310003

测试用例选择是服务组合测试的重要内容,将直接影响服务测试的效率和正确性。采用Petri网分别对基本服务、组件和测试用例等组成部分建立形式化模型,进行形成整个服务组合的测试模型。基于模型的状态空间分析测试用例的选择和实施。借助... 详细信息

测试用例选择是服务组合测试的重要内容,将直接影响服务测试的效率和正确性。采用Petri网分别对基本服务、组件和测试用例等组成部分建立形式化模型,进行形成整个服务组合的测试模型。基于模型的状态空间分析测试用例的选择和实施。借助Petri网的操作语义及相关理论,分析了该方法的有效性及正确性。具体实例结果表明:该方法能有效地简化服务组合的测试过程,有助于提高测试的质量和效率。

关键词：服务组合测试模型测试用例 Petri网

在线全文

学校读者我要写书评

暂无评论

基于差分演化算法的跨项目缺陷预测方法

计算机工程与设计 2022年第7期43卷 1890-1897页

作者：范贵生陈玎乐杨星光虞慧群华东理工大学计算机科学与工程系上海200237 上海计算机软件技术开发中心上海市计算机软件评测重点实验室上海201112

为提高工作量感知的跨项目缺陷预测性能,提出一种基于差分演化算法的建模方法DE-EACPDP。提出缺陷密度百分位数平均(FDPA)作为模型在训练集上的优化目标,采用逻辑回归(LR)建立预测模型;为使LR在训练集上得到最大的FDPA,使用差分演化算... 详细信息

为提高工作量感知的跨项目缺陷预测性能,提出一种基于差分演化算法的建模方法DE-EACPDP。提出缺陷密度百分位数平均(FDPA)作为模型在训练集上的优化目标,采用逻辑回归(LR)建立预测模型;为使LR在训练集上得到最大的FDPA,使用差分演化算法搜索最优的LR系数。实验在4个数据集的82个项目上对模型进行评估,其结果表明,与5个最先进的方法相比,DE-EACPDP可以显著提升工作量感知性能。

关键词：软件缺陷预测跨项目工作量感知差分演化经验软件工程

在线全文

学校读者我要写书评

暂无评论

基于Petri网的服务组合故障诊断与处理

软件学报 2010年第2期21卷 231-247页

作者：范贵生虞慧群陈丽琼刘冬梅华东理工大学计算机科学与工程系上海200237 上海市计算机软件评测重点实验室上海201112 上海应用技术学院计算机科学与信息工程系上海200235

通过分析服务组合的故障需求,给出服务组合故障处理的框架.该框架采用Petri网来解决服务组合的错误发现及其处理问题.重点讨论了可用服务失败、组件失败及网络故障的情况,并相应地给出了服务组合故障模型.在此基础上对故障处理模型进行... 详细信息

通过分析服务组合的故障需求,给出服务组合故障处理的框架.该框架采用Petri网来解决服务组合的错误发现及其处理问题.重点讨论了可用服务失败、组件失败及网络故障的情况,并相应地给出了服务组合故障模型.在此基础上对故障处理模型进行分析,给出服务组合故障处理正确性准则,并证明了其正确性.最后,采用CTL(computational tree logic)描述相关性质并提出验证服务组合故障分析的实施算法.仿真结果表明,该方法在处理服务组合故障时具有一定的优越性.

关键词： Petri网服务组合故障处理 CTL(computational tree logic) 可靠性

在线全文

学校读者我要写书评

暂无评论

分布式实时嵌入式系统的能耗建模与分析

华东理工大学学报（自然科学版） 2009年第2期35卷 250-255页

作者：陈丽琼邵志清范贵生华东理工大学计算机科学与工程系上海200237

为支持分布式实时嵌入式(DRE)系统的能耗分析,提出了一种能耗时延Petri网(ECTPN)对系统的模块、任务、任务间关系、通信协议等进行建模。基于所建DRE的ECTPN模型,分析系统的可调度性和能耗约束,并给出启发式算法来计算满足时间约束和能... 详细信息

为支持分布式实时嵌入式(DRE)系统的能耗分析,提出了一种能耗时延Petri网(ECTPN)对系统的模块、任务、任务间关系、通信协议等进行建模。基于所建DRE的ECTPN模型,分析系统的可调度性和能耗约束,并给出启发式算法来计算满足时间约束和能耗约束的可行调度。最后应用一个实例模拟系统的建模和分析过程,从而直观地展示了该方法的可行性。

关键词：分布式实时嵌入式系统 Petri网可行调度能耗通信协议