教学课程资源库 更多>>

关键词： 平交道口   系统设计   自动机理论   形式化方法   模型验证  

摘要： 铁路平交道口作为铁路与道路运输交汇的重要地段，一旦发生事故会造成极大的人员伤亡与财产损失。现有的道口系统大多存在设备不完善、自动化与智能化建设程度较低以及缺乏可靠的安全规范等问题。为了顺应当前智能化交通的发展需求，针对上述问题，提出了一种智能网联道口安全防护控制系统。通过分析系统的功能流程，建立系统的信息交互网络，明确系统的功能安全需求。基于UPPAAL对系统进行建模仿真与验证，结果表明性质验证均通过，满足系统的充分性、一致性、实时性与安全性需求，最后对验证后的系统进行嵌入式开发与实现，为未来道口系统的设计及其安全规范提供了理论参考。

关键词： 核心素养   把握教材   梳理知识   任务驱动   发展路径   发展的眼光   聚焦性   教学片断  

摘要： 提到《义务教育数学课程标准(2022年版)》总绕不开几个热点的词汇,如:大概念、结构化、核心素养、任务驱动等,这就要求教师要学会用整体的眼光把握教材内容,梳理知识间的内在逻辑,对教学内容进行结构化整合;用发展的眼光设计教学活动,帮助学生建构一套属于自己完备的知识体系,让教学活动更具聚焦性和连贯性;用实用的眼光看待练习题创编,巩固所学内容的同时,发展思维能力,提升核心素养。

关键词： 中考   文言文试题   结构化   学习主题   整合  

摘要： 中考文言文试题难以实现结构化设计,与文言文的特殊性有关。一是文言文考查内容特别是语言点多,易导致试题设计碎片化;二是素材联结度不高,难以形成理想的试题结构。学习主题引领是结构化设计的重要途径,且需要进行多维度整合。要以文言文的学习主题统领教学、复习与考查。

关键词： 电介质材料   介电常数   构效关系   体系结构设计   陶瓷粉末   机械强度   核壳结构   介电性能  

摘要： 传统添加陶瓷粉末的聚合物复合电介质材料填充量大,机械强度低,介电常数增强有限。针对5G/6G通讯、柔性穿戴等技术对电介质材料提出的特殊需求,开发一系列具有介电常数、低损耗、高柔性聚合物电介质材料迫在眉睫。聊城大学李玉超教授团队创新性提出了改善聚合物综合介电性能新策略,设计了多种杂化结构、核壳结构、3D网络结构。探究了新型电介质材料“微纳米多维度结构-电场极化行为-储能特性”之间构效关系,实现了不同聚合物电介质体系介电储能的协同提升。

关键词： 教学内容   结构化   核心素养   溶液的形成  

摘要： 化学教学内容的结构化是促进学生从化学学科知识向化学学科核心素养转化的关键。以“溶液的形成”为例,从“知识关联”“认知思路”和“核心观念”三个维度进行教学内容的结构化设计和实施,有效提升学生的化学知识结构化水平,发展化学学科核心素养。

关键词： 命题素材   结构化设计   课程内容   学习活动   SOLO  

摘要： 命题素材结构化有利于实现必备知识、关键能力、课程内容等结构化考查,素材结构化设计是课程内容结构化与学习结构化的需要,素材结构化能测试SOLO中的高层次结构。教学要将课程内容与学习活动都进行结构化设计。

关键词： 核心素养   小学数学单元作业   结构化设计  

摘要： 小学数学单元校本作业是立足于学生实际情况,依据单元教学目标而设计的作业。在设计单元作业时应注重顶层架构的“立体化”、活动编排的“板块化”、内容设置的“情境化”、知识体系的“族谱化”,进而让教师有结构地教,学生有关联地学,发展学生的核心素养。

关键词： 形式化方法   事件逻辑(LoET)   物理不可克隆函数(PUFs)   双向认证协议   定理证明  

摘要： 提出两个事件时序概念与相关规则,用于分析事件关联消息类型为挑战数的时态性质,形式化抽象物理不可克隆函数(PUFs)随机会话秘钥生成功能,扩展事件逻辑(LoET)用于形式化分析PUFs安全协议的理论.以一个基于SRAM PUFs(基于静态随机存取存储器的PUF类型)的安全双向认证协议分析为例,形式化规约了协议基于PUFs随机秘钥生成和双向认证过程,基于扩展的事件逻辑,采用定理证明方法推理证明了该协议在合理假设下满足双向强认证性质.研究表明扩展的事件逻辑理论可用于设计和分析基于PUFs安全协议.