教学课程资源库 更多>>

关键词： 航天装备   体系结构   设计与分析  

摘要： 本文以航天装备的体系结构为主要研究对象,总结了国内外相关领域内的研究成果,分析了航天装备的体系结构设计方法。对航天器的体系结构进行深入探讨,并提出了可行性方法来实现航天器体系的顶层设计。其中,引入模型化思想,将整个系统按照其特征分解成子模块,逐步完成系统构建。本文基于现有的研究成果,为航天装备的体系结构设计提供可靠的理论指导。

关键词： 时序逻辑   表达能力   形式化方法   逻辑系统   形式化规约  

摘要： 时序逻辑是研究状态随时间变化系统的逻辑特性,在软硬件验证中有着广泛应用,是模型检测的基础。基于对时间模型的不同描述以及为了处理更加复杂的计算特征,衍生出各种时序逻辑,具有不同的表达能力,正确理解其表达能力对于系统模型的形式化规约尤为重要。首先,介绍基于离散时间模型的线性时序逻辑LTL、计算树逻辑CTL和CTL*,以及基于连续时间模型的区间时序逻辑ITL和投影时序逻辑PTL,对它们的表达能力及区别进行了详细阐述;然后,概述为了描述随机、实时、混成、开放系统中的复杂行为而提出的不同时序逻辑,指出它们的特点及适用范围;最后,对时序逻辑的未来研究方向进行展望。

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

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

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

摘要： 伴随着新时期整体社会经济水平的快速提升,现代化城市建设也成为了当前的主流形式。然而,在现代化建设过程中,无论是普通民众还是各个行业,对于交通运输方面的需求变得越来越高,而道路桥梁作为现代化建设中最为重要的一项基础设施,更是交通运输过程中的重要枢纽,整体的建设质量也是人们所关注的焦点。从某种意义上来说,在如今的道路桥梁工程施工建设环节中,综合的设计水平将是影响道路桥梁使用效果的重要原因。也因此,在道路桥梁设计环节中,相关设计人员必须要重视结构化设计的融合应用。基于此,本文将针对结构化设计在道路桥梁设计中的应用。展开相关的分析与探讨。

关键词： 结构化   课程标准   二次函数   模型   进阶  

摘要： 在对“二次函数的图象与性质”进行教学设计时,可类比一次函数的学习,将其知识、方法与思想有机结合.既关注函数研究路径的一致性,又关注研究内容的结构性和关联性,通过“结构化”把握,营造学习内容“通过认识树木继而认识群山”的整体感.

关键词： 大单元   结构化教学   篮球  

摘要： 体育大单元结构化教学设计是破解单一的、碎片化教学的重要法宝。指向实战能力提升的篮球大单元教学设计,应围绕目标、内容、实施、评价四个方面进行结构化大单元教学设计,实现由“单一运动技术的学练”向“实用型运动技能学习”转变,帮助学生学会篮球运动技能,参与校内外篮球比赛。

关键词： 核心素养   大概念   单元教学   结构化教学  

摘要： 《义务教育科学课程标准(2022年版)》提出以核心素养为导向的教学理念。文章根据结构化教学的思想,结合学生的认知规律和认知能力,深入解读教材,基于现有小学科学教材的编排逻辑,结合概念进阶理论,梳理出单元知识结构图式,以单元结构化图式作为教学主线实施单元结构化教学,以此引导学生形成结构化知识,促进学生创造性地解决陌生情境问题,实现培育核心素养的教学目标。