发布求助
文献互助 智能选刊 最新文献

Wuhan University Journal of Natural Sciences最新文献

筛选
英文 中文
Fine-Tuning Pre-Trained CodeBERT for Code Search in Smart Contract 用于智能合约中代码搜索的预训练CodeBERT微调
Wuhan University Journal of Natural Sciences Pub Date : 2023-06-01 DOI: 10.1051/wujns/2023283237
Huan Jin, Qinying Li
{"title":"Fine-Tuning Pre-Trained CodeBERT for Code Search in Smart Contract","authors":"Huan Jin, Qinying Li","doi":"10.1051/wujns/2023283237","DOIUrl":"https://doi.org/10.1051/wujns/2023283237","url":null,"abstract":"Smart contracts, which automatically execute on decentralized platforms like Ethereum, require high security and low gas consumption. As a result, developers have a strong demand for semantic code search tools that utilize natural language queries to efficiently search for existing code snippets. However, existing code search models face a semantic gap between code and queries, which requires a large amount of training data. In this paper, we propose a fine-tuning approach to bridge the semantic gap in code search and improve the search accuracy. We collect 80 723 different pairs of from Etherscan.io and use these pairs to fine-tune, validate, and test the pre-trained CodeBERT model. Using the fine-tuned model, we develop a code search engine specifically for smart contracts. We evaluate the Recall@k and Mean Reciprocal Rank (MRR) of the fine-tuned CodeBERT model using different proportions of the fine-tuned data. It is encouraging that even a small amount of fine-tuned data can produce satisfactory results. In addition, we perform a comparative analysis between the fine-tuned CodeBERT model and the two state-of-the-art models. The experimental results show that the fine-tuned CodeBERT model has superior performance in terms of Recall@k and MRR. These findings highlight the effectiveness of our fine-tuning approach and its potential to significantly improve the code search accuracy.","PeriodicalId":23976,"journal":{"name":"Wuhan University Journal of Natural Sciences","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2023-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"46555816","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
A Class of Inverse Boundary Value Problems for (λ, 1) Bi-Analytic Functions 一类（λ，1）双解析函数的逆边值问题
Wuhan University Journal of Natural Sciences Pub Date : 2023-06-01 DOI: 10.1051/wujns/2023283185
Juan Lin
{"title":"A Class of Inverse Boundary Value Problems for (λ, 1) Bi-Analytic Functions","authors":"Juan Lin","doi":"10.1051/wujns/2023283185","DOIUrl":"https://doi.org/10.1051/wujns/2023283185","url":null,"abstract":"In this paper, a class of inverse boundary value problems for (λ, 1) bi-analytic functions is given. Using the method of Riemann boundary value problem for analytic functions, the conditions of solvability and the expression of the solutions for the inverse problems are obtained.","PeriodicalId":23976,"journal":{"name":"Wuhan University Journal of Natural Sciences","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2023-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"44985794","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
The Non-Convergence of Steiner Symmetrizations 斯坦纳对称化的非收敛性
Wuhan University Journal of Natural Sciences Pub Date : 2023-06-01 DOI: 10.1051/wujns/2023283217
Tian Wang, Youjiang Lin
{"title":"The Non-Convergence of Steiner Symmetrizations","authors":"Tian Wang, Youjiang Lin","doi":"10.1051/wujns/2023283217","DOIUrl":"https://doi.org/10.1051/wujns/2023283217","url":null,"abstract":"In this paper, we demonstrate the existence of iterated Steiner symmetrizations of [see formula in PDF] that does not converge, even if the sequence of directions is dense in the unit sphere.","PeriodicalId":23976,"journal":{"name":"Wuhan University Journal of Natural Sciences","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2023-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"43973703","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
High-Precision Dead-Time Intellectual Property Core and Its Compensation for Inverters 高精度死区知识产权核心及其逆变器补偿
Wuhan University Journal of Natural Sciences Pub Date : 2023-06-01 DOI: 10.1051/wujns/2023283271
Hao-Wen Chen, Sanjun Liu, Guohong Lai
{"title":"High-Precision Dead-Time Intellectual Property Core and Its Compensation for Inverters","authors":"Hao-Wen Chen, Sanjun Liu, Guohong Lai","doi":"10.1051/wujns/2023283271","DOIUrl":"https://doi.org/10.1051/wujns/2023283271","url":null,"abstract":"In the inverter circuit, there exists a specific on-off time in each power transistor. As such, to prevent a short circuit of the two switch devices on the upper and lower bridge arms, a specific dead time must be set in the pulse width modulation (PWM) and the sinusoidal pulse width modulation (SPWM) signals. In this paper, an intellectual property (IP) core that can introduce a high-precision dead time of arbitrary length into PWM or SPWM signals of the inverter is designed to increase the precision, convenience and generalization of dead time control, resulting in a boosted control accuracy of up to 10 ns. Moreover, the added Avalon bus enables IP cores to be accessed by the field programmable gate array (FPGA) processor in a standard manner and multiple IP cores of the same class can be easily incorporated. In addition, an application for setting and compensating for dead time in a three-phase inverter based on system on programmable chip (SOPC) technology is presented. With the Nios II CPU as its core, the system adopts the mean voltage compensation method to calculate the compensation voltage, and performs dead-time compensation in a feed-forward manner. The three dead-time IP cores are controlled by Avalon bus. These allow the dead time of three groups of power transistors to be accurately controlled and flexibly adjusted. The system also features the master computer communication function while boasting the advantages of flexible control, high precision and low cost.","PeriodicalId":23976,"journal":{"name":"Wuhan University Journal of Natural Sciences","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2023-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"46969487","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
A Novel DBN-EFA-CFA-Based Dimensional Reduation for Credit Risk Measurement 一种新的基于dbn - efa - cfa的信用风险度量维度降维方法
Wuhan University Journal of Natural Sciences Pub Date : 2023-04-01 DOI: 10.1051/wujns/2023282117
Yue Zhang, Zhenzhen Huang, Longmei Shi, Jian Zou
{"title":"A Novel DBN-EFA-CFA-Based Dimensional Reduation for Credit Risk Measurement","authors":"Yue Zhang, Zhenzhen Huang, Longmei Shi, Jian Zou","doi":"10.1051/wujns/2023282117","DOIUrl":"https://doi.org/10.1051/wujns/2023282117","url":null,"abstract":"Affected by the Federal Reserve's interest rate hike and the downward pressure on the domestic economy, the phenomenon of default is still prominent. The credit risk of the listed companies has become a growing concern of the community. In this paper we present a novel credit risk measurement method based on a dimensional reduation technique. The method first extracts the risk measure indexes from the basal financial data via dimensional reduation by using deep belief network (DBN), exploratory factor analysis (EFA) and confirmatory factor analysis (CFA) in turn. And then the credit risk is measured by a systemic structural equation model (SEM) and logistic distribution. To validate the proposed method, we employ the financial data of the listed companies from Q1 2019 to Q2 2022. The empirical results show its effectiveness on statistical evaluation, assessment on testing samples and credit risk forecasting.","PeriodicalId":23976,"journal":{"name":"Wuhan University Journal of Natural Sciences","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2023-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"48568521","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
A Study on Time Scale Non-Shifted Hamiltonian Dynamics and Noether's Theorems 时标非移哈密顿动力学及Noether定理的研究
Wuhan University Journal of Natural Sciences Pub Date : 2023-04-01 DOI: 10.1051/wujns/2023282106
Yi Zhang
{"title":"A Study on Time Scale Non-Shifted Hamiltonian Dynamics and Noether's Theorems","authors":"Yi Zhang","doi":"10.1051/wujns/2023282106","DOIUrl":"https://doi.org/10.1051/wujns/2023282106","url":null,"abstract":"The time-scale non-shifted Hamiltonian dynamics are investigated, including both general holonomic systems and nonholonomic systems. The time-scale non-shifted Hamilton principle is presented and extended to nonconservative system, and the dynamic equations in Hamiltonian framework are deduced. The Noether symmetry, including its definition and criteria, for time-scale non-shifted Hamiltonian dynamics is put forward, and Noether's theorems for both holonomic and nonholonomic systems are presented and proved. The non-shifted Noether conservation laws are given. The validity of the theorems is verified by two examples.","PeriodicalId":23976,"journal":{"name":"Wuhan University Journal of Natural Sciences","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2023-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"48299841","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Global Existence and Extinction Behaviour for a Doubly Nonlinear Parabolic Equation with Logarithmic Nonlinearity 一类具有对数非线性的双非线性抛物型方程的全局存在性和消光性
Wuhan University Journal of Natural Sciences Pub Date : 2023-04-01 DOI: 10.1051/wujns/2023282099
Dengming Liu, Ao Chen
{"title":"Global Existence and Extinction Behaviour for a Doubly Nonlinear Parabolic Equation with Logarithmic Nonlinearity","authors":"Dengming Liu, Ao Chen","doi":"10.1051/wujns/2023282099","DOIUrl":"https://doi.org/10.1051/wujns/2023282099","url":null,"abstract":"This paper is mainly focused on the global existence and extinction behaviour of the solutions to a doubly nonlinear parabolic equation with logarithmic nonlinearity. By making use of energy estimates method and a series of ordinary differential inequalities, the global existence of the solution is obtained. Moreover, we give the sufficient conditions on the occurrence (or absence) of the extinction behaviour.","PeriodicalId":23976,"journal":{"name":"Wuhan University Journal of Natural Sciences","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2023-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"44198115","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
A Blockchain-Based Certificate System with Credit Self-Adjustment 基于区块链的信用自调整证书系统
Wuhan University Journal of Natural Sciences Pub Date : 2023-04-01 DOI: 10.1051/wujns/2023282163
Wang Zhou, Jun Tao, Xin Li
{"title":"A Blockchain-Based Certificate System with Credit Self-Adjustment","authors":"Wang Zhou, Jun Tao, Xin Li","doi":"10.1051/wujns/2023282163","DOIUrl":"https://doi.org/10.1051/wujns/2023282163","url":null,"abstract":"Currently, digital certificate systems based on blockchain have been extensively developed and adopted. However, most of them do not take into account the certificate quality. To evaluate the credibility of certificates issued by educational institutions, we propose a novel blockchain-based system with credit self-adjustment (BC-CS). In BC-CS, employers can provide feedback according to the performances of their employees (i.e., students) holding different certificates. Based on the feedback, BC-CS automatically adjusts the certificate credits by using our proposed credit self-adjustment algorithm. To verify the feasibility of our proposed system, a decentralized application prototype has been developed on an Ethereum network. Experimental results demonstrate that the proposed system can fully support multi-step accreditation and automatic adjustment for certificate credit.","PeriodicalId":23976,"journal":{"name":"Wuhan University Journal of Natural Sciences","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2023-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"45564543","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Complex Traffic Scene Image Classification Based on Sparse Optimization Boundary Semantics Deep Learning 基于稀疏优化边界语义深度学习的复杂交通场景图像分类
Wuhan University Journal of Natural Sciences Pub Date : 2023-04-01 DOI: 10.1051/wujns/2023282150
Xiwei Zhou, Huifeng Wang, Saisai Li, Haonan Peng, Jianfeng Wu
{"title":"Complex Traffic Scene Image Classification Based on Sparse Optimization Boundary Semantics Deep Learning","authors":"Xiwei Zhou, Huifeng Wang, Saisai Li, Haonan Peng, Jianfeng Wu","doi":"10.1051/wujns/2023282150","DOIUrl":"https://doi.org/10.1051/wujns/2023282150","url":null,"abstract":"With the rapid development of intelligent traffic information monitoring technology, accurate identification of vehicles, pedestrians and other objects on the road has become particularly important. Therefore, in order to improve the recognition and classification accuracy of image objects in complex traffic scenes, this paper proposes a segmentation method of semantic redefine segmentation using image boundary region. First, we use the SegNet semantic segmentation model to obtain the rough classification features of the vehicle road object, then use the simple linear iterative clustering (SLIC) algorithm to obtain the over segmented area of the image, which can determine the classification of each pixel in each super pixel area, and then optimize the target segmentation of the boundary and small areas in the vehicle road image. Finally, the edge recovery ability of condition random field (CRF) is used to refine the image boundary. The experimental results show that compared with FCN-8s and SegNet, the pixel accuracy of the proposed algorithm in this paper improves by 2.33% and 0.57%, respectively. And compared with Unet, the algorithm in this paper performs better when dealing with multi-target segmentation.","PeriodicalId":23976,"journal":{"name":"Wuhan University Journal of Natural Sciences","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2023-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"46500543","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
A Characterization of the Polarity Mapping for Convex Bodies 凸体极性映射的表征
Wuhan University Journal of Natural Sciences Pub Date : 2023-04-01 DOI: 10.1051/wujns/2023282093
Linzeng Tang, Wei Wang
{"title":"A Characterization of the Polarity Mapping for Convex Bodies","authors":"Linzeng Tang, Wei Wang","doi":"10.1051/wujns/2023282093","DOIUrl":"https://doi.org/10.1051/wujns/2023282093","url":null,"abstract":"In this paper, we establish a characterization of the polarity mapping for 1-dimensional convex bodies, which is a supplement to the result for such a characterization obtained by Böröczky and Schneider.","PeriodicalId":23976,"journal":{"name":"Wuhan University Journal of Natural Sciences","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2023-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"44822947","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
首页 上一页 下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：481959085
Book学术官方微信