教学课程资源库 更多>>

关键词： 回答集程序设计   测试理论   析取回答集程序   结构化测试方法   覆盖  

摘要： 针对析取回答集程序的结构化测试基础理论匮乏的问题,系统化地提出析取回答集程序结构化测试覆盖的概念。首先,定义针对析取回答集程序的测试用例,确立析取回答集程序的主要测试实体为程序中的逻辑规则;其次,通过对规则的头、规则的体、规则的集合等不同测试目标构建了规则覆盖、定义覆盖、环覆盖等基本概念来模拟结构化测试中的语句覆盖、分支覆盖等概念;最后,提出了析取回答集程序的测试覆盖率计算公式,并举例说明各种覆盖下的覆盖率计算方法,并讨论了析取回答集程序的部分特殊性质和关键指标。

关键词： 小学英语   单元复习课   结构化  

摘要： 所谓结构化,是指对逐渐积累起来的知识加以归纳和整理,使之有条理、有层次,彼此联系,进而形成整体的做法。心理学研究表明:当知识以某种结构进行呈现和储存时,能大大提高知识应用时的检索效率。在小学英语单元复习教学中,教师如果能依托知识结构导图,帮助学生建构结构化知识体系,引导学生对已学知识进行结构化运用,可以有效提升学生单元复习的效果。下文,笔者以译林版《英语》六下Unit 7 Summer holiday plans的单元复习课为例,谈谈在单元复习课中进行结构化教学的实践。

关键词： 学科核心素养   真实情境   教学内容设计   沉淀溶解平衡   教学课例   体验性   思维训练   结构化  

摘要： 现代化教育追求结合时代要求、学科特点及学生特征,开展以发展学生学科核心素养为宗旨的教学,最终实现学生综合素质的全面提升。高中化学新课标强调,教学内容要以主题为引领,开展结构化、真实情境化的教学,促进学生学习方式的转变和学科核心素养的落实。单元教学内容设计的统摄性、学习过程的体验性、思维发展的进阶性,是落实新课标要求的重要途径。笔者尝试设计并实施以系列真实情境为载体、引领性主题为依托、凸显知识结构化及思维训练结构化的单元教学课例,以期抛砖引玉。

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

摘要： 一桥飞架南北,天堑变通途.党的十八大以来,一座座技术先进、姿态各异的桥梁建成通车,跨越江河湖海,联通深沟峡谷,使交通节点的连接更加紧密,极大地方便了周边居民的出行生活,为区域经济社会发展铺通了坦途,彰显了我国综合国力和科技进步.截至2022年底,我国铁路桥梁超过20万座,公路桥梁超过85万座.本文总结结构化设计应用于道路桥梁设计中的意义,分析道路桥梁结构化设计原则和方法,研究设计解法、计算模型等结构化设计内容,提出结构化设计在道路桥梁设计中的实践策略,希望为相关人员提供参考.

关键词： 结构化教学   衔接点   教学设计   数学模型   正方体   感知模型   长方体   教学内容  

摘要： 【教学内容】北师大版六年级下册第一单元。【教学过程】一、知识勾连一抓住衔接点,感知模型师:我们之前学习了哪些图形的体积?生:长方体和正方体。师:关于长方体和正方体体积的相关知识,你们还记得哪些?生:长方体的体积与它的长、宽、高有关,正方体的体积与边长有关。

摘要： 整本书阅读教学存在两方面的问题:一方面忽视整本书阅读和所在教材单元的关联,在任务设计上,难以实现拓展型任务群的真正“拓展”;另一方面缺少阅读过程的指导,难以真正做到阅读整本书。因此,在进行整本书阅读任务群设计时,要关联教材单元,形成拓展式迁移。同时结合课标要求,把握整本书阅读特点,建构结构化的阅读规划,达成整本书阅读的育人价值。

关键词： 生长数学   结构化教学   反比例函数   复习课  

摘要： “生长数学”理念下的结构化教学可以优化学生学习方式，帮助学生学会用整体的、联系的、发展的眼光看问题，体现了以生为本、让知识与生命共同成长的理念.生长数学结构教学，可以通过一图一课，促进自然生成；通过问题关联，彰显结构化教学；通过自主探究，提升数学素养.

