教学课程资源库 更多>>

关键词： 绿色植物   生物圈   核心素养   结构化设计   探究实验  

摘要： 在“绿色植物与生物圈的水循环”教学设计中,以“植物的生活”为单元主题,以追踪“一滴水在植物体的旅行”为情境,以“整体-部分-整体”结构形式,创新教材呈现的方式,不断创设探究问题情境,激发学生的探索欲望,辅以数码显微镜,引导学生开展探究实验,用递进性的问题引领,调动学生思维,以直观的实验现象,实现概念的形成与实验能力的提升,逐步培养学生的学科核心素养。

关键词： 结构化教学   单元教学   教学设计   大概念  

摘要： 如何准确把握单元教学设计的内涵及其内在逻辑,通过结构化的教学整合知识结构、思维结构、认知结构,是新课标新教学理念下必须要解决的问题。文章根据布鲁纳的结构化教学思想,结合现代教学设计理论,以培育学生的英语学科核心素养为目标,构建包括“确定单元主题意义”“梳理单元知识结构”“重构单元教学内容”等六个环节的结构化单元教学设计模型,以此指导单元教学设计和实施,并通过课例详细介绍基于模型的单元教学设计,以期能为学生提供逻辑清晰、层次递进的单元育人路线。

关键词： 软件建模   UML   智慧考场  

摘要： 针对目前线下大型考试考前身份验证过程中的一系列问题,结合当前AI技术发展的背景,提出了一种基于深度学习的考前考场身份验证系统的解决方案,并使用UML统一建模语言对该系统解决方案进行了UML建模,通过用例建模等详细地阐述了系统需求,同时对用例进行了分析。

关键词： 大概念   信息科技实验   实验探究   知识结构化   六段式信息科技实验流程  

摘要： 信息科技实验是素养课程的典型样态。本文提炼基于大概念的信息科技实验结构化设计路径,由学科内的知识纵深提炼学科大概念,以大概念强化知识间的内在关联,用“弗雷尔模型”聚焦组织大概念,以促进实验课程内容结构化。垒筑六段式信息科技实验流程,将组织起来的知识领域和相应的探究方法结合,达成学术逻辑与教学心理逻辑的内在统一,促进学生认知过程的结构化。

关键词： 道路桥梁   结构化设计   BIM模型   模型分解  

摘要： 结构化设计是解决道路桥梁设计中各参数精准度不足,结构参数设计不合理问题所采取的方法.将某道路桥梁的工程设计作为研究对象,使用案例分析法,探索结构化设计应用模式,建立BIM结构化设计模型,进行道路离散化结构、模型化结构分析,旨在提高道路桥梁设计方案科学性,保障公路桥梁的质量.最终研究结果表明,结构化设计方法在防水设计、混凝土工程设计中应用,能够提高防水效果,保障混凝土质量等级.

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

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

关键词： 个性化教学   “面向对象分析与设计”课程   OBE教育理念   新工科  

摘要： 文章从OBE教育理念驱动的个性化教学改革方案、OBE教育理念驱动的课程教学设计、OBE教育理念驱动的课程教学实践三个方面论述了新工科背景下基于OBE教育理念的“面向对象分析与设计”课程个性化教学研究。

关键词： UML   西门子ADVIA2400全自动生化分析仪   自动审核   体系结构  

摘要： 目的:提出一种基于UML的西门子ADVIA2400全自动生化分析仪(以下简称“ADVIA2400”)自动审核系统体系结构设计方法,以解决人工审核西门子ADVIA2400检测结果耗时、耗力、样本周转时间长且容易出错的问题。方法:依据AUTO 10-A文件、布林逻辑建立自动审核规则,先采用UML设计工具和Enterprise Architect软件完成从用例模型、动态和逻辑模型到最终的物理部署模型的自动审核系统软件开发,再根据检验科多年实践经验以及生化组仪器SOP等规范确定指标阈值,最后结合工作实践对自动审核系统进行测试和验证。结果:采用自动审核系统能够准确地掌握患者检测指标的变化情况,更精准地给出报警提示,且样本周转时间相比人工审核降低约25.6%。结论:基于UML的西门子ADVIA2400全自动生化分析仪自动审核系统稳定可靠、审核效率高,能够给检验人员和临床带来帮助。

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

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