雷丽晖

作品数：12被引量：29H指数：4
导出分析报告
供职机构：陕西师范大学计算机科学学院更多>>
发文主题：教学方法任务调度操作系统课程操作系统CTL更多>>
发文领域：自动化与计算机技术文化科学更多>>
发文期刊：《计算机技术与发展》《计算机教育》《计算机与数字工程》《计算机工程与科学》更多>>
所获基金：国家自然科学基金中央高校基本科研业务费专项资金国家教育部博士点基金西安市科技计划项目更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于强化学习的Python程序设计语言教学方法创新
《计算机教育》2025年第1期110-115,共6页雷丽晖 李鹏 
陕西师范大学教改项目(23JG26);教育部产学合作协同育人项目(231101867011642);中央高校基本科研业务费专项基金项目(GK202407007);国家自然科学基金项目(62377034);陕西重点科技创新团队项目(2022TD-26);文化和旅游部重点实验室项目(2022-13,2023-02)。
针对非计算机专业的程序设计教学,分析目前Python程序设计语言教学方法中出现的问题,提出一种基于强化学习的Python程序设计语言教学方法,具体阐述该方法的教学流程,说明其优势,以实际教学案例介绍教学过程,最后说明教学效果。
关键词：教学方法 强化学习 Python程序设计语言 教学策略优化 
师范类专业操作系统课程实验教学探索被引量：2
《计算机教育》2021年第8期66-70,共5页雷丽晖 李鹏 
国家自然科学基金项目(61877037);国家重点研发计划重点专项(2020YFC1523305,2017YFB1402102);陕西省科技厅重点研发计划项目(2020GY-221);西安市科技计划项目(2019216914GXRC005CG006-GXYD5.1);教育部陕西师范大学基础教育课程研究中心项目(2019-JCJY009)。
针对师范类专业操作系统课程实验教学目的无法较好实现的问题,分析师范类学生的操作系统课程学习现状及社会发展对培养师范类专业学生的要求,提出利用Scratch完成操作系统课程实验的新方法,详细介绍了实验教学设计,最后分析实验成绩说...
关键词：师范类专业 操作系统 实验教学 SCRATCH 
基于CTL模型检测的胃腺癌核心路径形式化验证被引量：1
《计算机工程与科学》2018年第12期2280-2286,共7页王亚鹏 雷丽晖 
国家自然科学基金(F020504;A011404);中央高校基本科研业务费专项资金(GK201603086)
胃腺癌是消化系统最常见的恶性肿瘤,死亡率居消化道各类癌症之首。其发生发展是多步骤、多因素参与的复杂过程,涉及到多种蛋白分子的改变以及信号通路的异常,但其确切发病机制目前尚不清楚,研究其发病机理,探索有效治疗方法一直是医学...
关键词：模型检测 NUSMV 细胞信号通路 胃腺癌 
可能性测度下的CTL符号化模型检测被引量：4
《计算机工程与科学》2018年第11期2008-2014,共7页雷丽晖 郭越 张延波 
国家自然科学基金(A011404)
随着系统复杂性的增加,系统中的不确定信息亟待处理,状态爆炸问题也越来越严峻,现有的模型检测技术已不能完全适用于复杂系统的验证。对可能性测度下CTL符号化模型检测进行了研究。首先用多终端二值决策图和布尔公式分别描述系统模型和...
关键词：符号模型检测 可能性测度 CTL 多终端二值决策图 
可能性测度下的LTL模型检测并行化研究被引量：3
《计算机科学》2018年第4期71-75,88,共6页雷丽晖 王静 
国家自然科学基金(11271237;11301321);中央高校基本科研业务费专项资金(GK201603086)资助
分布式模型检测是一种缓解状态空间爆炸的有效途径,已有文献提出了定性的分布式模型验证算法,然而定量LTL验证算法并行化问题还未得到有效解决。对此,展开两个方面的工作:提出一种新的动态系统状态空间划分方法;在定性LTL分布式验证算...
关键词：可能的Kripke结构 状态空间划分 定量分布式模型检测 
云计算环境下基于马氏距离的任务调度策略研究被引量：1
《计算机技术与发展》2017年第1期53-56,共4页李慧 雷丽晖 
国家自然科学基金资助项目(61003061)
针对现有的云计算环境下的任务调度策略缺乏考虑用户任务偏好从而导致虚拟机资源利用不充分、用户对服务质量满意度不高等问题,提出了云计算环境下基于马氏距离的任务调度策略。该策略利用任务偏好指数与资源性能评分两个概念;任务调度...
关键词：云计算 任务调度 马氏距离 CloudSim 
一种基于扩展不完全Kripke结构的三值逻辑模型检测方法
《计算机工程与科学》2015年第10期1884-1889,共6页刘姣 雷丽晖 
国家自然科学基金资助项目(61003061;11271237)
多值模型检测是解决形式化验证中状态爆炸问题的一种重要方法,三值模型检测是多值模型检测的基础,其中如何检验不确定状态的真值是一难点。针对不确定状态检验,提出了一种模型检测方法,首先对不完全Kripke结构PKS进行了扩展,然后在扩展...
关键词：三值逻辑 模型检测 扩展的不完全Kripke结构 
一种利用大数据分析优化的分布式并行算法被引量：5
《计算机与数字工程》2013年第11期1720-1724,1861,共6页王彬 雷丽晖 
国家自然科学基金项目(编号:61003061)资助
随着以云计算为代表的新型计算模式的兴起,合理高效的分布式并行算法成为有效利用分布式环境下的处理机、提高分布式系统性能的一个重要方法。论文提出了一种利用大数据分析进行优化的分布式并行算法。该算法利用大数据分析将用户任务分...
关键词：并行算法 大数据分析 任务调度 
多处理器任务调度算法TDS的建模与验证被引量：5
《计算机科学》2012年第11期301-304,F0003,共5页李召妮 雷丽晖 李永明 
国家自然科学基金(60873119;61003061);高校博士学科点专项科研基金(20090202120006);中央高校基本科研业务费(GK200902017;GK201001003)资助
在多处理器系统中,一个应用所要完成的任务可以分配给同一个处理器处理,也可以分配给多个处理器处理,所以传统的测试方法难以满足多处理器任务调度算法的验证。在此,提出一个基于扩展Büchi自动机的形式化模型,并用该模型来描述多处理...
关键词：多处理器调度算法 线性时序逻辑 模型检测 扩展Büchi自动机 
单道批处理系统的建模与验证被引量：6
《计算机科学》2011年第4期257-259,共3页鱼先锋 雷丽晖 李永明 
国家自然科学基金(60873119);高等学校博士学科点专项科研基金(20090202120006);中央高校基本科研业务费专项资金(GK200902017)资助
单道批处理系统的模型是其性能评价、仿真、作业调度及控制的研究基础。建立了单道批处理系统的一个数学模型——批处理自动机,并给出了相应的转换算法,将所建数学模型转换成Kripke结构;完成了基于Kripke结构的单道批处理系统模型检测,...
关键词：批处理系统 模型检测 KRIPKE结构 自动机 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部