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