基于软件执行轨迹差异比对的关键函数定位技术研究

关键函数是指应用软件在某个运行阶段发挥着关键作用的核心功能函数。对软件中的关键函数进行快速定位是提高逆向分析效率的有效手段。目前,在软件逆向工程领域对关键函数进行定位大多是利用人工分析的方法。利用动态二进制插桩技术,提出了一种切实可行的基于软件执行轨迹差异的关键函数自动定位方法。当软件具有2类不同的输入,分别触发、不触发关键函数时,该方法能够快速、准确地识别关键函数。

一种新的函数分类方法——分部积分法关键函数的确定原则

在高等数学的不定积分中,针对学生对分部积分法中u的确定及哪部分为u感到的困难.本文对关键函数u的确定提出了一种新的分类方法.

关键函数和辅助函数——解决积分运算的一种思想

提出关键函数和辅助函数的概念,举例说明它们在不同积分运算方法中所起的作用,并对不同形式的关键函数和辅助函数做了分类叙述.

一种基于FTA和FDG的安全关键函数定位方法

常用的软件安全性测试方法主要关注系统级测试,而对单元安全测试的关注较少且缺乏对安全关键函数的查找方法。本文提出基于FTA和FDG的安全关键函数的定位方法,解决安全关键函数定位问题,为以函数为单元的安全性测试提供依据。采用故障树分析法获取造成危险的基本事件,根据基本事件,构建与之对应的软件运行,以FDG为基础,构建函数与软件运行的映射,根据基本事件、软件运行和函数三者的关系,及函数的重要度,确定关键函数。

基于“关键函数”断点设置木马的逆向取证方法

木马恶意程序常用的取证方法是逆向分析法,但是这种方法存在操作难度大、取证周期长的缺点。为了降低取证难度、提高分析效率,提出一种基于"关键函数"断点设置的木马恶意程序取证分析方法。在恶意功能和主要函数之间建立一种关联,从木马恶意程序使用的核心系统函数入手,通过设置断点、获取参数值,进而判断恶意程序的主要功能。这种方法可以规避大量汇编代码的阅读工作、简化分析难度、缩短取证周期。

一种基于中文关键字符串核函数的分类算法

提出了一种基于中文关键字符串核函数的分类算法,并在农业文本上进行了分类性能测试.实验结果表明,与传统的中文分类算法相比,基于中文关键字符串核函数的分类算法准确率更高.

利用函数影响力的相似程序间测试用例重用与生成

在回归测试过程中,用例重用是一项很重要的工作,其充分利用软件升级变更前的已有资源,提高测试的效率.从已有研究来看,回归测试的研究大部分侧重于用例优化方面,少部分提到利用程序升级变更前后的相似性来重用测试用例以提高用例生成效率.针对回归测试用例重用问题,提出一种重用变更前相似程序的测试信息,并通过设计的适应度函数为变更后程序进化生成新用例的方法.该方法利用构建的函数调用图进行程序相似部分的检测,并根据函数影响力设计适应度函数来调整个体的适应度值,保留适应度值高的优秀个体;再通过重用变更前相似部分的用例,以及进化生成的变更后的部分用例,来构成回归测试中新程序的用例.实验结果表明,在目标路径覆盖率上,对于中小规模和大规模工业程序,本文方法比经典方法分别可提高8%和17%.

接口函数在AUTOCAD二次开发中的设计

如今,CAD(计算机辅助设计)技术已被各制造业广泛应用。而本次设计是选择了 Object ARX 开发平台,用 C/C++对AutoCAD 软件进行的二次开发。系统设计工作共分数据库构建、文件读写、操作功能实现和交互式界面四部分。最终完成的软件是一个具备初步的 CAD 软件结构、用户接口和操作方式的 CAD 系统,在这里,我们来主要研究一下接口函数的设计。

量子可逆逻辑综合的关键技术及其算法

最优化量子可逆逻辑的关键在于用最小的量子代价自动构造量子可逆逻辑.为了提高可逆逻辑自动生成与优化的效率,提出了类模板技术和一种快速算法.模板技术是一个有效的优化工具,类模板技术可以显著提高模板技术的匹配效率;R-M算法是可逆逻辑综合的一种较好的迭代方法,基于R-M算法的原始思想,构造了一个Hash函数,并在此基础上提出了一种可逆逻辑综合的快速算法.实验结果表明,在同等实验环境下使用类模板技术与快速算法,其优化的效果与效率远远优于已知的其他算法.

统计分布函数的特点最可几分布的统一

提出解除模糊认识的根本途径在于讲清统计分布函数及图样与一般连续函过及图样的根本区别，即所谓“线元对应”和“点对应”，采用重叠间隔的作图方法以加深对统计分布曲线的理解。定量论证了气体系统最可几分布获得统一的条件是采用相同性质的统计间隔。

改进多尺度卷积结构与高斯核的E-CenterNet算法

