刘冬梅
- 作品数：26 被引量：116H指数：5
- 供职机构：华东理工大学更多>>
- 发文基金：国家自然科学基金上海市教育发展基金会“曙光计划”项目中央高校基本科研业务费专项资金更多>>
- 相关领域：自动化与计算机技术文化科学更多>>
- 用户期望质量驱动的Web服务优化选取被引量：6
- 2009年
- 提出了一种基于用户期望的服务质量评价方法。该评价方法仅考虑具有相似期望的用户,允许期望相似的评价影响服务的信誉度评价,以利于得到客观、准确的服务质量评估。在此基础上,提出一种基于用户期望的QoS驱动的服务选取算法。该算法实现了在满足用户偏好和期望的前提下Web服务的最优选取。电子购物的实例展示了该方法的可行性。
- 刘冬梅邵志清虞才珠陈丽琼
- 关键词：面向服务架构服务质量用户期望模糊集
- 并行程序的一种形式化硬件综合方法被引量：1
- 2001年
- 基于并行语言的操作语义 ,提出一组将语言构造模块转化为硬件电路的规则。利用这些规则 ,系统地将程序转化为由寄存器、锁存器及数据路径组成的电路。
- 刘冬梅宋国新
- 关键词：并行语言操作语义硬件综合嵌入式系统PL
- 云雾环境中基于资源共享的时间有效性的任务调度方法
- 本发明涉及一种云雾环境中基于资源共享的时间有效性的任务调度方法，在特定时间片下通过密封竞标双边拍卖建立基于合约的资源共享机制，根据资源共享机制进行资源分配，具体包括以下步骤：步骤S1：雾簇以一个租进资源价格和租出资源价格...
- 范贵生虞慧群孙怀英杨康刘冬梅
- 基于Petri网的嵌入式系统失效模型与分析
- 2011年
- 针对嵌入式系统的特点,提出一种基于Petri网的嵌入式系统失效模型与分析方法。依据嵌入式系统失效需求,采用Petri网建立嵌入式系统的形式化描述语言,并对嵌入式系统中的基本元素,如任务、资源、传感器、执行器等进行描述。构造任务间基本关系、任务与设备间交互的模型,并利用组合规则将这些模型动态地集成为一个完整的嵌入式系统失效模型。基于模型的运行特征和状态空间,分析模型的正确性。最后,应用具体实例模拟嵌入式系统失效模型与分析过程,验证了该方法的有效性。
- 陈丽琼虞慧群范贵生刘冬梅
- 关键词：嵌入式系统PETRI网
- 着力提高本科生培养质量的多模式驱动排课管理
- 2016年
- 排课是高校教学管理工作中的基本环节,排课好坏直接影响学校教学运行秩序和教学质量。通过多模式灵活组合的排课方式,既能使排课工作更加高质、高效地完成,又能提高教学资源的利用率。
- 刘冬梅邓自洋谢晓玲
- 关键词：本科生排课多模式
- 并行系统的一种组合式软硬件划分技术
- 2002年
- 研究并行系统的软硬件划分方法 ,建立了一种基于并行语言 PL的代数语义的形式化软硬件体系结构。提出了一种基于基本调度块 ( BSB)的并行系统优化划分方法。该方法首先将 PL程序分解为 BSB,然后考察 BSB的软硬件度量 ,最后利用启发式方法求出优化的软硬件划分方案。语法制导的划分规则可以用于系统的划分和软硬件成分的组合。本文提出的软硬件划分方法将系统的结构划分和功能划分有机地结合 ,具有实用价值。
- 刘冬梅宋国新
- 关键词：软硬件划分嵌入式系统模块化设计语法制导
- 一种基于Petri网的服务组合流程分析方法
- 2009年
- 虽然业务流程执行语言(BPEL)有很多特征使它适合组合流程的描述,但它缺乏形式化语义,从而不能对组合流程进行严格的分析和验证。本文提出了一种基于Petri网的BPEL语言所对应的组合流程分析方法。应用Petri网来描述BPEL所定义的组合流程,描述组合流程的基本活动及它们之间关系,进而分析了组合流程结构上的合理性。通过实例网的构建,给出了流程可组合性的判定定理,并提出减少服务搜索空间的算法。最后,应用具体实例模拟组合流程的分析过程,展示了该方法的有效性。
- 范贵生虞慧群陈丽琼刘冬梅
- 关键词：BPEL可组合性PETRI网
- 基于效用的云计算容错策略和模型被引量：3
- 2014年
- 云计算近年来已成为一种被广泛接受的计算模式.随着云计算在商业、交通、卫生等领域应用的不断推进,云应用系统的可靠性问题引起了人们的特别关注.然而,云应用系统的结构和行为特征复杂,如何保障系统的可靠性是一项极具挑战性的课题.本文研究云计算的容错模型和策略,通过构建可扩展的云计算容错模型,以刻画云计算的运行机理、组件故障行为、云应用间合作和竞争特性.依据云计算的故障及资源服务特征,提出云计算的故障迁移和恢复方案.围绕容错涉及的时间和价格,依次计算云计算组件和云应用的效用,进一步分析各云应用的利益.通过求解模型的Nash均衡,以优化整体云计算的容错效用.最后,利用模型检查技术验证容错模型和容错处理的正确性.本文研究对于揭示云计算的结构和行为特征、建立云计算容错设计理论、提高云计算容错的效用具有理论意义和应用价值.
- 范贵生虞慧群陈丽琼刘冬梅
- 关键词：云计算容错PETRI网博弈
- 基于时间Petri网的服务组合建模及分析
- 服务组合是构建复杂Web软件的有效方法,但网络的不稳定性使得服务组合的响应时间难以得到保证。为此,提出了一种基于时间Petri网的服务组合模型SCTPN,该模型能精确描述Web服务的语义。通过时间Petri网的状态类图技...
- 范贵生虞慧群刘冬梅陈丽琼
- 关键词：WEB服务时间PETRI网
- 文献传递
- 嵌入式系统软硬件划分和综合的一种形式化方法
- 该文研究嵌入式系统的软硬件划分和综合的技术.提出了一种基于并行语言pl的协同设计方法.着重介绍了基于pl的软硬件划分方法,软硬件协同综合技术.pl的形式化语义为软硬件划分和综合的可靠性提供了理论保障.该文的主要工作包括：...
- 刘冬梅
- 关键词：嵌入式系统形式化方法协同设计软硬件划分
- 文献传递网络资源链接
