摘要：根据铜阳极板取板的工作要求,设计了适用于取板机器人的末端执行器。运用三维软件建立了取板机器人的整机模型,利用ANSYS Workbench软件对取板机器人整机进行了静态分析,从而获得了机器人在取板位置、起始位置以及放板位置的应力和变形云图。分析结果表明,铜阳极板取板机器人在不同工况下均可以满足实际生产需求。

摘要：外部函数接口(FFI)是解决一种编程语言调用其他语言函数库的主要方法。针对使用FFI技术时需要大量人工编码的问题,提出自动化外部函数接口生成(AFIG)方法。该方法利用基于抽象语法树的源码逆向分析技术,从被封装的库文件中精准提取出用于描述函数接口信息的多语言融合的统一表示。基于此统一表示,不同平台的代码生成器可利用多语言转换规则矩阵,全自动化地生成不同平台的FFI相关代码。为解决FFI代码生成中的效率低下问题,设计了一种基于依赖分析的任务聚合策略,通过把存在依赖的任务聚合为新的任务,有效消除了FFI代码任务在并行下的阻塞与死锁,从而实现任务在多核系统下的可扩展与负载均衡。实验结果表明:与人工编码相比,AFIG方法减少了FFI开发中98.14%的开发编码量以及41.95%的测试编码量;与现有的SWIG(Simplified Wrapper and Interface Generator)方法相比,在同等任务下可减少61.27%的开发成本;且生成效率随着计算资源的增加呈线性增长。

摘要：Go语言,也称Golang,由于其语法简单、原生支持并发、自动内存管理等特性,近年受到很多开发者的欢迎.Go语言期望开发者不必了解变量或对象是分配在栈上还是在堆中,而由Go编译器的逃逸分析来决定分配位置,再由Go垃圾收集器自动回收无用的堆对象.Go的逃逸分析必须正确决定对象的分配位置以保证内存状态的正确性.然而,目前Go社区中逃逸相关问题频发,潜在导致程序崩溃等致命问题,而目前对该方面的研究缺失.为有效检测编译器生成的代码是否存在可能引起运行时崩溃的非法内存引用,填补研究空白,对Go程序执行进行抽象建模,并提出两条判定写入违例的规则.基于这两条规则,克服Go二进制中高层语义缺失、运行时信息不便获取等挑战,设计一个轻量化的分析工具***-Go采用静态分析加动态二进制插桩的分析方式,基于动态二进制分析框架Pin来实现,可以识别Go二进制中违例的store指令.实验结果表明,DBI-Go可以检测出Go社区中所有已知的逃逸相关Issues;DBI-Go还发现一个目前Go社区未知的问题,该问题已经得到确认.在实际项目上的应用则表明DBI-Go可以帮助开发人员找出逃逸算法的错误.测试结果还表明DBI-Go采取的措施可以有效降低误报率且在93.3%的情况下带来的额外运行时开销小于原先的2倍.同时,DBI-Go无需修改Go的编译运行时,可以适配不同版本的Go,有较高的适用性.

摘要：随着集成电路产业的全球化,大部分设计、制造和测试过程已经转移到了世界各地不受信任的第三方实体,这样可能存在攻击者在硬件设计中插入有恶意行为电路的风险,即硬件木马。在早期发现硬件木马至关重要,若在设计后期或制造后再想移除它将开销很大。文章提出一种基于静态分析的多视图硬件木马检测方法,首先通过分析Verilog代码得出变量数据依赖图和变量控制依赖图,从多个视角深度挖掘硬件设计的语义信息;然后通过多视图表示目标硬件设计不同视角下的行为表示向量;最后利用多视图融合方法进行协同融合,将得出的表示向量送入分类器中,从而检测Verilog代码是否被插入了硬件木马。实验结果表明,文章所提的检测方法在不依赖设计规范和不局限于模式库的情况下,实现了对硬件木马精确且全面的检测以及对Verilog代码的全自动分析。

摘要：针对中小型货物搬运,设计了一种立柱式SCARA型码垛机器人,可实现一转动、三平移的4自由度运动。设计了SCARA码垛机器人的结构模型,采用D-H矩阵理论推导了其运动学正解模型。机器人的可达工作空间为以臂长和为半径、以移动行程为高度的圆柱体,以工作空间要求为目标,确定了机器人机构的相关几何参数。采用UG对码垛机器人进行三维实体建模,采用ANSYS Workbench软件对其进行静态分析,得到大臂、小臂的应变图。结果表明该机器人的结构强度和应变量满足使用要求,为整体结构的优化设计提供了依据。

