您的位置： 专家智库 > >

中央高校基本科研业务费专项资金(GK200902017)

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

文献类型

  • 2篇中文期刊文章

领域

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

主题

  • 1篇双语
  • 1篇双语教学
  • 1篇批处理
  • 1篇批处理系统
  • 1篇自动机
  • 1篇系统课程
  • 1篇课程
  • 1篇教学
  • 1篇教学方法
  • 1篇KRIPKE...
  • 1篇操作系
  • 1篇操作系统
  • 1篇操作系统课程
  • 1篇处理系统

机构

  • 2篇陕西师范大学

作者

  • 2篇雷丽晖
  • 1篇李永明
  • 1篇鱼先锋

传媒

  • 1篇计算机科学
  • 1篇计算机教育

年份

  • 1篇2011
  • 1篇2010
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
操作系统课程双语教学的实践与思考被引量：3
2010年
针对在操作系统课程中开展双语教学所面临的学生专业英语基础差和教学与实践相脱离等问题,在分析教学目的的基础上,提出"学以致用,循序渐进"的教学方法,并将该方法应用于课程的理论教学和实验教学。
雷丽晖
关键词：双语教学操作系统教学方法
单道批处理系统的建模与验证被引量：6
2011年
单道批处理系统的模型是其性能评价、仿真、作业调度及控制的研究基础。建立了单道批处理系统的一个数学模型——批处理自动机,并给出了相应的转换算法,将所建数学模型转换成Kripke结构;完成了基于Kripke结构的单道批处理系统模型检测,验证了单道批处理系统的合理性即兼顾公平性与效率。
鱼先锋雷丽晖李永明
关键词：批处理系统KRIPKE结构自动机
全选 清除 导出
共1页<1>
聚类工具0