龙腾
- 作品数：7 被引量：6H指数：2
- 供职机构：中国地质大学（北京）信息工程学院更多>>
- 发文基金：中央高校基本科研业务费专项资金国家自然科学基金更多>>
- 相关领域：文化科学自动化与计算机技术更多>>
- 文化育人融入软件工程专业课程实践的思考
- 2021年
- 高校作为教育领域的先锋,当积极践行文化育人的方针和任务.本文从领会"文化育人"的思想要义、深入学习"文化育人"根本任务,积极践行"文化育人"的思想要求几方面进行思考.并以作者软件工程课程实践及学科竞赛为例,竞赛结合课程实践作品和获奖作品,探索文化育人在课程实践中的运用.
- 龙腾
- 关键词：文化育人课程实践学科竞赛课程改革
- 基于限界约束的安全相关性质的推理证明
- 2017年
- 安全相关的性质如访问控制等在复杂环境下有十分重要的作用。从程序验证方面来说,不仅考虑安全性和活性的验证,还要考虑一些安全策略的性质,如非干涉性,这些不能用一般的性质来描述的安全策略可以被看作"超安全性质"。限界约束可通用地表示不同程度的访问频次限制,是安全相关性质验证中有效的辅助方法之一,在无线传感器网络协议、嵌入式系统等重要领域的性质验证方面具有广泛的应用价值。主要研究网络安全策略中的安全相关性质的限界表达及基于该限界约束的验证规则。
- 龙腾许智武
- 面向应用型人才培养的嵌入式开发技术课程改革与探索被引量：3
- 2022年
- 嵌入式开发技术课程涉及嵌入式软件和硬件理论,与开发实践等相关内容,培养应用型人才是嵌入式开发技术的课程目标之一。该课程具备实时性高、实践性强、综合性强等特点,在应用型人才培养方面,面临教学模式不够灵活、教学手段比较单一等诸多挑战。基于以上现状,本文从课内+课外、线上+线下等角度,结合当前基本学情,针对理论结合实践的教学难点,探索课程体系的改革。并结合学科竞赛等实践案例,阐述教学模式、教学手段、课程考核等方面的改革实施过程及取得的成效。
- 龙腾
- 关键词：应用型人才课程实践学科竞赛课程改革
- 软件体系结构课程内容与教学方法研究被引量：1
- 2017年
- 文章从软件体系结构课程教学的目标出发,结合信息工程的发展,分析该课程的课程内容和教学现状。结合教学实践,从教学内容、学科之间的融合、教学形式等方面,对课程的关键环节进行分析和论述,强调了研究型学习的重要性。
- 龙腾
- 关键词：软件体系结构教学方法课程实践研究型学习
- 以创新人才培养为目标的信息类文献综述课程改革研究
- 2024年
- 文献综述课程涵盖文献检索、文献加工与管理以及文献综述写作等内容,并与科研活动及毕业设计等环节紧密相关。培养融会贯通的创新人才是该课程的重要目标之一,文章从信息类学生文献综述课程教学的上述重要目标出发,结合新一代信息技术的发展与“深时数字地球”大科学计划对于学科融合创新人才的需求,分析本课程内容及其教学现状。从教学内容、教学方法、评价体系、辅助资源等方面,对课程的关键环节进行分析和论述,从而有效地提升文献综述课程的改革效果,支持信息类拔尖创新人才培养。
- 龙腾
- 关键词：教学方法课程改革
- 操作系统课程教学模式初探
- 2015年
- 文章结合信息工程的发展,根据课程的教学现状,以提高学生专业素养为目标,分析和探讨操作系统课程的教学方法。包括对现有课程的教学内容进行补充,教学知识中关注学科之间的融合,教学形式上进行变革,容纳多样化的教学手段等。
- 龙腾
- 关键词：操作系统教学方法课程实践课程改革
