教学课程资源库 更多>>

关键词： 物质结构   结构化   知识关联   认识思路  

摘要： 基于结构化理论,以《物质结构与性质》模块为例,从知识关联结构化、认识思路结构化和核心观念结构化等方面进行高三化学教学再设计。通过结构图形、思维导图和数形结合等方式,发展学生宏观辨识与微观探析、证据推理与模型认知的学科核心素养。

关键词： 语文核心素养   学生核心素养   结构化设计   小学语文作业   义务教育课程标准   思维能力   探究性   单元作业  

摘要： 新修订的《义务教育课程标准(2022年版)》强调“教师要以促进学生核心素养发展为出发点和落脚点”,设计具有“综合性、探究性和开放性”的作业,增强学生的实践、创造与思维能力。笔者以统编教科书三年级上册第二单元“金秋时节”这一主题为例,设计结构化单元作业,以提升学生语文核心素养。

关键词： 学课堂   语文思维   结构化思维   阶梯性   语文学习过程   培育学生   层次性   结构性  

摘要： “立学课堂”是以“学”立人的课堂。在“立学课堂”上,“学”是中心,“立”是方式、方法。教师既要在研究“学”的目标、内容等方面下功夫,也要在研究“立”的策略、路径上做文章。基于“立学课堂”的视野,教师在教学中要进行层次性、阶梯性的任务群设计,培育学生的整体性、结构性、系统性的语文思维。“立学课堂”视野下培育学生结构化思维的任务群设计,不仅要关注学生的语文学习成果,更要关注学生的语文学习过程。

关键词： 结构化   大单元   流程式   足球运动  

摘要： 结构化大单元设计需要教师以专家视角统筹各项学科资源与要素,寻找并建立各要素之间的逻辑联系,形成结构化的大概念、目标、内容、情境、策略。其中,大概念是结构化的思维核心,结构化内容是大单元学习的知识与技能核心。结构化大单元流程式设计策略,加深了教师对结构化教学的理解,展现了大单元设计的思维过程和具体举措,对课程理念的落地具有积极的实践意义。

关键词： 道路桥梁   结构化设计   策略  

摘要： 随着经济的增长,道路桥梁的施工范围迅猛增长,其规模持续扩张,成为城乡联系的关键纽带,这既促进了交通进步,满足了公众日常需求,又为经济增长打下坚实的基础。随着道路桥梁施工范围不断拓宽。在道路桥梁施工过程中,运用结构化设计方法,可以有效地提升道路桥梁质量,促进经济的发展。论述了道路桥梁设计中的结构化设计策略,期待能为同行起到一定的借鉴意义。

关键词： 结构化   小学数学   单元整体设计   统计与概率  

摘要： 结构化教学是指从结构化的角度对课程内容予以整合,合并、调整相同主题的内容,对课程内容结构进行重新编排和组织,突出结构特征,明确教学主题与核心。结构化教学强调数学学科的结构性、整体性等特征,可以辅助学生形成良好的认知体系,培养并发展数学思维。“统计与概率”相关内容是小学数学课程的重点内容之一,基于此,从梳理单元整体知识体系、建立立体化知识结构及构建单元整体教学评价等方面提出结构化视域下该单元整体教学路径。这对于提升教学效果具有重要意义,同时也能为其他单元的结构化教学提供借鉴。

关键词： 人工智能   形式化方法   运行时安全性保障   运行时验证   形式化建模与验证   信息物理系统   系统建模与验证   嵌入式系统  

摘要： 运行时安全性保障方法旨在系统运行过程中确保安全性属性得到满足.基于单工(simplex)架构的运行时安全性保障方法能够在使用复杂且安全性未经验证的控制器的情况下,为系统提供安全性保证.其基本思想是将复杂且安全性未经验证的复杂控制器与经过严格形式化验证的安全控制器相结合,前者工作在无安全风险的情况下,若检测发现系统存在潜在的安全风险,则通过决策模块完成复杂控制器与安全控制器之间的切换,从而确保系统的安全性.本文重点关注基于simplex架构的信息物理系统运行时安全性保障方法,从simplex架构决策模块的设计、改进与拓展,以及simplex架构的应用3个方面展开研究,对相关工作进行了梳理和总结,指出当前面临的技术挑战,并展望未来的发展方向,认为基于simplex架构的运行时安全性保障方法将会是解决智能信息物理系统安全性保障问题的有效途径之一.

关键词： 核电站   仪控系统   面向对象测试  

摘要： 核电站仪控服务器软件是由面向对象程序语言实现的核电专用设备软件,具有面向对象软件独有的特性,如抽象、继承、封装、多态等,使其与面向过程语言实现的软件相比更加灵活、复杂、多变,增加了测试的复杂度,增加了测试的难度,使得传统的测试技术在核电站仪控服务器软件的测试中越来越困难,越来越难以保证测试的充分性、完整性。为此,结合核电站仪控系统服务器软件运算过程复杂的特点,提出了一种针对核电站仪控服务器软件的面向对象测试方法,探讨了面向对象测试技术在核电站仪控系统非安全级软件确认测试中的可行性,为核电软件测试人员提供了软件测试的新思路。

关键词： 可靠度指标   一次二阶矩法   PKPM二次开发  

摘要： 提出了便于与商用结构设计软件对接的结构构件可靠度指标计算框架。采用有限差分法计算结构构件荷载效应关于基本随机变量的偏导数;用矩传播的方法计算构件荷载效应的前两阶矩;依据一次二阶矩法计算结构构件的可靠度指标β。在此基础上,编制了基于PKPM的二次开发程序,可用于计算RC框架结构梁抗弯和抗剪极限承载能力的平均安全系数和可靠度指标。实例分析结果表明,对于按6度设防设计的结构,在6度地震作用下有少数梁的可靠度指标低于我国建筑结构可靠性设计统一标准的要求;当地震作用为7度时,多数梁的可靠度指标低于标准要求。