针对ResNet和DLA(deep layer aggregation)为主干网络的CenterNet算法特征提取能力不充分、热力图与目标真实边界框吻合度不高、关键点损失函数未充分考虑预测值对难易样本训练比重的影响等不足,提出一种改进多尺度卷积结构与高斯核的E-CenterNet算法。引入轻量型EfficientNetV2-S作为主干网络,并结合基于金字塔分割注意力网络的多尺度卷积结构对其进行改进,提高特征提取能力;对高斯核进行改进,使CenterNet产生的热力图由固定的圆形改进为随边界框宽高变化的椭圆形,增强算法对边界框宽高差异大的目标的检测能力;提出一种基于关键点预测值的关键点损失函数,提高算法对难样本的训练比例。在Pascal VOC数据集上的实验结果表明:E-CenterNet算法的mAP达到83.3%,比原始算法提升了2.6个百分点,检测性能优于CenterNet算法。

静电放电损伤自修复数字电路模型的建立与优化

为了使数字电路在产生故障失效后实现功能自动恢复,提高电路可靠性,基于演化硬件(EHW)原理建立了自修复数字电路模型,该模型主要包括微处理器和重配置电路2个部分。利用自修复数字电路模型实现无刷直流电机控制系统中的换相电路,并对换相电路进行了故障注入修复实验。深入分析了自修复数字电路模型对电路演化修复的影响,通过引入关键函数对自修复数字电路模型进行了改进。实验结果表明,当注入故障单元数小于总单元数的50%时,改进后的自修复数字电路模型修复率达到100%。因此,该模型能够对部分故障进行成功修复,改进的自修复数字电路模型降低了电路生成时间,提高了电路修复概率和速度。

基于优先级的单元测试技术应用研究

考虑到单元测试的并行性,提出了基于函数优先级的测试策略.分析了函数的参数、全局变量和局部变量对函数控制流正确实现的影响,建立了量化的权值影响因子数学模型,并结合函数的控制流图生成了带权值有向无环图,最后根据AOE-网关键路径求解算法,生成被测函数的关键路径,设计测试用例.测试结束之后,再进行次关键路径选择,直至达到测试标准.通过以上技术,合理分配各模块测试计划时间,有助于提高软件测试效率,保证软件质量.

多特征关联的注入型威胁检测方法

根据注入型威胁的执行流程,提取用户输入、关键函数、响应数据3个关键节点的行为作为分析特征.采用隐马尔科夫模型检测用户输入是否存在异常,对异常参数在关键函数处进行词法结构分析以判断异常类型,对返回内容进行敏感字符或水印特征分析,确保重要数据不能传递给攻击者.实验结果表明,分析参数长度和字符分类对隐马尔科夫模型存在影响;对比实验证明该方法使检测准确率和误报率取得了较好的平衡.

Linux下G代码解释器的设计与实现

在论述G代码解释器总体结构设计的基础上,详细介绍了G代码关键字函数表和G代码分组。

多粒度数据变更影响域分析方法

完整准确提取程序变更影响范围是分析由数据变化引发程序错误的关键,能够有效缩短回归测试的周期。为此,提出一种基于多粒度的数据变更影响域分析方法。通过静态分析,结合程序局部控制信息和数据信息流规则,提取关键函数,得到影响函数调用路径,以程序影响函数调用路径为分析集,提取受变更影响的基本路径集,即从函数粒度和语句粒度对数据变更影响域进行分析,分别得到影响函数调用路径和影响基本路径集。大量实验结果表明,该方法能够完整准确提取程序影响函数调用路径和影响基本路径集,定位数据变更影响域,提高回归测试的效率。

EmguCV在图形分解中的应用研究

图形分解技术在图像处理中应用广泛,EmguCV是.Net平台下对OpenCV图形处理库的封装。首先简要介绍了OpenCV与EmguCV及其二者的联系,然后着重介绍了运用EmguCV进行图形分解的步骤与方法,给出了样例流程图,详细介绍了关键函数的用法和其关键参数,最后给出了部分C#关键源代码,以及运行该程序的平台环境。运用EmguCV实现了图形分解,所采用的程序在电脑键盘扫描识别中具有较大的应用价值。

基于改进变分模态分解与残差网络的空调外机故障检测方法

针对目前空调外机检测困难且无法达到最佳故障检测准确率,提出了一种基于改进变分模态分解(IVMD)与残差网络联合的空调外机故障检测方法。利用IVMD方法确定变分模态分解(VMD)的最优K值并对声源信号进行分解;综合相关系数和排列熵选取关键本征模态函数合并转换成声音信号图像;利用残差网络在图像处理方面的优势对转换后的图像进行特征提取分类。实验结果表明,该方法的平均识别准确率达到99.57%,在空调外机故障检测中具有较好的实际应用价值。

键盘下的神奇——Excel代码书写之函数篇（一）

从本期开始，让我们来看看如何利用Eecel中的函数实现众多的功能。文章仍以实例为主，但本次采取了特殊的排版方式，即实例与关键函数左右相对照的方式，由于Excel函数数量较多，即使选取典型的予以说明，连载次数也会较多，因此欢迎大家对文章结构、排版方式等提出建议，以便在以后连载中改进。本文实例可在大众软件网晶合后院“实用软件”版块下载。

例谈“五点作图法”求解y=Asin(ωx+φ)中参数ω范围

三角函数是高考考查的必考点,也是热点,其中y=Asin(ωx+φ)中的参数ω、φ的取值范围问题,此类题型常在小题及小题压轴中呈现,有一定难点,本文拟通过用"五点作图法"来探索、归纳此类问题的解题思路。