教学课程资源库 更多>>

摘要： 近年来，阅读教学形态正发生着巨大变化。群文教学高举多文本、大容量的大旗，一路攻城略地，打破了单篇阅读一统天下的局面，成为当前阅读教学的主要样态。“三新”背景下，语文阅读教学进行了诸如大单元、微专题、联读等多文本课堂模式的探索，这些探索致力于向群文教学转型，以期重建整体阅读观。不过，当下的群文教学却呈现出文本组元随意性太强、课堂设计散乱化严重等问题。如何在群文教学中实现结构化就成为迫切而重要的研究课题。文本组元是群文教学的核心环节。群文教学要实现结构化首先就得实现文本组元的结构化。笔者选取群诗阅读作为“切片”，以《杜甫诗》教学设计为例，对群诗教学在文本组元环节的结构化策略与路径进行阐发，为群诗教学实践提供一些思考。

摘要： 结构化教学即每节体育实践课的教学应该创设真实的、丰富的体育与健康学习情境，“包括结构化的运动知识和运动技能、体能、展示或比赛、规则和裁判等”[1]。本文从课堂教学的角度，通过水平五篮球模块“半场人盯人防守战术配合”课例的呈现，从体育结构化教学角度开展探索实践。在体育与健康课堂中落实结构化教学，既要处理好学生运动知识和技能的已有经验与新授运动知识和技能之间的关系，同时还要从整体把握，

关键词： 黄河风   德育课程   结构化设计   实践活动  

摘要： 我校以“弘扬中华传统文化，培养有根有魂的中国人”为核心德育理念，从“黄河魂”修身课程、“黄河诵”阅读课程、“黄河功”健体课程、“黄河韵”艺术课程、“黄河印”劳动课程五个方面，探讨“黄河风”与小学课程资源的融合，以“必修课程+选修课程+学生社团+实践活动”的立体化设计方式，构建校本化“黄河风”农村小学德育课程体系，有效培养学生国家认同感和责任心。

关键词： 结构化   整体   有效  

摘要： 课程内容组织的重点是对内容进行结构化整合，探索发展学生核心素养的路径.重视数学结果的形成过程，处理好过程与结果的关系.当数学教学内容符合数学知识发展的规律和顺序的，那么很大程度上自然也符合学生的认识规律.学生更加容易自主探索、理解和掌握知识点.学习就是对知识进行结构化整合的过程，可以帮助学生形成清晰完整的思维导图，极大地加强了学生对数学本质的把握和理解.

摘要： 编者按：“中学数学结构化教学设计与实施的行动研究”是上海市第四期“双名工程”攻关计划虞涛数学基地的攻关课题.课题组提出，结构化教学的基本特征是整体思考、把握本质（用整体的眼光看待学科教学）；内在基础是联系着手、分析关系（剖析学科教学系统内部各要素的联系方式）；根本目标是演绎发展、获取规律（推动学生认知结构的完善与学科核心素养的发展）.本期刊登的是课题组的四篇最新研究成果.

摘要： 小学阶段的数学教学重在培养学生的发散思维，并培养学生良好的思维方式，同时引导学生对问题展开思考并解决问题。小学数学教师在课堂教学中可以从结构化视角出发，以单元整体教学为基础，并在不同情境下进行反思，这样既可以解决传统教学模式下存在的知识碎片化问题，也可以帮助学生构建知识结构、认知结构以及素养结构，实现综合发展。

关键词： 形式化方法   程序统一理论   形式语义   形式验证   信息物理系统  

