教学课程资源库 更多>>

关键词： 标准   标准体系   协调性  

摘要： 标准体系中标准之间的协调性的一个关键要求就是保证标准之间规定的内容不冲突。产生这种冲突的原因是标准间规范的内容存在交集。本文使用形式化方法来研究解决标准体系中标准内容存在交集的问题。本文提出的方法通过构建业务流程图,在制定相关业务标准时,遍历并标记业务起点到终点的路径,通过保证每一个节点仅被标记一次来实现规范相对内容标准的唯一性。

关键词： 学课堂   语文思维   结构化思维   阶梯性   语文学习过程   培育学生   层次性   结构性  

摘要： “立学课堂”是以“学”立人的课堂。在“立学课堂”上,“学”是中心,“立”是方式、方法。教师既要在研究“学”的目标、内容等方面下功夫,也要在研究“立”的策略、路径上做文章。基于“立学课堂”的视野,教师在教学中要进行层次性、阶梯性的任务群设计,培育学生的整体性、结构性、系统性的语文思维。“立学课堂”视野下培育学生结构化思维的任务群设计,不仅要关注学生的语文学习成果,更要关注学生的语文学习过程。

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

摘要： 随着经济的增长,道路桥梁的施工范围迅猛增长,其规模持续扩张,成为城乡联系的关键纽带,这既促进了交通进步,满足了公众日常需求,又为经济增长打下坚实的基础。随着道路桥梁施工范围不断拓宽。在道路桥梁施工过程中,运用结构化设计方法,可以有效地提升道路桥梁质量,促进经济的发展。论述了道路桥梁设计中的结构化设计策略,期待能为同行起到一定的借鉴意义。

关键词： 核电站   仪控系统   面向对象测试  

摘要： 核电站仪控服务器软件是由面向对象程序语言实现的核电专用设备软件,具有面向对象软件独有的特性,如抽象、继承、封装、多态等,使其与面向过程语言实现的软件相比更加灵活、复杂、多变,增加了测试的复杂度,增加了测试的难度,使得传统的测试技术在核电站仪控服务器软件的测试中越来越困难,越来越难以保证测试的充分性、完整性。为此,结合核电站仪控系统服务器软件运算过程复杂的特点,提出了一种针对核电站仪控服务器软件的面向对象测试方法,探讨了面向对象测试技术在核电站仪控系统非安全级软件确认测试中的可行性,为核电软件测试人员提供了软件测试的新思路。

关键词： 结构化   计算   分数乘分数   学习任务  

摘要： 数学教学应注重结构化的整体设计。以“分数乘分数”教学为例,教学要从结构化的视角出发,整合数学内容、精准诊断学情、设定素养导向的教学目标,设计实施四个进阶性学习任务,这些任务旨在帮助学生实现对算理的一致性理解,提高计算能力,并促进数学思维的发展。

关键词： 可靠度指标   一次二阶矩法   PKPM二次开发  

摘要： 提出了便于与商用结构设计软件对接的结构构件可靠度指标计算框架。采用有限差分法计算结构构件荷载效应关于基本随机变量的偏导数;用矩传播的方法计算构件荷载效应的前两阶矩;依据一次二阶矩法计算结构构件的可靠度指标β。在此基础上,编制了基于PKPM的二次开发程序,可用于计算RC框架结构梁抗弯和抗剪极限承载能力的平均安全系数和可靠度指标。实例分析结果表明,对于按6度设防设计的结构,在6度地震作用下有少数梁的可靠度指标低于我国建筑结构可靠性设计统一标准的要求;当地震作用为7度时,多数梁的可靠度指标低于标准要求。

关键词： 体育教学   结构化思维   问题设计  

摘要： 结构化思维是在发现问题、解决问题、建构知识、运用知识的过程中形成的思维品质。设计高质量的课堂问题是促进学生形成结构化思维的有效路径,因此如何提出一个能调动学生思维的课堂问题,从而培养学生的结构化思维是一个颇具研究价值的课题。指向结构化思维培养的体育课堂问题设计将问题划分为四类,即通过客观性问题关联学生已有经验,通过反应性问题关注学生个体感受,通过诠释性问题激励学生深度对话,通过决定性问题助推学生实践反馈,从而实现结构化思维的培养。“四问”的合理预设能引发学生的深度思考,从而落实核心素养的培养。

关键词： 语文教材   结构化设计   单元任务   掘井   教学设计   单篇教学   广覆盖   优秀品格  

摘要： 本设计是统编版语文教材七年级下册第三单元任务群教学设计的第4课时。与传统的单篇教学设计有所不同,任务群教学设计既要呼应整体的结构化设计,又须保有单篇教学的开掘力度。那么,蒋老师是如何兼顾整体与单篇,并实现“广覆盖”与“深掘井”有机统一的呢?一、巧设主题统摄下的“井位点”四篇课文都是通过书写“小人物”,展现其“优秀品格的光辉”。

关键词： 整体设计   结构化   教学模式   育人方式  

摘要： 教学应根据学生已有的知识经验、认知水平和学习要求,整体把握结构化的课程内容,选择能促进学生思考的教学方式.教学要进行整体设计,探索知识结构,建构知识之间的关联,形成结构化教学模式,并进行分步实施,从中发展学生的核心素养,推动育人方式的变革.

关键词： 人工智能   形式化方法   运行时安全性保障   运行时验证   形式化建模与验证   信息物理系统   系统建模与验证   嵌入式系统  

摘要： 运行时安全性保障方法旨在系统运行过程中确保安全性属性得到满足.基于单工(simplex)架构的运行时安全性保障方法能够在使用复杂且安全性未经验证的控制器的情况下,为系统提供安全性保证.其基本思想是将复杂且安全性未经验证的复杂控制器与经过严格形式化验证的安全控制器相结合,前者工作在无安全风险的情况下,若检测发现系统存在潜在的安全风险,则通过决策模块完成复杂控制器与安全控制器之间的切换,从而确保系统的安全性.本文重点关注基于simplex架构的信息物理系统运行时安全性保障方法,从simplex架构决策模块的设计、改进与拓展,以及simplex架构的应用3个方面展开研究,对相关工作进行了梳理和总结,指出当前面临的技术挑战,并展望未来的发展方向,认为基于simplex架构的运行时安全性保障方法将会是解决智能信息物理系统安全性保障问题的有效途径之一.