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

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

不同电压等级同塔四回架设线下工频电场分布研究

为研究不同电压等级线路同塔多回架设时线下工频电场分布,对运行的330 kV、110 kV同塔四回线路及分开架设时线下工频电场进行了实测,利用ANSYS有限元分析软件计算了同塔四回不同排列方式的线下工频电场。结果表明:330 kV、110 kV同塔四回架设较分开架设时线下工频电场分布得到明显改善;330kV、110 kV线路分别采用逆相序排列,且同侧上层330 kV与下层110 kV线路也为逆相序时,线下工频电场分布改善效果最佳。     

比特币平台挖矿策略及其收益综述

区块链技术是比特币平台的底层技术,由于其具有透明性、不可伪造性、不可更改性等特点,被广泛应用于虚拟货币、供应链等系统中.然而,大部分区块链平台,如比特币平台,面临包括自私挖矿在内的诸多问题,这将直接导致比特币并不安全,从而严重影响区块链的发展.自私挖矿是一种比特币挖掘策略,它是指自私矿工选择性地发布之前的隐匿的区块从而获得比诚实矿工更多的额外收益.本文在模拟诚实矿工挖矿实验基础上,重点研究自私挖矿情况下矿工的最佳相对收益.采用中心极限定理和节点状态转化图建立了两个节点分布概率模型,再运用马尔可夫随机过程和函数极值法依次求得两个模型下的最佳收益.同时设计并进行自私挖矿模拟实验,得出自私挖矿中节点算力和收益的关系,从而进一步验证模型的合理性.     

高压交流输电线路电场短期生态效应研究

为研究高压交流输电线路电场短期生态效应,对其工频电场特性、短期生态效应及改善措施进行分析,并建立模型,对电场中人体感应电流及人体内部电场强度进行了计算。结果表明高压交流输电线路产生的工频电场强度为4×10^3V／m时,通过人体脚部产生的总感应电流为60μA,远低于人体伤害电流6×10^3-9×10^3μA,人体不会出现刺痛感和不舒服的感觉;人体内部产生的电场强度为0．176×10^-3V／m,远低于外加电场强度4×10^3V／m,人体内部产生的电场强度对外加电场强度而言是及其微弱的。     

线路噪声仿真计算的新方法

通过对美国BPA线路噪声传播计算公式的研究和分析,提出了一种新的线路噪声传播仿真计算方法。该方法针对线路噪声的频谱特性,可对不同频率的线路噪声分别进行计算,同时考虑了地面反射声波和线路弛垂对声场分布的影响,更好地模拟了实际线路噪声的声场分布特性。通过与实际线路噪声测试结果对比,证明了该方法的可行性和适用性,提高了线路噪声传播的理论计算精度,为高压输电线路噪声控制搭建了一个较为可靠的理论平台。     

城市污水回用于电站锅炉补给水的动态模拟试验研究

用经深度处理后再经二级除盐系统处理的城市污水作为试验水源，动态模拟电站锅炉的运行工况，考查其在高温高压条件下水汽品质的变化情况。结果．表明：虽然经二级除盐处理后的再生污水，其水质指标完全满足锅炉补充水的水质标准，但在高温高压工况下仍有低分子有机酸等分解产物出现，故认为利用城市污水作为锅炉补给水水源仍需谨慎。     

低压锅炉蒸汽系统积盐浅析

针对低压锅炉系统经常发生的蒸汽通流系统积盐问题，由现象入手，从实际出发，对蒸汽管路积盐的生成原因和表现形式进行论述，并提出了解决问题的措施。     

凝结水精处理树脂输送技术的难点分析与探讨

针对电厂凝结水体外再生高塔法精处理系统树脂输送堵塞管道、床体底部残留树脂输送不彻底、分离塔阴、阳树脂每次输送量难以控制等技术难点进行了分析,探讨了通过稀释树脂、强化树脂输送、人工运行监控等方法突破以上技术难点,从而提高精处理系统的运行可靠性,保证运行周期及出水氢电导率小于0.1 μs/cm.     

低压锅炉蒸汽系统积盐浅析

针对低压锅炉系统经常发生的蒸汽通流系统积盐问题,由现象入手,从实际出发,对蒸汽管路积盐的生成原因和表现形式进行论述,并提出了解决问题的措施.     

某热电厂灰渣、再生废水处理工艺技改设计

1概况某热电厂现有220 t/h锅炉4台,配有2套灰渣废水和化学再生废水处理系统。该厂生产用水主要是锅炉灰渣用水和化学再生阴阳离子交换床用水。该厂经过多年运转,设备严重老化、故障频繁、能耗