郭建

作品数：5被引量：24H指数：2
导出分析报告
供职机构：华东师范大学更多>>
发文主题：形式化验证形式化验证方法源代码时态逻辑微内核更多>>
发文领域：自动化与计算机技术文化科学更多>>
发文期刊：《计算机应用》《计算机教育》《软件学报》更多>>
所获基金：国家自然科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-5
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
民族特色高职院校混合式教学方法探讨——以Linux操作系统及应用课程为例
《计算机教育》2025年第3期290-296,共7页郭建 芮雪 刘冰慧 宋彬 
国家级一流本科课程项目“线上线下混合式一流课程”(2023240525)。
针对高职院校计算机类课程教学过程中学生基础差、动手能力薄弱的实际问题,分析少数民族地区高职院校学生知识体系相对不完整、语言能力有待于进一步提高的学情,提出“半翻转课堂、立体化实践和以赛促实践”相结合的混合式教学模式,以Li...
关键词：半翻转课堂 立体化实践 以赛促实践 课程思政 BOPPPS教学模式 少数民族地区 高职院校 Linux操作系统及应用 
半翻转课堂的混合教学法——结合“嵌入式系统设计”教学的思考被引量：2
《计算机教育》2021年第9期123-127,132,共6页郭建 蒲戈光 缪炜恺 
上海市高校优质在线课程建设项目(沪教委高[2018]52号);上海高校课程思政重点改革领航课程建设项目;2020年上海市高等学校一流本科课程“线上线下混合式课程”(沪教委高[2021] 5号)。
针对嵌入式专业教学中线上与线下学习的关系,提出线上线下相结合的半翻转课堂混合教学法,并针对理论和实践学习的特点分别给出半翻转课堂的理论和实践教学系统,介绍以过程考核为基础的混合教学考核方法,通过一堂教学案例阐述如何将半翻...
关键词：半翻转课堂 线上 线下 过程考核 混合教学法 
半翻转课堂的嵌入式系统设计课程混合式教学模式被引量：9
《计算机教育》2021年第8期157-160,共4页郭建 蒲戈光 
上海市高等学校一流本科课程“线上线下混合式课程”(沪教委高[2021] 5号);上海高校课程思政重点改革领航课程建设项目。
基于嵌入式系统设计课程知识点多、硬件型号繁多、结构差异、软件与硬件结合紧密的特点,分析理论教学与实践教学中的问题、主动学习与被动学习的关系,提出半翻转课堂、立体化的课程混合式教学模式,给出教学指导方法,介绍教学内容的组织...
关键词：立德树人 半翻转课堂 立体化教学 混合式教学 教学平台 
非阻塞算法的形式化建模与分析被引量：1
《计算机应用》2020年第S02期106-111,共6页杨兰兰 郭建 
国家自然科学基金重点项目(61532019)。
目前针对非阻塞(Non-blocking)同步算法的实现已有大量研究,但在实践应用中受到阻碍。其中的关键问题是在没有自动垃圾回收机制(GC)的环境中,如何安全地回收这些数据结构对象中删除掉的动态节点所占用的内存。一个有效的解决方案是Mich...
关键词：非阻塞算法 形式化建模 风险指针 ABA问题 CIVL验证框架 
嵌入式实时操作系统内核混合代码的自动化验证框架被引量：12
《软件学报》2020年第5期1353-1373,共21页郭建 丁继政 朱晓冉 
国家自然科学基金(61532019);上海市重点项目(19511103602)。
"如何构造高可信的软件系统"已成为学术界和工业界的研究热点.操作系统内核作为软件系统的基础组件,其安全可靠是构造高可信软件系统的重要环节.为了确保操作系统内核的安全可靠,将形式化方法引入到操作系统内核验证中,提出了一个自动...
关键词：实时操作系统 VCC 混合程序验证 自动验证 Z3求解器 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部