范贵生 作品数:85 被引量:399 H指数:11 供职机构: 华东理工大学 更多>> 发文基金: 国家自然科学基金 上海市自然科学基金 上海市教育发展基金会“曙光计划”项目 更多>> 相关领域: 自动化与计算机技术 电子电信 文化科学 环境科学与工程 更多>>
基于效用的云计算容错策略和模型 被引量:3 2014年 云计算近年来已成为一种被广泛接受的计算模式.随着云计算在商业、交通、卫生等领域应用的不断推进,云应用系统的可靠性问题引起了人们的特别关注.然而,云应用系统的结构和行为特征复杂,如何保障系统的可靠性是一项极具挑战性的课题.本文研究云计算的容错模型和策略,通过构建可扩展的云计算容错模型,以刻画云计算的运行机理、组件故障行为、云应用间合作和竞争特性.依据云计算的故障及资源服务特征,提出云计算的故障迁移和恢复方案.围绕容错涉及的时间和价格,依次计算云计算组件和云应用的效用,进一步分析各云应用的利益.通过求解模型的Nash均衡,以优化整体云计算的容错效用.最后,利用模型检查技术验证容错模型和容错处理的正确性.本文研究对于揭示云计算的结构和行为特征、建立云计算容错设计理论、提高云计算容错的效用具有理论意义和应用价值. 范贵生 虞慧群 陈丽琼 刘冬梅关键词:云计算 容错 PETRI网 博弈 基于Petri的分布式实时嵌入式软件合理性分析 被引量:1 2008年 合理的模型是保证分布式实时嵌入式(DRE)软件可靠性的关键。提出了分析DRE软件模型的合理性方法。该方法基于带抑制弧的时间Petri网(ITPN),采用自顶向下的策略对功能模块及其通信过程分别建模,并利用Petri网的合成运算形成整个应用的ITPN模型。在确保系统实时性的前提下,给出软件模型合理性的形式化定义及其判定定理。最后以实例说明该方法的可行性。 陈丽琼 邵志清 王秀英 范贵生关键词:PETRI网 基于时间Petri网的服务组合建模及分析 服务组合是构建复杂Web软件的有效方法,但网络的不稳定性使得服务组合的响应时间难以得到保证。为此,提出了一种基于时间Petri网的服务组合模型SCTPN,该模型能精确描述Web服务的语义。通过时间Petri网的状态类图技... 范贵生 虞慧群 刘冬梅 陈丽琼关键词:WEB服务 时间PETRI网 文献传递 大数据流计算环境下的低延时高可靠性的资源调度方法 被引量:11 2017年 在大数据处理过程中,如何保证流数据处理的可靠性及实时性变得日益重要。本文使用数据流图(DSG)对大数据流应用过程进行描述,并将DSG表示为扩展的Petri网以便对数据流过程进行建模。提出了基于CPU利用率平均变化率的资源熵算法计算资源组可靠性,并根据资源熵算法提出了基于时间和可靠性的资源调度算法(TRS-SCHE)以获得高可靠性、低延时的资源调度方案。通过仿真实验,模拟实现soda交通大数据分析应用并进行资源的调度,验证了TRSSCHE相比于Storm隔离调度算法在响应时间、请求失败率和算法时间复杂度方面的优势。 孙怀英 虞慧群 范贵生 陈丽琼关键词:DSG 高可靠性 低延时 基于Petri网的服务组合故障诊断与处理 被引量:44 2010年 通过分析服务组合的故障需求,给出服务组合故障处理的框架.该框架采用Petri网来解决服务组合的错误发现及其处理问题.重点讨论了可用服务失败、组件失败及网络故障的情况,并相应地给出了服务组合故障模型.在此基础上对故障处理模型进行分析,给出服务组合故障处理正确性准则,并证明了其正确性.最后,采用CTL(computational tree logic)描述相关性质并提出验证服务组合故障分析的实施算法.仿真结果表明,该方法在处理服务组合故障时具有一定的优越性. 范贵生 虞慧群 陈丽琼 刘冬梅关键词:PETRI网 TREE 一种基于异构云数据中心的能量感知调度方法及系统 本发明公开了一种基于异构云数据中心的能量感知调度方法及系统,包含以下步骤:S1、对输入微服务工作流进行任务合并;S2、对工作流中包含的任务按照优先级进行排序;S3、采用基于关键路径改进的能耗预分配算法进行能耗分配;S4、... 张博 范贵生 程相玺时间约束下的云工作流动态混合资源调度 2024年 随着云计算的出现和云基础设施的快速部署,越来越多的大型工作流应用正在积极向云迁移.同时,如何在满足任务时间约束的前提下优化执行成本,提高资源利用率成为新的挑战.本文提出一种云工作流动态混合资源调度算法DHRS,不仅满足任务的时间约束而且在混合资源租用时取得较低的成本.首先,根据任务的优先级关系对任务进行预处理,基于概率升序对任务进行排序,并为子任务分配子截止日期;然后,依据顺序为工作流选择满足截止日期且成本较低的服务;最后,对每个服务动态选择预留资源和按需资源,基于预留资源的空闲时间段调度,进一步降低成本.在随机生成的不同的科学工作流上进行实验,并通过与现有算法对比,DHRS在满足时间约束并且降低执行成本方面具有一定的优势. 范贵生 王鹏 王鹏 虞慧群关键词:云计算 工作流调度 一种基于RSSI距离比的传感器节点定位算法 被引量:6 2013年 随着无线传感器网络的应用与发展,WSN作为一种全新的信息获取和处理技术已得到广泛应用。如何对传感器网络节点进行快速、精确的定位,已成为WSN系统急需解决的问题。为此,提出了一种基于RSSI距离比的MDS定位算法。该算法巧用RSSI距离比,结合Euclidean测距技术计算节点间距离矩阵,运用MDS算法建立相应的全局坐标系统。根据已知锚节点物理位置,通过坐标变换(旋转与平移)最终确定未知节点的物理位置。实验结果表明:该方法能有效地提高定位的精度,对开发高精度定位系统具有重要的参考价值。 吴桂平 虞慧群 范贵生关键词:MDS RSSI测距 截止日期约束的云中资源调度成本优化算法 2024年 随着越来越多的工作流应用程序部署在云端,如何在满足工作流截止期限约束的前提下优化资源调度成本成为一个热门研究领域。本文提出了一种截止日期约束的成本优化(CODC)算法。首先,合并工作流任务以减少不同实例之间的数据传输开销。其次,关注父任务和子任务对当前任务优先级的影响,并考虑任务的子截止日期未被满足的情况,以选择最早完成任务执行的实例。最后,在5种工作流上与现有算法进行对比。与3种对照算法相比,CODC算法具有更低的工作流执行成本。 韩伊琳 范贵生 虞慧群关键词:云计算 资源调度 基于XML的远程报表系统的开发模型及实现 被引量:1 2005年 本文讨论了基于XML的Web环境下常用的开发模型,并设计和实现了一个基于XML的远程报表应用系统。文中详细地讨论了基于XML远程报表系统的服务端和客户端两部分的开发过程,具有一定的实用性和通用性。 范贵生 朱尚明关键词:XML 服务端 客户端