教学课程资源库 更多>>

关键词： 综合诊断   结构化设计   人工测试   机内测试   诊断能力   需求分析   维修辅助   武器装备  

摘要： 综合诊断是指通过考虑和综合机内测试、自动和人工测试、维修辅助手段、技术信息、人员和培训等构成诊断能力的所有要素,使武器装备诊断能力达到最佳的结构化设计和管理过程。本项目首先对综合诊断技术和方法应用现状进行调研,内容包括美军装备综合诊断应用情况;接着基于MIL-HDBK-1814标准对综合诊断需求进行分析,包括需求分析的一般过程、需求的量化、需求的确认;同时,对综合诊断的权衡设计进行分析,结论中给出综合诊断设计要求的建议。

关键词： 需求分析   体系结构设计   协同优化   天地一体化   卫星任务规划  

摘要： 中国空间系统的蓬勃发展对卫星体系顶层规划提出了更高要求,如何统筹用户应用需求和卫星系统发展,科学设计中国空间系统是亟需解决的问题。文章提出了面向应用需求的天地一体化协同规划技术,从用户需求入手开展分析和卫星体系方案设计,在考虑用户任务需求和天地约束的情况下进行任务协同规划,通过规划结果完成对用户需求满足情况的分析并进一步迭代优化。协同规划技术是一种体系论证分析方法,通过该技术实施的体系方案论证可以使卫星执行效果在最大程度上对用户需求给予满足,既保障了用户利益,又保障了卫星效益最优化。该技术弥补了卫星任务规划对用户需求关注不足的问题,填补了空间系统体系论证中需求分析与体系设计结合论证的技术空白。

关键词： 情感态度价值观   核心知识   认知起点   知识储备   认知系统   普遍联系   知识结构   结构化  

摘要： 数学结构化活动是指促进新知识与旧知识、新经验与旧经验相互作用,构建具有普遍联系的、开放的、生长的知识结构和经验结构的活动过程。数学结构化活动能促进知识能力、思维方式和情感态度价值观的相互作用,使学生构建有结构的、完整的认知系统。那么怎样设计结构化活动呢?教师可以通过对学生知识储备和认知起点的剖析,梳理出具有广泛迁移性的核心知识.

关键词： 强化学习   安全协议   形式化方法   自动验证   泛化性  

摘要： 使用形式化方法能够找到安全协议设计中存在的漏洞,但高效地对安全协议进行自动的形式化分析仍然是一个挑战。针对现有形式化自动验证工具无泛化性和效率低的不足,对基于强化学习的安全协议形式化验证框架smartVerif进行优化。使用无人工特征、完全进行自我学习的蒙特卡洛树搜索与深度神经网络相结合的强化学习框架,同时设计能够保留形式化数据结构信息的数据转换方法。实验结果表明,利用该优化方案训练的强化学习模型具有泛化性且能高效地验证安全协议。

关键词： 结构化采集   Laravel框架   ECharts工具  

摘要： 本文基于MySQL数据库技术、PHP编程语言、ECharts数据可视化技术构建了高度结构化的过敏性紫癜病历采集系统。中药治疗过敏性紫癜具有独特优势,研究真实世界中医药防治过敏性紫癜的临床诊疗方法有重要意义。本系统旨在规范采集过敏性紫癜真实世界临床中医"四诊"信息、处方、检验、检查和症状图信息等,为专科病种建设提供数据支持,提高个性化医疗服务。

关键词： UML   统一建模语言   课程思政   策略  

摘要： 以UML统一建模为例,探讨在教学中开展课程思政的策略:明确课程思政教育的宗旨和意义,为教师和学生提供明确的目标和方向,使他们理解课程思政教育的价值。其次,课程思政教育内容应紧密围绕着时代主题、国家政策和社会需求,让学生更好地了解国家的政治、经济、文化等方面的基本知识,并且增强道德观念、法律意识和社会责任感。采用启发式教学和案例分析等互动教学方式,使学生参与其中,感受到课程思政教育的现实意义和实际效果。可以组织学生参加社会实践活动,通过亲身体验,让学生更加深入地了解社会,增强社会责任感和公民意识。最后,需要进行教学评估,对课程思政教育的成效进行量化分析,以不断优化教学方法和提高教学质量。

关键词： 排比句   论证理论   现代逻辑   形式化方法   三到   后期墨家   西方逻辑   开放空间  

摘要： 文章论述了如何以现代逻辑的概念或方法,以及论证理论的要素来更好地理解中国古代伟大思想家的逻辑贡献。第一、二节提出拓展逻辑的通常理解,使之包括一些论证理论的要素,以期构建一个“西方逻辑”与“中国逻辑”均能满足的开放空间,并用先秦逻辑一些重要思想的详细分析作出说明例证。三到五节从传统意义上的逻辑作分析:后期墨家及其逻辑基本规律、关于定义的理论和应用、名的分类、量词互相定义和侔式推理的现代解释。第六节分析了句子的排比句现象,揭示表明其隐藏的论证理论的一些形式化要素,如泛化关联论证,它包含一些未言明但完全有效的论证。第七节详细分析了《孟子》的类比推理,并提出评价论证强度的形式化方法。

关键词： UEFI   形式化方法   模型检验   安全漏洞   有限状态自动机   下推自动机  

摘要： 固件作为一种固化在ROM中的特殊软件程序,主要负责加电自检,硬件设备初始化,引导操作系统等基础功能,运行级别和安全等级较高,亟需一种高效、可靠的UEFI模块安全检测方法。采用形式化方法对UEFI模块进行规约与验证,对于提高固件的安全性具有重要意义。基于现有的有限状态自动机和下推自动机基础,分别对UEFI模块中的安全漏洞属性和UEFI模块程序控制流进行形式化建模,利用模型检验对上述模型进行形式化验证。其中利用数据抽象思想将UEFI模块抽象为程序控制流且压缩其状态规模来缓解模型检验时的状态爆炸问题,并给出了相关模型的定义以及模型间转换、组合的算法。实验结果表明,对UEFI模块的抽象及压缩能够很好地缓解模型检验中的状态爆炸问题,并且该形式化验证方法能够实现对UEFI模块安全漏洞的自动化验证,且能够达到较低的漏报率。

关键词： 教学内容结构化   核心概念   弱电解质的电离   平衡模型   核心素养  

摘要： 基于对"弱电解质的电离"教学课例的再研究,对如何实施内容结构化教学设计进行尝试性探讨。围绕"电解质在水溶液中的行为"这一核心概念,从基于教学内容结构化(知识关联-认识思路-核心观念)的视角出发对本节课教学内容进行再设计。以实验方案设计与探究为情境素材,以促进学生认识思路的形成为主线创设递进式学习的系列任务群,体现知识结构化的建构过程,通过任务群中的问题探讨引导学生在解决问题过程中形成学科认识思路与核心观念,发展学生核心素养。

关键词： 深度关联   单元整体教学   结构化  

摘要： 单元整体教学设计在实际教学中,名为单元整体,实际上仍是各课各教,缺少深度关联,没能使单元学习内容结构化,是目前在这一研究方向和实践操作上遇到的最大障碍。结合统编小学语文教科书的编写特点,语文教学的基本规律和学科大概念下单元整体教学的相关理论,本文尝试分析在单元整体教学背景下,单元学习内容实现深度关联的路径。