课程文献中心 更多>>

关键词： 物联网安全   固件漏洞静态检测   污点分析   中间污点源  

摘要： 先前的固件静态污点分析方案通过识别中间污点源来精确污点分析的起点,过滤部分情况的安全的命令劫持类危险函数调用点以精简污点分析的目标终点,减少了待分析的污点传播路径,缩短了漏洞挖掘的时间。但由于其在识别中间污点源时所用时间过长,以及没有实现充分过滤安全的危险函数调用点,导致固件漏洞挖掘的整体时间依旧较长。为改进这一现状,提出了一种利用精确中间污点源和危险函数定位加速固件漏洞分析方案ALTSDF(Accurate Locating of intermediate Taint Sources and Dangerous Functions)。在快速精确识别中间污点源作为污点分析的起点时,收集每个函数在程序中不同调用点处使用的参数字符串构成每个函数的函数参数字符串集合,并计算此集合在前后端共享关键字集合中的占比,根据占比对所有函数进行降序排列,占比越高,则此函数越有可能是中间污点源。在过滤安全的危险函数调用点时,通过函数参数静态回溯分析参数类型,排除参数来源是常量的复杂情况的安全的命令劫持类危险函数调用点和安全的缓冲区溢出类危险函数调用点。最终缩短定位中间污点源所用时间,减少由中间污点源到危险函数调用点所构成的污点传播路径数量,进而缩短将污点分析应用于污点传播路径所需的分析时间,达到缩短漏洞挖掘时间的目的。对21个真实设备固件的嵌入式Web程序进行测试后得出,ALTSDF相比先进工具FITS,在中间污点源推断方面所用时间大幅缩短;在安全的危险函数调用点过滤方面,相比先进工具CINDY,ALTSDF使污点分析路径减少了8%,最终使漏洞挖掘时间相比SaTC结合FITS与CINDY的整合方案缩短32%。结果表明,ALTSDF可加速识别固件嵌入式Web程序中的漏洞。

关键词： 建图探索   局部规划器   全局规划器   动态有偏快速扩展随机树   区域划分   全局路线   边界点评价指标  

摘要： 传统的机器人探索建图方法往往存在探索效率低下、感知不完全以及占用大量计算资源等问题,为此提出了一种基于动态有偏快速扩展随机树-区域划分(DBRRT-RD)的建图探索方法。该方法包含两个规划器:局部规划器和全局规划器。局部规划器在局部区域动态有偏扩展随机树,生成局部边界;全局规划器在全局扩展随机树生成全局边界,同时将全局地图动态划分为几个子区域,并将子区域排序,生成全局路线为探索提供全局指导。最后,通过边界点评价指标确定最终的目标点。经过仿真和实验表明,基于动态有偏快速扩展随机树-区域划分的建图探索方法的探索效率更高。

关键词： 离散动态图   表示学习   链接预测   积空间   几何深度学习   强化学习  

摘要： 随着复杂网络分析在诸多领域的广泛应用,如推荐系统、社交网络、疾病传播网络和金融交易网络,动态图的分析成为图神经网络研究的一个关键挑战。针对动态图神经网络在链接预测时因单一空间嵌入导致的嵌入扭曲问题,提出了自适应积空间离散动态图链接预测模型(APSDG),拟解决嵌入扭曲问题,提高离散动态图链接预测性能。通过结合欧几里德空间、双曲空间和超球面空间,构建积空间作为嵌入空间,以更好地拟合动态图数据的复杂结构。为实现积空间的自适应调整,设计了一种强化学习机制,动态优化各空间的维度比例和曲率参数。实验结果表明,APSDG在五个真实世界数据集上优于使用单一空间的基准模型,在动态链接预测和动态新链接预测任务中,AUC和AP指标上的平均增益分别为2.24%和1.90%、2.12%和1.43%,APSDG有效解决了单一空间嵌入方法的嵌入扭曲问题,能够更好地捕捉复杂网络的层次结构和规则结构,显著提升了动态链接预测效果。

关键词： 思维导图   小学英语   英语阅读   阅读教学  

摘要： 在当前课程改革不断深化的过程中,阅读教学在英语教学中显得极为重要,面对难度更高的阅读篇幅、结构与词汇内容,学生的语言理解、表达都面临较大难度。而思维导图具有良好的认知功能和价值,教师利用思维导图可以帮助学生构建思维模式、梳理阅读信息并促进学生深层的理解。将英语思维导图的直观化思维方式引入小学高年级的英语阅读教学,不仅能够促进学生形象思维的发展,同时也有助于其对英语阅读理解以及语言的应用,对学生的思维应用也有极大裨益。本文通过分析英语思维导图在小学英语高年级英语阅读教学中的有效运用策略,以期提高学生英语阅读学习能力及英语阅读兴趣。

关键词： Nevanlinna理论   亚纯函数   增长级   唯一性定理  

摘要： 1992年,Gundersen提出了下述著名问题:若复平面上两个判别的非常数的亚纯函数f和g IM分担0,1,c,并且CM分担∞,其中c是一个有限复常数且满足c■{0,1},那么f和g是否也CM分担0,1,c?本文在f和g是有穷级非常数的亚纯函数且|c|满足特定条件下研究了这一问题,并证明了下述结果:若f和g是两个判别的有穷级非常数的亚纯函数,且f和g IM分担0,1,c,∞,正整数M定义为M=max{|C|:C∈C_(0)},其中C_(0)是f(z)的所有有限的临界值构成的集合,即C_(0)={C∈C:存在z∈C,使得f(z)=C且f′(z)=0},那么当|c|>M时,f和g CM分担0,1,c,∞。作为该结果的推论,在f和g是有穷级非常数的亚纯函数且|c|满足特定条件下,肯定地回答了Gundersen提出的上述问题。

关键词： 制表   医学论文   自明性   写作要求   表与图  

摘要： 一、制表的基本要求。1.重点突出,简单明了,主谓分明,层次清楚。2.结构完整,有自明性,表的内容不要与文字、插图重复。3.表中的量、单位、符号、缩略语等须与正文一致。二、图应具有自明性,即只看图、图题和图例,不阅读正文,就可理解图意;内容不要与文字、表格重复;类型应与资料性质匹配。

关键词： 取值范围   二次函数   性质   命题   应用   实数   逻辑用语  

摘要： 一、在常用逻辑用语中的应用,例1已知命题“∃x∈[-1,1],-x^(2)+3x+a>0”为真命题,则实数a的取值范围为( )。

关键词： 初等函数   性质探究   复合函数   应用   中间变量   内层函数  

摘要： 复合函数是指由两个或两个以上的基本初等函数组合而成一个新的函数。复合函数的形式为y=f[g(x)],令t=g(x),则y=f[g(x)]可转化为y=f(t),t=g(x),其中t叫作中间变量,g(x)叫作内层函数,y=f(t)叫作外层函数,且内层函数的值域为外层函数的定义域。

关键词： 大概念视角   高中数学   单元教学设计  

摘要： 1问题的提出《普通高中数学课程标准》(2020版)提出高中数学教学要注重知识的结构性、系统性,以单元教学设计开展教学活动,将教学的视野从课时拓展到单元,从关注知识点的教学到关注更大范围的教学。

关键词： 几何图形   反比例函数   相似三角形   垂线  

摘要： 在反比例函数的载体下,我们通过作垂线,构造相似三角形,再利用相似三角形的性质与反比例函数系数的几何意义,可以快速地解决反比例函数中一些几何图形问题.下面举例说明,供分享.