面向智能合约漏洞检测的改进符号执行研究

由于区块链不可窜改的特性,部署到区块链上的智能合约不可更改.为了提高合约的安全性,防止智能合约出现整数溢出、短地址攻击、伪随机等问题,在合约部署之前需对合约进行漏洞检测.针对智能合约的整数溢出漏洞利用符号执行进行分析研究,对现有符号执行方法进行调查发现检测速度较慢,从而提出一种自底向上求解约束的改进符号执行方法,并结合深度优先与广度优先进行路径选择从而提高符号执行的代码覆盖率.实验结果表明,改进符号执行在选取的100份含溢出漏洞的智能合约中检测正确率达84％,平均检测效率提高了20％,在中等规模智能合约中检测效率提升显著,检测结果正确率较高.     

论大学英语角的构建与发展

在日常的英语教学活动中，要想使英语学习取得良好要的教学效果，即必须要给学生提供一个良好的学习英语的环境。实施英语课堂外的“第二教学课堂”即显得尤为重要，校园英语角就以一种不可或缺的身份展现在当代大学生的眼前。     

基于悬臂梁理论的倒悬危岩体地震弯折崩塌评价方法研究

倒悬危岩体是常见的一种危岩形式,在地震荷载作用下极易发生弯折崩塌事故,因此,研究地震诱发其崩塌失稳的评价方法对于评估该类型危岩体在地震作用下的安全性具有重要的意义。基于悬臂梁计算理论,首先推导了任意形状的倒悬危岩体在水平地震荷载和自身重力作用下最危险截面的最大拉应力计算公式,建立了最大拉应力的地震时程曲线,同时,把最大拉应力强度准则作为危岩体裂缝扩展的判据,并结合弹性应变能与裂缝扩展能量密度之间的关系,建立了裂缝扩展深度的计算方法,进而研究危岩体裂缝扩展随时间变化的演化过程。其次,针对实际工程中常见的危岩体形态,把倒悬危岩体简化为两种特殊形状:等截面长方体和等截面圆柱体,提出了此两类危岩体发生弯折破坏的裂缝临界深度计算公式,并建立了其在地震作用下安全系数的计算方法,即安全系数等于裂缝临界深度与地震后危岩体裂缝深度的比值。最后,以某高速公路隧道进口的倒悬危岩体为研究对象,采用本文的计算方法探讨了其在地震作用下不同时间步的裂缝深度演化规律,结果表明,在8级地震作用下,此处危岩体在14 s时的裂缝总深度(0.175 9 m)超过了满足自稳条件的裂缝临界深度(0.167 m),即在14 s时发生弯折崩塌,从而说明本文计算方法的可行性。     

有机液体储运氢技术经济分析与比较

对3种原料成本较低的有机液体储放氢体系(甲苯/甲基环己烷、苯/环己烷、萘/十氢萘)进行了加/脱氢工艺流程模拟，估算了加/脱氢环节的工程成本，发现原料费用是加氢环节成本的决定性因素，而脱氢环节成本取决于公用工程费用，其中萘/十氢萘体系的氢气储存单价最低。3种体系的运输成本分析结果表明，萘/十氢萘体系的氢运输成本也最低。与当前主流储运氢方式(气氢拖车、液氢罐车和气氢管道)进行了技术经济性比较，发现利用有机液体储运氢500 km时的氢气总成本(含加/脱氢及运输)为8.86元/kg,低于同样距离运输的气氢拖车和液氢罐车等的储运成本。因此，在需要大规模长距离运输、海运、长期储存等情况下，有机液体储运氢技术有着明显的经济性优势。     

煤矿开采技术向智能绿色开采方向的转型对策

为解决传统煤矿开采技术造成的土地资源破坏、水资源污染、地质结构破坏、空气污染等问题,以煤矿开采为基础,对保水开采技术、分层注浆开采技术、煤矿巷道支护技术、矸石回填利用技术、膏体充填技术、有毒有害气体与粉尘净化技术、煤炭地下气化技术进行了分析,通过应用绿色开采技术,可以有效解决环境污染问题,为实现煤矿绿色开采奠定基础,以期能够为相关人员提供参考。     

沿空留巷巷旁支护及实施

通过分析某矿综采工作面围岩特性，进行巷道的沿空留巷巷旁支护设计，并对该设计巷道的实际应用情况进行监测分析。经过对监测数据进行整理发现，该巷道的围岩变形量及巷旁混凝土充填体的承受压力均在安全范围之内，基本可以确定该巷道能够满足综采工作面的综采回采要求。