教学课程资源库 更多>>

关键词： 结构化   整体   有效  

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

关键词： 工控网络协议   协议建模表格   形式化方法   代码生成  

摘要： 随着物联网、云计算等先进网络技术的发展，原本封闭的工业控制网络走向开放，现有的工业控制网络的缺陷也随之暴露出来。如今的工控网络注重于高效的传输而缺乏检验，其本身的设计缺陷带来了巨大的安全隐患。本文基于对工控网络协议的通信机制的研究，结合形式化的建模方法，设计了一款针对于工控网络协议的建模与仿真工具。本文的主要工作如下：　　（1） 提出一种新型工控网络协议的形式化建模方法，构建协议建模表格（Protocol Modeling Form，PMF）的形式化模型。此模型具有高实时性、同步性和并发性，更好的满足于工控网络协议的建模和仿真。　　（2） 设计并实现了面向工控网络协议的建模与仿真工具，包含模型编辑模块、扩展定义转换器模块、模型检查器模块、文档编辑及管理模块、仿真模块和代码生成模块。基于PMF模型对工控网络协议进行建模，并通过事件驱动的方式对协议进行仿真。基于PMF模型自动生成出符合标准C语言的协议代码，减少开发人员的工作量，提升开发效率。将协议的PMF模型以可扩展标记语言的形式进行文件存储，为形式化验证提供扩展接口，进一步提高对工控网络协议缺陷的检测能力。　　使用Modbus TCP/IP协议客户端模型测试用例对此工具进行测试，结果表明工具功能正确实现，能够完成工控网络协议的建模和仿真。

关键词： 课程改革   领域教育活动   结构化设计  

摘要： 幼儿园教育高质量发展在很大程度上取决于幼儿园课程建设的水平与成效。种种迹象表明，我国幼儿园课程改革已进入了升级换挡的战略机遇期，需要拓宽课程改革与发展探索的新路径。从幼儿园课程的合成中介——领域教育活动的设计现状调查切入，以领域教育活动中现存问题为导向，通过探本溯源，追寻核心要义，进而形成领域教育活动结构化设计的基本遵循，包括以“生活化教育”为幼儿提供不同结构化程度的教育活动、用“不同结构化程度”来陈述幼儿园的不同教育活动、根据社会文化和现实需要恰当使用不同结构化机制的教育活动。

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

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

关键词： 软件体系结构设计   基于问题的教学   基于案例的教学  

摘要： 在分析软件体系结构课程背景的基础上，提出课程设计及优化新方法，增强课程内容的实用性以及与软件行业相关性；针对不同的教学内容，选择基于问题的教学方法或基于案例的教学方法，培养学生的软件体系结构设计能力。

关键词： 六足机器人   变结构   Udwadia-Kalaba方程   轨迹跟踪控制  

摘要： 随着科技的发展,人们对机器人的移动能力提出了更高的要求。六足机器人因其冗余的结构具有出色的地形适应力和承载能力,并能够应对各种复杂的环境,如在非结构化的环境中完成各项任务,进而满足人们的需求。文章旨在研究六足机器人在非结构化环境中的灵活性躯干构型、高适应性行走控制算法以及整体运动控制框架。首先,研究设计了一款新型六足机器人,并介绍其结构设计,给出机器人的三维模型和机构简图。通过分析机器人的躯干构型和关节角度间的关系,给出了躯干构型变换的情形。该机器人通过改变其躯干处多个舵机的角度可以实现多种构型的切换,从而提高机器人面对非结构化环境的灵活性。其次,通过应用齐次坐标变换和D-H参数法,对六足机器人的躯干子系统和腿部子系统展开运动学分析,并根据结构特性来对机器人动力学模型进行拆解,包括身体坐标系和腿部坐标系间的转换、足端坐标的正运动学分析以及求解腿部关节角度的逆运动学分析,从而构建出更加精确的动力学模型。继而,为了提升该六足机器人在复杂环境中的移动能力,研究采用了基于Udwadia-Kalaba方程的足端轨迹跟踪控制。通过轨迹规划的方法,将运动稳定性、关节结构的工作空间和足端轨迹当作约束条件引入机器人的约束动力学模型中,并基于Udwadia-Kalaba方程实现整个系统所需的解析控制力的求解。最后,为提升六足机器人在非结构化环境中的适应性,采用了基于反馈的位姿控制方法,以实现机器人对复杂环境的高适应能力和高稳定性。综上所述,研究设计了一种躯干灵活可变的六足机器人,针对该机器人在非结构化环境下的结构设计和面向多约束场景的运动控制进行了研究,为面向复杂场景机器人的研究打下基础。

关键词： 形式化验证   增量验证   混合多域软件定义网络   图算法  

