教学课程资源库 更多>>

关键词： 真实情境   素养为本   铁及其化合物   结构化设计   主题教学  

摘要： 新课程标准强调重视开展“素养为本”的教学,倡导真实问题情境的创设,开展以化学实验为主的多种探究活动,重视教学内容的结构化设计,激发学生学习化学的兴趣,促进学生学习方式的转变,培养学生的创新精神和实践能力。在进行“铁及其化合物”的教学设计时,选取铁器文物为探究情境,自主生成需要解决的实际问题,结合化学知识,进行教学的结构化设计,经过学生的自主探究学习,培养并发展学生的化学学科核心素养。

关键词： 创新实践教学   软件工程   反馈   教学质量  

摘要： 为了提高软件工程专业创新实践教学质量,改善实践教学的综合评价的结果,本文提出一种基于反馈控制的软件工程专业创新实践教学方法。从软件工程专业实验课、课程设计、毕业设计等实践教学结果来看,利用该方法取得了较好的教学效果,教学质量得到了提高。

关键词： 软件工程   实践教学   案例教学   课程设计   面向对象  

摘要： 本文对软件工程的课程特点进行了简单论述,并分析了该课程当前教学存在的问题,以及实践教学的重要意义和实施方法,最后讨论了在实操环节中需要注意的问题。

关键词： OPCUA   UML建模   WebService   信息物理系统  

摘要： 为打破对制造业智能化升级的制约,实现各异构设备异构系统间的互联互通,提出一种智能制造领域中物理设备对象元模型到面向对象建模方法。介绍数字化车间智能化信息建模标准和方法,详细阐述OPCUA信息模型,分析研究OPCUA中WebService架构与UML结合建模。结果表明,OPCUA能提供一个很好的实现架构。该方法可行、实用。

关键词： 铁路运输   铁路道口   需求规范   形式化方法   系统设计   模型验证  

摘要： 为了增强铁路道口控制系统设计的可靠性,使用一种形式化方法对该系统进行建模与验证.基于道口管理规范,在分析系统各类属性与事件流程的基础上,使用 UML 图方法并结合精化策略建立了系统各层的 Event-B语言模型.通过对不变式的证明义务进行证明,验证了系统设计中的安全、时间特性,检查出了需求规范分析中的缺陷,提出了增强系统稳健性的改进方案,修正了系统的设计原型.最后,通过不变式冲突与死锁检验进一步确认了模型的正确性.研究表明文中方法提高了形式化建模过程的准确性与层次性,且确认得出目前规范中存在列车驶入道口时不能确保道口出清的缺陷,证实了使用本文形式化流程可以验证道口控制系统的需求规范并形成可靠的设计原型,从而可提高铁路道口的安全性.

关键词： 冻土热融滑塌   无人机遥感   黑河上游俄博岭冻土区   高空间分辨率影像   面向对象分析  

摘要： 全球气候变暖及人类活动导致青藏高原大面积冻土退化、热融滑塌等问题,严重影响了多年冻土区工程建设和生态环境。利用无人机高空间分辨率影像和面向对象分类技术进行了黑河上游俄博岭垭口冻土区热融滑塌监测实验,详细分析了最邻近、K-最邻近、决策树、支持向量机(support vector machine,SVM)和随机森林5种面向对象监督学习方法提取冻土热融滑塌边界的性能和精度,并使用野外实测数据对实验结果进行验证。结果表明,面向对象分析中分割尺度对热融滑塌提取结果影响较小,而不同组合的分类特征影响较大,因此选择合适的分类特征是关键;5种分类方法的总体精度均在90%以上,其中SVM方法的Kappa系数高于其他4种分类方法,表明该方法在本次实验研究中更适合无人机遥感影像冻土热融滑塌边界提取。无人机高空间分辨率遥感与面向对象分类方法相结合在冻土热融滑塌监测中具有广阔的应用前景。