教学课程资源库 更多>>

关键词： 建筑设计规范条文   结构化   依存句法分析   自然语言  

摘要： 基于BIM的建筑专业施工图合规性自动审查的关键步骤是将自然语言建筑设计规范条文转换为计算机可理解并执行的格式。为解决人工转译建筑设计规范条文费时、费力且效率低的问题,本文提出了基于依存句法分析的建筑设计规范条文自动结构化方法。借助依存句法分析词语之间的依存关系,利用正则表达式与关键字组合识别词语的语素特征,推导出各类规范条文的判断依据。按照核心词语将规范条文分成四类,设计自动结构化流程,实现规范条文中实体和关系的抽取。最后,通过案例分析对方法程序进行了验证,较高的正确率表明了该方法的有效性,对推进基于BIM的建筑专业施工图合规性自动审查系统的应用具有重要意义。

关键词： 认知序   知识序   教学序   结构化   情境群  

摘要： 认知序指学生在掌握某一知识或技能时,所必须经历的一系列认知阶段,知识序指教材知识点的呈现顺序和组织结构,知识序是认知序的基础和统一,认知序是知识序的解构和整合。具体教学中,教师可从研究学生认知序与教材知识序入手,构建合理的教学序,然后以结构化的情境群帮助学生学习新知识。教师要引导学生经历从表象到本质、从感性到理性、从猜想到证据的认知过程,将其与原有的知识建立联系,形成系统化的认知,逐渐提高核心素养的水平。

关键词： 任务群   单元结构化   教学实践  

摘要： 语文学习任务群的单元结构化设计关注学生认知结构的建立过程。通过系统设计,以大单元主题学习为学习方式,创设整体学习情境,搭建任务框架;以学生为导向,设置综合实践活动,线上线下一体化混合式学习;在这个过程中,同步评价,实现“教—学—评”一体化设计,从而形成完整的、可监测的学习过程,整合实现学习目标。

关键词： 神经网络   鲁棒性   人工智能安全   智能系统   形式化方法  

摘要： 随着智能时代的到来,部署了深度神经网络的智能系统应用已经渗透到了人类生活的各个方面.然而,由于神经网络具有黑盒特性和规模庞大的特点,其预测结果难以让人完全信服,当应用于自动驾驶等安全攸关的领域时,如何保证其安全性仍然是学术界和工业界面临的巨大挑战.为此,学术界针对神经网络一种特殊的安全性——鲁棒性展开了研究,并提出了很多鲁棒性的分析和验证方法.目前为止,验证前馈神经网络的方法包括精确验证方法和近似验证方法,已经发展得比较繁荣;而对于其他类型的网络,如循环神经网络的鲁棒性验证研究还处于起步阶段.回顾深度神经网络的发展以及部署到日常生活中面临的挑战;详尽地调研前馈神经网络和循环神经网络的鲁棒性验证方法,并对这些验证方法间的内在联系进行分析和比较;调研循环神经网络在现实应用场景中的安全性验证方法;阐明神经网络鲁棒性验证领域未来可以深入研究的方向.

关键词： 小学数学   小学生身体   作业设计   反复训练   结构化   亲子关系   含金量   拿来主义  

摘要： 小学生作业多年来处于被忽视、被重复、被刷题的状态,功能单一,为应付考试反复训练,普遍存在作业拿来主义即完成教材练习和使用练习册的问题,作业缺乏含金量,造成了作业效率低、负担重的局面,甚至因为作业负担过重导致小学生身体健康受到危害,危及亲子关系。在“双减”与“双新”的背景下,我们必须重新思考作业的重要性以及作业设计的必要性。基于此,我提出了“结构化”作业设计的理念。

关键词： 形式化方法   计算机硬件   计算机系统   复杂动态系统   协议验证   区块链   软件系统   深度学习  

摘要： 形式化方法是采用数学方法,对复杂计算机系统建立严格语法与语义规范的系统设计与验证方法,常用于复杂动态系统的需求规约、模型设计和属性验证,在计算机硬件设计、软件系统构造、控制系统模型设计与分析、通信系统协议验证和程序代码合成等方面得到了成功的应用.近年来,在深度学习、区块链、量子计算、物理信息融合系统等新兴领域,形式化方法也逐步应用和适配,对提升系统的安全性和可靠性起到了极大的促进作用.

关键词： 小学语文   结构化设计   作业体系  

摘要： 作业是课堂教学的延伸,是核心素养培养的重要途径。结构化作业体系的构建可以在提升学生语言运用能力的同时,发展思维能力,提升思维品质,培养学生运用知识解决问题的创新思维能力。在“双减”政策实施背景下,应对小学语文作业进行结构化设计,即构建作业体系,拓展广度;创建作业类型,挖掘深度;跨越学科边界,提升效度。通过三个维度提升小学语文作业设计的质量,落实新时代小学语文课堂教学培养学生核心素养的关键措施。

关键词： 统计与概率   小学数学   人教版教材   数据分析能力   结构化设计   统计知识   数据意识   教材分析  

摘要： 一、教材分析义务教育小学数学人教版教材的编写者王永春老师说过:“数据意识和数据分析能力是当代社会每一个公民都必须具备的素养”。所以,作为数学教师,应当重视“统计与概率”领域的教学。小学数学“统计与概率”部分的知识是一个可以以“块状重组”方式进行结构加工的教学内容,因此,该部分的作业也可以进行结构化设计。各学段教学的统计知识对统计工作的作用以及相互之间的关系如图1所示。

关键词： 自动驾驶汽车   自动驾驶   评价   运行范围   性能表现   交互与风险保障   形式化方法  

摘要： 自动驾驶(AD)技术是一种能够增强或替代人类驾驶员的技术,但同时也给汽车测试和评估(T&E)技术带来了极大的挑战。由于AD技术替代了驾驶员的感知、决策和控制,因此自动驾驶汽车(AVs)的T&E程序必须从独立的人-车二元T&E转变为人-车系统的集成T&E。在复杂的天气、交通和电磁环境下进行公路测试,使得AVs的定量T&E非常困难。为了解决这个问题,本文提出了一种多维度评价准则方案,其中包括运行范围、性能表现和交互与风险保障评价准则。通过形式化方法,即线性时间逻辑(LTL),实现了基于场景的评估方法。在中国GB的典型情景中,本文提出的评价准则方案得到了验证,并且通过基于SCANeR studio软件的模拟实现。

关键词： 结构化   "单元-课时"教学设计   图形的变化  

摘要： “单元-课时”教学设计通过分析“主题-单元-课时”的数学知识和核心素养联系,促进学生对学习内容的整体理解与把握.这要求教师整合主题,体现内容的结构化.具体教学中,教师可解析单元内容、目标,基于教学问题诊断及教学支持条件分析,制订课时目标,明确教学重难点,按照“提出问题-获得概念-研究性质-尝试应用-概括总结”的流程实施教学,注重情境创设,突出探究过程,深化研究路径,发展学生空间观念、几何直观和推理能力,逐步培育学生的核心素养。