您的位置： 专家智库 > >

陈丽琼

作品数：21 被引量：118H指数：6
供职机构：上海应用技术学院计算机科学与信息工程学院计算机科学与信息工程系更多>>
发文基金：国家自然科学基金上海市教育发展基金会“曙光计划”项目中央高校基本科研业务费专项资金更多>>
相关领域：自动化与计算机技术环境科学与工程理学更多>>

合作作者

文献类型

  • 17篇期刊文章
  • 4篇会议论文

领域

  • 20篇自动化与计算...
  • 1篇环境科学与工...
  • 1篇理学

主题

  • 12篇PETRI网
  • 6篇WEB服务
  • 3篇嵌入式
  • 3篇嵌入式系统
  • 3篇可靠性
  • 2篇入侵
  • 2篇入侵检测
  • 2篇时间PETR...
  • 2篇能耗
  • 2篇面向方面技术
  • 2篇故障处理
  • 2篇故障诊断
  • 2篇故障诊断与处...
  • 2篇分析方法
  • 2篇安全性
  • 1篇低延时
  • 1篇多AGENT
  • 1篇信息熵
  • 1篇延时
  • 1篇异常流量检测

机构

  • 19篇华东理工大学
  • 12篇上海应用技术...
  • 4篇上海市计算机...
  • 2篇南京大学
  • 1篇华南师范大学
  • 1篇武汉大学
  • 1篇上海新侨职业...

作者

  • 21篇陈丽琼
  • 15篇范贵生
  • 13篇虞慧群
  • 9篇刘冬梅
  • 6篇邵志清
  • 3篇王秀英
  • 2篇虞才珠
  • 1篇顾春华
  • 1篇刘云翔
  • 1篇肖立中
  • 1篇吴琼
  • 1篇刘刚

传媒

  • 6篇华东理工大学...
  • 3篇软件学报
  • 2篇计算机科学
  • 1篇计算机学报
  • 1篇小型微型计算...
  • 1篇计算机工程与...
  • 1篇系统仿真学报
  • 1篇上海应用技术...
  • 1篇中国科学：信...
  • 1篇2007全国...
  • 1篇2008全国...
  • 1篇中国计算机学...

年份

  • 1篇2017
  • 3篇2014
  • 1篇2013
  • 3篇2011
  • 3篇2010
  • 4篇2009
  • 5篇2008
  • 1篇2007
