教学课程资源库 更多>>

关键词： 车地协同   追踪运行   形式化方法   有色Petri网   模型验证  

摘要： 最近,针对城际铁路,新型的车地协同列控系统被提出。该系统被用于解决传统列控系统轨旁设备过多、结构复杂、信息流通环节多的问题。为保障行车的安全和效率,利用着色Petri网对车地协同列控系统中追踪运行模块功能的正确性和安全性进行验证。首先,基于列车运行控制功能需求,对追踪运行模块做合理设计;然后,为移动授权计算和超速防护子模块建立层次化模型,主要描述不同场景下的移动授权计算、临时限速命令下发、速度实时监控等功能的实现过程;接着,选取多车追踪运行场景对追踪运行模块进行动态仿真;最后,通过状态空间报告对模型正确性进行验证,通过检查模型节点的状态对模块功能的安全性进行验证。仿真及验证表明:模型的执行结果与追踪运行模块预期功能一致,模型行为属性的正确性及模块功能的安全性符合需求。

关键词： 模型检测   HMSC模型   SPIN工具   正确性验证   模型转换   Promela语言   形式化方法  

摘要： 自动检测与验证HMSC(high-level message sequence chart)模型的正确性对保证文本需求被正确建模具有十分重要的意义,为此提出一种为HMSC模型进行自动检验的方法,并将其实现。利用转换规则为HMSC模型生成Promela检测语言,借助SPIN工具对需求进行验证。该方法不仅支持模型检测,同时通过对系统行为的动态模拟可以实现需求的合理性分析。从Promela实现到SPIN验证整个过程实现自动化操作。在该方法的基础上实现一个文本需求自动建模及检测分析的工具,通过一个实例展示其自动建模检测分析的效果,表明了其有效性和实用性。

关键词： 机构化设计   道路桥梁   设计  

摘要： 建筑设计行业中,结构化设计已变得越来越普及和重视,它涵盖了材料力学、数值计算及结构力学等基础知识,可以为道路桥梁的设计提供精准预测工具,如应力、变形、振动等,以及实施最佳材料和结构组合方式。这种方法能有效降低运营成本、延长设施使用寿命和维护成本,最终提高道路桥梁建设质量。文章针对道路桥梁设计中的应用问题和策略,探讨了结构化设计技术在道路桥梁设计中的重要性。结合实际,分析了在道路桥梁设计中应用结构化设计方面面临的挑战及存在的问题,对相关应用策略进行了探究,希望能为相关从业单位提供参考。

关键词： 结构化   小学数学   单元教学设计  

摘要： 结构化教学指的是一种以结构化意识为基础,运用结构化方法,促进学生思维结构层次不断提升的教学模式。数学本身就是一门注重结构的学科,为了让学生的数学思维从低阶迈向高阶,教师有必要基于结构化视角,合理设计单元教学活动。基于此,首先分析了基于结构化的小学数学单元教学设计的价值,随后从知识体系结构化、方法应用结构化、思维引导结构化三个方面着手,探寻了单元教学结构化设计的具体策略,并结合典型案例加以分析,达成理论与实践的协调统一,旨在建构更为高效的小学数学课堂,驱动学生获得更为深远且全面的发展。

关键词： 高阶思维   教育目标分类   高中语文   结构化设计   布鲁姆   创造性思维   问题求解   批判性思维  

摘要： 教育家布鲁姆的认知领域教育目标分类认为思维学习分为六个层次:“自低到高依次是,记忆、理解、应用、分析、评价、创造。”其中前三个类别被认为是“低阶思维”;后三个类别被认为是“高阶思维”,具体指向问题求解、批判性思维、创造性思维等能力。《普通高中语文课程标准(2017年版2020年修订)》(以下简称“新课标”)强调,发展逻辑思维,提升思维品质。

关键词： 构件式幕墙系统   等压雨幕原理   等压腔   防水   密封  

摘要： 构件式等压雨幕幕墙系统是一款干密封干安装的幕墙系统,借助简洁的设计与柔性胶条的搭配,简化了安装工艺;通过在幕墙系统内建立正确有效的等压腔以及等压腔的合理布置,消除导致空气和水渗透的室内外压力差;通过通气孔与排水孔的合理布置,实现侵入雨水的导排管理,改变了构件式幕墙系统完全依靠打胶密封进行防水的现状。

关键词： 真实情境   核心素养   结构化设计   单元复习教学   逻辑关系   复习课   大单元教学   重构教学内容  

摘要： 《普通高中化学新课程标准(2017年版)》明确指出,以发展化学学科核心素养为主旨,重视开展“素养为本”的教学,倡导真实问题情境的创设,重视教学内容的结构化设计,激发学生学习化学的兴趣,促进学生学习方式的转变,培养学生的创新精神和实践能力。大单元教学依据一定的逻辑关系,整体重构教学内容,促进核心素养转化落地。本文以人教版“钠和氯”复习课为例,探讨真实情境下大单元复习教学策略。

关键词： 复习课   分子结构与性质   结构化设计   核心素养  

摘要： 复习课选取甲醛在生产、生活中的应用作为素材,将福尔马林的用途体现出的甲醛性质作为结构复习的切入点和落脚点,通过问题驱动引发学生对“分子结构与性质”相关知识的回忆和检索,梳理和构建知识层面和认识思路的结构化,进而建立物质的结构与性质之间的关系,深化“结构决定性质,性质决定应用”的化学核心观念,发展学生“宏观辨识与微观探析”及“证据推理与模型认知”方面的化学学科素养。

关键词： 教学内容结构化   高中无机物教学   认识思路   核心观念  

摘要： 化学教学内容的结构化是实现学生从化学学科知识向化学学科核心素养转化的关键。通过基于知识关联、基于认识思路和基于核心观念三种结构化方式绘制高中无机物主题概念图,结合高中无机物教学内容分析概念图的具体内涵和作用。据此探讨高中无机物教学内容结构化设计对我国化学教学与评价的启示。