检索结果-南通市图书馆

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

基于多特征融合的智能合约缺陷检测方法

计算机工程 2024年

作者：王奕丰曾诚全擎宇王娇然何鹏湖北大学人工智能学院湖北大学网络空间安全学院湖北大学智能感知系统与安全教育部重点实验室湖北大学计算机与信息工程学院

智能合约作为区块链技术最成功的应用之一正在席卷全球。然而，随着其广泛应用，智能合约的安全问题也引起了研究者的广泛关注。尽管已有一些针对智能合约缺陷检测的研究，但对于智能合约代码特征的挖掘还不充分。文中提出了一种采用多... 详细信息

智能合约作为区块链技术最成功的应用之一正在席卷全球。然而，随着其广泛应用，智能合约的安全问题也引起了研究者的广泛关注。尽管已有一些针对智能合约缺陷检测的研究，但对于智能合约代码特征的挖掘还不充分。文中提出了一种采用多特征融合方式的智能合约缺陷检测方法。首先，对智能合约代码进行预处理，其中包括颜色标记、词汇提取、ASCII字符转换以及合约之间继承关系的提取。然后将前三者得到的处理信息输入到由BERT、CNN以及双向长短期记忆BiLSTM构建的融合模型中进行特征提取。同时将合约之间的继承关系信息输入node2vec随机游走算法，以获得合约关系的特征向量。最后将所有特征向量连接并输入分类器进行缺陷分类。文中使用真实的solidity智能合约数据集对该方法进行了验证。实验结果表明，相对于其他模型，在F1分数方面实现了6%～12%的改进，在准确度方面实现了4%～11%的提升。充分说明该方法能够更好地挖掘智能合约代码的深层特征，提高缺陷检测性能，对智能合约的安全性具有一定的应用价值。

关键词：区块链智能合约 solidity 多特征缺陷检测

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

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

软件学报 2022年第5期33卷 1587-1611页

作者：杨慧文崔展齐陈翔贾明华郑丽伟刘建宾北京信息科技大学计算机学院北京100101 南通大学计算机科学与技术学院江苏南通226019 中央财经大学信息学院北京100101 网络文化与数字传播北京市重点实验室(北京信息科技大学) 北京100101

随着区块链技术的兴起,智能合约安全问题被越来越多的研究者和企业重视,目前已有一些针对智能合约缺陷检测技术的研究.软件缺陷预测技术是软件缺陷检测技术的有效补充,能够优化测试资源分配,提高软件测试效率.然而,目前还没有针对智能... 详细信息

随着区块链技术的兴起,智能合约安全问题被越来越多的研究者和企业重视,目前已有一些针对智能合约缺陷检测技术的研究.软件缺陷预测技术是软件缺陷检测技术的有效补充,能够优化测试资源分配,提高软件测试效率.然而,目前还没有针对智能合约的软件缺陷预测研究.针对这一问题,提出了面向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度量元集,COOP-SC-Sol能够让缺陷预测模型的F1-score指标提升8%.此外,进一步研究了智能合约缺陷预测中的类不平衡问题,实验结果表明,通过采样技术对数据集进行预处理能够提升缺陷预测模型的性能,其中随机欠采样技术能够使模型的F1-score指标提升9%.在特定缺陷倾向性预测问题上,模型的预测性能受到数据集类不平衡的影响,在缺陷模块百分比大于10%的数据集中能取得较好的预测性能.

关键词：软件缺陷预测缺陷数量预测缺陷倾向性预测智能合约 solidity

Design of a Centrifugal Compressor with Low solidity Vaned Diffuser(LSVD) for Large-Scale Compressed Air Energy Storage(CAES)

在线全文

学校读者我要写书评

暂无评论

Journal of Thermal Science 2020年第2期29卷 423-434页

作者： LIANG Qi ZUO Zhitao ZHOU Xin TANG Hongtao CHEN Haisheng Institute of Engineering Thermophysics Chinese Academy of SciencesBeijing 100190China University of Chinese Academy of Sciences Beijing 100049China

Compressed Air Energy Storage(CAES) has tremendous promotional value in the intermittent renewable energy supply systems. CAES has special requirements for compressor(e.g. heavy load, high pressure ratio, wide range). With advantages of higher efficiency and wider operation range, IGC(Integrally Geared Compressors) is selected to fulfill the special requirements of the large-scale CAES. To get a better aerodynamic performance, in this paper, based on the analysis of internal flow of centrifugal compressor, a multi-objective one-dimensional optimization design program was put forward combined with modified Two-Zone model and a low solidity vaned diffuser(LSVD) design method. Then, a centrifugal compressor aerodynamic component optimization design system was established with the three-dimensional blade optimization design method based on neural network and genetic optimization algorithm. Then a validation was done by redesigning the Krain-Impeller to get better performance. Finally, the aerodynamic design of the first stage of IGC was completed. The CFD calculation results indicated that the total-to-total pressure ratio of the first stage was 2.51 and the polytropic efficiency was 91.0% at the design point. What’s more, an operation margin and surge margin of the compressor was about 26.5% and 16.4% respectively.