共 21 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
基于效用的云计算容错策略和模型被引量：3
2014年
云计算近年来已成为一种被广泛接受的计算模式.随着云计算在商业、交通、卫生等领域应用的不断推进,云应用系统的可靠性问题引起了人们的特别关注.然而,云应用系统的结构和行为特征复杂,如何保障系统的可靠性是一项极具挑战性的课题.本文研究云计算的容错模型和策略,通过构建可扩展的云计算容错模型,以刻画云计算的运行机理、组件故障行为、云应用间合作和竞争特性.依据云计算的故障及资源服务特征,提出云计算的故障迁移和恢复方案.围绕容错涉及的时间和价格,依次计算云计算组件和云应用的效用,进一步分析各云应用的利益.通过求解模型的Nash均衡,以优化整体云计算的容错效用.最后,利用模型检查技术验证容错模型和容错处理的正确性.本文研究对于揭示云计算的结构和行为特征、建立云计算容错设计理论、提高云计算容错的效用具有理论意义和应用价值.
范贵生虞慧群陈丽琼刘冬梅
关键词：云计算容错PETRI网博弈
基于Petri的分布式实时嵌入式软件合理性分析被引量：1
2008年
合理的模型是保证分布式实时嵌入式(DRE)软件可靠性的关键。提出了分析DRE软件模型的合理性方法。该方法基于带抑制弧的时间Petri网(ITPN),采用自顶向下的策略对功能模块及其通信过程分别建模,并利用Petri网的合成运算形成整个应用的ITPN模型。在确保系统实时性的前提下,给出软件模型合理性的形式化定义及其判定定理。最后以实例说明该方法的可行性。
陈丽琼邵志清王秀英范贵生
关键词：PETRI网
基于时间Petri网的服务组合建模及分析
服务组合是构建复杂Web软件的有效方法,但网络的不稳定性使得服务组合的响应时间难以得到保证。为此,提出了一种基于时间Petri网的服务组合模型SCTPN,该模型能精确描述Web服务的语义。通过时间Petri网的状态类图技...
范贵生虞慧群刘冬梅陈丽琼
关键词：WEB服务时间PETRI网
文献传递
用户期望质量驱动的Web服务优化选取被引量：6
2009年
提出了一种基于用户期望的服务质量评价方法。该评价方法仅考虑具有相似期望的用户,允许期望相似的评价影响服务的信誉度评价,以利于得到客观、准确的服务质量评估。在此基础上,提出一种基于用户期望的QoS驱动的服务选取算法。该算法实现了在满足用户偏好和期望的前提下Web服务的最优选取。电子购物的实例展示了该方法的可行性。
刘冬梅邵志清虞才珠陈丽琼
关键词：面向服务架构服务质量用户期望模糊集
大数据流计算环境下的低延时高可靠性的资源调度方法被引量：11
2017年
在大数据处理过程中,如何保证流数据处理的可靠性及实时性变得日益重要。本文使用数据流图(DSG)对大数据流应用过程进行描述,并将DSG表示为扩展的Petri网以便对数据流过程进行建模。提出了基于CPU利用率平均变化率的资源熵算法计算资源组可靠性,并根据资源熵算法提出了基于时间和可靠性的资源调度算法(TRS-SCHE)以获得高可靠性、低延时的资源调度方案。通过仿真实验,模拟实现soda交通大数据分析应用并进行资源的调度,验证了TRSSCHE相比于Storm隔离调度算法在响应时间、请求失败率和算法时间复杂度方面的优势。
孙怀英虞慧群范贵生陈丽琼
关键词：DSG高可靠性低延时
基于Petri网的服务组合故障诊断与处理被引量：44
2010年
通过分析服务组合的故障需求,给出服务组合故障处理的框架.该框架采用Petri网来解决服务组合的错误发现及其处理问题.重点讨论了可用服务失败、组件失败及网络故障的情况,并相应地给出了服务组合故障模型.在此基础上对故障处理模型进行分析,给出服务组合故障处理正确性准则,并证明了其正确性.最后,采用CTL(computational tree logic)描述相关性质并提出验证服务组合故障分析的实施算法.仿真结果表明,该方法在处理服务组合故障时具有一定的优越性.
范贵生虞慧群陈丽琼刘冬梅
关键词：PETRI网TREE
分布式嵌入式系统的自适应能耗管理和分析被引量：9
2014年
以降低分布式嵌入式系统整体能耗为目标,立足设备属性及其关系,从系统的启动设备集和设备动态供电电压两个方面着手,提出一种基于Agent的自适应能耗管理及其分析方法.在此基础上,给出分布式嵌入式能耗网(DE-Net),并利用DE-Net模型对系统的基本组件进行建模,根据组件间关系形成能耗模型,以刻画系统的执行流程和能耗属性.最后,利用CTL描述系统性质,并借助Petri网的操作语义来验证方法的正确性和有效性.具体实例应用及实验结果表明:该方法能够有效地降低分布式实时系统的能耗,正确描述能耗自适应调整过程,简化建模和分析过程,对开发具有低能耗DES具有重要的理论意义和实用价值.
范贵生虞慧群陈丽琼刘冬梅
关键词：分布式嵌入式系统多AGENT能耗自适应PETRI网
可靠服务组合的协调策略与分析被引量：14
2008年
服务组合是构建复杂Web软件的有效方法,但服务事务状态的多样性使得服务组合的可靠性难以保证.为此,提出一种构造可靠服务组合的协调方法.该方法采用Petri网对工作流建模,以清晰地表达任务及任务之间的逻辑关系.在此基础上,根据服务的事务属性及服务组合的失效处理机制建立服务组合的失效处理模型,并提出一种构造可靠服务组合的协调策略及实施方法.利用Petri网相关理论证明该策略的有效性.旅游服务实例演示了协调技术的应用方法及其可行性.
范贵生刘冬梅陈丽琼虞慧群
关键词：PETRI网WEB服务事务可靠性
异常流量检测中的特征选择被引量：2
2010年
针对异常流量检测领域的高维数据降维问题,提出了一种基于信息熵理论的特征选择算法。首先计算特征的重要系数,删除重要系数小于一定阈值的特征,得到重要特征集。然后,计算特征间的冗余系数,删除冗余特征,得到精简的特征集。最后,用ID3算法对精简的特征集进行了验证,结果表明这种特征选择算法是有效的。
王秀英邵志清陈丽琼
关键词：信息熵ID3算法
基于面向方面技术的服务安全组合故障分析被引量：3
2011年
服务组合作为实现服务增值的一种有效方法,业已广泛使用于各种应用.安全问题是与Web服务密切相关且对于服务组合的可信性具有重要作用.然而目前还缺乏对服务安全组合进行有效描述和分析的方法.提出一种基于面向方面的形式化服务安全组合建模及其分析方法.重点讨论了服务的授权、执行的可追踪、数据保护及故障处理,并利用面向方面规范基本模块的行为、描述它们相互关系的手段,编织机制将这些模块动态地集成为一个完整的服务组合模型.基于此,Petri网的操作语义及相关理论分析服务组合的安全性及故障处理能力,给出服务组合的正确性准则,并证明了其有效性.具体实例及仿真结果表明,该方法能有效地简化系统建模,有助于提高服务组合的设计质量.
范贵生虞慧群顾春华陈丽琼
关键词：WEB服务PETRI网安全性
全选 清除 导出
共3页<123>
聚类工具0