检索结果-南通市图书馆

A Review of Deep Learning-Based Vulnerability Detection Tools for Ethernet Smart Contracts

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Computer Modeling in Engineering & Sciences 2024年第7期140卷 77-108页

作者： huaiguang wu Yibo Peng Yaqiong He Jinlin Fan School of Computer Science and Technology Zhengzhou University of Light IndustryZhengzhou450001China

In recent years,the number of smart contracts deployed on blockchain has ***,the issue of vulnerability has caused incalculable *** to the irreversible and immutability of smart contracts,vulnerability detection has become particularly *** the popular use of neural network model,there has been a growing utilization of deep learning-based methods and tools for the identification of vulnerabilities within smart *** paper commences by providing a succinct overview of prevalent categories of vulnerabilities found in smart ***,it categorizes and presents an overview of contemporary deep learning-based tools developed for smart contract *** tools are categorized based on their open-source status,the data format and the type of feature extraction they *** we conduct a comprehensive comparative analysis of these tools,selecting representative tools for experimental validation and comparing them with traditional tools in terms of detection coverage and ***,Based on the insights gained from the experimental results and the current state of research in the field of smart contract vulnerability detection tools,we suppose to provide a reference standard for developers of contract vulnerability detection ***,forward-looking research directions are also proposed for deep learning-based smart contract vulnerability detection.

关键词： Smart contract vulnerability detection deep learning

QE-integrating framework based on Github knowledge and SVM ranking

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Science China(Information Sciences) 2019年第5期62卷 92-107页

作者： Qing HUANG huaiguang wu School of Computer and Information Engineering Jiangxi Normal University School of Computer and Communication Engineering Zhengzhou University of Light Industry

The latest query expansion(QE) methods use the software development features for expanding queries. However, these methods allow only one feature to be considered at a time. To consider additional features simultaneously, we propose a QE method based on Github knowledge; this is a new comprehensive feature that covers both the existing features(i.e., the application program interface(API) information and crowd knowledge). It is extracted from the "pull requests" of code repositories on Github, which contain descriptions of a request and its commits, the participants’ comments and the API information of the changed files. In addition, we implement a black-box framework that integrates multiple QE methods based on the support vector machine ranking called Github knowledge search repository(GKSR). Our empirical evaluation shows that the GKSR outperforms the state-of-the-art QE methods CodeHow and QECK by 25%–32% in terms of precision.

关键词： code search query expansion Github knowledge SVM ranking crowd knowledge

我国新质生产力发展水平测算、时空特征与影响因素研究

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

西部金融 2024年第6期 3-12页

作者：吴怀广邓水云黄启威邓迪中国人民银行莆田市分行福建莆田351100

2023年9月,在黑龙江调研考察期间,习近平总书记首次提出了“新质生产力”的概念。本文根据关于新质生产力的权威阐述从四个维度解读其内涵,在此基础上分维度选取相关指标构建综合评价指标体系,并采用熵值法对2012-2022年间我国新质生产... 详细信息

2023年9月,在黑龙江调研考察期间,习近平总书记首次提出了“新质生产力”的概念。本文根据关于新质生产力的权威阐述从四个维度解读其内涵,在此基础上分维度选取相关指标构建综合评价指标体系,并采用熵值法对2012-2022年间我国新质生产力的发展水平进行测算。基于测算结果,运用Dagum基尼系数法、核密度估计等方法分析我国新质生产力的演变时空特征。接着,根据前述分析结论检验新质生产力空间相关性,并运用空间面板模型进一步讨论影响新质生产力的因素,最后,针对性提出加快培育新质生产力的政策建议。

关键词：新质生产力评价体系时空特征熵值法 Dagum基尼系数法

在线全文

学校读者我要写书评

暂无评论

面向软件行为的需求模型及特性检测

计算机研究与发展 2011年第5期48卷 869-876页

作者：吴怀广毋国庆陈曙万黎武汉大学计算机学院武汉430079

