教学课程资源库 更多>>

关键词： 小学数学   综合与实践   结构化设计  

摘要： 小学数学“综合与实践”活动是帮助学生积累数学基本活动经验的重要方式。为了提升学生综合与实践活动的效能,教师可以开发结构化的“综合与实践”活动资源、优化结构化的“综合与实践”活动方式、完善结构化的“综合与实践”实践过程、注重结构化的“综合与实践”反馈评价,充分发挥综合与实践活动的育人功能,彰显其育人价值,让综合与实践活动成为提升学生学习力、发展学生数学核心素养的重要载体。

关键词： 结构化设计   跨学科学习   融合式教学  

摘要： 跨学科学习的设置是义务教育课程改革为重塑时代新人的素质结构所采取的创新举措。基于结构化设计方法,可从“整体架构,融通学段壁垒;连续设计,贯通内在联结;进阶实施,丰盈实践学程”三条路径有效促进知识的深度整合和学科间的协同发展,从而推动跨学科主题学习从拼盘式教学模式转变为融合式教学模式,以实现任务下的学习活动与多样化学习支持的协同,并落实教—学—评一致性原则,促进核心素养的培育。

关键词： 区块链系统   安全因素   漏洞检测模型   形式化验证   BPEL流程  

摘要： 随着区块链技术在各行各业的广泛应用,区块链系统的架构变得越来越复杂,这也增加了安全问题的数量.目前,在区块链系统中采用了模糊测试、符号执行等传统的漏洞检测方法,但这些技术无法有效检测出未知的漏洞.为了提高区块链系统的安全性,提出基于形式化方法的区块链系统漏洞检测模型VDMBS(vulnerability detection model for blockchain systems),所提模型综合系统迁移状态、安全规约和节点间信任关系等多种安全因素,同时提供基于业务流程执行语言BPEL(business process execution language)的漏洞模型构建方法.最后,用NuSMV在基于区块链的电子投票选举系统上验证所提出的漏洞检测模型的有效性,实验结果表明,与现有的5种形式化测试工具相比,所提出的VDMBS模型能够检测出更多的区块链系统业务逻辑漏洞和智能合约漏洞.

关键词： 完备验证   可满足性模理论   人工智能安全   形式化方法   鲁棒性  

摘要： 人工智能技术已被广泛应用于生活中的各个领域.然而,神经网络作为人工智能的主要实现手段,在面对训练数据之外的输入或对抗攻击时,可能表现出意料之外的行为.在自动驾驶、智能医疗等安全攸关领域,这些未定义行为可能会对生命安全造成重大威胁.因此,使用完备验证方法证明神经网络的性质,保障其行为的正确性显得尤为重要.为了提高验证效率,各种完备神经网络验证工具均提出各自的优化方法,但并未充分探索这些方法真正起到的作用,后来的研究者难以从中找出最有效的优化方向.介绍神经网络验证领域的通用技术,并提出一个完备神经网络验证的通用框架.在此框架中,重点讨论目前最先进的工具在约束求解、分支选择与边界计算这3个核心部分上的所采用的优化方法.针对各个工具本身的性能和核心加速方法,设计一系列实验,旨在探究各种加速方式对于工具性能的贡献,并尝试寻找最有效的加速策略和更具潜力的优化方向,为研究者提供有价值的参考.

关键词： 大概念   革命传统作品   结构化教学  

摘要： 在落实语文学科核心素养和立德树人方面,革命传统作品的地位是无法被替代的。为助力学生更好地把握中国革命历程的整体性与阶段性,加深对革命文化的认识和理解,文章以统编高中语文教材选择性必修上册第一单元的教学设计为例,论述可从“基于课标、教材,提炼大概念”“依据基本问题,明确单元目标”“把握文本特点,整合教学内容”“围绕核心任务,优化活动设计”“‘教—学—评’一体化,检测学习效果”等方面入手,发挥大概念的聚合功能,充分挖掘革命传统作品的教学价值。

关键词： 小学英语   学为中心   结构化教学   教学设计  

摘要： 学生是学习的主体,教学应尊重并强调学生的学习主动性和能动性。本文基于布鲁纳的结构化教学思想,依循思维发展的规律,力求通过运用学为中心的结构化教学设计方法,实现由“以教为主”向“以学为主”的转变。研究表明,采用该教学设计方法开展英语教学,能够更好地引导学生主动深入地参与学习过程,促进知识的内化与迁移,有助于更好地落实培养和发展学生核心素养的目标。

关键词： 软件工程   实践能力培养   实践教学课程体系   进阶式实践  

摘要： 分析计算机科学技术专业学生软件工程课程实践教学中存在问题与不足,提出进阶式软件工程实践能力培养课程体系,从软件工程实践能力培养目标出发,具体阐述如何将软件工程实践能力分为基础技术能力和沟通管理能力两大类,并设置不同阶段能力培养的系列实践课程,通过个人项目和团队项目实践,明确各阶段实践内容、考核要求和方法,逐步培养学生解决复杂软件开发问题的实践能力和水平。

关键词： 高职专科   结构化   课堂教学  

摘要： 课堂教学效果是影响教师教授知识技能与学生接收知识技能效率的直接因素,而课堂结构又是影响课堂教学效果的关键因素。科学的课堂结构能促进“教、学”关系良性发展,有效提高课堂教学效率,确保教师准确地传授知识技能和学生高效地吸收掌握相关知识技能。本文主要从结构化课堂的意义、结构化课堂的设计策略以及结构化课堂对教学的影响三个方面出发对结构化课堂及其设计策略进行了探讨,分析结构化课堂对课堂教学的影响,从而加深我们对结构化课堂的认识,帮助我们更好地对课堂教学进行结构化设计,有效提升课堂教学的质量。

关键词： 小学语文   序列化   结构化教学设计   教学内容   整合教学资源   素养化   明确学习目标   系统化  

摘要： 语文结构化教学设计是以语文要素学习“能力化、素养化”为目标,对教学内容、学习过程等进行系统化、序列化改造与预设的一种教学设计方式。教师进行结构化教学设计,需要明确学习目标,并根据目标整合教学资源,设计序列化学习任务。本文以统编版语文四年级课文《西门豹治邺》教学为例,谈谈结构化教学设计路径。

关键词： 自动飞行系统模式   形式化方法   SysML建模   安全性质  

摘要： 在民机自动飞行过程中,自动飞行系统模式转换是影响安全的重要因素,随着现代民机机载系统的功能与复杂度的快速增长,在需求阶段对自动飞行系统模式转换的安全性分析和验证成为重要的挑战.飞行模式转换的复杂性不仅体现在自动飞行过程中必需的多重飞行模式之间的交互关系,还体现在模式转换与外部环境之间复杂的数据与控制交联关系,这些交联关系同时隐含了飞行模式转换的安全性质,这些特征提高了形式化方法的应用难度.提出一种领域特定的建模验证框架:首先,提出面向自动飞行系统模式转换的领域需求建模语言MTRDL和基于该语言扩展于SysML上的建模方法;其次,提出基于安全需求模板的安全性质辅助规约方法;最后,通过对某机型的若干条目化需求的实例研究,证明所提方法在自动飞行系统模式转换需求验证中的有效性.