关键词： 系统综合   形式化方法   程序概率综合   机器学习  

摘要： 反应式程序综合是一种通过给定系统行为规约自动生成交互式系统模型的技术。然而,反应式系统通常是在复杂多变的环境中运行的。环境和系统行为均具有复杂性,这导致反应式程序综合问题成为一个棘手的难题。此外,由于描述环境和系统特定的行为存在挑战,使得反应式程序综合的技术和工具的应用变得困难。在传统的程序综合方法中,控制程序不仅需要人为编写代码,而且程序综合过程繁琐且很难保证程序的正确性。虽然程序的正确性很难保证,但其与形式化方法的结合能够提高程序综合的适用性。目前反应式程序综合技术的发展还存在一些问题,主要分为两类:(1)当考虑来自系统行为和环境的不确定性时程序综合的过程变得复杂而困难。系统和环境之间的关系的一个关键特征是,它们在博弈中扮演玩家的角色,相互对立;(2)当程序不能满足规约时规约修复的问题。这通常也是困难的,因为即使找到需要修复的规约,也可能出现不能修复的情况,或者修复后得不到令人满意的控制器。 为了应对以上问题,本文关注基于异步概率博弈的程序综合的理论和技术的研究,即程序概率综合。程序概率综合指在概率环境下,如何概率综合一个满足给定规约需求的程序的问题。论文在对程序概率综合的理论和技术的研究中,系统的需求规约用线性时序逻辑(Linear Temporal Logic,简称LTL)编写,结合形式化方法、马尔可夫决策过程和机器学习等技术,通过分析系统在概率环境下系统获胜的概率、期望累积奖励和期望均值收益,得到系统在概率环境下具有获胜策略的条件,提升系统综合的成功率。本文工作的优势体现在两个方面。一方面,能够应对复杂的环境行为和系统自身行为给程序带来的不确定性,理论和实验结果表明,提升了程序综合成功的可能性;另一方面,提出了一种可以确定何时不能为规约综合程序或何时不能修复规约的技术,从而避免程序不能综合或者规约无法修复时花费时间和精力,还可以减少设计人员在设计协议(用于规约修复)时的工作量。据我们所知,本文的工作是首次针对LTL需求规约的概率综合的理论和方法的研究。具体来说,论文的研究内容和创新如下: (1)提出一种符号号化的程序概率综合的模型理论。传统的程序综合方法可以保证根据给定的需求规约生成正确的程序,但通常在对系统和环境描述时不能贴切的呈现出不确定性。在实际应用中,系统环境的变化具有复杂的不确定性,也会导致系统行为发生不可预测的变化。为了处理这种变化,本文研究了一种程序概率综合方法,与传统的控制器综合方法相比,程序概率综合方法更注重系统满足给定规约的能力(概率)。程序概率综合方法的提出有两个关键点。一个关键点是建立概率模型将系统与环境的对立与交互关系符号化。为此,以马尔可夫决策过程(Markov Decision Process,简称MDP)为竞技场,定义系统与环境的博弈关系,构建一个异步概率模型来描述系统和环境之间的不确定行为和概率迁移。异步概率模型结合了双人博弈和MDP的特点。基于该概率模型,研究系统如何在博弈过程中提取有效信息,使控制器更容易综合。另一个关键点是提出了一个新的模态演算变体来符号化公平性和可达性。根据系统控制的状态、环境控制的状态和获胜条件之间的关系将状态空间进行划分,以此来优化状态空间。将程序综合问题转化为概率可达问题,通过计算可达概率来解决该问题,得到系统获胜策略的概率和环境失败策略的概率,并用实验说明算法的可行性和有效性。 (2)基于机器学习的LTL规约的程序综合方法。传统的控制程序综合是在动态环境中构造满足给定规约的程序,而程序不断地与环境交互。就系统及其环境之间的交互模型而言,系统和环境是参与者,其关系通常是对立的。因此,一个规约在某些环境下可能存在不可综合的问题。当规约不可综合时,可以采取两种方法去处理。一个是找出程序不能按照规约综合的原因,并将信息反馈给设计者,设计者及时地修改规约。然而,实时性却很难保证。另一个是根据其语法结构修改规约,这可能改变设计者最原始的意图。为了避免程序无法综合的问题,以期望最大化的提升系统满足给定规约的能力,减少修改规约的情况,论文设计了一种奖励机制,来激励玩家通过他们的位置的选择和动作的执行来获得最大的奖励。基于这一机制,应用学习理论的技术将综合问题转化为寻找策略来计算期望累积奖励的问题。此外,还抽取了强化学习算法提供的渐近最大化LTL规约的期望累积奖励的最优策略。通过实例证明了该方法的可行性。 (3)具有均值收益益目标的GR(1)规约的程序综合。将上述模型和方法推广到解决概率环境下具有定量和定性组合需求的程序综合问题。在实际应用中,我们通常更希望以尽可能高的概率综合满足规约的程序,并获得保证程序满足规约时期望的收益。综合问题的目标是在概率环境下,利用行动回报获得期望的均值收益,同时在对抗环境下满足给定的GR(1)条件。换句话说,解决具有获胜概率的系统

