刘倩
- 作品数：3 被引量：23H指数：2
- 供职机构：西南交通大学信息科学与技术学院更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术文化科学更多>>
- 智慧教学模式下课程思政教育在《计算机程序设计》课程教学中的应用被引量：5
- 2022年
- “智慧课堂”教学模式是人才培养新模式,突出学生的创新精神和创新能力的培养,更符合学生个性化学习的需要。所谓“课程思政”,就是把思政元素与其他课程内容进行融合,课程之间形成协同效应,让思想政治教育达到潜移默化的效果和作用。“课程思政”可以与智慧教学模式结合,特别在专业课程的教学过程中,利用智慧教学情境化、智能化、互动化的特点,融合并加强思想政治教育,激发学生加强思想政治修养的自觉性,提高政治思想觉悟,让思想政治内容获得更为长久深远的影响,最终内化为学生的正确认识,达到“思政育人”的目的。
- 刘倩
- 关键词：智慧教学
- 《计算机程序设计基础》课程中深层学习教学策略的实践与研究被引量：2
- 2018年
- 在《计算机程序设计基础》的课程教学中,积极改变教学策略,鼓励大学生转变学习方式,从浅层学习走向深层学习,促进学生学习的持续性、理解性、批判性、探究性、体验性和反思性。
- 刘倩
- 关键词：计算机程序设计教学策略
- 基于UPPAAL的AADL模型可调度性验证被引量：16
- 2009年
- 针对体系结构分析设计语言(AADL)模型的可调度性验证问题,提出了利用模型检测工具UPPAAL对其线程组件在非抢占型调度策略下的可调度性进行形式化分析和验证的方法,并实现了从AADL模型到UPPAAL中模型的模型转换工具。实验结果证明了通过UPPAAL来分析和验证AADL模型的可调度性问题的可行性。相比其他方法而言,基于形式化理论的本方法的验证结果更加精确。
- 刘倩桂盛霖李允罗蕾
- 关键词：UPPAAL可调度性