摘要： 随着全球信息化进程的加速与网络服务的快速增长,网络的规模呈现出指数级的扩张,网络的结构也变得越来越复杂多样,网络配置设置的难度和风险也随之增加,目前网络配置错误已经成为了导致频繁网络故障和业务中断的主要原因之一。网络形式化验证是保证网络的正确运行的重要手段,自其被提出以来,已有诸多学者针对不同类型的网络进行了不同层面的形式化验证工作。然而,现有的工作存在以下问题:1.在验证方法上,现有验证工作大多采用两次全局验证的方法应对网络配置更新的验证,尽管这种方法的验证效率较低且运算开销较高。目前增量验证方法存在的扩展性低、配置输入困难等问题导致其并不被行业所应用。2.在验证网络类型上,现有的验证工作都只针对于路由交换网络或纯粹的软件定义网络进行验证,而忽视了软件定义网络的主要应用场景之一:混合多域软件定义网络。混合多域软件定义网络是包含有路由交换设备与软件定义网络设备的网络。这种场景涉及对多个不同网络域中策略的管理,给形式化验证工作带来了挑战。针对配置更新场景下的验证问题,本文进行了对配置更新快速验证的研究,提出了基于转发信息表对比的快速网络配置更新验证方法。本文采用形式化方法将网络数据流构建为流模型,将转发信息表项与网络拓扑结合以构建图模型,通过所提出的两种模型对网络中数据包的具体转发路径进行了抽象表述。本文讨论了不同配置段更新对转发设备转发信息表的影响,并根据所验证属性的不同确定了需要重新验证的方案。结合以上所提出内容,本文提出了针对配置更新场景下的验证算法Fast CUV,它通过网络配置更新前后配置信息所生成的网络快照分析转发信息表差异,进而发现在配置更新后转发属性的违反,实现网络配置更新的快速验证。针对混合多域软件定义网络的验证问题,本文对混合多域软件定义网络的转发策略验证方法进行了研究,提出了基于图算法的混合多域软件定义网络转发策略验证方法。本文在考虑到多域软件定义网络特性的基础上,设计了用以描述混合多域软件定义网络的通用形式化模型HM-SDN,该模型实现了从拓扑、转发路径、策略等方面对混合多域软件定义网络的描述。为了让所提出的模型便利验证过程,本文按照HMSDN构建了软件定义网络信息图SDNIG,该信息图是一种数据结构,在该数据结构上实现了基于图算法的混合多域软件定义网络转发策略验证算法VeriGraph的设计,实现了多种转发策略的验证工作。实验结果显示,本文所提出的快速网络配置更新验证方法在配置变更行数较少时可以较高效的实现大规模网络环境中网络配置更新时的验证,同时混合多域软件定义网络转发策略验证方法可以完成不同网络拓扑上的验证工作。

关键词： 新课程   结构化思维意识   结构化教学  

摘要： 基于新课程理念,开展结构化教学,以“圆周角(1)”教学设计为例对知识结构化、学生认知结构化的教学设计策略进行分析,提出结构化教学要注重渗透结构化思考的方法与方向、凸显“两个过程”的深度融合的教学思考.

关键词： 薄壁构件   几何精度梁   翘曲   畸变   H型钢   滞回行为   程序开发  

摘要： 薄壁构件与相同单位长度重量的非薄壁构件相比具有更大的抗弯刚度和承载能力,因此薄壁构件具有良好的经济优势,但薄壁构件截面刚度往往低于构件整体刚度,导致构件容易发生局部屈曲,使得构件的刚度和承载力大大折减,现有的基于梁单元的有限元方法无法捕捉薄壁构件因局部屈曲产生的截面翘曲和畸变特征。针对以上问题,本文基于几何精度梁理论和薄壁构件截面变形模态,建立了可考虑截面翘曲和畸变以及材料弹塑性的非线性薄壁梁单元,重点将该非线性薄壁梁应用于计算不同类型H型钢构件的滞回行为,得到了比较好的结果。具体研究工作如下:(1)基于几何精度梁理论,建立了平面梁单元和考虑剪切变形的空间梁单元,结合非线性问题求解算法,形成了一套空间钢架结构非线性有限元分析计算体系和程序,并通过数值算例验证了开发的计算单元和求解算法的正确性和可行性。(2)在几何精度梁理论的基础上,引入截面变形模态,即考虑截面翘曲和畸变,建立了可用于薄壁构件几何非线性分析的非线性梁单元。利用该单元对H形截面、C形截面、T形截面和L形截面等薄壁构件进行了非线性分析计算,算例结果表明,建立的非线性薄壁梁单元在计算薄壁构件的响应是可行的,并且专门讨论了截面变形模态的选取对计算结果的影响,给出了H形/工字形截面的变形模态选择。(3)在几何非线性薄壁梁单元基础上引入材料非线性,使其能模拟薄壁构件的局部屈曲和屈曲后的响应。以不同类型截面的H型钢为研究对象,利用开发的非线性薄壁梁单元对其在循环荷载作用下的滞回行为进行计算,分析了考虑不同截面变形模态选择对计算结果的影响,给出了可用于计算压弯构件滞回行为的分析方法。(4)基于MATLAB GUI平台开发了具有用户界面的薄壁构件非线性分析软件CTWS v1.0,详细介绍了CTWS软件的主要功能,包括建模功能、截面变形模态查询功能、截面分类查询功能、分析计算功能、以及后处理显示等功能,通过数值算例,进一步证明了软件程序开发的可行性和算法的正确性。