您的位置： 专家智库 > >

国家教育部博士点基金(20090202120006)

作品数：4 被引量：22H指数：3
相关作者：雷丽晖李永明王映辉何秀青鱼先锋更多>>
相关机构：陕西师范大学西安理工大学更多>>
发文基金：国家教育部博士点基金国家自然科学基金中央高校基本科研业务费专项资金更多>>
相关领域：自动化与计算机技术文化科学更多>>

文献类型

  • 4篇中文期刊文章

领域

  • 3篇自动化与计算...
  • 1篇文化科学

主题

  • 2篇自动机
  • 1篇调度
  • 1篇调度算法
  • 1篇多处理器
  • 1篇任务调度
  • 1篇任务调度算法
  • 1篇时序逻辑
  • 1篇双语
  • 1篇双语教学
  • 1篇批处理
  • 1篇批处理系统
  • 1篇物联网
  • 1篇系统课程
  • 1篇线性时序逻辑
  • 1篇联网
  • 1篇课程
  • 1篇教学
  • 1篇教学方法
  • 1篇服务质量
  • 1篇TDS

机构

  • 4篇陕西师范大学
  • 1篇西安理工大学

作者

  • 3篇雷丽晖
  • 2篇李永明
  • 1篇何秀青
  • 1篇王映辉
  • 1篇李召妮
  • 1篇鱼先锋

传媒

  • 2篇计算机科学
  • 1篇电子学报
  • 1篇计算机教育

年份

  • 1篇2013
  • 1篇2012
  • 1篇2011
  • 1篇2010
共 4 条 记 录，以下是 1-4
全选 清除 导出
排序方式：
物联网服务动态评价选择方法研究被引量：10
2013年
对于物联网WoT面向服务SOA的软件架构成中基于服务质量QoS选择最优服务的问题,给出了反馈控制的QoS属性向量动态更新过程和服务动态评价选择方法.基于WoT设备资源受限的特点,通过指数加权平均和以并发引用服务的客户端个数为价格因素的随机指数标记REM方式估计服务时间,在系统在线概率中加入服务相邻状态检测实现服务可用性的估计,基于偏好权值和QoS属性向量通过TOPSIS过程选择最优服务.NS-3.13的模拟实验结果表明基于QoS属性向量动态更新选择最优服务的准确性明显优于简单QoS属性向量.
何秀青王映辉
关键词：物联网服务质量
操作系统课程双语教学的实践与思考被引量：3
2010年
针对在操作系统课程中开展双语教学所面临的学生专业英语基础差和教学与实践相脱离等问题,在分析教学目的的基础上,提出"学以致用,循序渐进"的教学方法,并将该方法应用于课程的理论教学和实验教学。
雷丽晖
关键词：双语教学操作系统教学方法
多处理器任务调度算法TDS的建模与验证被引量：5
2012年
在多处理器系统中,一个应用所要完成的任务可以分配给同一个处理器处理,也可以分配给多个处理器处理,所以传统的测试方法难以满足多处理器任务调度算法的验证。在此,提出一个基于扩展Büchi自动机的形式化模型,并用该模型来描述多处理器任务调度算法TDS(Task Duplication based Scheduling);用线性时序逻辑描述出算法TDS期望的一些性质;最后在该模型上验证了这些性质。该方法有效地克服了传统测试的局限性,保证了多处理器任务调度的可靠性。
李召妮雷丽晖李永明
关键词：线性时序逻辑
单道批处理系统的建模与验证被引量：6
2011年
单道批处理系统的模型是其性能评价、仿真、作业调度及控制的研究基础。建立了单道批处理系统的一个数学模型——批处理自动机,并给出了相应的转换算法,将所建数学模型转换成Kripke结构;完成了基于Kripke结构的单道批处理系统模型检测,验证了单道批处理系统的合理性即兼顾公平性与效率。
鱼先锋雷丽晖李永明
关键词：批处理系统KRIPKE结构自动机
全选 清除 导出
共1页<1>
聚类工具0