基于正则表达式、程序插桩和代码替换的以太坊智能合约bug检测和修复方法

作为当前最大的支持智能合约的区块链平台,数以百万计的智能合约被部署在以太坊上.由于即使发现包含bug也无法修改已部署的智能合约,因此对于开发人员而言,在部署合约前修复合约中的bug至关重要.当前研究人员已经提出了许多智能合约分析工具,用于检测合约中的bug.这些工具要么使用基于以太坊虚拟机字节码的符号执行来检测bug,要么将源代码转换为中间表示形式后再检测bug.然而,基于符号执行的工具通常无法覆盖合约中的大部分bug;将源代码转换为中间表示形式会对检测速度产生负面影响.此外,现有的工具都只能检测bug,而无法根据检测结果自动修复bug.为了解除以上限制,提出了一种名为SolidityCheck的方法,该方法通过使用正则表达式、程序插桩和语句替换等技术,实现快速检测合约中的bug并自动修复其中某些种类bug的目的.文中进行了 一系列实验来评估SolidityCheck,实验结果表明,与现有方法相比,SolidityCheck在多个指标上显示出了优异的性能.     

平贝母醇提物对小鼠免疫功能的影响

应用流式细胞术测定平贝母醇提物对小鼠免疫功能的影响.结果显示,平贝母醇提物对小鼠外周血T淋巴细胞CD69~+/CD~(3+)比值、腹腔巨噬细胞吞噬荧光微球吞噬百分率具有显著性影响(P0.05),对脾脏NK细胞CD69~+/NKG2D~+比值具有极显著性影响(P0.01).这表明平贝母醇提物具有增强小鼠免疫功能的作用.     

库坝池窖联合高效利用水资源技术推广成效与经验

宁南山区降水主要集中在7—9月,而旱灾一般发生在春夏之交的3—5月,降水的时空分布与作物需水不匹配.为了解决宁南山区水资源利用率低等现状问题,利用彭阳县陈沟村已建成的蓄水池等水土保持拦蓄工程,开展水利部科技推广项目"库坝池窖联合高效利用水资源技术引进与示范",通过合理调节水资源的时空分布,制订适用的水资源管理分配制度,发展节水高效灌溉技术,实现"秋水春用、低水高用".2013年共调蓄水量6 100 m3,水分生产效率提高0.34~30.04元/m3,增加示范户农民纯收入5.0%~16.9%,带动更多群众致富.     

“九五”期间我国焊接标准发展的展望

1 我国焊接标准的基本现状我国的焊接标准化工作由全国焊接标准化技术委员会归口负责.截止至1996年底、我国的焊接标准数量已达110项,其中国家标准66项、行业标准44项.目前正在进行的制、修订项目10项.1994～1995年度,机械工业标准体系为了适应市场经济的需求进行了全面调整.调整后我国的焊接标准体系在体系结构、项目对应及实用性等方面基本上达到了与国际相接轨的要求.现有的焊接标准共划分为:基础、焊接材料、钎焊、试验检验、工艺方法、安全卫生、切割等七大类.在现有的110项标准中,约70%左右的标准在不同程度上采用了国际标准或国外先进标准.就采标对象而言,基础类标准中的符号、代号、表示方法标准主要采用了国际标准;焊接材料标准主要以美、日标准为采用对象;其它各类标准则采用了ISO及各国标准.     

Morlet 小波在地表物候遥感识别中尺度的选取与应用

地表物候是人类了解地球生态系统的必要参数,也是动植物保护、农耕等活动的重要依据。使用遥感数据进行地表物候提取为大尺度的地表物候变化监测提供了一种有效途径。研究发现目前应用最广泛的非对称性高斯函数拟合法和双 Logistic 函数拟合法存在一定的缺陷,尤其是在提取 NDVI 峰值谷值和物候周期不明显区域 (如干旱地区、沙地) 的物候参数时存在严重的误差,而 morlet 小波在分析地表年际变化的周期特征方面表现良好。本文使用 morlet 小波对青海湖流域 2003-2014 年的 MODIS 数据进行分析,得到地表物候在该时间段内的年度变化与趋势,进行不同区域、不同时间的差异性分析,发现青海湖流域的地表物候期整体都略有提前,但生长季的长度呈延长趋势,认为青海湖流域的地表物候整体上响应全球变暖的趋势。中部地区的生长季长度大于高海拔、高纬度区域和沙地区域,认为青海湖流域的中部地区是最适合动植物生长、活动的范围。     

圣保罗生物能源 e-Science 先进科学培训班

圣保罗生物能源 e-Science 先进科学培训是由巴西圣保罗研究基金会 (FAPESP, São Paulo ResearchFoundation)① 发起的,旨在通过组织学习和培训,汇集世界各地优秀的专家、学生和博士后,为科研工作者提供交流学习的机会,以利用当前先进的计算技术推进生物能源的发展.这一举措还旨在为巴西的科研机构和大学吸引最有前途的准研究生、博士后和教师.     

给小P里的游戏排排序

因为PSP-OE软件的运行是需要在.NET Framework3．5环境之下,所以我们要保证系统中正确安装．NET Framework3．5软件。     

离子液体在化工分离过程中的应用进展

综述了作为优良的绿色分离溶剂,有望替代传统的易挥发有机溶剂的离子液体在化工分离过程中的应用进展,包括生物制品、金属离子、芳香族化合物、燃油中的硫氮化合物的萃取分离,烟气脱硫、气体分离等吸收过程中的应用,简述了离子液体相平衡方面的基础研究进展.     

非流态化气固流通过斜管与孔口的动力学

应用散料力学与多相流理论研究非流态化气体-颗粒两相流通过垂直与倾斜管道及孔口的动力学,建立了动力学方程,用以预测各种条件下的颗粒物料通过孔口的流率.方程的计算结果与各种条件下取得的大量实验数据相吻合,从而使颗粒物料通过孔口流率的计算由经验关联逐步上升为理论预测.     

锅炉连续排污水利用改进

介绍锅炉连续排污利用系统存在的问题改进情况。