软件需求模型及其检测是软件需求工程中的重要工作.在分析现有需求建模方法和软件行为相关研究的基础上,对将软件行为概念引入需求模型进行了详细的阐述,提出一个面向软件行为的需求模型描述语言BDL(behavior description language),定... 详细信息

软件需求模型及其检测是软件需求工程中的重要工作.在分析现有需求建模方法和软件行为相关研究的基础上,对将软件行为概念引入需求模型进行了详细的阐述,提出一个面向软件行为的需求模型描述语言BDL(behavior description language),定义了它的语法、语义;讨论了CCS(calculus of communication system)与BDL的转换关系,构造了BDL到CCS的转换函数M〖-〗;给出了需求模型的系统一致性、系统安全性、行为可信性及行为非终止性等4种系统特性的时序逻辑描述;最后用模型验证工具CWB(Concurrency Work Bench)对BDL描述的具体实例进行验证分析.

关键词：软件行为需求模型系统特性逻辑刻画特性检测

在线全文

学校读者我要写书评

暂无评论

面向软件行为的需求模型可视化研究

计算机应用研究 2015年第8期32卷 2406-2409页

作者：马丽吴怀广毋国庆平顶山学院软件学院河南平顶山467000 武汉大学计算机学院武汉430072 郑州轻工业学院计算机与通信工程学院郑州450002

为提高复杂软件系统需求建模的效率和质量,提出一种图形化文本式需求模型的可视化方法。该方法应用面向行为描述语言(behavior description language,BDL)构建需求模型,定义映射规则将BDL模型的行为及行为间的关系与给定的图形模型符号... 详细信息

为提高复杂软件系统需求建模的效率和质量,提出一种图形化文本式需求模型的可视化方法。该方法应用面向行为描述语言(behavior description language,BDL)构建需求模型,定义映射规则将BDL模型的行为及行为间的关系与给定的图形模型符号关联;根据转换算法对构建的图形模型文法进行检查,并将其转换为BDL语言描述的行为模型,实现行为需求模型的可视化。最后通过实例验证了该方法的可行性。

关键词：需求建模软件行为行为描述语言映射规则图形化

Maximizing hydrogen evolution via Co-Ni dual atoms and nanoclusters on hierarchically ordered porous carbon framework

在线全文

学校读者我要写书评

暂无评论

Science China Materials 2024年第10期67卷 3197-3205页

作者： Qian Li Pan Zhang huaiguang Li Yuan Wang Dongsheng Tang Qun Li Jiabin wu Synergetic Innovation Center for Quantum Effects and Application Key Laboratory of Low-Dimensional Quantum Structures and Quantum Control of Ministry of EducationCollege of Physics and Information ScienceHunan Normal UniversityChangsha 410081China National Key Laboratory of Advanced Micro and Nano Manufacture Technology School of Integrated CircuitsPeking UniversityBeijing 100871China The Chinese University of Hong Kong ShenzhenShenzhen 518172China CAS Key Laboratory of Nanosystem and Hierarchical Fabrication&CAS Center for Excellence in Nanoscience National Center for Nanoscience and TechnologyBeijing 100190China Department of Chemistry Tsinghua UniversityBeijing 100084China Insititute of Microelectronics State Key Laboratory of Analog and Mixed-Signal VLSIUniversity of MacaoMacao 519000China

Efficient hydrogen production through water splitting relies on the development of high-performance catalysts for the hydrogen evolution reaction(HER).In this study,we synthesized the CoNi SAs@NPs-NC catalyst using multi-metal single-crystal ordered macroporous metal-organic frameworks(MOFs)as *** catalyst features a hierarchical porous structure with ordered macropores and micropores,which not only provides a high specific surface area but also promotes efficient mass ***,the incorporation of bimetallic components,coupled with synergistic interactions between single atoms(SAs)and nanoparticles(NPs),significantly enhances its catalytic *** CoNi SAs@NPs-NC nanocatalysts demonstrated exceptional activity in the HER,recording overpotentials of 90 mV in 1 M KOH and 61 mV in 0.5 M H_(2)SO_(4),both at a current density of 10 mA cm^(−2).In addition,density functional theory(DFT)analysis was employed to investigate the synergistic interactions among CoNi NPs,SAs,and nitrogen *** finding highlights the promising potential of the CoNi SAs@NPs-NC catalyst for efficient hydrogen evolution,making it a valuable candidate for advancing the field of water splitting.

