教学课程资源库 更多>>

关键词： 高分遥感影像分割   均值漂移分割   多尺度   土地覆盖/利用图   先验知识   面向对象分析  

摘要： 针对传统遥感影像分割算法较少考虑目标区域不同类型地物适应分割尺度的差异性问题,文章以适应性和稳健性较好的均值漂移算法为基底,提出了一种先验知识引导的多尺度分割方法。该算法通过引入先期解译土地覆盖/利用图中的图斑边界和类别属性信息,对传统均值漂移分割流程进行了改进,以实现差异化的滤波像斑合并,进而达到改善对象提取的精度的目的。文章利用两套数据集进行了方法测试与效果比对。实验结果表明,较传统的单尺度分割方法,所发展的多尺度方法能更好地结合地类的空间分布信息实现精细的对象边界提取,一定程度上克服了单尺度方法难以平衡过分割和欠分割的问题,为后续的面向对象分析提供了精准的边界形态。

关键词： 离散数学   实验教学   形式化方法   Isabelle/HOL  

摘要： 传统的离散数学实验教学,通常使用C、C++等程序设计语言来完成相应的课程验证性实验.学生在花费大量的时间和精力完成程序设计后,依然对程序的正确性没有直观的认识.借助Isabelle/HOL交互式定理证明器工具和形式化方法,构建离散数学实验环境,解决离散数学课程实验教学的直观表达问题以及逻辑推理实验的设置.以二叉树这种离散结构的知识点学习为例,阐述如何使用Isabelle/HOL来完成“离散数学”课程的实验教学设计.通过这种实验教学,能使学生对逻辑演算和推理有清晰的认识,同时培养学生的数学和逻辑思维以及创新、应用能力.

关键词： 计算机联锁系统   形式化方法   自动测试   对象模型   测试用例  

摘要： 通过研究形式化自动测试方法在计算机联锁系统中的应用,采用基于Prover iLock形式化工具、面向对象的PiSPEC高级语言编制测试脚本,将对联锁功能场景的测试延伸到对联锁逻辑变量的跟踪。形式化自动测试不仅可以测试系统功能,还可以检查联锁逻辑规则及联锁数据的正确性。本文阐述了基于对象模型的形式化自动测试方案,根据测试实例详细介绍了测试用例分解、用例执行结果以及可追溯的中间过程。结果表明:形式化自动测试能够提高测试效率,并且生成的测试用例对联锁测试对象的覆盖率达到了100%。

关键词： 著名教育学家   《课程标准》   结构化设计   探究活动   化学实验   教学情境   知识体系构建   精细化  

摘要： 课标分析《普通高中化学课程标准(2017版2020年修订)》(以下简称《课程标准》)中指出:"重视开展‘素养为本’的教学,倡导真实问题情境的创设,开展以化学实验为主的多种探究活动,重视教学内容的结构化设计,激发学生学习化学的兴趣,促进学生学习方式的转变,培养他们的创新精神和实践能力。"著名教育学家怀特海先生说过:"学校里教授的知识都是二手货,甚至是三手货。一切学问都是从生活中来的,是从对自然和社会的观察中归纳出来的。"

关键词： 软件工程   面向产出   过程性产出   解决复杂工程问题  

摘要： 以面向产出为导向,分析目前软件工程课程实践教学中存在的问题与不足,从用人单位对毕业生核心能力的要求出发,聚焦解决复杂工程问题能力培养,提出基于项目驱动的软件工程实践教学改进方法,介绍具体实践教学过程。

关键词： 新工科   软件   实践   融合  

摘要： 以构建基于多方协同育人、产教融合的软件工程实践教学体系为目的,结合新工科建设的趋势,分析了新经济环境下软件人才的需求和培养目标。以动态适应社会需求为驱动,以学生为中心,以产出为导向,以持续改进为保障,将学科知识、专业能力、非专业能力、综合素质作为人才培养的核心任务。通过提升学科交叉、创新创业和多学科团队协同合作能力,形成以创新支持创业,以创业带动就业的模式,增强了学生的创新意识和创新能力。

关键词： 低慢小目标防御系统   体系结构框架   多视图   作战活动  

摘要： 针对当前低慢小目标防御系统缺乏顶层设计规划的问题,基于美国国防部体系结构框架(Department of Defense Architecture Framework,DoDAF),构建了低慢小目标防御系统体系结构框架。在分析低慢小目标防御系统体系结构的核心要素的基础上,重点研究了作战视图和系统视图的设计过程,并对低慢小目标防御系统体系结构框架中关键视图产品进行了设计。该设计成果可为低慢小目标防御系统的研制和集成应用提供指导。

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

摘要： 在城市高速发展中,道路桥梁起到了关键性作用,为此,人们对于道路桥梁的建设工程越来越重视。在我国经济的大力推动下,道路桥梁建设项目越来越多,满足新时代城市交通发展需求。对于道路桥梁建设来说,道路桥梁设计是一项重要内容,通过结构化设计的引入不但能够提高道路桥梁设计水平,同时也可以简化施工材料,提高道路桥梁结构性能,保障道路桥梁的使用安全,对社会和谐发展具有重要意义。