您的位置： 专家智库 > >

刘冬梅

作品数：26 被引量：117H指数：5
供职机构：华东理工大学更多>>
发文基金：国家自然科学基金上海市教育发展基金会“曙光计划”项目中央高校基本科研业务费专项资金更多>>
相关领域：自动化与计算机技术文化科学更多>>

合作作者

文献类型

  • 20篇期刊文章
  • 3篇专利
  • 2篇学位论文
  • 1篇会议论文

领域

  • 18篇自动化与计算...
  • 6篇文化科学

主题

  • 7篇PETRI网
  • 6篇嵌入式
  • 6篇嵌入式系统
  • 4篇WEB服务
  • 3篇形式化
  • 3篇硬件
  • 3篇教学
  • 2篇调度
  • 2篇调度方法
  • 2篇信息系统
  • 2篇形式化方法
  • 2篇硬件划分
  • 2篇有效性
  • 2篇任务调度
  • 2篇任务调度方法
  • 2篇软硬件
  • 2篇软硬件划分
  • 2篇双边拍卖
  • 2篇拍卖
  • 2篇资源共享

机构

  • 26篇华东理工大学
  • 6篇上海应用技术...
  • 2篇南京大学
  • 2篇上海市计算机...
  • 1篇武汉大学

作者

  • 26篇刘冬梅
  • 13篇虞慧群
  • 11篇范贵生
  • 9篇陈丽琼
  • 3篇邵志清
  • 3篇耿琰
  • 2篇范圣法
  • 2篇赵雷
  • 2篇宋国新
  • 2篇杨康
  • 1篇刘百祥
  • 1篇顾艳燕
  • 1篇夏春明
  • 1篇许浩
  • 1篇裴小琴
  • 1篇韩建民
  • 1篇虞才珠
  • 1篇彭新初
  • 1篇沈文君
  • 1篇吉祥

传媒

  • 7篇华东理工大学...
  • 3篇软件学报
  • 3篇化工高等教育
  • 2篇黑龙江教育（...
  • 1篇计算机学报
  • 1篇计算机科学
  • 1篇华东理工大学...
  • 1篇教育教学论坛
  • 1篇中国科学：信...
  • 1篇2008全国...

年份

  • 1篇2023
  • 2篇2020
  • 1篇2018
  • 1篇2016
  • 1篇2015
  • 3篇2014
  • 1篇2012
  • 2篇2011
  • 1篇2010
  • 3篇2009
  • 4篇2008
  • 1篇2007
  • 1篇2005
  • 2篇2002
  • 2篇2001
共 26 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
用户期望质量驱动的Web服务优化选取被引量：6
2009年
提出了一种基于用户期望的服务质量评价方法。该评价方法仅考虑具有相似期望的用户,允许期望相似的评价影响服务的信誉度评价,以利于得到客观、准确的服务质量评估。在此基础上,提出一种基于用户期望的QoS驱动的服务选取算法。该算法实现了在满足用户偏好和期望的前提下Web服务的最优选取。电子购物的实例展示了该方法的可行性。
刘冬梅邵志清虞才珠陈丽琼
关键词：面向服务架构服务质量用户期望模糊集
并行程序的一种形式化硬件综合方法被引量：1
2001年
基于并行语言的操作语义 ,提出一组将语言构造模块转化为硬件电路的规则。利用这些规则 ,系统地将程序转化为由寄存器、锁存器及数据路径组成的电路。
刘冬梅宋国新
关键词：并行语言操作语义硬件综合嵌入式系统PL
基于Petri网的服务组合故障诊断与处理被引量：44
2010年
通过分析服务组合的故障需求,给出服务组合故障处理的框架.该框架采用Petri网来解决服务组合的错误发现及其处理问题.重点讨论了可用服务失败、组件失败及网络故障的情况,并相应地给出了服务组合故障模型.在此基础上对故障处理模型进行分析,给出服务组合故障处理正确性准则,并证明了其正确性.最后,采用CTL(computational tree logic)描述相关性质并提出验证服务组合故障分析的实施算法.仿真结果表明,该方法在处理服务组合故障时具有一定的优越性.
范贵生虞慧群陈丽琼刘冬梅
关键词：PETRI网TREE
云雾环境中基于资源共享的时间有效性的任务调度方法
本发明涉及一种云雾环境中基于资源共享的时间有效性的任务调度方法，在特定时间片下通过密封竞标双边拍卖建立基于合约的资源共享机制，根据资源共享机制进行资源分配，具体包括以下步骤：步骤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页<123>
聚类工具0