教学课程资源库 更多>>

关键词： 核心素养   高中数学   平面向量   单元复习课   持续性发展   解析几何   知识结构   结构化学习  

摘要： 新课程标准指出:在教学过程中不仅需要关注每节课教学目标的完成情况,更要立足主题、单元教学目标,全面了解教学过程中核心素养发展情况;且教学过程中基于对教学内容的整体把控,是持续性发展学生核心素养的关键.因此,大单元结构化学习应基于数学知识的基本概念,全面引出知识所涉及的数学思想,形成系统体系,构建起知识结构,树立起学生的系统观以及整体观.而平面向量单元联系高中数学中函数、解析几何、数列等部分知识,本身则是数学学习中的核心概念.

关键词： “双一流”建设   专业认证   UML建模语言   教学改革  

摘要： 传统的UML建模语言课程教学存在未突出以学生为主的就业需求为导向、难以满足一流学科建设中的发展需求等问题。因此,结合专业认证的要求,对南华大学UML建模语言课程教学进行创新性改革,以此来弥补传统教学的不足,并以培养学生的综合能力为导向,激发学生科研创新的兴趣与潜质,从而更好地适应一流学科建设的目标和要求。

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

摘要： 随着现代科学技术的不断发展,计算机技术已经应用于各行各业的建设。特别是在道路和桥梁的施工中,引进了更先进的施工技术。在桥梁结构设计过程中,智能技术与设计工作有效结合。更先进的软件可以用来优化桥梁设计。在设计工作过程中,不仅可以提高主体结构的应用质量,而且可以降低施工成本,从而实现工程施工预测,解决可能出现的问题。在计算机软件的应用中,可以准确计算出实际值与设计值之间的差值,减少不必要的经济损失。

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

摘要： 道路桥梁工程对于我国交通事业的发展有着十分重要的作用,而设计工作对后续道路桥梁工程的施工效率和质量都会产生明显的影响。结构化设计作为现代桥梁设计的常用方法,使得道路桥梁工程的质量能够得到保障。基于此,文章以我国某道路桥梁工程项目作为研究对象,在简单分析目前道路桥梁常用设计方法的前提下,结合结构化设计需要遵循的合理性、可靠性以及整体性原则,根据工程建设的基本状况,分别从桩基设计、主桥设计以及桥墩设计三个方面出发分析了结构化设计的要点。

关键词： 问题   解构   表达   结构化思维   校本研修  

摘要： 本文提出依托结构化思维进行校本研修活动设计,即从“点式”切入,自下而上寻找真问题;采用“环式”结构,自上而下构建研修活动总流程;以线形、列形、塔形等多种“节”式,表达研修成果。依托结构化思维进行校本研修活动设计,有助于引导教师在研修活动中进行全方位的思考,确保校本教研全程可跟踪,切实提升校本研修活动的质量。

关键词： 道路桥梁设计   结构化设计   应用策略  

摘要： 道路桥梁工程在我国的经济和社会发展中一直扮演着举足轻重的角色,由此可见道路桥梁工程的安全性和稳定性都十分重要。为确保道路桥梁的安全运行,在其设计阶段,必须采取合适的设计方法,基于科学计算,确定道路桥梁结构形式和设计参数。目前结构化设计方法已经在道路桥梁工程中得到了广泛应用,是一种能够提升道路桥梁设计效率和质量的先进方法。基于此,本文详细分析了道路桥梁设计中的结构化设计策略。

关键词： 知识关联   化学概念   结构化设计   联系的观点   逻辑关联   陈述性知识   教学内容   知识结构  

摘要： 1.视角维度。根据教学内容的不同特点,可选择不同的结构化视角。视角一是基于知识关联结构化,将教学内容中分散的、相对孤立的陈述性知识(化学概念和化学事实)整合为具有逻辑关联的知识结构,可以帮助学生用联系的观点审视化学事实,深度理解化学概念,建构知识体系;视角二是基于认识思路结构化.

关键词： 模型检验   EFVS   故障耦合   形式化方法   基于模型的安全性分析  

摘要： 增强飞行视景系统(EFVS)作为机载复杂电子系统,其常规失效分析复杂易出错。基于此,引入形式化建模概念,提出了一种基于故障耦合模型的EFVS形式化建模方法。通过EFVS功能交互模型,明确系统失效传播模式;对该系统的架构和数据流进行抽象,分层建立该系统的故障耦合形式化模型;引入模型检验工具对系统模型进行验证,并结合典型的系统失效状态进行自动化运算,获取该失效状态的故障树最小割集。结果表明,所提方法自动化程度高,有助于提高EFVS失效分析过程的效率。

关键词： 结构化设计   计算模型   应用原则  

摘要： 道路桥梁的结构设计是整个工程建设中非常重要的一个部分,其质量和使用寿命直接影响到人们日常出行安全。然而在实际工作过程当中由于缺乏具体有效地检测方法以及相应措施不完善等因素存在着诸多问题。本文主要对目前我国国内道路桥梁进行分析研究,并提出了相关解决对策来保障结构化设计方案能够得到更好应用与推广应用;同时结合设计资料、实地考察及现场踏勘的结果为我国道路桥梁工程建设提供一定参考性意见和建议以供同行参考借鉴。

关键词： 形式化方法   HOL4   终止证明  

摘要： 随着形式化方法的普及和应用,定理证明器HOL4在形式化建模过程中无法自动完成终止证明的情况越来越多,而手动终止证明又缺少通用的证明思路.针对这种情况,提出规范化的手动终止证明方法.该方法从问题产生的本质入手,首先保证目标具备解决终止问题的必要条件,然后通过等效替换简化证明目标,最后以原有定理库为基础,寻找证明过程中缺失的引理,推进证明.实例表明,该方法逻辑清晰,能够有效地解决HOL4中大部分情况下的手动终止证明问题.