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

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

莺歌海盆地泥底辟构造动力学成因机制的高温高压模拟实验

新的高温高压实验研究证实莺歌海盆地泥底辟构造是在热动力作用下形成和演化的。在0~300℃条件下,饱和水泥质实验材料(高岭土)产生了0~1500×10_(-6)应变量。干的中粒度砂质材料的应变量仅仅为0~150×10_(-6),饱和水中粒度砂质材料的应变量大约为0~590×10_(-6)。新的实验结果证明,热动力可以产生热应变,热能可以转换为应变能。高压对于泥底辟构造的形成和演化起到了促进作用。     

北部湾涠西南凹陷物源方向及古地理景观分析

南海北部湾涠西南凹陷是以下第三系沉积为主体的中、新生代幕式张裂半地堑盆地.由于该区受太平洋、欧亚及印度三大板块的共同作用,构造十分复杂,成为独特的“南中国海型”被动大陆边缘,沉积物源方向具有其特殊性.以重矿物资料为基础,根据不同稳定性重矿物被风化的难易程度及搬运过程中其含量的变化规律,详细研究该区的重矿物组合序列,认为涠西南凹陷下第三系各组段沉积物源主要来自西部,同时伴有西北向的点物源.在此基础上,结合岩石学及盆地构造演化特征,分析其古地理景观,阐明在三期张裂幕的控制下,其沉积体系具有西厚东薄不对称展布的规律.图3表3参4(赵军摘)     

�Ϻ�����ݺ-�������Ȼ����̽�������

从研究气源区和成藏模式入手，对莺歌海－琼东南盆地天然气有利勘探领域进行了分析和划分。莺－琼盆地依构造划分出“箕型”、“复合型”和“碟型”三类凹陷（坳陷），后两者具有高压特征，是富生气凹隐（坳陷）。以天然气主运移方向和气藏压力为依据，共分出纵向、横向和纵向－横向３大类共６亚类成藏模式。根据气源区和成藏模式所得认识，指出天然气有利勘探领域分布在６个地区：莺歌海盆地泥底辟构造带；琼西披覆北斜带；莺东斜坡     

莺歌海盆地汇聚型超压流体流动及天然气晚期快速成藏

对莺歌海盆地地层压力结构、底辟分布与发育机理及超压流体流动效应的综合研究揭示并证明了一种新的超压流体流动样式,即晚期汇聚型超压流体流动。该模式与超压流体从浅埋藏(<1000～1500m)开始、在盆地范围内普遍排放的Cartwright模式明显不同,莺歌海盆地超压流体早期被封闭,晚期通过底辟集中排放,超压流体的汇聚导致天然气的晚期幕式快速成藏。对东方1-1气田的圈闭构造分析表明,该气田形成于第四纪,其最低平均充注速率达140m³/d。成藏流体的层间组分非均质性、流体流动的瞬态热效应及强烈的运移分异性反映了流体流动的不连续性、流体运移过程中温度、压力条件的快速变化及多期流体的相互作用,可成为幕式流体活动和油气幕式快速成藏的有效识别标志。     

东方1—1气田天然气组成的不均一性与幕式充注

莺歌海盆地东方１１气田天然气的主要组成（烃气、ＣＯ２和Ｎ２）在侧向上和垂向上的变化很大。烃类气（生物气除外）主要来自成熟—高成熟的中新统烃源岩;无机成因ＣＯ２可能主要是气源岩进入高成熟晚期以后,其中的钙质成分热分解或与粘土矿物反应的产物;Ｎ２则为有机成因且较无机ＣＯ２生成早。天然气组成的不均一性和同位素变化表明,该气田储集层之间存在泥岩隔层,各断块之间互不连通,甚至同一断块的个别单元储集层在横向上亦局部存在非渗透带。据此,结合流体包裹体信息及烃源岩的生气演化史,认为该区地质历史时期中至少发生过４期天然气充注：第一期充注为生物气,第二期、第三期充注以ＣＨ４、Ｎ２热成因气为主,第四期充注以无机ＣＯ２为主并伴生高熟烃气。这一幕式充注过程与由于盆地深部超压释放引起的底辟活动密切相关。     

沙波迎流面泥沙起动流速研究

利用概化沙波模型,研究了不同坡度、粒径及位置情况下的泥沙起动流速,根据实测数据指出沙波泥沙起动流速特征,并分析比较了与平坡起动的差别。通过对泥沙颗粒的受力分析,提出水流冲击力,并利用沙波垂线流速分布公式进行流速换算,建立了沙波泥沙起动流速计算公式。结果表明:在相同水流条件下,因沙波地形影响,迎流面泥沙起动流速值小于平坡;沙波不同位置处的泥沙起动流速非定值,随着水平位置而变化;坡度和粒径对再附点附近泥沙起动流速影响较小。通过验证比较表明,公式计算结果与实测资料基本一致,适用于描述沙波迎流面泥沙起动规律,可反映出沙波坡度和水平位置的影响。     

中国含油气盆地中的超压体系

随着石油勘探程度的提高及钻探深度的加深,我国含油气盆地中超压体系陆续地被揭露出来。目前已发现29个地区具有超压,而且发现它们与油气有密切的关系。一般超压体系就是烃源岩,但也可以作为盖层,对下伏油气藏起压力封闭作用。超压又是油气运移的原动力,它迫使地下流体通过水力压裂断层或各种输导层,由高势区向低势区运移、聚集。强超压储层(压力系数>2)成藏比较困难,从理论上讲除非周围泥岩(烃原岩)压力系数比储层还大,也可成藏。经考察在一些特定的地质条件下强超压储层也可以成藏,所以在具有超压体系的含油气盆地中,首先应搞清超压体系的成因分布规律,特别注重那些压力、温度正异常区,因为无论是在平面上,还是在纵向上这些异常区,都是压力突破点,代表地下流体主泄露区,是油气最有利的聚集区,应作为勘探的靶区。     

琼东南盆地古近纪裂陷构造特征及其动力学机制

琼东南盆地是发育在南海北部大陆边缘西北部的新生代沉积盆地，经历了始新世-早渐新世和晚渐新世两期的伸展作用，形成了半地堑和地堑两种裂陷构造样式以及“南北分带、东西分段”的裂陷结构特征。从力学和岩石圈伸展角度分析了琼东南盆地形成的动力学机制，提出始新世-早渐新世盆地的裂陷作用是在印支地块旋转挤出相关的左行旋转力和东侧古南海俯冲产生的近南南东向拉伸力联合作用下发生的，而晚渐新世盆地伸展作用的主要构造动力是南海海底扩张；认为岩石圈热状态直接制约了上地壳伸展方式，北部坳陷带在相对冷岩石圈环境下发生伸展裂解，形成以半地堑构造为主的单断式裂陷带，而中央坳陷带在相对热岩石圈环境下发生伸展裂解，形成由半地堑和地堑组成的复式裂陷带。图12参23     

莺歌海盆地泥底辟构造与天然气运移成藏模式

莺歌海盆地泥底辟构造为天然气运移提供了良好通道,3000~6000m深处的天然气通过泥底辟构造运移到浅部,并在有利构造部位成藏。