教学课程资源库 更多>>

关键词： 结构化设计策略   道路桥梁   稳定性   承载能力  

摘要： 公路桥梁作为城市和交通方式的重要构成部分,其稳定性和安全性是设计中的重要反思点。结构化设计策略在公路桥梁设计中扮演着极为重要的角色。合理的结构化设计策略能够为公路桥梁的设计提供基础保障,可实现公路桥梁的安全性和可靠性。本文将介绍几种常用的结构化设计策略,并举例说明其在实际工程中的应用。通过了解这些策略,设计师可以更好地优化桥梁结构,提高工程的安全性和经济性。

关键词： 小学数学   单元复习   结构化   “圆”  

摘要： 在小学数学单元复习中零散呈现知识点,不利于学生系统理解和运用学科知识,因此教师应通过结构化教学设计引导学生建立完善知识体系,促进学生思维、能力等的发展,有效提升复习效果.文章从单元知识框架搭建、复习情境创建、单元知识概括等角度提出单元复习结构化教学设计策略,并以苏教版五年级下册“圆”这一单元的复习教学为例细化策略,引导学生从结构化角度学习数学知识和思考数学问题,旨在引导学生在结构化复习过程中对单元内容进行形成系统性认知,提高数学综合能力.

关键词： JavaWeb开发   SpringBoot   结构化面试   一体化系统  

摘要： 为解决传统结构化面试效率低下、管理难度大等问题,文章设计并实现了基于SpringBoot的结构化面试一体化系统。该系统采用JavaWeb开发技术,整合Thymeleaf模板引擎和Android应用开发技术,实现考生管理、考官管理、电子评分、数据管理等功能。系统采用三层架构设计,利用MySQL和Redis数据库实现数据持久化和缓存。经测试,系统能够有效提升结构化面试的组织效率和数据处理能力,为面试工作的标准化、信息化发展提供技术支持。

关键词： 优秀青年教师   教学目标定位   语文味   结构化设计   科幻小说   板块化   授课教师   教学流程  

摘要： 近日参加了一次较大规模的会课活动,授课教师均为各单位推荐的优秀青年教师。整个活动的课堂呈现令人欣喜,教学目标定位精准,教学内容充分聚焦,学习活动也体现了“结构化设计,板块化推进”的理念,语文味浓,实践味足。其中一节《他们那时候多有趣啊》更是令人击节叫好!本课的教学流程大致分为五个板块:1.请你说一说:从哪里看出这是一篇科幻小说;2.请你填一填:“那时候”和“现在”相比,有趣表现在哪些方面?3.请你想一想:玛琪为什么觉得“他们那时候”有趣,这背后实际上说明玛琪需要什么?

关键词： 大概念   结构化设计   思维模型   核心素养  

摘要： “酸的化学性质”是学生第一次接触有离子参与的反应,也是学生第一次开启由个别到一般、由个性到共性的研究方法,提出猜想、实验验证、微观探析、提炼方法,形成“同类物质化学性质具有一定的相似性”的大概念,建构通过物质类别学习物质性质的思路方法模型,有效提升学生核心素养。

关键词： RGV   PLC   物流   多车   避让   结构化  

摘要： 随着我国工业自动化技术的不断发展,基于PLC控制的RGV小车在自动化物流系统和自动化仓储系统中共轨往复的工作模式应用越来越广泛。随着系统复杂度的增加以及转运效率要求越来越高,RGV多车协调配合交叉运行的共轨往复运行模式已经成为主流。RGV小车互相避让成为确保系统稳定安全运行的基础,而合理的避让逻辑可以使小车的运行效率最大化。将RGV避让程序结构化,使其具有易扩展性,不仅可以提高程序的可阅读性和维护性,还能缩短调试周期,提高效率,节约成本,更能提高安全性。

关键词： 神经网络轻量化   模型稀疏化   深度学习   多功能张量加速器   模型部署  

摘要： 为解决模型压缩算法与多功能张量加速器(VTA)的适配性问题,通过改进经典的YOLObile分块剪枝方法,完成面向该加速器的自适应细粒度结构化稀疏设计及性能评估。针对VTA的多重循环维度展开特性,对模型的权重张量进行32×32大小的分块;结合时间维度的自蒸馏与空间维度的教师蒸馏,进行多维度特征对齐;通过一阶段式迭代训练方式,改进原有的ADMM算法计算流程,在提升模型部署精度的同时减少训练成本;提出自适应层剪枝率模块,进行总剪枝率的自适应分配,实现端到端的自动化剪枝。实验结果表明:改进方法有效减少了约2.4%的浮点计算量,并在图像分类、目标检测等多项任务中提升了压缩模型的精度,最大增长百分比为2.6%。该方法为深度学习模型在VTA上的稀疏化部署提供了一种高效、轻量级的软件解决方案。

关键词： 汽轮机控制保护逻辑   形式化方法   活性   UPPAAL  

摘要： 控制保护逻辑是整个汽轮机控制保护系统的核心,以往传统模型侧重于描述系统的物理属性,而对逻辑属性有所忽视。目前关于汽轮机控制保护系统的攻击大多围绕网络通信的脆弱性以及模型数据的不可靠性展开,对系统本身逻辑过程脆弱性的研究较少。鉴于此,在基于时间自动机的汽轮机控制保护系统模型基础上,建立活性与汽轮机控制保护逻辑的内在联系。其中,活性指好的事情终会发生,由此将逻辑完整性问题转换为活性完整性问题。并且针对汽轮机控制保护逻辑提出窜改控制指令参数和传感器监测阈值的攻击方式。此外,还提出了状态检测法和变量检测法,用于检测汽轮机控制保护系统逻辑完整性是否被破坏。最后,利用UPPAAL软件对遭受攻击前后的系统进行仿真验证。

关键词： 软件功能安全   形式化方法   模型转化   SCXML状态图   B方法  

摘要： 形式化方法精确且严格,较多应用于安全苛求系统开发,但目前仍存在学习成本高、使用复杂、重用性低等问题。常用的非形式化状态图模型虽易于使用却缺乏严格验证。针对这些问题,提出一种将状态图SCXML模型转译为形式化B模型的模型转化方法,从而结合状态图的易用性降低在安全苛求软件系统开发过程中使用形式化方法的复杂度。该转译方法分为映射规则、同步语义和程序实现3个部分,以保证自动转译后的模型自身含义与基础语义不变。在平交道口控制系统开发案例分析中,该方法根据图元模型自动生成了对应形式化模型,通过对形式化模型的分析改进系统在功能安全、数据安全、隐藏分支3个方面的非安全因素,并保证从需求至模型的一致性,证明了该方法可降低形式化方法建模难度,提高软件系统的正确性、可靠性与安全性。

关键词： 问题教学   小学数学   结构化教学   教学设计  

摘要： 小学数学结构化教学具有多方面优势。教师可以利用问题开展结构化教学,引导学生跟随核心问题及子问题系统地学习知识、建构知识体系。为此,教师需要认真钻研教材,精心选择问题,并在教学时以问题为引领,使学生的学习活动能够由点到线、由线到面、逐层深化。除此之外,教师还应该帮助学生掌握分析问题、解决问题的技巧,推动学生多方面能力的发展。