课程文献中心 更多>>

关键词： 思维导图   小学英语教学   应用   策略  

摘要： 思维导图是近年来在教育教学中应用的重要工具之一,借助思维导图可以帮助学生更好地探寻知识之间的关联性,培养学生的高阶思维能力,有助于学生快速理解学科知识。在小学英语教学中应用思维导图,可以营造良好的学习氛围,助力学生英语核心素养快速形成,打造高质量的英语课堂。本文将立足教师自身的教学经验对相关问题进行深入分析,希望能够更好地为其他同行提供有价值的参考意见。

关键词： 电阻抗断层成像   集合经验模态分解   心脏活动相关信号   肺通气  

摘要： 心脏射血与肺通气活动信息的实时获取具有重要临床意义。本研究提出了一种基于胸部电阻抗断层成像(EIT)的心肺信号降维集合经验模态分解方法,以同时分离胸部EIT数据中的心脏射血和肺通气活动信号。招募9名志愿者进行了EIT胸部数据采集。首先,根据屏息状态下胸部EIT数据中心脏活动信号的强弱对测量通道分类;随后,使用集合经验模态分解方法对自主呼吸状态下的EIT数据进行分解,并根据频谱特性对分解出的各分量归类,以得到肺通气EIT信号;然后,结合带通滤波方法,同时依据前述通道分类对心脏活动信号降维,得到心脏活动EIT信号;最后,重构得到通气相和心搏相EIT图像序列。结果表明,该方法可在通气相图像的肺区能够获得最高的肺通气功率谱峰(52.71±1.39)dB,在心搏相图像的心脏区域能够获得最高的心脏活动功率谱峰(43.05±3.26)dB,表明保留的通气信息和心脏活动信息非常丰富,同时在通气相图像心脏区域获得了最低心脏活动相关功率谱峰(10.02±2.65)dB,表明心脏活动的抑制效果更佳,相较于参考方法均有显著性差异(P<0.05)。研究表明,该方法可以有效分离肺通气与心脏活动相关信号,分别保留各自活动信息并抑制心脏对肺区成像的影响,同时实现对干扰信号的有效抑制,为临床上提供更加准确的治疗策略指导奠定基础。

关键词： 二进制分析   恶意函数定位   内存取证   堆栈追踪   过程可解释性  

摘要： 恶意软件的关键模块定位是逆向工程中的重要环节,然而目前大多数研究集中在判别程序是否恶意,少有研究对关键恶意模块进行定位,并且存在自动化定位难度高、定位过程难解释的问题.为此,本文提出了基于过程解释的恶意函数定位方法Pimflo,从具体的内存信息出发进行恶意识别和定位.Pimflo利用动态沙箱对目标二进制进行内存取证,基于签名技术识别可疑行为,追溯其相关的进程调用和堆栈信息.通过反汇编目标程序生成控制流图(CFG),还原可疑行为调用链,追溯和定位恶意源函数.本文在VIRUSSHARE的100个样本上对Pimflo进行了评估,实验证明Pimflo的恶意函数定位准确率可达90.28%,其解释性和逻辑性优于基于统计的非标量现有框架,为恶意软件定位领域提供了更可靠的新方案.

关键词： 知识追踪   图对比学习   自注意力机制  

摘要： 提出了一种基于自注意力融合的多图知识追踪方法(multi-graph knowledge tracing method based on self-attention,SA-MGKT),旨在通过学生的历史答题数据,对其知识的掌握程度进行模型化,并评估其未来学习的表现.首先,该方法构建了学生–习题异质图来表示学生–习题的高阶关系,通过图对比学习技术捕获学生的答题偏好,并采用3层LightGCN进行图表征学习.然后,引入概念关联超图和有向转换图的信息,通过超图卷积网络和有向图卷积网络进行节点嵌入.最后,通过引入自注意力机制,成功融合了习题序列的内部信息以及多图表征学习所蕴含的潜在信息,从而显著提升了知识追踪模型的准确性.实验数据在3个标准数据集上均展现出令人鼓舞的结果,模型的分类性能得到了大幅提升,具体表现为相对于基线模型,在评估指标上分别提高了3.51%、17.91%和1.47%.这些结果充分验证了融合多图信息和自注意力机制对于增强知识追踪模型性能的有效性.

关键词： 水源保护区划分   水动力模型   溢油事故   应急响应   引江补汉工程  