摘要： 伴随计算机系统和物理世界交互的不断深入,信息物理系统（Cyber-Physical Systems,CPS）的概念应运而生,它是一种融合离散的计算机行为与连续的物理行为的复杂系统。自信息物理系统问世以来,相关研究及应用蓬勃发展,目前已在工业控制、能源管理、智能交通、智慧医疗等领域发挥重要作用。然而,信息物理系统的广泛应用也预示着其安全性、可靠性亟需保障。作为一种基于数学的技术,形式化方法支持软硬件系统的描述与分析、建模与验证,对于安全攸关领域的质量保障行之有效。因此,本文采用形式化方法对信息物理系统展开理论与应用两方面的研究。具体来说,信息物理系统中计算进程和物理进程深度融合,为系统的描述与建模带来复杂性。因此,从理论层面而言,为其设计规范的建模语言并提供明确、无歧义的形式语义具有重要意义。本文聚焦于一种基于共享变量的信息物理系统建模语言CPSLsc（Cyber-Physical Systems Modeling Language with Shared-Variable Concurrency）,基于程序统一理论研究其形式语义,包括操作语义、代数语义、指称语义和证明系统,通过轨迹模型刻画程序间的消息交换。另一方面,从应用的角度出发,为了保证信息物理系统的安全可靠性,本文以所提出的形式语义为理论基础,在相关模型检验工具中开展了信息物理系统的程序转换、程序模拟与形式验证工作。本文的形式语义研究为形式验证提供理论基础,反之,所开展的形式验证研究亦是形式语义的应用体现。综上,本文的主要研究内容及贡献概括如下:·理论研究:基于程序统一理论的CPS形式语义研究（1）提出了基于共享变量的信息物理系统建模语言CPSLsc的操作语义、代数语义和指称语义。本文首先基于经典的结构化操作语义,定义了CPSLsc的变迁规则以刻画程序的执行步骤。再者,通过引入卫兵选择的概念,本文给出了CPSLsc的代数语义,所定义的代数语义可以将程序转换为卫兵选择的统一形式,进而实现含有连续行为的并发组合程序线性化。此外,本文还基于轨迹模型和健康条件给出了CPSLsc的指称语义。（2）提出了基于共享变量的信息物理系统建模语言CPSLsc的证明系统。为了规避并发组合程序间共享变量互相干扰的问题,本文扩展了霍尔三元组的形式并将轨迹模型引入证明系统。本文给出了程序语句的证明规则,并以电池管理系统为例说明了该证明系统的可应用性。·应用研究:基于模型检验的CPS形式验证研究（1）基于操作语义,实现了CPSLsc程序转换及形式验证。鉴于操作语义是以状态机为数学基础,本文在以自动机为理论基础的模型检验工具Space Ex中,实现了从CPSLsc程序到自动机模型的转换,并围绕自动刹车系统开展了形式验证的案例研究。（2）基于代数语义,实现了CPSLsc程序模拟及形式验证。由于代数语义中的代数定律可视作从左至右的重写规则,本文在基于重写理论的重写引擎实时Maude中机械化实现了所定义的代数语义。此外,借助机械化实现的代数语义,本文进一步在实时Maude中实现了CPSLsc程序模拟及形式验证,并选用电池管理系统开展了相应的案例研究。

关键词： 形式化方法   线性时态逻辑   形式语言   联锁系统  

摘要： 模型检查是形式化验证的重要方法之一,在模型检查中,需要对待验证的性质创建形式语言描述的规范说明。本文基于常用的线性时态逻辑LTL(Linear Temporal Logic),提出了一种在有限域上的性质描述语言:有限域上的量词线性时态逻辑FQLTL(Finite Quantified Linear Temporal Logic)。顾名思义,FQLTL用量词和谓词来约束系统中的域,并且使用LTL的时态操作符来描述具有时态的性质。比起LTL,FQLTL更适合描述同时需要限制范围和时态的规范性质,可以被运用到如轨道交通联锁系统等许多实际工业场景中。此外,本文根据FQLTL语言的特性,提出了对其做可满足性检查的方法,并且给出了具体实施的理论依据、流程架构和算法细节。将形式化方法与安全攸关的大型系统结合是非常有意义且被极力推荐的,故本文在提出新的形式化语言FQLTL,给出相关定义和理论的基础上,以足量案例和可实施的实验说明所提出新语言的应用性以及其对相关领域的价值。本文以与轨道交通联锁系统合作的项目做为背景,详细地给出了提出语言的安全需求规范描述到可满足性检查实施的过程以及相应算法架构。将本文所定义的新语言运用在轨道交通系统中,可以覆盖大部分所需的安全规范说明,能够实现对描述出的规范进行可满足性检查,并能够找出一些不满足规范的反例。

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

摘要： 结构化设计是道路桥梁设计的重要内容，可以保证道路桥梁工程施工质量。本文分析了道路桥梁设计中结构设计的必要性，研究了结构化设计在道路桥梁施工中的应用原则，最后说明了道路桥梁结构化设计的应用要点，以期更好地促进我国交通运输业的发展。