课程文献中心 更多>>

关键词： 本地代码   跨层程序分析   混淆   模拟执行  

摘要： Native code被广泛应用,为移动应用提供丰富的功能和开发方面的便利性。然而,Native code天然的跨层执行行为给Android应用数据流分析带来了挑战。由于语言与程序运行机制的差异,过去针对Android应用的数据流分析往往仅关注Java层代码行为,这种跨层分析断点使得隐私泄露和恶意代码行为可以轻易地隐藏在Native层中。针对这一问题,现有工作尝试基于静态分析建立Java与Native之间的方法调用映射,从而补全跨层行为分析的断点。然而,这些方案既无法应对Native库中广泛存在的保护机制,也缺乏对Native方法动态绑定机制的理解。在本文中,我们提出了JNativeEmu,一种基于模拟执行的跨层方法调用映射分析工具。JNativeEmu以跨层调用注册作为解析入口,在模拟执行过程中补全基本的系统调用与JNI依赖。通过符号执行的引导,它能够准确建模Android应用中的跨层映射,为后续的跨层数据流分析提供可靠的支持。JNativeEmu的方法增强了对Native code跨层执行行为的理解,解决了现有数据流分析的跨层分析局限。我们对应用市场50个流行应用中1309个Native库的分析结果表明,JNativeEmu能够正确模拟执行其中83.2%的Native库并且没有发生崩溃。进一步地,在动态注册Native方法的解析成功数量上,JNativeEmu的识别结果较Jn-saf提高了2.23倍。此外,本文还通过案例研究对Native库中的函数注册实现和相应的程序保护机制进行了具体分析。

关键词： 知识图谱推理   图注意力网络   注意力机制  

摘要： 【目的】解决知识图谱中由于关系稀疏性和隐藏关系难以利用而导致的认知局限问题。【方法】提出一种基于图注意力网络的全局邻域感知知识图谱推理模型(GAGAT),通过引入介数中心性作为隐式结构信息,结合关系语义信息,构建层次注意力机制,增强链路预测的准确率和可解释性。【结果】在FB15K-237、WN18RR数据集上,GAGAT在Hits@3指标上较ComplEx分别高出26.5个百分点和5个百分点,较CompGCN分别高出15个百分点和1.6个百分点,较SD-GAT均高出1个百分点,证明了其在捕获隐式关系和复杂语义上的优势。【局限】仅以介数中心性作为隐式结构信息和关系语义信息进行融合推理,未探讨其他隐式结构特征在推理中的作用。【结论】GAGAT模型通过融合隐式结构信息和关系语义信息,进一步挖掘知识图谱中的隐藏关系,有效提升知识图谱链路预测的准确性和可解释性,为提升智能系统的认知决策能力提供了坚实的支撑。

摘要： ~~

关键词： 复偏微分方程   Nevanlinna理论   整函数解  

摘要： 本文结合Nevanlinna值分布理论研究了C^(2)上的Fermat型复偏微分方程(a_(1)u+a_(2)u_(z1))^(2)+(a_(3)u+a_(4)u_(z2))^(2)=e^(g)的整函数解,其中a_(1),a_(2),a_(3),a_(4)∈C为常数,g是C^(2)上的多项式.本文得到结论推广了一些已知的结果.同时,结合一些具体的例子说明不同情形下整函数解的具体形式.

关键词： 空间社会学   高校劳动教育   劳动空间  

摘要： 针对高校劳动教育存在的空间割裂与主体缺位问题,本文引入空间社会学视角,提出“四维空间互动”理念,揭示物理空间的资源配置、社会空间的主体关系、心理空间的价值认同及虚拟空间的技术赋能之间的动态关联,探索“空间协同育人”的路径,助力高校劳动教育实现综合育人目标。

关键词： 地热储层   热储层类型   钻井液侵入   井内压力   损害机理  

摘要： 常规油气和非常规油气储层损害机理研究比较成熟,而地热储层类型划分与损害机理研究至今尚未引起人们的关注和重视。目前,在地热资源勘查开发中仅出现砂岩热储和岩溶热储2种类型的概念。由于储层概念和类型的含糊不清,从而造成了钻井方法、钻井液选择不当和资源评价失真现象。在热储层损害机理和损害程度评估方面,更是没有规范要求,使地热完井工序缺失,最终导致水量小、温度低,甚至报废等问题。本文在大量地热资源勘查工程基础上,针对目前存在的突出问题,借鉴常规油气储层研究成果,着重从地热储层类型划分和热储层损害机理2方面进行了分析研究。研究表明:地热储层按照孔隙型、裂隙型、溶洞型和复合型4种模式划分,可以使钻井方法、钻井液选择和资源评价更加合理和精准。热储层损害表现方式主要是孔隙堵塞或储层结构破坏。其中,钻井液侵入和井内压力液柱静、动压力是热储层损害的主要因素,也是不可避免普遍存在的问题。热储层损害类型可划分为应力损害、流速损害、水敏损害、碱敏损害和酸敏损害5大类。

关键词： 二次函数   抛物线   恒等式  

摘要： 二次函数,历来是中考命题的“重头戏”.随着高考命题的变革,中考命题发生了微妙的变化.中考对二次函数的考法,正与高考对抛物线考法“无缝对接”,为了增强中考复习的针对性和有效性,本文列举分析了三类问题:直线与抛物线的位置关系问题、定点定值问题和证明恒等式.

关键词： GeoGebra   对数函数   教学案例设计  

摘要： 文章研究了基于GeoGebra软件的高中对数函数教学设计。针对对数函数教学的难点,文章提出利用GeoGebra软件来增强教学的直观性和互动性,动态模拟各种参数的变化过程,研究结合理论,设计翻转课堂与协作学习活动,使“数”与“形”完美结合。教学设计通过GeoGebra的动态演示功能,帮助学生深入理解对数函数的图像、性质及应用。

关键词： 图划分   遗传算法   最佳匹配   优良基因   禁忌搜索  

摘要： 针对大规模图划分问题中划分方案数量随顶点数指数级增长而导致的计算复杂性,以及传统遗传算法在处理大规模问题时效率和精度不足的问题,提出一种混合遗传算法.首先,该算法对经过二进制编码的个体进行最佳匹配,通过识别并筛选出优良基因,有效缩小搜索范围,聚焦于更具潜力的搜索区域;其次,为避免传统交叉操作可能产生的非法解,该算法摒弃了随机交叉策略,仅生成一个潜在解;最后,在变异操作中引入禁忌搜索算子,生成完整的个体,从而增强算法的局部搜索能力,实现全局搜索与局部搜索之间的动态平衡.将该混合遗传算法应用于超大规模集成电路划分问题的实验结果表明,该算法可有效改进大规模图二划分问题解的质量.

关键词： 初中数学   函数题型   解题技巧   深度学习   结构化思维  

摘要： 函数是初中数学的重要内容,涉及的题型种类多、难度大,在一定程度上能够衡量学生的数学思维能力和水平。从认知心理学和数学教育学角度,文章讨论了初中数学函数题型的解题技巧与策略,并提出了要跳出题海,围绕学生的本质理解数学的内涵,通过关于函数解题的“深度学习”思考,从重视对函数内部结构的分析、联系运动变化视角及函数在具体问题中的应用视角等方面出发,指导学生认识和把握函数内部知识结构的关联,形成结构化思维模式,使学生充分理解函数的本质及特性,加深对函数的认知,从而有效地掌握解题的策略与方法,发展学生对解题的兴趣与能力。同时,结合实际题目讨论了问题驱动和情境化教学对初中数学函数解题的启发作用,旨在为今后的初中数学函数教学带来重要的启示。