摘要： 引江补汉工程是南水北调中线工程的后续水源,为保障汉江中下游干流水质安全和湖北省补水区城乡生活供水安全,有必要在工程取水口周边划定饮用水水源保护区。在充分考虑水质保护要求、交通航运、港口建设发展、应急响应需求等因素的基础上,针对三峡调度运行不同水位情况、工程引水代表流量和相应水质条件设计工况情景,基于水动力水质模型计算和应急响应时间估算结果,提出引江补汉工程龙潭溪取水口水源保护区范围建议,为将来保护区划定提供技术支撑。计算结果表明,以龙潭溪取水口为中心划分饮用水水源保护区的径向距离应≥1.3 km。

关键词： 图广度优先遍历   形式化推导   定理证明   循环不变式  

摘要： 针对图广度优先遍历问题,该文提出了一种形式化推导与机械验证方法.首先,描述求解问题的形式化规约,使用分划递推得到统一的循环不变式并开发相应的Apla抽象程序;然后,在Isabelle中描述算法相关的数据类型、定义与基本函数,根据算法程序正确性证明的验证条件证明了抽象算法正确性;最后,通过Apla→C++自动生成器生成可执行代码,验证了该方法的有效性.

关键词： A型主动脉夹层   经食管超声心动图   影像指标  

摘要： 目的分析A型主动脉夹层(TAAD)经食管超声心动图的诊断价值。方法选择2021-01—2024-01许昌市人民医院通过经食管超声心动图检查疑似TAAD的145例患者,以CT血管成像(CTA)为“金标准”,以TAAD为阳性、非TAAD为阴性,分析经食管超声心动图诊断TAAD患者的价值、影像指标,以及两种检查方法诊断主动脉受累情况。结果CTA检查结果阳性28例、阴性117例,经食管超声心动图结果阳性26例、阴性116例。以CTA为“金标准”,经食管超声心动图诊断TAAD的灵敏度为92.86%(26/28)、特异度为99.15%(116/117)、准确度为97.93%(142/145),阳性预测值为96.30%(26/27)、阴性预测值为98.31%(116/118)。经食管超声心动图检查诊断与CTA检查诊断TAAD患者升主动脉受累、主动脉弓受累、冠状动脉受累的结果比较差异无统计学意义(P>0.05)。经食管超声心动图临床诊断TAAD的影像指标中,主动脉瓣反流出现率最高,占96.43%;其次为升主动脉直径≥40 mm(92.86%)、心包积液(39.29%)、LVEF<50%(25.00%)。结论经食管超声心动图诊断TAAD,具有较高的敏感度、特异度和准确度;结合临床症状和影像指标,经食管超声心动图对TAAD的诊断具有重要的临床价值。

关键词： 漏洞分析   成因分析   函数间调用图   函数内控制流转移图   统计分析  

摘要： 快速的漏洞成因分析是漏洞修复中的关键一环,也一直是学术界和工业界关注的热点.现有基于大量测试样本执行记录进行统计特征分析的漏洞成因分析方法,存在随机性噪声、重要逻辑关联指令缺失等问题,其中根据测试集测量,现有统计方法中的随机性噪声占比达到了61%以上.针对上述问题,提出一种基于局部路径图的漏洞成因分析方法,其从执行路径中,提取函数间调用图和函数内控制流转移图等漏洞关联信息.并以此为基础筛除漏洞成因无关指令(即噪声指令),构建成因点逻辑关系并补充缺失的重要指令,实现一个面向二进制软件的自动化漏洞成因分析系统LGBRoot.系统在20个公开的CVE内存破坏漏洞数据集上进行验证.单个样本成因分析平均耗时12.4 s,实验数据表明,系统可以自动剔除56.2%噪声指令和补充并联结20个可视化漏洞成因相关点指令间的逻辑结构,加快分析人员的漏洞分析速度.

关键词： 正比例函数   反比例函数   奇函数  

摘要： 对钩函数f(x)=ax+b/x,当a≠0,b≠0时,是正比例函数f(x)=ax与反比例函数f(x)=b/x“叠加”而成的奇函数。

关键词： 跨学科主题学习   评价   基本原则   实施要点   折线统计图  

摘要： 跨学科主题学习是学科课程改革的重要学习方式,对提升学生的数学核心素养有着重要作用。文章基于当前跨学科主题学习存在的评价目标片面、评价内容不全、评价方式单一等问题,探索在跨学科主题学习中评价设计应遵循的基本原则,明晰评价设计路径,提出评价目标可感、评价内容可测、评价方式可行的实施要点,以更好地构建全面、科学、素养为导向的跨学科主题学习评价体系。