张鹏飞
- 作品数：6 被引量：1H指数：1
- 供职机构：淮北师范大学计算机科学与技术学院更多>>
- 相关领域：文化科学自动化与计算机技术更多>>
- 数字系统投影时序逻辑描述及验证被引量：1
- 2013年
- 投影时序逻辑是一种具有离散时间模型的时序逻辑,其部分子集又是一种程序设计语言,可处理顺序和并发计算.文章讨论应用投影时序逻辑对数字系统进行形式描述和验证的方法,该方法可在数字系统的不同层级设计过程中,使用投影时序逻辑对其系统行为和性质进行形式化的描述及验证,从而提高系统设计的可信性.
- 张鹏飞叶永升
- 关键词：投影时序逻辑形式化描述
- RTL数字系统的形式化描述
- 2014年
- 本文提出对寄存器传送语言(RTL)描述的数字系统运用投影时序逻辑进行形式化描述并验证的方法。通过使用投影时序逻辑对RTL的形式语义进行定义,可把一个用寄存器传输语言描述的系统转换成投影时序逻辑的公式,从而使用投影时序逻辑可执行子集MSVL对系统行为和性质进行形式化的描述及验证,提高系统设计的可信性。
- 张鹏飞
- 关键词：投影时序逻辑形式化描述
- 基于《九章算术》的C语言教学探讨
- 2024年
- C语言教学存在着思政素材与教学结合不紧密的问题。《九章算术》是我国古代算经之首,其问题求解充满模型化、程序化求解思想。把《九章算术》计算问题作为教学材料引入C语言教学,可以激发学生学习兴趣、促进知识重构、提高数学素养,从而强化计算思维,培养学生的爱国情怀和精益求精的工匠精神,使C语言教学与思政教育有机融合,实现立德树人的育人目标。
- 张鹏飞于雷王园园
- 关键词：《九章算术》C语言思政教育计算思维
- WebQuest在《数字逻辑》教学中的应用
- 2010年
- 介绍WebQuest教学的理论基础和教学模式,分析WebQuest教学的优缺点,提出把WebQuest应用到数字逻辑教学中的思想和方法,使WebQuest教学模式和数字逻辑教学相结合,提高学生的学习兴趣和积极性,巩固学生的专业基础,增强学生的动手能力,在实际教学过程中取得较好的效果.
- 张鹏飞
- 关键词：计算机辅助教学
- 知识图谱在数字电路教学中的应用
- 2024年
- 针对当前数字电路基于知识图谱混合式教学缺乏对学生智能技术使用引导和智能素养培养问题,采用融合知识图谱与线上教学环境,布置作业使知识图谱产生可用数据,营造反思学习和协作学习环境,加强知识图谱工具应用训炼的策略实施教学。实践结果表明策略有效。使用此策略把知识图谱和数字电路教学相融合,有利于实施精准教学,促进学生智能技术使用,提高学生批判性思维水平。
- 张鹏飞彭太乐于雷王春
- 关键词：知识图谱智能教育数字电路批判性思维
- 实例教学法在“C语言程序设计”课程教学中的应用研究
- 2024年
- “C语言程序设计”课程教学存在偏重理论知识传授、编程举例教学效果差、学生知识迁移困难等问题。应用实例教学法,选取学生熟悉的计算问题作为编程解决的对象,通过实例展示、学生练习、讨论与反馈、总结与巩固等教学环节,提高学生利用所学知识编程解决实际问题的能力。恰当的教学实例有助于激发学生学习兴趣、帮助学生理解抽象概念和理论、促进学生知识建构。
- 张鹏飞洪留荣王园园
- 关键词：程序设计C语言实例教学法