关键词： three dimensional ordered macroporous Co-Ni dual atoms Co-Ni nanoclusters HER synergistic effect

在线全文

学校读者我要写书评

暂无评论

服装智能搭配研究综述

计算机时代 2021年第8期 27-31页

作者：金保华李艳吴怀广郑州轻工业大学计算机与通信工程学院河南郑州450000

服装具有很强的组合搭配模式,用户很难判断其选择的衣服是否是一种较好的搭配组合,利用智能服装搭配技术对人类的搭配性概念建模,可以解决这个问题。由于服装搭配不仅涉及两件或两件以上的衣服,而且与个人偏好紧密相关,在深度学习背景下... 详细信息

服装具有很强的组合搭配模式,用户很难判断其选择的衣服是否是一种较好的搭配组合,利用智能服装搭配技术对人类的搭配性概念建模,可以解决这个问题。由于服装搭配不仅涉及两件或两件以上的衣服,而且与个人偏好紧密相关,在深度学习背景下,服装智能搭配技术也不断地得到改善。通过对近几年文献的梳理,文章介绍了现在的服装搭配方法,并指出个性化服装搭配方法将成为未来的研究热点。

关键词：服装搭配技术个人偏好服装搭配深度学习个性化

在线全文

学校读者我要写书评

暂无评论

智能合约的形式化验证方法综述

网络空间安全 2021年第Z2期12卷 73-79页

作者：王润六吴怀广何亚琼郑州轻工业大学

智能合约的引入使得区块链技术蓬勃发展,其安全问题成为了目前一大热点研究课题。智能合约编写语言及其不可篡改特性,可能导致安全漏洞的产生且无法被修复,进而会让使用者面临巨大的经济损失。为了对智能合约漏洞进行分析,越来越多的学... 详细信息

智能合约的引入使得区块链技术蓬勃发展,其安全问题成为了目前一大热点研究课题。智能合约编写语言及其不可篡改特性,可能导致安全漏洞的产生且无法被修复,进而会让使用者面临巨大的经济损失。为了对智能合约漏洞进行分析,越来越多的学者引入了形式化方法,对智能合约的源码和字节码进行安全验证,最大程度地保证智能合约的安全。论文介绍了智能合约的运行机制以及常见的智能合约漏洞,针对定理证明和模型检测两类形式化方法,在智能合约检测中的现有典型技术进行了研究,并在验证级别、翻译语言和验证逻辑等方面进行了对比,给出了其优缺点以及智能合约未来的研究方向。

关键词：区块链智能合约漏洞安全验证形式化方法

基于二维码的禽类肉产品安全溯源系统设计与实现

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

计算机应用与软件 2020年第10期37卷 1-5页

作者：王华李卫卫吴怀广白艳红栗俊广郑州轻工业大学计算机与通信工程学院河南郑州450001 郑州轻工业大学食品与生物工程学院河南郑州450001

食品安全事件频发使人们对食用肉产品的安全性产生了质疑,禽类肉产品安全溯源系统有助于人们打消质疑进而提高食品市场安全及公信度。该系统采用群体编码技术对禽类群体进行标记,有助于解决企业使用RFID标记禽类个体产生巨大成本的问题... 详细信息

食品安全事件频发使人们对食用肉产品的安全性产生了质疑,禽类肉产品安全溯源系统有助于人们打消质疑进而提高食品市场安全及公信度。该系统采用群体编码技术对禽类群体进行标记,有助于解决企业使用RFID标记禽类个体产生巨大成本的问题;将生成的溯源码转化为二维码形式,并使用RSA算法进行加密,保障消费者更加便利地查询到安全完整的肉产品溯源信息。目前,该系统已经在河南大用集团进行示范应用,并取得良好成效。

关键词：群体编码溯源系统加密二维码肉产品安全