关键词： 深度学习   结构化   高三化学   教学设计  

摘要： 近几年,新课标、新教材、新高考改革在全国各地区持续推进,新高考重视化学深度思维的考察,但通过调查发现,高三复习的教学模式仍较为传统与单一,学生以“听、记、背”为主要学习方式,对知识的整合与反思较差,缺乏知识的自主建构与深度思维的发展。《普通高中新课程标准(2020修订版)》(以下简称新课标)明确要求:教师应引导学生自主建构知识,加深化学学科本质理解,发展学生的化学核心素养。显然,传统的高三化学教学模式已无法适应新时代、新高考对人才的培养与选拔要求。本研究以发展学生深度思维、培养化学核心素养为目标,选取高三化学复习教学作为重点研究内容,以深度学习理论、建构主义理论等为指导,开展高三化学复习教学设计研究。第一,通过文献研究明晰当前国内外的研究现状与研究的不足之处,发现目前基于深度学习的高三化学复习教学研究不多,相关的教学设计研究还有待补充;第二,笔者从教师层面和学生层面分别开展高三复习教学现状调查,厘清目前学生深度学习的情况、教师教学中存在的问题以及教学的难点与薄弱环节;第三,根据以上研究现状与调查结果,有针对性地设计了基于深度学习的结构化教学设计框架与具体步骤,并规范了设计原则,以期解决高三教学的实际问题;第四,结合教师的教学薄弱点与学生的学习难点,选取了《原子结构与元素的性质》、《化学平衡》两节内容进行案例开发并设计了共六个课时的教学案例;第五,在两个前测无显著性差异的班级开展教育教学实践,实施以结构化教学为主要途径的深度复习教学,并对教学测验结果进行SPSS数据分析,结合教师评价等手段评估最终的教学效果。研究结果表明,教师利用本研究提出的教学设计框架与流程开展教学不仅有利于提升学生的知识理解与建构水平、问题解决与创新水平,实现了化学深度思维的发展,还有利于促进教师的理论研究、教学设计、课堂实施与课堂评价,实现了教师的专业发展。本研究的创新之处在于,首先,重视知识的逻辑推演与知识的自我建构,紧扣“结构化”进行设计教学,借助模块知识的整体分析凸显知识的整合性,促进化学知识的结构化;梳理课堂逻辑线索,加深对知识的理解与应用、对问题的解决与反思,促进认知的结构化;融入丰富的素材与情境,实现化学观念的结构化;其次,选取的教学设计案例开发章节符合一线教学的难点与薄弱点;最后,本研究重视学生的情感体验与心理发展,有利于培养学生优秀的学习意志。本研究为高三化学复习课的教学实施探寻了新的思路与方法,同时还弥补了深度学习领域中化学教学策略与案例研究的欠缺。笔者也将在未来的教学中加深深度学习课堂的研究范围,不断反馈、修正教学设计模式,进一步提升本研究的研究价值与影响力。