刘倩

作品数：3被引量：25H指数：2
导出分析报告
供职机构：西南交通大学信息科学与技术学院更多>>
发文主题：L模型AADUPPAAL可调度性抢占更多>>
发文领域：自动化与计算机技术文化科学更多>>
发文期刊：《软件导刊.教育技术》《计算机应用》《产业与科技论坛》更多>>
所获基金：国家自然科学基金国家高技术研究发展计划更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
智慧教学模式下课程思政教育在《计算机程序设计》课程教学中的应用被引量：7
《产业与科技论坛》2022年第1期136-137,共2页刘倩 
(国库项目)教育教学研究与改革项目(编号:A0520502052001-1-5)研究成果。
“智慧课堂”教学模式是人才培养新模式,突出学生的创新精神和创新能力的培养,更符合学生个性化学习的需要。所谓“课程思政”,就是把思政元素与其他课程内容进行融合,课程之间形成协同效应,让思想政治教育达到潜移默化的效果和作用。...
关键词：课程思政 智慧教学 教学改革 
《计算机程序设计基础》课程中深层学习教学策略的实践与研究被引量：2
《软件导刊.教育技术》2018年第10期80-81,共2页刘倩 
教育教学研究与改革项目(A0520502051702-5)
在《计算机程序设计基础》的课程教学中,积极改变教学策略,鼓励大学生转变学习方式,从浅层学习走向深层学习,促进学生学习的持续性、理解性、批判性、探究性、体验性和反思性。
关键词：计算机程序设计 深层学习 浅层学习 教学策略 
基于UPPAAL的AADL模型可调度性验证被引量：16
《计算机应用》2009年第7期1820-1824,共5页刘倩 桂盛霖 李允 罗蕾 
国家自然科学基金重大研究计划项目(90718019);国家863计划项目(2007AA010304)
针对体系结构分析设计语言(AADL)模型的可调度性验证问题,提出了利用模型检测工具UPPAAL对其线程组件在非抢占型调度策略下的可调度性进行形式化分析和验证的方法,并实现了从AADL模型到UPPAAL中模型的模型转换工具。实验结果证明了通过U...
关键词：体系结构分析设计语言 UPPAAL 可调度性 非抢占 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部