智能合约漏洞检测技术综述

智能合约作为可信的去中心化应用,获得了广泛的关注,但其安全漏洞问题对其可靠性带来了巨大威胁.为此,研究者们利用各种前沿技术(如模糊测试、机器学习、形式化验证等)研究了多种漏洞检测技术,并取得了可观的效果.为了系统性地梳理与分析现有智能合约漏洞检测技术,搜集截至2021年7月关于智能合约漏洞检测的84篇论文,根据它们的核心方法进行分类,从每种技术的实现方法、漏洞类型、实验数据等方面展开分析,同时对比国内外研究现状在这些方面的差异.最后,对现有的智能合约漏洞检测技术进行总结,探讨面临的挑战,并展望了未来的研究方向.     

亚微米CMOS IC中自对准硅化物工艺的研究

自对准硅化钛工艺有许多重要的优点.但也存在栅氧化物的完整性、硅化物桥接短路、pn结损伤、二极管特性退化等问题.文章针对这些问题,在硅化前和硅化后的清洗、硅化的快速退火处理、接触电阻最佳化以及在硅化物上的接触孔腐蚀的选择性等方面进行了改进,有效地解决了问题.     

一种蚁群策略的双信道传感器网络路由算法

针对高负载无线传感器网络堵塞率比较高的问题,提出了一种基于蚁群策略的双信道传感器网络路由算法(CORA).该算法首先利用双信道通信模式降低了信道竞争过程中的数据碰撞和多播抑制几率;再利用最大感染球策略来压缩蚁群的寻路范围,进而降低网络的寻路能耗;借助分层图模型提出了一种两层网络联合优化的选路策略,该策略可将控制层中被堵塞的寻路业务有条件地下放在数据层中传输,从而降低网络的堵塞率和通信延迟.仿真结果表明,与一种基于蚂蚁策略的能量有效路由算法及一种基于蚁群策略的能量有效路由算法相比,CORA算法能将高负载网络下的堵塞率下调13%,且能有效降低数据包的平均通信时间和网络的通信能耗.     

基于谱分析的无线传感器网络模块度分簇算法

基于谱分析与模块度,提出一种无线传感器网络分簇算法(CHSM).首先利用非平凡特征向量获得传感器网络的原始簇结构;然后借助模块度的增量来评估、合并原始簇,从而形成一个与真实网络相匹配的簇结构;同时设计了一种能量异配度函数,并利用各节点的能量异配度及其剩余能量在各个簇内选取簇头节点.仿真结果表明,CHSM算法找到的簇结构具有更高的模块度,其选取的簇头节点具有更高的能量异配度,进而表明了所提出的算法能有效延长网络的寿命.     

利用簇收缩策略的传感器节点重要性评估算法

针对现有借助移除思想设计的节点重要性评估方法不能准确刻画网络中传感器节点重要性的问题,提出了一种新颖的传感器节点重要性评估算法.该算法利用簇收缩策略来代替传感器节点的移除,进而有效规避了由节点移除而引发的网络拓扑不稳定及断裂等现象.具体步骤是首先凭借谱分析方法找出网络中的原始簇结构,然后借助簇收缩策略找出网络中的重要节点,最后利用超能节点来实现对重要节点的针对性保护,进而达到延长无线传感器网络寿命和增强网络抗毁性的目标.相关仿真也验证了所提算法的有效性.     

传承港珠澳精神薪火 擦亮中交沉管品牌——记中交集团优秀共产党员、项目经理黄文慧

<正>从港珠澳大桥到深中通道、深圳前海、广州会展西路,从钢筋混凝土沉管隧道、8万吨超大型钢壳沉管再到独具中交特色的非自浮沉管半潜驳移运浅水区域沉管施工解决方案,11年来,黄文慧始终坚守在粤港澳大湾区交通通道建设一线,在自己的岗位上留下了串串精彩足迹。     

基于马尔可夫链策略的传感器网络节点密度控制算法

如何保证多跳自组织网络的连通性是无线传感器网络研究的核心问题.在正态遮蔽衰退模型的基础上,借助状态转移概率矩阵提出一种基于马尔可夫链策略的节点密度控制算法.该算法利用一步转移概率矩阵求出信号在任意节点对之间互达的迟早概率,并通过令节点间信号互达的迟早概率趋近于1来逼近网络全连通时的最小节点密度.实验结果表明,与R.HEKMAT算法相比,所提出的算法能有效降低数值误差,从而提高算法结果与实验数据的吻合度.     

基于野草算法的文本特征选择

为了更全面地对文本进行特征选择,提高文本特征选择的准确率,提出一种基于野草算法的文本特征选择方法,利用野草算法中子代个体按正态分布的方式分布于父代个体周围,在进化过程中通过动态调整子代个体正态分布的标准差,使算法在早期与中期充分保持种群多样性的优势,对文本进行比较全面的特征选择;在算法后期加强对优秀个体的特征选择,保证算法稳健地收敛到全局最优解,提高文本特征选择的准确率。实验结果表明,这种方法可以给予权重值低的词条进行特征选择的机会,并且保证权重值高的词条特征选择优势,从而提高文本特征选择的全面性和准确性。     

多次散射影响的激光雷达斜程能见度反演方法

针对低能见度天气条件下的多次散射影响,提出一种根据多次散射激光雷达方程反演斜程能见度的改进方法.首先,根据后向散射峰值拟合散射相函数,采用半解析蒙特卡罗法计算多次散射修正系数m;其次,根据Collis法求解能见度级数值,并将相应m值代入多次散射激光雷达方程;然后,采用Fernald法反演消光系数,求解斜程能见度;使用激...