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

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

环境荷载联合作用下海上风电结构动力响应分析

为研究海上风电结构在复杂的海洋环境中承受环境荷载(风、波、冰、流)的联合作用时,结构产生的剧烈的动力响应问题。文章以三脚架基础海上风电结构为研究对象,采用ANSYS有限元软件建立其整体模型并进行荷载(风、波、流和风、冰、流)联合作用下的静力校核,通过对环境荷载联合作用下的三脚架基础海上风电结构进行瞬态分析,掌握其动力响应的特性及规律。结果表明:三脚架基础结构的一、二阶自振频率均为0.285Hz,在所选风机允许的频率范围内,可以保证整体结构不会与风机转动发生共振;风荷载在风、波、流荷载联合作用下主导控制结构响应的稳态波动,冰荷载在风、冰、流荷载联合作用下主导控制结构的稳态振动过程;塔筒顶端呈现的位移和加速度响应均远大于三脚架基础顶端;环境荷载联合作用下结构动力响应是环境荷载单独作用下动力响应叠加的结果。     

对空分设备性能考核中气体纯度要求的商榷

对当前某些单位在深冷法空分设备的性能考核项目中对高纯 N2 、高纯 Ar作介绍时仅限于 O2 含量的做法提出意见 :应按照国家标准规定的项目加以介绍     

塑料防护排水板纵向通水能力测试技术研究

通过对塑料防护排水板纵向通水能力测试技术研究,并对试验结果进行分析,指出:针对软土地基加固用塑料排水带的纵向通水量测试方法不适用于塑料防护排水板的相关试验;塑料防护排水板的纵向通水能力测试可以闭孔泡沫橡胶加压方式,在150kPa法向压力和0.1水力梯度条件下进行;其纵向通水能力与其凹凸高度呈正比关系。     

基于相关反馈的时间序列相似性搜索

传统的基于相关反馈的时间序列相似性搜索是将正反馈和负反馈融合在一起创建新查询向量,这样并没有充分利用负反馈序列的价值,而且容易对初始查询向量进行过多的更改。本文提出一种基于反馈的时间序列相似搜索方法,将反馈的正相关和负相关序列分开处理,最终的相似序列不但要与正相关序列相似,还要尽量与负相关序列不相似。在UCR数据集上的实验结果表明,本文提出的相似搜索方法与传统的基于反馈的相似搜索方法相比,在某些数据集上可以提高查询的准确率以及查全率。     

多元时间序列的Web Service QoS预测方法

为准确并多步预测Web服务的服务质量（quality of service,简称QoS）,方便用户选择更好的Web服务,提出了一种基于多元时间序列的QoS预测方法MulA-LMRBF （multiple step forecasting with advertisement-levenberg marquardt radial basis function）.充分考虑多个QoS属性序列之间的关联,采用平均位移法（average dimension,简称AD）确定相空间重构的嵌入维数和延迟时间,将QoS属性历史数据映射到一个动力系统中,近似恢复多个QoS属性之间的多维非线性关系.将短期服务提供商QoS广告数据加入数据集中,采用列文伯格-马夸尔特法（Levenberg-Marquardt,简称LM）算法改进的径向基（radial basis function,简称RBF）神经网络预测模型,动态更新神经网络的权重,提高预测精度,实现QoS动态多步预测.通过网络开源数据和自测数据的实验结果表明,该方法与传统方法相比有较好预测效果,更适合动态多步预测.     

一种时效感知的动态加权Web服务QoS监控方法

服务质量（quality of service,简称QoS）是衡量Web服务好坏的重要标准,也是用户选择Web服务的重要依据.能够实时而准确有效地对Web服务进行监控,是Web服务质量保障的重要基础.为此,提出了一种时效感知的动态Web服务QoS监控方法.该方法在传统加权监控方法中融入了滑动窗口机制和信息增益原理,简称IgS-wBSRM（information gain and sliding window based weighted naive Bayes QoS runtime monitoring）.该方法以一定的初始训练样本进行环境因素权值初始化,利用信息熵（information entropy,简称IE）及信息增益（information gain,简称IG）对样本所处混沌状态的确定作用,依次读取样本数据流,计算样本数据单元出现前后各影响因子组合的信息增益,结合TF-IDF（term frequency-inverse document frequency）算法对早期的初始化权值进行动态更新,修正传统算法对监控分类的类间分布偏差问题和参数未更新问题.另外,考虑训练样本数据的时效性,结合滑动窗口机制来对影响因子组合权值进行同步更新,以消解长期累积的历史累赘数据对近期服务QoS的影响.在模拟数据集和开源数据集上的结果表明：利用滑动窗口机制可以有效摒弃历史数据的过期信息,结合滑动窗口机制实现的基于信息增益的动态权值算法能够更加准确地监控Web服务QoS,总体监控效果明显优先于现有方法.     

高等院校计算机教育与改革浅析

1.1高校计算机教学的内容比较陈旧,社会需求严重脱节我国高校计算机课程教学内容陈旧,实践性较差,教学内容的理论已经不再适用于计算机领域的不断更新,使得学生学习的知识可以应用到实际工作中是非常稀缺的,许多高校缺乏计算机教学的必要性,安排教学内容过于理论化,目前我国计算机领域的更新周期很短,不仅造成了教育资源的浪费,也增加了单位的工作量,计算机软件系统和硬件设施的淘汰率很高,没有社会的实际需要考虑和工作实际需要,高校计算机教学和社会存在严重脱节。     

中小知识型企业的人力资源管理--基于职能型5P模式的分析

通过整合现代人力资源管理关键业务，提出了职能型5P管理模式。运用该模式，从岗位设计、员工开发、绩效管理、薪酬与奖励以及积极的文化等五个方面讨论了中小知识型企业的人力资源管理。最后，将该模式应用于企业中，以检验其有效性。