教学课程资源库 更多>>

关键词： 课程与教学改革   义务教育阶段   体育与健康   小学体育教学   体育课程   课程理念   结构化设计   运动技能  

摘要： 《义务教育体育与健康课程标准(2022年版)》为义务教育阶段体育与健康课程与教学改革提供了明确方向,在课程理念上坚持“健康第一”,在课程内容上强调整合与结构化设计,在课程实施方法上倡导以学生发展为导向、以学生为主体、以学习为中心,并高度重视学生间的阶段性与个体性差异,注重发挥体育课程育身、育心的双重价值,不仅要通过体育教学提高学生生活、生存质量,而且应当以优质的体育培养学生心理及社会适应能力,促进学生形成基本运动技能及终身学习意识。

关键词： 可信系统   形式化方法   性质分类   验证方法和工具  

摘要： 计算机系统被应用于各种重要领域,这些系统的失效可能会带来重大灾难.不同应用领域的系统对于可信性具有不同的要求,如何建立高质量的可信计算机系统,是这些领域共同面临的巨大挑战.近年来,具有严格数学基础的形式化方法已经被公认为开发高可靠软硬件系统的有效方法.目标是对形式化方法在不同系统的应用进行不同维度的分类,以更好地支撑可信软硬件系统的设计.首先从系统的特征出发,考虑6种系统特征:顺序系统、反应式系统、并发与通信系统、实时系统、概率随机系统以及混成系统.同时,这些系统又运行在众多应用场景,分别具有各自的需求.考虑4种应用场景:硬件系统、通信协议、信息流以及人工智能系统.对于以上的每个类别,介绍和总结其形式建模、性质描述以及验证方法与工具.这将允许形式化方法的使用者对不同的系统和应用场景,能够更准确地选择恰当的建模、验证技术与工具,帮助设计人员开发更加可靠的系统.

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

摘要： 在路途桥梁工程施工进程中,需求考虑路途桥梁工程的全体结构。在此之前,相关规划人员需求认真分析路桥工程的规划进程,逐步完善路桥工程的规划进程,从而实现工程建造的结构规划。望文生义,路桥工程的结构规划需求突出“结构”一词的详细含义。路桥工程在实际施工进程中包含了许多工序。有必要从施工原材料的角度仔细分析路桥工程结构规划的详细要求。相关规划人员还应结合路桥工程施工规划的整体要求,挑选适宜的结构规划办法,从而进一步优化路桥工程的规划流程。路桥工程结构规划的详细办法值得我们深入研究。

关键词： 气候建筑   能量形式化   热力学建筑   设计方法  

摘要： 本文在“气候建筑”的视阈中,基于热力学系统思维,针对能量捕获、能量协同、能量调控的三种能量形式化路径进行逐级推进的深化剖析,研究解析当下“气候建筑”的实践案例,为建筑实践提供方法参照。

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

摘要： 为了能够有效提升道路桥梁的承载能力,改善其安全性、适用性和耐久性,对道路桥梁设计中结构化设计的应用进行研究,阐述结构化设计应用在道路桥梁设计过程中的作用以及实际应用,希望通过此研究能够促进我国交通运输事业的发展。

关键词： 功率敏感器   自动测试   微波功率   测量结果不确定度   测量比对  

摘要： 功率敏感器是微波射频专业中一种常用的基础仪表,配合功率指示器,用于微波功率的测量;在自动测试成为当代计量主流手段的背景下,提出了功率敏感器自动测试系统的研制;对《小功率座检定规程》及厂家方法进行了总结,得出了功率敏感器校准的通用步骤和硬件平台,并以此为基础讲述了自动测试系统各个模块:仪器管理、测试方案设计、测试过程实现及数据处理模块的设计思路及关键步骤,分析了参数校准因子的测量结果不确定度,通过手动测试与自动测试结果的比对,验证了该系统的可靠性;最后,通过大量实践,证明该软件结构可推广至各种仪表自动测试中,验证了其成为一种仪表自动测试通用结构的可能。

关键词： de novo序列拼接   混合策略   领域特征建模   产生式编程   形式化方法  

摘要： 在对3种de novo(从头)序列拼接的基本策略进行分析的基础上,该文研究了混合策略序列拼接算法的构造过程,从而整合多个单一策略优点;再利用形式化方法和形式化平台方面的优势,结合领域分析建模和产生式编程的方法,构造了2个基于OLC策略的算法(OLC_assembly_1,OLC_assembly_2)及1个基于DBG策略的算法(DBG_assembly),进一步组装出在(OLC+DBG)→OLC混合模式下的算法(简称ODO算法);最后,从GenBank中选取了3个实验样本,从N50、Contigs number、Coverage等角度,比较了在3个单一策略下的算法和ODO构造算法的拼接结果,分析了coverage depth和k值的变化对拼接结果的影响.实验结果表明:该文实现的ODO算法比单一策略在序列拼接时所产生的结果在N50和Coverage等参数上均有一定的优势.

关键词： 层次化设计   探索实践   支教   课堂教学   结构化   教学经历   设计和实施   关键要素  

摘要： 问题是课堂教学的关键要素。如何进行有效问题的设计和实施,提高课堂教学的效果?这是笔者作为工作不久的新教师,苦苦追寻的问题。2017年至2020年,化学特级教师毛东海老师在我校支教三年,这为我们创造了极为难得、宝贵的学习机会。本文拟在专家经验的基础上,根据近几年的教学经历和探索实践,围绕有效问题的层次化设计和结构化布局谈谈自己的想法和做法,以期向同行请教。

关键词： 设备检修计划   新型管理系统   结构化设计   闭环管理   一体化管理   水力发电厂  

摘要： 介绍了一种新型设备检修的管理模式。这种管理模式是以结构化设计为核心思想,可以实现发电厂设备检修计划的闭环管理,使检修计划的制定、检修任务的分配、检修作业的执行以及检修进度的跟踪等各个环节均能做到相互关联和融合。在此基础上,开发出了信息化平台,利用该平台,实现了检修计划的一体化管理,相较于传统的管理模式,在数据的复用和业务单元的联动方面体现出了较好的优越性。实践表明:基于结构化设计的水电厂设备检修计划新型管理系统具有较强的实用性。