关键词： compressed air energy storage(CAES) centrifugal compressor aerodynamic design low solidity vaned diffuser(LSVD) Two-Zone model blade design

基于网络度量元的solidity智能合约缺陷预测

在线全文

学校读者我要写书评

暂无评论

计算机应用研究 2023年第12期40卷 3545-3550页

作者：李显伟潘伟丰王家乐潘云袁成祥浙江工商大学计算机科学与技术学院杭州310018

针对现有智能合约缺陷预测方法未考虑合约代码内部结构对缺陷产生的影响的不足,提出了一种基于网络度量元的solidity智能合约缺陷预测方法。首先,通过solidity-Antlr4工具构建solidity智能合约的抽象语法树(abstract syntax tree, AST)... 详细信息

针对现有智能合约缺陷预测方法未考虑合约代码内部结构对缺陷产生的影响的不足,提出了一种基于网络度量元的solidity智能合约缺陷预测方法。首先,通过solidity-Antlr4工具构建solidity智能合约的抽象语法树(abstract syntax tree, AST);其次,根据抽象语法树构建合约网络,网络中的节点代表函数和属性,边代表函数间的调用关系和函数对属性的操作关系;然后,引入复杂网络领域的知识,构建了一套针对solidity智能合约的网络度量元;最后,基于多种回归模型和分类模型构建智能合约缺陷预测模型,进而比较不同类型的度量元在solidity智能合约缺陷预测方面的性能。数据实验表明,结合了网络度量元的缺陷预测模型的预测性能比相应没有结合网络度量元的模型要好。

关键词：智能合约软件缺陷预测网络度量元集 solidity 抽象语法树

Applying blockchain-based method to smart contract classification for CPS applications

在线全文

学校读者我要写书评

暂无评论

Digital Communications and Networks 2022年第6期8卷 964-975页

作者： Zigui Jiang Kai Chen Hailin Wen Zibin Zheng School of Software Engineering Sun Yat-Sen UniversityChina School of Mathematics Sun Yat-Sen UniversityChina School of Computer Science and Engineering Sun Yat-Sen UniversityChina

Smart contract has been the core of blockchain systems and other blockchain-based systems since Blockchain 2.0.Various operations on blockchain are performed through the invocation and execution of smart contracts.This leads to extensive combinations between blockchain,smart contract,Internet of Things(IoT)and Cyber-Physical System(CPS)applications,and then many blockchain-based IoT or CPS applications emerge to provide multiple benefits to the economy and society.In this case,obtaining a better understanding of smart contracts will contribute to the easier operation,higher efficiency and stronger security of those blockchain-based systems and applications.Many existing studies on smart contract analysis are based on similarity calculation and smart contract classification.However,smart contract is a piece of code with special characteristics and most of smart contracts are stored without any category labels,which leads to difficulties of smart contract classification.As the back end of a blockchain-based Decentralized Application(DApp)is one or several smart contracts,DApps with labeled categories and open source codes are applied to achieve a supervised smart contract classification.A three-phase approach is proposed to categorize DApps based on various data features.In this approach,5,659 DApps with smart contract source codes and pre-tagged categories are first obtained based on massive collected DApps and smart contracts from Ethereum,State of the DApps and DappRadar.Then feature extraction and construction methods are designed to form multi-feature vectors that could present the major characteristics of DApps.Finally,a fused classification model consisting of KNN,XGBoost and random forests is applied to the multi-feature vectors of all DApps for performing DApp classification.The experimental results show that the method is effective.In addition,some positive correlations between feature variables and categories,as well as several user behavior patterns of DApp calls,are found in this paper.

关键词： Blockchain Blockchain-based application Smart contract DApP classification solidity

基于solidity的低代码以太坊微博系统的设计与实现

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

电脑知识与技术 2023年第24期19卷 30-33页

作者：胡娟汤海林广东白云学院大数据与计算机学院广东广州510400

文章介绍了基于solidity的低代码区块链以太坊微博系统的设计与实现。传统微博系统存在中心化管理、数据安全性和透明性不足等问题。为了解决这些问题,笔者开发了基于区块链技术的微博系统。该系统利用智能合约和solidity编程语言实现... 详细信息

