排序方式: 共有23条查询结果,搜索用时 0 毫秒
1.
智能合约作为可信的去中心化应用,获得了广泛的关注,但其安全漏洞问题对其可靠性带来了巨大威胁.为此,研究者们利用各种前沿技术(如模糊测试、机器学习、形式化验证等)研究了多种漏洞检测技术,并取得了可观的效果.为了系统性地梳理与分析现有智能合约漏洞检测技术,搜集截至2021年7月关于智能合约漏洞检测的84篇论文,根据它们的核心方法进行分类,从每种技术的实现方法、漏洞类型、实验数据等方面展开分析,同时对比国内外研究现状在这些方面的差异.最后,对现有的智能合约漏洞检测技术进行总结,探讨面临的挑战,并展望了未来的研究方向. 相似文献
2.
面积深度法在库车坳陷北部盐下构造变形研究中的应用 总被引:1,自引:0,他引:1
塔里木盆地库车坳陷北部油气资源丰富,但由于受研究区地表和地下构造双重复杂特征及巨厚膏盐层的影响,其深层地震资料的成像质量与精度不理想,准确研究盐下构造形态存在较大难度。为此,基于前人的研究成果,根据最新的三维叠前深度偏移地震剖面,建立了克拉苏构造带盐下构造层的初始构造模型,并运用面积深度法分析了盐下构造层的变形特征和变形机制。结果表明:①盐下层构造的分布以克拉苏断裂为界线,断裂以北主要发育基底卷入的高角度逆冲构造,而断裂以南则主要发育滑脱构造;②克拉苏断裂以南区域滑脱面的位置介于8.01~10.23 km深度,推测该滑脱层为三叠系与下伏基底之间的不整合面;③博孜区域的滑脱距离为7.49 km,大北区域的滑脱距离为14.35 km,克深5区域的滑脱距离为12.46 km,克深1-2区域的滑脱距离则为1 6.32 km,该区盐下构造层的滑脱距离呈现出自西向东逐渐增加的趋势,表明从西向东构造变形越来越强烈。 相似文献
3.
4.
重庆秀山锰矿石锰品位9.75%,铁品位仅3.32%,硫品位仅1.60%,其中锰是具有利用价值的主要元素。为给该矿石选矿工艺流程的确定提供依据,对该地区代表性锰矿石进行工艺矿物学分析。结果表明,矿石主要由硅酸盐与碳酸盐矿物组成,硫多赋存于黄铁矿和黄铜矿中。锰主要赋存于菱锰矿和锰方解石、锰白云石组成的含锰碳酸盐系列矿物中,占总锰的99.29%;含锰碳酸盐矿物多以集合体的形式存在,粒度较粗,+0.10 mm粒级占84.50%。矿石易过磨产生细泥,碎磨至-0.2 mm时,-0.043 mm粒级高达45.65%。菱锰矿和锰方解石、锰白云石比磁化系数差异较大,适宜采用磁选分离。 相似文献
5.
6.
近年来人工智能高炉冶炼专家系统发展很快,日本高炉炉况异常判断专家系统命中率已达90%,高炉热状态预报系统命中率达90%以上.本文介绍了这种控制模型的特点和构成,探讨了知识及其构成,表现与评价的方法,以及实际应用的前景. 相似文献
8.
幕墙在目前高层建筑结构中被广泛使用,是主要的建筑外围结构形式。在当前幕墙工程项目安装施工中。不仅要保障施工质量和效率,更要让幕墙具有美观性与实用性。就幕墙施工而言,质量问题十分重要,是不容忽视的工作重点,逐渐引起了社会各界的广泛关注。通常情况下,幕墙施工控制主要通过加强施工安装技术要点控制,并对其设计、施工等各阶段进行严格控制,从而保障幕墙施工质量。文章就目前的幕墙概念与特点进行了分析,提出了目前安装中存在的问题,并阐述了施工质量控制措施。 相似文献
9.
10.