智能合约安全漏洞检测技术研究综述

智能合约是区块链技术最成功的应用之一,为实现各式各样的区块链现实应用提供了基础,在区块链生态系统中处于至关重要的地位.然而,频发的智能合约安全事件不仅造成了巨大的经济损失,而且破坏了基于区块链的信用体系,智能合约的安全性和可靠性成为国内外研究的新关注点.首先从Solidity代码层、EVM执行层、区块链系统层这3个层面介绍了智能合约常见的漏洞类型和典型案例;继而,从形式化验证法、符号执行法、模糊测试法、中间表示法、深度学习法这5类方法综述了智能合约漏洞检测技术的研究进展,针对现有漏洞检测方法的可检测漏洞类型、准确率、时间消耗等方面进行了详细的对比分析,并讨论了它们的局限性和改进思路;最后,根据对现有研究工作的总结,探讨了智能合约漏洞检测领域面临的挑战,并结合深度学习技术展望了未来的研究方向.     

基于切缝对齐和变形校正的缝切割图像尺寸调整算法

针对图像尺寸调整的缝切割方法中存在的结构断裂和变形扭曲等问题,提出了一种基于切缝对齐和变形校正的切缝优化算法以获得更好的图像尺寸缩放效果.算法首先利用基于图割的切缝优化方法获得当前需要移除的一条切缝,然后采取动态规划算法,由粗到细地优化得到切缝上下像素之间的高精度匹配对应关系,最后通过逆向映射来对图像进行变形以校正发生扭曲甚至断裂的结构信息.实验结果表明,该方法能够很好地弥补缝切割所产生的扭曲变形,达到结构连续的视觉效果.基于切缝对齐和变形校正的切缝优化算法可用于调整图像尺寸使之与相应的显示设备相符,具有巨大的应用潜力.     

压电材料圆形板热弹耦合作用下的主共振

以温度场中的压电材料圆形薄板为研究对象,基于Von Karman大挠度理论及弹性力学基本理论,利用Bubnov-Galerkin原理推导出了压电圆形薄板的非线性动力学方程.利用多尺度法求得系统发生主共振时的幅频、相频响应方程.利用Lyapunov理论对系统稳态解的稳定性进行了分析.借助MATLAB软件分析了板中心温度、阻尼、外激励幅值、板厚对系统主共振响应的影响.研究结果表明:板中心温度增大会引起系统的响应幅值减小,发生跳跃的外激励频率与固有频率的比值增大,板中心温度对系统的影响相当于阻尼的作用,温度场对系统振动特性具有很大的影响;当外激励幅值增大时,系统的响应幅值也会随之增大,共振区域增大,适当地增大外激励幅值可以使系统避开不稳定区域.     

承制单位质量管理体系绩效评价指标体系设计

建立质量管理体系是为了使装备承制单位达到稳定提供满足要求的产品。现结合质量管理体系和绩效评价的内涵,依据装备承制单位质量管理体系绩效评价指标体系的原则,构建了装备承制单位质量管理体系绩效评价的指标体系,为对装备承制单位质量管理体系绩效评价提供参考。     

关于机电控制技术的应用分析

机电控制技术是将电子专业和机械类知识的应用相统一的技术，在科技不断进步和发展的影响下，机电控制技术已逐渐地向智能化的方向发展。机电控制技术主要包括远程控制技术、自动化控制技术和信息处理技术等。本文主要论述了一系列机电控制技术的应用。     

跳频通信干扰问题研究

跳频通信具有优良的反侦查抗干扰能力，因而在军事通信方面得到了广泛应用。本文针对性的研究了跳频通信的干扰问题，分别从时域、空域、频域和能域四个方面分析了干扰的效能，为进一步研究新式跳频电台的干扰提供一些参考。     

Inventor三维设计软件在某水电站大坝设计中的应用

Inventor软件提供了进行水工建筑物结构体形三维设计的一条途径,无论建模还是形成工程图都可以在其中完成,操作步骤直观易掌握,设计过程中易于检查结构的合理性,设计完成后施工人员结合三维图形更易理解图纸内容,进一步提高施工效率。关键词:Inventor软件;水电站;混凝土重力坝     

SDH技术及其在高速公路联网中的应用

本文介绍了SDH的传输网络结构、SDH的协议栈、SDH的帧结构、SDH的传输速率及SDH的开销，并提出了SDH技术在高速公路联网中的应用方案。     

复合造孔技术制备超低密度多孔金块材

以超细球形Al粉为模板,通过化学镀在其表面包覆镀Au,制备出Al/Au核壳结构的复合粉末,利用放电等离子烧结(SPS)技术使镀Au层与基体铝粉表层实现合金化,并制备出具有Al/Al-Au合金核壳结构的前驱体块材,随后采用两步法腐蚀除去核壳结构中的Al核并在其表层实现选择性地除去Al-Au合金层中Al的去合金化反应,得到多孔金块材.利用XRD、SEM、EDS研究了镀覆工艺对Al粉模板表面镀Au效果的影响及烧结、腐蚀过程中物相及化学成分的变化规律.结果表明,活化处理和还原剂种类对Al粉表面的镀覆效果有重要影响,制备的块体多孔金由纳米级孔径(80～120nm)和微米级孔径(1～10μm)两级孔径结构构成,微观组织结构均匀,密度低达0.39g/cm3,孔隙率为98％.     

基于空间坐标与振动特征融合的机床切削状态分类方法EI北大核心CSCD

t分布的随机邻域嵌入(t-distributed stochastic neighbor embedding, t-SNE)常被用作机床切削状态分类中的特征选择方法,以学习切削参数之间的潜在关系。为了提高切削状态分类的精度,融合振动信号特征与切削激励点的空间坐标,提出了空间坐标嵌入的t分布的随机邻域嵌入方法(spatial coordinate embedded t-SNE, Ct-SNE)。该方法采用振动信号构建高维特征空间,将空间坐标作为物理信息嵌入至特征空间,以优选出类内相似度高、类间差异性大的特征。试验采集了三轴立式铣床加工的数据,对比了传统t-SNE方法与Ct-SNE方法的可视化结果和切削状态分类的准确性。结果表明,与传统方法相比,切削激励点的空间坐标的引入可以提高振动特征的可区分度,显著提升切削状态分类的准确率。