摘要：在机器运作中,其刚度、强度、振动情况和变形量直接影响相关部件和使用寿命,为提高机床减速箱的动态稳定性和主体结构强度,利用SolidWorks设计结构并满足机械配合,完成构架减速箱内部承载着齿轮啮合工作,针对这一组构件对减速箱模型进行有限元分析,其强度、刚度及变形量均在许用范围内,得出最终变形量以及应力云图。再进行拓扑优化分析,优化设计经过计算得出材料节约了30%,提高材料利用率满足设计零部件机械设备科研需求。

摘要：阐述径向气磁轴承结构的原理,分析ANSYS CFX和Maxwell对气磁轴承静态特性的仿真过程,计算不同气膜厚度对主轴承载力的影响,节流孔对磁悬浮轴承的影响,气磁耦合场对变形量的影响。

摘要：以1600mm辊锻机卸荷套为研究对象,为满足初始静态刚度条件下的轻量化要求,提出以质量和总变形量为目标函数的多目标优化设计方法。将三维模型导入CAE软件中建立有限元模型,并进行静力学计算,得到最大等效应力为74.735MPa、最大变形量为0.16299mm。通过响应面优化选择参数并确定其数值区间,选用中心复合试验方法生成试验设计表,并根据试验点和标准响应面法建立设计变量与目标函数的响应面。使用多目标遗传算法对卸荷套的质量和最大变形量进行优化,并根据设计要求和实际经验,选择候选组Ⅲ为最优结果。结合灵敏度分析,对计算的优化结果进行修正,修正后的卸荷套的刚度提升了0.8%,最大等效应力减少了24%,卸荷套质量减少了8.6%,综合质量减少了27.8%,满足轻量化要求。

摘要：随着5G在全球范围内的广泛商用,5G网络安全问题广泛受到关注。针对5G核心网协议的自动化漏洞挖掘手段主要以黑盒模糊测试为主,但由于5G核心网协议设计复杂,黑盒模糊测试存在效率低、通用性差、拓展性不足等问题,不能有效检测到5G核心网协议安全漏洞。针对上述问题,深入了解5G核心网架构和重点接口协议的工作原理,总结在5G核心网场景下基于静态分析的自动化漏洞挖掘方法相较传统黑盒模糊测试方法的优势。对5G核心网的开源解决方案进行了源代码审计,发现在5G核心网协议实现中一类变量生命周期管理不当而导致的内存泄露安全问题,可导致5G核心网网元被拒绝服务攻击。基于此,提出了针对此类安全问题的通用漏洞模型,设计并实现了基于控制流和数据流混合分析的自动化漏洞挖掘方法。通过实验对该方法进行了有效性测试和效率评估,成功挖掘到了通用5G开源解决方案——Open5GS中的5个未公开安全漏洞,涵盖多个接口协议应用场景,获得了4个CVE编号。通过模拟环境,验证了该系列漏洞的影响范围广且利用条件低,充分证明了所提自动化漏洞挖掘方法的有效性,并向相关厂商进行了披露。

摘要：随着网络技术的飞速发展,恶意软件及其变种的数量不断增加,这使得恶意软件的检测成为网络安全领域面临的一大挑战。然而,现有的单一特征恶意软件检测方法在样本信息的表示上存在不足,而对于采用多特征的检测方法,它们在特征融合方面存在局限,未能有效地学习和理解特征内部及特征间的复杂关联,这些问题都会导致检测效果不佳。提出了一种基于多模态特征融合的恶意软件检测方法——MFAGM。通过处理数据集的.asm和.bytes文件,成功提取了两种类型的3种关键特征(操作码统计序列、API序列和灰度图像特征),实现了从多个角度全面地表征样本信息。为了更好地融合这些多模态特征,设计了一个特征融合模块SA-JGmu。该模块不仅采用自注意力机制捕获特征之间的内部依赖关系,还利用门控机制增强了不同特征的交互性,并巧妙地引入了权重跳跃连接以进一步优化模型的表示能力。最终,基于MMCC(Microsoft malware classification challenge)数据集的实验结果显示,MFAGM在恶意软件检测任务上与其他方法相比,达到了更高的准确率和F1分数。