文章介绍了基于solidity的低代码区块链以太坊微博系统的设计与实现。传统微博系统存在中心化管理、数据安全性和透明性不足等问题。为了解决这些问题,笔者开发了基于区块链技术的微博系统。该系统利用智能合约和solidity编程语言实现了去中心化的微博管理,并提供了简化的用户界面和交互。系统具备基本的微博功能,如文章发布、评论和点赞。通过实现这个低代码区块链微博系统,读者能够更好地理解solidity和以太坊的应用,并为开发类似的应用程序提供参考。

关键词：区块链 solidity 低代码微博系统以太坊

Dynamic Circulation Control for a Vertical Axis Wind Turbine using Virtual solidity Matching

在线全文

学校读者我要写书评

暂无评论

Smart Grid and Renewable Energy 2017年第4期8卷 99-113页

作者： Jay P. Wilhelm Andrew C. Nix Chad C. Panther Wade W. Huebsch James E. Smith Mechanical Engineering Department Russ College of Engineering and Technology Ohio University Athens OH USA Mechanical and Aerospace Engineering Department Statler College of Engineering and Mineral Resources West Virginia University Morgantown WV USA

Vertical Axis Wind Turbines (VAWTs) with fixed pitch blades have a limited power capture performance envelope as the Tip Speed Ratio (TSR) changes. Circulation Control (CC) has been proposed and simulated to possibly increase power capture of a VAWT using constant CC jet momentum, but a practical method of minimizing CC usage has yet to be explored. In addition, VAWTs are typically limited in power capture performance either by a maximum peak at a small set of TSR or wide operating TSR at fractions of the peak performance based on the design solidity. Both the reduced jet usage and solidity limitation were addressed by developing a method of dynamically using CC to perform a virtual solidity change. The developed method described within this work used CC to change blade aerodynamics to specifically match a maximum performing static solidity or wake shape at a given TSR. Simulation results using an existing aerodynamics model indicated a significant reduction in the re-quired CC jet momentum compared to a constant CC system along with control over power capture for a CC-VAWT.

关键词： Circulation Control Vertical Axis Wind Turbine VAWT Flow Control solidity Matching

Effect of Runner solidity on Performance of Elbow Draft Tube

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Effect of Runner Solidity on Performance of Elbow Draft Tube

2011 2nd International Conference on Advances in Energy Engineering(ICAEE)

作者： Ruchi Khare Vishnu Prasad Sushil Kumar Mittal Department of Civil Engineering M.A.National Institute of Technology

The significant amount of kinetic energy comes out of runner in reaction turbines and the draft tube is used to recover this kinetic energy into useful pressure energy.The energy recovery in draft tube depends on its design and magnitude of velocity components at runner exit.Further the amount of kinetic energy coming out of runner depends on the solidity of runner as well as its rotational speed.Hence draft tube is important component of turbine next to runner.In this paper,3D viscous turbulent flow simulation has been done in the complete flow passage of Francis turbine using commercial Computational Fluid Dynamics（CFD） code for three runner solidities at different rotational speeds.The draft tube performance parameters in non-dimensional form are computed from simulation results and the effects of runner solidity and operating speed on draft tube performance are discussed.The simulation results are also compared with the experimental results for validation and are found to be within reasonable accuracy.

关键词： Draft tube solidity Francis turbine efficiency computational fluid dynamics

来源： cnki会议评论

在线全文

cnki会议

学校读者我要写书评

暂无评论

智能合约的时间约束模式及其形式化验证

软件学报 2022年第8期33卷 2875-2895页

作者：赵颖琪朱雪阳李广元包玉龙计算机科学国家重点实验室(中国科学院软件研究所) 北京100190 中国科学院大学北京100049

智能合约是一套以数字形式定义的承诺.通过智能合约,可以大大减少协议制定的中间环节,提高协议制定的效率.区块链技术为智能合约的执行提供了可信平台.随着区块链应用的拓广与深入,智能合约的作用必然越来越突出,智能合约的可靠性问题... 详细信息

智能合约是一套以数字形式定义的承诺.通过智能合约,可以大大减少协议制定的中间环节,提高协议制定的效率.区块链技术为智能合约的执行提供了可信平台.随着区块链应用的拓广与深入,智能合约的作用必然越来越突出,智能合约的可靠性问题也将更加突显.以提高智能合约可靠性为目的的研究日益得到重视,但尚未有人对智能合约的时间性质可能引起的可靠性问题进行过系统的研究.通过分析典型智能合约,对智能合约时间约束的不同表现形式进行梳理,提炼出相应的时间约束模式并对其进行形式化;定义solidity智能合约到时间自动机的转换规则,并实现其到实时模型检测工具UPPAAL入口模型的自动转换;再利用UPPAAL验证合约的时间相关性质.最后对两个实际合约进行实例研究,结果表明了所提炼模式的普遍性以及所提出形式化验证方案的可行性和有效性.

关键词：智能合约时间约束模式模型检测 solidity 形式化方法