您的位置： 专家智库 > >

范贵生

作品数：90 被引量：432H指数：11
供职机构：华东理工大学信息科学与工程学院更多>>
发文基金：国家自然科学基金上海市自然科学基金上海市教育发展基金会“曙光计划”项目更多>>
相关领域：自动化与计算机技术电子电信文化科学生物学更多>>

合作作者

文献类型

  • 73篇期刊文章
  • 8篇专利
  • 5篇会议论文
  • 2篇学位论文
  • 2篇科技成果

领域

  • 82篇自动化与计算...
  • 2篇电子电信
  • 1篇经济管理
  • 1篇生物学
  • 1篇交通运输工程
  • 1篇环境科学与工...
  • 1篇文化科学

主题

  • 17篇PETRI网
  • 11篇云计算
  • 8篇调度
  • 6篇WEB服务
  • 5篇可靠性
  • 5篇感知
  • 4篇优化算法
  • 4篇容错
  • 4篇能耗
  • 4篇资源调度
  • 4篇工作流
  • 3篇代码
  • 3篇虚拟机
  • 3篇软件工程
  • 3篇软件缺陷预测
  • 3篇拍卖
  • 3篇嵌入式
  • 3篇嵌入式系统
  • 3篇燃气
  • 3篇物联网

机构

  • 90篇华东理工大学
  • 14篇上海市计算机...
  • 9篇上海应用技术...
  • 2篇南京大学
  • 2篇上海计算机软...
  • 2篇上海宝信软件...
  • 2篇上海应用技术...
  • 1篇上海交通大学
  • 1篇武汉大学
  • 1篇上海电机学院
  • 1篇中国建设银行
  • 1篇阿里巴巴集团
  • 1篇万达信息股份...
  • 1篇万马电子医疗...
  • 1篇信息技术有限...

作者

  • 90篇范贵生
  • 67篇虞慧群
  • 15篇陈丽琼
  • 11篇刘冬梅
  • 6篇郭卫斌
  • 4篇顾春华
  • 4篇裴新
  • 3篇邵志清
  • 3篇罗飞
  • 3篇文欣秀
  • 3篇赵敏
  • 2篇王鹏
  • 2篇姜辉
  • 2篇易建军
  • 2篇张博
  • 2篇李建华
  • 2篇杨康
  • 2篇李振光
  • 2篇赵光
  • 1篇张良

传媒

  • 32篇华东理工大学...
  • 9篇计算机科学
  • 5篇小型微型计算...
  • 4篇微型电脑应用
  • 4篇软件学报
  • 3篇计算机工程与...
  • 2篇计算机工程
  • 2篇实验室研究与...
  • 1篇制造业自动化
  • 1篇计算机研究与...
  • 1篇电子学报
  • 1篇计算机学报
  • 1篇计算机应用与...
  • 1篇现代计算机
  • 1篇计算机工程与...
  • 1篇计算机教育
  • 1篇计算机科学与...
  • 1篇中国科学：信...
  • 1篇软件产业与工...
  • 1篇合成生物学

年份

  • 4篇2025
  • 9篇2024
  • 6篇2023
  • 2篇2022
  • 3篇2021
  • 8篇2020
  • 9篇2019
  • 4篇2018
  • 6篇2017
  • 3篇2016
  • 2篇2015
  • 7篇2014
  • 3篇2013
  • 4篇2012
  • 7篇2011
  • 3篇2010
  • 3篇2009
  • 4篇2008
  • 1篇2007
  • 2篇2005
共 90 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
基于效用的云计算容错策略和模型被引量：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、...
张博范贵生程相玺
基于XML的远程报表系统的开发模型及实现被引量：1
2005年
本文讨论了基于XML的Web环境下常用的开发模型,并设计和实现了一个基于XML的远程报表应用系统。文中详细地讨论了基于XML远程报表系统的服务端和客户端两部分的开发过程,具有一定的实用性和通用性。
范贵生朱尚明
关键词：XML服务端客户端
一种云存储数据完整性验证方法被引量：14
2013年
随着网络技术的迅速发展,基于云计算的应用已经渗透到社会的各个领域。云存储数据完整性技术是云计算的重要内容。然而,目前还缺乏对云存储数据完整性进行有效验证和分析的方法。提出了一种云存储数据完整性验证方法,该方法结合可恢复性证明(PoR)和MD5的优势,利用数据分块、随机抽样和周期性验证技术及时验证出数据是否被损坏。具体实现及分析结果表明,该方法能有效地验证云存储数据的完整性,有助于提高云计算的安全性。
于洋洋虞慧群范贵生
关键词：数据完整性MD5
一种基于安全和能耗感知的MEC稳定计算迁移系统
本发明公开了一种基于安全和能耗感知的MEC稳定计算迁移系统：S1、利用Lyapunov优化将多时间片约束和成本优化问题分解到单时间片。S2、将每个时隙内的数据到达规模和信道增益作为actor‑critic模型的输入，生成...
王琬玉范贵生
一种基于主副备份的微服务可靠性建模与分析方法被引量：2
2023年
微服务架构(MSA)将云应用构建为独立的组件,通过解耦来提高软件更新的灵活性和敏捷性,然而微服务在时延和可靠性方面仍面临许多挑战。本文使用谓词Petri网(PrT网)对基于事件总线的微服务组合进行建模,建立微服务之间的逻辑关系。采用主版本和备份部署微服务实例,提高了微服务组合整体的可靠性。基于PrT网的相关理论,验证了微服务可靠性模型和PB(Primary-Backup)副本部署策略的正确性。将微服务执行的保证率作为可靠性的参数,通过实验分析验证了本文方法的有效性。
刘政虞慧群范贵生
关键词：可靠性PETRI网
全选 清除 导出
共9页<123456789>
聚类工具0