基于软件度量的Solidity智能合约缺陷预测方法

随着区块链技术的兴起,智能合约安全问题被越来越多的研究者和企业重视,目前已有一些针对智能合约缺陷检测技术的研究.软件缺陷预测技术是软件缺陷检测技术的有效补充,能够优化测试资源分配,提高软件测试效率.然而,目前还没有针对智能合约的软件缺陷预测研究.针对这一问题,提出了面向Solidity智能合约的缺陷预测方法.首先,设计了一组针对Solidity智能合约特有的变量、函数、结构和Solidity语言特性的度量元集(smart contract-Solidity, SC-Sol度量元集),并将其与重点考虑面向对象特征的度量元集(code complexity and features of object-oriented program, COOP度量元集)组合为COOP-SC-Sol度量元集.然后,从Solidity智能合约代码中提取相关度量元信息,并结合缺陷检测结果,构建Solidity智能合约缺陷数据集.在此基础上,应用了7种回归模型和6种分类模型进行Solidity智能合约的缺陷预测,以验证不同度量元集和不同模型在缺陷数量和倾向性预测上的性能差异.实验结果表明,相对于COOP度量元集...     

Fe-P非晶态合金的制备方法研究

本文介绍了Fe—P非晶态合金的制备方法及对Fe—P镀层性能的改进。     

电网告警的智能分析与综合展现的研究及应用

提出了基于规则库的告警压缩统计方法和分阶式实时综合故障诊断方法,对海量的告警通过自动化的手段进行分析加工,快速梳理出核心信息,并提供了高效的告警展现,使得电网运行人员的工作更为有效、便捷,从而保证系统的运行更为安全、经济。     

滑石粉/炭黑并用对丁腈橡胶性能的影响

研究滑石粉/炭黑并用量对丁腈橡胶(NBR)胶料性能的影响。结果表明,随着滑石粉用量的增大,NBR胶料的加工性能改善,交联程度下降,硫化胶的100%定伸应力、回弹值和压缩永久变形增大,拉伸强度和撕裂强度减小,耐热性能和耐非极性油性能提高,压缩模量增幅增大,弹性模量降低,Payne效应减弱,损耗因子减小。     

静载荷试验确定水泥土桩复合地基承载力

以淮盐高速公路淮安段工程为例，就其14组静力载荷试验进行了分析，对利用静力载荷试验确定地基承载力的方法进行了一定的探讨，并总结了几点体会。     

现代园林中的艺术课堂--苏州工艺美术职业技术学院石湖新校区规划设计

以苏州工艺美术职业技术学院石湖新校区规划设计方案为例，从艺术、园林、校园、课堂、手工艺等元素出发提出校园规划设计新模式，从分析项目的关键词入手，通过关键词的提出、关键词的展开与整合，强调个性化在校园规划设计和校园文化建设中的重要性。提出个性化是今后校园规划设计的一个注重点并归纳出校园个性化设计的理论方法。     

科学管理筑就信息化精品工程--乐清湾大桥及接线工程信息化建设成效

乐清湾大桥及接线工程是浙江省“两纵两横三绕三通道十八连”高速公路网中“一连”的重要组成部分,起于台州市温岭城南镇沙头门,跨越台州、温州2市,途经3县7乡后进入温州市乐清南塘镇东山头,终于南塘枢纽与甬台温高速公路相接,具有建设规模大、投资数额大、建设周期长、分布范围广、参与单位与人员多、风险高等诸多特点。为确保项目建设品质,实现良好的经济效益与社会效益,乐清湾大桥及接线工程建设指挥部通过招投标引入了项目建设动态管理系统,借助互联网技术与信息化手段,实现高速公路工程建设的网络化、信息化管理,提高项目管理水平。     

关于网站安全隐患及解决策略

Web网站是Internet中的主要组成部分,但在病毒肆虐的网络中,如何保障Web网站的信息安全已成为了网站建设中的重要课题.本文基于此,首先分析了网站安全的现状与安全隐患,然后论述了网站常见攻击方法及解决策略,最后探讨了完善网站安全的措施,希望能为相关人员提供些许参考价值.